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/p2cudf-paranoid-1.6/rand8d117b.cudf.easy.log.runsolver ./p2cudf-paranoid-1.6 /home/misc2010/data/2010/easy//rand8d117b.cudf /home/misc2010/tmp/201007050905/p2cudf-paranoid-1.6/rand8d117b.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.32 1.23 0.97 4/37 27777 /proc/meminfo: memFree=382028/1048576 swapFree=2095456/2097144 [pid=27776] ppid=27775 vsize=2388 CPUtime=0 /proc/27776/stat : 27776 (p2cudf-paranoid) R 27775 27776 24102 769 24102 4194304 347 0 0 0 0 0 0 0 25 0 1 0 525084559 2445312 261 1283457024 134512640 135191968 4294101552 18446744073709551615 4159259040 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/27776/statm: 597 261 222 166 0 29 0 [pid=27777] ppid=27776 vsize=2388 CPUtime=0 /proc/27777/stat : 27777 (p2cudf-paranoid) R 27776 27776 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 525084559 2445312 39 1283457024 134512640 135191968 4294101552 18446744073709551615 4159259040 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/27777/statm: 597 39 0 166 0 29 0 [startup+0.125149 s] /proc/loadavg: 1.32 1.23 0.97 4/37 27777 /proc/meminfo: memFree=382028/1048576 swapFree=2095456/2097144 [pid=27776] ppid=27775 vsize=2388 CPUtime=0 /proc/27776/stat : 27776 (p2cudf-paranoid) S 27775 27776 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 525084559 2445312 262 1283457024 134512640 135191968 4294101552 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27776/statm: 597 262 223 166 0 29 0 [pid=27777] ppid=27776 vsize=2388 CPUtime=0.02 /proc/27777/stat : 27777 (p2cudf) S 27776 27776 24102 769 24102 4202496 376 2732 0 1 0 0 2 0 25 0 1 0 525084559 2445312 271 1283457024 134512640 135191968 4294382240 18446744073709551615 4159162782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27777/statm: 597 271 232 166 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4776 [startup+0.205169 s] /proc/loadavg: 1.32 1.23 0.97 4/37 27777 /proc/meminfo: memFree=382028/1048576 swapFree=2095456/2097144 [pid=27776] ppid=27775 vsize=2388 CPUtime=0 /proc/27776/stat : 27776 (p2cudf-paranoid) S 27775 27776 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 525084559 2445312 262 1283457024 134512640 135191968 4294101552 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27776/statm: 597 262 223 166 0 29 0 [pid=27777] ppid=27776 vsize=2388 CPUtime=0.02 /proc/27777/stat : 27777 (p2cudf) S 27776 27776 24102 769 24102 4202496 376 2732 0 1 0 0 2 0 25 0 1 0 525084559 2445312 271 1283457024 134512640 135191968 4294382240 18446744073709551615 4159162782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27777/statm: 597 271 232 166 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4776 [startup+0.30314 s] /proc/loadavg: 1.32 1.23 0.97 4/37 27777 /proc/meminfo: memFree=382028/1048576 swapFree=2095456/2097144 [pid=27776] ppid=27775 vsize=2388 CPUtime=0 /proc/27776/stat : 27776 (p2cudf-paranoid) S 27775 27776 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 525084559 2445312 262 1283457024 134512640 135191968 4294101552 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27776/statm: 597 262 223 166 0 29 0 [pid=27777] ppid=27776 vsize=2388 CPUtime=0.02 /proc/27777/stat : 27777 (p2cudf) S 27776 27776 24102 769 24102 4202496 376 2732 0 1 0 0 2 0 25 0 1 0 525084559 2445312 271 1283457024 134512640 135191968 4294382240 18446744073709551615 4159162782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27777/statm: 597 271 232 166 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4776 [startup+0.71521 s] /proc/loadavg: 1.32 1.23 0.97 4/37 27777 /proc/meminfo: memFree=382028/1048576 swapFree=2095456/2097144 [pid=27776] ppid=27775 vsize=2388 CPUtime=0 /proc/27776/stat : 27776 (p2cudf-paranoid) S 27775 27776 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 525084559 2445312 262 1283457024 134512640 135191968 4294101552 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27776/statm: 597 262 223 166 0 29 0 [pid=27777] ppid=27776 vsize=2388 CPUtime=0.02 /proc/27777/stat : 27777 (p2cudf) S 27776 27776 24102 769 24102 4202496 376 2732 0 1 0 0 2 0 25 0 1 0 525084559 2445312 271 1283457024 134512640 135191968 4294382240 18446744073709551615 4159162782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27777/statm: 597 271 232 166 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4776 [startup+1.51547 s] /proc/loadavg: 1.32 1.23 0.97 4/48 27799 /proc/meminfo: memFree=350276/1048576 swapFree=2095456/2097144 [pid=27776] ppid=27775 vsize=2388 CPUtime=0 /proc/27776/stat : 27776 (p2cudf-paranoid) S 27775 27776 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 525084559 2445312 262 1283457024 134512640 135191968 4294101552 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27776/statm: 597 262 223 166 0 29 0 [pid=27777] ppid=27776 vsize=2388 CPUtime=0.02 /proc/27777/stat : 27777 (p2cudf) S 27776 27776 24102 769 24102 4202496 376 2732 0 1 0 0 2 0 25 0 1 0 525084559 2445312 271 1283457024 134512640 135191968 4294382240 18446744073709551615 4159162782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27777/statm: 597 271 232 166 0 29 0 [pid=27790] ppid=27777 vsize=872604 CPUtime=1.15 /proc/27790/stat : 27790 (java) S 27777 27776 24102 769 24102 4202496 13669 0 1 0 108 7 0 0 25 0 10 0 525084563 893546496 11292 1283457024 134512640 134550932 4286566848 18446744073709551615 4159693970 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27790/statm: 218151 11292 1430 10 0 215423 0 [pid=27790/tid=27791] ppid=27777 vsize=872604 CPUtime=0.5 /proc/27790/task/27791/stat : 27791 (java) R 27777 27776 24102 769 24102 4202560 6363 0 1 0 44 6 0 0 23 0 10 0 525084564 893546496 11292 1283457024 134512640 134550932 4286566848 18446744073709551615 4159718087 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27790/tid=27792] ppid=27777 vsize=872604 CPUtime=0 /proc/27790/task/27792/stat : 27792 (java) S 27777 27776 24102 769 24102 4202560 2 0 0 0 0 0 0 0 18 0 10 0 525084565 893546496 11292 1283457024 134512640 134550932 4286566848 18446744073709551615 4159708168 0 0 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27793] ppid=27777 vsize=872604 CPUtime=0 /proc/27790/task/27793/stat : 27793 (java) S 27777 27776 24102 769 24102 4202560 10 0 0 0 0 0 0 0 25 0 10 0 525084566 893546496 11292 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27794] ppid=27777 vsize=872604 CPUtime=0 /proc/27790/task/27794/stat : 27794 (java) S 27777 27776 24102 769 24102 4202560 5 0 0 0 0 0 0 0 25 0 10 0 525084566 893546496 11292 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27795] ppid=27777 vsize=872604 CPUtime=0 /proc/27790/task/27795/stat : 27795 (java) S 27777 27776 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 10 0 525084568 893546496 11292 1283457024 134512640 134550932 4286566848 18446744073709551615 4159715664 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27796] ppid=27777 vsize=872604 CPUtime=0.37 /proc/27790/task/27796/stat : 27796 (java) R 27777 27776 24102 769 24102 4202560 1892 0 0 0 37 0 0 0 16 0 10 0 525084568 893546496 11292 1283457024 134512640 134550932 4286566848 18446744073709551615 105572399 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27790/tid=27797] ppid=27777 vsize=872604 CPUtime=0.25 /proc/27790/task/27797/stat : 27797 (java) R 27777 27776 24102 769 24102 4202560 4575 0 0 0 25 0 0 0 21 0 10 0 525084568 893546496 11292 1283457024 134512640 134550932 4286566848 18446744073709551615 103371455 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27790/tid=27798] ppid=27777 vsize=872604 CPUtime=0 /proc/27790/task/27798/stat : 27798 (java) S 27777 27776 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 10 0 525084568 893546496 11292 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27799] ppid=27777 vsize=872604 CPUtime=0 /proc/27790/task/27799/stat : 27799 (java) S 27777 27776 24102 769 24102 4202560 0 0 0 0 0 0 0 0 15 0 10 0 525084568 893546496 11292 1283457024 134512640 134550932 4286566848 18446744073709551615 4159708168 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 877380 [startup+3.10594 s] /proc/loadavg: 1.32 1.23 0.97 3/48 27799 /proc/meminfo: memFree=307000/1048576 swapFree=2095456/2097144 [pid=27776] ppid=27775 vsize=2388 CPUtime=0 /proc/27776/stat : 27776 (p2cudf-paranoid) S 27775 27776 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 525084559 2445312 262 1283457024 134512640 135191968 4294101552 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27776/statm: 597 262 223 166 0 29 0 [pid=27777] ppid=27776 vsize=2388 CPUtime=0.02 /proc/27777/stat : 27777 (p2cudf) S 27776 27776 24102 769 24102 4202496 376 2732 0 1 0 0 2 0 25 0 1 0 525084559 2445312 271 1283457024 134512640 135191968 4294382240 18446744073709551615 4159162782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27777/statm: 597 271 232 166 0 29 0 [pid=27790] ppid=27777 vsize=886112 CPUtime=2.74 /proc/27790/stat : 27790 (java) S 27777 27776 24102 769 24102 4202496 36415 0 1 0 257 17 0 0 25 0 10 0 525084563 907378688 31544 1283457024 134512640 134550932 4286566848 18446744073709551615 4159693970 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27790/statm: 221528 31544 1451 10 0 218800 0 [pid=27790/tid=27791] ppid=27777 vsize=886112 CPUtime=1.11 /proc/27790/task/27791/stat : 27791 (java) R 27777 27776 24102 769 24102 4202560 18377 0 1 0 99 12 0 0 25 0 10 0 525084564 907378688 31544 1283457024 134512640 134550932 4286566848 18446744073709551615 4107148029 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27790/tid=27792] ppid=27777 vsize=886112 CPUtime=0.1 /proc/27790/task/27792/stat : 27792 (java) S 27777 27776 24102 769 24102 4202560 4580 0 0 0 10 0 0 0 16 0 10 0 525084565 907378688 31544 1283457024 134512640 134550932 4286566848 18446744073709551615 4159708168 0 0 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27793] ppid=27777 vsize=886112 CPUtime=0 /proc/27790/task/27793/stat : 27793 (java) S 27777 27776 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 10 0 525084566 907378688 31544 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27794] ppid=27777 vsize=886112 CPUtime=0 /proc/27790/task/27794/stat : 27794 (java) S 27777 27776 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 10 0 525084566 907378688 31544 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27795] ppid=27777 vsize=886112 CPUtime=0 /proc/27790/task/27795/stat : 27795 (java) S 27777 27776 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 10 0 525084568 907378688 31544 1283457024 134512640 134550932 4286566848 18446744073709551615 4159715664 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27796] ppid=27777 vsize=886112 CPUtime=0.86 /proc/27790/task/27796/stat : 27796 (java) S 27777 27776 24102 769 24102 4202560 7463 0 0 0 84 2 0 0 15 0 10 0 525084568 907378688 31544 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27797] ppid=27777 vsize=886112 CPUtime=0.63 /proc/27790/task/27797/stat : 27797 (java) S 27777 27776 24102 769 24102 4202560 5155 0 0 0 63 0 0 0 17 0 10 0 525084568 907378688 31544 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27798] ppid=27777 vsize=886112 CPUtime=0 /proc/27790/task/27798/stat : 27798 (java) S 27777 27776 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 10 0 525084568 907378688 31544 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27799] ppid=27777 vsize=886112 CPUtime=0 /proc/27790/task/27799/stat : 27799 (java) S 27777 27776 24102 769 24102 4202560 0 0 0 0 0 0 0 0 15 0 10 0 525084568 907378688 31544 1283457024 134512640 134550932 4286566848 18446744073709551615 4159708168 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 890888 [startup+6.31163 s] /proc/loadavg: 1.54 1.28 0.99 3/47 27801 /proc/meminfo: memFree=228416/1048576 swapFree=2095456/2097144 [pid=27776] ppid=27775 vsize=2388 CPUtime=0 /proc/27776/stat : 27776 (p2cudf-paranoid) S 27775 27776 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 525084559 2445312 262 1283457024 134512640 135191968 4294101552 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27776/statm: 597 262 223 166 0 29 0 [pid=27777] ppid=27776 vsize=2388 CPUtime=0.02 /proc/27777/stat : 27777 (p2cudf) S 27776 27776 24102 769 24102 4202496 376 2732 0 1 0 0 2 0 25 0 1 0 525084559 2445312 271 1283457024 134512640 135191968 4294382240 18446744073709551615 4159162782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27777/statm: 597 271 232 166 0 29 0 [pid=27790] ppid=27777 vsize=886752 CPUtime=5.42 /proc/27790/stat : 27790 (java) S 27777 27776 24102 769 24102 4202496 44044 0 1 0 520 22 0 0 25 0 12 0 525084563 908034048 38504 1283457024 134512640 134550932 4286566848 18446744073709551615 4159693970 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27790/statm: 221688 38504 1498 10 0 218960 0 [pid=27790/tid=27791] ppid=27777 vsize=886752 CPUtime=1.97 /proc/27790/task/27791/stat : 27791 (java) S 27777 27776 24102 769 24102 4202560 18532 0 1 0 183 14 0 0 25 0 12 0 525084564 908034048 38504 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27792] ppid=27777 vsize=886752 CPUtime=0.26 /proc/27790/task/27792/stat : 27792 (java) S 27777 27776 24102 769 24102 4202560 11054 0 0 0 23 3 0 0 15 0 12 0 525084565 908034048 38504 1283457024 134512640 134550932 4286566848 18446744073709551615 4159708168 0 0 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27793] ppid=27777 vsize=886752 CPUtime=0 /proc/27790/task/27793/stat : 27793 (java) S 27777 27776 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 12 0 525084566 908034048 38504 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27794] ppid=27777 vsize=886752 CPUtime=0 /proc/27790/task/27794/stat : 27794 (java) S 27777 27776 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 12 0 525084566 908034048 38504 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27795] ppid=27777 vsize=886752 CPUtime=0 /proc/27790/task/27795/stat : 27795 (java) S 27777 27776 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 525084568 908034048 38504 1283457024 134512640 134550932 4286566848 18446744073709551615 4159715664 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27796] ppid=27777 vsize=886752 CPUtime=0.86 /proc/27790/task/27796/stat : 27796 (java) S 27777 27776 24102 769 24102 4202560 7463 0 0 0 84 2 0 0 15 0 12 0 525084568 908034048 38504 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27797] ppid=27777 vsize=886752 CPUtime=2.27 /proc/27790/task/27797/stat : 27797 (java) S 27777 27776 24102 769 24102 4202560 6146 0 0 0 226 1 0 0 15 0 12 0 525084568 908034048 38504 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27798] ppid=27777 vsize=886752 CPUtime=0 /proc/27790/task/27798/stat : 27798 (java) S 27777 27776 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 12 0 525084568 908034048 38504 1283457024 134512640 134550932 4286566848 18446744073709551615 4159707376 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27799] ppid=27777 vsize=886752 CPUtime=0 /proc/27790/task/27799/stat : 27799 (java) S 27777 27776 24102 769 24102 4202560 0 0 0 0 0 0 0 0 15 0 12 0 525084568 908034048 38504 1283457024 134512640 134550932 4286566848 18446744073709551615 4159708168 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=27790/tid=27801] ppid=27777 vsize=886752 CPUtime=0 /proc/27790/task/27801/stat : 27801 (java) S 27777 27776 24102 769 24102 4202560 4 0 0 0 0 0 0 0 25 0 12 0 525085034 908034048 38504 1283457024 134512640 134550932 4286566848 18446744073709551615 4159708168 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.44 Current children cumulated vsize (KiB) 891528 Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 6.40047 CPU time (s): 5.54035 CPU user time (s): 5.27233 CPU system time (s): 0.268016 CPU usage (%): 86.5615 Max. virtual memory (cumulated for all children) (KiB): 892844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.27233 system time used= 0.268016 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47552 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= 867 involuntary context switches= 980 runsolver used 0.004 second user time and 0 second system time The end