runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3257284-1303468827/watcher-3257284-1303468827 -o /tmp/evaluation-result-3257284-1303468827/solver-3257284-1303468827 -C 2400 -W 1300 -M 7680 qutersat_release HOME/instance-3257284-1303468827.cnf 1877141047 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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.56 2.54 2.71 2/178 20253
/proc/meminfo: memFree=14924316/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=26264 CPUtime=0 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) D 20249 20251 20214 0 -1 4194304 262 0 1 0 0 0 0 0 21 0 1 0 458483497 26894336 211 33554432000 4194304 6016207 140735761734880 18446744073709551615 222916814312 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 0
/proc/20251/statm: 6566 211 173 445 0 97 0

[startup+0.0232699 s]
/proc/loadavg: 1.56 2.54 2.71 2/178 20253
/proc/meminfo: memFree=14924316/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=33388 CPUtime=0 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 2042 0 5 0 0 0 0 0 21 0 1 0 458483497 34189312 1981 33554432000 4194304 6016207 140735761734880 18446744073709551615 4310902 0 0 4096 16386 0 0 0 17 6 0 0 1
/proc/20251/statm: 8347 1981 379 445 0 1891 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 33388

[startup+0.100255 s]
/proc/loadavg: 1.56 2.54 2.71 2/178 20253
/proc/meminfo: memFree=14924316/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=52856 CPUtime=0.08 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 5359 0 5 0 8 0 0 0 21 0 1 0 458483497 54124544 5298 33554432000 4194304 6016207 140735761734880 18446744073709551615 4424914 0 0 4096 16386 0 0 0 17 6 0 0 1
/proc/20251/statm: 13214 5298 692 445 0 6758 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 52856

[startup+0.300219 s]
/proc/loadavg: 1.56 2.54 2.71 2/178 20253
/proc/meminfo: memFree=14924316/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=62148 CPUtime=0.28 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 5897 0 5 0 28 0 0 0 22 0 1 0 458483497 63639552 5836 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425641 0 0 4096 16386 0 0 0 17 6 0 0 1
/proc/20251/statm: 15537 5836 723 445 0 9081 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 62148

[startup+0.70018 s]
/proc/loadavg: 1.56 2.54 2.71 2/178 20253
/proc/meminfo: memFree=14924316/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=71056 CPUtime=0.68 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 6412 0 5 0 68 0 0 0 24 0 1 0 458483497 72761344 6351 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425742 0 0 4096 16386 0 0 0 17 6 0 0 1
/proc/20251/statm: 17764 6351 723 445 0 11308 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 71056

[startup+1.50108 s]
/proc/loadavg: 1.56 2.54 2.71 3/180 20255
/proc/meminfo: memFree=14878624/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=79996 CPUtime=1.47 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 8085 0 5 0 147 0 0 0 25 0 1 0 458483497 81915904 8024 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425856 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 19999 8024 731 445 0 13543 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 79996

[startup+3.10074 s]
/proc/loadavg: 1.56 2.54 2.71 5/180 20259
/proc/meminfo: memFree=14865368/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=88976 CPUtime=3.07 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 8879 0 5 0 307 0 0 0 25 0 1 0 458483497 91111424 8818 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425146 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 22244 8818 731 445 0 15788 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 88976

[startup+6.30019 s]
/proc/loadavg: 1.76 2.56 2.72 6/190 20275
/proc/meminfo: memFree=14658136/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=107296 CPUtime=6.28 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 10400 0 5 0 627 1 0 0 25 0 1 0 458483497 109871104 10321 33554432000 4194304 6016207 140735761734880 18446744073709551615 4538721 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 26824 10321 731 445 0 20368 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 107296

[startup+12.701 s]
/proc/loadavg: 1.94 2.59 2.72 6/190 20275
/proc/meminfo: memFree=14625936/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=107296 CPUtime=12.68 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 12638 0 5 0 1267 1 0 0 25 0 1 0 458483497 109871104 12550 33554432000 4194304 6016207 140735761734880 18446744073709551615 4373701 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 26824 12550 731 445 0 20368 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 107296

[startup+25.5007 s]
/proc/loadavg: 2.39 2.66 2.74 6/190 20275
/proc/meminfo: memFree=14452180/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=126544 CPUtime=25.48 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 16145 0 5 0 2546 2 0 0 25 0 1 0 458483497 129581056 16053 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425659 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 31636 16053 731 445 0 25180 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 126544

