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-4241281-1500626269/watcher-4241281-1500626269 -o /tmp/evaluation-result-4241281-1500626269/solver-4241281-1500626269 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500623775-3432 --watchdog 2560 BTD 2400 HOME/instance-4241281-1500626269.xml 

pid=4907
running on 4 cores: 1,3,5,7

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.91 2.00 1.87 3/186 4910
/proc/meminfo: memFree=30720480/32770624 swapFree=6792/942696
[pid=4910] ppid=4907 vsize=31280 CPUtime=0 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 561 0 0 0 0 0 0 0 20 0 1 0 16060424 32030720 422 33554432000 4194304 35031059 140732631174576 140732631174576 7408842 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 7820 422 232 7529 0 267 0

[startup+0.100171 s]
/proc/loadavg: 1.91 2.00 1.87 3/186 4910
/proc/meminfo: memFree=30720480/32770624 swapFree=6792/942696
[pid=4910] ppid=4907 vsize=32484 CPUtime=0.1 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 927 0 0 0 10 0 0 0 20 0 1 0 16060424 33263616 780 33554432000 4194304 35031059 140732631174576 140732631167416 7405965 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 8121 780 296 7529 0 568 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 32484

[startup+0.200329 s]
/proc/loadavg: 1.91 2.00 1.87 3/186 4910
/proc/meminfo: memFree=30720480/32770624 swapFree=6792/942696
[pid=4910] ppid=4907 vsize=32608 CPUtime=0.2 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 973 0 0 0 20 0 0 0 20 0 1 0 16060424 33390592 811 33554432000 4194304 35031059 140732631174576 140732631167544 7415248 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 8152 811 296 7529 0 599 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 32608

[startup+0.300262 s]
/proc/loadavg: 1.91 2.00 1.87 3/186 4910
/proc/meminfo: memFree=30720480/32770624 swapFree=6792/942696
[pid=4910] ppid=4907 vsize=32856 CPUtime=0.3 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 1019 0 0 0 30 0 0 0 20 0 1 0 16060424 33644544 873 33554432000 4194304 35031059 140732631174576 140732631167544 6572336 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 8214 873 296 7529 0 661 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 32856

[startup+0.700219 s]
/proc/loadavg: 1.91 2.00 1.87 3/186 4910
/proc/meminfo: memFree=30720480/32770624 swapFree=6792/942696
[pid=4910] ppid=4907 vsize=33588 CPUtime=0.7 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 1194 0 0 0 70 0 0 0 20 0 1 0 16060424 34394112 1057 33554432000 4194304 35031059 140732631174576 140732631167544 7407399 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 8397 1057 296 7529 0 844 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 33588

[startup+1.50021 s]
/proc/loadavg: 1.91 2.00 1.87 3/187 4911
/proc/meminfo: memFree=30715196/32770624 swapFree=6792/942696
[pid=4910] ppid=4907 vsize=34884 CPUtime=1.5 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 1542 0 0 0 150 0 0 0 20 0 1 0 16060424 35721216 1388 33554432000 4194304 35031059 140732631174576 140732631167544 6442605 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 8721 1388 296 7529 0 1168 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 34884

[startup+3.10026 s]
/proc/loadavg: 1.91 2.00 1.87 3/187 4911
/proc/meminfo: memFree=30708976/32770624 swapFree=6792/942720
[pid=4910] ppid=4907 vsize=40320 CPUtime=3.09 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 4156 0 0 0 309 0 0 0 20 0 1 0 16060424 41287680 2721 33554432000 4194304 35031059 140732631174576 140732631173576 4544880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10080 2721 343 7529 0 2527 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40320

[startup+6.30022 s]
/proc/loadavg: 1.91 2.00 1.87 3/187 4911
/proc/meminfo: memFree=30706332/32770624 swapFree=6792/942720
[pid=4910] ppid=4907 vsize=40452 CPUtime=6.29 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 5732 0 0 0 629 0 0 0 20 0 1 0 16060424 41422848 2729 33554432000 4194304 35031059 140732631174576 140732631173576 4544929 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10113 2729 343 7529 0 2560 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40452

[startup+12.7003 s]
/proc/loadavg: 1.92 2.00 1.87 3/187 4911
/proc/meminfo: memFree=30702656/32770624 swapFree=6792/942728
[pid=4910] ppid=4907 vsize=40584 CPUtime=12.69 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 7370 0 0 0 1267 2 0 0 20 0 1 0 16060424 41558016 2762 33554432000 4194304 35031059 140732631174576 140732631173576 4544929 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10146 2762 343 7529 0 2593 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40584

