325341754 NewKadia comic books ● 125 Noble St, 3rd floor ● Norristown, PA 19401610-277-3000 Monday - Friday, 10 am - 6 pm EST Sitemap XMONEY\n329606819 <", c, ' onload="var d=', n, ";d.getElementsByTagName('head').", d, "(d.", g, "('script')).", i, "='", a.l, "'\_">"].join("") } var c = "body", e = h[c]; if (!e) return setTimeout(q, 100); a.P(1); var d = "appendChild", g = "createElement",


Trace number 430866\nSAT4JPseudoResolution 2007-03-23 OPT 3 6.555 6.16882\n0.19/0.20\tc solving /tmp/evaluation/430866-1177999894/instance-430866-1177999894.opb\n0.31/0.31\tc ... done. Wall clock time 0.11s.\n0.97/0.74\tc SATISFIABLE\n0.97/0.74\tc OPTIMIZING...\n0.97/0.74\tc Got one! Elapsed wall clock time (in seconds):0.537\n0.97/0.74\to 25\n0.97/0.78\tc Got one! Elapsed wall clock time (in seconds):0.578\n0.97/0.78\to 13\n1.21/0.90\tc Got one! Elapsed wall clock time (in seconds):0.695\n1.21/0.90\to 11\n1.21/0.94\tc Got one! Elapsed wall clock time (in seconds):0.74\n1.21/0.94\to 7\n1.21/0.98\tc Got one! Elapsed wall clock time (in seconds):0.773\n1.21/0.98\to 3\n6.42/6.09\tc starts\t\t: 32\n6.42/6.09\tc conflicts\t\t: 35914\n6.42/6.09\tc decisions\t\t: 37677\n6.42/6.09\tc propagations\t\t: 548574\n6.42/6.09\tc inspects\t\t: 14947185\n6.42/6.09\tc learnt literals\t: 14\n6.42/6.09\tc learnt binary clauses\t: 9\n6.42/6.09\tc learnt ternary clauses\t: 18\n6.42/6.09\tc learnt clauses\t: 35899\n6.42/6.09\tc root simplifications\t: 0\n6.42/6.09\tc removed literals (reason simplification)\t: 0\n6.42/6.09\tc reason swapping (by a shorter reason)\t: 0\n6.42/6.09\tc Calls to reduceDB\t: 0\n6.42/6.09\tc speed (decisions/second)\t: 7365.982404692082\n6.42/6.09\tc non guided choices\t429\n6.42/6.09\ts OPTIMUM FOUND\n6.42/6.09\tv x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 x11 x12 -x13 x14 x15 x16 -x17 x18 -x19 -x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 -x30 -x31 -x32 x33\n6.42/6.09\tv -x34 -x35 x36 x37 -x38 x39 x40 x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 x58 -x59 x60 x61 x62\n6.42/6.09\tv x63 x64 x65 -x66 -x67 -x68 -x69 -x70 x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 x86 -x87 -x88 -x89\n6.42/6.09\tv -x90 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 -x108 -x109 -x110 -x111 -x112\n6.42/6.09\tv x113 -x114 -x115 -x116 x117 -x118 -x119 x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133\n6.42/6.09\tv x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154\n6.42/6.09\tv x155 -x156 -x157 -x158 x159 -x160 -x161 x162 x163 -x164 x165 x166 x167 x168 x169 x170 -x171 x172 x173 x174 x175 x176 x177 -x178\n6.42/6.09\tv x179 x180 x181 x182 x183 x184 -x185 x186 x187 x188 x189 x190 x191 -x192 x193 x194 x195 x196 x197 x198 -x199 x200 x201 x202 x203\n6.42/6.09\tv x204 x205 -x206 x207 x208 x209 x210\n6.42/6.09\tc objective function=3\n6.42/6.09\tc Total wall clock time (ms): 5.891\ncommand line: runsolver --timestamp -w ROOT/results/node4/watcher-430866-1177999894 -o ROOT/results/node4/solver-430866-1177999894 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/430866-1177999894/sat4jPseudoResolution.jar /tmp/evaluation/430866-1177999894/instance-430866-1177999894.opb\n/proc/loadavg: 0.92 0.98 0.97 3/77 24749\n/proc/meminfo: memFree=1831512/2055920 swapFree=4141168/4192956\n[pid=24749] ppid=24747 vsize=18528 CPUtime=0\n/proc/24749/stat : 24749 (runsolver) R 24747 24749 23252 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 276027152 18972672 284 18446744073709551615 4194304 4255128 548682068880 18446744073709551615 259913215271 0 0 4096 24578 0 0 0 17 1 0 0\n[pid=24749] ppid=24747 vsize=1776376 CPUtime=0.02\n/proc/24749/stat : 24749 (java) S 24747 24749 23252 0 -1 0 3445 0 1 0 1 1 0 0 18 0 4 0 276027152 1819009024 3192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0\n/proc/24749/statm: 444094 3192 1022 9 0 441730 0\n[pid=24749] ppid=24747 vsize=1780108 CPUtime=0.08\n/proc/24749/stat : 24749 (java) S 24747 24749 23252 0 -1 0 3968 0 1 0 6 2 0 0 18 0 12 0 276027152 1822830592 3711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/24749/statm: 445027 3711 1122 9 0 442646 0\n[pid=24749] ppid=24747 vsize=1781428 CPUtime=0.31\n/proc/24749/stat : 24749 (java) S 24747 24749 23252 0 -1 0 5095 0 1 0 28 3 0 0 18 0 12 0 276027152 1824182272 4835 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/24749/statm: 445357 4835 1263 9 0 442969 0\n[pid=24749] ppid=24747 vsize=1786488 CPUtime=0.97\n/proc/24749/stat : 24749 (java) S 24747 24749 23252 0 -1 0 7372 0 1 0 94 3 0 0 18 0 13 0 276027152 1829363712 6699 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/24749/statm: 446622 6699 1304 9 0 444234 0\n/proc/loadavg: 0.92 0.98 0.97 2/90 24767\n/proc/meminfo: memFree=1797616/2055920 swapFree=4141168/4192956\n[pid=24749] ppid=24747 vsize=1786488 CPUtime=1.86\n/proc/24749/stat : 24749 (java) S 24747 24749 23252 0 -1 0 15374 0 1 0 178 8 0 0 18 0 13 0 276027152 1829363712 14700 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/24749/statm: 446622 14700 1307 9 0 444234 0\n[pid=24749/tid=24751] ppid=24747 vsize=1786488 CPUtime=1.24\n/proc/24749/task/24751/stat : 24751 (java) R 24747 24749 23252 0 -1 64 12856 0 1 0 117 7 0 0 20 0 13 0 276027154 1829363712 14700 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109539287 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=24749/tid=24752] ppid=24747 vsize=1786488 CPUtime=0\n/proc/24749/task/24752/stat : 24752 (java) S 24747 24749 23252 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 276027155 1829363712 14701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24753] ppid=24747 vsize=1786488 CPUtime=0\n/proc/24749/task/24753/stat : 24753 (java) S 24747 24749 23252 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 276027155 1829363712 14701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=24749/tid=24754] ppid=24747 vsize=1786488 CPUtime=0\n/proc/24749/task/24754/stat : 24754 (java) S 24747 24749 23252 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 276027158 1829363712 14701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24755] ppid=24747 vsize=1786488 CPUtime=0\n/proc/24749/task/24755/stat : 24755 (java) S 24747 24749 23252 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 276027158 1829363712 14701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24756] ppid=24747 vsize=1786488 CPUtime=0\n/proc/24749/task/24756/stat : 24756 (java) S 24747 24749 23252 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 276027158 1829363712 14702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24757] ppid=24747 vsize=1786488 CPUtime=0\n/proc/24749/task/24757/stat : 24757 (java) S 24747 24749 23252 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 276027162 1829363712 14702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24758] ppid=24747 vsize=1786488 CPUtime=0.28\n/proc/24749/task/24758/stat : 24758 (java) S 24747 24749 23252 0 -1 64 618 0 0 0 28 0 0 0 16 0 13 0 276027162 1829363712 14702 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24759] ppid=24747 vsize=1786488 CPUtime=0.31\n/proc/24749/task/24759/stat : 24759 (java) S 24747 24749 23252 0 -1 64 1175 0 0 0 31 0 0 0 17 0 13 0 276027162 1829363712 14703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24760] ppid=24747 vsize=1786488 CPUtime=0\n/proc/24749/task/24760/stat : 24760 (java) S 24747 24749 23252 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 276027162 1829363712 14703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24761] ppid=24747 vsize=1786488 CPUtime=0\n/proc/24749/task/24761/stat : 24761 (java) S 24747 24749 23252 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 276027162 1829363712 14704 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=24749/tid=24767] ppid=24747 vsize=1786488 CPUtime=0\n/proc/24749/task/24767/stat : 24767 (java) S 24747 24749 23252 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 276027250 1829363712 14704 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/meminfo: memFree=1754928/2055920 swapFree=4141168/4192956\n[pid=24749] ppid=24747 vsize=1786488 CPUtime=3.5\n/proc/24749/stat : 24749 (java) S 24747 24749 23252 0 -1 0 29132 0 1 0 335 15 0 0 18 0 13 0 276027152 1829363712 28457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/24749/statm: 446622 28458 1308 9 0 444234 0\n[pid=24749/tid=24751] ppid=24747 vsize=1786488 CPUtime=2.84\n/proc/24749/task/24751/stat : 24751 (java) R 24747 24749 23252 0 -1 64 26611 0 1 0 270 14 0 0 25 0 13 0 276027154 1829363712 28458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109623967 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/24749/task/24752/stat : 24752 (java) S 24747 24749 23252 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 276027155 1829363712 28458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24753/stat : 24753 (java) S 24747 24749 23252 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 276027155 1829363712 28459 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/24749/task/24754/stat : 24754 (java) S 24747 24749 23252 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 276027158 1829363712 28459 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24755/stat : 24755 (java) S 24747 24749 23252 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 276027158 1829363712 28459 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24756/stat : 24756 (java) S 24747 24749 23252 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 276027158 1829363712 28460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24757/stat : 24757 (java) S 24747 24749 23252 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 276027162 1829363712 28460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24758] ppid=24747 vsize=1786488 CPUtime=0.3\n/proc/24749/task/24758/stat : 24758 (java) S 24747 24749 23252 0 -1 64 619 0 0 0 30 0 0 0 16 0 13 0 276027162 1829363712 28460 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24759] ppid=24747 vsize=1786488 CPUtime=0.33\n/proc/24749/task/24759/stat : 24759 (java) S 24747 24749 23252 0 -1 64 1178 0 0 0 33 0 0 0 15 0 13 0 276027162 1829363712 28461 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24760/stat : 24760 (java) S 24747 24749 23252 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 276027162 1829363712 28461 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24761/stat : 24761 (java) S 24747 24749 23252 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 276027162 1829363712 28461 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/24749/task/24767/stat : 24767 (java) S 24747 24749 23252 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 276027250 1829363712 28461 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/meminfo: memFree=1690160/2055920 swapFree=4141168/4192956\n[pid=24749] ppid=24747 vsize=1786488 CPUtime=5.09\n/proc/24749/stat : 24749 (java) S 24747 24749 23252 0 -1 0 39270 0 1 0 489 20 0 0 18 0 13 0 276027152 1829363712 38594 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/24749/statm: 446622 38594 1308 9 0 444234 0\n[pid=24749/tid=24751] ppid=24747 vsize=1786488 CPUtime=4.44\n/proc/24749/task/24751/stat : 24751 (java) R 24747 24749 23252 0 -1 64 36748 0 1 0 425 19 0 0 20 0 13 0 276027154 1829363712 38594 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109479005 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/24749/task/24752/stat : 24752 (java) S 24747 24749 23252 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 276027155 1829363712 38594 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24753/stat : 24753 (java) S 24747 24749 23252 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 276027155 1829363712 38595 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/24749/task/24754/stat : 24754 (java) S 24747 24749 23252 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 276027158 1829363712 38596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24755/stat : 24755 (java) S 24747 24749 23252 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 276027158 1829363712 38596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24756/stat : 24756 (java) S 24747 24749 23252 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 276027158 1829363712 38596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24757/stat : 24757 (java) S 24747 24749 23252 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 276027162 1829363712 38596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24758/stat : 24758 (java) S 24747 24749 23252 0 -1 64 619 0 0 0 30 0 0 0 16 0 13 0 276027162 1829363712 38596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24759/stat : 24759 (java) S 24747 24749 23252 0 -1 64 1178 0 0 0 33 0 0 0 15 0 13 0 276027162 1829363712 38596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24760/stat : 24760 (java) S 24747 24749 23252 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 276027162 1829363712 38597 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24761/stat : 24761 (java) S 24747 24749 23252 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 276027162 1829363712 38598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/24749/task/24767/stat : 24767 (java) S 24747 24749 23252 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 276027250 1829363712 38598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/loadavg: 0.93 0.98 0.97 2/90 24767\n/proc/meminfo: memFree=1669616/2055920 swapFree=4141168/4192956\n[pid=24749] ppid=24747 vsize=1785412 CPUtime=5.93\n/proc/24749/stat : 24749 (java) S 24747 24749 23252 0 -1 0 42458 0 1 0 572 21 0 0 18 0 13 0 276027152 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/24749/statm: 446353 41504 1322 9 0 443965 0\n[pid=24749/tid=24751] ppid=24747 vsize=1785412 CPUtime=5.21\n/proc/24749/task/24751/stat : 24751 (java) R 24747 24749 23252 0 -1 64 37712 0 1 0 502 19 0 0 21 0 13 0 276027154 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109476239 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=24749/tid=24752] ppid=24747 vsize=1785412 CPUtime=0.02\n/proc/24749/task/24752/stat : 24752 (java) S 24747 24749 23252 0 -1 64 961 0 0 0 2 0 0 0 16 0 13 0 276027155 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24753] ppid=24747 vsize=1785412 CPUtime=0.02\n/proc/24749/task/24753/stat : 24753 (java) S 24747 24749 23252 0 -1 64 1259 0 0 0 2 0 0 0 16 0 13 0 276027155 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=24749/tid=24754] ppid=24747 vsize=1785412 CPUtime=0\n/proc/24749/task/24754/stat : 24754 (java) S 24747 24749 23252 0 -1 64 8 0 0 0 0 0 0 0 15 0 13 0 276027158 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24755] ppid=24747 vsize=1785412 CPUtime=0\n/proc/24749/task/24755/stat : 24755 (java) S 24747 24749 23252 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 276027158 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24756] ppid=24747 vsize=1785412 CPUtime=0\n/proc/24749/task/24756/stat : 24756 (java) S 24747 24749 23252 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 276027158 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24757] ppid=24747 vsize=1785412 CPUtime=0\n/proc/24749/task/24757/stat : 24757 (java) S 24747 24749 23252 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 276027162 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24758] ppid=24747 vsize=1785412 CPUtime=0.3\n/proc/24749/task/24758/stat : 24758 (java) S 24747 24749 23252 0 -1 64 619 0 0 0 30 0 0 0 16 0 13 0 276027162 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24759] ppid=24747 vsize=1785412 CPUtime=0.33\n/proc/24749/task/24759/stat : 24759 (java) S 24747 24749 23252 0 -1 64 1178 0 0 0 33 0 0 0 15 0 13 0 276027162 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24760] ppid=24747 vsize=1785412 CPUtime=0\n/proc/24749/task/24760/stat : 24760 (java) S 24747 24749 23252 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 276027162 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n[pid=24749/tid=24761] ppid=24747 vsize=1785412 CPUtime=0\n/proc/24749/task/24761/stat : 24761 (java) S 24747 24749 23252 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 276027162 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=24749/tid=24767] ppid=24747 vsize=1785412 CPUtime=0\n/proc/24749/task/24767/stat : 24767 (java) S 24747 24749 23252 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 276027250 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=24749] ppid=24747 vsize=1785412 CPUtime=6.32\n/proc/24749/stat : 24749 (java) S 24747 24749 23252 0 -1 0 42458 0 1 0 611 21 0 0 18 0 13 0 276027152 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0\n[pid=24749/tid=24751] ppid=24747 vsize=1785412 CPUtime=5.61\n/proc/24749/task/24751/stat : 24751 (java) R 24747 24749 23252 0 -1 64 37712 0 1 0 542 19 0 0 24 0 13 0 276027154 1828261888 41504 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109483590 0 4 0 23759 0 0 0 -1 1 0 0\n[pid=24749] ppid=24747 vsize=1785412 CPUtime=6.52\n/proc/24749/stat : 24749 (java) S 24747 24749 23252 0 -1 0 42463 0 1 0 631 21 0 0 18 0 12 0 276027152 1828261888 41509 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0\n/proc/24749/statm: 446353 41509 1322 9 0 443965 0\n[pid=24749/tid=24751] ppid=24747 vsize=1785412 CPUtime=5.8\n/proc/24749/task/24751/stat : 24751 (java) S 24747 24749 23252 0 -1 64 37717 0 1 0 561 19 0 0 25 0 12 0 276027154 1828261888 41509 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/24749/task/24752/stat : 24752 (java) S 24747 24749 23252 0 -1 64 961 0 0 0 2 0 0 0 16 0 12 0 276027155 1828261888 41509 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24753/stat : 24753 (java) S 24747 24749 23252 0 -1 64 1259 0 0 0 2 0 0 0 16 0 12 0 276027155 1828261888 41509 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\n/proc/24749/task/24754/stat : 24754 (java) S 24747 24749 23252 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 276027158 1828261888 41509 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24755/stat : 24755 (java) S 24747 24749 23252 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 276027158 1828261888 41509 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24756/stat : 24756 (java) S 24747 24749 23252 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 276027158 1828261888 41509 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24757/stat : 24757 (java) S 24747 24749 23252 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 276027162 1828261888 41509 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24758/stat : 24758 (java) S 24747 24749 23252 0 -1 64 619 0 0 0 30 0 0 0 16 0 12 0 276027162 1828261888 41509 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24759/stat : 24759 (java) S 24747 24749 23252 0 -1 64 1178 0 0 0 33 0 0 0 15 0 12 0 276027162 1828261888 41509 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24760/stat : 24760 (java) S 24747 24749 23252 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 276027162 1828261888 41509 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0\n/proc/24749/task/24761/stat : 24761 (java) S 24747 24749 23252 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 276027162 1828261888 41509 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0\nReal time (s): 6.16882\nCPU time (s): 6.555\nMax. virtual memory (cumulated for all children) (KiB): 1786732\npage reclaims= 42465\nBegin job on node4 on Tue May  1 06:11:34 UTC 2007\nFILE ID= node4/430866-1177999894\nCOMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/430866-1177999894/sat4jPseudoResolution.jar /tmp/evaluation/430866-1177999894/instance-430866-1177999894.opb\nRUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-430866-1177999894 -o ROOT/results/node4/solver-430866-1177999894 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/430866-1177999894/sat4jPseudoResolution.jar /tmp/evaluation/430866-1177999894/instance-430866-1177999894.opb\nRANDOM SEED= 693594301\nMemFree:       1831984 kB\nLowFree:       1831984 kB\nCommitted_AS:  7118916 kB\nEnd job on node4 on Tue May  1 06:11:40 UTC 2007


