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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499737-1751410620/watcher-4499737-1751410620 -o /tmp/evaluation-result-4499737-1751410620/solver-4499737-1751410620 -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=71029432 --ls=360 --inp-dombreaklim=0 HOME/instance-4499737-1751410620.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=66450, runsolver pid=66447

[startup+0.100067 s]*
/proc/loadavg: 4.15 4.16 4.12 5/265 66451
/proc/meminfo: memFree=126653080/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=48964 memory=25664 CPUtime=0.09 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 5722 0 0 0 8 1 0 0 20 0 1 0 56740772 50139136 6416 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 12241 6416 1024 1200 0 10721 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48964 KiB
Current children cumulated memory: 25664 KiB

[startup+0.205434 s]*
/proc/loadavg: 4.15 4.16 4.12 5/265 66451
/proc/meminfo: memFree=126645268/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=37188 CPUtime=0.2 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7585 0 0 0 19 1 0 0 20 0 1 0 56740772 59297792 9297 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9297 1024 1200 0 12957 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 37188 KiB

[startup+0.305474 s]*
/proc/loadavg: 4.15 4.16 4.12 5/265 66451
/proc/meminfo: memFree=126645268/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=37188 CPUtime=0.3 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7585 0 0 0 29 1 0 0 20 0 1 0 56740772 59297792 9297 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9297 1024 1200 0 12957 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 37188 KiB

[startup+0.700174 s]
/proc/loadavg: 4.15 4.16 4.12 5/265 66451
/proc/meminfo: memFree=126645268/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=37188 CPUtime=0.68 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7586 0 0 0 67 1 0 0 20 0 1 0 56740772 59297792 9297 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9297 1024 1200 0 12957 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 37188 KiB

[startup+1.50017 s]
/proc/loadavg: 4.14 4.16 4.12 5/265 66451
/proc/meminfo: memFree=126645268/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=37188 CPUtime=1.48 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7587 0 0 0 147 1 0 0 20 0 1 0 56740772 59297792 9297 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9297 1024 1200 0 12957 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 37188 KiB

[startup+3.10533 s]
/proc/loadavg: 4.14 4.16 4.12 5/265 66451
/proc/meminfo: memFree=126643272/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=37188 CPUtime=3.08 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7590 0 0 0 307 1 0 0 20 0 1 0 56740772 59297792 9297 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9297 1024 1200 0 12957 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 37188 KiB

[startup+6.30017 s]
/proc/loadavg: 4.13 4.16 4.12 5/265 66451
/proc/meminfo: memFree=126647808/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=37188 CPUtime=6.27 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7593 0 0 0 626 1 0 0 20 0 1 0 56740772 59297792 9297 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9297 1024 1200 0 12957 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 37188 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.15 4.12 5/265 66451
/proc/meminfo: memFree=126647808/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=37188 CPUtime=12.65 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7596 0 0 0 1264 1 0 0 20 0 1 0 56740772 59297792 9297 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9297 1024 1200 0 12957 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 37188 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.15 4.12 5/265 66451
/proc/meminfo: memFree=126639616/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=37188 CPUtime=25.41 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7596 0 0 0 2540 1 0 0 20 0 1 0 56740772 59297792 9297 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9297 1024 1200 0 12957 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 37188 KiB

[startup+51.1053 s]
/proc/loadavg: 4.06 4.13 4.11 5/265 66451
/proc/meminfo: memFree=126571880/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=37188 CPUtime=50.93 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7602 0 0 0 5092 1 0 0 20 0 1 0 56740772 59297792 9297 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9297 1024 1200 0 12957 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 37188 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/265 66543
/proc/meminfo: memFree=126493628/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=38596 CPUtime=101.96 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7615 0 0 0 10195 1 0 0 20 0 1 0 56740772 59297792 9649 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9649 1024 1200 0 12957 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 38596 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/264 66545
/proc/meminfo: memFree=126492016/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=38596 CPUtime=161.78 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7628 0 0 0 16177 1 0 0 20 0 1 0 56740772 59297792 9649 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9649 1024 1200 0 12957 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 38596 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/263 66547
/proc/meminfo: memFree=126467124/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=38596 CPUtime=221.6 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7644 0 0 0 22159 1 0 0 20 0 1 0 56740772 59297792 9649 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9649 1024 1200 0 12957 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 38596 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.11 4.10 5/264 66565
/proc/meminfo: memFree=126456128/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=38596 CPUtime=281.42 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7644 0 0 0 28141 1 0 0 20 0 1 0 56740772 59297792 9649 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9649 1024 1200 0 12957 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 38596 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/264 66567
/proc/meminfo: memFree=126457064/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=38596 CPUtime=341.25 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7657 0 0 0 34124 1 0 0 20 0 1 0 56740772 59297792 9649 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9649 1024 1200 0 12957 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 38596 KiB

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

# cumulated CPU time of all completed processes:  user=391.465 s, system=0.064796 s

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

