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-4251791-1500922441/watcher-4251791-1500922441 -o /tmp/evaluation-result-4251791-1500922441/solver-4251791-1500922441 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500914976-3528 --watchdog 2560 miniBTD 2400 HOME/instance-4251791-1500922441.xml
pid=5285
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 3/180 5288
/proc/meminfo: memFree=31844980/32770624 swapFree=5860/118044
[pid=5288] ppid=5285 vsize=26300 CPUtime=0 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 864 0 0 0 0 0 0 0 20 0 1 0 1803528 26931200 667 33554432000 4194304 4832315 140734366631520 140734366628520 140663356234725 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 6575 667 526 156 0 217 0
[startup+0.100168 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 5288
/proc/meminfo: memFree=31844980/32770624 swapFree=5860/118044
[pid=5288] ppid=5285 vsize=42716 CPUtime=0.09 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 4965 0 0 0 9 0 0 0 20 0 1 0 1803528 43741184 4759 33554432000 4194304 4832315 140734366631520 140734366628520 140663356234725 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 10679 4759 529 156 0 4321 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42716
[startup+0.200373 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 5288
/proc/meminfo: memFree=31844980/32770624 swapFree=5860/118044
[pid=5288] ppid=5285 vsize=53924 CPUtime=0.18 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 7836 0 0 0 18 0 0 0 20 0 1 0 1803528 55218176 7663 33554432000 4194304 4832315 140734366631520 140734366628520 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7663 568 156 0 7123 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 53924
[startup+0.300378 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 5288
/proc/meminfo: memFree=31844980/32770624 swapFree=5860/118044
[pid=5288] ppid=5285 vsize=53924 CPUtime=0.28 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 7837 0 0 0 28 0 0 0 20 0 1 0 1803528 55218176 7663 33554432000 4194304 4832315 140734366631520 140734366628520 140663356498300 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7663 568 156 0 7123 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 53924
[startup+0.700317 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 5288
/proc/meminfo: memFree=31844980/32770624 swapFree=5860/118044
[pid=5288] ppid=5285 vsize=53924 CPUtime=0.68 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 7838 0 0 0 68 0 0 0 20 0 1 0 1803528 55218176 7663 33554432000 4194304 4832315 140734366631520 140734366628520 140663356232207 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7663 568 156 0 7123 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 53924
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5289
/proc/meminfo: memFree=31816212/32770624 swapFree=5860/118012
[pid=5288] ppid=5285 vsize=53924 CPUtime=1.49 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 7838 0 0 0 148 1 0 0 20 0 1 0 1803528 55218176 7663 33554432000 4194304 4832315 140734366631520 140734366629240 4362039 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7663 568 156 0 7123 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53924
[startup+3.10031 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5289
/proc/meminfo: memFree=31815968/32770624 swapFree=5860/117964
[pid=5288] ppid=5285 vsize=53924 CPUtime=3.09 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 14859 0 0 0 308 1 0 0 20 0 1 0 1803528 55218176 7670 33554432000 4194304 4832315 140734366631520 140734366629240 140663356498300 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7670 569 156 0 7123 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53924
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5289
/proc/meminfo: memFree=31813604/32770624 swapFree=5860/117964
[pid=5288] ppid=5285 vsize=53924 CPUtime=6.29 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 21881 0 0 0 628 1 0 0 20 0 1 0 1803528 55218176 7670 33554432000 4194304 4832315 140734366631520 140734366629240 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7670 569 156 0 7123 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53924
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5289
/proc/meminfo: memFree=31816120/32770624 swapFree=5860/117976
[pid=5288] ppid=5285 vsize=53924 CPUtime=12.69 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 28905 0 0 0 1267 2 0 0 20 0 1 0 1803528 55218176 7670 33554432000 4194304 4832315 140734366631520 140734366629240 140663356498300 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7670 569 156 0 7123 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53924
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5290
/proc/meminfo: memFree=31815140/32770624 swapFree=5860/118000
[pid=5288] ppid=5285 vsize=53924 CPUtime=25.48 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 42956 0 0 0 2545 3 0 0 20 0 1 0 1803528 55218176 7670 33554432000 4194304 4832315 140734366631520 140734366629240 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7670 569 156 0 7123 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53924
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5290
/proc/meminfo: memFree=31815020/32770624 swapFree=5860/118016
[pid=5288] ppid=5285 vsize=53924 CPUtime=51.08 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 49987 0 0 0 5101 7 0 0 20 0 1 0 1803528 55218176 7670 33554432000 4194304 4832315 140734366631520 140734366629240 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7670 569 156 0 7123 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 53924
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5292
/proc/meminfo: memFree=31814940/32770624 swapFree=5860/118060
[pid=5288] ppid=5285 vsize=53924 CPUtime=102.28 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 57023 0 0 0 10215 13 0 0 20 0 1 0 1803528 55218176 7670 33554432000 4194304 4832315 140734366631520 140734366629240 4312440 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7670 569 156 0 7123 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 53924
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5293
/proc/meminfo: memFree=31814260/32770624 swapFree=5860/118084
[pid=5288] ppid=5285 vsize=53924 CPUtime=162.28 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 64060 0 0 0 16207 21 0 0 20 0 1 0 1803528 55218176 7673 33554432000 4194304 4832315 140734366631520 140734366629240 140663356498300 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7673 569 156 0 7123 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 53924
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5294
/proc/meminfo: memFree=31814364/32770624 swapFree=5860/118116
[pid=5288] ppid=5285 vsize=53924 CPUtime=222.27 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 65998 0 0 0 22199 28 0 0 20 0 1 0 1803528 55218176 7675 33554432000 4194304 4832315 140734366631520 140734366629240 140663365562720 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7675 569 156 0 7123 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 53924
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5296
/proc/meminfo: memFree=31814152/32770624 swapFree=5860/118144
[pid=5288] ppid=5285 vsize=53924 CPUtime=282.25 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 66904 0 0 0 28190 35 0 0 20 0 1 0 1803528 55218176 7676 33554432000 4194304 4832315 140734366631520 140734366629240 140663365579888 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7676 569 156 0 7123 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 53924
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5297
/proc/meminfo: memFree=31813808/32770624 swapFree=5860/118192
[pid=5288] ppid=5285 vsize=53924 CPUtime=342.25 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 67813 0 0 0 34183 42 0 0 20 0 1 0 1803528 55218176 7677 33554432000 4194304 4832315 140734366631520 140734366629240 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7677 569 156 0 7123 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 53924
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5306
/proc/meminfo: memFree=31813016/32770624 swapFree=5860/118224
[pid=5288] ppid=5285 vsize=53924 CPUtime=402.24 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 68721 0 0 0 40175 49 0 0 20 0 1 0 1803528 55218176 7678 33554432000 4194304 4832315 140734366631520 140734366629240 4299576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7678 569 156 0 7123 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 53924
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5329
/proc/meminfo: memFree=31812764/32770624 swapFree=5860/118264
[pid=5288] ppid=5285 vsize=53924 CPUtime=462.24 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 69632 0 0 0 46167 57 0 0 20 0 1 0 1803528 55218176 7679 33554432000 4194304 4832315 140734366631520 140734366629240 140663356498300 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7679 569 156 0 7123 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 53924
[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/183 5330
/proc/meminfo: memFree=31812728/32770624 swapFree=5860/118288
[pid=5288] ppid=5285 vsize=53924 CPUtime=522.24 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 70542 0 0 0 52160 64 0 0 20 0 1 0 1803528 55218176 7680 33554432000 4194304 4832315 140734366631520 140734366629240 4299576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7680 569 156 0 7123 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 53924
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5288 sig 9
??? kill -5288 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+524.806 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 5330
/proc/meminfo: memFree=31812736/32770624 swapFree=5860/118292
[pid=5288] ppid=5285 vsize=53924 CPUtime=524.74 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 70542 0 0 0 52410 64 0 0 20 0 1 0 1803528 55218176 7680 33554432000 4194304 4832315 140734366631520 140734366629240 140663356498300 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7680 569 156 0 7123 0
Current children cumulated CPU time (s) 524.74
Current children cumulated vsize (KiB) 53924
[startup+537.6 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 5330
/proc/meminfo: memFree=31812736/32770624 swapFree=5860/118300
[pid=5288] ppid=5285 vsize=53924 CPUtime=537.53 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 71453 0 0 0 53687 66 0 0 20 0 1 0 1803528 55218176 7680 33554432000 4194304 4832315 140734366631520 140734366629240 140663356498300 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7680 569 156 0 7123 0
Current children cumulated CPU time (s) 537.53
Current children cumulated vsize (KiB) 53924
[startup+540.8 s]
/proc/loadavg: 2.04 2.03 2.05 3/183 5330
/proc/meminfo: memFree=31812736/32770624 swapFree=5860/118300
[pid=5288] ppid=5285 vsize=53924 CPUtime=540.73 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 71453 0 0 0 54007 66 0 0 20 0 1 0 1803528 55218176 7680 33554432000 4194304 4832315 140734366631520 140734366629240 4312440 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7680 569 156 0 7123 0
Current children cumulated CPU time (s) 540.73
Current children cumulated vsize (KiB) 53924
[startup+544 s]
/proc/loadavg: 2.04 2.03 2.05 3/183 5331
/proc/meminfo: memFree=31812984/32770624 swapFree=5860/118312
[pid=5288] ppid=5285 vsize=53924 CPUtime=543.93 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 71453 0 0 0 54326 67 0 0 20 0 1 0 1803528 55218176 7680 33554432000 4194304 4832315 140734366631520 140734366629240 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7680 569 156 0 7123 0
Current children cumulated CPU time (s) 543.93
Current children cumulated vsize (KiB) 53924
[startup+545.6 s]
/proc/loadavg: 2.04 2.03 2.05 3/183 5331
/proc/meminfo: memFree=31812984/32770624 swapFree=5860/118312
[pid=5288] ppid=5285 vsize=53924 CPUtime=545.54 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 71453 0 0 0 54487 67 0 0 20 0 1 0 1803528 55218176 7680 33554432000 4194304 4832315 140734366631520 140734366629240 140663356227213 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7680 569 156 0 7123 0
Current children cumulated CPU time (s) 545.54
Current children cumulated vsize (KiB) 53924
[startup+546.4 s]
/proc/loadavg: 2.04 2.03 2.05 3/183 5331
/proc/meminfo: memFree=31812984/32770624 swapFree=5860/118312
[pid=5288] ppid=5285 vsize=53924 CPUtime=546.33 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 71453 0 0 0 54566 67 0 0 20 0 1 0 1803528 55218176 7680 33554432000 4194304 4832315 140734366631520 140734366629240 140663356498300 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7680 569 156 0 7123 0
Current children cumulated CPU time (s) 546.33
Current children cumulated vsize (KiB) 53924
[startup+546.6 s]
/proc/loadavg: 2.04 2.03 2.05 3/183 5331
/proc/meminfo: memFree=31812984/32770624 swapFree=5860/118312
[pid=5288] ppid=5285 vsize=53924 CPUtime=546.53 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 71453 0 0 0 54586 67 0 0 20 0 1 0 1803528 55218176 7680 33554432000 4194304 4832315 140734366631520 140734366629240 4299552 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7680 569 156 0 7123 0
Current children cumulated CPU time (s) 546.53
Current children cumulated vsize (KiB) 53924
[startup+546.7 s]
/proc/loadavg: 2.04 2.03 2.05 3/183 5331
/proc/meminfo: memFree=31812984/32770624 swapFree=5860/118312
[pid=5288] ppid=5285 vsize=53924 CPUtime=546.64 cores=1,3,5,7
/proc/5288/stat : 5288 (miniBTD) R 5285 5288 3496 0 -1 4202496 71453 0 0 0 54597 67 0 0 20 0 1 0 1803528 55218176 7680 33554432000 4194304 4832315 140734366631520 140734366629240 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 12562432 140734366639346 140734366639426 140734366639426 140734366642125 0
/proc/5288/statm: 13481 7680 569 156 0 7123 0
Current children cumulated CPU time (s) 546.64
Current children cumulated vsize (KiB) 53924
Child status: 0
Real time (s): 546.761
CPU time (s): 546.702
CPU user time (s): 546.026
CPU system time (s): 0.675934
CPU usage (%): 99.9893
Max. virtual memory (cumulated for all children) (KiB): 53924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 546.026
system time used= 0.675934
maximum resident set size= 30796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71502
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= 20
involuntary context switches= 165
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39634 second user time and 2.3611 second system time
The end