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/201007051233/p2cudf-trendy-1.6/small2.cudf.cudf_set.log.runsolver ./p2cudf-trendy-1.6 /home/misc2010/data/2010/cudf_set/small2.cudf /home/misc2010/tmp/201007051233/p2cudf-trendy-1.6/small2.cudf.cudf_set.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.18 1.10 1.03 5/35 10673 /proc/meminfo: memFree=850340/1048576 swapFree=2094612/2097144 [pid=10671] ppid=10670 vsize=2388 CPUtime=0 /proc/10671/stat : 10671 (p2cudf-trendy-1) S 10670 10671 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527600846 2445312 262 1283457024 134512640 135191968 4290242192 18446744073709551615 4158650782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10671/statm: 597 262 223 166 0 29 0 [pid=10672] ppid=10671 vsize=2380 CPUtime=0 /proc/10672/stat : 10672 (p2cudf) R 10671 10671 3447 769 3447 4194304 333 0 0 0 0 0 0 0 25 0 1 0 527600846 2437120 262 1283457024 134512640 135191968 4288412912 18446744073709551615 4158837152 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/10672/statm: 595 262 224 166 0 27 0 [pid=10673] ppid=10672 vsize=2380 CPUtime=0 /proc/10673/stat : 10673 (p2cudf) R 10672 10671 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 527600846 2437120 38 1283457024 134512640 135191968 4288412912 18446744073709551615 4158837152 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/10673/statm: 595 38 0 166 0 27 0 [startup+0.156975 s] /proc/loadavg: 1.18 1.10 1.03 5/35 10673 /proc/meminfo: memFree=850340/1048576 swapFree=2094612/2097144 [pid=10671] ppid=10670 vsize=2388 CPUtime=0 /proc/10671/stat : 10671 (p2cudf-trendy-1) S 10670 10671 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527600846 2445312 262 1283457024 134512640 135191968 4290242192 18446744073709551615 4158650782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10671/statm: 597 262 223 166 0 29 0 [pid=10672] ppid=10671 vsize=2388 CPUtime=0.02 /proc/10672/stat : 10672 (p2cudf) S 10671 10671 3447 769 3447 4202496 378 2737 0 1 0 0 1 1 25 0 1 0 527600846 2445312 272 1283457024 134512640 135191968 4288412912 18446744073709551615 4158835102 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10672/statm: 597 272 232 166 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4776 [startup+0.206984 s] /proc/loadavg: 1.18 1.10 1.03 5/35 10673 /proc/meminfo: memFree=850340/1048576 swapFree=2094612/2097144 [pid=10671] ppid=10670 vsize=2388 CPUtime=0 /proc/10671/stat : 10671 (p2cudf-trendy-1) S 10670 10671 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527600846 2445312 262 1283457024 134512640 135191968 4290242192 18446744073709551615 4158650782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10671/statm: 597 262 223 166 0 29 0 [pid=10672] ppid=10671 vsize=2388 CPUtime=0.02 /proc/10672/stat : 10672 (p2cudf) S 10671 10671 3447 769 3447 4202496 378 2737 0 1 0 0 1 1 25 0 1 0 527600846 2445312 272 1283457024 134512640 135191968 4288412912 18446744073709551615 4158835102 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10672/statm: 597 272 232 166 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4776 [startup+0.306993 s] /proc/loadavg: 1.18 1.10 1.03 5/35 10673 /proc/meminfo: memFree=850340/1048576 swapFree=2094612/2097144 [pid=10671] ppid=10670 vsize=2388 CPUtime=0 /proc/10671/stat : 10671 (p2cudf-trendy-1) S 10670 10671 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527600846 2445312 262 1283457024 134512640 135191968 4290242192 18446744073709551615 4158650782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10671/statm: 597 262 223 166 0 29 0 [pid=10672] ppid=10671 vsize=2388 CPUtime=0.02 /proc/10672/stat : 10672 (p2cudf) S 10671 10671 3447 769 3447 4202496 378 2737 0 1 0 0 1 1 25 0 1 0 527600846 2445312 272 1283457024 134512640 135191968 4288412912 18446744073709551615 4158835102 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10672/statm: 597 272 232 166 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4776 [startup+0.707064 s] /proc/loadavg: 1.18 1.10 1.03 5/35 10673 /proc/meminfo: memFree=850340/1048576 swapFree=2094612/2097144 [pid=10671] ppid=10670 vsize=2388 CPUtime=0 /proc/10671/stat : 10671 (p2cudf-trendy-1) S 10670 10671 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527600846 2445312 262 1283457024 134512640 135191968 4290242192 18446744073709551615 4158650782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10671/statm: 597 262 223 166 0 29 0 [pid=10672] ppid=10671 vsize=2388 CPUtime=0.02 /proc/10672/stat : 10672 (p2cudf) S 10671 10671 3447 769 3447 4202496 378 2737 0 1 0 0 1 1 25 0 1 0 527600846 2445312 272 1283457024 134512640 135191968 4288412912 18446744073709551615 4158835102 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10672/statm: 597 272 232 166 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4776 [startup+1.50505 s] /proc/loadavg: 1.18 1.10 1.03 3/45 10694 /proc/meminfo: memFree=827760/1048576 swapFree=2094612/2097144 [pid=10671] ppid=10670 vsize=2388 CPUtime=0 /proc/10671/stat : 10671 (p2cudf-trendy-1) S 10670 10671 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527600846 2445312 262 1283457024 134512640 135191968 4290242192 18446744073709551615 4158650782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10671/statm: 597 262 223 166 0 29 0 [pid=10672] ppid=10671 vsize=2388 CPUtime=0.02 /proc/10672/stat : 10672 (p2cudf) S 10671 10671 3447 769 3447 4202496 378 2737 0 1 0 0 1 1 25 0 1 0 527600846 2445312 272 1283457024 134512640 135191968 4288412912 18446744073709551615 4158835102 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10672/statm: 597 272 232 166 0 29 0 [pid=10685] ppid=10672 vsize=860840 CPUtime=1.13 /proc/10685/stat : 10685 (java) S 10672 10671 3447 769 3447 4202496 8187 0 1 0 107 6 0 0 25 0 12 0 527600849 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159730834 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10685/statm: 215210 7245 1453 10 0 212482 0 [pid=10685/tid=10686] ppid=10672 vsize=860840 CPUtime=0.76 /proc/10685/task/10686/stat : 10686 (java) S 10672 10671 3447 769 3447 4202560 5072 0 1 0 70 6 0 0 25 0 12 0 527600850 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10687] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10687/stat : 10687 (java) S 10672 10671 3447 769 3447 4202560 2 0 0 0 0 0 0 0 18 0 12 0 527600851 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159745032 0 0 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10688] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10688/stat : 10688 (java) S 10672 10671 3447 769 3447 4202560 10 0 0 0 0 0 0 0 25 0 12 0 527600851 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10689] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10689/stat : 10689 (java) S 10672 10671 3447 769 3447 4202560 5 0 0 0 0 0 0 0 25 0 12 0 527600851 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10690] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10690/stat : 10690 (java) S 10672 10671 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 12 0 527600854 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159752528 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10691] ppid=10672 vsize=860840 CPUtime=0.19 /proc/10685/task/10691/stat : 10691 (java) S 10672 10671 3447 769 3447 4202560 2123 0 0 0 19 0 0 0 20 0 12 0 527600854 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10692] ppid=10672 vsize=860840 CPUtime=0.16 /proc/10685/task/10692/stat : 10692 (java) S 10672 10671 3447 769 3447 4202560 146 0 0 0 16 0 0 0 23 0 12 0 527600854 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10693] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10693/stat : 10693 (java) S 10672 10671 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 12 0 527600854 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10694] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10694/stat : 10694 (java) S 10672 10671 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 12 0 527600854 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159745032 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 865616 Solver just ended. Dumping a history of the last processes samples [startup+1.60501 s] /proc/loadavg: 1.18 1.10 1.03 3/45 10694 /proc/meminfo: memFree=827760/1048576 swapFree=2094612/2097144 [pid=10671] ppid=10670 vsize=2388 CPUtime=0 /proc/10671/stat : 10671 (p2cudf-trendy-1) S 10670 10671 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527600846 2445312 262 1283457024 134512640 135191968 4290242192 18446744073709551615 4158650782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10671/statm: 597 262 223 166 0 29 0 [pid=10672] ppid=10671 vsize=2388 CPUtime=0.02 /proc/10672/stat : 10672 (p2cudf) S 10671 10671 3447 769 3447 4202496 378 2737 0 1 0 0 1 1 25 0 1 0 527600846 2445312 272 1283457024 134512640 135191968 4288412912 18446744073709551615 4158835102 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10672/statm: 597 272 232 166 0 29 0 [pid=10685] ppid=10672 vsize=860840 CPUtime=1.13 /proc/10685/stat : 10685 (java) S 10672 10671 3447 769 3447 4202496 8187 0 1 0 107 6 0 0 25 0 12 0 527600849 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159730834 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10685/statm: 215210 7245 1453 10 0 212482 0 [pid=10685/tid=10686] ppid=10672 vsize=860840 CPUtime=0.76 /proc/10685/task/10686/stat : 10686 (java) S 10672 10671 3447 769 3447 4202560 5072 0 1 0 70 6 0 0 25 0 12 0 527600850 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10687] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10687/stat : 10687 (java) S 10672 10671 3447 769 3447 4202560 2 0 0 0 0 0 0 0 18 0 12 0 527600851 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159745032 0 0 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10688] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10688/stat : 10688 (java) S 10672 10671 3447 769 3447 4202560 10 0 0 0 0 0 0 0 25 0 12 0 527600851 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10689] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10689/stat : 10689 (java) S 10672 10671 3447 769 3447 4202560 5 0 0 0 0 0 0 0 25 0 12 0 527600851 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10690] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10690/stat : 10690 (java) S 10672 10671 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 12 0 527600854 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159752528 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10691] ppid=10672 vsize=860840 CPUtime=0.19 /proc/10685/task/10691/stat : 10691 (java) S 10672 10671 3447 769 3447 4202560 2123 0 0 0 19 0 0 0 20 0 12 0 527600854 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10692] ppid=10672 vsize=860840 CPUtime=0.16 /proc/10685/task/10692/stat : 10692 (java) S 10672 10671 3447 769 3447 4202560 146 0 0 0 16 0 0 0 23 0 12 0 527600854 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10693] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10693/stat : 10693 (java) S 10672 10671 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 12 0 527600854 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10694] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10694/stat : 10694 (java) R 10672 10671 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 12 0 527600854 881500160 7245 1283457024 134512640 134550932 4289274976 18446744073709551615 4159745032 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 865616 [startup+1.70502 s] /proc/loadavg: 1.18 1.10 1.03 3/45 10694 /proc/meminfo: memFree=827760/1048576 swapFree=2094612/2097144 [pid=10671] ppid=10670 vsize=2388 CPUtime=0 /proc/10671/stat : 10671 (p2cudf-trendy-1) S 10670 10671 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527600846 2445312 262 1283457024 134512640 135191968 4290242192 18446744073709551615 4158650782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10671/statm: 597 262 223 166 0 29 0 [pid=10672] ppid=10671 vsize=2388 CPUtime=0.02 /proc/10672/stat : 10672 (p2cudf) S 10671 10671 3447 769 3447 4202496 378 2737 0 1 0 0 1 1 25 0 1 0 527600846 2445312 272 1283457024 134512640 135191968 4288412912 18446744073709551615 4158835102 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10672/statm: 597 272 232 166 0 29 0 [pid=10685] ppid=10672 vsize=860840 CPUtime=1.13 /proc/10685/stat : 10685 (java) S 10672 10671 3447 769 3447 4202496 8190 0 1 0 107 6 0 0 25 0 11 0 527600849 881500160 7248 1283457024 134512640 134550932 4289274976 18446744073709551615 4159730834 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10685/statm: 215210 7248 1454 10 0 212482 0 [pid=10685/tid=10686] ppid=10672 vsize=860840 CPUtime=0.76 /proc/10685/task/10686/stat : 10686 (java) S 10672 10671 3447 769 3447 4202560 5072 0 1 0 70 6 0 0 20 0 11 0 527600850 881500160 7248 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10687] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10687/stat : 10687 (java) S 10672 10671 3447 769 3447 4202560 2 0 0 0 0 0 0 0 18 0 11 0 527600851 881500160 7248 1283457024 134512640 134550932 4289274976 18446744073709551615 4159745032 0 0 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10688] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10688/stat : 10688 (java) S 10672 10671 3447 769 3447 4202560 10 0 0 0 0 0 0 0 25 0 11 0 527600851 881500160 7248 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10689] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10689/stat : 10689 (java) S 10672 10671 3447 769 3447 4202560 5 0 0 0 0 0 0 0 25 0 11 0 527600851 881500160 7248 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10690] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10690/stat : 10690 (java) S 10672 10671 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 11 0 527600854 881500160 7248 1283457024 134512640 134550932 4289274976 18446744073709551615 4159752528 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10691] ppid=10672 vsize=860840 CPUtime=0.19 /proc/10685/task/10691/stat : 10691 (java) S 10672 10671 3447 769 3447 4202560 2123 0 0 0 19 0 0 0 20 0 11 0 527600854 881500160 7248 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10692] ppid=10672 vsize=860840 CPUtime=0.16 /proc/10685/task/10692/stat : 10692 (java) S 10672 10671 3447 769 3447 4202560 146 0 0 0 16 0 0 0 23 0 11 0 527600854 881500160 7248 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10693] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10693/stat : 10693 (java) S 10672 10671 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 11 0 527600854 881500160 7248 1283457024 134512640 134550932 4289274976 18446744073709551615 4159744240 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=10685/tid=10694] ppid=10672 vsize=860840 CPUtime=0 /proc/10685/task/10694/stat : 10694 (java) S 10672 10671 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 11 0 527600854 881500160 7248 1283457024 134512640 134550932 4289274976 18446744073709551615 4159745032 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 865616 Child status: 0 Real time (s): 1.72198 CPU time (s): 1.16407 CPU user time (s): 1.08807 CPU system time (s): 0.076004 CPU usage (%): 67.6007 Max. virtual memory (cumulated for all children) (KiB): 865616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.08807 system time used= 0.076004 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11693 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 150 involuntary context switches= 96 runsolver used 0 second user time and 0 second system time The end