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 /tmp/evaluation-result-3725815-1338653526/watcher-3725815-1338653526 -o /tmp/evaluation-result-3725815-1338653526/solver-3725815-1338653526 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725815-1338653526.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.85 3.97 3.57 4/178 22770
/proc/meminfo: memFree=27989012/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=4120 CPUtime=0 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) R 22768 22770 20635 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 331479420 4218880 290 33554432000 4194304 5964478 140735097647184 140733991102232 5179243 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 1030 290 166 433 0 578 0
[startup+0.033229 s]
/proc/loadavg: 3.85 3.97 3.57 4/178 22770
/proc/meminfo: memFree=27989012/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=165228 CPUtime=0.05 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 2260 0 0 0 5 0 0 0 20 0 3 0 331479420 169193472 2195 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 41307 2196 201 433 0 40871 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 165228
[startup+0.100197 s]
/proc/loadavg: 3.85 3.97 3.57 4/178 22770
/proc/meminfo: memFree=27989012/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=165228 CPUtime=0.18 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 2433 0 0 0 18 0 0 0 20 0 3 0 331479420 169193472 2368 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 41307 2369 203 433 0 40871 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 165228
[startup+0.300129 s]
/proc/loadavg: 3.85 3.97 3.57 4/178 22770
/proc/meminfo: memFree=27989012/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=165228 CPUtime=0.58 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 2917 0 0 0 57 1 0 0 20 0 3 0 331479420 169193472 2852 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 41307 2852 204 433 0 40871 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 165228
[startup+0.700129 s]
/proc/loadavg: 3.85 3.97 3.57 4/178 22770
/proc/meminfo: memFree=27989012/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=165228 CPUtime=1.38 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 3641 0 0 0 137 1 0 0 20 0 3 0 331479420 169193472 3576 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 41307 3576 204 433 0 40871 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 165228
[startup+1.50022 s]
/proc/loadavg: 3.85 3.97 3.57 5/181 22773
/proc/meminfo: memFree=27969524/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=165228 CPUtime=2.98 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 5005 0 0 0 296 2 0 0 20 0 3 0 331479420 169193472 4940 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 41307 4940 204 433 0 40871 0
[pid=22770/tid=22772] ppid=22768 vsize=165228 CPUtime=1.47 cores=0,2,4,6
/proc/22770/task/22772/stat : 22772 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 1474 0 0 0 146 1 0 0 20 0 3 0 331479421 169193472 4940 33554432000 4194304 5964478 140735097647184 140313583389032 4399890 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22770/tid=22773] ppid=22768 vsize=165228 CPUtime=1.48 cores=0,2,4,6
/proc/22770/task/22773/stat : 22773 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 2673 0 0 0 148 0 0 0 20 0 3 0 331479421 169193472 4940 33554432000 4194304 5964478 140735097647184 140313572899176 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 165228
[startup+3.10028 s]
/proc/loadavg: 3.85 3.97 3.57 5/181 22773
/proc/meminfo: memFree=27961972/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=165228 CPUtime=6.17 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 6903 0 0 0 615 2 0 0 20 0 3 0 331479420 169193472 6812 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 41307 6812 204 433 0 40871 0
[pid=22770/tid=22772] ppid=22768 vsize=165228 CPUtime=3.08 cores=0,2,4,6
/proc/22770/task/22772/stat : 22772 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 1683 0 0 0 306 2 0 0 20 0 3 0 331479421 169193472 6812 33554432000 4194304 5964478 140735097647184 140313583389016 4389129 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22770/tid=22773] ppid=22768 vsize=165228 CPUtime=3.08 cores=0,2,4,6
/proc/22770/task/22773/stat : 22773 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 4362 0 0 0 307 1 0 0 20 0 3 0 331479421 169193472 6812 33554432000 4194304 5964478 140735097647184 140313572899128 4400069 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 165228
[startup+6.30029 s]
/proc/loadavg: 3.86 3.97 3.57 5/181 22773
/proc/meminfo: memFree=27925660/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=165660 CPUtime=12.57 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 12469 0 0 0 1253 4 0 0 20 0 3 0 331479420 169635840 12378 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 41415 12378 204 433 0 40979 0
[pid=22770/tid=22772] ppid=22768 vsize=165660 CPUtime=6.27 cores=0,2,4,6
/proc/22770/task/22772/stat : 22772 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 4147 0 0 0 625 2 0 0 20 0 3 0 331479421 169635840 12378 33554432000 4194304 5964478 140735097647184 140313583388664 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22770/tid=22773] ppid=22768 vsize=165660 CPUtime=6.28 cores=0,2,4,6
/proc/22770/task/22773/stat : 22773 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 7464 0 0 0 625 3 0 0 20 0 3 0 331479421 169635840 12378 33554432000 4194304 5964478 140735097647184 140313572899128 4399964 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 165660
[startup+12.7003 s]
/proc/loadavg: 3.87 3.97 3.57 5/181 22773
/proc/meminfo: memFree=27876068/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=166008 CPUtime=25.37 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 18988 0 0 0 2530 7 0 0 20 0 3 0 331479420 169992192 18897 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 41502 18897 204 433 0 41066 0
[pid=22770/tid=22772] ppid=22768 vsize=166008 CPUtime=12.67 cores=0,2,4,6
/proc/22770/task/22772/stat : 22772 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 7154 0 0 0 1264 3 0 0 20 0 3 0 331479421 169992192 18897 33554432000 4194304 5964478 140735097647184 140313583388664 4400401 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22770/tid=22773] ppid=22768 vsize=166008 CPUtime=12.67 cores=0,2,4,6
/proc/22770/task/22773/stat : 22773 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 10976 0 0 0 1263 4 0 0 20 0 3 0 331479421 169992192 18897 33554432000 4194304 5964478 140735097647184 140313572899128 4400571 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 166008
[startup+25.5004 s]
/proc/loadavg: 3.90 3.97 3.58 5/181 22773
/proc/meminfo: memFree=27798476/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=231624 CPUtime=50.96 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 31430 0 0 0 5083 13 0 0 20 0 3 0 331479420 237182976 31242 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 57906 31242 204 433 0 57470 0
[pid=22770/tid=22772] ppid=22768 vsize=231624 CPUtime=25.47 cores=0,2,4,6
/proc/22770/task/22772/stat : 22772 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 10631 0 0 0 2542 5 0 0 20 0 3 0 331479421 237182976 31242 33554432000 4194304 5964478 140735097647184 140313583389624 4399946 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22770/tid=22773] ppid=22768 vsize=231624 CPUtime=25.47 cores=0,2,4,6
/proc/22770/task/22773/stat : 22773 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 19941 0 0 0 2538 9 0 0 20 0 3 0 331479421 237182976 31242 33554432000 4194304 5964478 140735097647184 140313572899128 4400089 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 231624
Solver just ended. Dumping a history of the last processes samples
[startup+38.3004 s]
/proc/loadavg: 3.92 3.97 3.58 5/181 22773
/proc/meminfo: memFree=27754196/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=231784 CPUtime=76.57 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 36667 0 0 0 7641 16 0 0 20 0 3 0 331479420 237346816 36479 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 57946 36479 204 433 0 57510 0
[pid=22770/tid=22772] ppid=22768 vsize=231784 CPUtime=38.27 cores=0,2,4,6
/proc/22770/task/22772/stat : 22772 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 12010 0 0 0 3821 6 0 0 20 0 3 0 331479421 237346816 36479 33554432000 4194304 5964478 140735097647184 140313583388664 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22770/tid=22773] ppid=22768 vsize=231784 CPUtime=38.28 cores=0,2,4,6
/proc/22770/task/22773/stat : 22773 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 23799 0 0 0 3817 11 0 0 20 0 3 0 331479421 237346816 36479 33554432000 4194304 5964478 140735097647184 140313572899128 4400422 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 76.57
Current children cumulated vsize (KiB) 231784
[startup+44.7004 s]
/proc/loadavg: 3.93 3.97 3.59 5/181 22773
/proc/meminfo: memFree=27725412/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=231916 CPUtime=89.36 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 41760 0 0 0 8919 17 0 0 20 0 3 0 331479420 237481984 41572 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 57979 41573 204 433 0 57543 0
[pid=22770/tid=22772] ppid=22768 vsize=231916 CPUtime=44.68 cores=0,2,4,6
/proc/22770/task/22772/stat : 22772 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 12804 0 0 0 4462 6 0 0 20 0 3 0 331479421 237481984 41573 33554432000 4194304 5964478 140735097647184 140313583388472 4373391 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22770/tid=22773] ppid=22768 vsize=231916 CPUtime=44.67 cores=0,2,4,6
/proc/22770/task/22773/stat : 22773 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 28099 0 0 0 4455 12 0 0 20 0 3 0 331479421 237481984 41573 33554432000 4194304 5964478 140735097647184 140313572899128 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 89.36
Current children cumulated vsize (KiB) 231916
[startup+47.9004 s]
/proc/loadavg: 3.93 3.97 3.59 5/181 22773
/proc/meminfo: memFree=27705448/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=232056 CPUtime=95.75 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 46459 0 0 0 9556 19 0 0 20 0 3 0 331479420 237625344 46271 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 58014 46271 204 433 0 57578 0
[pid=22770/tid=22772] ppid=22768 vsize=232056 CPUtime=47.88 cores=0,2,4,6
/proc/22770/task/22772/stat : 22772 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 14810 0 0 0 4781 7 0 0 20 0 3 0 331479421 237625344 46271 33554432000 4194304 5964478 140735097647184 140313583388712 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22770/tid=22773] ppid=22768 vsize=232056 CPUtime=47.87 cores=0,2,4,6
/proc/22770/task/22773/stat : 22773 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 30791 0 0 0 4774 13 0 0 20 0 3 0 331479421 237625344 46271 33554432000 4194304 5964478 140735097647184 140313572899128 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 95.75
Current children cumulated vsize (KiB) 232056
[startup+49.5065 s]
/proc/loadavg: 3.93 3.97 3.59 5/181 22773
/proc/meminfo: memFree=27692660/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=232780 CPUtime=98.97 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 48385 0 0 0 9877 20 0 0 20 0 3 0 331479420 238366720 48197 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 58195 48197 204 433 0 57759 0
[pid=22770/tid=22772] ppid=22768 vsize=232780 CPUtime=49.48 cores=0,2,4,6
/proc/22770/task/22772/stat : 22772 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 15830 0 0 0 4940 8 0 0 20 0 3 0 331479421 238366720 48197 33554432000 4194304 5964478 140735097647184 140313583388472 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22770/tid=22773] ppid=22768 vsize=232780 CPUtime=49.48 cores=0,2,4,6
/proc/22770/task/22773/stat : 22773 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 31697 0 0 0 4935 13 0 0 20 0 3 0 331479421 238366720 48197 33554432000 4194304 5964478 140735097647184 140313572899128 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 98.97
Current children cumulated vsize (KiB) 232780
[startup+50.3004 s]
/proc/loadavg: 3.93 3.97 3.59 5/181 22773
/proc/meminfo: memFree=27692660/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=232780 CPUtime=100.56 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 48438 0 0 0 10036 20 0 0 20 0 3 0 331479420 238366720 48250 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 58195 48250 204 433 0 57759 0
[pid=22770/tid=22772] ppid=22768 vsize=232780 CPUtime=50.28 cores=0,2,4,6
/proc/22770/task/22772/stat : 22772 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 15883 0 0 0 5020 8 0 0 20 0 3 0 331479421 238366720 48250 33554432000 4194304 5964478 140735097647184 140313583388472 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22770/tid=22773] ppid=22768 vsize=232780 CPUtime=50.27 cores=0,2,4,6
/proc/22770/task/22773/stat : 22773 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 31697 0 0 0 5014 13 0 0 20 0 3 0 331479421 238366720 48250 33554432000 4194304 5964478 140735097647184 140313572899128 4399915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 100.56
Current children cumulated vsize (KiB) 232780
[startup+50.5004 s]
/proc/loadavg: 3.93 3.97 3.59 5/181 22773
/proc/meminfo: memFree=27692040/32873648 swapFree=6852/6852
[pid=22770] ppid=22768 vsize=232780 CPUtime=100.97 cores=0,2,4,6
/proc/22770/stat : 22770 (pwbo2.02) S 22768 22770 20635 0 -1 4202496 48438 0 0 0 10077 20 0 0 20 0 3 0 331479420 238366720 48250 33554432000 4194304 5964478 140735097647184 140735097646704 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22770/statm: 58195 48250 204 433 0 57759 0
[pid=22770/tid=22772] ppid=22768 vsize=232780 CPUtime=50.48 cores=0,2,4,6
/proc/22770/task/22772/stat : 22772 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 15883 0 0 0 5040 8 0 0 20 0 3 0 331479421 238366720 48250 33554432000 4194304 5964478 140735097647184 140313583388472 4389072 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22770/tid=22773] ppid=22768 vsize=232780 CPUtime=50.48 cores=0,2,4,6
/proc/22770/task/22773/stat : 22773 (pwbo2.02) R 22768 22770 20635 0 -1 4202560 31697 0 0 0 5035 13 0 0 20 0 3 0 331479421 238366720 48250 33554432000 4194304 5964478 140735097647184 140313572899128 4400648 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 100.97
Current children cumulated vsize (KiB) 232780
Child status: 255
Real time (s): 50.5413
CPU time (s): 101.052
CPU user time (s): 100.81
CPU system time (s): 0.241963
CPU usage (%): 199.939
Max. virtual memory (cumulated for all children) (KiB): 232780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.81
system time used= 0.241963
maximum resident set size= 193020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113
involuntary context switches= 161
runsolver used 0.066989 second user time and 0.217966 second system time
The end