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-3463391-1307174942/watcher-3463391-1307174942 -o /tmp/evaluation-result-3463391-1307174942/solver-3463391-1307174942 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463391-1307174942.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: 2.04 2.02 1.98 2/498 31515
/proc/meminfo: memFree=25400952/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=11328 CPUtime=0.01 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 449 0 0 0 1 0 0 0 18 0 1 0 907724840 11599872 382 33554432000 134512640 137138936 4290023392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 2832 382 192 642 0 2188 0
[startup+0.0350429 s]
/proc/loadavg: 2.04 2.02 1.98 2/498 31515
/proc/meminfo: memFree=25400952/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=11320 CPUtime=0.03 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 453 0 0 0 3 0 0 0 18 0 1 0 907724840 11591680 386 33554432000 134512640 137138936 4290023392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 2830 386 192 642 0 2186 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11320
[startup+0.101033 s]
/proc/loadavg: 2.04 2.02 1.98 2/498 31515
/proc/meminfo: memFree=25400952/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=11572 CPUtime=0.09 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 524 0 0 0 9 0 0 0 18 0 1 0 907724840 11849728 457 33554432000 134512640 137138936 4290023392 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 2893 457 192 642 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11572
[startup+0.300997 s]
/proc/loadavg: 2.04 2.02 1.98 2/498 31515
/proc/meminfo: memFree=25400952/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=12060 CPUtime=0.29 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 655 0 0 0 29 0 0 0 18 0 1 0 907724840 12349440 588 33554432000 134512640 137138936 4290023392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 3015 588 192 642 0 2371 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12060
[startup+0.700922 s]
/proc/loadavg: 2.04 2.02 1.98 2/498 31515
/proc/meminfo: memFree=25400952/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=12928 CPUtime=0.69 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 874 0 0 0 69 0 0 0 18 0 1 0 907724840 13238272 807 33554432000 134512640 137138936 4290023392 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 3232 807 192 642 0 2588 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12928
[startup+1.50078 s]
/proc/loadavg: 2.04 2.02 1.98 3/499 31516
/proc/meminfo: memFree=25397348/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=13672 CPUtime=1.5 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 1033 0 0 0 149 1 0 0 20 0 1 0 907724840 14000128 966 33554432000 134512640 137138936 4290023392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 3418 966 192 642 0 2774 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13672
[startup+3.10047 s]
/proc/loadavg: 2.04 2.02 1.98 3/499 31516
/proc/meminfo: memFree=25395240/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=14044 CPUtime=3.09 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 1127 0 0 0 308 1 0 0 25 0 1 0 907724840 14381056 1060 33554432000 134512640 137138936 4290023392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 3511 1060 192 642 0 2867 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14044
[startup+6.30088 s]
/proc/loadavg: 2.03 2.02 1.98 3/499 31516
/proc/meminfo: memFree=25395004/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=14528 CPUtime=6.3 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 1264 0 0 0 628 2 0 0 25 0 1 0 907724840 14876672 1197 33554432000 134512640 137138936 4290023392 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 3632 1197 192 642 0 2988 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 14528
[startup+12.7007 s]
/proc/loadavg: 2.03 2.02 1.98 3/499 31516
/proc/meminfo: memFree=25393976/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=14900 CPUtime=12.69 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 1352 0 0 0 1266 3 0 0 25 0 1 0 907724840 15257600 1285 33554432000 134512640 137138936 4290023392 18446744073709551615 136505225 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 3725 1285 192 642 0 3081 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14900
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 1.98 3/499 31517
/proc/meminfo: memFree=25393984/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=15504 CPUtime=25.49 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 1519 0 0 0 2544 5 0 0 25 0 1 0 907724840 15876096 1452 33554432000 134512640 137138936 4290023392 18446744073709551615 134542434 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 3876 1452 192 642 0 3232 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15504
[startup+51.1006 s]
/proc/loadavg: 2.07 2.03 1.98 3/499 31518
/proc/meminfo: memFree=25392512/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=16848 CPUtime=51.09 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 1835 0 0 0 5099 10 0 0 25 0 1 0 907724840 17252352 1768 33554432000 134512640 137138936 4290023392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 4212 1768 192 642 0 3568 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16848
[startup+102.319 s]
/proc/loadavg: 2.03 2.03 1.98 3/499 31519
/proc/meminfo: memFree=25392232/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=17312 CPUtime=102.31 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 1949 0 0 0 10213 18 0 0 25 0 1 0 907724840 17727488 1882 33554432000 134512640 137138936 4290023392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 4328 1882 192 642 0 3684 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17312
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 1.98 3/499 31520
/proc/meminfo: memFree=25390072/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=17924 CPUtime=162.29 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2124 0 0 0 16203 26 0 0 25 0 1 0 907724840 18354176 2057 33554432000 134512640 137138936 4290023392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 4481 2057 192 642 0 3837 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 17924
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/499 31522
/proc/meminfo: memFree=25389152/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=18388 CPUtime=222.3 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2238 0 0 0 22193 37 0 0 25 0 1 0 907724840 18829312 2171 33554432000 134512640 137138936 4290023392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 4597 2171 192 642 0 3953 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 18388
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/499 31524
/proc/meminfo: memFree=25389476/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=18608 CPUtime=282.3 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2276 0 0 0 28186 44 0 0 25 0 1 0 907724840 19054592 2209 33554432000 134512640 137138936 4290023392 18446744073709551615 134603102 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 4652 2209 192 642 0 4008 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 18608
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/499 31525
/proc/meminfo: memFree=25388704/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=19740 CPUtime=342.31 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2559 0 0 0 34178 53 0 0 25 0 1 0 907724840 20213760 2492 33554432000 134512640 137138936 4290023392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 4935 2492 192 642 0 4291 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 19740
[startup+402.301 s]
/proc/loadavg: 1.92 1.98 1.98 3/499 31824
/proc/meminfo: memFree=26426808/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=19688 CPUtime=402.3 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2559 0 0 0 40170 60 0 0 25 0 1 0 907724840 20160512 2492 33554432000 134512640 137138936 4290023392 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 4922 2492 192 642 0 4278 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19688
[startup+462.3 s]
/proc/loadavg: 1.97 1.98 1.98 3/499 31879
/proc/meminfo: memFree=26396168/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=19816 CPUtime=462.31 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2595 0 0 0 46163 68 0 0 25 0 1 0 907724840 20291584 2528 33554432000 134512640 137138936 4290023392 18446744073709551615 134575850 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 4954 2528 192 642 0 4310 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 19816
[startup+522.3 s]
/proc/loadavg: 2.03 2.00 1.98 3/499 31881
/proc/meminfo: memFree=26394264/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=19936 CPUtime=522.31 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2609 0 0 0 52155 76 0 0 25 0 1 0 907724840 20414464 2542 33554432000 134512640 137138936 4290023392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 4984 2542 192 642 0 4340 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 19936
[startup+582.301 s]
/proc/loadavg: 2.08 2.03 1.99 3/499 31883
/proc/meminfo: memFree=26370440/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=20480 CPUtime=582.31 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2745 0 0 0 58147 84 0 0 25 0 1 0 907724840 20971520 2678 33554432000 134512640 137138936 4290023392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 5120 2678 192 642 0 4476 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20480
[startup+642.301 s]
/proc/loadavg: 2.03 2.02 1.99 3/499 31884
/proc/meminfo: memFree=26346360/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=20676 CPUtime=642.33 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2796 0 0 0 64143 90 0 0 25 0 1 0 907724840 21172224 2729 33554432000 134512640 137138936 4290023392 18446744073709551615 134575459 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 5169 2729 192 642 0 4525 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 20676
Solver just ended. Dumping a history of the last processes samples
[startup+665.519 s]
/proc/loadavg: 2.02 2.02 1.99 3/499 31885
/proc/meminfo: memFree=26331840/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=20660 CPUtime=665.53 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2796 0 0 0 66461 92 0 0 25 0 1 0 907724840 21155840 2729 33554432000 134512640 137138936 4290023392 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 5165 2729 192 642 0 4521 0
Current children cumulated CPU time (s) 665.53
Current children cumulated vsize (KiB) 20660
[startup+678.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/499 31885
/proc/meminfo: memFree=26324016/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=20660 CPUtime=678.31 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2796 0 0 0 67737 94 0 0 25 0 1 0 907724840 21155840 2729 33554432000 134512640 137138936 4290023392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 5165 2729 192 642 0 4521 0
Current children cumulated CPU time (s) 678.31
Current children cumulated vsize (KiB) 20660
[startup+684.7 s]
/proc/loadavg: 2.01 2.02 1.99 3/499 31885
/proc/meminfo: memFree=26320172/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=20660 CPUtime=684.72 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2796 0 0 0 68377 95 0 0 25 0 1 0 907724840 21155840 2729 33554432000 134512640 137138936 4290023392 18446744073709551615 134542868 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 5165 2729 192 642 0 4521 0
Current children cumulated CPU time (s) 684.72
Current children cumulated vsize (KiB) 20660
[startup+691.101 s]
/proc/loadavg: 2.01 2.02 1.99 3/499 31886
/proc/meminfo: memFree=26316568/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=20652 CPUtime=691.12 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2796 0 0 0 69016 96 0 0 25 0 1 0 907724840 21147648 2729 33554432000 134512640 137138936 4290023392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 5163 2729 192 642 0 4519 0
Current children cumulated CPU time (s) 691.12
Current children cumulated vsize (KiB) 20652
[startup+692.701 s]
/proc/loadavg: 2.01 2.02 1.99 3/499 31886
/proc/meminfo: memFree=26316072/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=20652 CPUtime=692.72 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2796 0 0 0 69176 96 0 0 25 0 1 0 907724840 21147648 2729 33554432000 134512640 137138936 4290023392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 5163 2729 192 642 0 4519 0
Current children cumulated CPU time (s) 692.72
Current children cumulated vsize (KiB) 20652
[startup+693.501 s]
/proc/loadavg: 2.01 2.02 1.99 3/499 31886
/proc/meminfo: memFree=26315576/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=20652 CPUtime=693.52 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2796 0 0 0 69256 96 0 0 25 0 1 0 907724840 21147648 2729 33554432000 134512640 137138936 4290023392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 5163 2729 192 642 0 4519 0
Current children cumulated CPU time (s) 693.52
Current children cumulated vsize (KiB) 20652
[startup+694.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/499 31886
/proc/meminfo: memFree=26315080/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=20652 CPUtime=694.31 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2796 0 0 0 69335 96 0 0 25 0 1 0 907724840 21147648 2729 33554432000 134512640 137138936 4290023392 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 5163 2729 192 642 0 4519 0
Current children cumulated CPU time (s) 694.31
Current children cumulated vsize (KiB) 20652
[startup+694.7 s]
/proc/loadavg: 2.01 2.02 1.99 3/499 31886
/proc/meminfo: memFree=26315080/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=20652 CPUtime=694.71 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2796 0 0 0 69375 96 0 0 25 0 1 0 907724840 21147648 2729 33554432000 134512640 137138936 4290023392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 5163 2729 192 642 0 4519 0
Current children cumulated CPU time (s) 694.71
Current children cumulated vsize (KiB) 20652
[startup+694.8 s]
/proc/loadavg: 2.01 2.02 1.99 3/499 31886
/proc/meminfo: memFree=26315080/32950928 swapFree=34421304/67111528
[pid=31515] ppid=31513 vsize=20652 CPUtime=694.81 cores=0,2,4,6
/proc/31515/stat : 31515 (bsolo) R 31513 31515 29288 0 -1 4202496 2796 0 0 0 69385 96 0 0 25 0 1 0 907724840 21147648 2729 33554432000 134512640 137138936 4290023392 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31515/statm: 5163 2729 192 642 0 4519 0
Current children cumulated CPU time (s) 694.81
Current children cumulated vsize (KiB) 20652
Child status: 0
Real time (s): 694.812
CPU time (s): 694.835
CPU user time (s): 693.87
CPU system time (s): 0.965853
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 20684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 693.87
system time used= 0.965853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2796
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= 5
involuntary context switches= 1060
runsolver used 3.57646 second user time and 7.73982 second system time
The end