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: 63708 MiB (61875 MiB free)
  memory of node 1: 64465 MiB (62530 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483657-1751586823/watcher-4483657-1751586823 -o /tmp/evaluation-result-4483657-1751586823/solver-4483657-1751586823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751579235-81449 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1079055657 --ls=360 HOME/instance-4483657-1751586823.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=82540, runsolver pid=82537

[startup+0.100063 s]*
/proc/loadavg: 4.10 4.09 4.09 5/263 82541
/proc/meminfo: memFree=127388856/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=0.1 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 947 0 0 0 10 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+0.205582 s]*
/proc/loadavg: 4.10 4.09 4.09 5/263 82541
/proc/meminfo: memFree=127388856/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=0.2 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 947 0 0 0 20 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+0.305506 s]*
/proc/loadavg: 4.10 4.09 4.09 5/263 82541
/proc/meminfo: memFree=127388856/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=0.3 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 947 0 0 0 30 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+0.70016 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 82541
/proc/meminfo: memFree=127387848/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=0.69 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 947 0 0 0 69 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+1.50013 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 82541
/proc/meminfo: memFree=127307008/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=1.49 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 947 0 0 0 149 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+3.10539 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 82541
/proc/meminfo: memFree=126759848/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=3.09 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 947 0 0 0 309 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+6.30015 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 82541
/proc/meminfo: memFree=126725648/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=6.28 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 947 0 0 0 628 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 82541
/proc/meminfo: memFree=126518664/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=12.66 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 947 0 0 0 1266 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+25.5001 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 82541
/proc/meminfo: memFree=126320332/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=25.43 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 947 0 0 0 2543 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+51.1054 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 82542
/proc/meminfo: memFree=126127148/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=50.97 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 947 0 0 0 5097 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 82544
/proc/meminfo: memFree=125390504/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=102.04 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 948 0 0 0 10204 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 82546
/proc/meminfo: memFree=125019172/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=161.9 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 948 0 0 0 16190 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+222.3 s]
/proc/loadavg: 4.46 4.18 4.12 5/263 82548
/proc/meminfo: memFree=124914088/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=221.76 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 948 0 0 0 22176 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+282.3 s]
/proc/loadavg: 4.36 4.22 4.14 5/264 82553
/proc/meminfo: memFree=124739444/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=281.61 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 948 0 0 0 28161 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 4.21 4.14 5/264 82559
/proc/meminfo: memFree=124692680/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=341.46 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 948 0 0 0 34146 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+398.981 s]
# the end of solver process 82540 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=397.821 s, system=0.178497 s

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

[startup+358.4 s]
/proc/loadavg: 4.17 4.20 4.14 5/264 82560
/proc/meminfo: memFree=124686360/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=30712 memory=7296 CPUtime=357.52 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 948 0 0 0 35752 0 0 0 20 0 1 0 74358921 31449088 1824 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 357.52 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+384 s]*
/proc/loadavg: 4.18 4.20 4.14 5/264 82562
/proc/meminfo: memFree=124566436/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=146620 memory=117712 CPUtime=383.05 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 19952 0 0 0 38295 10 0 0 20 0 1 0 74358921 150138880 29428 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 36655 29428 1248 1200 0 35135 0
Current children cumulated CPU time: 383.05 s
Current children cumulated vsize: 146620 KiB
Current children cumulated memory: 117712 KiB

[startup+390.4 s]
/proc/loadavg: 4.15 4.19 4.13 5/264 82562
/proc/meminfo: memFree=124545276/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=146772 memory=117968 CPUtime=389.43 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 20000 0 0 0 38931 12 0 0 20 0 1 0 74358921 150294528 29492 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 36693 29492 1248 1200 0 35173 0
Current children cumulated CPU time: 389.43 s
Current children cumulated vsize: 146772 KiB
Current children cumulated memory: 117968 KiB