Place Bib Name                   Gender City    State Country Clock     Chip      Pace  Age Age        Division Division     Team Name\n===== === ====================== ====== ======= ===== ======= ========= ========= ===== === ========== ======== ============ ================\n1     5   Lucas Smith            M                            0:11:04.2 0:11:04.2 5:32                 1        No Age Given Anna\n2     165 Dylan Lauck            M                            0:11:07.6 0:11:07.6 5:34                 2        No Age Given W. Liberty-Salem\n3     109 Brayden Young          M                            0:11:34.1 0:11:34.1 5:47                 3        No Age Given Miami East\n4     30  Collin Waterson        M                            0:11:37.0 0:11:37.0 5:49                 4        No Age Given Botkins\n5     10  Connor Skidmore        M                            0:11:38.6 0:11:38.6 5:49                 5        No Age Given Bellefontaine\n6     27  Keaton Schnippel       M                            0:11:43.4 0:11:43.4 5:52                 6        No Age Given Botkins\n7     86  Reid Vance             M                            0:11:45.2 0:11:45.2 5:53                 7        No Age Given Indian Lake\n8     3   Collin Frilling        M                            0:11:49.2 0:11:49.2 5:55                 8        No Age Given Anna\n9     133 Caven Wiles            M                            0:11:57.3 0:11:57.3 5:59                 9        No Age Given Piqua\n10    23  Jameson Meyer          M                            0:12:04.4 0:12:04.4 6:02                 10       No Age Given Botkins\n11    48  Mic Barhorst           M                            0:12:05.1 0:12:05.1 6:03                 11       No Age Given Covington\n12    28  Cole Steinke           M                            0:12:06.5 0:12:06.5 6:03                 12       No Age Given Botkins\n13    32  Jayden Wendel          M                            0:12:10.6 0:12:10.6 6:05                 13       No Age Given Botkins\n14    142 Grant Hoying           M                            0:12:11.6 0:12:11.6 6:06                 14       No Age Given Sidney\n15    99  Mitchell Rosser        M                            0:12:12.1 0:12:12.1 6:06                 15       No Age Given Lakota\n16    111 Alex Allen             M                            0:12:12.3 0:12:12.3 6:06                 16       No Age Given National Trail\n17    159 Isaac Brown            M                            0:12:15.5 0:12:15.5 6:08                 17       No Age Given W. Liberty-Salem\n18    25  Jacob Pleiman          M                            0:12:18.9 0:12:18.9 6:09                 18       No Age Given Botkins\n19    131 David Stumpff          M                            0:12:23.7 0:12:23.7 6:12                 19       No Age Given Piqua\n20    40  Kyle Bland             M                            0:12:27.6 0:12:27.6 6:14                 20       No Age Given Brookville\n21    74  Kyle Low               M      Houston OH    US      0:12:31.3 0:12:31.3 6:16  14  70.4       21       No Age Given Houston\n22    164 Andrew Kimball         M                            0:12:31.4 0:12:31.4 6:16                 22       No Age Given W. Liberty-Salem\n23    71  Ryan Ely               M                            0:12:31.4 0:12:31.4 6:16                 23       No Age Given Houston\n24    7   Patrick Donnelly       M                            0:12:32.3 0:12:32.3 6:16                 24       No Age Given Bellefontaine\n25    31  Shane Weatherhead      M                            0:12:34.0 0:12:34.0 6:17                 25       No Age Given Botkins\n26    57  Dominic Davis          M                            0:12:36.6 0:12:36.6 6:18                 26       No Age Given Fairlawn\n27    34  Aiden Beachler         M                            0:12:42.8 0:12:42.8 6:21                 27       No Age Given Bradford\n28    49  Owen Boehringer        M                            0:12:43.0 0:12:43.0 6:22                 28       No Age Given Covington\n29    9   Gannon Purcell         M                            0:12:43.9 0:12:43.9 6:22                 29       No Age Given Bellefontaine\n30    18  Jack Dietz             M                            0:12:49.2 0:12:49.2 6:25                 30       No Age Given Botkins\n31    102 Dylan Barnes           M                            0:12:50.7 0:12:50.7 6:25                 31       No Age Given Miami East\n32    128 Paul Hinds             M      Piqua   OH    US      0:12:51.7 0:12:51.7 6:26  13  70.2       32       No Age Given Piqua\n33    77  Hunter Mowery          M                            0:12:52.4 0:12:52.4 6:26                 33       No Age Given Houston\n34    160 Ayden Estep            M                            0:12:56.8 0:12:56.8 6:28                 34       No Age Given W. Liberty-Salem\n35    56  Levi Barthauer         M                            0:12:57.5 0:12:57.5 6:29                 35       No Age Given Fairlawn\n36    80  Trey Vogler            M                            0:12:57.8 0:12:57.8 6:29                 36       No Age Given Houston\n37    139 Aiden Booth            M                            0:12:58.3 0:12:58.3 6:29                 37       No Age Given Sidney\n38    115 Joel Hunt              M                            0:12:58.6 0:12:58.6 6:29                 38       No Age Given National Trail\n39    88  Xavier Esser           M                            0:13:01.0 0:13:01.0 6:31                 39       No Age Given Jackson Center\n40    116 Ethan Murphy           M                            0:13:01.9 0:13:01.9 6:31                 40       No Age Given National Trail\n41    113 Owen Bryant            M                            0:13:02.6 0:13:02.6 6:31                 41       No Age Given National Trail\n42    35  Ben Kitts              M                            0:13:03.1 0:13:03.1 6:32                 42       No Age Given Bradford\n43    19  Declen Ford            M                            0:13:03.2 0:13:03.2 6:32                 43       No Age Given Botkins\n44    47  Tyler Alexander        M                            0:13:11.0 0:13:11.0 6:36                 44       No Age Given Covington\n45    67  Cooper Shore           M                            0:13:12.1 0:13:12.1 6:36                 45       No Age Given Graham Local\n46    103 Clark Bennett          M                            0:13:12.4 0:13:12.4 6:36                 46       No Age Given Miami East\n47    59  Jackson Huelskamp      M                            0:13:12.7 0:13:12.7 6:36                 47       No Age Given Fairlawn\n48    61  Gauge Sharrock         M                            0:13:13.7 0:13:13.7 6:37                 48       No Age Given Fairlawn\n49    107 Ethan Ott              M                            0:13:14.6 0:13:14.6 6:37                 49       No Age Given Miami East\n50    101 Joshua Amheiser        M                            0:13:15.1 0:13:15.1 6:38                 50       No Age Given Miami East\n51    46  Nathan Reider          M                            0:13:17.5 0:13:17.5 6:39                 51       No Age Given Brookville\n52    123 Cael Barr              M      Sidney  OH    US      0:13:17.6 0:13:17.6 6:39  14  66.3       52       No Age Given Piqua\n53    138 Andrew Bonifas         M                            0:13:17.6 0:13:17.6 6:39                 53       No Age Given Sidney\n54    78  Justin Pollock         M                            0:13:18.1 0:13:18.1 6:39                 54       No Age Given Houston\n55    69  Sam Cartwright         M                            0:13:20.3 0:13:20.3 6:40                 55       No Age Given Houston\n56    36  Landon Monnin          M                            0:13:24.2 0:13:24.2 6:42                 56       No Age Given Bradford\n57    168 Isaac Reames           M                            0:13:25.4 0:13:25.4 6:43                 57       No Age Given W. Liberty-Salem\n58    62  Zachary Blosser        M                            0:13:25.7 0:13:25.7 6:43                 58       No Age Given Graham Local\n59    117 Parker Webb            M                            0:13:26.3 0:13:26.3 6:43                 59       No Age Given National Trail\n60    122 Noah Baker             M                            0:13:26.9 0:13:26.9 6:43                 60       No Age Given Piqua\n61    83  Brant Parsell          M                            0:13:27.5 0:13:27.5 6:44                 61       No Age Given Indian Lake\n62    53  Owen Rawson            M                            0:13:27.5 0:13:27.5 6:44                 62       No Age Given Covington\n63    70  Cole Crim              M                            0:13:28.6 0:13:28.6 6:44                 63       No Age Given Houston\n64    55  Ayden Rench            M                            0:13:29.2 0:13:29.2 6:45                 64       No Age Given Covington\n65    149 Roman Bianco           M                            0:13:29.5 0:13:29.5 6:45                 65       No Age Given Troy Christian\n66    163 Owen Johnson           M                            0:13:30.0 0:13:30.0 6:45                 66       No Age Given W. Liberty-Salem\n67    166 Hayden Miller          M                            0:13:33.2 0:13:33.2 6:47                 67       No Age Given W. Liberty-Salem\n68    43  Karson Ebbing          M                            0:13:34.1 0:13:34.1 6:47                 68       No Age Given Brookville\n69    126 Bryce Gephart          M                            0:13:35.7 0:13:35.7 6:48                 69       No Age Given Piqua\n70    24  Carter Pleiman         M                            0:13:36.3 0:13:36.3 6:48                 70       No Age Given Botkins\n71    153 Trevor Hasting         M                            0:13:36.5 0:13:36.5 6:48                 71       No Age Given Wapakoneta\n72    93  Ethan Pohlschneider    M                            0:13:38.2 0:13:38.2 6:49                 72       No Age Given Jackson Center\n73    151 Conner Rogers          M                            0:13:43.4 0:13:43.4 6:52                 73       No Age Given Troy Christian\n74    38  Scout Spencer          M                            0:13:46.1 0:13:46.1 6:53                 74       No Age Given Bradford\n75    68  Brandon Jones          M                            0:13:49.3 0:13:49.3 6:55                 75       No Age Given Holy Angels\n76    124 Conner Brown           M                            0:13:50.9 0:13:50.9 6:55                 76       No Age Given Piqua\n77    58  Nathanial Eichelberger M                            0:13:54.5 0:13:54.5 6:57                 77       No Age Given Fairlawn\n78    130 Levi Smith             M      Piqua   OH    US      0:13:54.8 0:13:54.8 6:57  13  64.9       78       No Age Given Piqua\n79    150 Collin Blore           M                            0:13:57.2 0:13:57.2 6:59                 79       No Age Given Troy Christian\n80    72  Hunter Goshorn         M                            0:13:58.2 0:13:58.2 6:59                 80       No Age Given Houston\n81    127 Evan Heidenreich       M                            0:13:58.3 0:13:58.3 6:59                 81       No Age Given Piqua\n82    161 Elliott Hager          M                            0:14:00.2 0:14:00.2 7:00                 82       No Age Given W. Liberty-Salem\n83    6   Marcel Collins         M                            0:14:04.0 0:14:04.0 7:02                 83       No Age Given Bellefontaine\n84    26  Austin Rogers          M                            0:14:05.3 0:14:05.3 7:03                 84       No Age Given Botkins\n85    98  Hunter Kehn            M                            0:14:06.4 0:14:06.4 7:03                 85       No Age Given Lakota\n86    162 Owen Harrison          M                            0:14:09.0 0:14:09.0 7:05                 86       No Age Given W. Liberty-Salem\n87    96  Carson Hill            M                            0:14:09.1 0:14:09.1 7:05                 87       No Age Given Lakota\n88    112 Evan Baker             M                            0:14:15.9 0:14:15.9 7:08                 88       No Age Given National Trail\n89    42  Joshua Cooper          M                            0:14:18.0 0:14:18.0 7:09                 89       No Age Given Brookville\n90    51  Gavin Fraley           M                            0:14:20.1 0:14:20.1 7:10                 90       No Age Given Covington\n91    12  Kam Allen              M                            0:14:20.1 0:14:20.1 7:10                 91       No Age Given Ben. Logan\n92    52  Aaron Jackson          M                            0:14:20.5 0:14:20.5 7:10                 92       No Age Given Covington\n93    105 Rowan Gipe             M                            0:14:21.4 0:14:21.4 7:11                 93       No Age Given Miami East\n94    95  Peyton Harden          M                            0:14:21.8 0:14:21.8 7:11                 94       No Age Given Lakota\n95    45  Tyler Ketchen          M                            0:14:25.4 0:14:25.4 7:13                 95       No Age Given Brookville\n96    37  Dalton Reck            M                            0:14:26.6 0:14:26.6 7:13                 96       No Age Given Bradford\n97    132 Jacob Ward             M                            0:14:31.4 0:14:31.4 7:16                 97       No Age Given Piqua\n98    41  C.J. Bronner           M                            0:14:34.5 0:14:34.5 7:17                 98       No Age Given Brookville\n99    136 Justin Thompson        M                            0:14:35.6 0:14:35.6 7:18                 99       No Age Given Riverside\n100   121 David Anderson         M                            0:14:36.3 0:14:36.3 7:18                 100      No Age Given Piqua\n101   39  Robert Bickel          M                            0:14:38.3 0:14:38.3 7:19                 101      No Age Given Brookville\n102   65  Sam Ludlow             M                            0:14:41.6 0:14:41.6 7:21                 102      No Age Given Graham Local\n103   82  Dallas Miller          M                            0:14:43.8 0:14:43.8 7:22                 103      No Age Given Indian Lake\n104   143 Anthony Kellner        M      Sidney  OH    US      0:14:44.7 0:14:44.7 7:22  13  61.3       104      No Age Given Sidney\n105   144 Caleb Luthman          M                            0:14:45.6 0:14:45.6 7:23                 105      No Age Given Sidney\n106   155 Collin Lenhart         M                            0:14:45.7 0:14:45.7 7:23                 106      No Age Given Wapakoneta\n107   50  Devin Brummitt         M                            0:14:45.7 0:14:45.7 7:23                 107      No Age Given Covington\n108   171 Tommy Engle            M                            0:14:49.5 0:14:49.5 7:25                 108      No Age Given Wisdom Builders\n109   91  Raymond Lowry          M                            0:14:52.0 0:14:52.0 7:26                 109      No Age Given Jackson Center\n110   129 M. Kaye                M      Piqua   OH    US      0:14:53.5 0:14:53.5 7:27  12  62.4       110      No Age Given Piqua\n111   81  Jacob Huhn             M                            0:14:55.9 0:14:55.9 7:28                 111      No Age Given Indian Lake\n112   135 Samuel Knight          M                            0:14:56.5 0:14:56.5 7:28                 112      No Age Given Riverside\n113   63  Cayden Bonham          M                            0:14:58.0 0:14:58.0 7:29                 113      No Age Given Graham Local\n114   13  Ty Anspach             M                            0:15:00.9 0:15:00.9 7:30                 114      No Age Given Ben. Logan\n115   8   Palmer Neeld           M                            0:15:08.1 0:15:08.1 7:34                 115      No Age Given Bellefontaine\n116   156 Aiden Schneider        M                            0:15:09.6 0:15:09.6 7:35                 116      No Age Given Wapakoneta\n117   22  Toby Martin            M                            0:15:13.8 0:15:13.8 7:37                 117      No Age Given Botkins\n118   146 Kyle McKinney          M                            0:15:15.3 0:15:15.3 7:38                 118      No Age Given Sidney\n119   141 Gus Henry              M                            0:15:16.9 0:15:16.9 7:38                 119      No Age Given Sidney\n120   33  Jacob Yenser           M                            0:15:19.0 0:15:19.0 7:40                 120      No Age Given Botkins\n121   79  Trace Thomas           M                            0:15:19.7 0:15:19.7 7:40                 121      No Age Given Houston\n122   2   Daniel Espinoza        M                            0:15:25.5 0:15:25.5 7:43                 122      No Age Given Anna\n123   75  Nolan Merickel         M                            0:15:27.2 0:15:27.2 7:44                 123      No Age Given Houston\n124   54  Hunter Ray             M                            0:15:29.3 0:15:29.3 7:45                 124      No Age Given Covington\n125   97  Austin Holman          M                            0:15:35.3 0:15:35.3 7:48                 125      No Age Given Lakota\n126   106 Eric LeMaster          M                            0:15:38.4 0:15:38.4 7:49                 126      No Age Given Miami East\n127   15  Zane Bailey            M                            0:15:39.9 0:15:39.9 7:50                 127      No Age Given Bethel\n128   152 Nathan Doll            M                            0:15:40.5 0:15:40.5 7:50                 128      No Age Given Wapakoneta\n129   170 Charles Butler         M                            0:15:45.2 0:15:45.2 7:53                 129      No Age Given Wisdom Builders\n130   137 Noah Baldauf           M                            0:15:45.8 0:15:45.8 7:53                 130      No Age Given Sidney\n131   108 Skylar Phillips        M                            0:15:50.1 0:15:50.1 7:55                 131      No Age Given Miami East\n132   89  Dakota Keen            M                            0:16:08.9 0:16:08.9 8:04                 132      No Age Given Jackson Center\n133   110 Braden Zekas           M                            0:16:09.9 0:16:09.9 8:05                 133      No Age Given Miami East\n134   134 Owen Holycross         M                            0:16:10.8 0:16:10.8 8:05                 134      No Age Given Riverside\n135   157 Gavin Sutton           M                            0:16:15.8 0:16:15.8 8:08                 135      No Age Given Wapakoneta\n136   73  Alex Kellersmith       M                            0:16:20.7 0:16:20.7 8:10                 136      No Age Given Houston\n137   60  Mark Maloney           M                            0:16:22.5 0:16:22.5 8:11                 137      No Age Given Fairlawn\n138   76  Hayden Mowery          M                            0:16:26.6 0:16:26.6 8:13                 138      No Age Given Houston\n139   120 Shea Stile             M                            0:17:03.9 0:17:03.9 8:32                 139      No Age Given New Knoxville\n140   85  Mason Swygart          M                            0:17:06.5 0:17:06.5 8:33                 140      No Age Given Indian Lake\n141   100 Kiefer Shultz          M                            0:17:08.0 0:17:08.0 8:34                 141      No Age Given Lakota\n142   158 Clay Wisely            M                            0:17:25.9 0:17:25.9 8:43                 142      No Age Given Wapakoneta\n143   104 Carter Bevan           M                            0:17:27.7 0:17:27.7 8:44                 143      No Age Given Miami East\n144   178 Zeke Thompson          M                            0:17:28.9 0:17:28.9 8:44                 144      No Age Given Wisdom Builders\n145   66  Ryan Mason             M                            0:17:30.2 0:17:30.2 8:45                 145      No Age Given Graham Local\n146   154 John Jenkins           M                            0:17:30.8 0:17:30.8 8:45                 146      No Age Given Wapakoneta\n147   125 Seth Foster            M                            0:17:39.4 0:17:39.4 8:50                 147      No Age Given Piqua\n148   14  Ryan Freeman           M                            0:17:51.1 0:17:51.1 8:56                 148      No Age Given Ben. Logan\n149   94  Noah Rains             M                            0:17:56.4 0:17:56.4 8:58                 149      No Age Given Jackson Center\n150   1   Isaac Edelmann         M                            0:17:56.9 0:17:56.9 8:58                 150      No Age Given Anna\n151   148 Kyler Watkins          M                            0:18:16.9 0:18:16.9 9:08                 151      No Age Given Sidney\n152   119 Kaj Miller             M                            0:18:51.7 0:18:51.7 9:26                 152      No Age Given New Knoxville\n153   21  Andrew Homan           M                            0:19:46.7 0:19:46.7 9:53                 153      No Age Given Botkins\n154   11  Jaxon Sopher           M                            0:20:25.9 0:20:25.9 10:13                154      No Age Given Bellefontaine\n155   140 Nathan Gailey          M                            0:23:46.6 0:23:46.6 11:53                155      No Age Given Sidney\n156   90  Joshua Keen            M                            0:24:13.9 0:24:13.9 12:07                156      No Age Given Jackson Center\n<iframe width="100%" height="600" frameborder="0" style="border: 1px solid #ddd;" src="https://runsignup.com/Race/Results/52613/?embed&resultSetId=97694"></iframe>


