runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (57784 MiB free)
  memory of node 1: 64507 MiB (59441 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527673-1752236041/watcher-4527673-1752236041 -o /tmp/evaluation-result-4527673-1752236041/solver-4527673-1752236041 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752232205-108024 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527673-1752236041.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=108872, runsolver pid=108869
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.48 5.01 5.79 5/267 108873
/proc/meminfo: memFree=120031612/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=58608 memory=24192 CPUtime=0.09 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 5009 0 0 0 9 0 0 0 20 0 1 0 139283973 60014592 6048 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 14652 6048 1184 6655 0 4887 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58608 KiB
Current children cumulated memory: 24192 KiB

[startup+0.205775 s]*
/proc/loadavg: 4.48 5.01 5.79 5/267 108873
/proc/meminfo: memFree=120031612/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=58608 memory=24192 CPUtime=0.19 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 5017 0 0 0 19 0 0 0 20 0 1 0 139283973 60014592 6048 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 14652 6048 1184 6655 0 4887 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58608 KiB
Current children cumulated memory: 24192 KiB

[startup+0.305641 s]*
/proc/loadavg: 4.48 5.01 5.79 5/267 108873
/proc/meminfo: memFree=120031612/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=58772 memory=24192 CPUtime=0.29 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 5028 0 0 0 29 0 0 0 20 0 1 0 139283973 60182528 6048 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 14693 6048 1184 6655 0 4928 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 58772 KiB
Current children cumulated memory: 24192 KiB

[startup+0.700147 s]
/proc/loadavg: 4.48 5.01 5.79 5/267 108873
/proc/meminfo: memFree=120031612/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=58772 memory=24320 CPUtime=0.68 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 5051 0 0 0 68 0 0 0 20 0 1 0 139283973 60182528 6080 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 14693 6080 1184 6655 0 4928 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58772 KiB
Current children cumulated memory: 24320 KiB

[startup+1.50013 s]
/proc/loadavg: 4.48 5.01 5.79 5/267 108873
/proc/meminfo: memFree=120031612/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=58772 memory=24320 CPUtime=1.48 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 5054 0 0 0 148 0 0 0 20 0 1 0 139283973 60182528 6080 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 14693 6080 1184 6655 0 4928 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58772 KiB
Current children cumulated memory: 24320 KiB

[startup+3.10549 s]
/proc/loadavg: 4.48 5.01 5.79 5/267 108873
/proc/meminfo: memFree=120031772/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=58772 memory=24320 CPUtime=3.08 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 5054 0 0 0 308 0 0 0 20 0 1 0 139283973 60182528 6080 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 14693 6080 1184 6655 0 4928 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58772 KiB
Current children cumulated memory: 24320 KiB

[startup+6.30014 s]
/proc/loadavg: 4.45 4.99 5.78 5/267 108873
/proc/meminfo: memFree=120029964/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=58772 memory=24320 CPUtime=6.26 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 5054 0 0 0 626 0 0 0 20 0 1 0 139283973 60182528 6080 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 14693 6080 1184 6655 0 4928 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 58772 KiB
Current children cumulated memory: 24320 KiB

[startup+12.7002 s]
/proc/loadavg: 4.41 4.98 5.77 6/268 108874
/proc/meminfo: memFree=119938848/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=202636 memory=118464 CPUtime=14.34 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 25946 0 0 0 1429 5 0 0 20 0 2 0 139283973 207499264 29616 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 50659 29616 3520 6655 0 28899 0
[pid=108872/tid=108874] ppid=108869 vsize=202636 memory=114368 CPUtime=1.68 cores=5,7
/proc/108872/task/108874/stat : 108874 (LSIPExact) R 108869 108872 108004 0 -1 4194368 4550 0 0 0 168 0 0 0 20 0 2 0 139284978 207499264 29616 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
Current children cumulated CPU time: 14.34 s
Current children cumulated vsize: 202636 KiB
Current children cumulated memory: 118464 KiB

[startup+25.5002 s]
/proc/loadavg: 4.54 4.98 5.76 6/268 108874
/proc/meminfo: memFree=119925124/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=200556 memory=124540 CPUtime=39.67 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 59876 0 0 0 3960 7 0 0 20 0 2 0 139283973 205369344 31135 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 50139 31135 3520 6655 0 30020 0
[pid=108872/tid=108874] ppid=108869 vsize=200556 memory=124540 CPUtime=14.28 cores=5,7
/proc/108872/task/108874/stat : 108874 (LSIPExact) R 108869 108872 108004 0 -1 4194368 17560 0 0 0 1427 1 0 0 20 0 2 0 139284978 205369344 31135 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
Current children cumulated CPU time: 39.67 s
Current children cumulated vsize: 200556 KiB
Current children cumulated memory: 124540 KiB

[startup+43.9346 s]
# the end of solver process 108872 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=75.7982 s, system=0.098799 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6003 s]
/proc/loadavg: 4.54 4.98 5.76 6/268 108874
/proc/meminfo: memFree=119925124/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=200556 memory=124540 CPUtime=39.87 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 59878 0 0 0 3980 7 0 0 20 0 2 0 139283973 205369344 31135 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 50139 31135 3520 6655 0 30020 0
[pid=108872/tid=108874] ppid=108869 vsize=200556 memory=0 CPUtime=14.38 cores=5,7
/proc/108872/task/108874/stat : 108874 (LSIPExact) R 108869 108872 108004 0 -1 4194368 17562 0 0 0 1437 1 0 0 20 0 2 0 139284978 205369344 31135 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
Current children cumulated CPU time: 39.87 s
Current children cumulated vsize: 200556 KiB
Current children cumulated memory: 124540 KiB

[startup+32.0002 s]*
/proc/loadavg: 4.58 4.98 5.75 6/268 108875
/proc/meminfo: memFree=119925132/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=200556 memory=124668 CPUtime=52.59 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 69933 0 0 0 5251 8 0 0 20 0 2 0 139283973 205369344 31167 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 50139 31167 3520 6655 0 30020 0
[pid=108872/tid=108874] ppid=108869 vsize=200556 memory=6655300316396806240 CPUtime=20.72 cores=5,7
/proc/108872/task/108874/stat : 108874 (LSIPExact) R 108869 108872 108004 0 -1 4194368 22014 0 0 0 2070 2 0 0 20 0 2 0 139284978 205369344 31167 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
Current children cumulated CPU time: 52.59 s
Current children cumulated vsize: 200556 KiB
Current children cumulated memory: 124668 KiB

[startup+38.4002 s]
/proc/loadavg: 4.61 4.98 5.75 6/267 108875
/proc/meminfo: memFree=119923796/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=203428 memory=129660 CPUtime=65.29 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 72311 0 0 0 6521 8 0 0 20 0 2 0 139283973 208310272 32415 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 50857 32415 3520 6655 0 31142 0
[pid=108872/tid=108874] ppid=108869 vsize=203428 memory=124284 CPUtime=27.05 cores=5,7
/proc/108872/task/108874/stat : 108874 (LSIPExact) R 108869 108872 108004 0 -1 4194368 23170 0 0 0 2703 2 0 0 20 0 2 0 139284978 208310272 32415 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
Current children cumulated CPU time: 65.29 s
Current children cumulated vsize: 203428 KiB
Current children cumulated memory: 129660 KiB

[startup+41.6002 s]
/proc/loadavg: 4.72 5.00 5.75 6/267 108875
/proc/meminfo: memFree=119923044/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=203428 memory=129916 CPUtime=71.64 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 72390 0 0 0 7156 8 0 0 20 0 2 0 139283973 208310272 32479 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 50857 32479 3520 6655 0 31215 0
[pid=108872/tid=108874] ppid=108869 vsize=203428 memory=128124 CPUtime=30.22 cores=5,7
/proc/108872/task/108874/stat : 108874 (LSIPExact) R 108869 108872 108004 0 -1 4194368 23246 0 0 0 3020 2 0 0 20 0 2 0 139284978 208310272 32479 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
Current children cumulated CPU time: 71.64 s
Current children cumulated vsize: 203428 KiB
Current children cumulated memory: 129916 KiB

[startup+43.2002 s]
/proc/loadavg: 4.72 5.00 5.75 6/267 108875
/proc/meminfo: memFree=119923044/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=203428 memory=129916 CPUtime=74.82 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 73275 0 0 0 7474 8 0 0 20 0 2 0 139283973 208310272 32479 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 50857 32479 3520 6655 0 31215 0
[pid=108872/tid=108874] ppid=108869 vsize=203428 memory=14720 CPUtime=31.8 cores=5,7
/proc/108872/task/108874/stat : 108874 (LSIPExact) R 108869 108872 108004 0 -1 4194368 23247 0 0 0 3178 2 0 0 20 0 2 0 139284978 208310272 32479 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
Current children cumulated CPU time: 74.82 s
Current children cumulated vsize: 203428 KiB
Current children cumulated memory: 129916 KiB

[startup+43.6002 s]
/proc/loadavg: 4.72 5.00 5.75 6/267 108875
/proc/meminfo: memFree=119923044/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=204140 memory=131452 CPUtime=75.55 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 74110 0 0 0 7547 8 0 0 20 0 2 0 139283973 209039360 32863 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 51035 32863 3520 6655 0 31393 0
[pid=108872/tid=108874] ppid=108869 vsize=204140 memory=129916 CPUtime=32.13 cores=5,7
/proc/108872/task/108874/stat : 108874 (LSIPExact) S 108869 108872 108004 0 -1 4194368 23600 0 0 0 3211 2 0 0 20 0 2 0 139284978 209039360 32863 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
Current children cumulated CPU time: 75.55 s
Current children cumulated vsize: 204140 KiB
Current children cumulated memory: 131452 KiB

[startup+43.8002 s]
/proc/loadavg: 4.72 5.00 5.75 6/267 108875
/proc/meminfo: memFree=119923044/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=204140 memory=131452 CPUtime=75.75 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 74110 0 0 0 7567 8 0 0 20 0 2 0 139283973 209039360 32863 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 51035 32863 3520 6655 0 31393 0
[pid=108872/tid=108874] ppid=108869 vsize=204140 memory=-7952409967722526584 CPUtime=32.13 cores=5,7
/proc/108872/task/108874/stat : 108874 (LSIPExact) S 108869 108872 108004 0 -1 4194368 23600 0 0 0 3211 2 0 0 20 0 2 0 139284978 209039360 32863 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
Current children cumulated CPU time: 75.75 s
Current children cumulated vsize: 204140 KiB
Current children cumulated memory: 131452 KiB

[startup+43.9002 s]
/proc/loadavg: 4.72 5.00 5.75 6/267 108875
/proc/meminfo: memFree=119923044/131250000 swapFree=33010416/33010684
[pid=108872] ppid=108869 vsize=204140 memory=131452 CPUtime=75.85 cores=5,7
/proc/108872/stat : 108872 (LSIPExact) R 108869 108872 108004 0 -1 4194304 74110 0 0 0 7577 8 0 0 20 0 2 0 139283973 209039360 32863 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
/proc/108872/statm: 51035 32863 3520 6655 0 31393 0
[pid=108872/tid=108874] ppid=108869 vsize=204140 memory=124668 CPUtime=32.13 cores=5,7
/proc/108872/task/108874/stat : 108874 (LSIPExact) S 108869 108872 108004 0 -1 4194368 23600 0 0 0 3211 2 0 0 20 0 2 0 139284978 209039360 32863 18446744073709551615 93867353980928 93867381238097 140727800626944 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 93867389740168 93867390171776 93867422306304 140727800629592 140727800629768 140727800629768 140727800635372 0
Current children cumulated CPU time: 75.85 s
Current children cumulated vsize: 204140 KiB
Current children cumulated memory: 131452 KiB

Child status: 0

Real time (s): 43.9346
CPU time (s): 75.897
CPU user time (s): 75.7982
CPU system time (s): 0.098799
CPU usage (%): 172.75
Max. virtual memory (cumulated for all children) (KiB): 204140
Max. memory (cumulated for all children) (KiB): 131452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.7982
system time used= 0.098799
maximum resident set size= 131580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82760
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= 133
involuntary context switches= 750


# summary of solver processes directly reported to runsolver:
#   pid: 108872
#   total CPU time (s): 75.897
#   total CPU user time (s): 75.7982
#   total CPU system time (s): 0.098799

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.116939 second user time and 0.213182 second system time

The end