runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3426507-1306761773/watcher-3426507-1306761773 -o /tmp/evaluation-result-3426507-1306761773/solver-3426507-1306761773 -C 5000 -W 5100 -M 15500 sattime HOME/instance-3426507-1306761773.cnf 887101525 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.22 2/514 16674
/proc/meminfo: memFree=4476524/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=990800 CPUtime=0 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4194304 471 0 0 0 0 0 0 0 18 0 1 0 866407968 1014579200 417 33554432000 4194304 4228548 140733342438832 18446744073709551615 256415052485 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 247700 418 101 9 0 244857 0

[startup+0.029847 s]
/proc/loadavg: 0.00 0.00 0.22 2/514 16674
/proc/meminfo: memFree=4476524/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=992252 CPUtime=0.02 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4194304 986 0 0 0 2 0 0 0 18 0 1 0 866407968 1016066048 932 33554432000 4194304 4228548 140733342438832 18446744073709551615 256415052485 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 248063 933 101 9 0 245220 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 992252

[startup+0.100839 s]
/proc/loadavg: 0.00 0.00 0.22 2/514 16674
/proc/meminfo: memFree=4476524/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1007032 CPUtime=0.09 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 5696 0 0 0 9 0 0 0 18 0 1 0 866407968 1031200768 5641 33554432000 4194304 4228548 140733342438832 18446744073709551615 4202525 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 251758 5641 103 9 0 248915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1007032

[startup+0.300799 s]
/proc/loadavg: 0.00 0.00 0.22 2/514 16674
/proc/meminfo: memFree=4476524/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1007032 CPUtime=0.29 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 5699 0 0 0 29 0 0 0 18 0 1 0 866407968 1031200768 5644 33554432000 4194304 4228548 140733342438832 18446744073709551615 4207312 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 251758 5644 104 9 0 248915 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1007032

[startup+0.700717 s]
/proc/loadavg: 0.00 0.00 0.22 2/514 16674
/proc/meminfo: memFree=4476524/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1007032 CPUtime=0.69 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 5702 0 0 0 69 0 0 0 18 0 1 0 866407968 1031200768 5647 33554432000 4194304 4228548 140733342438832 18446744073709551615 4207139 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 251758 5647 104 9 0 248915 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1007032

[startup+1.50056 s]
/proc/loadavg: 0.00 0.00 0.22 4/516 16676
/proc/meminfo: memFree=4420832/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=1.49 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 149 0 0 0 20 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1015088

[startup+3.10027 s]
/proc/loadavg: 0.00 0.00 0.22 4/516 16676
/proc/meminfo: memFree=4383888/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=3.09 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 309 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218741 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1015088

[startup+6.30065 s]
/proc/loadavg: 0.16 0.03 0.23 4/516 16677
/proc/meminfo: memFree=4384084/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=6.29 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 629 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218970 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1015088

[startup+12.7004 s]
/proc/loadavg: 0.31 0.07 0.24 4/516 16677
/proc/meminfo: memFree=4382488/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=12.69 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 1269 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218102 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1015088

[startup+25.501 s]
/proc/loadavg: 0.68 0.16 0.27 4/516 16677
/proc/meminfo: memFree=4384424/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=25.49 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 2549 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1015088

[startup+51.1011 s]
/proc/loadavg: 1.13 0.31 0.32 4/516 16678
/proc/meminfo: memFree=4384456/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=51.09 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 5109 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4217469 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1015088

[startup+102.32 s]
/proc/loadavg: 1.62 0.56 0.40 4/516 16679
/proc/meminfo: memFree=4384672/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=102.31 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 10231 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1015088

[startup+162.301 s]
/proc/loadavg: 1.86 0.82 0.50 4/516 16681
/proc/meminfo: memFree=4381896/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=162.3 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 16230 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218775 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1015088

[startup+222.3 s]
/proc/loadavg: 1.95 1.04 0.59 4/516 16682
/proc/meminfo: memFree=4382944/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=222.3 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 22230 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4216810 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1015088

[startup+282.301 s]
/proc/loadavg: 1.98 1.21 0.68 4/516 16684
/proc/meminfo: memFree=4383640/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=282.3 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 28230 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1015088

