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: 63794 MiB (62066 MiB free)
  memory of node 1: 64507 MiB (63091 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482195-1751151646/watcher-4482195-1751151646 -o /tmp/evaluation-result-4482195-1751151646/solver-4482195-1751151646 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751146546-15376 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1213972536 --ls=360 HOME/instance-4482195-1751151646.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=16664, runsolver pid=16661

[startup+0.10007 s]*
/proc/loadavg: 4.11 4.11 4.14 5/251 16665
/proc/meminfo: memFree=128162332/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=36488 memory=13712 CPUtime=0.1 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 2956 0 0 0 10 0 0 0 20 0 1 0 30843969 37363712 3428 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 9122 3428 1024 1200 0 7602 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36488 KiB
Current children cumulated memory: 13712 KiB

[startup+0.213569 s]*
/proc/loadavg: 4.11 4.11 4.14 5/251 16665
/proc/meminfo: memFree=128153832/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=49932 memory=28884 CPUtime=0.21 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 5524 0 0 0 20 1 0 0 20 0 1 0 30843969 51130368 7221 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 12483 7221 1024 1200 0 10963 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49932 KiB
Current children cumulated memory: 28884 KiB

[startup+0.313222 s]*
/proc/loadavg: 4.11 4.11 4.14 5/251 16665
/proc/meminfo: memFree=128133860/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=68336 memory=44332 CPUtime=0.31 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 8619 0 0 0 29 2 0 0 20 0 1 0 30843969 69976064 11083 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 17084 11083 1024 1200 0 15564 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 68336 KiB
Current children cumulated memory: 44332 KiB

[startup+0.700313 s]
/proc/loadavg: 4.11 4.11 4.14 5/251 16665
/proc/meminfo: memFree=128130080/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=108140 memory=85948 CPUtime=0.69 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 15476 0 0 0 65 4 0 0 20 0 1 0 30843969 110735360 21487 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 27035 21487 1024 1200 0 25515 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 108140 KiB
Current children cumulated memory: 85948 KiB

[startup+1.50029 s]
/proc/loadavg: 4.11 4.11 4.14 5/251 16665
/proc/meminfo: memFree=128012636/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=208692 memory=182748 CPUtime=1.48 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 31784 0 0 0 140 8 0 0 20 0 1 0 30843969 213700608 45687 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 52173 45687 1024 1200 0 50653 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 208692 KiB
Current children cumulated memory: 182748 KiB

[startup+3.11318 s]
/proc/loadavg: 4.10 4.11 4.14 5/251 16665
/proc/meminfo: memFree=127802076/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=421996 memory=388868 CPUtime=3.09 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 64847 0 0 0 292 17 0 0 20 0 1 0 30843969 432123904 97217 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 105499 97217 1024 1200 0 103979 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 421996 KiB
Current children cumulated memory: 388868 KiB

[startup+6.30028 s]
/proc/loadavg: 4.10 4.11 4.14 5/251 16665
/proc/meminfo: memFree=127706700/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=533188 memory=481376 CPUtime=6.27 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 78367 0 0 0 606 21 0 0 20 0 1 0 30843969 545984512 120344 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 133297 120344 1024 1200 0 131777 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 481376 KiB

[startup+12.7006 s]
/proc/loadavg: 4.09 4.11 4.14 5/246 16700
/proc/meminfo: memFree=128762280/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=533188 memory=481376 CPUtime=12.65 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 78434 0 0 0 1244 21 0 0 20 0 1 0 30843969 545984512 120344 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 133297 120344 1024 1200 0 131777 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 481376 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.10 4.13 5/251 16726
/proc/meminfo: memFree=127406764/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=533188 memory=481376 CPUtime=25.41 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 78487 0 0 0 2520 21 0 0 20 0 1 0 30843969 545984512 120344 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 133297 120344 1024 1200 0 131777 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 481376 KiB

[startup+51.1133 s]
/proc/loadavg: 4.10 4.11 4.14 5/250 16726
/proc/meminfo: memFree=127446196/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=533188 memory=481376 CPUtime=50.92 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 78568 0 0 0 5071 21 0 0 20 0 1 0 30843969 545984512 120344 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 133297 120344 1024 1200 0 131777 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 481376 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.13 5/253 16733
/proc/meminfo: memFree=127435268/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=533188 memory=481376 CPUtime=101.9 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 78702 0 0 0 10169 21 0 0 20 0 1 0 30843969 545984512 120344 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 133297 120344 1024 1200 0 131777 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 481376 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.12 4.13 5/253 16735
/proc/meminfo: memFree=127430800/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=533188 memory=481376 CPUtime=161.67 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 78769 0 0 0 16146 21 0 0 20 0 1 0 30843969 545984512 120344 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 133297 120344 1024 1200 0 131777 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 481376 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/253 16737
/proc/meminfo: memFree=127390920/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=533188 memory=481376 CPUtime=221.43 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 78836 0 0 0 22122 21 0 0 20 0 1 0 30843969 545984512 120344 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 133297 120344 1024 1200 0 131777 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 481376 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/252 16739
/proc/meminfo: memFree=127392684/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=533188 memory=481376 CPUtime=281.19 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 78836 0 0 0 28098 21 0 0 20 0 1 0 30843969 545984512 120344 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 133297 120344 1024 1200 0 131777 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 481376 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/253 16742
/proc/meminfo: memFree=126709848/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=533188 memory=481376 CPUtime=340.95 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 78903 0 0 0 34074 21 0 0 20 0 1 0 30843969 545984512 120344 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 133297 120344 1024 1200 0 131777 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 481376 KiB

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

# cumulated CPU time of all completed processes:  user=391.141 s, system=0.477498 s

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

[startup+358.4 s]
/proc/loadavg: 4.07 4.09 4.11 5/253 16787
/proc/meminfo: memFree=127887680/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=533188 memory=481376 CPUtime=356.99 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 78903 0 0 0 35678 21 0 0 20 0 1 0 30843969 545984512 120344 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 133297 120344 1024 1200 0 131777 0
Current children cumulated CPU time: 356.99 s
Current children cumulated vsize: 533188 KiB
Current children cumulated memory: 481376 KiB

[startup+371.2 s]
/proc/loadavg: 4.14 4.10 4.11 5/253 16787
/proc/meminfo: memFree=126998572/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=1153768 memory=1092232 CPUtime=369.73 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 110935 0 0 0 36930 43 0 0 20 0 1 0 30843969 1181458432 273058 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 288442 273058 1184 1200 0 286922 0
Current children cumulated CPU time: 369.73 s
Current children cumulated vsize: 1153768 KiB
Current children cumulated memory: 1092232 KiB

[startup+384 s]*
/proc/loadavg: 4.10 4.10 4.11 5/253 16787
/proc/meminfo: memFree=125858108/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=1162024 memory=1100676 CPUtime=382.5 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 111499 0 0 0 38205 45 0 0 20 0 1 0 30843969 1189912576 275169 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 290506 275169 1184 1200 0 288986 0
Current children cumulated CPU time: 382.5 s
Current children cumulated vsize: 1162024 KiB
Current children cumulated memory: 1100676 KiB

[startup+387.2 s]
/proc/loadavg: 4.10 4.10 4.11 5/253 16787
/proc/meminfo: memFree=125461304/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=1162024 memory=1100676 CPUtime=385.68 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 111529 0 0 0 38523 45 0 0 20 0 1 0 30843969 1189912576 275169 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 290506 275169 1184 1200 0 288986 0
Current children cumulated CPU time: 385.68 s
Current children cumulated vsize: 1162024 KiB
Current children cumulated memory: 1100676 KiB

[startup+390.4 s]
/proc/loadavg: 4.10 4.10 4.11 5/253 16787
/proc/meminfo: memFree=125502944/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=1162024 memory=1100676 CPUtime=388.86 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 111529 0 0 0 38841 45 0 0 20 0 1 0 30843969 1189912576 275169 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 290506 275169 1184 1200 0 288986 0
Current children cumulated CPU time: 388.86 s
Current children cumulated vsize: 1162024 KiB
Current children cumulated memory: 1100676 KiB

[startup+392 s]*
/proc/loadavg: 4.10 4.10 4.11 5/253 16788
/proc/meminfo: memFree=125520124/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=1162024 memory=1100676 CPUtime=390.47 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 111529 0 0 0 39002 45 0 0 20 0 1 0 30843969 1189912576 275169 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 290506 275169 1184 1200 0 288986 0
Current children cumulated CPU time: 390.47 s
Current children cumulated vsize: 1162024 KiB
Current children cumulated memory: 1100676 KiB

[startup+392.8 s]
/proc/loadavg: 4.10 4.10 4.11 5/253 16788
/proc/meminfo: memFree=125520124/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=1162024 memory=1100676 CPUtime=391.25 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 111529 0 0 0 39080 45 0 0 20 0 1 0 30843969 1189912576 275169 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 290506 275169 1184 1200 0 288986 0
Current children cumulated CPU time: 391.25 s
Current children cumulated vsize: 1162024 KiB
Current children cumulated memory: 1100676 KiB

[startup+393 s]*
/proc/loadavg: 4.09 4.09 4.11 5/253 16788
/proc/meminfo: memFree=125528568/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=1176492 memory=1116188 CPUtime=391.47 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 112841 0 0 0 39101 46 0 0 20 0 1 0 30843969 1204727808 279047 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 294123 279047 1184 1200 0 292603 0
Current children cumulated CPU time: 391.47 s
Current children cumulated vsize: 1176492 KiB
Current children cumulated memory: 1116188 KiB

[startup+393.113 s]
/proc/loadavg: 4.09 4.09 4.11 5/253 16788
/proc/meminfo: memFree=125528568/131382120 swapFree=33010684/33010684
[pid=16664] ppid=16661 vsize=1145548 memory=1085512 CPUtime=391.57 cores=0,2
/proc/16664/stat : 16664 (Exact) R 16661 16664 15366 0 -1 4194304 112871 0 0 0 39111 46 0 0 20 0 1 0 30843969 1173041152 271378 18446744073709551615 4198400 9112445 140729905175664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47513600 140729905178938 140729905179117 140729905179117 140729905184719 0
/proc/16664/statm: 286387 271378 1248 1200 0 284867 0
Current children cumulated CPU time: 391.57 s
Current children cumulated vsize: 1145548 KiB
Current children cumulated memory: 1085512 KiB

Child status: 30

Real time (s): 393.153
CPU time (s): 391.618
CPU user time (s): 391.141
CPU system time (s): 0.477498
CPU usage (%): 99.6097
Max. virtual memory (cumulated for all children) (KiB): 1280948
Max. memory (cumulated for all children) (KiB): 1227512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 391.141
system time used= 0.477498
maximum resident set size= 1242688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112872
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= 15
involuntary context switches= 990


# summary of solver processes directly reported to runsolver:
#   pid: 16664
#   total CPU time (s): 391.618
#   total CPU user time (s): 391.141
#   total CPU system time (s): 0.477498

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.96442 second user time and 4.0126 second system time

The end