[startup+358.4 s]
/proc/loadavg: 4.10 4.11 4.10 5/264 66567
/proc/meminfo: memFree=126457316/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=57908 memory=38596 CPUtime=357.3 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 7657 0 0 0 35729 1 0 0 20 0 1 0 56740772 59297792 9649 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 14477 9649 1024 1200 0 12957 0
Current children cumulated CPU time: 357.3 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 38596 KiB

[startup+371.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 66569
/proc/meminfo: memFree=126435316/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=109580 memory=94940 CPUtime=370.06 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 18396 0 0 0 37002 4 0 0 20 0 1 0 56740772 112209920 23735 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 27395 23735 1248 1200 0 25875 0
Current children cumulated CPU time: 370.06 s
Current children cumulated vsize: 109580 KiB
Current children cumulated memory: 94940 KiB

[startup+384 s]*
/proc/loadavg: 4.14 4.12 4.10 5/264 66569
/proc/meminfo: memFree=126430540/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=114756 memory=99804 CPUtime=382.84 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 19632 0 0 0 38278 6 0 0 20 0 1 0 56740772 117510144 24951 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 28689 24951 1248 1200 0 27169 0
Current children cumulated CPU time: 382.84 s
Current children cumulated vsize: 114756 KiB
Current children cumulated memory: 99804 KiB

[startup+387.2 s]
/proc/loadavg: 4.13 4.12 4.10 5/264 66569
/proc/meminfo: memFree=126430792/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=114756 memory=99804 CPUtime=386.03 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 19633 0 0 0 38597 6 0 0 20 0 1 0 56740772 117510144 24951 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 28689 24951 1248 1200 0 27169 0
Current children cumulated CPU time: 386.03 s
Current children cumulated vsize: 114756 KiB
Current children cumulated memory: 99804 KiB

[startup+390.4 s]
/proc/loadavg: 4.13 4.12 4.10 5/264 66569
/proc/meminfo: memFree=126430956/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=114756 memory=99804 CPUtime=389.22 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 19633 0 0 0 38916 6 0 0 20 0 1 0 56740772 117510144 24951 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 28689 24951 1248 1200 0 27169 0
Current children cumulated CPU time: 389.22 s
Current children cumulated vsize: 114756 KiB
Current children cumulated memory: 99804 KiB

[startup+392 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 66569
/proc/meminfo: memFree=126430964/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=114756 memory=99804 CPUtime=390.82 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 19633 0 0 0 39076 6 0 0 20 0 1 0 56740772 117510144 24951 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 28689 24951 1248 1200 0 27169 0
Current children cumulated CPU time: 390.82 s
Current children cumulated vsize: 114756 KiB
Current children cumulated memory: 99804 KiB

[startup+392.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 66569
/proc/meminfo: memFree=126430964/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=114756 memory=99804 CPUtime=391.21 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 19633 0 0 0 39115 6 0 0 20 0 1 0 56740772 117510144 24951 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 28689 24951 1248 1200 0 27169 0
Current children cumulated CPU time: 391.21 s
Current children cumulated vsize: 114756 KiB
Current children cumulated memory: 99804 KiB

[startup+392.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 66569
/proc/meminfo: memFree=126430964/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=114756 memory=99804 CPUtime=391.41 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 19633 0 0 0 39135 6 0 0 20 0 1 0 56740772 117510144 24951 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 28689 24951 1248 1200 0 27169 0
Current children cumulated CPU time: 391.41 s
Current children cumulated vsize: 114756 KiB
Current children cumulated memory: 99804 KiB

[startup+392.7 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 66569
/proc/meminfo: memFree=126430964/131249992 swapFree=33010684/33010684
[pid=66450] ppid=66447 vsize=114404 memory=99572 CPUtime=391.51 cores=0,2
/proc/66450/stat : 66450 (Exact) R 66447 66450 65074 0 -1 4194304 19635 0 0 0 39145 6 0 0 20 0 1 0 56740772 117149696 24893 18446744073709551615 4198400 9112445 140726312833328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16629760 140726312835368 140726312835565 140726312835565 140726312841167 0
/proc/66450/statm: 28601 24893 1248 1200 0 27081 0
Current children cumulated CPU time: 391.51 s
Current children cumulated vsize: 114404 KiB
Current children cumulated memory: 99572 KiB

Child status: 30

Real time (s): 392.71
CPU time (s): 391.53
CPU user time (s): 391.465
CPU system time (s): 0.064796
CPU usage (%): 99.6995
Max. virtual memory (cumulated for all children) (KiB): 114756
Max. memory (cumulated for all children) (KiB): 99804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 391.465
system time used= 0.064796
maximum resident set size= 99804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19636
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= 12
involuntary context switches= 512


# summary of solver processes directly reported to runsolver:
#   pid: 66450
#   total CPU time (s): 391.53
#   total CPU user time (s): 391.465
#   total CPU system time (s): 0.064796

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.752379 second user time and 1.6879 second system time

The end