[startup+25.5002 s]
/proc/loadavg: 1.94 2.00 1.87 3/187 4911
/proc/meminfo: memFree=30696876/32770624 swapFree=6792/942736
[pid=4910] ppid=4907 vsize=40848 CPUtime=25.48 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 10268 0 0 0 2544 4 0 0 20 0 1 0 16060424 41828352 2852 33554432000 4194304 35031059 140732631174576 140732631173576 4544929 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10212 2852 343 7529 0 2659 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40848

[startup+51.1057 s]
/proc/loadavg: 1.96 2.00 1.87 3/187 4911
/proc/meminfo: memFree=30687300/32770624 swapFree=6792/942748
[pid=4910] ppid=4907 vsize=41244 CPUtime=51.09 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 10712 0 0 0 5094 15 0 0 20 0 1 0 16060424 42233856 3010 33554432000 4194304 35031059 140732631174576 140732631173576 7760138 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10311 3010 343 7529 0 2758 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41244

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 1.88 3/187 4912
/proc/meminfo: memFree=30671204/32770624 swapFree=6792/942776
[pid=4910] ppid=4907 vsize=41508 CPUtime=102.29 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 11212 0 0 0 10187 42 0 0 20 0 1 0 16060424 42504192 3083 33554432000 4194304 35031059 140732631174576 140732631173576 4544929 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10377 3083 343 7529 0 2824 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 41508

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.89 3/187 4920
/proc/meminfo: memFree=30654264/32770624 swapFree=6792/942812
[pid=4910] ppid=4907 vsize=41772 CPUtime=162.28 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 11737 0 0 0 16159 69 0 0 20 0 1 0 16060424 42774528 3129 33554432000 4194304 35031059 140732631174576 140732631173576 4544929 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10443 3129 343 7529 0 2890 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 41772

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 1.90 3/187 4921
/proc/meminfo: memFree=30640952/32770624 swapFree=6792/942844
[pid=4910] ppid=4907 vsize=41772 CPUtime=222.28 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 12270 0 0 0 22126 102 0 0 20 0 1 0 16060424 42774528 3164 33554432000 4194304 35031059 140732631174576 140732631173576 7760138 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10443 3164 343 7529 0 2890 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 41772

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.90 3/187 4922
/proc/meminfo: memFree=30626712/32770624 swapFree=6792/942880
[pid=4910] ppid=4907 vsize=41904 CPUtime=282.28 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 12739 0 0 0 28093 135 0 0 20 0 1 0 16060424 42909696 3205 33554432000 4194304 35031059 140732631174576 140732631173576 4544915 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10476 3205 343 7529 0 2923 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 41904

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/187 4923
/proc/meminfo: memFree=30616596/32770624 swapFree=6792/942904
[pid=4910] ppid=4907 vsize=42036 CPUtime=342.27 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 12965 0 0 0 34062 165 0 0 20 0 1 0 16060424 43044864 3212 33554432000 4194304 35031059 140732631174576 140732631173576 4544915 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10509 3212 343 7529 0 2956 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 42036

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/187 4924
/proc/meminfo: memFree=30605044/32770624 swapFree=6792/942932
[pid=4910] ppid=4907 vsize=42036 CPUtime=402.26 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 13172 0 0 0 40031 195 0 0 20 0 1 0 16060424 43044864 3229 33554432000 4194304 35031059 140732631174576 140732631173576 7760138 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10509 3229 343 7529 0 2956 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 42036

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 4925
/proc/meminfo: memFree=30595800/32770624 swapFree=6792/942964
[pid=4910] ppid=4907 vsize=42036 CPUtime=462.26 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 13423 0 0 0 45998 228 0 0 20 0 1 0 16060424 43044864 3240 33554432000 4194304 35031059 140732631174576 140732631173576 4544929 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10509 3240 343 7529 0 2956 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 42036

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 4926
/proc/meminfo: memFree=30585488/32770624 swapFree=6792/943000
[pid=4910] ppid=4907 vsize=42168 CPUtime=522.27 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 13666 0 0 0 51966 261 0 0 20 0 1 0 16060424 43180032 3255 33554432000 4194304 35031059 140732631174576 140732631173576 4544929 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10542 3255 343 7529 0 2989 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 42168

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 4927
/proc/meminfo: memFree=30576912/32770624 swapFree=6792/943028
[pid=4910] ppid=4907 vsize=42168 CPUtime=582.27 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 13914 0 0 0 57938 289 0 0 20 0 1 0 16060424 43180032 3262 33554432000 4194304 35031059 140732631174576 140732631173576 7760138 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10542 3262 343 7529 0 2989 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 42168

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4910 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+582.8 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 4927
/proc/meminfo: memFree=30576912/32770624 swapFree=6792/943028
[pid=4910] ppid=4907 vsize=42168 CPUtime=582.76 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 13914 0 0 0 57987 289 0 0 20 0 1 0 16060424 43180032 3262 33554432000 4194304 35031059 140732631174576 140732631173576 4544991 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10542 3262 343 7529 0 2989 0
Current children cumulated CPU time (s) 582.76
Current children cumulated vsize (KiB) 42168

