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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515113-1751229602/watcher-4515113-1751229602 -o /tmp/evaluation-result-4515113-1751229602/solver-4515113-1751229602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751228868-30844 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=590355815 --ls=360 --inp-dombreaklim=0 HOME/instance-4515113-1751229602.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=31255, runsolver pid=31252

[startup+0.100069 s]*
/proc/loadavg: 4.33 4.07 3.36 5/252 31256
/proc/meminfo: memFree=126831120/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=0.1 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 10 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+0.213063 s]*
/proc/loadavg: 4.33 4.07 3.36 5/252 31256
/proc/meminfo: memFree=126831120/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=0.21 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 21 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+0.312676 s]*
/proc/loadavg: 4.33 4.07 3.36 5/252 31256
/proc/meminfo: memFree=126831120/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=0.31 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 31 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+0.700258 s]
/proc/loadavg: 4.33 4.07 3.36 6/252 31256
/proc/meminfo: memFree=126830236/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=0.69 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 69 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+1.50026 s]
/proc/loadavg: 4.39 4.09 3.37 5/252 31256
/proc/meminfo: memFree=126677016/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=1.48 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 148 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+3.1128 s]
/proc/loadavg: 4.39 4.09 3.37 5/256 31260
/proc/meminfo: memFree=125288344/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=3.09 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 309 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+6.30024 s]
/proc/loadavg: 4.36 4.09 3.37 5/256 31260
/proc/meminfo: memFree=124522328/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=6.27 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 627 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+12.7002 s]
/proc/loadavg: 4.33 4.08 3.38 5/256 31260
/proc/meminfo: memFree=123565120/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=12.66 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 1266 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+25.5003 s]
/proc/loadavg: 4.28 4.08 3.38 5/256 31261
/proc/meminfo: memFree=122430544/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=25.43 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 2543 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+51.1127 s]
/proc/loadavg: 4.23 4.09 3.41 5/256 31262
/proc/meminfo: memFree=119369988/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=50.98 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 5098 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.09 3.45 5/256 31264
/proc/meminfo: memFree=119302824/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=102.04 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 10204 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.08 3.49 5/256 31268
/proc/meminfo: memFree=119279756/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=161.89 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 16189 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.12 3.54 5/256 31270
/proc/meminfo: memFree=119280568/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=221.75 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 22175 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+282.3 s]
/proc/loadavg: 4.61 4.26 3.63 5/255 31272
/proc/meminfo: memFree=119252352/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=281.6 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 28160 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+342.3 s]
/proc/loadavg: 4.34 4.24 3.67 5/250 31274
/proc/meminfo: memFree=119228180/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=33472 memory=9816 CPUtime=341.45 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 1662 0 0 0 34145 0 0 0 20 0 1 0 38639638 34275328 2454 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 8368 2454 1024 1200 0 6848 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 9816 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.21 3.70 5/249 31276
/proc/meminfo: memFree=118749732/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=184820 memory=168744 CPUtime=401.24 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 21428 0 0 0 40100 24 0 0 20 0 1 0 38639638 189255680 42186 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 46205 42186 1248 1200 0 44685 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 184820 KiB
Current children cumulated memory: 168744 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.17 3.72 6/249 31278
/proc/meminfo: memFree=113845440/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=203536 memory=186280 CPUtime=461.01 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 25901 0 0 0 46057 44 0 0 20 0 1 0 38639638 208420864 46570 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 50884 46570 1248 1200 0 49364 0
Current children cumulated CPU time: 461.01 s
Current children cumulated vsize: 203536 KiB
Current children cumulated memory: 186280 KiB

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

# cumulated CPU time of all completed processes:  user=499.641 s, system=0.552974 s

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

[startup+486.4 s]
/proc/loadavg: 4.11 4.17 3.73 5/249 31279
/proc/meminfo: memFree=113984528/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=208192 memory=191144 CPUtime=485.02 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 27171 0 0 0 48452 50 0 0 20 0 1 0 38639638 213188608 47786 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 52048 47786 1248 1200 0 50528 0
Current children cumulated CPU time: 485.02 s
Current children cumulated vsize: 208192 KiB
Current children cumulated memory: 191144 KiB

