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-3454251-1307191564/watcher-3454251-1307191564 -o /tmp/evaluation-result-3454251-1307191564/solver-3454251-1307191564 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454251-1307191564.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: 3.59 3.79 3.72 3/457 19013
/proc/meminfo: memFree=26250228/32951124 swapFree=60688864/67111528
[pid=19013] ppid=19009 vsize=36924 CPUtime=0 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19009 19013 14960 0 -1 4202496 1371 0 1 0 0 0 0 0 23 0 2 0 830754599 37810176 1073 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/19013/statm: 9231 1073 833 9 0 387 0
[pid=19013/tid=19015] ppid=19009 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19015/stat : 19015 (java) R 19009 19013 14960 0 -1 4202560 3373 0 1 0 0 0 0 0 17 0 2 0 830754600 10694979584 4189 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0234961 s]
/proc/loadavg: 3.59 3.79 3.72 3/457 19013
/proc/meminfo: memFree=26250228/32951124 swapFree=60688864/67111528
[pid=19013] ppid=19009 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19009 19013 14960 0 -1 4202496 8336 0 1 0 0 1 0 0 23 0 2 0 830754599 10694979584 8037 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/19013/statm: 2611079 8057 917 9 0 2602235 0
[pid=19013/tid=19015] ppid=19009 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/19013/task/19015/stat : 19015 (java) R 19009 19013 14960 0 -1 4202560 7252 0 1 0 0 1 0 0 17 0 2 0 830754600 10694979584 8068 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.100438 s]
/proc/loadavg: 3.59 3.79 3.72 3/457 19013
/proc/meminfo: memFree=26250228/32951124 swapFree=60688864/67111528
[pid=19013] ppid=19009 vsize=10540244 CPUtime=0.09 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19009 19013 14960 0 -1 4202496 13018 0 1 0 7 2 0 0 23 0 18 0 830754599 10793209856 12705 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19013/statm: 2635061 12705 2093 9 0 2625795 0
[pid=19013/tid=19015] ppid=19009 vsize=10540244 CPUtime=0.08 cores=0,2,4,6
/proc/19013/task/19015/stat : 19015 (java) R 19009 19013 14960 0 -1 4202560 11084 0 1 0 6 2 0 0 18 0 18 0 830754600 10793209856 12705 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 47751289274373 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540244
[startup+0.312445 s]
/proc/loadavg: 3.59 3.79 3.72 3/457 19013
/proc/meminfo: memFree=26250228/32951124 swapFree=60688864/67111528
[pid=19013] ppid=19009 vsize=10543716 CPUtime=0.57 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19009 19013 14960 0 -1 4202496 17691 0 1 0 54 3 0 0 23 0 18 0 830754599 10796765184 16754 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19013/statm: 2635929 16754 2212 9 0 2626663 0
[pid=19013/tid=19015] ppid=19009 vsize=10543716 CPUtime=0.28 cores=0,2,4,6
/proc/19013/task/19015/stat : 19015 (java) R 19009 19013 14960 0 -1 4202560 14125 0 1 0 26 2 0 0 18 0 18 0 830754600 10796765184 16754 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 46912505634944 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10543716
[startup+0.700291 s]
/proc/loadavg: 3.59 3.79 3.72 3/457 19013
/proc/meminfo: memFree=26250228/32951124 swapFree=60688864/67111528
[pid=19013] ppid=19009 vsize=10551480 CPUtime=1.35 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19009 19013 14960 0 -1 4202496 48541 0 1 0 128 7 0 0 23 0 22 0 830754599 10804715520 46167 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19013/statm: 2637870 46167 2220 9 0 2628604 0
[pid=19013/tid=19015] ppid=19009 vsize=10551480 CPUtime=0.6 cores=0,2,4,6
/proc/19013/task/19015/stat : 19015 (java) S 19009 19013 14960 0 -1 4202560 41477 0 1 0 55 5 0 0 18 0 22 0 830754600 10804715520 46167 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 10551480
[startup+1.50121 s]
/proc/loadavg: 3.46 3.76 3.71 7/501 19058
/proc/meminfo: memFree=25872616/32951124 swapFree=60688864/67111528
[pid=19013] ppid=19009 vsize=10555096 CPUtime=3.7 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19009 19013 14960 0 -1 4202496 59171 0 1 0 362 8 0 0 23 0 22 0 830754599 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19013/statm: 2638774 54959 2224 9 0 2629508 0
[pid=19013/tid=19015] ppid=19009 vsize=10555096 CPUtime=0.6 cores=0,2,4,6
/proc/19013/task/19015/stat : 19015 (java) S 19009 19013 14960 0 -1 4202560 41477 0 1 0 55 5 0 0 15 0 22 0 830754600 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19024] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19024/stat : 19024 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830754602 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19026] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19026/stat : 19026 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19028] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19028/stat : 19028 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19029] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19029/stat : 19029 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19030] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19030/stat : 19030 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19031] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19031/stat : 19031 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19032] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19032/stat : 19032 (java) S 19009 19013 14960 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19033] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19033/stat : 19033 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19034] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19034/stat : 19034 (java) S 19009 19013 14960 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830754603 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 0 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19037] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19037/stat : 19037 (java) S 19009 19013 14960 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 830754604 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19039] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19039/stat : 19039 (java) S 19009 19013 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830754604 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19040] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19040/stat : 19040 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830754606 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347716017 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19041] ppid=19009 vsize=10555096 CPUtime=0.6 cores=0,2,4,6
/proc/19013/task/19041/stat : 19041 (java) S 19009 19013 14960 0 -1 4202560 2936 0 0 0 60 0 0 0 15 0 22 0 830754606 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19045] ppid=19009 vsize=10555096 CPUtime=0.76 cores=0,2,4,6
/proc/19013/task/19045/stat : 19045 (java) S 19009 19013 14960 0 -1 4202560 8640 0 0 0 75 1 0 0 24 0 22 0 830754606 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19046] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19046/stat : 19046 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830754606 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19049] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19049/stat : 19049 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830754606 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19051] ppid=19009 vsize=10555096 CPUtime=0.87 cores=0,2,4,6
/proc/19013/task/19051/stat : 19051 (java) R 19009 19013 14960 0 -1 4202560 236 0 0 0 87 0 0 0 20 0 22 0 830754662 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 46912506030536 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19013/tid=19052] ppid=19009 vsize=10555096 CPUtime=0.84 cores=0,2,4,6
/proc/19013/task/19052/stat : 19052 (java) R 19009 19013 14960 0 -1 4202560 4714 0 0 0 84 0 0 0 25 0 22 0 830754662 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 46912505607298 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19013/tid=19053] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19053/stat : 19053 (java) S 19009 19013 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830754664 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19054] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19054/stat : 19054 (java) S 19009 19013 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830754666 10808418304 54959 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 10555096
[startup+3.10096 s]
/proc/loadavg: 3.46 3.76 3.71 6/501 19058
/proc/meminfo: memFree=25839756/32951124 swapFree=60688864/67111528
[pid=19013] ppid=19009 vsize=10555096 CPUtime=7 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19009 19013 14960 0 -1 4202496 63032 0 1 0 691 9 0 0 23 0 22 0 830754599 10808418304 58818 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19013/statm: 2638774 58818 2225 9 0 2629508 0
[pid=19013/tid=19015] ppid=19009 vsize=10555096 CPUtime=0.6 cores=0,2,4,6
/proc/19013/task/19015/stat : 19015 (java) S 19009 19013 14960 0 -1 4202560 41477 0 1 0 55 5 0 0 15 0 22 0 830754600 10808418304 58818 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19024] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19024/stat : 19024 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830754602 10808418304 58818 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19026] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19026/stat : 19026 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 58818 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19028] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19028/stat : 19028 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 58818 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19029] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19029/stat : 19029 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 58818 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19030] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19030/stat : 19030 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 58818 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19031] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19031/stat : 19031 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 58818 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19032] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19032/stat : 19032 (java) S 19009 19013 14960 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 58818 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19033] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19033/stat : 19033 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808418304 58818 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19034] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19034/stat : 19034 (java) S 19009 19013 14960 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830754603 10808418304 58818 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 0 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19037] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19037/stat : 19037 (java) S 19009 19013 14960 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 830754604 10808418304 58819 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19039] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19039/stat : 19039 (java) S 19009 19013 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830754604 10808418304 58819 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19040] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19040/stat : 19040 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830754606 10808418304 58819 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347716017 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19041] ppid=19009 vsize=10555096 CPUtime=0.62 cores=0,2,4,6
/proc/19013/task/19041/stat : 19041 (java) S 19009 19013 14960 0 -1 4202560 2937 0 0 0 62 0 0 0 15 0 22 0 830754606 10808418304 58819 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19045] ppid=19009 vsize=10555096 CPUtime=0.86 cores=0,2,4,6
/proc/19013/task/19045/stat : 19045 (java) S 19009 19013 14960 0 -1 4202560 8651 0 0 0 85 1 0 0 15 0 22 0 830754606 10808418304 58819 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19046] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19046/stat : 19046 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830754606 10808418304 58819 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19049] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19049/stat : 19049 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830754606 10808418304 58819 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19051] ppid=19009 vsize=10555096 CPUtime=2.47 cores=0,2,4,6
/proc/19013/task/19051/stat : 19051 (java) R 19009 19013 14960 0 -1 4202560 285 0 0 0 247 0 0 0 25 0 22 0 830754662 10808418304 58819 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 46912505900574 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19013/tid=19052] ppid=19009 vsize=10555096 CPUtime=2.41 cores=0,2,4,6
/proc/19013/task/19052/stat : 19052 (java) R 19009 19013 14960 0 -1 4202560 8515 0 0 0 241 0 0 0 25 0 22 0 830754662 10808418304 58819 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 46912505977981 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19013/tid=19053] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19053/stat : 19053 (java) S 19009 19013 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830754664 10808418304 58819 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19054] ppid=19009 vsize=10555096 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19054/stat : 19054 (java) S 19009 19013 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830754666 10808418304 58819 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 10555096
[startup+6.30135 s]
/proc/loadavg: 3.46 3.76 3.71 6/501 19058
/proc/meminfo: memFree=25077972/32951124 swapFree=60688864/67111528
[pid=19013] ppid=19009 vsize=10555448 CPUtime=13.52 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19009 19013 14960 0 -1 4202496 72340 0 1 0 1343 9 0 0 23 0 22 0 830754599 10808778752 66887 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19013/statm: 2638862 66887 2232 9 0 2629596 0
[pid=19013/tid=19015] ppid=19009 vsize=10555448 CPUtime=0.6 cores=0,2,4,6
/proc/19013/task/19015/stat : 19015 (java) S 19009 19013 14960 0 -1 4202560 41477 0 1 0 55 5 0 0 15 0 22 0 830754600 10808778752 66887 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19024] ppid=19009 vsize=10555448 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19024/stat : 19024 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830754602 10808778752 66887 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19026] ppid=19009 vsize=10555448 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19026/stat : 19026 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808778752 66887 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19028] ppid=19009 vsize=10555448 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19028/stat : 19028 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808778752 66887 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19029] ppid=19009 vsize=10555448 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19029/stat : 19029 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808778752 66887 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19030] ppid=19009 vsize=10555448 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19030/stat : 19030 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808778752 66887 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19031] ppid=19009 vsize=10555448 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19031/stat : 19031 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808778752 66887 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19032] ppid=19009 vsize=10555448 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19032/stat : 19032 (java) S 19009 19013 14960 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 830754602 10808778752 66887 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19033] ppid=19009 vsize=10555448 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19033/stat : 19033 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10808778752 66887 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.89 3.91 3.82 6/501 19080
/proc/meminfo: memFree=20510596/32951124 swapFree=60688864/67111528
[pid=19013] ppid=19009 vsize=10556884 CPUtime=1639.38 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19009 19013 14960 0 -1 4202496 956337 0 1 0 163823 115 0 0 23 0 22 0 830754599 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19013/statm: 2639221 937868 2257 9 0 2629955 0
[pid=19013/tid=19015] ppid=19009 vsize=10556884 CPUtime=0.6 cores=0,2,4,6
/proc/19013/task/19015/stat : 19015 (java) S 19009 19013 14960 0 -1 4202560 41487 0 1 0 55 5 0 0 15 0 22 0 830754600 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19024] ppid=19009 vsize=10556884 CPUtime=0.38 cores=0,2,4,6
/proc/19013/task/19024/stat : 19024 (java) S 19009 19013 14960 0 -1 4202560 10354 0 0 0 37 1 0 0 16 0 22 0 830754602 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19026] ppid=19009 vsize=10556884 CPUtime=0.37 cores=0,2,4,6
/proc/19013/task/19026/stat : 19026 (java) S 19009 19013 14960 0 -1 4202560 10469 0 0 0 36 1 0 0 16 0 22 0 830754602 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19028] ppid=19009 vsize=10556884 CPUtime=0.41 cores=0,2,4,6
/proc/19013/task/19028/stat : 19028 (java) S 19009 19013 14960 0 -1 4202560 7980 0 0 0 40 1 0 0 15 0 22 0 830754602 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19029] ppid=19009 vsize=10556884 CPUtime=0.43 cores=0,2,4,6
/proc/19013/task/19029/stat : 19029 (java) S 19009 19013 14960 0 -1 4202560 10402 0 0 0 42 1 0 0 16 0 22 0 830754602 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19030] ppid=19009 vsize=10556884 CPUtime=0.43 cores=0,2,4,6
/proc/19013/task/19030/stat : 19030 (java) S 19009 19013 14960 0 -1 4202560 7874 0 0 0 42 1 0 0 15 0 22 0 830754602 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19031] ppid=19009 vsize=10556884 CPUtime=0.45 cores=0,2,4,6
/proc/19013/task/19031/stat : 19031 (java) S 19009 19013 14960 0 -1 4202560 14638 0 0 0 43 2 0 0 16 0 22 0 830754602 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 4 0 0 0
[pid=19013/tid=19032] ppid=19009 vsize=10556884 CPUtime=0.53 cores=0,2,4,6
/proc/19013/task/19032/stat : 19032 (java) S 19009 19013 14960 0 -1 4202560 13849 0 0 0 51 2 0 0 15 0 22 0 830754602 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 4 0 0 0
[pid=19013/tid=19033] ppid=19009 vsize=10556884 CPUtime=0.44 cores=0,2,4,6
/proc/19013/task/19033/stat : 19033 (java) S 19009 19013 14960 0 -1 4202560 10289 0 0 0 43 1 0 0 15 0 22 0 830754602 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19034] ppid=19009 vsize=10556884 CPUtime=9.22 cores=0,2,4,6
/proc/19013/task/19034/stat : 19034 (java) S 19009 19013 14960 0 -1 4202560 12902 0 0 0 919 3 0 0 16 0 22 0 830754603 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 0 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19037] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19037/stat : 19037 (java) S 19009 19013 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830754604 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19039] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19039/stat : 19039 (java) S 19009 19013 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830754604 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19040] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19040/stat : 19040 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830754606 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347716017 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19041] ppid=19009 vsize=10556884 CPUtime=2.31 cores=0,2,4,6
/proc/19013/task/19041/stat : 19041 (java) S 19009 19013 14960 0 -1 4202560 9157 0 0 0 230 1 0 0 15 0 22 0 830754606 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19045] ppid=19009 vsize=10556884 CPUtime=1.33 cores=0,2,4,6
/proc/19013/task/19045/stat : 19045 (java) S 19009 19013 14960 0 -1 4202560 13216 0 0 0 132 1 0 0 15 0 22 0 830754606 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19046] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19046/stat : 19046 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830754606 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19049] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19049/stat : 19049 (java) S 19009 19013 14960 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830754606 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 4 0 0 0
[pid=19013/tid=19051] ppid=19009 vsize=10556884 CPUtime=811.33 cores=0,2,4,6
/proc/19013/task/19051/stat : 19051 (java) R 19009 19013 14960 0 -1 4202560 1120 0 0 0 81132 1 0 0 25 0 22 0 830754662 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 46912505901299 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19013/tid=19052] ppid=19009 vsize=10556884 CPUtime=810.99 cores=0,2,4,6
/proc/19013/task/19052/stat : 19052 (java) R 19009 19013 14960 0 -1 4202560 791393 0 0 0 81014 85 0 0 25 0 22 0 830754662 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 46912505566500 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19013/tid=19053] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19053/stat : 19053 (java) S 19009 19013 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830754664 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19054] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19054/stat : 19054 (java) S 19009 19013 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830754666 10810249216 937868 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1639.38
Current children cumulated vsize (KiB) 10556884
[startup+882.302 s]
/proc/loadavg: 3.89 3.90 3.82 6/501 19082
/proc/meminfo: memFree=20508452/32951124 swapFree=60688864/67111528
[pid=19013] ppid=19009 vsize=10556884 CPUtime=1758.37 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19009 19013 14960 0 -1 4202496 956384 0 1 0 175722 115 0 0 23 0 22 0 830754599 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19013/statm: 2639221 937891 2258 9 0 2629955 0
[pid=19013/tid=19015] ppid=19009 vsize=10556884 CPUtime=0.6 cores=0,2,4,6
/proc/19013/task/19015/stat : 19015 (java) S 19009 19013 14960 0 -1 4202560 41487 0 1 0 55 5 0 0 15 0 22 0 830754600 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19024] ppid=19009 vsize=10556884 CPUtime=0.4 cores=0,2,4,6
/proc/19013/task/19024/stat : 19024 (java) S 19009 19013 14960 0 -1 4202560 10354 0 0 0 39 1 0 0 16 0 22 0 830754602 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19026] ppid=19009 vsize=10556884 CPUtime=0.41 cores=0,2,4,6
/proc/19013/task/19026/stat : 19026 (java) S 19009 19013 14960 0 -1 4202560 10475 0 0 0 40 1 0 0 15 0 22 0 830754602 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19028] ppid=19009 vsize=10556884 CPUtime=0.44 cores=0,2,4,6
/proc/19013/task/19028/stat : 19028 (java) S 19009 19013 14960 0 -1 4202560 7980 0 0 0 43 1 0 0 15 0 22 0 830754602 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19029] ppid=19009 vsize=10556884 CPUtime=0.45 cores=0,2,4,6
/proc/19013/task/19029/stat : 19029 (java) S 19009 19013 14960 0 -1 4202560 10402 0 0 0 44 1 0 0 15 0 22 0 830754602 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 4 0 0 0
[pid=19013/tid=19030] ppid=19009 vsize=10556884 CPUtime=0.45 cores=0,2,4,6
/proc/19013/task/19030/stat : 19030 (java) R 19009 19013 14960 0 -1 4202560 7890 0 0 0 44 1 0 0 15 0 22 0 830754602 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19013/tid=19031] ppid=19009 vsize=10556884 CPUtime=0.49 cores=0,2,4,6
/proc/19013/task/19031/stat : 19031 (java) S 19009 19013 14960 0 -1 4202560 14638 0 0 0 47 2 0 0 16 0 22 0 830754602 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19032] ppid=19009 vsize=10556884 CPUtime=0.58 cores=0,2,4,6
/proc/19013/task/19032/stat : 19032 (java) S 19009 19013 14960 0 -1 4202560 13849 0 0 0 56 2 0 0 16 0 22 0 830754602 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 4 0 0 0
[pid=19013/tid=19033] ppid=19009 vsize=10556884 CPUtime=0.47 cores=0,2,4,6
/proc/19013/task/19033/stat : 19033 (java) S 19009 19013 14960 0 -1 4202560 10289 0 0 0 46 1 0 0 16 0 22 0 830754602 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19034] ppid=19009 vsize=10556884 CPUtime=10.32 cores=0,2,4,6
/proc/19013/task/19034/stat : 19034 (java) R 19009 19013 14960 0 -1 4202560 12906 0 0 0 1029 3 0 0 15 0 22 0 830754603 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 47751289681690 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=19013/tid=19037] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19037/stat : 19037 (java) S 19009 19013 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830754604 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19039] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19039/stat : 19039 (java) S 19009 19013 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830754604 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19040] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19040/stat : 19040 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830754606 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347716017 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19041] ppid=19009 vsize=10556884 CPUtime=2.31 cores=0,2,4,6
/proc/19013/task/19041/stat : 19041 (java) S 19009 19013 14960 0 -1 4202560 9157 0 0 0 230 1 0 0 15 0 22 0 830754606 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19045] ppid=19009 vsize=10556884 CPUtime=1.35 cores=0,2,4,6
/proc/19013/task/19045/stat : 19045 (java) S 19009 19013 14960 0 -1 4202560 13219 0 0 0 134 1 0 0 15 0 22 0 830754606 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19046] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19046/stat : 19046 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830754606 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19049] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19049/stat : 19049 (java) S 19009 19013 14960 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830754606 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 4 0 0 0
[pid=19013/tid=19051] ppid=19009 vsize=10556884 CPUtime=870.14 cores=0,2,4,6
/proc/19013/task/19051/stat : 19051 (java) S 19009 19013 14960 0 -1 4202560 1130 0 0 0 87013 1 0 0 25 0 22 0 830754662 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19052] ppid=19009 vsize=10556884 CPUtime=869.81 cores=0,2,4,6
/proc/19013/task/19052/stat : 19052 (java) S 19009 19013 14960 0 -1 4202560 791397 0 0 0 86896 85 0 0 25 0 22 0 830754662 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19053] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19053/stat : 19053 (java) S 19009 19013 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830754664 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19054] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19054/stat : 19054 (java) S 19009 19013 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830754666 10810249216 937891 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1758.37
Current children cumulated vsize (KiB) 10556884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+903.401 s]
/proc/loadavg: 3.92 3.91 3.82 5/501 19092
/proc/meminfo: memFree=20506828/32951124 swapFree=60688864/67111528
[pid=19013] ppid=19009 vsize=10556884 CPUtime=1800.19 cores=0,2,4,6
/proc/19013/stat : 19013 (java) S 19009 19013 14960 0 -1 4202496 956395 0 1 0 179904 115 0 0 23 0 22 0 830754599 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19013/statm: 2639221 937897 2258 9 0 2629955 0
[pid=19013/tid=19015] ppid=19009 vsize=10556884 CPUtime=0.6 cores=0,2,4,6
/proc/19013/task/19015/stat : 19015 (java) S 19009 19013 14960 0 -1 4202560 41487 0 1 0 55 5 0 0 15 0 22 0 830754600 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19024] ppid=19009 vsize=10556884 CPUtime=0.41 cores=0,2,4,6
/proc/19013/task/19024/stat : 19024 (java) S 19009 19013 14960 0 -1 4202560 10354 0 0 0 40 1 0 0 16 0 22 0 830754602 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19026] ppid=19009 vsize=10556884 CPUtime=0.42 cores=0,2,4,6
/proc/19013/task/19026/stat : 19026 (java) S 19009 19013 14960 0 -1 4202560 10475 0 0 0 41 1 0 0 16 0 22 0 830754602 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19028] ppid=19009 vsize=10556884 CPUtime=0.45 cores=0,2,4,6
/proc/19013/task/19028/stat : 19028 (java) S 19009 19013 14960 0 -1 4202560 7980 0 0 0 44 1 0 0 15 0 22 0 830754602 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19029] ppid=19009 vsize=10556884 CPUtime=0.47 cores=0,2,4,6
/proc/19013/task/19029/stat : 19029 (java) S 19009 19013 14960 0 -1 4202560 10402 0 0 0 46 1 0 0 16 0 22 0 830754602 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 4 0 0 0
[pid=19013/tid=19030] ppid=19009 vsize=10556884 CPUtime=0.46 cores=0,2,4,6
/proc/19013/task/19030/stat : 19030 (java) S 19009 19013 14960 0 -1 4202560 7890 0 0 0 45 1 0 0 15 0 22 0 830754602 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19031] ppid=19009 vsize=10556884 CPUtime=0.51 cores=0,2,4,6
/proc/19013/task/19031/stat : 19031 (java) S 19009 19013 14960 0 -1 4202560 14639 0 0 0 49 2 0 0 15 0 22 0 830754602 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19032] ppid=19009 vsize=10556884 CPUtime=0.6 cores=0,2,4,6
/proc/19013/task/19032/stat : 19032 (java) S 19009 19013 14960 0 -1 4202560 13854 0 0 0 58 2 0 0 15 0 22 0 830754602 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 6 0 0 0
[pid=19013/tid=19033] ppid=19009 vsize=10556884 CPUtime=0.49 cores=0,2,4,6
/proc/19013/task/19033/stat : 19033 (java) S 19009 19013 14960 0 -1 4202560 10289 0 0 0 48 1 0 0 16 0 22 0 830754602 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19034] ppid=19009 vsize=10556884 CPUtime=10.77 cores=0,2,4,6
/proc/19013/task/19034/stat : 19034 (java) S 19009 19013 14960 0 -1 4202560 12906 0 0 0 1073 4 0 0 16 0 22 0 830754603 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 0 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19037] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19037/stat : 19037 (java) S 19009 19013 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830754604 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19039] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19039/stat : 19039 (java) S 19009 19013 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830754604 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19040] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19040/stat : 19040 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830754606 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347716017 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19041] ppid=19009 vsize=10556884 CPUtime=2.31 cores=0,2,4,6
/proc/19013/task/19041/stat : 19041 (java) S 19009 19013 14960 0 -1 4202560 9157 0 0 0 230 1 0 0 15 0 22 0 830754606 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19045] ppid=19009 vsize=10556884 CPUtime=1.35 cores=0,2,4,6
/proc/19013/task/19045/stat : 19045 (java) S 19009 19013 14960 0 -1 4202560 13219 0 0 0 134 1 0 0 15 0 22 0 830754606 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 0 0 0 0
[pid=19013/tid=19046] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19046/stat : 19046 (java) S 19009 19013 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830754606 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708313 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19049] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19049/stat : 19049 (java) S 19009 19013 14960 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830754606 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 4 0 0 0
[pid=19013/tid=19051] ppid=19009 vsize=10556884 CPUtime=890.77 cores=0,2,4,6
/proc/19013/task/19051/stat : 19051 (java) R 19009 19013 14960 0 -1 4202560 1135 0 0 0 89076 1 0 0 25 0 22 0 830754662 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 46912505881146 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19013/tid=19052] ppid=19009 vsize=10556884 CPUtime=890.43 cores=0,2,4,6
/proc/19013/task/19052/stat : 19052 (java) R 19009 19013 14960 0 -1 4202560 791397 0 0 0 88958 85 0 0 25 0 22 0 830754662 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 46912505973717 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19013/tid=19053] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19053/stat : 19053 (java) S 19009 19013 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830754664 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 2 0 0 0
[pid=19013/tid=19054] ppid=19009 vsize=10556884 CPUtime=0 cores=0,2,4,6
/proc/19013/task/19054/stat : 19054 (java) S 19009 19013 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830754666 10810249216 937897 33554432000 1073741824 1073778376 140735005992720 18446744073709551615 232347708928 0 4 0 16800975 18446604445094244608 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 10556884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+903.524 s]
/proc/loadavg: 3.92 3.91 3.82 5/501 19092
/proc/meminfo: memFree=20506828/32951124 swapFree=60688864/67111528
[pid=19013] ppid=19009 vsize=0 CPUtime=1800.34 cores=0,2,4,6
/proc/19013/stat : 19013 (java) Z 19009 19013 14960 0 -1 4203548 956429 0 1 0 179909 125 0 0 17 0 2 0 830754599 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19013/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 903.574
CPU time (s): 1800.4
CPU user time (s): 1799.1
CPU system time (s): 1.3008
CPU usage (%): 199.253
Max. virtual memory (cumulated for all children) (KiB): 10568536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.3008
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 956429
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= 26736
involuntary context switches= 10979
runsolver used 4.48032 second user time and 9.95849 second system time
The end