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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499369-1751409252/watcher-4499369-1751409252 -o /tmp/evaluation-result-4499369-1751409252/solver-4499369-1751409252 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751402241-65084 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1401549567 --ls=360 --inp-dombreaklim=0 HOME/instance-4499369-1751409252.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
solver pid=66025, runsolver pid=66022
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.13 4.13 4.09 5/264 66026
/proc/meminfo: memFree=94897376/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=0.09 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4326 0 0 0 9 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+0.205469 s]*
/proc/loadavg: 4.13 4.13 4.09 5/264 66026
/proc/meminfo: memFree=94897376/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=0.2 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4326 0 0 0 20 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+0.305495 s]*
/proc/loadavg: 4.13 4.13 4.09 5/264 66026
/proc/meminfo: memFree=94897376/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=0.3 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4326 0 0 0 30 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+0.70018 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 66026
/proc/meminfo: memFree=94897376/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=0.69 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4326 0 0 0 69 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 66026
/proc/meminfo: memFree=94897128/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=1.48 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4327 0 0 0 148 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+3.1053 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 66026
/proc/meminfo: memFree=94897160/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=3.08 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4328 0 0 0 308 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 66026
/proc/meminfo: memFree=94884872/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=6.27 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4329 0 0 0 627 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 66026
/proc/meminfo: memFree=94683688/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=12.65 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4330 0 0 0 1265 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 66027
/proc/meminfo: memFree=94303264/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=25.42 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4330 0 0 0 2542 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+51.1053 s]
/proc/loadavg: 4.11 4.13 4.09 5/265 66028
/proc/meminfo: memFree=93648292/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=50.95 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4332 0 0 0 5095 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/267 66036
/proc/meminfo: memFree=92820812/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=102 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4333 0 0 0 10200 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/267 66038
/proc/meminfo: memFree=92269500/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=161.83 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4334 0 0 0 16183 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/267 66040
/proc/meminfo: memFree=91901800/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=221.66 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4336 0 0 0 22166 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/267 66086
/proc/meminfo: memFree=121028512/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=281.49 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4336 0 0 0 28149 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 66088
/proc/meminfo: memFree=121015152/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=341.32 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4337 0 0 0 34132 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

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

# cumulated CPU time of all completed processes:  user=386.86 s, system=0.043834 s

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

[startup+358.4 s]
/proc/loadavg: 4.15 4.13 4.10 5/267 66089
/proc/meminfo: memFree=121013332/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=43572 memory=21612 CPUtime=357.37 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 4337 0 0 0 35737 0 0 0 20 0 1 0 56603995 44617728 5403 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 10893 5403 1024 1200 0 9373 0
Current children cumulated CPU time: 357.37 s
Current children cumulated vsize: 43572 KiB
Current children cumulated memory: 21612 KiB

[startup+371.2 s]
/proc/loadavg: 4.20 4.14 4.10 5/265 66089
/proc/meminfo: memFree=120975816/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=74156 memory=57196 CPUtime=370.14 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 11513 0 0 0 37011 3 0 0 20 0 1 0 56603995 75935744 14299 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 18539 14299 1280 1200 0 17019 0
Current children cumulated CPU time: 370.14 s
Current children cumulated vsize: 74156 KiB
Current children cumulated memory: 57196 KiB

[startup+377.6 s]
/proc/loadavg: 4.18 4.14 4.10 5/265 66089
/proc/meminfo: memFree=120973596/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=74992 memory=57964 CPUtime=376.52 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 11722 0 0 0 37649 3 0 0 20 0 1 0 56603995 76791808 14491 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 18748 14491 1280 1200 0 17228 0
Current children cumulated CPU time: 376.52 s
Current children cumulated vsize: 74992 KiB
Current children cumulated memory: 57964 KiB

[startup+384 s]*
/proc/loadavg: 4.15 4.14 4.10 5/264 66089
/proc/meminfo: memFree=120969564/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=75512 memory=58476 CPUtime=382.9 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 11852 0 0 0 38287 3 0 0 20 0 1 0 56603995 77324288 14619 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 18878 14619 1280 1200 0 17358 0
Current children cumulated CPU time: 382.9 s
Current children cumulated vsize: 75512 KiB
Current children cumulated memory: 58476 KiB

[startup+385.6 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 66090
/proc/meminfo: memFree=120969564/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=75676 memory=58604 CPUtime=384.49 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 11893 0 0 0 38446 3 0 0 20 0 1 0 56603995 77492224 14651 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 18919 14651 1280 1200 0 17399 0
Current children cumulated CPU time: 384.49 s
Current children cumulated vsize: 75676 KiB
Current children cumulated memory: 58604 KiB

[startup+387.2 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 66090
/proc/meminfo: memFree=120971004/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=75676 memory=58732 CPUtime=386.09 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 11917 0 0 0 38606 3 0 0 20 0 1 0 56603995 77492224 14683 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 18919 14683 1280 1200 0 17399 0
Current children cumulated CPU time: 386.09 s
Current children cumulated vsize: 75676 KiB
Current children cumulated memory: 58732 KiB

[startup+387.6 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 66090
/proc/meminfo: memFree=120971004/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=75676 memory=58732 CPUtime=386.49 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 11917 0 0 0 38645 4 0 0 20 0 1 0 56603995 77492224 14683 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 18919 14683 1280 1200 0 17399 0
Current children cumulated CPU time: 386.49 s
Current children cumulated vsize: 75676 KiB
Current children cumulated memory: 58732 KiB

[startup+387.8 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 66090
/proc/meminfo: memFree=120971004/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=75676 memory=58732 CPUtime=386.69 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 11917 0 0 0 38665 4 0 0 20 0 1 0 56603995 77492224 14683 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 18919 14683 1280 1200 0 17399 0
Current children cumulated CPU time: 386.69 s
Current children cumulated vsize: 75676 KiB
Current children cumulated memory: 58732 KiB

[startup+387.9 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 66090
/proc/meminfo: memFree=120971004/131249992 swapFree=33010684/33010684
[pid=66025] ppid=66022 vsize=75676 memory=58732 CPUtime=386.79 cores=0,2
/proc/66025/stat : 66025 (Exact) R 66022 66025 65074 0 -1 4194304 11917 0 0 0 38675 4 0 0 20 0 1 0 56603995 77492224 14683 18446744073709551615 4198400 9112445 140730084414128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15507456 140730084415782 140730084415981 140730084415981 140730084421583 0
/proc/66025/statm: 18919 14683 1280 1200 0 17399 0
Current children cumulated CPU time: 386.79 s
Current children cumulated vsize: 75676 KiB
Current children cumulated memory: 58732 KiB

Child status: 30

Real time (s): 388.003
CPU time (s): 386.903
CPU user time (s): 386.86
CPU system time (s): 0.043834
CPU usage (%): 99.7165
Max. virtual memory (cumulated for all children) (KiB): 75676
Max. memory (cumulated for all children) (KiB): 58732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 386.86
system time used= 0.043834
maximum resident set size= 58732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11919
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= 498


# summary of solver processes directly reported to runsolver:
#   pid: 66025
#   total CPU time (s): 386.903
#   total CPU user time (s): 386.86
#   total CPU system time (s): 0.043834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.761096 second user time and 1.65719 second system time

The end