runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4261578-1502349338/watcher-4261578-1502349338 -o /tmp/evaluation-result-4261578-1502349338/solver-4261578-1502349338 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31365 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 726761331 HOME/instance-4261578-1502349338.xml
pid=2045
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.01 2.04 2/190 2048
/proc/meminfo: memFree=30788972/32770624 swapFree=0/437968
[pid=2048] ppid=2045 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/2048/stat : 2048 (runsolver) D 2045 2048 9153 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 76844938 24240128 108 18446744073709551615 4194304 4338465 140721470320560 140721470318200 140646229811927 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 22990848 140721470324875 140721470325321 140721470325321 140721470328778 0
/proc/2048/statm: 5918 108 54 36 0 2156 0
[startup+0.100086 s]
/proc/loadavg: 1.98 2.01 2.04 2/190 2048
/proc/meminfo: memFree=30788972/32770624 swapFree=0/437968
[pid=2048] ppid=2045 vsize=29536 CPUtime=0.02 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 1170 0 0 0 2 0 0 0 20 0 1 0 76844938 30244864 1000 18446744073709551615 4194304 7396336 140730406689696 140730406686696 5936886 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 7384 1000 635 782 0 400 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29536
[startup+0.200216 s]
/proc/loadavg: 1.98 2.01 2.04 2/190 2048
/proc/meminfo: memFree=30788972/32770624 swapFree=0/437968
[pid=2048] ppid=2045 vsize=33000 CPUtime=0.12 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 2039 0 0 0 12 0 0 0 20 0 1 0 76844938 33792000 1858 18446744073709551615 4194304 7396336 140730406689696 140730406686696 5882050 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 8250 1858 637 782 0 1266 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 33000
[startup+0.300215 s]
/proc/loadavg: 1.98 2.01 2.04 2/190 2048
/proc/meminfo: memFree=30788972/32770624 swapFree=0/437968
[pid=2048] ppid=2045 vsize=36324 CPUtime=0.22 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 2838 0 0 0 22 0 0 0 20 0 1 0 76844938 37195776 2650 18446744073709551615 4194304 7396336 140730406689696 140730406686696 5882740 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 9081 2650 637 782 0 2097 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 36324
[startup+0.70018 s]
/proc/loadavg: 1.98 2.01 2.04 2/190 2048
/proc/meminfo: memFree=30788972/32770624 swapFree=0/437968
[pid=2048] ppid=2045 vsize=49640 CPUtime=0.62 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 6199 0 0 0 62 0 0 0 20 0 1 0 76844938 50831360 6016 18446744073709551615 4194304 7396336 140730406689696 140730406682936 139877433470520 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12410 6016 637 782 0 5426 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 49640
[startup+1.50028 s]
/proc/loadavg: 1.98 2.01 2.04 3/191 2049
/proc/meminfo: memFree=30737336/32770624 swapFree=0/437852
[pid=2048] ppid=2045 vsize=49796 CPUtime=1.43 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 6270 0 0 0 142 1 0 0 20 0 1 0 76844938 50991104 6082 18446744073709551615 4194304 7396336 140730406689696 140730406684232 5792030 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12449 6082 662 782 0 5465 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 49796
[startup+3.10021 s]
/proc/loadavg: 1.98 2.01 2.04 3/191 2049
/proc/meminfo: memFree=30701476/32770624 swapFree=0/437848
[pid=2048] ppid=2045 vsize=49796 CPUtime=3.02 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 9722 0 0 0 301 1 0 0 20 0 1 0 76844938 50991104 6112 18446744073709551615 4194304 7396336 140730406689696 140730406684232 5792030 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12449 6112 666 782 0 5465 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 49796
[startup+6.3002 s]
/proc/loadavg: 1.98 2.01 2.04 3/191 2050
/proc/meminfo: memFree=30664312/32770624 swapFree=0/437980
[pid=2048] ppid=2045 vsize=49796 CPUtime=6.22 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 13186 0 0 0 621 1 0 0 20 0 1 0 76844938 50991104 6112 18446744073709551615 4194304 7396336 140730406689696 140730406684232 5839008 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12449 6112 666 782 0 5465 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 49796
[startup+12.7002 s]
/proc/loadavg: 1.98 2.01 2.04 3/191 2050
/proc/meminfo: memFree=30556632/32770624 swapFree=0/437980
[pid=2048] ppid=2045 vsize=49796 CPUtime=12.62 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 16688 0 0 0 1261 1 0 0 20 0 1 0 76844938 50991104 6112 18446744073709551615 4194304 7396336 140730406689696 140730406684232 5792030 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12449 6112 666 782 0 5465 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 49796
[startup+25.5004 s]
/proc/loadavg: 1.91 2.00 2.04 3/191 2050
/proc/meminfo: memFree=30556816/32770624 swapFree=0/437984
[pid=2048] ppid=2045 vsize=49928 CPUtime=25.41 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 23726 0 0 0 2540 1 0 0 20 0 1 0 76844938 51126272 6149 18446744073709551615 4194304 7396336 140730406689696 140730406684232 4543867 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12482 6149 666 782 0 5498 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 49928
[startup+51.1004 s]
/proc/loadavg: 1.94 2.00 2.04 3/191 2050
/proc/meminfo: memFree=30556792/32770624 swapFree=0/437980
[pid=2048] ppid=2045 vsize=50060 CPUtime=51.01 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 27277 0 0 0 5100 1 0 0 20 0 1 0 76844938 51261440 6162 18446744073709551615 4194304 7396336 140730406689696 140730406684232 4253040 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6162 666 782 0 5531 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 50060
[startup+102.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/188 2052
/proc/meminfo: memFree=30559656/32770624 swapFree=0/437992
[pid=2048] ppid=2045 vsize=50060 CPUtime=102.23 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 30846 0 0 0 10221 2 0 0 20 0 1 0 76844938 51261440 6180 18446744073709551615 4194304 7396336 140730406689696 140730406684232 5792030 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6180 666 782 0 5531 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 50060
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 2054
/proc/meminfo: memFree=30560280/32770624 swapFree=0/437996
[pid=2048] ppid=2045 vsize=50060 CPUtime=162.22 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 34404 0 0 0 16220 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 4252992 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 50060
[startup+222.306 s]
/proc/loadavg: 2.11 2.03 2.05 3/186 2057
/proc/meminfo: memFree=30559984/32770624 swapFree=0/438008
[pid=2048] ppid=2045 vsize=50060 CPUtime=222.23 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 37952 0 0 0 22221 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 4252880 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 50060
[startup+282.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/185 2059
/proc/meminfo: memFree=30560288/32770624 swapFree=0/438032
[pid=2048] ppid=2045 vsize=50060 CPUtime=282.23 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 41500 0 0 0 28221 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 5792083 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 50060
[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 2061
/proc/meminfo: memFree=30560016/32770624 swapFree=0/438036
[pid=2048] ppid=2045 vsize=50060 CPUtime=342.23 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 45048 0 0 0 34221 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 5792043 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 50060
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 2064
/proc/meminfo: memFree=30558336/32770624 swapFree=0/438060
[pid=2048] ppid=2045 vsize=50060 CPUtime=402.22 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 48584 0 0 0 40220 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 5792030 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 50060
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 2066
/proc/meminfo: memFree=30558832/32770624 swapFree=0/438056
[pid=2048] ppid=2045 vsize=50060 CPUtime=462.22 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 48818 0 0 0 46220 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 4253003 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 50060
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2048 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+473.6 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 2066
/proc/meminfo: memFree=30558832/32770624 swapFree=0/438064
[pid=2048] ppid=2045 vsize=50060 CPUtime=473.52 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 48818 0 0 0 47350 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 5792030 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 473.52
Current children cumulated vsize (KiB) 50060
[startup+480 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 2066
/proc/meminfo: memFree=30558832/32770624 swapFree=0/438064
[pid=2048] ppid=2045 vsize=50060 CPUtime=479.92 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 49043 0 0 0 47990 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 4253040 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 479.92
Current children cumulated vsize (KiB) 50060
[startup+483.2 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 2067
/proc/meminfo: memFree=30559080/32770624 swapFree=0/438080
[pid=2048] ppid=2045 vsize=50060 CPUtime=483.12 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 49043 0 0 0 48310 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 4253024 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 483.12
Current children cumulated vsize (KiB) 50060
[startup+484.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 2067
/proc/meminfo: memFree=30559096/32770624 swapFree=0/438080
[pid=2048] ppid=2045 vsize=50060 CPUtime=484.72 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 49043 0 0 0 48470 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 5792030 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 484.72
Current children cumulated vsize (KiB) 50060
[startup+486.4 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 2068
/proc/meminfo: memFree=30559096/32770624 swapFree=0/438080
[pid=2048] ppid=2045 vsize=50060 CPUtime=486.32 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 49043 0 0 0 48630 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 5792043 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 486.32
Current children cumulated vsize (KiB) 50060
[startup+486.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 2068
/proc/meminfo: memFree=30559096/32770624 swapFree=0/438080
[pid=2048] ppid=2045 vsize=50060 CPUtime=486.72 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 49043 0 0 0 48670 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 4252992 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 486.72
Current children cumulated vsize (KiB) 50060
[startup+487 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 2068
/proc/meminfo: memFree=30559096/32770624 swapFree=0/438080
[pid=2048] ppid=2045 vsize=50060 CPUtime=486.92 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 49043 0 0 0 48690 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 4252992 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 486.92
Current children cumulated vsize (KiB) 50060
[startup+487.1 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 2068
/proc/meminfo: memFree=30559096/32770624 swapFree=0/438080
[pid=2048] ppid=2045 vsize=50060 CPUtime=487.02 cores=0,2,4,6
/proc/2048/stat : 2048 (MistralXCSP) R 2045 2048 9153 0 -1 4202496 49043 0 0 0 48700 2 0 0 20 0 1 0 76844938 51261440 6188 18446744073709551615 4194304 7396336 140730406689696 140730406684232 4406356 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 24195072 140730406695347 140730406695496 140730406695496 140730406698953 0
/proc/2048/statm: 12515 6188 666 782 0 5531 0
Current children cumulated CPU time (s) 487.02
Current children cumulated vsize (KiB) 50060
Child status: 0
Real time (s): 487.175
CPU time (s): 487.107
CPU user time (s): 487.08
CPU system time (s): 0.027
CPU usage (%): 99.9859
Max. virtual memory (cumulated for all children) (KiB): 50060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 487.08
system time used= 0.027
maximum resident set size= 24752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49125
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= 17
involuntary context switches= 624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18411 second user time and 2.1086 second system time
The end