[startup+492.8 s]
/proc/loadavg: 4.09 4.17 3.73 6/249 31279
/proc/meminfo: memFree=113997096/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=208676 memory=191528 CPUtime=491.39 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 27278 0 0 0 49086 53 0 0 20 0 1 0 38639638 213684224 47882 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 52169 47882 1248 1200 0 50649 0
Current children cumulated CPU time: 491.39 s
Current children cumulated vsize: 208676 KiB
Current children cumulated memory: 191528 KiB

[startup+496 s]*
/proc/loadavg: 4.09 4.17 3.73 6/249 31279
/proc/meminfo: memFree=114012852/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=208988 memory=192040 CPUtime=494.59 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 27381 0 0 0 49405 54 0 0 20 0 1 0 38639638 214003712 48010 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 52247 48010 1248 1200 0 50727 0
Current children cumulated CPU time: 494.59 s
Current children cumulated vsize: 208988 KiB
Current children cumulated memory: 192040 KiB

[startup+499.2 s]
/proc/loadavg: 4.08 4.17 3.74 6/249 31279
/proc/meminfo: memFree=114021172/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=209492 memory=192424 CPUtime=497.76 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 27488 0 0 0 49722 54 0 0 20 0 1 0 38639638 214519808 48106 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 52373 48106 1248 1200 0 50853 0
Current children cumulated CPU time: 497.76 s
Current children cumulated vsize: 209492 KiB
Current children cumulated memory: 192424 KiB

[startup+500.8 s]
/proc/loadavg: 4.08 4.17 3.74 6/249 31279
/proc/meminfo: memFree=114029364/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=209764 memory=192808 CPUtime=499.36 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 27574 0 0 0 49882 54 0 0 20 0 1 0 38639638 214798336 48202 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 52441 48202 1248 1200 0 50921 0
Current children cumulated CPU time: 499.36 s
Current children cumulated vsize: 209764 KiB
Current children cumulated memory: 192808 KiB

[startup+501.2 s]
/proc/loadavg: 4.08 4.17 3.74 6/249 31279
/proc/meminfo: memFree=114033460/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=209764 memory=192808 CPUtime=499.75 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 27593 0 0 0 49921 54 0 0 20 0 1 0 38639638 214798336 48202 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 52441 48202 1248 1200 0 50921 0
Current children cumulated CPU time: 499.75 s
Current children cumulated vsize: 209764 KiB
Current children cumulated memory: 192808 KiB

[startup+501.6 s]
/proc/loadavg: 4.08 4.17 3.74 6/249 31279
/proc/meminfo: memFree=114033460/131382116 swapFree=33010684/33010684
[pid=31255] ppid=31252 vsize=209764 memory=192808 CPUtime=500.15 cores=1,3
/proc/31255/stat : 31255 (Exact) R 31252 31255 30832 0 -1 4194304 27593 0 0 0 49961 54 0 0 20 0 1 0 38639638 214798336 48202 18446744073709551615 4198400 9112445 140728310735872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 36130816 140728310741287 140728310741485 140728310741485 140728310747087 0
/proc/31255/statm: 52441 48202 1248 1200 0 50921 0
Current children cumulated CPU time: 500.15 s
Current children cumulated vsize: 209764 KiB
Current children cumulated memory: 192808 KiB

Child status: 30

Real time (s): 501.63
CPU time (s): 500.194
CPU user time (s): 499.641
CPU system time (s): 0.552974
CPU usage (%): 99.7138
Max. virtual memory (cumulated for all children) (KiB): 209764
Max. memory (cumulated for all children) (KiB): 192808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 499.641
system time used= 0.552974
maximum resident set size= 192936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27595
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= 2687


# summary of solver processes directly reported to runsolver:
#   pid: 31255
#   total CPU time (s): 500.194
#   total CPU user time (s): 499.641
#   total CPU system time (s): 0.552974

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.43074 second user time and 4.61965 second system time

The end