[startup+586 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 4927
/proc/meminfo: memFree=30575232/32770624 swapFree=6792/943032
[pid=4910] ppid=4907 vsize=42168 CPUtime=585.96 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 13914 0 0 0 58306 290 0 0 20 0 1 0 16060424 43180032 3262 33554432000 4194304 35031059 140732631174576 140732631173576 4544931 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10542 3262 343 7529 0 2989 0
Current children cumulated CPU time (s) 585.96
Current children cumulated vsize (KiB) 42168

[startup+589.2 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 4927
/proc/meminfo: memFree=30575232/32770624 swapFree=6792/943040
[pid=4910] ppid=4907 vsize=42168 CPUtime=589.16 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 13920 0 0 0 58624 292 0 0 20 0 1 0 16060424 43180032 3262 33554432000 4194304 35031059 140732631174576 140732631173576 4544960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10542 3262 343 7529 0 2989 0
Current children cumulated CPU time (s) 589.16
Current children cumulated vsize (KiB) 42168

[startup+590 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 4927
/proc/meminfo: memFree=30575232/32770624 swapFree=6792/943040
[pid=4910] ppid=4907 vsize=42168 CPUtime=589.97 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 13938 0 0 0 58705 292 0 0 20 0 1 0 16060424 43180032 3268 33554432000 4194304 35031059 140732631174576 140732631173576 7760138 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10542 3268 343 7529 0 2989 0
Current children cumulated CPU time (s) 589.97
Current children cumulated vsize (KiB) 42168

[startup+590.4 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 4927
/proc/meminfo: memFree=30575232/32770624 swapFree=6792/943040
[pid=4910] ppid=4907 vsize=42168 CPUtime=590.36 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 13938 0 0 0 58744 292 0 0 20 0 1 0 16060424 43180032 3268 33554432000 4194304 35031059 140732631174576 140732631173576 4544922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10542 3268 343 7529 0 2989 0
Current children cumulated CPU time (s) 590.36
Current children cumulated vsize (KiB) 42168

[startup+590.6 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 4927
/proc/meminfo: memFree=30575232/32770624 swapFree=6792/943040
[pid=4910] ppid=4907 vsize=42168 CPUtime=590.56 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 13938 0 0 0 58764 292 0 0 20 0 1 0 16060424 43180032 3268 33554432000 4194304 35031059 140732631174576 140732631173576 4544960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10542 3268 343 7529 0 2989 0
Current children cumulated CPU time (s) 590.56
Current children cumulated vsize (KiB) 42168

[startup+590.7 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 4927
/proc/meminfo: memFree=30575232/32770624 swapFree=6792/943040
[pid=4910] ppid=4907 vsize=42168 CPUtime=590.66 cores=1,3,5,7
/proc/4910/stat : 4910 (BTD) R 4907 4910 3400 0 -1 4202496 13938 0 0 0 58774 292 0 0 20 0 1 0 16060424 43180032 3268 33554432000 4194304 35031059 140732631174576 140732631173576 4388924 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 47505408 140732631180538 140732631180614 140732631180614 140732631183313 0
/proc/4910/statm: 10542 3268 343 7529 0 2989 0
Current children cumulated CPU time (s) 590.66
Current children cumulated vsize (KiB) 42168

Child status: 0
Real time (s): 590.778
CPU time (s): 590.75
CPU user time (s): 587.821
CPU system time (s): 2.92889
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 42168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 587.821
system time used= 2.92889
maximum resident set size= 13696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14168
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= 7
involuntary context switches= 29602

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35187 second user time and 2.04547 second system time

The end