Post by Ono » Thu Feb 25, 2021 9:01 am\nPost by cedge » Thu Feb 25, 2021 10:31 am\nPost by Torf » Thu Feb 25, 2021 12:13 pm\nPost by Nana » Thu Feb 25, 2021 8:31 pm\nPost by cjanderson » Fri Feb 26, 2021 12:22 pm\nPost by Bravoman » Sat Feb 27, 2021 2:16 pm\ndriver8 wrote: ... unless it's an investment group of Tory overlords headed up by basegreen !\nPost by Rob » Sat Feb 27, 2021 5:22 pm\nPost by AdamBrunt » Mon Mar 01, 2021 1:45 pm\nPost by ColinP » Wed Mar 03, 2021 10:15 am\nPost by scoobyood » Wed Mar 03, 2021 12:08 pm\n
via GIPHY
\nPost by Stevie G » Wed Mar 03, 2021 5:13 pm\nPost by gregallen » Wed Mar 10, 2021 10:33 pm\nPost by JCTurner » Fri Mar 12, 2021 5:39 pm\nVisit my Flickr Gallery HERE!\nPost by zantarous » Sun Mar 14, 2021 3:23 pm


Blog Music de Breiind2ah-s0nd-x3 - Breiind2ah - Skyrock.com\nMyy StyyLe (Àa`\nDesign by Breiind2ah-s0nd-x3\nCréation : 03/02/2008 à 21:04\n1 < o1.Breiind2ah-s0nd-x3\n2 < o2.Breiind2ah-s0nd-x3\n3 < o3.Breiind2ah-s0nd-x3\n4 < o4.Breiind2ah-s0nd-x3\n< o1. (2009)\nTitre : < o1.\n< o2. (2009)\nTitre : < o2.\n< o3. (2008)\nTitre : < o3.\nTsb Glennouuush :D (l)\n< o4. (2009)\nTitre : < o4.


OilDerricks-1940s-SignalHill-LA.png (536.25 kB, 700x473 - viewed 1014 times.)\ndreamstime.com-ID128204926cDcrane08.png (2611.96 kB, 1600x1156 - viewed 92 times.)\naims00036.jpg (117.86 kB, 1280x720 - viewed 81 times.)


Name: WARPRIZE ELIZABETH VAUGHAN PDF\nPDF VAUGHAN ELIZABETH WARPRIZE\nKindle Store. Read ebook pdf online or downloads full pages now. warprize elizabeth vaughan pdf Please click button to get warprize book now. Download and read online for free Warprize by Vaughan Elizabeth.\nELIZABETH PDF VAUGHAN WARPRIZE\nEbook. Warprize warprize Download warprize or read online here in PDF or EPUB. Hachette UK Number of pages : by warprize elizabeth vaughan pdf Elizabeth Vaughan.\nVAUGHAN PDF WARPRIZE ELIZABETH\nWarprize Download warprize or read online books in warprize elizabeth vaughan pdf PDF, EPUB, Tuebl, and Mobi Format. Warprize warprize Download warprize or read online here in PDF or EPUB. Warprize (Chronicles of the Warlands) eBook: ebook.\nWARPRIZE PDF VAUGHAN ELIZABETH\nRead Warprize by warprize elizabeth vaughan pdf Elizabeth Vaughan by Elizabeth Vaughan for free with a 30 day free trial. Publication Details. 4 Author: Buy a cheap copy of Warprize book by Elizabeth Vaughan.\nVAUGHAN ELIZABETH WARPRIZE PDF\nParanormal Warprize (Chronicles of the Warlands, book 1) by Elizabeth https://www.fantasticfiction.com/v/elizabeth-vaughan/warprize.htm Warprize (Chronicles of the Warlands, book 1) by Elizabeth Vaughan – book cover, description, publication history. Amazon.in: “I return your warprize, Warlord. Her first novel, warprize elizabeth vaughan pdf Warprize,.


Naturdämmplatte Trittschalldämmung 4 mm von PRINZ\nInhalt: 8.39 m² (2,38 € * / 1 m²)\n1 Paket(e) 2 Paket(e) 3 Paket(e) 4 Paket(e) 5 Paket(e) 6 Paket(e) 7 Paket(e) 8 Paket(e) 9 Paket(e) 10 Paket(e) 11 Paket(e) 12 Paket(e) 13 Paket(e) 14 Paket(e) 15 Paket(e) 16 Paket(e) 17 Paket(e) 18 Paket(e) 19 Paket(e) 20 Paket(e) 21 Paket(e) 22 Paket(e) 23 Paket(e) 24 Paket(e) 25 Paket(e) 26 Paket(e) 27 Paket(e) 28 Paket(e) 29 Paket(e) 30 Paket(e) 31 Paket(e) 32 Paket(e) 33 Paket(e) 34 Paket(e) 35 Paket(e) 36 Paket(e) 37 Paket(e) 38 Paket(e) 39 Paket(e) 40 Paket(e) 41 Paket(e) 42 Paket(e) 43 Paket(e) 44 Paket(e) 45 Paket(e) 46 Paket(e) 47 Paket(e) 48 Paket(e) 49 Paket(e) 50 Paket(e) 51 Paket(e) 52 Paket(e) 53 Paket(e) 54 Paket(e) 55 Paket(e) 56 Paket(e) 57 Paket(e) 58 Paket(e) 59 Paket(e) 60 Paket(e) 61 Paket(e) 62 Paket(e) 63 Paket(e) 64 Paket(e) 65 Paket(e) 66 Paket(e) 67 Paket(e) 68 Paket(e) 69 Paket(e) 70 Paket(e) 71 Paket(e) 72 Paket(e) 73 Paket(e) 74 Paket(e) 75 Paket(e) 76 Paket(e) 77 Paket(e) 78 Paket(e) 79 Paket(e) 80 Paket(e) 81 Paket(e) 82 Paket(e) 83 Paket(e) 84 Paket(e) 85 Paket(e) 86 Paket(e) 87 Paket(e) 88 Paket(e) 89 Paket(e) 90 Paket(e) 91 Paket(e) 92 Paket(e) 93 Paket(e) 94 Paket(e) 95 Paket(e) 96 Paket(e) 97 Paket(e) 98 Paket(e) 99 Paket(e) 100 Paket(e) 101 Paket(e) 102 Paket(e) 103 Paket(e) 104 Paket(e) 105 Paket(e) 106 Paket(e) 107 Paket(e) 108 Paket(e) 109 Paket(e) 110 Paket(e) 111 Paket(e) 112 Paket(e) 113 Paket(e) 114 Paket(e) 115 Paket(e) 116 Paket(e) 117 Paket(e) 118 Paket(e) 119 Paket(e) 120 Paket(e) 121 Paket(e) 122 Paket(e) 123 Paket(e) 124 Paket(e) 125 Paket(e) 126 Paket(e) 127 Paket(e) 128 Paket(e) 129 Paket(e) 130 Paket(e) 131 Paket(e) 132 Paket(e) 133 Paket(e) 134 Paket(e) 135 Paket(e) 136 Paket(e) 137 Paket(e) 138 Paket(e) 139 Paket(e) 140 Paket(e) 141 Paket(e) 142 Paket(e) 143 Paket(e) 144 Paket(e) 145 Paket(e) 146 Paket(e) 147 Paket(e) 148 Paket(e) 149 Paket(e) 150 Paket(e) 151 Paket(e) 152 Paket(e) 153 Paket(e) 154 Paket(e) 155 Paket(e) 156 Paket(e) 157 Paket(e) 158 Paket(e) 159 Paket(e) 160 Paket(e) 161 Paket(e) 162 Paket(e) 163 Paket(e) 164 Paket(e) 165 Paket(e) 166 Paket(e) 167 Paket(e) 168 Paket(e) 169 Paket(e) 170 Paket(e) 171 Paket(e) 172 Paket(e) 173 Paket(e) 174 Paket(e) 175 Paket(e) 176 Paket(e) 177 Paket(e) 178 Paket(e) 179 Paket(e) 180 Paket(e) 181 Paket(e) 182 Paket(e) 183 Paket(e) 184 Paket(e) 185 Paket(e) 186 Paket(e) 187 Paket(e) 188 Paket(e) 189 Paket(e) 190 Paket(e) 191 Paket(e) 192 Paket(e) 193 Paket(e) 194 Paket(e) 195 Paket(e) 196 Paket(e) 197 Paket(e) 198 Paket(e) 199 Paket(e) 200 Paket(e) 201 Paket(e) 202 Paket(e) 203 Paket(e) 204 Paket(e) 205 Paket(e) 206 Paket(e) 207 Paket(e) 208 Paket(e) 209 Paket(e) 210 Paket(e) 211 Paket(e) 212 Paket(e) 213 Paket(e) 214 Paket(e) 215 Paket(e) 216 Paket(e) 217 Paket(e) 218 Paket(e) 219 Paket(e) 220 Paket(e) 221 Paket(e) 222 Paket(e) 223 Paket(e) 224 Paket(e) 225 Paket(e) 226 Paket(e) 227 Paket(e) 228 Paket(e) 229 Paket(e) 230 Paket(e) 231 Paket(e) 232 Paket(e) 233 Paket(e) 234 Paket(e) 235 Paket(e) 236 Paket(e) 237 Paket(e) 238 Paket(e) 239 Paket(e) 240 Paket(e) 241 Paket(e) 242 Paket(e) 243 Paket(e) 244 Paket(e) 245 Paket(e) 246 Paket(e) 247 Paket(e) 248 Paket(e) 249 Paket(e) 250 Paket(e) 251 Paket(e) 252 Paket(e) 253 Paket(e) 254 Paket(e) 255 Paket(e) 256 Paket(e) 257 Paket(e) 258 Paket(e) 259 Paket(e) 260 Paket(e) 261 Paket(e) 262 Paket(e) 263 Paket(e) 264 Paket(e) 265 Paket(e) 266 Paket(e) 267 Paket(e) 268 Paket(e) 269 Paket(e) 270 Paket(e) 271 Paket(e) 272 Paket(e) 273 Paket(e) 274 Paket(e) 275 Paket(e) 276 Paket(e) 277 Paket(e) 278 Paket(e) 279 Paket(e) 280 Paket(e) 281 Paket(e) 282 Paket(e) 283 Paket(e) 284 Paket(e) 285 Paket(e) 286 Paket(e) 287 Paket(e) 288 Paket(e) 289 Paket(e) 290 Paket(e) 291 Paket(e) 292 Paket(e) 293 Paket(e) 294 Paket(e) 295 Paket(e) 296 Paket(e) 297 Paket(e) 298 Paket(e) 299 Paket(e) 300 Paket(e) 301 Paket(e) 302 Paket(e) 303 Paket(e) 304 Paket(e) 305 Paket(e) 306 Paket(e) 307 Paket(e) 308 Paket(e) 309 Paket(e) 310 Paket(e) 311 Paket(e) 312 Paket(e) 313 Paket(e) 314 Paket(e) 315 Paket(e) 316 Paket(e) 317 Paket(e) 318 Paket(e) 319 Paket(e) 320 Paket(e) 321 Paket(e) 322 Paket(e) 323 Paket(e) 324 Paket(e) 325 Paket(e) 326 Paket(e) 327 Paket(e) 328 Paket(e) 329 Paket(e) 330 Paket(e) 331 Paket(e) 332 Paket(e) 333 Paket(e) 334 Paket(e) 335 Paket(e) 336 Paket(e) 337 Paket(e) 338 Paket(e) 339 Paket(e) 340 Paket(e) 341 Paket(e) 342 Paket(e) 343 Paket(e) 344 Paket(e) 345 Paket(e) 346 Paket(e) 347 Paket(e) 348 Paket(e) 349 Paket(e) 350 Paket(e) 351 Paket(e) 352 Paket(e) 353 Paket(e) 354 Paket(e) 355 Paket(e) 356 Paket(e) 357 Paket(e) 358 Paket(e) 359 Paket(e) 360 Paket(e) 361 Paket(e) 362 Paket(e) 363 Paket(e) 364 Paket(e) 365 Paket(e) 366 Paket(e) 367 Paket(e) 368 Paket(e) 369 Paket(e) 370 Paket(e) 371 Paket(e) 372 Paket(e) 373 Paket(e) 374 Paket(e) 375 Paket(e) 376 Paket(e) 377 Paket(e)\nProduktinformationen "Naturdämmplatte 4 mm: 8,39 m²"\nÖkologische Unterbodenplatte aus natürlichen Holzfasern.\nhoch warmedämmend: spart wirksam Heizkostenantistatisch - daher nicht für Fussbodenheizungen geeignet!\nSchallhemmende, komfortfördernde Dämmschutzplatte zur schwimmenden Verlegung.\nPerfekter Ausgleich von Bodenunebenheiten bis 2 mm\nTrittschalldämmung: 19 dB, Gehschallverbesserung: 7 %\nhohe Belastungsfähigkeit von bis zu 7 t/m²\nAbmessungen: Breite 590 mm, Länge 790 mm, Stärke: 4 mm.\nWeiterführende Links zu "Naturdämmplatte 4 mm: 8,39 m²"\nDownload Datenblatt PRINZ Naturdämmplatten\nDownload Verlegeanleitung PRINZ Naturdämmplatten\nKundenbewertungen für "Naturdämmplatte 4 mm: 8,39 m²"