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-4259888-1502029596/watcher-4259888-1502029596 -o /tmp/evaluation-result-4259888-1502029596/solver-4259888-1502029596 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502014298-25935 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259888-1502029596.xml
pid=29419
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: 2.00 2.01 2.05 2/186 29422
/proc/meminfo: memFree=31266248/32770624 swapFree=0/312896
[pid=29422] ppid=29419 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/29422/stat : 29422 (runsolver) D 29419 29422 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 50774903 24240128 106 18446744073709551615 4194304 4338465 140723433912288 140723433909928 139639052849879 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 9400320 140723433914561 140723433914953 140723433914953 140723433918410 0
/proc/29422/statm: 5918 106 53 36 0 2156 0
[startup+0.100156 s]
/proc/loadavg: 2.00 2.01 2.05 2/186 29422
/proc/meminfo: memFree=31266248/32770624 swapFree=0/312896
[pid=29422] ppid=29419 vsize=26776 CPUtime=0.05 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1010 0 0 0 5 0 0 0 20 0 1 0 50774903 27418624 825 18446744073709551615 4194304 5747388 140729074960592 140729074957240 4947159 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26776
[startup+0.20024 s]
/proc/loadavg: 2.00 2.01 2.05 2/186 29422
/proc/meminfo: memFree=31266248/32770624 swapFree=0/312896
[pid=29422] ppid=29419 vsize=26776 CPUtime=0.15 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1010 0 0 0 15 0 0 0 20 0 1 0 50774903 27418624 825 18446744073709551615 4194304 5747388 140729074960592 140729074957240 5025344 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 26776
[startup+0.300251 s]
/proc/loadavg: 2.00 2.01 2.05 2/186 29422
/proc/meminfo: memFree=31266248/32770624 swapFree=0/312896
[pid=29422] ppid=29419 vsize=26776 CPUtime=0.25 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1010 0 0 0 25 0 0 0 20 0 1 0 50774903 27418624 825 18446744073709551615 4194304 5747388 140729074960592 140729074957240 4947335 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 26776
[startup+0.700224 s]
/proc/loadavg: 2.00 2.01 2.05 2/186 29422
/proc/meminfo: memFree=31266248/32770624 swapFree=0/312896
[pid=29422] ppid=29419 vsize=26776 CPUtime=0.65 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1010 0 0 0 65 0 0 0 20 0 1 0 50774903 27418624 825 18446744073709551615 4194304 5747388 140729074960592 140729074958120 5128020 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 26776
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29423
/proc/meminfo: memFree=31266004/32770624 swapFree=0/312844
[pid=29422] ppid=29419 vsize=26776 CPUtime=1.45 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1010 0 0 0 145 0 0 0 20 0 1 0 50774903 27418624 825 18446744073709551615 4194304 5747388 140729074960592 140729074958120 4949045 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 26776
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29423
/proc/meminfo: memFree=31265828/32770624 swapFree=0/312896
[pid=29422] ppid=29419 vsize=26776 CPUtime=3.05 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1047 0 0 0 305 0 0 0 20 0 1 0 50774903 27418624 825 18446744073709551615 4194304 5747388 140729074960592 140729074947864 5025587 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 825 732 380 0 112 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 26776
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29423
/proc/meminfo: memFree=31265476/32770624 swapFree=0/312892
[pid=29422] ppid=29419 vsize=26776 CPUtime=6.25 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1084 0 0 0 625 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074947864 4949583 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 26776
[startup+12.7002 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 29423
/proc/meminfo: memFree=31265136/32770624 swapFree=0/312896
[pid=29422] ppid=29419 vsize=26776 CPUtime=12.65 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1105 0 0 0 1265 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074958120 4947667 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 26776
[startup+25.5003 s]
/proc/loadavg: 1.94 2.00 2.04 3/187 29423
/proc/meminfo: memFree=31265136/32770624 swapFree=0/312908
[pid=29422] ppid=29419 vsize=26776 CPUtime=25.45 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1147 0 0 0 2545 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074958120 5025392 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 26776
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.05 3/187 29425
/proc/meminfo: memFree=31264764/32770624 swapFree=0/312920
[pid=29422] ppid=29419 vsize=26776 CPUtime=51.05 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1200 0 0 0 5105 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074958120 4947156 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 26776
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/186 29487
/proc/meminfo: memFree=31543176/32770624 swapFree=0/312984
[pid=29422] ppid=29419 vsize=26776 CPUtime=102.26 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1221 0 0 0 10226 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074958120 4949682 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 26776
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 29490
/proc/meminfo: memFree=31542580/32770624 swapFree=0/312972
[pid=29422] ppid=29419 vsize=26776 CPUtime=162.26 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1258 0 0 0 16226 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074947864 5025418 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 26776
[startup+222.306 s]
/proc/loadavg: 2.03 2.02 2.05 3/186 29492
/proc/meminfo: memFree=31541924/32770624 swapFree=0/312996
[pid=29422] ppid=29419 vsize=26776 CPUtime=222.27 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1294 0 0 0 22227 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074947864 4949588 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 26776
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 29615
/proc/meminfo: memFree=31542168/32770624 swapFree=0/313068
[pid=29422] ppid=29419 vsize=26776 CPUtime=282.27 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1295 0 0 0 28227 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074958120 4948153 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 26776
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 29617
/proc/meminfo: memFree=31542020/32770624 swapFree=0/313076
[pid=29422] ppid=29419 vsize=26776 CPUtime=342.27 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1332 0 0 0 34227 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074947864 4946846 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 26776
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 29619
/proc/meminfo: memFree=31542016/32770624 swapFree=0/313092
[pid=29422] ppid=29419 vsize=26776 CPUtime=402.28 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1332 0 0 0 40228 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074958120 4947468 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 26776
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 29636
/proc/meminfo: memFree=31537164/32770624 swapFree=0/313116
[pid=29422] ppid=29419 vsize=26776 CPUtime=462.28 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1353 0 0 0 46228 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074958120 4947456 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 26776
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29639
/proc/meminfo: memFree=31537492/32770624 swapFree=0/313136
[pid=29422] ppid=29419 vsize=26776 CPUtime=522.29 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1369 0 0 0 52229 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074958120 5025418 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 26776
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29422 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29641
/proc/meminfo: memFree=31537740/32770624 swapFree=0/313164
[pid=29422] ppid=29419 vsize=26776 CPUtime=537.59 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1390 0 0 0 53759 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074947864 5025344 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 537.59
Current children cumulated vsize (KiB) 26776
[startup+544 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29641
/proc/meminfo: memFree=31537828/32770624 swapFree=0/313164
[pid=29422] ppid=29419 vsize=26776 CPUtime=543.99 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1390 0 0 0 54399 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074947864 4948683 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 543.99
Current children cumulated vsize (KiB) 26776
[startup+550.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29641
/proc/meminfo: memFree=31537952/32770624 swapFree=0/313168
[pid=29422] ppid=29419 vsize=26776 CPUtime=550.39 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1390 0 0 0 55039 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074947864 4947027 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 550.39
Current children cumulated vsize (KiB) 26776
[startup+553.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29641
/proc/meminfo: memFree=31539356/32770624 swapFree=0/313168
[pid=29422] ppid=29419 vsize=26776 CPUtime=553.59 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1390 0 0 0 55359 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074947864 5025395 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 553.59
Current children cumulated vsize (KiB) 26776
[startup+555.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29641
/proc/meminfo: memFree=31539356/32770624 swapFree=0/313176
[pid=29422] ppid=29419 vsize=26776 CPUtime=555.19 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1390 0 0 0 55519 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074947864 5025404 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 555.19
Current children cumulated vsize (KiB) 26776
[startup+556 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29641
/proc/meminfo: memFree=31539356/32770624 swapFree=0/313176
[pid=29422] ppid=29419 vsize=26776 CPUtime=555.99 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1390 0 0 0 55599 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074947864 4947167 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 555.99
Current children cumulated vsize (KiB) 26776
[startup+556.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29641
/proc/meminfo: memFree=31539356/32770624 swapFree=0/313176
[pid=29422] ppid=29419 vsize=26776 CPUtime=556.39 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1390 0 0 0 55639 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074947864 4947953 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 556.39
Current children cumulated vsize (KiB) 26776
[startup+556.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29641
/proc/meminfo: memFree=31539356/32770624 swapFree=0/313176
[pid=29422] ppid=29419 vsize=26776 CPUtime=556.49 cores=1,3,5,7
/proc/29422/stat : 29422 (cosoco) R 29419 29422 25100 0 -1 4202496 1390 0 0 0 55649 0 0 0 20 0 1 0 50774903 27418624 851 18446744073709551615 4194304 5747388 140729074960592 140729074947864 4949516 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 31715328 140729074967022 140729074967117 140729074967117 140729074970574 0
/proc/29422/statm: 6694 851 756 380 0 112 0
Current children cumulated CPU time (s) 556.49
Current children cumulated vsize (KiB) 26776
Child status: 0
Real time (s): 556.539
CPU time (s): 556.538
CPU user time (s): 556.536
CPU system time (s): 0.00202
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 26776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 556.536
system time used= 0.00202
maximum resident set size= 3484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1445
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= 10
involuntary context switches= 144
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2451 second user time and 1.97141 second system time
The end