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-3463419-1307175072/watcher-3463419-1307175072 -o /tmp/evaluation-result-3463419-1307175072/solver-3463419-1307175072 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463419-1307175072.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.47 1.88 1.95 2/461 22821
/proc/meminfo: memFree=28629084/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=11328 CPUtime=0.01 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 448 0 0 0 1 0 0 0 18 0 1 0 829105172 11599872 381 33554432000 134512640 137138936 4289665056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 2832 381 192 642 0 2188 0
[startup+0.032125 s]
/proc/loadavg: 1.47 1.88 1.95 2/461 22821
/proc/meminfo: memFree=28629084/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=11320 CPUtime=0.02 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 454 0 0 0 2 0 0 0 18 0 1 0 829105172 11591680 387 33554432000 134512640 137138936 4289665056 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 2830 387 192 642 0 2186 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11320
[startup+0.101123 s]
/proc/loadavg: 1.47 1.88 1.95 2/461 22821
/proc/meminfo: memFree=28629084/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=11700 CPUtime=0.09 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 539 0 0 0 9 0 0 0 18 0 1 0 829105172 11980800 472 33554432000 134512640 137138936 4289665056 18446744073709551615 134551130 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 2925 472 192 642 0 2281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11700
[startup+0.301077 s]
/proc/loadavg: 1.47 1.88 1.95 2/461 22821
/proc/meminfo: memFree=28629084/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=12196 CPUtime=0.29 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 691 0 0 0 29 0 0 0 18 0 1 0 829105172 12488704 624 33554432000 134512640 137138936 4289665056 18446744073709551615 134582928 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 3049 624 192 642 0 2405 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12196
[startup+0.701005 s]
/proc/loadavg: 1.47 1.88 1.95 2/461 22821
/proc/meminfo: memFree=28629084/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=13188 CPUtime=0.69 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 915 0 0 0 69 0 0 0 18 0 1 0 829105172 13504512 848 33554432000 134512640 137138936 4289665056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 3297 848 192 642 0 2653 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13188
[startup+1.50086 s]
/proc/loadavg: 1.47 1.88 1.95 3/462 22822
/proc/meminfo: memFree=28625512/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=13192 CPUtime=1.5 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 937 0 0 0 149 1 0 0 20 0 1 0 829105172 13508608 870 33554432000 134512640 137138936 4289665056 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 3298 870 192 642 0 2654 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13192
[startup+3.10057 s]
/proc/loadavg: 1.51 1.88 1.95 3/462 22822
/proc/meminfo: memFree=28624148/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=14296 CPUtime=3.09 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 1197 0 0 0 308 1 0 0 25 0 1 0 829105172 14639104 1130 33554432000 134512640 137138936 4289665056 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 3574 1130 192 642 0 2930 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14296
[startup+6.30099 s]
/proc/loadavg: 1.51 1.88 1.95 3/462 22822
/proc/meminfo: memFree=28622412/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=14900 CPUtime=6.29 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 1340 0 0 0 626 3 0 0 25 0 1 0 829105172 15257600 1273 33554432000 134512640 137138936 4289665056 18446744073709551615 134602841 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 3725 1273 192 642 0 3081 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14900
[startup+12.7008 s]
/proc/loadavg: 1.59 1.88 1.95 3/462 22823
/proc/meminfo: memFree=28620068/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=15396 CPUtime=12.7 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 1479 0 0 0 1264 6 0 0 25 0 1 0 829105172 15765504 1412 33554432000 134512640 137138936 4289665056 18446744073709551615 134600050 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 3849 1412 192 642 0 3205 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 15396
[startup+25.5005 s]
/proc/loadavg: 1.65 1.89 1.95 3/462 22823
/proc/meminfo: memFree=28618960/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=16240 CPUtime=25.49 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 1688 0 0 0 2538 11 0 0 25 0 1 0 829105172 16629760 1621 33554432000 134512640 137138936 4289665056 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 4060 1621 192 642 0 3416 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16240
[startup+51.1009 s]
/proc/loadavg: 1.77 1.89 1.95 3/462 22824
/proc/meminfo: memFree=28618152/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=16600 CPUtime=51.09 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 1784 0 0 0 5088 21 0 0 25 0 1 0 829105172 16998400 1717 33554432000 134512640 137138936 4289665056 18446744073709551615 134599279 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 4150 1717 192 642 0 3506 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16600
[startup+102.317 s]
/proc/loadavg: 1.91 1.91 1.95 3/462 22825
/proc/meminfo: memFree=28616636/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=17220 CPUtime=102.31 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 1934 0 0 0 10192 39 0 0 25 0 1 0 829105172 17633280 1867 33554432000 134512640 137138936 4289665056 18446744073709551615 134599912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 4305 1867 192 642 0 3661 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17220
[startup+162.301 s]
/proc/loadavg: 1.96 1.92 1.95 3/462 22827
/proc/meminfo: memFree=28612124/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=18696 CPUtime=162.29 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2316 0 0 0 16174 55 0 0 25 0 1 0 829105172 19144704 2249 33554432000 134512640 137138936 4289665056 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 4674 2249 192 642 0 4030 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18696
[startup+222.301 s]
/proc/loadavg: 1.98 1.93 1.95 3/462 22828
/proc/meminfo: memFree=28613952/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=18920 CPUtime=222.29 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2358 0 0 0 22158 71 0 0 25 0 1 0 829105172 19374080 2291 33554432000 134512640 137138936 4289665056 18446744073709551615 134542439 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 4730 2291 192 642 0 4086 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 18920
[startup+282.301 s]
/proc/loadavg: 1.99 1.94 1.95 3/462 22830
/proc/meminfo: memFree=28614276/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=18856 CPUtime=282.3 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2358 0 0 0 28143 87 0 0 25 0 1 0 829105172 19308544 2289 33554432000 134512640 137138936 4289665056 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 4714 2289 192 642 0 4070 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 18856
[startup+342.301 s]
/proc/loadavg: 1.99 1.95 1.95 3/462 22831
/proc/meminfo: memFree=28611876/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=19900 CPUtime=342.3 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2601 0 0 0 34127 103 0 0 25 0 1 0 829105172 20377600 2532 33554432000 134512640 137138936 4289665056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 4975 2532 192 642 0 4331 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19900
[startup+402.3 s]
/proc/loadavg: 1.99 1.95 1.95 3/462 22833
/proc/meminfo: memFree=28611952/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=19888 CPUtime=402.3 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2601 0 0 0 40109 121 0 0 25 0 1 0 829105172 20365312 2532 33554432000 134512640 137138936 4289665056 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 4972 2532 192 642 0 4328 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19888
[startup+462.3 s]
/proc/loadavg: 1.99 1.96 1.95 3/462 22835
/proc/meminfo: memFree=28611404/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=19888 CPUtime=462.3 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2601 0 0 0 46097 133 0 0 25 0 1 0 829105172 20365312 2532 33554432000 134512640 137138936 4289665056 18446744073709551615 136520933 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 4972 2532 192 642 0 4328 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19888
[startup+522.3 s]
/proc/loadavg: 2.03 1.98 1.96 3/462 22836
/proc/meminfo: memFree=28611740/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=19888 CPUtime=522.3 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2602 0 0 0 52081 149 0 0 25 0 1 0 829105172 20365312 2533 33554432000 134512640 137138936 4289665056 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 4972 2533 192 642 0 4328 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 19888
[startup+582.301 s]
/proc/loadavg: 2.11 2.01 1.97 3/462 22838
/proc/meminfo: memFree=28610572/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=20496 CPUtime=582.31 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2754 0 0 0 58066 165 0 0 25 0 1 0 829105172 20987904 2685 33554432000 134512640 137138936 4289665056 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 5124 2685 192 642 0 4480 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20496
[startup+642.301 s]
/proc/loadavg: 2.04 2.00 1.97 3/462 22839
/proc/meminfo: memFree=28610404/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=20564 CPUtime=642.32 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2769 0 0 0 64056 176 0 0 25 0 1 0 829105172 21057536 2700 33554432000 134512640 137138936 4289665056 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 5141 2700 192 642 0 4497 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 20564
[startup+702.301 s]
/proc/loadavg: 2.01 2.00 1.97 3/462 22841
/proc/meminfo: memFree=28610220/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=20552 CPUtime=702.31 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2769 0 0 0 70042 189 0 0 25 0 1 0 829105172 21045248 2700 33554432000 134512640 137138936 4289665056 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 5138 2700 192 642 0 4494 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 20552
Solver just ended. Dumping a history of the last processes samples
[startup+716.7 s]
/proc/loadavg: 2.01 2.00 1.97 3/462 22841
/proc/meminfo: memFree=28609220/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=20548 CPUtime=716.71 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2769 0 0 0 71479 192 0 0 25 0 1 0 829105172 21041152 2700 33554432000 134512640 137138936 4289665056 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 5137 2700 192 642 0 4493 0
Current children cumulated CPU time (s) 716.71
Current children cumulated vsize (KiB) 20548
[startup+729.501 s]
/proc/loadavg: 2.01 2.00 1.97 3/462 22842
/proc/meminfo: memFree=28608964/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=20548 CPUtime=729.51 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2769 0 0 0 72757 194 0 0 25 0 1 0 829105172 21041152 2700 33554432000 134512640 137138936 4289665056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 5137 2700 192 642 0 4493 0
Current children cumulated CPU time (s) 729.51
Current children cumulated vsize (KiB) 20548
[startup+742.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/462 22842
/proc/meminfo: memFree=28608952/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=20548 CPUtime=742.31 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2769 0 0 0 74034 197 0 0 25 0 1 0 829105172 21041152 2700 33554432000 134512640 137138936 4289665056 18446744073709551615 136504086 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 5137 2700 192 642 0 4493 0
Current children cumulated CPU time (s) 742.31
Current children cumulated vsize (KiB) 20548
[startup+745.501 s]
/proc/loadavg: 2.00 2.00 1.97 3/462 22842
/proc/meminfo: memFree=28609200/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=20552 CPUtime=745.51 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2770 0 0 0 74353 198 0 0 25 0 1 0 829105172 21045248 2701 33554432000 134512640 137138936 4289665056 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 5138 2701 192 642 0 4494 0
Current children cumulated CPU time (s) 745.51
Current children cumulated vsize (KiB) 20552
[startup+748.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/462 22842
/proc/meminfo: memFree=28609200/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=20552 CPUtime=748.71 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2770 0 0 0 74672 199 0 0 25 0 1 0 829105172 21045248 2701 33554432000 134512640 137138936 4289665056 18446744073709551615 134542706 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 5138 2701 192 642 0 4494 0
Current children cumulated CPU time (s) 748.71
Current children cumulated vsize (KiB) 20552
[startup+750.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/462 22842
/proc/meminfo: memFree=28609572/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=20552 CPUtime=750.31 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2770 0 0 0 74831 200 0 0 25 0 1 0 829105172 21045248 2701 33554432000 134512640 137138936 4289665056 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 5138 2701 192 642 0 4494 0
Current children cumulated CPU time (s) 750.31
Current children cumulated vsize (KiB) 20552
[startup+751.101 s]
/proc/loadavg: 2.00 2.00 1.97 3/462 22842
/proc/meminfo: memFree=28609572/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=20552 CPUtime=751.11 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2770 0 0 0 74911 200 0 0 25 0 1 0 829105172 21045248 2701 33554432000 134512640 137138936 4289665056 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 5138 2701 192 642 0 4494 0
Current children cumulated CPU time (s) 751.11
Current children cumulated vsize (KiB) 20552
[startup+751.317 s]
/proc/loadavg: 2.00 2.00 1.97 3/462 22842
/proc/meminfo: memFree=28609572/32951124 swapFree=41830676/67111528
[pid=22821] ppid=22819 vsize=20552 CPUtime=751.33 cores=1,3,5,7
/proc/22821/stat : 22821 (bsolo) R 22819 22821 21158 0 -1 4202496 2770 0 0 0 74933 200 0 0 25 0 1 0 829105172 21045248 2701 33554432000 134512640 137138936 4289665056 18446744073709551615 134542439 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22821/statm: 5138 2701 192 642 0 4494 0
Current children cumulated CPU time (s) 751.33
Current children cumulated vsize (KiB) 20552
Child status: 0
Real time (s): 751.382
CPU time (s): 751.4
CPU user time (s): 749.398
CPU system time (s): 2.00169
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 20572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 749.398
system time used= 2.00169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2770
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= 6
involuntary context switches= 1867
runsolver used 3.06853 second user time and 7.8708 second system time
The end