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-3482468-1307576359/watcher-3482468-1307576359 -o /tmp/evaluation-result-3482468-1307576359/solver-3482468-1307576359 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482468-1307576359.opb -seed 10733940 -budget 1800
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: 0.00 0.00 0.00 2/472 5320
/proc/meminfo: memFree=23756340/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/5319/stat : 5319 (runsolver) S 5316 5319 5281 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 869237921 12079104 51 33554432000 4194304 5432328 140736240161664 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699977015 0 0 17 1 0 0 0
/proc/5319/statm: 2949 51 31 303 0 2643 0
[startup+0.0486111 s]
/proc/loadavg: 0.00 0.00 0.00 2/472 5320
/proc/meminfo: memFree=23756340/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/5319/stat : 5319 (runsolver) D 5316 5319 5281 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 1 0 869237921 12079104 54 33554432000 4194304 5432328 140736240161664 18446744073709551615 5055479 0 0 4096 24578 18446744071562234166 0 0 17 1 0 0 0
/proc/5319/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100603 s]
/proc/loadavg: 0.00 0.00 0.00 2/472 5320
/proc/meminfo: memFree=23756340/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=6240 CPUtime=0 cores=1,3,5,7
/proc/5319/stat : 5319 (python) S 5316 5319 5281 0 -1 4194304 96 0 2 0 0 0 0 0 19 0 1 0 869237921 6389760 51 33554432000 4194304 5683644 140734957369248 18446744073709551615 274469043847 0 2147483391 4096 0 18446744071699215550 0 0 17 1 0 0 2
/proc/5319/statm: 1560 51 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.300569 s]
/proc/loadavg: 0.00 0.00 0.00 2/472 5320
/proc/meminfo: memFree=23756340/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/5319/stat : 5319 (python) S 5316 5319 5281 0 -1 4202496 705 0 6 0 0 0 0 0 17 0 1 0 869237921 15548416 603 33554432000 4194304 5683644 140734957369248 18446744073709551615 274473963365 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 9
/proc/5319/statm: 3796 603 319 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+0.700497 s]
/proc/loadavg: 0.00 0.00 0.00 2/472 5320
/proc/meminfo: memFree=23756340/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/5319/stat : 5319 (python) S 5316 5319 5281 0 -1 4202496 785 0 6 0 0 0 0 0 15 0 1 0 869237921 15749120 679 33554432000 4194304 5683644 140734957369248 18446744073709551615 274473963365 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 12
/proc/5319/statm: 3845 679 322 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+1.50035 s]
/proc/loadavg: 0.08 0.02 0.01 1/474 5322
/proc/meminfo: memFree=23752904/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/5319/stat : 5319 (python) S 5316 5319 5281 0 -1 4202496 897 0 6 0 0 0 0 0 16 0 1 0 869237921 16154624 784 33554432000 4194304 5683644 140734957369248 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 19
/proc/5319/statm: 3944 784 346 364 0 431 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15776
[startup+3.10107 s]
/proc/loadavg: 0.08 0.02 0.01 1/474 5322
/proc/meminfo: memFree=23748944/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/5319/stat : 5319 (python) D 5316 5319 5281 0 -1 4202496 1111 0 6 0 1 0 0 0 16 0 1 0 869237921 16789504 985 33554432000 4194304 5683644 140734957369248 18446744073709551615 274473965568 0 0 16781312 2 0 0 0 17 7 0 0 35
/proc/5319/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
heavy processes:
[startup+6.30051 s]
/proc/loadavg: 0.15 0.03 0.01 2/474 5322
/proc/meminfo: memFree=23746016/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=29788 CPUtime=0.06 cores=1,3,5,7
/proc/5319/stat : 5319 (python) S 5316 5319 5281 0 -1 4202496 1436 0 11 0 4 2 0 0 16 0 1 0 869237921 30502912 1289 33554432000 4194304 5683644 140734957369248 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 50
/proc/5319/statm: 7447 1289 443 364 0 817 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29788
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 0.14 0.03 0.01 1/474 5330
/proc/meminfo: memFree=23702676/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=205568 CPUtime=0.41 cores=1,3,5,7
/proc/5319/stat : 5319 (python) S 5316 5319 5281 0 -1 4202496 6698 919 84 9 19 22 0 0 16 0 1 0 869237921 210501632 5051 33554432000 4194304 5683644 140734957369248 18446744073709551615 274473963444 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 112
/proc/5319/statm: 51392 5051 1483 364 0 3783 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 205568
heavy processes:
[startup+25.5012 s]
/proc/loadavg: 0.57 0.13 0.04 3/480 5411
/proc/meminfo: memFree=23657736/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=293084 CPUtime=0.69 cores=1,3,5,7
/proc/5319/stat : 5319 (python) S 5316 5319 5281 0 -1 4202496 9514 919 116 9 35 34 0 0 18 0 2 0 869237921 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 143
/proc/5319/statm: 73271 7141 1870 364 0 8158 0
[pid=5332] ppid=5319 vsize=282840 CPUtime=0.02 cores=1,3,5,7
/proc/5332/stat : 5332 (python) S 5319 5319 5281 0 -1 4202560 874 0 0 0 1 1 0 0 15 0 1 0 869239569 289628160 5643 33554432000 4194304 5683644 140734957369248 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373586 0 0 17 7 0 0 0
/proc/5332/statm: 70710 5643 376 364 0 5597 0
[pid=5335] ppid=5332 vsize=8236 CPUtime=9 cores=1,3,5,7
/proc/5335/stat : 5335 (pbct-0.1.2-linu) R 5332 5335 5335 0 -1 4202496 1949 0 0 0 730 170 0 0 25 0 1 0 869239571 8433664 1691 33554432000 134512640 136422188 4293747280 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/5335/statm: 2059 1691 213 467 0 1590 0
[pid=5319/tid=5334] ppid=5316 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5319/task/5334/stat : 5334 (python) S 5316 5319 5281 0 -1 4202560 25 919 0 9 0 0 0 0 18 0 2 0 869239569 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469658633280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.71
Current children cumulated vsize (KiB) 584160
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+28.7006 s]
/proc/loadavg: 0.69 0.16 0.05 3/480 5411
/proc/meminfo: memFree=23652608/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=293084 CPUtime=0.69 cores=1,3,5,7
/proc/5319/stat : 5319 (python) S 5316 5319 5281 0 -1 4202496 9514 919 116 9 35 34 0 0 18 0 2 0 869237921 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 143
/proc/5319/statm: 73271 7141 1870 364 0 8158 0
[pid=5332] ppid=5319 vsize=282840 CPUtime=0.02 cores=1,3,5,7
/proc/5332/stat : 5332 (python) S 5319 5319 5281 0 -1 4202560 874 0 0 0 1 1 0 0 15 0 1 0 869239569 289628160 5643 33554432000 4194304 5683644 140734957369248 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373586 0 0 17 7 0 0 0
/proc/5332/statm: 70710 5643 376 364 0 5597 0
[pid=5335] ppid=5332 vsize=8364 CPUtime=12.2 cores=1,3,5,7
/proc/5335/stat : 5335 (pbct-0.1.2-linu) R 5332 5335 5335 0 -1 4202496 1968 0 0 0 995 225 0 0 25 0 1 0 869239571 8564736 1710 33554432000 134512640 136422188 4293747280 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/5335/statm: 2091 1710 213 467 0 1622 0
[pid=5319/tid=5334] ppid=5316 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5319/task/5334/stat : 5334 (python) S 5316 5319 5281 0 -1 4202560 25 919 0 9 0 0 0 0 18 0 2 0 869239569 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469658633280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.91
Current children cumulated vsize (KiB) 584288
[startup+30.3003 s]
/proc/loadavg: 0.69 0.16 0.05 3/480 5411
/proc/meminfo: memFree=23652844/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=293084 CPUtime=0.69 cores=1,3,5,7
/proc/5319/stat : 5319 (python) S 5316 5319 5281 0 -1 4202496 9514 919 116 9 35 34 0 0 18 0 2 0 869237921 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 143
/proc/5319/statm: 73271 7141 1870 364 0 8158 0
[pid=5332] ppid=5319 vsize=282840 CPUtime=0.05 cores=1,3,5,7
/proc/5332/stat : 5332 (python) S 5319 5319 5281 0 -1 4202560 877 0 0 0 3 2 0 0 15 0 1 0 869239569 289628160 5643 33554432000 4194304 5683644 140734957369248 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373586 0 0 17 7 0 0 0
/proc/5332/statm: 70710 5643 376 364 0 5597 0
[pid=5335] ppid=5332 vsize=8364 CPUtime=13.79 cores=1,3,5,7
/proc/5335/stat : 5335 (pbct-0.1.2-linu) R 5332 5335 5335 0 -1 4202496 1984 0 0 0 1125 254 0 0 25 0 1 0 869239571 8564736 1726 33554432000 134512640 136422188 4293747280 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/5335/statm: 2091 1726 213 467 0 1622 0
[pid=5319/tid=5334] ppid=5316 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5319/task/5334/stat : 5334 (python) S 5316 5319 5281 0 -1 4202560 25 919 0 9 0 0 0 0 18 0 2 0 869239569 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469658633280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 14.53
Current children cumulated vsize (KiB) 584288
[startup+31.1011 s]
/proc/loadavg: 0.79 0.19 0.06 3/473 5437
/proc/meminfo: memFree=23776156/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=293084 CPUtime=0.69 cores=1,3,5,7
/proc/5319/stat : 5319 (python) S 5316 5319 5281 0 -1 4202496 9514 919 116 9 35 34 0 0 18 0 2 0 869237921 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 143
/proc/5319/statm: 73271 7141 1870 364 0 8158 0
[pid=5332] ppid=5319 vsize=282840 CPUtime=0.05 cores=1,3,5,7
/proc/5332/stat : 5332 (python) S 5319 5319 5281 0 -1 4202560 877 0 0 0 3 2 0 0 15 0 1 0 869239569 289628160 5643 33554432000 4194304 5683644 140734957369248 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373586 0 0 17 7 0 0 0
/proc/5332/statm: 70710 5643 376 364 0 5597 0
[pid=5335] ppid=5332 vsize=8364 CPUtime=14.6 cores=1,3,5,7
/proc/5335/stat : 5335 (pbct-0.1.2-linu) R 5332 5335 5335 0 -1 4202496 1984 0 0 0 1194 266 0 0 25 0 1 0 869239571 8564736 1726 33554432000 134512640 136422188 4293747280 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/5335/statm: 2091 1726 213 467 0 1622 0
[pid=5319/tid=5334] ppid=5316 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5319/task/5334/stat : 5334 (python) S 5316 5319 5281 0 -1 4202560 25 919 0 9 0 0 0 0 18 0 2 0 869239569 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469658633280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 15.34
Current children cumulated vsize (KiB) 584288
[startup+31.918 s]
/proc/loadavg: 0.79 0.19 0.06 3/477 5446
/proc/meminfo: memFree=23660988/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=293084 CPUtime=0.69 cores=1,3,5,7
/proc/5319/stat : 5319 (python) S 5316 5319 5281 0 -1 4202496 9514 919 116 9 35 34 0 0 18 0 2 0 869237921 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 143
/proc/5319/statm: 73271 7141 1870 364 0 8158 0
[pid=5332] ppid=5319 vsize=282840 CPUtime=0.05 cores=1,3,5,7
/proc/5332/stat : 5332 (python) S 5319 5319 5281 0 -1 4202560 877 0 0 0 3 2 0 0 15 0 1 0 869239569 289628160 5643 33554432000 4194304 5683644 140734957369248 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373586 0 0 17 7 0 0 0
/proc/5332/statm: 70710 5643 376 364 0 5597 0
[pid=5335] ppid=5332 vsize=8364 CPUtime=15.42 cores=1,3,5,7
/proc/5335/stat : 5335 (pbct-0.1.2-linu) R 5332 5335 5335 0 -1 4202496 1984 0 0 0 1259 283 0 0 25 0 1 0 869239571 8564736 1726 33554432000 134512640 136422188 4293747280 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/5335/statm: 2091 1726 213 467 0 1622 0
[pid=5319/tid=5334] ppid=5316 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5319/task/5334/stat : 5334 (python) S 5316 5319 5281 0 -1 4202560 25 919 0 9 0 0 0 0 18 0 2 0 869239569 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469658633280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16.16
Current children cumulated vsize (KiB) 584288
[startup+32.101 s]
/proc/loadavg: 0.79 0.19 0.06 3/477 5446
/proc/meminfo: memFree=23660988/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=293084 CPUtime=0.69 cores=1,3,5,7
/proc/5319/stat : 5319 (python) S 5316 5319 5281 0 -1 4202496 9514 919 116 9 35 34 0 0 18 0 2 0 869237921 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 143
/proc/5319/statm: 73271 7141 1870 364 0 8158 0
[pid=5332] ppid=5319 vsize=282840 CPUtime=0.05 cores=1,3,5,7
/proc/5332/stat : 5332 (python) S 5319 5319 5281 0 -1 4202560 877 0 0 0 3 2 0 0 15 0 1 0 869239569 289628160 5643 33554432000 4194304 5683644 140734957369248 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373586 0 0 17 7 0 0 0
/proc/5332/statm: 70710 5643 376 364 0 5597 0
[pid=5335] ppid=5332 vsize=8364 CPUtime=15.6 cores=1,3,5,7
/proc/5335/stat : 5335 (pbct-0.1.2-linu) R 5332 5335 5335 0 -1 4202496 1984 0 0 0 1274 286 0 0 25 0 1 0 869239571 8564736 1726 33554432000 134512640 136422188 4293747280 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/5335/statm: 2091 1726 213 467 0 1622 0
[pid=5319/tid=5334] ppid=5316 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5319/task/5334/stat : 5334 (python) S 5316 5319 5281 0 -1 4202560 25 919 0 9 0 0 0 0 18 0 2 0 869239569 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469658633280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16.34
Current children cumulated vsize (KiB) 584288
[startup+32.201 s]
/proc/loadavg: 0.79 0.19 0.06 3/477 5446
/proc/meminfo: memFree=23660988/32950928 swapFree=61858080/67111528
[pid=5319] ppid=5316 vsize=293084 CPUtime=0.69 cores=1,3,5,7
/proc/5319/stat : 5319 (python) S 5316 5319 5281 0 -1 4202496 9514 919 116 9 35 34 0 0 18 0 2 0 869237921 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 143
/proc/5319/statm: 73271 7141 1870 364 0 8158 0
[pid=5332] ppid=5319 vsize=282840 CPUtime=0.05 cores=1,3,5,7
/proc/5332/stat : 5332 (python) S 5319 5319 5281 0 -1 4202560 877 0 0 0 3 2 0 0 15 0 1 0 869239569 289628160 5643 33554432000 4194304 5683644 140734957369248 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373586 0 0 17 7 0 0 0
/proc/5332/statm: 70710 5643 376 364 0 5597 0
[pid=5335] ppid=5332 vsize=8364 CPUtime=15.7 cores=1,3,5,7
/proc/5335/stat : 5335 (pbct-0.1.2-linu) R 5332 5335 5335 0 -1 4202496 1984 0 0 0 1282 288 0 0 25 0 1 0 869239571 8564736 1726 33554432000 134512640 136422188 4293747280 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/5335/statm: 2091 1726 213 467 0 1622 0
[pid=5319/tid=5334] ppid=5316 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5319/task/5334/stat : 5334 (python) S 5316 5319 5281 0 -1 4202560 25 919 0 9 0 0 0 0 18 0 2 0 869239569 300118016 7141 33554432000 4194304 5683644 140734957369248 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469658633280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16.44
Current children cumulated vsize (KiB) 584288
Child status: 0
Real time (s): 32.2771
CPU time (s): 16.5425
CPU user time (s): 13.264
CPU system time (s): 3.2785
CPU usage (%): 51.2515
Max. virtual memory (cumulated for all children) (KiB): 584288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.264
system time used= 3.2785
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18013
page faults= 125
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23653
involuntary context switches= 95
runsolver used 0.170974 second user time and 0.413937 second system time
The end