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/201007050905/aspcud-paranoid-1.0/rand951a14.cudf.easy.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/easy//rand951a14.cudf /home/misc2010/tmp/201007050905/aspcud-paranoid-1.0/rand951a14.cudf.easy.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: 1.22 1.27 1.03 5/37 28323 /proc/meminfo: memFree=476860/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4008 CPUtime=0.01 /proc/28323/stat : 28323 (python) R 28322 28323 24102 769 24102 4202496 902 0 0 0 1 0 0 0 25 0 1 0 525104756 4104192 672 1283457024 134512640 135539072 4292417696 18446744073709551615 134789962 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/28323/statm: 1002 672 350 251 0 303 0 [startup+0.179744 s] /proc/loadavg: 1.22 1.27 1.03 5/37 28323 /proc/meminfo: memFree=476860/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=0.02 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 525104756 4825088 835 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 835 400 251 0 436 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4712 [startup+0.209749 s] /proc/loadavg: 1.22 1.27 1.03 5/37 28323 /proc/meminfo: memFree=476860/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=0.02 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 525104756 4825088 835 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 835 400 251 0 436 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4712 [startup+0.309771 s] /proc/loadavg: 1.22 1.27 1.03 5/37 28323 /proc/meminfo: memFree=476860/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=0.02 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 525104756 4825088 835 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 835 400 251 0 436 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4712 [startup+0.709858 s] /proc/loadavg: 1.22 1.27 1.03 5/37 28323 /proc/meminfo: memFree=476860/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=0.02 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 525104756 4825088 835 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 835 400 251 0 436 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4712 [startup+1.51005 s] /proc/loadavg: 1.20 1.26 1.03 2/39 28326 /proc/meminfo: memFree=466212/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=0.02 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 525104756 4825088 835 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 835 400 251 0 436 0 [pid=28325] ppid=28323 vsize=15400 CPUtime=1.47 /proc/28325/stat : 28325 (cudf2lp) R 28323 28323 24102 769 24102 4202496 3990 0 0 0 146 1 0 0 25 0 1 0 525104758 15769600 3521 1283457024 134512640 135993029 4293876320 18446744073709551615 134582416 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/28325/statm: 3850 3521 110 362 0 3432 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20112 [startup+3.11042 s] /proc/loadavg: 1.20 1.26 1.03 2/39 28326 /proc/meminfo: memFree=456416/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=0.02 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1130 0 0 0 2 0 0 0 25 0 1 0 525104756 4825088 835 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 835 400 251 0 436 0 [pid=28325] ppid=28323 vsize=29668 CPUtime=3.07 /proc/28325/stat : 28325 (cudf2lp) R 28323 28323 24102 769 24102 4202496 7479 0 0 0 306 1 0 0 25 0 1 0 525104758 30380032 7010 1283457024 134512640 135993029 4293876320 18446744073709551615 134566521 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/28325/statm: 7417 7010 110 362 0 6999 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34380 [startup+6.311 s] /proc/loadavg: 1.20 1.26 1.03 3/41 28330 /proc/meminfo: memFree=458388/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=5.26 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1218 18246 0 0 2 0 433 91 18 0 1 0 525104756 4825088 837 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 837 402 251 0 436 0 [pid=28328] ppid=28323 vsize=2380 CPUtime=0 /proc/28328/stat : 28328 (sh) S 28323 28323 24102 769 24102 4194304 442 0 0 0 0 0 0 0 18 0 1 0 525105287 2437120 251 1283457024 134512640 135191968 4290756304 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28328/statm: 595 251 214 166 0 27 0 [pid=28329] ppid=28328 vsize=30680 CPUtime=0.89 /proc/28329/stat : 28329 (bingo) R 28328 28323 24102 769 24102 4202496 10029 0 0 0 86 3 0 0 25 0 1 0 525105287 31416320 6090 1283457024 134512640 136195415 4288318768 18446744073709551615 134612012 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/28329/statm: 7670 6090 205 411 0 7257 0 [pid=28330] ppid=28328 vsize=23092 CPUtime=0.1 /proc/28330/stat : 28330 (clasp) S 28328 28323 24102 769 24102 4202496 6536 0 0 0 10 0 0 0 19 0 1 0 525105289 23646208 5379 1283457024 134512640 136080129 4293937776 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/28330/statm: 5773 5379 147 383 0 5388 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 60864 [startup+12.706 s] /proc/loadavg: 1.24 1.27 1.03 2/41 28330 /proc/meminfo: memFree=91232/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=5.26 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1218 18246 0 0 2 0 433 91 18 0 1 0 525104756 4825088 837 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 837 402 251 0 436 0 [pid=28328] ppid=28323 vsize=2380 CPUtime=6.08 /proc/28328/stat : 28328 (sh) S 28323 28323 24102 769 24102 4194304 442 112341 0 0 0 0 564 44 18 0 1 0 525105287 2437120 251 1283457024 134512640 135191968 4290756304 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28328/statm: 595 251 214 166 0 27 0 [pid=28330] ppid=28328 vsize=107004 CPUtime=1.3 /proc/28330/stat : 28330 (clasp) R 28328 28323 24102 769 24102 4202496 29836 0 0 0 124 6 0 0 18 0 1 0 525105289 109572096 25916 1283457024 134512640 136080129 4293937776 18446744073709551615 134675132 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/28330/statm: 26751 25916 161 383 0 26366 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 114096 [startup+25.5098 s] /proc/loadavg: 1.21 1.26 1.03 2/41 28337 /proc/meminfo: memFree=337984/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=5.26 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1218 18246 0 0 2 0 433 91 18 0 1 0 525104756 4825088 837 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 837 402 251 0 436 0 [pid=28328] ppid=28323 vsize=2380 CPUtime=6.08 /proc/28328/stat : 28328 (sh) S 28323 28323 24102 769 24102 4194304 442 112341 0 0 0 0 564 44 18 0 1 0 525105287 2437120 251 1283457024 134512640 135191968 4290756304 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28328/statm: 595 251 214 166 0 27 0 [pid=28330] ppid=28328 vsize=125480 CPUtime=14.06 /proc/28330/stat : 28330 (clasp) R 28328 28323 24102 769 24102 4202496 46244 0 0 0 1388 18 0 0 25 0 1 0 525105289 128491520 30785 1283457024 134512640 136080129 4293937776 18446744073709551615 134849440 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/28330/statm: 31370 30785 189 383 0 30985 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 132572 Solver just ended. Dumping a history of the last processes samples [startup+25.6098 s] /proc/loadavg: 1.21 1.26 1.03 2/41 28337 /proc/meminfo: memFree=337984/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=5.26 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1218 18246 0 0 2 0 433 91 18 0 1 0 525104756 4825088 837 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 837 402 251 0 436 0 [pid=28328] ppid=28323 vsize=2380 CPUtime=6.08 /proc/28328/stat : 28328 (sh) S 28323 28323 24102 769 24102 4194304 442 112341 0 0 0 0 564 44 18 0 1 0 525105287 2437120 251 1283457024 134512640 135191968 4290756304 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28328/statm: 595 251 214 166 0 27 0 [pid=28330] ppid=28328 vsize=125480 CPUtime=14.16 /proc/28330/stat : 28330 (clasp) R 28328 28323 24102 769 24102 4202496 46244 0 0 0 1398 18 0 0 25 0 1 0 525105289 128491520 30785 1283457024 134512640 136080129 4293937776 18446744073709551615 134608517 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/28330/statm: 31370 30785 189 383 0 30985 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 132572 [startup+32.0117 s] /proc/loadavg: 1.17 1.25 1.03 2/40 28337 /proc/meminfo: memFree=334776/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=5.26 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1218 18246 0 0 2 0 433 91 18 0 1 0 525104756 4825088 837 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 837 402 251 0 436 0 [pid=28328] ppid=28323 vsize=2380 CPUtime=6.08 /proc/28328/stat : 28328 (sh) S 28323 28323 24102 769 24102 4194304 442 112341 0 0 0 0 564 44 18 0 1 0 525105287 2437120 251 1283457024 134512640 135191968 4290756304 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28328/statm: 595 251 214 166 0 27 0 [pid=28330] ppid=28328 vsize=125480 CPUtime=20.57 /proc/28330/stat : 28330 (clasp) R 28328 28323 24102 769 24102 4202496 46244 0 0 0 2038 19 0 0 25 0 1 0 525105289 128491520 30785 1283457024 134512640 136080129 4293937776 18446744073709551615 134849100 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/28330/statm: 31370 30785 189 383 0 30985 0 Current children cumulated CPU time (s) 31.91 Current children cumulated vsize (KiB) 132572 [startup+38.4144 s] /proc/loadavg: 1.16 1.25 1.03 2/40 28337 /proc/meminfo: memFree=331676/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=5.26 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1218 18246 0 0 2 0 433 91 18 0 1 0 525104756 4825088 837 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 837 402 251 0 436 0 [pid=28328] ppid=28323 vsize=2380 CPUtime=6.08 /proc/28328/stat : 28328 (sh) S 28323 28323 24102 769 24102 4194304 442 112341 0 0 0 0 564 44 18 0 1 0 525105287 2437120 251 1283457024 134512640 135191968 4290756304 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28328/statm: 595 251 214 166 0 27 0 [pid=28330] ppid=28328 vsize=125480 CPUtime=26.96 /proc/28330/stat : 28330 (clasp) R 28328 28323 24102 769 24102 4202496 46244 0 0 0 2676 20 0 0 25 0 1 0 525105289 128491520 30785 1283457024 134512640 136080129 4293937776 18446744073709551615 134608507 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/28330/statm: 31370 30785 189 383 0 30985 0 Current children cumulated CPU time (s) 38.3 Current children cumulated vsize (KiB) 132572 [startup+41.6056 s] /proc/loadavg: 1.15 1.24 1.03 2/40 28338 /proc/meminfo: memFree=329880/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=5.26 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1218 18246 0 0 2 0 433 91 18 0 1 0 525104756 4825088 837 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 837 402 251 0 436 0 [pid=28328] ppid=28323 vsize=2380 CPUtime=6.08 /proc/28328/stat : 28328 (sh) S 28323 28323 24102 769 24102 4194304 442 112341 0 0 0 0 564 44 18 0 1 0 525105287 2437120 251 1283457024 134512640 135191968 4290756304 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28328/statm: 595 251 214 166 0 27 0 [pid=28330] ppid=28328 vsize=125480 CPUtime=30.16 /proc/28330/stat : 28330 (clasp) R 28328 28323 24102 769 24102 4202496 46244 0 0 0 2995 21 0 0 25 0 1 0 525105289 128491520 30785 1283457024 134512640 136080129 4293937776 18446744073709551615 134809274 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/28330/statm: 31370 30785 189 383 0 30985 0 Current children cumulated CPU time (s) 41.5 Current children cumulated vsize (KiB) 132572 [startup+42.4059 s] /proc/loadavg: 1.15 1.24 1.03 2/40 28338 /proc/meminfo: memFree=329260/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=5.26 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1218 18246 0 0 2 0 433 91 18 0 1 0 525104756 4825088 837 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 837 402 251 0 436 0 [pid=28328] ppid=28323 vsize=2380 CPUtime=6.08 /proc/28328/stat : 28328 (sh) S 28323 28323 24102 769 24102 4194304 442 112341 0 0 0 0 564 44 18 0 1 0 525105287 2437120 251 1283457024 134512640 135191968 4290756304 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28328/statm: 595 251 214 166 0 27 0 [pid=28330] ppid=28328 vsize=125480 CPUtime=30.96 /proc/28330/stat : 28330 (clasp) R 28328 28323 24102 769 24102 4202496 46244 0 0 0 3075 21 0 0 25 0 1 0 525105289 128491520 30785 1283457024 134512640 136080129 4293937776 18446744073709551615 134835038 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/28330/statm: 31370 30785 189 383 0 30985 0 Current children cumulated CPU time (s) 42.3 Current children cumulated vsize (KiB) 132572 [startup+43.2062 s] /proc/loadavg: 1.15 1.24 1.03 2/40 28338 /proc/meminfo: memFree=328640/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=5.26 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1218 18246 0 0 2 0 433 91 18 0 1 0 525104756 4825088 837 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 837 402 251 0 436 0 [pid=28328] ppid=28323 vsize=2380 CPUtime=6.08 /proc/28328/stat : 28328 (sh) S 28323 28323 24102 769 24102 4194304 442 112341 0 0 0 0 564 44 18 0 1 0 525105287 2437120 251 1283457024 134512640 135191968 4290756304 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28328/statm: 595 251 214 166 0 27 0 [pid=28330] ppid=28328 vsize=125480 CPUtime=31.76 /proc/28330/stat : 28330 (clasp) R 28328 28323 24102 769 24102 4202496 46244 0 0 0 3155 21 0 0 25 0 1 0 525105289 128491520 30785 1283457024 134512640 136080129 4293937776 18446744073709551615 134608534 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/28330/statm: 31370 30785 189 383 0 30985 0 Current children cumulated CPU time (s) 43.1 Current children cumulated vsize (KiB) 132572 [startup+43.6066 s] /proc/loadavg: 1.15 1.24 1.03 2/40 28338 /proc/meminfo: memFree=328640/1048576 swapFree=2095456/2097144 [pid=28323] ppid=28322 vsize=4712 CPUtime=5.26 /proc/28323/stat : 28323 (python) S 28322 28323 24102 769 24102 4202496 1218 18246 0 0 2 0 433 91 18 0 1 0 525104756 4825088 837 1283457024 134512640 135539072 4292417696 18446744073709551615 4159767470 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/28323/statm: 1178 837 402 251 0 436 0 [pid=28328] ppid=28323 vsize=2380 CPUtime=6.08 /proc/28328/stat : 28328 (sh) S 28323 28323 24102 769 24102 4194304 442 112341 0 0 0 0 564 44 18 0 1 0 525105287 2437120 251 1283457024 134512640 135191968 4290756304 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28328/statm: 595 251 214 166 0 27 0 [pid=28330] ppid=28328 vsize=91864 CPUtime=32.16 /proc/28330/stat : 28330 (clasp) R 28328 28323 24102 769 24102 4202496 46255 0 0 0 3192 24 0 0 25 0 1 0 525105289 94068736 14502 1283457024 134512640 136080129 4293937776 18446744073709551615 135703614 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/28330/statm: 22966 14502 200 383 0 22581 0 Current children cumulated CPU time (s) 43.5 Current children cumulated vsize (KiB) 98956 Child status: 0 Real time (s): 43.6839 CPU time (s): 43.5987 CPU user time (s): 41.9626 CPU system time (s): 1.6361 CPU usage (%): 99.8051 Max. virtual memory (cumulated for all children) (KiB): 585524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 41.9626 system time used= 1.6361 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 179842 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= 3689 involuntary context switches= 4394 runsolver used 0 second user time and 0.008 second system time The end