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/aspcud-paranoid-1.0/rande4fcd8.cudf.difficult.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/difficult//rande4fcd8.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/rande4fcd8.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.88 1.02 1.06 1/94 6414 /proc/meminfo: memFree=1255608/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=3268 CPUtime=0 /proc/6414/stat : 6414 (python) R 6413 6414 13759 34823 13904 4202496 501 0 0 0 0 0 0 0 25 0 1 0 418962110 3346432 301 1283457024 134512640 135539072 4286697616 18446744073709551615 134800287 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6414/statm: 817 303 227 251 0 118 0 [startup+0.20597 s] /proc/loadavg: 0.88 1.02 1.06 1/94 6414 /proc/meminfo: memFree=1255608/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=0.01 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 25 0 1 0 418962110 4796416 831 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.30603 s] /proc/loadavg: 0.88 1.02 1.06 1/94 6414 /proc/meminfo: memFree=1255608/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=0.01 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 25 0 1 0 418962110 4796416 831 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.405997 s] /proc/loadavg: 0.88 1.02 1.06 1/94 6414 /proc/meminfo: memFree=1255608/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=0.01 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 25 0 1 0 418962110 4796416 831 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.706088 s] /proc/loadavg: 0.88 1.02 1.06 1/94 6414 /proc/meminfo: memFree=1255608/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=0.01 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 25 0 1 0 418962110 4796416 831 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 831 398 251 0 429 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+1.50762 s] /proc/loadavg: 0.88 1.02 1.06 2/96 6416 /proc/meminfo: memFree=1243448/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=0.01 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 25 0 1 0 418962110 4796416 831 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 831 398 251 0 429 0 [pid=6416] ppid=6414 vsize=15152 CPUtime=1.45 /proc/6416/stat : 6416 (cudf2lp) R 6414 6414 13759 34823 13904 4202496 3933 0 0 0 142 3 0 0 19 0 1 0 418962114 15515648 3461 1283457024 134512640 135993029 4291999248 18446744073709551615 134584165 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/6416/statm: 3788 3461 110 362 0 3370 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 19836 [startup+3.10772 s] /proc/loadavg: 0.89 1.02 1.06 2/96 6417 /proc/meminfo: memFree=1232908/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=0.01 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 25 0 1 0 418962110 4796416 831 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 831 398 251 0 429 0 [pid=6416] ppid=6414 vsize=29420 CPUtime=3.06 /proc/6416/stat : 6416 (cudf2lp) R 6414 6414 13759 34823 13904 4202496 7385 0 0 0 298 8 0 0 24 0 1 0 418962114 30126080 6913 1283457024 134512640 135993029 4291999248 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/6416/statm: 7355 6913 110 362 0 6937 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 34104 [startup+6.30783 s] /proc/loadavg: 0.89 1.02 1.06 2/96 6417 /proc/meminfo: memFree=1201164/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=0.01 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1151 0 0 0 1 0 0 0 25 0 1 0 418962110 4796416 831 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 831 398 251 0 429 0 [pid=6416] ppid=6414 vsize=74124 CPUtime=6.24 /proc/6416/stat : 6416 (cudf2lp) R 6414 6414 13759 34823 13904 4202496 18514 0 0 0 591 33 0 0 25 0 1 0 418962114 75902976 18042 1283457024 134512640 135993029 4291999248 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/6416/statm: 18531 18043 134 362 0 18113 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 78808 [startup+12.7041 s] /proc/loadavg: 0.90 1.02 1.06 2/98 6420 /proc/meminfo: memFree=1014156/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=7.78 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1238 27751 0 0 1 0 692 85 20 0 1 0 418962110 4796416 833 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 833 400 251 0 429 0 [pid=6418] ppid=6414 vsize=2376 CPUtime=0 /proc/6418/stat : 6418 (sh) S 6414 6414 13759 34823 13904 4194304 443 0 0 0 0 0 0 0 22 0 1 0 418962894 2433024 249 1283457024 134512640 135191968 4287982016 18446744073709551615 4159666830 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6418/statm: 594 249 212 166 0 26 0 [pid=6419] ppid=6418 vsize=193272 CPUtime=4.83 /proc/6419/stat : 6419 (bingo) R 6418 6414 13759 34823 13904 4202496 56538 0 0 0 462 21 0 0 19 0 1 0 418962894 197910528 38285 1283457024 134512640 136195415 4288707344 18446744073709551615 134659635 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/6419/statm: 48318 38287 220 411 0 47905 0 [pid=6420] ppid=6418 vsize=111840 CPUtime=0.49 /proc/6420/stat : 6420 (clasp) S 6418 6414 13759 34823 13904 4202496 31462 0 0 0 44 5 0 0 18 0 1 0 418962894 114524160 27295 1283457024 134512640 136080129 4292316768 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/6420/statm: 27960 27295 147 383 0 27575 0 Current children cumulated CPU time (s) 13.1 Current children cumulated vsize (KiB) 312172 [startup+25.511 s] /proc/loadavg: 1.00 1.04 1.07 2/97 6421 /proc/meminfo: memFree=1044816/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=7.78 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1238 27751 0 0 1 0 692 85 20 0 1 0 418962110 4796416 833 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 833 400 251 0 429 0 [pid=6418] ppid=6414 vsize=2376 CPUtime=10.25 /proc/6418/stat : 6418 (sh) S 6414 6414 13759 34823 13904 4194304 443 175503 0 0 0 0 955 70 18 0 1 0 418962894 2433024 249 1283457024 134512640 135191968 4287982016 18446744073709551615 4159666830 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6418/statm: 594 249 212 166 0 26 0 [pid=6420] ppid=6418 vsize=200408 CPUtime=8.4 /proc/6420/stat : 6420 (clasp) R 6418 6414 13759 34823 13904 4202496 76581 0 0 0 816 24 0 0 25 0 1 0 418962894 205217792 49196 1283457024 134512640 136080129 4292316768 18446744073709551615 134849233 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6420/statm: 50102 49196 191 383 0 49717 0 Current children cumulated CPU time (s) 26.43 Current children cumulated vsize (KiB) 207468 [startup+51.1078 s] /proc/loadavg: 1.06 1.05 1.07 2/98 6427 /proc/meminfo: memFree=1044404/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=7.78 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1238 27751 0 0 1 0 692 85 20 0 1 0 418962110 4796416 833 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 833 400 251 0 429 0 [pid=6418] ppid=6414 vsize=2376 CPUtime=10.25 /proc/6418/stat : 6418 (sh) S 6414 6414 13759 34823 13904 4194304 443 175503 0 0 0 0 955 70 18 0 1 0 418962894 2433024 249 1283457024 134512640 135191968 4287982016 18446744073709551615 4159666830 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6418/statm: 594 249 212 166 0 26 0 [pid=6420] ppid=6418 vsize=200408 CPUtime=32.89 /proc/6420/stat : 6420 (clasp) R 6418 6414 13759 34823 13904 4202496 76581 0 0 0 3265 24 0 0 25 0 1 0 418962894 205217792 49196 1283457024 134512640 136080129 4292316768 18446744073709551615 134849233 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6420/statm: 50102 49196 191 383 0 49717 0 Current children cumulated CPU time (s) 50.92 Current children cumulated vsize (KiB) 207468 Solver just ended. Dumping a history of the last processes samples [startup+51.3079 s] /proc/loadavg: 1.06 1.05 1.07 2/98 6427 /proc/meminfo: memFree=1044404/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=7.78 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1238 27751 0 0 1 0 692 85 20 0 1 0 418962110 4796416 833 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 833 400 251 0 429 0 [pid=6418] ppid=6414 vsize=2376 CPUtime=10.25 /proc/6418/stat : 6418 (sh) S 6414 6414 13759 34823 13904 4194304 443 175503 0 0 0 0 955 70 18 0 1 0 418962894 2433024 249 1283457024 134512640 135191968 4287982016 18446744073709551615 4159666830 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6418/statm: 594 249 212 166 0 26 0 [pid=6420] ppid=6418 vsize=200408 CPUtime=33.09 /proc/6420/stat : 6420 (clasp) R 6418 6414 13759 34823 13904 4202496 76581 0 0 0 3285 24 0 0 25 0 1 0 418962894 205217792 49196 1283457024 134512640 136080129 4292316768 18446744073709551615 134849233 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6420/statm: 50102 49196 191 383 0 49717 0 Current children cumulated CPU time (s) 51.12 Current children cumulated vsize (KiB) 207468 [startup+54.5086 s] /proc/loadavg: 1.06 1.05 1.07 2/98 6427 /proc/meminfo: memFree=1044420/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=7.78 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1238 27751 0 0 1 0 692 85 20 0 1 0 418962110 4796416 833 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 833 400 251 0 429 0 [pid=6418] ppid=6414 vsize=2376 CPUtime=10.25 /proc/6418/stat : 6418 (sh) S 6414 6414 13759 34823 13904 4194304 443 175503 0 0 0 0 955 70 18 0 1 0 418962894 2433024 249 1283457024 134512640 135191968 4287982016 18446744073709551615 4159666830 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6418/statm: 594 249 212 166 0 26 0 [pid=6420] ppid=6418 vsize=200408 CPUtime=36.29 /proc/6420/stat : 6420 (clasp) R 6418 6414 13759 34823 13904 4202496 76581 0 0 0 3605 24 0 0 25 0 1 0 418962894 205217792 49196 1283457024 134512640 136080129 4292316768 18446744073709551615 134779717 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6420/statm: 50102 49196 191 383 0 49717 0 Current children cumulated CPU time (s) 54.32 Current children cumulated vsize (KiB) 207468 [startup+57.7094 s] /proc/loadavg: 1.05 1.05 1.07 2/98 6427 /proc/meminfo: memFree=1044436/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=7.78 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1238 27751 0 0 1 0 692 85 20 0 1 0 418962110 4796416 833 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 833 400 251 0 429 0 [pid=6418] ppid=6414 vsize=2376 CPUtime=10.25 /proc/6418/stat : 6418 (sh) S 6414 6414 13759 34823 13904 4194304 443 175503 0 0 0 0 955 70 18 0 1 0 418962894 2433024 249 1283457024 134512640 135191968 4287982016 18446744073709551615 4159666830 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6418/statm: 594 249 212 166 0 26 0 [pid=6420] ppid=6418 vsize=200408 CPUtime=39.49 /proc/6420/stat : 6420 (clasp) R 6418 6414 13759 34823 13904 4202496 76581 0 0 0 3925 24 0 0 25 0 1 0 418962894 205217792 49196 1283457024 134512640 136080129 4292316768 18446744073709551615 134849233 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6420/statm: 50102 49196 191 383 0 49717 0 Current children cumulated CPU time (s) 57.52 Current children cumulated vsize (KiB) 207468 [startup+59.3099 s] /proc/loadavg: 1.05 1.05 1.07 2/98 6427 /proc/meminfo: memFree=1044436/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=7.78 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1238 27751 0 0 1 0 692 85 20 0 1 0 418962110 4796416 833 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 833 400 251 0 429 0 [pid=6418] ppid=6414 vsize=2376 CPUtime=10.25 /proc/6418/stat : 6418 (sh) S 6414 6414 13759 34823 13904 4194304 443 175503 0 0 0 0 955 70 18 0 1 0 418962894 2433024 249 1283457024 134512640 135191968 4287982016 18446744073709551615 4159666830 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6418/statm: 594 249 212 166 0 26 0 [pid=6420] ppid=6418 vsize=200408 CPUtime=41.09 /proc/6420/stat : 6420 (clasp) R 6418 6414 13759 34823 13904 4202496 76581 0 0 0 4085 24 0 0 25 0 1 0 418962894 205217792 49196 1283457024 134512640 136080129 4292316768 18446744073709551615 134842526 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6420/statm: 50102 49196 191 383 0 49717 0 Current children cumulated CPU time (s) 59.12 Current children cumulated vsize (KiB) 207468 [startup+60.1101 s] /proc/loadavg: 1.05 1.05 1.07 2/98 6427 /proc/meminfo: memFree=1044444/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=7.78 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1238 27751 0 0 1 0 692 85 20 0 1 0 418962110 4796416 833 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 833 400 251 0 429 0 [pid=6418] ppid=6414 vsize=2376 CPUtime=10.25 /proc/6418/stat : 6418 (sh) S 6414 6414 13759 34823 13904 4194304 443 175503 0 0 0 0 955 70 18 0 1 0 418962894 2433024 249 1283457024 134512640 135191968 4287982016 18446744073709551615 4159666830 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6418/statm: 594 249 212 166 0 26 0 [pid=6420] ppid=6418 vsize=200408 CPUtime=41.89 /proc/6420/stat : 6420 (clasp) R 6418 6414 13759 34823 13904 4202496 76581 0 0 0 4165 24 0 0 25 0 1 0 418962894 205217792 49196 1283457024 134512640 136080129 4292316768 18446744073709551615 134809266 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/6420/statm: 50102 49196 191 383 0 49717 0 Current children cumulated CPU time (s) 59.92 Current children cumulated vsize (KiB) 207468 [startup+60.5043 s] /proc/loadavg: 1.05 1.05 1.07 2/98 6427 /proc/meminfo: memFree=1044444/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=5712 CPUtime=60.33 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1309 280300 0 0 1 0 5846 186 18 0 1 0 418962110 5849088 835 1283457024 134512640 135539072 4286697616 18446744073709551615 4160066894 0 0 16781312 2 18446744071564457842 0 0 17 0 0 0 0 /proc/6414/statm: 1428 835 400 251 0 686 0 Current children cumulated CPU time (s) 60.33 Current children cumulated vsize (KiB) 5712 [startup+60.6022 s] /proc/loadavg: 1.05 1.05 1.07 1/97 6428 /proc/meminfo: memFree=1240984/2097152 swapFree=2055620/2097144 [pid=6414] ppid=6413 vsize=4684 CPUtime=60.33 /proc/6414/stat : 6414 (python) S 6413 6414 13759 34823 13904 4202496 1321 280300 0 0 1 0 5846 186 18 0 1 0 418962110 4796416 833 1283457024 134512640 135539072 4286697616 18446744073709551615 4160070574 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6414/statm: 1171 833 400 251 0 429 0 [pid=6428] ppid=6414 vsize=2340 CPUtime=0 /proc/6428/stat : 6428 (sh) S 6414 6414 13759 34823 13904 4194304 275 0 0 0 0 0 0 0 17 0 1 0 418968160 2396160 115 1283457024 134512640 135191968 4287687072 18446744073709551615 4159576509 0 2147483391 16781312 0 18446744071697298955 0 0 17 0 0 0 0 /proc/6428/statm: 585 115 94 166 0 17 0 Current children cumulated CPU time (s) 60.33 Current children cumulated vsize (KiB) 7024 Child status: 0 Real time (s): 60.667 CPU time (s): 60.3638 CPU user time (s): 58.4757 CPU system time (s): 1.88812 CPU usage (%): 99.5001 Max. virtual memory (cumulated for all children) (KiB): 814332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 58.4757 system time used= 1.88812 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282907 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= 5223 involuntary context switches= 1197 runsolver used 0 second user time and 0.016001 second system time The end