[startup+393.6 s]
/proc/loadavg: 4.15 4.19 4.13 5/264 82562
/proc/meminfo: memFree=124504316/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=150804 memory=120656 CPUtime=392.62 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 20695 0 0 0 39248 14 0 0 20 0 1 0 74358921 154423296 30164 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 37701 30164 1248 1200 0 36181 0
Current children cumulated CPU time: 392.62 s
Current children cumulated vsize: 150804 KiB
Current children cumulated memory: 120656 KiB

[startup+396.8 s]
/proc/loadavg: 4.14 4.18 4.13 5/264 82562
/proc/meminfo: memFree=124451356/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=166916 memory=140708 CPUtime=395.82 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 24162 0 0 0 39566 16 0 0 20 0 1 0 74358921 170921984 35177 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 41729 35177 1248 1200 0 40209 0
Current children cumulated CPU time: 395.82 s
Current children cumulated vsize: 166916 KiB
Current children cumulated memory: 140708 KiB

[startup+397.6 s]
/proc/loadavg: 4.14 4.18 4.13 6/264 82562
/proc/meminfo: memFree=124438764/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=166916 memory=140708 CPUtime=396.61 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 24163 0 0 0 39645 16 0 0 20 0 1 0 74358921 170921984 35177 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 41729 35177 1248 1200 0 40209 0
Current children cumulated CPU time: 396.61 s
Current children cumulated vsize: 166916 KiB
Current children cumulated memory: 140708 KiB

[startup+398.4 s]
/proc/loadavg: 4.14 4.18 4.13 5/264 82562
/proc/meminfo: memFree=124430340/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=166916 memory=140708 CPUtime=397.41 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 24164 0 0 0 39724 17 0 0 20 0 1 0 74358921 170921984 35177 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 41729 35177 1248 1200 0 40209 0
Current children cumulated CPU time: 397.41 s
Current children cumulated vsize: 166916 KiB
Current children cumulated memory: 140708 KiB

[startup+398.8 s]
/proc/loadavg: 4.14 4.18 4.13 5/264 82562
/proc/meminfo: memFree=124430340/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=166916 memory=140708 CPUtime=397.81 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 24164 0 0 0 39764 17 0 0 20 0 1 0 74358921 170921984 35177 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 41729 35177 1248 1200 0 40209 0
Current children cumulated CPU time: 397.81 s
Current children cumulated vsize: 166916 KiB
Current children cumulated memory: 140708 KiB

[startup+398.9 s]
/proc/loadavg: 4.14 4.18 4.13 5/264 82562
/proc/meminfo: memFree=124430340/131250000 swapFree=33008356/33010684
[pid=82540] ppid=82537 vsize=166916 memory=140708 CPUtime=397.91 cores=1,3
/proc/82540/stat : 82540 (Exact) R 82537 82540 81437 0 -1 4194304 24164 0 0 0 39774 17 0 0 20 0 1 0 74358921 170921984 35177 18446744073709551615 4198400 9112445 140730432924592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17682432 140730432932154 140730432932333 140730432932333 140730432937935 0
/proc/82540/statm: 41729 35177 1248 1200 0 40209 0
Current children cumulated CPU time: 397.91 s
Current children cumulated vsize: 166916 KiB
Current children cumulated memory: 140708 KiB

Child status: 30

Real time (s): 398.981
CPU time (s): 397.999
CPU user time (s): 397.821
CPU system time (s): 0.178497
CPU usage (%): 99.7539
Max. virtual memory (cumulated for all children) (KiB): 166916
Max. memory (cumulated for all children) (KiB): 140708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 397.821
system time used= 0.178497
maximum resident set size= 140836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24166
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= 2
involuntary context switches= 552


# summary of solver processes directly reported to runsolver:
#   pid: 82540
#   total CPU time (s): 397.999
#   total CPU user time (s): 397.821
#   total CPU system time (s): 0.178497

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.732145 second user time and 1.72477 second system time

The end