runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) 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: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/apt-pbo-paranoid-1.0.5/randd8bf6a.cudf.difficult.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/difficult//randd8bf6a.cudf /home/misc2010/tmp/201007051419/apt-pbo-paranoid-1.0.5/randd8bf6a.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.97 1.02 1.03 1/94 1873 /proc/meminfo: memFree=1338396/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=1380 CPUtime=0 /proc/1875/stat : 1875 (apt-pbo) S 1873 1873 13759 34823 13904 4194304 92 0 0 0 0 0 0 0 18 0 1 0 418800666 1413120 33 1283457024 134512640 135758360 4292420928 18446744073709551615 4159762564 0 2147483391 0 0 18446744071697298955 0 0 17 1 0 0 0 /proc/1875/statm: 345 33 25 305 0 5 0 [startup+0.303524 s] /proc/loadavg: 0.97 1.02 1.03 1/94 1873 /proc/meminfo: memFree=1338396/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=9108 CPUtime=0.24 /proc/1875/stat : 1875 (apt-pbo) R 1873 1873 13759 34823 13904 4202496 2046 718 0 0 23 1 0 0 18 0 1 0 418800666 9326592 1640 1283457024 134512640 135758360 4292420928 18446744073709551615 4158517605 0 0 128 0 0 0 0 17 0 0 0 0 /proc/1875/statm: 2277 1641 628 305 0 1050 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 11488 [startup+0.45562 s] /proc/loadavg: 0.97 1.02 1.03 1/94 1873 /proc/meminfo: memFree=1338396/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=10168 CPUtime=0.38 /proc/1875/stat : 1875 (apt-pbo) R 1873 1873 13759 34823 13904 4202496 2339 718 0 0 37 1 0 0 19 0 1 0 418800666 10412032 1900 1283457024 134512640 135758360 4292420928 18446744073709551615 4159423710 0 0 128 0 0 0 0 17 1 0 0 0 /proc/1875/statm: 2542 1900 628 305 0 1315 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 12548 [startup+0.507549 s] /proc/loadavg: 0.97 1.02 1.03 1/94 1873 /proc/meminfo: memFree=1338396/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=10432 CPUtime=0.43 /proc/1875/stat : 1875 (apt-pbo) R 1873 1873 13759 34823 13904 4202496 2417 718 0 0 42 1 0 0 19 0 1 0 418800666 10682368 1978 1283457024 134512640 135758360 4292420928 18446744073709551615 4158517605 0 0 128 0 0 0 0 17 1 0 0 0 /proc/1875/statm: 2608 1978 628 305 0 1381 0 Current children cumulated CPU time (s) 0.43 Current children cumulated vsize (KiB) 12812 [startup+0.707537 s] /proc/loadavg: 0.97 1.02 1.03 1/94 1873 /proc/meminfo: memFree=1338396/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=11780 CPUtime=0.63 /proc/1875/stat : 1875 (apt-pbo) R 1873 1873 13759 34823 13904 4202496 2769 718 0 0 62 1 0 0 19 0 1 0 418800666 12062720 2330 1283457024 134512640 135758360 4292420928 18446744073709551615 4159423710 0 0 128 0 0 0 0 17 1 0 0 0 /proc/1875/statm: 2978 2331 628 305 0 1751 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 14160 [startup+1.50753 s] /proc/loadavg: 0.97 1.02 1.03 2/96 1878 /proc/meminfo: memFree=1322324/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=17208 CPUtime=1.42 /proc/1875/stat : 1875 (apt-pbo) R 1873 1873 13759 34823 13904 4202496 4101 718 0 0 139 3 0 0 21 0 1 0 418800666 17620992 3656 1283457024 134512640 135758360 4292420928 18446744073709551615 4159423710 0 0 128 0 0 0 0 17 1 0 0 0 /proc/1875/statm: 4302 3656 628 305 0 3075 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 19588 [startup+3.10758 s] /proc/loadavg: 0.98 1.01 1.03 2/96 1878 /proc/meminfo: memFree=1309452/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=27608 CPUtime=3.02 /proc/1875/stat : 1875 (apt-pbo) R 1873 1873 13759 34823 13904 4202496 6737 718 0 0 296 6 0 0 25 0 1 0 418800666 28270592 6285 1283457024 134512640 135758360 4292420928 18446744073709551615 4158517605 0 0 128 0 0 0 0 17 1 0 0 0 /proc/1875/statm: 6902 6285 628 305 0 5675 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 29988 [startup+6.31156 s] /proc/loadavg: 0.98 1.01 1.03 2/100 1886 /proc/meminfo: memFree=1259916/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=44032 CPUtime=5.44 /proc/1875/stat : 1875 (apt-pbo) S 1873 1873 13759 34823 13904 4202496 10869 718 0 0 536 8 0 0 18 0 1 0 418800666 45088768 10380 1283457024 134512640 135758360 4292420928 18446744073709551615 4159423822 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/1875/statm: 11008 10380 628 305 0 9781 0 [pid=1879] ppid=1875 vsize=2380 CPUtime=0 /proc/1879/stat : 1879 (apt-get.sh) S 1875 1873 13759 34823 13904 4202496 390 614 0 0 0 0 0 0 18 0 1 0 418801219 2437120 261 1283457024 134512640 135191968 4292867648 18446744073709551615 4159052430 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1879/statm: 595 261 223 166 0 27 0 [pid=1882] ppid=1879 vsize=52608 CPUtime=0.71 /proc/1882/stat : 1882 (apt-get) R 1879 1873 13759 34823 13904 4202496 3470 1614 175 0 43 2 24 2 18 0 1 0 418801222 53870592 3506 1283457024 134512640 134646397 4292617744 18446744073709551615 4159751960 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/1882/statm: 13152 3506 3452 33 0 68 0 Current children cumulated CPU time (s) 6.15 Current children cumulated vsize (KiB) 101400 [startup+12.704 s] /proc/loadavg: 0.98 1.01 1.03 2/97 1893 /proc/meminfo: memFree=1216692/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=73180 CPUtime=11.83 /proc/1875/stat : 1875 (apt-pbo) R 1873 1873 13759 34823 13904 4202496 18613 16647 0 293 980 11 170 22 25 0 1 0 418800666 74936320 17444 1283457024 134512640 135758360 4292420928 18446744073709551615 134894118 0 0 128 0 0 0 0 17 1 0 0 0 /proc/1875/statm: 18295 17444 5561 305 0 11931 0 [pid=1892] ppid=1875 vsize=0 CPUtime=0.62 /proc/1892/stat : 1892 (wbo) Z 1875 1873 13759 34823 13904 4202508 1298 0 0 0 62 0 0 0 18 0 1 0 418801441 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/1892/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.45 Current children cumulated vsize (KiB) 75560 Solver just ended. Dumping a history of the last processes samples [startup+13.004 s] /proc/loadavg: 0.98 1.01 1.03 2/97 1893 /proc/meminfo: memFree=1216692/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=73180 CPUtime=12.13 /proc/1875/stat : 1875 (apt-pbo) R 1873 1873 13759 34823 13904 4202496 18613 16647 0 293 1010 11 170 22 25 0 1 0 418800666 74936320 17444 1283457024 134512640 135758360 4292420928 18446744073709551615 4158540977 0 0 128 0 0 0 0 17 1 0 0 0 /proc/1875/statm: 18295 17444 5561 305 0 11931 0 [pid=1892] ppid=1875 vsize=0 CPUtime=0.62 /proc/1892/stat : 1892 (wbo) Z 1875 1873 13759 34823 13904 4202508 1298 0 0 0 62 0 0 0 18 0 1 0 418801441 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/1892/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.75 Current children cumulated vsize (KiB) 75560 [startup+16.2062 s] /proc/loadavg: 0.98 1.01 1.03 2/99 1897 /proc/meminfo: memFree=1215048/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=73412 CPUtime=15.66 /proc/1875/stat : 1875 (apt-pbo) S 1873 1873 13759 34823 13904 4202496 19267 25056 0 293 1224 11 306 25 18 0 1 0 418800666 75173888 17504 1283457024 134512640 135758360 4292420928 18446744073709551615 4159423822 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/1875/statm: 18353 17504 5562 305 0 11989 0 Current children cumulated CPU time (s) 15.66 Current children cumulated vsize (KiB) 75792 [startup+19.4089 s] /proc/loadavg: 0.98 1.01 1.03 2/99 1902 /proc/meminfo: memFree=1214180/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=73412 CPUtime=16.13 /proc/1875/stat : 1875 (apt-pbo) S 1873 1873 13759 34823 13904 4202496 20246 25056 0 293 1270 12 306 25 18 0 1 0 418800666 75173888 17513 1283457024 134512640 135758360 4292420928 18446744073709551615 4159423822 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/1875/statm: 18353 17513 5562 305 0 11989 0 [pid=1898] ppid=1875 vsize=0 CPUtime=2.15 /proc/1898/stat : 1898 (wbo) Z 1875 1873 13759 34823 13904 4202508 3804 0 0 0 209 6 0 0 18 0 1 0 418802261 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/1898/statm: 0 0 0 0 0 0 0 [pid=1899] ppid=1875 vsize=2440 CPUtime=0 /proc/1899/stat : 1899 (apt-get.sh) S 1875 1873 13759 34823 13904 4202496 430 617 0 0 0 0 0 0 18 0 1 0 418802528 2498560 276 1283457024 134512640 135191968 4293966608 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1899/statm: 610 276 223 166 0 42 0 [pid=1902] ppid=1899 vsize=26732 CPUtime=0.75 /proc/1902/stat : 1902 (apt-get) R 1899 1873 13759 34823 13904 4202496 6056 0 0 0 75 0 0 0 18 0 1 0 418802530 27373568 5941 1283457024 134512640 134646397 4290584544 18446744073709551615 4157041849 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/1902/statm: 6683 5941 5264 33 0 670 0 Current children cumulated CPU time (s) 19.03 Current children cumulated vsize (KiB) 104964 [startup+21.0107 s] /proc/loadavg: 0.98 1.01 1.03 2/97 1903 /proc/meminfo: memFree=1211476/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=73424 CPUtime=19.11 /proc/1875/stat : 1875 (apt-pbo) S 1873 1873 13759 34823 13904 4202496 21392 35976 0 293 1270 13 593 35 18 0 1 0 418800666 75186176 17516 1283457024 134512640 135758360 4292420928 18446744073709551615 4159423822 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/1875/statm: 18356 17516 5562 305 0 11992 0 [pid=1903] ppid=1875 vsize=8860 CPUtime=1.53 /proc/1903/stat : 1903 (wbo) R 1875 1873 13759 34823 13904 4202496 2829 0 0 0 153 0 0 0 18 0 1 0 418802612 9072640 1768 1283457024 134512640 135709839 4291716416 18446744073709551615 134570566 0 0 0 3 0 0 0 17 0 0 0 0 /proc/1903/statm: 2215 1768 132 293 0 1920 0 Current children cumulated CPU time (s) 20.64 Current children cumulated vsize (KiB) 84664 [startup+21.8109 s] /proc/loadavg: 0.98 1.01 1.03 2/97 1903 /proc/meminfo: memFree=1207880/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=73424 CPUtime=19.11 /proc/1875/stat : 1875 (apt-pbo) S 1873 1873 13759 34823 13904 4202496 21392 35976 0 293 1270 13 593 35 18 0 1 0 418800666 75186176 17516 1283457024 134512640 135758360 4292420928 18446744073709551615 4159423822 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/1875/statm: 18356 17516 5562 305 0 11992 0 [pid=1903] ppid=1875 vsize=11808 CPUtime=2.32 /proc/1903/stat : 1903 (wbo) R 1875 1873 13759 34823 13904 4202496 3872 0 0 0 230 2 0 0 18 0 1 0 418802612 12091392 2500 1283457024 134512640 135709839 4291716416 18446744073709551615 135162228 0 0 0 3 0 0 0 17 0 0 0 0 /proc/1903/statm: 2952 2500 132 293 0 2657 0 Current children cumulated CPU time (s) 21.43 Current children cumulated vsize (KiB) 87612 [startup+22.2044 s] /proc/loadavg: 1.06 1.03 1.04 2/97 1903 /proc/meminfo: memFree=1214212/2097152 swapFree=2055620/2097144 [pid=1873] ppid=1872 vsize=2380 CPUtime=0 /proc/1873/stat : 1873 (sh) S 1872 1873 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 23 0 1 0 418800665 2437120 264 1283457024 134512640 135191968 4292777568 18446744073709551615 4159269518 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1873/statm: 595 264 226 166 0 27 0 [pid=1875] ppid=1873 vsize=73424 CPUtime=19.35 /proc/1875/stat : 1875 (apt-pbo) R 1873 1873 13759 34823 13904 4202496 22078 35976 0 293 1294 13 593 35 18 0 1 0 418800666 75186176 17533 1283457024 134512640 135758360 4292420928 18446744073709551615 135026752 0 0 128 0 0 0 0 17 1 0 0 0 /proc/1875/statm: 18356 17533 5562 305 0 11992 0 [pid=1903] ppid=1875 vsize=0 CPUtime=2.49 /proc/1903/stat : 1903 (wbo) Z 1875 1873 13759 34823 13904 4202508 4098 0 0 0 245 4 0 0 18 0 1 0 418802612 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/1903/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 21.84 Current children cumulated vsize (KiB) 75804 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1873 and gives # childrusage.ru_utime.tv_sec=18 # childrusage.ru_utime.tv_usec=937183 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=504031 # CPU time returned by wait4() is 19.4412 # while last known CPU time is 21.84 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 22.2897 CPU time (s): 21.84 CPU user time (s): 21.32 CPU system time (s): 0.52 CPU usage (%): 97.9824 Max. virtual memory (cumulated for all children) (KiB): 104964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.9372 system time used= 0.504031 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61160 page faults= 293 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2159 involuntary context switches= 673 runsolver used 0.008 second user time and 0.016001 second system time The end