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/rand0aa5c1.cudf.difficult.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/difficult//rand0aa5c1.cudf /home/misc2010/tmp/201007051419/apt-pbo-paranoid-1.0.5/rand0aa5c1.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: 1.07 1.11 1.00 1/106 18483 /proc/meminfo: memFree=1141624/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=1352 CPUtime=0 /proc/18485/stat : 18485 (apt-pbo) R 18483 18483 13759 34823 13904 4194304 60 0 0 0 0 0 0 0 19 0 1 0 415230722 1384448 4 1283457024 134512640 135758360 4288133424 18446744073709551615 4159670288 0 0 0 0 0 0 0 17 1 0 0 0 /proc/18485/statm: 338 16 11 305 0 3 0 [startup+0.133023 s] /proc/loadavg: 1.07 1.11 1.00 1/106 18483 /proc/meminfo: memFree=1141624/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=7924 CPUtime=0.07 /proc/18485/stat : 18485 (apt-pbo) R 18483 18483 13759 34823 13904 4202496 1587 716 0 0 7 0 0 0 19 0 1 0 415230722 8114176 1357 1283457024 134512640 135758360 4288133424 18446744073709551615 135311281 0 0 128 0 0 0 0 17 0 0 0 0 /proc/18485/statm: 1981 1357 628 305 0 754 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10308 [startup+0.212959 s] /proc/loadavg: 1.07 1.11 1.00 1/106 18483 /proc/meminfo: memFree=1141624/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=8452 CPUtime=0.15 /proc/18485/stat : 18485 (apt-pbo) R 18483 18483 13759 34823 13904 4202496 1902 716 0 0 15 0 0 0 19 0 1 0 415230722 8654848 1497 1283457024 134512640 135758360 4288133424 18446744073709551615 134952012 0 0 128 0 0 0 0 17 0 0 0 0 /proc/18485/statm: 2113 1497 628 305 0 886 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 10836 [startup+0.31301 s] /proc/loadavg: 1.07 1.11 1.00 1/106 18483 /proc/meminfo: memFree=1141624/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=9248 CPUtime=0.25 /proc/18485/stat : 18485 (apt-pbo) R 18483 18483 13759 34823 13904 4202496 2078 716 0 0 25 0 0 0 19 0 1 0 415230722 9469952 1673 1283457024 134512640 135758360 4288133424 18446744073709551615 134893847 0 0 128 0 0 0 0 17 0 0 0 0 /proc/18485/statm: 2312 1673 628 305 0 1085 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 11632 [startup+0.71305 s] /proc/loadavg: 1.07 1.11 1.00 1/106 18483 /proc/meminfo: memFree=1141624/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=11780 CPUtime=0.65 /proc/18485/stat : 18485 (apt-pbo) R 18483 18483 13759 34823 13904 4202496 2760 716 0 0 65 0 0 0 19 0 1 0 415230722 12062720 2322 1283457024 134512640 135758360 4288133424 18446744073709551615 134950696 0 0 128 0 0 0 0 17 0 0 0 0 /proc/18485/statm: 2945 2322 628 305 0 1718 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 14164 [startup+1.5132 s] /proc/loadavg: 1.07 1.11 1.00 2/108 18489 /proc/meminfo: memFree=1127928/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=17076 CPUtime=1.45 /proc/18485/stat : 18485 (apt-pbo) R 18483 18483 13759 34823 13904 4202496 4085 716 0 0 145 0 0 0 21 0 1 0 415230722 17485824 3641 1283457024 134512640 135758360 4288133424 18446744073709551615 135041390 0 0 128 0 0 0 0 17 0 0 0 0 /proc/18485/statm: 4269 3641 628 305 0 3042 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 19460 [startup+3.1135 s] /proc/loadavg: 1.07 1.11 1.00 2/108 18489 /proc/meminfo: memFree=1115056/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=27604 CPUtime=3.06 /proc/18485/stat : 18485 (apt-pbo) R 18483 18483 13759 34823 13904 4202496 6726 716 0 0 304 2 0 0 25 0 1 0 415230722 28266496 6275 1283457024 134512640 135758360 4288133424 18446744073709551615 135098689 0 0 128 0 0 0 0 17 0 0 0 0 /proc/18485/statm: 6901 6275 628 305 0 5674 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 29988 [startup+6.30531 s] /proc/loadavg: 1.14 1.12 1.01 2/106 18489 /proc/meminfo: memFree=1080568/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=44016 CPUtime=5.51 /proc/18485/stat : 18485 (apt-pbo) S 18483 18483 13759 34823 13904 4202496 10868 716 0 0 545 6 0 0 22 0 1 0 415230722 45072384 10381 1283457024 134512640 135758360 4288133424 18446744073709551615 4159415630 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/18485/statm: 11004 10381 628 305 0 9777 0 Current children cumulated CPU time (s) 5.51 Current children cumulated vsize (KiB) 46400 [startup+12.7055 s] /proc/loadavg: 1.13 1.12 1.01 2/109 18505 /proc/meminfo: memFree=1023640/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=69448 CPUtime=11.5 /proc/18485/stat : 18485 (apt-pbo) R 18483 18483 13759 34823 13904 4202496 17676 16646 0 293 950 10 164 26 25 0 1 0 415230722 71114752 16511 1283457024 134512640 135758360 4288133424 18446744073709551615 134976194 0 0 128 0 0 0 0 17 1 0 0 0 /proc/18485/statm: 17362 16511 5560 305 0 10998 0 [pid=18505] ppid=18485 vsize=0 CPUtime=0.94 /proc/18505/stat : 18505 (wbo) Z 18485 18483 13759 34823 13904 4202508 1621 0 0 0 92 2 0 0 18 0 1 0 415231497 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/18505/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.44 Current children cumulated vsize (KiB) 71832 Solver just ended. Dumping a history of the last processes samples [startup+12.8055 s] /proc/loadavg: 1.13 1.12 1.01 2/109 18505 /proc/meminfo: memFree=1023640/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=69448 CPUtime=11.6 /proc/18485/stat : 18485 (apt-pbo) R 18483 18483 13759 34823 13904 4202496 17676 16646 0 293 960 10 164 26 25 0 1 0 415230722 71114752 16511 1283457024 134512640 135758360 4288133424 18446744073709551615 4158532791 0 0 128 0 0 0 0 17 1 0 0 0 /proc/18485/statm: 17362 16511 5560 305 0 10998 0 [pid=18505] ppid=18485 vsize=0 CPUtime=0.94 /proc/18505/stat : 18505 (wbo) Z 18485 18483 13759 34823 13904 4202508 1621 0 0 0 92 2 0 0 18 0 1 0 415231497 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/18505/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.54 Current children cumulated vsize (KiB) 71832 [startup+19.2098 s] /proc/loadavg: 1.12 1.12 1.01 2/109 18511 /proc/meminfo: memFree=1021912/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=69680 CPUtime=15.66 /proc/18485/stat : 18485 (apt-pbo) S 18483 18483 13759 34823 13904 4202496 18895 25382 0 293 1184 13 338 31 18 0 1 0 415230722 71352320 16598 1283457024 134512640 135758360 4288133424 18446744073709551615 4159415630 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/18485/statm: 17420 16598 5561 305 0 11056 0 [pid=18511] ppid=18485 vsize=0 CPUtime=2.82 /proc/18511/stat : 18511 (wbo) Z 18485 18483 13759 34823 13904 4202508 4067 0 0 0 278 4 0 0 18 0 1 0 415232282 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/18511/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 18.48 Current children cumulated vsize (KiB) 72064 [startup+20.8141 s] /proc/loadavg: 1.11 1.12 1.00 2/109 18516 /proc/meminfo: memFree=1019176/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=69688 CPUtime=19.29 /proc/18485/stat : 18485 (apt-pbo) S 18483 18483 13759 34823 13904 4202496 19817 36560 0 293 1184 14 690 41 18 0 1 0 415230722 71360512 16600 1283457024 134512640 135758360 4288133424 18446744073709551615 4159415630 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/18485/statm: 17422 16600 5561 305 0 11058 0 [pid=18516] ppid=18485 vsize=7388 CPUtime=1.1 /proc/18516/stat : 18516 (wbo) R 18485 18483 13759 34823 13904 4202496 1975 0 0 0 108 2 0 0 18 0 1 0 415232689 7565312 1402 1283457024 134512640 135709839 4286697584 18446744073709551615 134605551 0 0 0 3 0 0 0 17 0 0 0 0 /proc/18516/statm: 1847 1402 132 293 0 1552 0 Current children cumulated CPU time (s) 20.39 Current children cumulated vsize (KiB) 79460 [startup+21.6059 s] /proc/loadavg: 1.11 1.12 1.00 2/109 18516 /proc/meminfo: memFree=1016076/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=69688 CPUtime=19.29 /proc/18485/stat : 18485 (apt-pbo) S 18483 18483 13759 34823 13904 4202496 19817 36560 0 293 1184 14 690 41 18 0 1 0 415230722 71360512 16600 1283457024 134512640 135758360 4288133424 18446744073709551615 4159415630 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/18485/statm: 17422 16600 5561 305 0 11058 0 [pid=18516] ppid=18485 vsize=10012 CPUtime=1.87 /proc/18516/stat : 18516 (wbo) R 18485 18483 13759 34823 13904 4202496 2898 0 0 0 185 2 0 0 18 0 1 0 415232689 10252288 2064 1283457024 134512640 135709839 4286697584 18446744073709551615 134605170 0 0 0 3 0 0 0 17 0 0 0 0 /proc/18516/statm: 2503 2064 132 293 0 2208 0 Current children cumulated CPU time (s) 21.16 Current children cumulated vsize (KiB) 82084 [startup+22.4146 s] /proc/loadavg: 1.11 1.12 1.00 2/109 18516 /proc/meminfo: memFree=1012356/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=69688 CPUtime=19.29 /proc/18485/stat : 18485 (apt-pbo) S 18483 18483 13759 34823 13904 4202496 19817 36560 0 293 1184 14 690 41 18 0 1 0 415230722 71360512 16600 1283457024 134512640 135758360 4288133424 18446744073709551615 4159415630 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/18485/statm: 17422 16600 5561 305 0 11058 0 [pid=18516] ppid=18485 vsize=13024 CPUtime=2.67 /proc/18516/stat : 18516 (wbo) R 18485 18483 13759 34823 13904 4202496 3924 0 0 0 265 2 0 0 18 0 1 0 415232689 13336576 2797 1283457024 134512640 135709839 4286697584 18446744073709551615 135146372 0 0 0 3 0 0 0 17 0 0 0 0 /proc/18516/statm: 3256 2797 132 293 0 2961 0 Current children cumulated CPU time (s) 21.96 Current children cumulated vsize (KiB) 85096 [startup+22.8059 s] /proc/loadavg: 1.11 1.12 1.00 2/109 18516 /proc/meminfo: memFree=1012356/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=69836 CPUtime=19.31 /proc/18485/stat : 18485 (apt-pbo) R 18483 18483 13759 34823 13904 4202496 20183 36560 0 293 1185 15 690 41 18 0 1 0 415230722 71512064 16616 1283457024 134512640 135758360 4288133424 18446744073709551615 134893446 0 0 128 0 0 0 0 17 1 0 0 0 /proc/18485/statm: 17459 16616 5561 305 0 11095 0 [pid=18516] ppid=18485 vsize=0 CPUtime=3 /proc/18516/stat : 18516 (wbo) Z 18485 18483 13759 34823 13904 4202508 4427 0 0 0 298 2 0 0 18 0 1 0 415232689 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/18516/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 22.31 Current children cumulated vsize (KiB) 72220 [startup+22.9059 s] /proc/loadavg: 1.11 1.12 1.00 2/109 18516 /proc/meminfo: memFree=1012356/2097152 swapFree=2055676/2097144 [pid=18483] ppid=18482 vsize=2384 CPUtime=0 /proc/18483/stat : 18483 (sh) S 18482 18483 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 415230722 2441216 264 1283457024 134512640 135191968 4289833872 18446744073709551615 4159572622 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18483/statm: 596 264 226 166 0 28 0 [pid=18485] ppid=18483 vsize=69836 CPUtime=19.41 /proc/18485/stat : 18485 (apt-pbo) R 18483 18483 13759 34823 13904 4202496 20190 36560 0 293 1195 15 690 41 18 0 1 0 415230722 71512064 16616 1283457024 134512640 135758360 4288133424 18446744073709551615 135201940 0 0 128 0 0 0 0 17 1 0 0 0 /proc/18485/statm: 17459 16616 5561 305 0 11095 0 [pid=18516] ppid=18485 vsize=0 CPUtime=3 /proc/18516/stat : 18516 (wbo) Z 18485 18483 13759 34823 13904 4202508 4427 0 0 0 298 2 0 0 18 0 1 0 415232689 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/18516/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 22.41 Current children cumulated vsize (KiB) 72220 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18483 and gives # childrusage.ru_utime.tv_sec=18 # childrusage.ru_utime.tv_usec=941183 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=584036 # CPU time returned by wait4() is 19.5252 # while last known CPU time is 22.41 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 22.9944 CPU time (s): 22.41 CPU user time (s): 21.83 CPU system time (s): 0.58 CPU usage (%): 97.4586 Max. virtual memory (cumulated for all children) (KiB): 101384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.9412 system time used= 0.584036 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60093 page faults= 294 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2080 involuntary context switches= 1232 runsolver used 0 second user time and 0.008 second system time The end