[startup+342.301 s]
/proc/loadavg: 1.99 1.35 0.76 4/516 16686
/proc/meminfo: memFree=4383456/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=342.3 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 34230 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4217502 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1015088

[startup+402.301 s]
/proc/loadavg: 2.11 1.50 0.84 4/516 16687
/proc/meminfo: memFree=4383652/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=402.3 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 40230 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1015088

[startup+462.301 s]
/proc/loadavg: 2.14 1.62 0.92 4/516 16689
/proc/meminfo: memFree=4384236/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=462.31 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 46231 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1015088

[startup+522.301 s]
/proc/loadavg: 2.05 1.68 0.99 4/516 16690
/proc/meminfo: memFree=4384172/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=522.31 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 52231 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4217469 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1015088

[startup+582.301 s]
/proc/loadavg: 2.02 1.74 1.05 4/516 16692
/proc/meminfo: memFree=4384236/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=582.31 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 58231 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218483 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1015088

[startup+642.3 s]
/proc/loadavg: 2.00 1.78 1.10 4/516 16694
/proc/meminfo: memFree=4383680/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=642.32 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 64232 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1015088

[startup+702.301 s]
/proc/loadavg: 2.00 1.82 1.16 4/516 16695
/proc/meminfo: memFree=4383000/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=702.32 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 70232 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218775 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 1015088

[startup+762.32 s]
/proc/loadavg: 2.00 1.85 1.21 4/516 16697
/proc/meminfo: memFree=4384200/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=762.34 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 76234 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4217469 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 1015088

Solver just ended. Dumping a history of the last processes samples

[startup+767.9 s]
/proc/loadavg: 2.00 1.85 1.21 4/516 16697
/proc/meminfo: memFree=4384076/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=767.92 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 76792 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4217259 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 767.92
Current children cumulated vsize (KiB) 1015088

[startup+771.12 s]
/proc/loadavg: 2.00 1.85 1.21 4/516 16697
/proc/meminfo: memFree=4384188/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=771.14 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 77114 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4217469 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 771.14
Current children cumulated vsize (KiB) 1015088

[startup+772.7 s]
/proc/loadavg: 2.00 1.85 1.21 4/516 16697
/proc/meminfo: memFree=4384188/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=772.72 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 77272 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218970 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 772.72
Current children cumulated vsize (KiB) 1015088

[startup+774.301 s]
/proc/loadavg: 2.00 1.85 1.21 4/516 16697
/proc/meminfo: memFree=4384188/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=774.33 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 77433 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4217502 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 774.33
Current children cumulated vsize (KiB) 1015088

[startup+774.701 s]
/proc/loadavg: 2.00 1.85 1.21 4/516 16697
/proc/meminfo: memFree=4384188/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=774.72 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 77472 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4217291 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 774.72
Current children cumulated vsize (KiB) 1015088

[startup+775.101 s]
/proc/loadavg: 2.00 1.85 1.21 4/516 16697
/proc/meminfo: memFree=4384188/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015088 CPUtime=775.12 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9275 0 0 0 77512 0 0 0 25 0 1 0 866407968 1039450112 9219 33554432000 4194304 4228548 140733342438832 18446744073709551615 4218958 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253772 9219 116 9 0 250929 0
Current children cumulated CPU time (s) 775.12
Current children cumulated vsize (KiB) 1015088

[startup+775.201 s]
/proc/loadavg: 2.00 1.85 1.21 4/516 16697
/proc/meminfo: memFree=4384188/32950928 swapFree=61526956/67111528
[pid=16674] ppid=16670 vsize=1015092 CPUtime=775.22 cores=1,3,5,7
/proc/16674/stat : 16674 (sattime) R 16670 16674 16637 0 -1 4202496 9276 0 0 0 77522 0 0 0 25 0 1 0 866407968 1039454208 9220 33554432000 4194304 4228548 140733342438832 18446744073709551615 256415391488 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16674/statm: 253773 9220 116 9 0 250930 0
Current children cumulated CPU time (s) 775.22
Current children cumulated vsize (KiB) 1015092

Child status: 10
Real time (s): 775.219
CPU time (s): 775.246
CPU user time (s): 775.238
CPU system time (s): 0.007998
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1015092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 775.238
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9279
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= 43
involuntary context switches= 1436

runsolver used 3.81842 second user time and 9.54655 second system time

The end