runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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 /var/tmp/evaluation-result-3500810-1308036326/watcher-3500810-1308036326 -o /var/tmp/evaluation-result-3500810-1308036326/solver-3500810-1308036326 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500810-1308036326.gcnf
running on 2 cores: 0,2
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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.24 0.36 0.12 3/223 31615
/proc/meminfo: memFree=10432912/32951124 swapFree=67054264/67111528
[pid=31615] ppid=31613 vsize=11804 CPUtime=0 cores=0,2
/proc/31615/stat : 31615 (runsolver) S 31613 31615 29465 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 896048937 12087296 55 33554432000 4194304 5436572 140733614193856 18446744073709551615 5057063 0 2147483391 4096 24578 18446744071699207358 0 0 17 0 0 0 0
/proc/31615/statm: 2951 55 36 304 0 2643 0
[startup+0.0319111 s]
/proc/loadavg: 1.24 0.36 0.12 3/223 31615
/proc/meminfo: memFree=10432912/32951124 swapFree=67054264/67111528
[pid=31615] ppid=31613 vsize=2464 CPUtime=0 cores=0,2
/proc/31615/stat : 31615 (java) S 31613 31615 29465 0 -1 4194304 281 0 0 0 0 0 0 0 20 0 1 0 896048937 2523136 44 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233505373831 0 2147483391 4096 0 18446744071699207358 0 0 17 0 0 0 0
/proc/31615/statm: 616 44 35 9 0 27 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2464
[startup+0.100934 s]
/proc/loadavg: 1.24 0.36 0.12 3/223 31615
/proc/meminfo: memFree=10432912/32951124 swapFree=67054264/67111528
[pid=31615] ppid=31613 vsize=6343692 CPUtime=0.01 cores=0,2
/proc/31615/stat : 31615 (java) S 31613 31615 29465 0 -1 4202496 6775 0 1 0 0 1 0 0 20 0 10 0 896048937 6495940608 6475 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/31615/statm: 1585923 6475 1053 9 0 1577079 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6343692
[startup+0.300843 s]
/proc/loadavg: 1.24 0.36 0.12 3/223 31615
/proc/meminfo: memFree=10432912/32951124 swapFree=67054264/67111528
[pid=31615] ppid=31613 vsize=6430132 CPUtime=0.22 cores=0,2
/proc/31615/stat : 31615 (java) S 31613 31615 29465 0 -1 4202496 18027 0 1 0 19 3 0 0 20 0 18 0 896048937 6584455168 17638 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31615/statm: 1607533 17638 2164 9 0 1598271 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 6430132
[startup+0.700771 s]
/proc/loadavg: 1.24 0.36 0.12 3/223 31615
/proc/meminfo: memFree=10432912/32951124 swapFree=67054264/67111528
[pid=31615] ppid=31613 vsize=6430324 CPUtime=0.78 cores=0,2
/proc/31615/stat : 31615 (java) S 31613 31615 29465 0 -1 4202496 34840 0 1 0 73 5 0 0 20 0 18 0 896048937 6584651776 33971 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31615/statm: 1607581 33971 2201 9 0 1598319 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 6430324
[startup+1.50066 s]
/proc/loadavg: 1.24 0.36 0.12 5/258 31650
/proc/meminfo: memFree=9746168/32951124 swapFree=67054264/67111528
[pid=31615] ppid=31613 vsize=6430324 CPUtime=1.58 cores=0,2
/proc/31615/stat : 31615 (java) S 31613 31615 29465 0 -1 4202496 71131 0 1 0 148 10 0 0 20 0 18 0 896048937 6584651776 70261 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31615/statm: 1607581 70263 2202 9 0 1598319 0
[pid=31615/tid=31618] ppid=31613 vsize=6430324 CPUtime=1.36 cores=0,2
/proc/31615/task/31618/stat : 31618 (java) R 31613 31615 29465 0 -1 4202560 67925 0 1 0 126 10 0 0 25 0 18 0 896048942 6584651776 70264 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 46912505574670 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31615/tid=31630] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31630/stat : 31630 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048946 6584651776 70265 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31631] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31631/stat : 31631 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6584651776 70266 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31632] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31632/stat : 31632 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6584651776 70267 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31633] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31633/stat : 31633 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6584651776 70268 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31634] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31634/stat : 31634 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6584651776 70269 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31635] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31635/stat : 31635 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6584651776 70270 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31636] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31636/stat : 31636 (java) S 31613 31615 29465 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 896048947 6584651776 70272 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31637] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31637/stat : 31637 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6584651776 70273 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31643] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31643/stat : 31643 (java) S 31613 31615 29465 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896048949 6584651776 70274 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522114048 0 0 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31644] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31644/stat : 31644 (java) S 31613 31615 29465 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 896048949 6584651776 70275 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31645] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31645/stat : 31645 (java) S 31613 31615 29465 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 896048949 6584651776 70276 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31646] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31646/stat : 31646 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 896048953 6584651776 70277 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522121137 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31647] ppid=31613 vsize=6430324 CPUtime=0.01 cores=0,2
/proc/31615/task/31647/stat : 31647 (java) S 31613 31615 29465 0 -1 4202560 96 0 0 0 1 0 0 0 22 0 18 0 896048953 6584651776 70278 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31648] ppid=31613 vsize=6430324 CPUtime=0.19 cores=0,2
/proc/31615/task/31648/stat : 31648 (java) S 31613 31615 29465 0 -1 4202560 1960 0 0 0 19 0 0 0 17 0 18 0 896048953 6584651776 70279 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31649] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31649/stat : 31649 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 896048953 6584651776 70281 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31650] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31650/stat : 31650 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048953 6584651776 70282 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522114048 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 6430324
[startup+3.1014 s]
/proc/loadavg: 1.46 0.42 0.14 5/258 31650
/proc/meminfo: memFree=8954924/32951124 swapFree=67054264/67111528
[pid=31615] ppid=31613 vsize=6430324 CPUtime=3.18 cores=0,2
/proc/31615/stat : 31615 (java) S 31613 31615 29465 0 -1 4202496 141049 0 1 0 299 19 0 0 20 0 18 0 896048937 6584651776 140179 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31615/statm: 1607581 140181 2202 9 0 1598319 0
[pid=31615/tid=31618] ppid=31613 vsize=6430324 CPUtime=2.96 cores=0,2
/proc/31615/task/31618/stat : 31618 (java) R 31613 31615 29465 0 -1 4202560 137843 0 1 0 277 19 0 0 25 0 18 0 896048942 6584651776 140182 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 46912505515632 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31615/tid=31630] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31630/stat : 31630 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048946 6584651776 140183 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31631] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31631/stat : 31631 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6584651776 140184 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31632] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31632/stat : 31632 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6584651776 140186 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31633] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31633/stat : 31633 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6584651776 140187 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31634] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31634/stat : 31634 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6584651776 140188 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31635] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31635/stat : 31635 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6584651776 140190 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31636] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31636/stat : 31636 (java) S 31613 31615 29465 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 896048947 6584651776 140191 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31637] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31637/stat : 31637 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6584651776 140192 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31643] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31643/stat : 31643 (java) S 31613 31615 29465 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896048949 6584651776 140193 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522114048 0 0 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31644] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31644/stat : 31644 (java) S 31613 31615 29465 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 896048949 6584651776 140195 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31645] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31645/stat : 31645 (java) S 31613 31615 29465 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 896048949 6584651776 140196 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31646] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31646/stat : 31646 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 896048953 6584651776 140197 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522121137 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31647] ppid=31613 vsize=6430324 CPUtime=0.01 cores=0,2
/proc/31615/task/31647/stat : 31647 (java) S 31613 31615 29465 0 -1 4202560 96 0 0 0 1 0 0 0 22 0 18 0 896048953 6584651776 140198 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31648] ppid=31613 vsize=6430324 CPUtime=0.19 cores=0,2
/proc/31615/task/31648/stat : 31648 (java) S 31613 31615 29465 0 -1 4202560 1960 0 0 0 19 0 0 0 17 0 18 0 896048953 6584651776 140199 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31649] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31649/stat : 31649 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 896048953 6584651776 140200 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31650] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31650/stat : 31650 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048953 6584651776 140201 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522114048 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 6430324
Solver just ended. Dumping a history of the last processes samples
[startup+3.90125 s]
/proc/loadavg: 1.46 0.42 0.14 7/237 31676
/proc/meminfo: memFree=8856528/32951124 swapFree=67054264/67111528
[pid=31615] ppid=31613 vsize=6430324 CPUtime=3.98 cores=0,2
/proc/31615/stat : 31615 (java) S 31613 31615 29465 0 -1 4202496 175553 0 1 0 375 23 0 0 20 0 18 0 896048937 6584651776 174683 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31615/statm: 1607581 174685 2202 9 0 1598319 0
[pid=31615/tid=31618] ppid=31613 vsize=6430324 CPUtime=3.76 cores=0,2
/proc/31615/task/31618/stat : 31618 (java) R 31613 31615 29465 0 -1 4202560 172347 0 1 0 353 23 0 0 25 0 18 0 896048942 6584651776 174686 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 46912505531971 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31615/tid=31630] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31630/stat : 31630 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048946 6584651776 174687 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31631] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31631/stat : 31631 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6584651776 174688 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31632] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31632/stat : 31632 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6584651776 174689 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31633] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31633/stat : 31633 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6584651776 174690 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31634] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31634/stat : 31634 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6584651776 174691 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31635] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31635/stat : 31635 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6584651776 174692 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31636] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31636/stat : 31636 (java) S 31613 31615 29465 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 896048947 6584651776 174693 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31637] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31637/stat : 31637 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6584651776 174695 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31643] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31643/stat : 31643 (java) S 31613 31615 29465 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896048949 6584651776 174696 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522114048 0 0 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31644] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31644/stat : 31644 (java) S 31613 31615 29465 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 896048949 6584651776 174697 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31645] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31645/stat : 31645 (java) S 31613 31615 29465 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 896048949 6584651776 174698 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31646] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31646/stat : 31646 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 896048953 6584651776 174699 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522121137 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31647] ppid=31613 vsize=6430324 CPUtime=0.01 cores=0,2
/proc/31615/task/31647/stat : 31647 (java) S 31613 31615 29465 0 -1 4202560 96 0 0 0 1 0 0 0 22 0 18 0 896048953 6584651776 174700 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31648] ppid=31613 vsize=6430324 CPUtime=0.19 cores=0,2
/proc/31615/task/31648/stat : 31648 (java) S 31613 31615 29465 0 -1 4202560 1960 0 0 0 19 0 0 0 17 0 18 0 896048953 6584651776 174701 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31649] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31649/stat : 31649 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 896048953 6584651776 174703 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31650] ppid=31613 vsize=6430324 CPUtime=0 cores=0,2
/proc/31615/task/31650/stat : 31650 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048953 6584651776 174704 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522114048 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 6430324
[startup+4.30113 s]
/proc/loadavg: 1.46 0.42 0.14 7/260 31707
/proc/meminfo: memFree=8260152/32951124 swapFree=67054264/67111528
[pid=31615] ppid=31613 vsize=6430132 CPUtime=4.39 cores=0,2
/proc/31615/stat : 31615 (java) S 31613 31615 29465 0 -1 4202496 199345 0 1 0 414 25 0 0 20 0 18 0 896048937 6584455168 198303 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31615/statm: 1607533 198304 2214 9 0 1598271 0
[pid=31615/tid=31618] ppid=31613 vsize=6430132 CPUtime=4.13 cores=0,2
/proc/31615/task/31618/stat : 31618 (java) R 31613 31615 29465 0 -1 4202560 195970 0 1 0 388 25 0 0 18 0 18 0 896048942 6584455168 198308 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 46912505641237 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31615/tid=31630] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31630/stat : 31630 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048946 6584455168 198309 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31631] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31631/stat : 31631 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6584455168 198310 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31632] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31632/stat : 31632 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6584455168 198311 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31633] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31633/stat : 31633 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6584455168 198313 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31634] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31634/stat : 31634 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6584455168 198314 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31635] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31635/stat : 31635 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6584455168 198315 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31636] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31636/stat : 31636 (java) S 31613 31615 29465 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 896048947 6584455168 198316 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31637] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31637/stat : 31637 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6584455168 198317 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31643] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31643/stat : 31643 (java) S 31613 31615 29465 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 18 0 896048949 6584455168 198318 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522114048 0 0 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31644] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31644/stat : 31644 (java) S 31613 31615 29465 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 896048949 6584455168 198319 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31645] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31645/stat : 31645 (java) S 31613 31615 29465 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 896048949 6584455168 198320 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31646] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31646/stat : 31646 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 896048953 6584455168 198321 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522121137 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31647] ppid=31613 vsize=6430132 CPUtime=0.06 cores=0,2
/proc/31615/task/31647/stat : 31647 (java) S 31613 31615 29465 0 -1 4202560 265 0 0 0 6 0 0 0 16 0 18 0 896048953 6584455168 198322 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31648] ppid=31613 vsize=6430132 CPUtime=0.19 cores=0,2
/proc/31615/task/31648/stat : 31648 (java) S 31613 31615 29465 0 -1 4202560 1960 0 0 0 19 0 0 0 17 0 18 0 896048953 6584455168 198323 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31649] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31649/stat : 31649 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 896048953 6584455168 198324 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31650] ppid=31613 vsize=6430132 CPUtime=0 cores=0,2
/proc/31615/task/31650/stat : 31650 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048953 6584455168 198325 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522114048 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 6430132
[startup+4.70106 s]
/proc/loadavg: 1.46 0.42 0.14 7/260 31707
/proc/meminfo: memFree=8260152/32951124 swapFree=67054264/67111528
[pid=31615] ppid=31613 vsize=6435940 CPUtime=4.92 cores=0,2
/proc/31615/stat : 31615 (java) S 31613 31615 29465 0 -1 4202496 216948 0 1 0 465 27 0 0 20 0 18 0 896048937 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31615/statm: 1608985 215511 2224 9 0 1599723 0
[pid=31615/tid=31618] ppid=31613 vsize=6435940 CPUtime=4.41 cores=0,2
/proc/31615/task/31618/stat : 31618 (java) R 31613 31615 29465 0 -1 4202560 211931 0 1 0 415 26 0 0 18 0 18 0 896048942 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 46912505650455 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31615/tid=31630] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31630/stat : 31630 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 896048946 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31631] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31631/stat : 31631 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31632] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31632/stat : 31632 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31633] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31633/stat : 31633 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048946 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31634] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31634/stat : 31634 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31635] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31635/stat : 31635 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31636] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31636/stat : 31636 (java) S 31613 31615 29465 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 896048947 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31637] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31637/stat : 31637 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 896048947 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31643] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31643/stat : 31643 (java) S 31613 31615 29465 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 896048949 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522114048 0 0 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31644] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31644/stat : 31644 (java) S 31613 31615 29465 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 896048949 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31645] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31645/stat : 31645 (java) S 31613 31615 29465 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 896048949 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31646] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31646/stat : 31646 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 896048953 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522121137 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31647] ppid=31613 vsize=6435940 CPUtime=0.23 cores=0,2
/proc/31615/task/31647/stat : 31647 (java) R 31613 31615 29465 0 -1 4202560 1869 0 0 0 23 0 0 0 15 0 18 0 896048953 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31615/tid=31648] ppid=31613 vsize=6435940 CPUtime=0.25 cores=0,2
/proc/31615/task/31648/stat : 31648 (java) R 31613 31615 29465 0 -1 4202560 1992 0 0 0 25 0 0 0 15 0 18 0 896048953 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 47436378917985 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31615/tid=31649] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31649/stat : 31649 (java) S 31613 31615 29465 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 896048953 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522113433 0 4 0 16800975 18446604453922388096 0 0 -1 0 0 0 0
[pid=31615/tid=31650] ppid=31613 vsize=6435940 CPUtime=0 cores=0,2
/proc/31615/task/31650/stat : 31650 (java) S 31613 31615 29465 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 896048953 6590402560 215511 33554432000 1073741824 1073778376 140736520108064 18446744073709551615 233522114048 0 4 0 16800975 18446604453922388096 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 6435940
[startup+4.80107 s]
/proc/loadavg: 1.46 0.42 0.14 7/260 31707
/proc/meminfo: memFree=8260152/32951124 swapFree=67054264/67111528
[pid=31615] ppid=31613 vsize=0 CPUtime=5.07 cores=0,2
/proc/31615/stat : 31615 (java) Z 31613 31615 29465 0 -1 4203548 218701 0 1 0 476 31 0 0 18 0 2 0 896048937 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31615/statm: 0 0 0 0 0 0 0
[pid=31615/tid=31637] ppid=31613 vsize=0 CPUtime=0.03 cores=0,2
/proc/31615/task/31637/stat : 31637 (java) R 31613 31615 29465 0 -1 4203588 1 0 0 0 0 3 0 0 18 0 2 0 896048947 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 4.80131
CPU time (s): 5.07823
CPU user time (s): 4.76128
CPU system time (s): 0.316951
CPU usage (%): 105.768
Max. virtual memory (cumulated for all children) (KiB): 6435940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.76128
system time used= 0.316951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218701
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= 280
involuntary context switches= 284
runsolver used 0.012998 second user time and 0.018997 second system time
The end