[startup+51.101 s]
/proc/loadavg: 2.94 2.76 2.78 6/190 20276
/proc/meminfo: memFree=14234116/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=126544 CPUtime=51.07 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 18621 0 5 0 5105 2 0 0 25 0 1 0 458483497 129581056 18528 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425530 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 31636 18528 731 445 0 25180 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126544

[startup+102.307 s]
/proc/loadavg: 3.54 2.95 2.84 6/190 20278
/proc/meminfo: memFree=13918524/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=168112 CPUtime=102.28 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 23859 0 5 0 10224 4 0 0 25 0 1 0 458483497 172146688 23766 33554432000 4194304 6016207 140735761734880 18446744073709551615 4424309 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 42028 23766 731 445 0 35572 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 168112

[startup+162.301 s]
/proc/loadavg: 3.83 3.14 2.91 6/190 20279
/proc/meminfo: memFree=13723696/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=168112 CPUtime=162.27 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 31548 0 5 0 16221 6 0 0 25 0 1 0 458483497 172146688 31455 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425530 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 42028 31455 731 445 0 35572 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 168112

[startup+222.301 s]
/proc/loadavg: 3.93 3.29 2.97 6/190 20281
/proc/meminfo: memFree=13542996/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=211360 CPUtime=222.27 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 38857 0 5 0 22220 7 0 0 25 0 1 0 458483497 216432640 38764 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425540 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 52840 38764 731 445 0 46384 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 211360

[startup+282.301 s]
/proc/loadavg: 3.97 3.42 3.03 6/190 20282
/proc/meminfo: memFree=13458028/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=256276 CPUtime=282.28 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 40841 0 5 0 28220 8 0 0 25 0 1 0 458483497 262426624 40715 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425530 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 64069 40715 731 445 0 57613 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 256276

[startup+342.301 s]
/proc/loadavg: 4.06 3.55 3.10 6/190 20284
/proc/meminfo: memFree=13411508/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=348632 CPUtime=342.28 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 50069 0 5 0 34217 11 0 0 25 0 1 0 458483497 356999168 49770 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425626 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 87158 49770 731 445 0 80702 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 348632

[startup+402.301 s]
/proc/loadavg: 4.02 3.63 3.16 6/190 20286
/proc/meminfo: memFree=13272856/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=348760 CPUtime=402.28 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 52546 0 5 0 40217 11 0 0 25 0 1 0 458483497 357130240 52247 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425619 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 87190 52247 731 445 0 80734 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 348760

[startup+462.301 s]
/proc/loadavg: 4.01 3.69 3.21 6/190 20287
/proc/meminfo: memFree=13173376/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=396648 CPUtime=462.28 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 61831 0 5 0 46215 13 0 0 25 0 1 0 458483497 406167552 61532 33554432000 4194304 6016207 140735761734880 18446744073709551615 4378018 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 99162 61532 731 445 0 92706 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 396648

[startup+522.301 s]
/proc/loadavg: 4.00 3.75 3.25 6/190 20289
/proc/meminfo: memFree=13028516/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=445336 CPUtime=522.29 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 62813 0 5 0 52215 14 0 0 25 0 1 0 458483497 456024064 62514 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425530 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 111334 62514 731 445 0 104878 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 445336

[startup+582.301 s]
/proc/loadavg: 4.00 3.79 3.30 6/190 20290
/proc/meminfo: memFree=12967360/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=445336 CPUtime=582.29 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 63169 0 5 0 58215 14 0 0 25 0 1 0 458483497 456024064 62870 33554432000 4194304 6016207 140735761734880 18446744073709551615 4424344 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 111334 62870 731 445 0 104878 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 445336

[startup+642.301 s]
/proc/loadavg: 4.00 3.83 3.34 6/190 20292
/proc/meminfo: memFree=12879180/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=445336 CPUtime=642.29 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 64196 0 5 0 64215 14 0 0 25 0 1 0 458483497 456024064 63897 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425561 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 111334 63897 731 445 0 104878 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 445336

[startup+702.301 s]
/proc/loadavg: 4.00 3.85 3.38 6/190 20294
/proc/meminfo: memFree=12741772/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=445336 CPUtime=702.29 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 64708 0 5 0 70215 14 0 0 25 0 1 0 458483497 456024064 64409 33554432000 4194304 6016207 140735761734880 18446744073709551615 4373467 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 111334 64409 731 445 0 104878 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 445336

