runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (9922 MiB free)
memory of node 1: 16384 MiB (9642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391654-1568309596/watcher-4391654-1568309596 -o /tmp/evaluation-result-4391654-1568309596/solver-4391654-1568309596 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568305966-12715 --watchdog 2560 nacre_mini_release HOME/instance-4391654-1568309596.xml -complete -l100 -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13340, runsolver pid=13337
Current StackSize limit: 8192 KiB
[startup+0.100198 s]*
/proc/loadavg: 2.05 2.03 2.05 3/200 13341
/proc/meminfo: memFree=20019056/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=42988 memory=19244 CPUtime=0.1 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 5064 0 0 0 10 0 0 0 20 0 1 0 406899744 44019712 4811 33554432000 4194304 4935366 140725954992208 140725954986808 4271828 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 10747 4811 572 181 0 4364 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42988 KiB
Current children cumulated memory: 19244 KiB
[startup+0.209846 s]*
/proc/loadavg: 2.05 2.03 2.05 3/200 13341
/proc/meminfo: memFree=19998100/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=64172 memory=40364 CPUtime=0.21 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 10313 0 0 0 20 1 0 0 20 0 1 0 406899744 65712128 10091 33554432000 4194304 4935366 140725954992208 140725954986808 140584493772566 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 16043 10091 572 181 0 9660 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 64172 KiB
Current children cumulated memory: 40364 KiB
[startup+0.309748 s]*
/proc/loadavg: 2.05 2.03 2.05 3/200 13341
/proc/meminfo: memFree=19979116/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=83844 memory=59900 CPUtime=0.3 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 15188 0 0 0 29 1 0 0 20 0 1 0 406899744 85856256 14975 33554432000 4194304 4935366 140725954992208 140725954986808 4271836 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 20961 14975 572 181 0 14578 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 83844 KiB
Current children cumulated memory: 59900 KiB
[startup+0.700419 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 13341
/proc/meminfo: memFree=19940864/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=157460 memory=132500 CPUtime=0.69 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 33371 0 0 0 65 4 0 0 20 0 1 0 406899744 161239040 33125 33554432000 4194304 4935366 140725954992208 140725954986808 140584493775678 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 39365 33125 572 181 0 32982 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 157460 KiB
Current children cumulated memory: 132500 KiB
[startup+1.50033 s]
/proc/loadavg: 2.05 2.03 2.05 3/199 13341
/proc/meminfo: memFree=19846996/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=312340 memory=286148 CPUtime=1.49 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 71796 0 0 0 140 9 0 0 20 0 1 0 406899744 319836160 71537 33554432000 4194304 4935366 140725954992208 140725954986808 140584493777723 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 78085 71537 572 181 0 71702 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 312340 KiB
Current children cumulated memory: 286148 KiB
[startup+3.10945 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 13341
/proc/meminfo: memFree=19463456/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=623300 memory=594500 CPUtime=3.1 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 149561 0 0 0 291 19 0 0 20 0 1 0 406899744 638259200 148625 33554432000 4194304 4935366 140725954992208 140725954986808 4272658 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 155825 148625 572 181 0 149442 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 623300 KiB
Current children cumulated memory: 594500 KiB
[startup+6.30031 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 13341
/proc/meminfo: memFree=18887648/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=1240684 memory=1206184 CPUtime=6.29 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 303373 0 0 0 594 35 0 0 20 0 1 0 406899744 1270460416 301546 33554432000 4194304 4935366 140725954992208 140725954986808 4272505 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 310171 301546 572 181 0 303788 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1240684 KiB
Current children cumulated memory: 1206184 KiB
[startup+12.7003 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 13341
/proc/meminfo: memFree=17994512/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081080 memory=2039256 CPUtime=12.69 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 598604 0 0 0 1205 64 0 0 20 0 1 0 406899744 2131025920 509814 33554432000 4194304 4935366 140725954992208 140725954990728 140584493772388 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520270 509814 590 181 0 513887 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2081080 KiB
Current children cumulated memory: 2039256 KiB
[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 13342
/proc/meminfo: memFree=17994792/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081080 memory=2039320 CPUtime=25.48 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 1139912 0 0 0 2464 84 0 0 20 0 1 0 406899744 2131025920 509830 33554432000 4194304 4935366 140725954992208 140725954990456 4400778 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520270 509830 599 181 0 513887 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2081080 KiB
Current children cumulated memory: 2039320 KiB
[startup+51.1098 s]
/proc/loadavg: 2.09 2.04 2.05 4/200 13344
/proc/meminfo: memFree=17994504/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2039936 CPUtime=51.08 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 1505400 0 0 0 5009 99 0 0 20 0 1 0 406899744 2131701760 509984 33554432000 4194304 4935366 140725954992208 140725954989800 140584494642717 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 509984 599 181 0 514052 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2039936 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 13348
/proc/meminfo: memFree=17993420/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2040148 CPUtime=102.27 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 2154690 0 0 0 10100 127 0 0 20 0 1 0 406899744 2131701760 510037 33554432000 4194304 4935366 140725954992208 140725954989800 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 510037 599 181 0 514052 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2040148 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 13352
/proc/meminfo: memFree=17992148/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2041028 CPUtime=162.26 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 2625977 0 0 0 16078 148 0 0 20 0 1 0 406899744 2131701760 510257 33554432000 4194304 4935366 140725954992208 140725954989800 140584493772373 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 510257 599 181 0 514052 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2041028 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 13356
/proc/meminfo: memFree=17990760/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2041916 CPUtime=222.26 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 3092608 0 0 0 22058 168 0 0 20 0 1 0 406899744 2131701760 510479 33554432000 4194304 4935366 140725954992208 140725954989800 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 510479 599 181 0 514052 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2041916 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 13362
/proc/meminfo: memFree=17989640/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2042812 CPUtime=282.25 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 3513270 0 0 0 28039 186 0 0 20 0 1 0 406899744 2131701760 510703 33554432000 4194304 4935366 140725954992208 140725954989800 140584494642717 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 510703 599 181 0 514052 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2042812 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 13366
/proc/meminfo: memFree=17988100/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2043692 CPUtime=342.25 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 3929108 0 0 0 34023 202 0 0 20 0 1 0 406899744 2131701760 510923 33554432000 4194304 4935366 140725954992208 140725954989800 4400862 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 510923 599 181 0 514052 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2043692 KiB
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/199 13370
/proc/meminfo: memFree=17987528/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2044580 CPUtime=402.24 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 4279448 0 0 0 40006 218 0 0 20 0 1 0 406899744 2131701760 511145 33554432000 4194304 4935366 140725954992208 140725954989800 140584494644679 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 511145 599 181 0 514052 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2044580 KiB
[startup+462.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/200 13384
/proc/meminfo: memFree=17986496/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2045464 CPUtime=462.24 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 4684580 0 0 0 45988 236 0 0 20 0 1 0 406899744 2131701760 511366 33554432000 4194304 4935366 140725954992208 140725954989800 140584494642717 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 511366 599 181 0 514052 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2045464 KiB
[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 13388
/proc/meminfo: memFree=17986104/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2046356 CPUtime=522.24 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 5012029 0 0 0 51973 251 0 0 20 0 1 0 406899744 2131701760 511589 33554432000 4194304 4935366 140725954992208 140725954989800 140584499979176 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 511589 599 181 0 514052 0
Current children cumulated CPU time: 522.24 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2046356 KiB
[startup+531.463 s]
# the end of solver process 13340 was just reported to runsolver
# cumulated CPU time of all completed processes: user=528.806 s, system=2.59792 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+524.8 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 13388
/proc/meminfo: memFree=17986104/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2046500 CPUtime=524.73 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 5024666 0 0 0 52222 251 0 0 20 0 1 0 406899744 2131701760 511625 33554432000 4194304 4935366 140725954992208 140725954989800 4400261 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 511625 599 181 0 514052 0
Current children cumulated CPU time: 524.73 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2046500 KiB
[startup+528 s]*
/proc/loadavg: 2.03 2.03 2.05 3/200 13388
/proc/meminfo: memFree=17985964/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2046500 CPUtime=527.93 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 5027247 0 0 0 52542 251 0 0 20 0 1 0 406899744 2131701760 511625 33554432000 4194304 4935366 140725954992208 140725954989800 140584494642727 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 511625 599 181 0 514052 0
Current children cumulated CPU time: 527.93 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2046500 KiB
[startup+529.6 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 13388
/proc/meminfo: memFree=17985964/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2046500 CPUtime=529.53 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 5027247 0 0 0 52702 251 0 0 20 0 1 0 406899744 2131701760 511625 33554432000 4194304 4935366 140725954992208 140725954989800 140584494642717 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 511625 599 181 0 514052 0
Current children cumulated CPU time: 529.53 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2046500 KiB
[startup+530.4 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 13388
/proc/meminfo: memFree=17985964/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2046500 CPUtime=530.33 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 5027247 0 0 0 52782 251 0 0 20 0 1 0 406899744 2131701760 511625 33554432000 4194304 4935366 140725954992208 140725954989800 140584494642717 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 511625 599 181 0 514052 0
Current children cumulated CPU time: 530.33 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2046500 KiB
[startup+531.2 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 13388
/proc/meminfo: memFree=17985964/32770624 swapFree=66959212/67108860
[pid=13340] ppid=13337 vsize=2081740 memory=2046500 CPUtime=531.13 cores=0,2,4,6
/proc/13340/stat : 13340 (nacre_mini_rele) R 13337 13340 11693 0 -1 4202496 5027247 0 0 0 52862 251 0 0 20 0 1 0 406899744 2131701760 511625 33554432000 4194304 4935366 140725954992208 140725954989800 140584494642717 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 29794304 140725954999291 140725954999397 140725954999397 140725955002306 0
/proc/13340/statm: 520435 511625 599 181 0 514052 0
Current children cumulated CPU time: 531.13 s
Current children cumulated vsize: 2081740 KiB
Current children cumulated memory: 2046500 KiB
[startup+531.4 s]*
/proc/loadavg: 2.03 2.03 2.05 3/200 13388
/proc/meminfo: memFree=18946980/32770624 swapFree=66959212/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 20
Real time (s): 531.463
CPU time (s): 531.404
CPU user time (s): 528.806
CPU system time (s): 2.59792
CPU usage (%): 99.9889
Max. virtual memory (cumulated for all children) (KiB): 2081740
Max. memory (cumulated for all children) (KiB): 2046500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 528.806
system time used= 2.59792
maximum resident set size= 2046564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5027475
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= 71
involuntary context switches= 505
# summary of solver processes directly reported to runsolver:
# pid: 13340
# total CPU time (s): 531.404
# total CPU user time (s): 528.806
# total CPU system time (s): 2.59792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.7456 second user time and 4.37738 second system time
The end