Solver just ended. Dumping a history of the last processes samples

[startup+716.701 s]
/proc/loadavg: 4.00 3.86 3.39 6/190 20294
/proc/meminfo: memFree=12731348/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=445336 CPUtime=716.69 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 64908 0 5 0 71655 14 0 0 25 0 1 0 458483497 456024064 64609 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425167 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 111334 64609 731 445 0 104878 0
Current children cumulated CPU time (s) 716.69
Current children cumulated vsize (KiB) 445336

[startup+729.501 s]
/proc/loadavg: 4.00 3.86 3.39 6/190 20294
/proc/meminfo: memFree=12728120/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=445336 CPUtime=729.49 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 64908 0 5 0 72935 14 0 0 25 0 1 0 458483497 456024064 64609 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425587 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 111334 64609 731 445 0 104878 0
Current children cumulated CPU time (s) 729.49
Current children cumulated vsize (KiB) 445336

[startup+735.906 s]
/proc/loadavg: 4.08 3.89 3.40 6/190 20294
/proc/meminfo: memFree=12725884/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=445336 CPUtime=735.89 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 64908 0 5 0 73575 14 0 0 25 0 1 0 458483497 456024064 64609 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425530 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 111334 64609 731 445 0 104878 0
Current children cumulated CPU time (s) 735.89
Current children cumulated vsize (KiB) 445336

[startup+739.101 s]
/proc/loadavg: 4.08 3.89 3.40 6/190 20294
/proc/meminfo: memFree=12717696/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=445336 CPUtime=739.09 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 64908 0 5 0 73895 14 0 0 25 0 1 0 458483497 456024064 64609 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425742 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 111334 64609 731 445 0 104878 0
Current children cumulated CPU time (s) 739.09
Current children cumulated vsize (KiB) 445336

[startup+742.3 s]
/proc/loadavg: 4.07 3.89 3.41 6/190 20294
/proc/meminfo: memFree=12713232/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=445336 CPUtime=742.29 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 64912 0 5 0 74215 14 0 0 25 0 1 0 458483497 456024064 64613 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425705 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 111334 64613 731 445 0 104878 0
Current children cumulated CPU time (s) 742.29
Current children cumulated vsize (KiB) 445336

[startup+743.901 s]
/proc/loadavg: 4.07 3.89 3.41 6/190 20294
/proc/meminfo: memFree=12708396/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=445336 CPUtime=743.89 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 64912 0 5 0 74375 14 0 0 25 0 1 0 458483497 456024064 64613 33554432000 4194304 6016207 140735761734880 18446744073709551615 4380047 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 111334 64613 731 445 0 104878 0
Current children cumulated CPU time (s) 743.89
Current children cumulated vsize (KiB) 445336

[startup+744.301 s]
/proc/loadavg: 4.07 3.89 3.41 6/190 20294
/proc/meminfo: memFree=12708396/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=445336 CPUtime=744.29 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 64912 0 5 0 74415 14 0 0 25 0 1 0 458483497 456024064 64613 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425530 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 111334 64613 731 445 0 104878 0
Current children cumulated CPU time (s) 744.29
Current children cumulated vsize (KiB) 445336

[startup+744.501 s]
/proc/loadavg: 4.07 3.89 3.41 6/190 20294
/proc/meminfo: memFree=12708396/32951124 swapFree=67111528/67111528
[pid=20251] ppid=20249 vsize=445336 CPUtime=744.49 cores=4,6
/proc/20251/stat : 20251 (qutersat_releas) R 20249 20251 20214 0 -1 4202496 64912 0 5 0 74435 14 0 0 25 0 1 0 458483497 456024064 64613 33554432000 4194304 6016207 140735761734880 18446744073709551615 4425728 0 0 4096 16386 0 0 0 17 4 0 0 1
/proc/20251/statm: 111334 64613 731 445 0 104878 0
Current children cumulated CPU time (s) 744.49
Current children cumulated vsize (KiB) 445336

Child status: 0
Real time (s): 744.581
CPU time (s): 744.579
CPU user time (s): 744.417
CPU system time (s): 0.161975
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 445336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 744.417
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64922
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 1174

runsolver used 1.3198 second user time and 2.6556 second system time

The end