Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 2007-03-21 | SAT (TO) | 155 | 1800.07 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb |
MD5SUM | cca57c347e264f92fb70010109aa24c5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 108 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 104 |
Optimality of the best value was proved | NO |
Number of variables | 6139 |
Total number of constraints | 1437 |
Number of constraints which are clauses | 1437 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 172 |
Number of terms in the objective function | 6139 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6139 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6139 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 0.00/0.00 c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel) 0.00/0.00 c Developed by L. Liuand M. Truszczynski 0.00/0.00 c Last built on Sun 18 Mar 2007 03:03:40 PM EDT 0.00/0.00 c 0.00/0.00 c /tmp/evaluation/352758-1176640803/wildcat-rnp /tmp/evaluation/352758-1176640803/instance-352758-1176640803.opb 773821458 0.00/0.00 c =================================== BEGIN =================================== 0.00/0.00 c 0.00/0.00 c Random Number Seed: 773821458 0.00/0.00 c Noise: 0.7 (70 : 100) 0.39/0.47 c Starting searching: 0.39/0.47 c Phase 1 ... 0.49/0.51 c trying 6139: vc 0.49/0.51 o 3052 0.49/0.55 c trying 2996: vc 0.49/0.55 o 2996 0.59/0.60 c trying 2941: vc 0.59/0.60 o 2941 0.59/0.65 c trying 2886: vc 0.59/0.65 o 2886 0.69/0.70 c trying 2832: vc 0.69/0.70 o 2832 0.69/0.76 c trying 2778: vc 0.69/0.76 o 2778 0.79/0.81 c trying 2725: vc 0.79/0.81 o 2725 0.79/0.87 c trying 2672: vc 0.79/0.87 o 2672 0.89/0.93 c trying 2620: vc 0.89/0.93 o 2620 0.89/0.99 c trying 2568: vc 0.89/0.99 o 2568 1.00/1.05 c trying 2517: vc 1.00/1.05 o 2517 1.09/1.12 c trying 2466: vc 1.09/1.12 o 2466 1.09/1.18 c trying 2416: vc 1.09/1.18 o 2416 1.19/1.25 c trying 2366: vc 1.19/1.25 o 2366 1.29/1.32 c trying 2317: vc 1.29/1.32 o 2317 1.29/1.40 c trying 2268: vc 1.29/1.40 o 2268 1.39/1.47 c trying 2220: vc 1.39/1.47 o 2220 1.49/1.55 c trying 2172: vc 1.49/1.55 o 2172 1.59/1.63 c trying 2125: vc 1.59/1.63 o 2125 1.69/1.70 c trying 2078: vc 1.69/1.70 o 2078 1.69/1.78 c trying 2032: vc 1.69/1.78 o 2032 1.79/1.87 c trying 1986: vc 1.79/1.87 o 1986 1.89/1.95 c trying 1941: vc 1.89/1.95 o 1941 1.99/2.04 c trying 1896: vc 1.99/2.04 o 1896 2.09/2.12 c trying 1852: vc 2.09/2.12 o 1852 2.19/2.21 c trying 1808: vc 2.19/2.21 o 1808 2.29/2.30 c trying 1765: vc 2.29/2.30 o 1765 2.29/2.40 c trying 1722: vc 2.29/2.40 o 1722 2.39/2.49 c trying 1680: vc 2.39/2.49 o 1680 2.49/2.58 c trying 1639: vc 2.49/2.58 o 1639 2.59/2.68 c trying 1598: vc 2.59/2.68 o 1598 2.69/2.78 c trying 1558: vc 2.69/2.78 o 1558 2.79/2.88 c trying 1518: vc 2.79/2.88 o 1518 2.89/2.98 c trying 1479: vc 2.89/2.98 o 1479 2.99/3.08 c trying 1440: vc 2.99/3.08 o 1440 3.09/3.19 c trying 1402: vc 3.09/3.19 o 1402 3.19/3.29 c trying 1364: vc 3.19/3.29 o 1364 3.39/3.40 c trying 1327: vc 3.39/3.40 o 1327 3.49/3.51 c trying 1290: vc 3.49/3.51 o 1290 3.59/3.63 c trying 1254: vc 3.59/3.63 o 1254 3.69/3.74 c trying 1218: vc 3.69/3.74 o 1218 3.79/3.85 c trying 1183: vc 3.79/3.85 o 1183 3.89/3.97 c trying 1148: vc 3.89/3.97 o 1148 3.99/4.08 c trying 1114: vc 3.99/4.08 o 1114 4.19/4.21 c trying 1080: vc 4.19/4.21 o 1080 4.29/4.34 c trying 1047: vc 4.29/4.34 o 1047 4.39/4.46 c trying 1014: vc 4.39/4.46 o 1014 4.49/4.59 c trying 982: vc 4.49/4.59 o 982 4.69/4.72 c trying 950: vc 4.69/4.72 o 950 4.79/4.86 c trying 919: vc 4.79/4.86 o 919 4.99/5.00 c trying 888: vc 4.99/5.00 o 888 5.09/5.14 c trying 858: vc 5.09/5.14 o 858 5.19/5.28 c trying 828: vc 5.19/5.28 o 828 5.39/5.44 c trying 799: vc 5.39/5.44 o 799 5.49/5.59 c trying 770: vc 5.49/5.59 o 770 5.69/5.76 c trying 742: vc 5.69/5.76 o 742 5.89/5.92 c trying 714: vc 5.89/5.92 o 714 6.09/6.10 c trying 687: vc 6.09/6.10 o 687 6.19/6.29 c trying 660: vc 6.19/6.29 o 660 6.39/6.48 c trying 634: vc 6.39/6.48 o 634 6.59/6.68 c trying 608: vc 6.59/6.68 o 608 6.89/6.91 c trying 583: vc 6.89/6.91 o 583 7.09/7.13 c trying 558: vc 7.09/7.13 o 558 7.29/7.39 c trying 534: vc 7.29/7.39 o 534 7.59/7.66 c trying 510: vc 7.59/7.66 o 510 7.89/7.96 c trying 487: vc 7.89/7.96 o 487 8.19/8.28 c trying 464: vc 8.19/8.28 o 464 8.59/8.64 c trying 442: vc 8.59/8.64 o 442 8.99/9.05 c trying 420: vc 8.99/9.05 o 420 9.39/9.49 c trying 399: vc 9.39/9.49 o 399 9.99/10.01 c trying 379: vc 9.99/10.01 o 379 10.59/10.65 c trying 359: vc 10.59/10.65 o 359 11.29/11.39 c trying 340: vc 11.29/11.39 o 340 12.19/12.21 c trying 321: vc 12.19/12.21 o 321 13.29/13.30 c trying 303: vc 13.29/13.30 o 303 14.59/14.65 c trying 285: vc 14.59/14.65 o 285 16.29/16.32 c trying 268: vc 16.29/16.32 o 268 18.39/18.44 c trying 251: vc 18.39/18.44 o 251 21.38/21.50 c trying 235: vc 21.48/21.50 o 235 50.27/50.36 c trying 219: xxxxxxxxxxc 50.27/50.36 c Phase 2 ... 53.57/53.63 c trying 234: vc 53.57/53.63 o 234 56.87/56.98 c trying 233: vc 56.87/56.98 o 233 60.57/60.61 c trying 232: vc 60.57/60.61 o 232 63.97/64.09 c trying 231: vc 63.97/64.09 o 231 67.37/67.40 c trying 230: vc 67.37/67.40 o 230 70.67/70.75 c trying 229: vc 70.67/70.75 o 229 74.37/74.49 c trying 228: vc 74.37/74.49 o 228 77.98/78.00 c trying 227: vc 77.98/78.00 o 227 81.47/81.55 c trying 226: vc 81.47/81.55 o 226 85.07/85.12 c trying 225: vc 85.07/85.12 o 225 88.97/89.01 c trying 224: vc 88.97/89.01 o 224 93.67/93.72 c trying 223: vc 93.67/93.72 o 223 98.37/98.45 c trying 222: vc 98.37/98.45 o 222 102.77/102.82 c trying 221: vc 102.77/102.82 o 221 107.26/107.34 c trying 220: vc 107.26/107.34 o 220 111.46/111.54 c trying 219: vc 111.46/111.54 o 219 115.86/115.95 c trying 218: vc 115.86/115.95 o 218 120.16/120.23 c trying 217: vc 120.16/120.23 o 217 124.46/124.59 c trying 216: vc 124.46/124.59 o 216 129.36/129.49 c trying 215: vc 129.36/129.49 o 215 134.66/134.75 c trying 214: vc 134.66/134.75 o 214 140.25/140.38 c trying 213: vc 140.25/140.38 o 213 145.55/145.60 c trying 212: vc 145.55/145.60 o 212 151.05/151.14 c trying 211: vc 151.05/151.14 o 211 155.95/156.09 c trying 210: vc 155.95/156.09 o 210 161.55/161.62 c trying 209: vc 161.55/161.62 o 209 166.95/167.05 c trying 208: vc 166.95/167.05 o 208 172.44/172.58 c trying 207: vc 172.44/172.58 o 207 178.84/178.90 c trying 206: vc 178.84/178.90 o 206 184.44/184.56 c trying 205: vc 184.44/184.56 o 205 190.14/190.24 c trying 204: vc 190.14/190.24 o 204 197.44/197.54 c trying 203: vc 197.44/197.54 o 203 204.44/204.54 c trying 202: vc 204.44/204.54 o 202 211.04/211.15 c trying 201: vc 211.04/211.15 o 201 220.03/220.10 c trying 200: vc 220.03/220.10 o 200 228.44/228.59 c trying 199: vc 228.44/228.59 o 199 236.83/236.92 c trying 198: vc 236.83/236.92 o 198 246.83/246.93 c trying 197: vc 246.83/246.93 o 197 256.73/256.83 c trying 196: vc 256.73/256.83 o 196 266.42/266.51 c trying 195: vc 266.42/266.51 o 195 275.12/275.30 c trying 194: vc 275.12/275.30 o 194 284.62/284.72 c trying 193: vc 284.62/284.72 o 193 295.51/295.62 c trying 192: vc 295.51/295.62 o 192 306.11/306.25 c trying 191: vc 306.11/306.25 o 191 316.61/316.79 c trying 190: vc 316.61/316.79 o 190 329.20/329.35 c trying 189: vc 329.20/329.35 o 189 340.00/340.18 c trying 188: vc 340.00/340.18 o 188 352.30/352.40 c trying 187: vc 352.30/352.40 o 187 365.39/365.59 c trying 186: vc 365.39/365.59 o 186 378.50/378.67 c trying 185: vc 378.50/378.67 o 185 392.99/393.16 c trying 184: vc 392.99/393.16 o 184 408.59/408.73 c trying 183: vc 408.59/408.73 o 183 422.98/423.18 c trying 182: vc 422.98/423.18 o 182 438.38/438.54 c trying 181: vc 438.38/438.54 o 181 454.67/454.84 c trying 180: vc 454.67/454.84 o 180 473.17/473.38 c trying 179: vc 473.17/473.38 o 179 491.86/492.03 c trying 178: vc 491.86/492.03 o 178 510.06/510.27 c trying 177: vc 510.06/510.27 o 177 531.76/531.94 c trying 176: vc 531.76/531.94 o 176 548.66/548.84 c trying 175: vc 548.66/548.84 o 175 570.95/571.10 c trying 174: vc 570.95/571.10 o 174 592.34/592.54 c trying 173: vc 592.34/592.54 o 173 618.13/618.36 c trying 172: vc 618.13/618.36 o 172 642.03/642.27 c trying 171: vc 642.03/642.27 o 171 667.02/667.22 c trying 170: vc 667.02/667.22 o 170 690.12/690.38 c trying 169: vc 690.12/690.38 o 169 717.61/717.80 c trying 168: vc 717.61/717.80 o 168 744.80/745.01 c trying 167: vc 744.80/745.01 o 167 773.20/773.44 c trying 166: vc 773.20/773.44 o 166 982.95/983.20 c trying 165: xxxxxxvc 982.95/983.20 o 165 1280.70/1281.11 c trying 164: xxxxxxxxxxc 1280.70/1281.11 c Phase 3 ... 1313.97/1314.40 c trying 164 again: vc 1313.97/1314.40 o 164 1351.75/1352.22 c trying 163 again: vc 1351.75/1352.22 o 163 1389.14/1389.60 c trying 162 again: vc 1389.14/1389.60 o 162 1432.02/1432.57 c trying 161 again: vc 1432.02/1432.57 o 161 1474.92/1475.49 c trying 160 again: vc 1474.92/1475.49 o 160 1517.61/1518.11 c trying 159 again: vc 1517.61/1518.11 o 159 1568.29/1568.81 c trying 158 again: vc 1568.29/1568.81 o 158 1626.98/1627.52 c trying 157 again: vc 1626.98/1627.52 o 157 1682.56/1683.12 c trying 156 again: vc 1682.56/1683.12 o 156 1737.46/1738.09 c trying 155 again: vc 1737.46/1738.09 o 155 1800.04/1800.60 c trying 154 again: xc 1800.04/1800.60 s SATISFIABLE 1800.04/1800.61 v -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 1800.04/1800.61 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.04/1800.61 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.04/1800.61 v x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.04/1800.61 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.04/1800.61 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 1800.04/1800.61 v -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.04/1800.61 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.04/1800.61 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.04/1800.61 v x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.04/1800.61 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.04/1800.61 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.04/1800.61 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.04/1800.61 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.04/1800.61 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.04/1800.61 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.04/1800.61 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.04/1800.61 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.04/1800.61 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 1800.04/1800.61 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.04/1800.61 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.04/1800.61 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.04/1800.61 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.04/1800.61 v -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.04/1800.61 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.04/1800.61 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.04/1800.61 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.04/1800.61 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.04/1800.61 v -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.04/1800.61 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.04/1800.61 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.04/1800.61 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.04/1800.61 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.04/1800.61 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.04/1800.61 v x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.04/1800.61 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.04/1800.61 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 1800.04/1800.61 v -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.04/1800.61 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.04/1800.61 v x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.04/1800.61 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.04/1800.61 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.04/1800.61 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.04/1800.61 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.04/1800.61 v -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.04/1800.61 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.04/1800.61 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.04/1800.61 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.04/1800.61 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.04/1800.61 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 1800.04/1800.61 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 1800.04/1800.61 v -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.04/1800.61 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.04/1800.61 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.04/1800.61 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.04/1800.61 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1800.04/1800.61 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 1800.04/1800.61 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1800.04/1800.61 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1800.04/1800.61 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 1800.04/1800.61 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 1800.04/1800.61 v -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 1800.04/1800.61 v -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1800.04/1800.61 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 1800.04/1800.61 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1800.04/1800.61 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1800.04/1800.61 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1800.04/1800.61 v -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1800.04/1800.61 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 1800.04/1800.61 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 1800.04/1800.61 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1800.04/1800.61 v x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 1800.04/1800.61 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1800.04/1800.61 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1800.04/1800.61 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1800.04/1800.61 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1800.04/1800.61 v x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1800.04/1800.61 v -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1800.04/1800.61 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1800.04/1800.61 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1800.04/1800.61 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1800.04/1800.61 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 1800.04/1800.61 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1800.04/1800.61 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1800.04/1800.61 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1800.04/1800.61 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 1800.04/1800.61 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 1800.04/1800.61 v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 1800.04/1800.61 v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 1800.04/1800.61 v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 1800.04/1800.61 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 1800.04/1800.61 v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 1800.04/1800.61 v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 1800.04/1800.61 v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 1800.04/1800.61 v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.04/1800.61 v -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1800.04/1800.61 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1800.04/1800.61 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1800.04/1800.61 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1800.04/1800.61 v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 1800.04/1800.61 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 1800.04/1800.61 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1800.04/1800.61 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1800.04/1800.61 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1800.04/1800.61 v -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 1800.04/1800.61 v -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 1800.04/1800.61 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1800.04/1800.61 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1800.04/1800.61 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1800.04/1800.61 v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1800.04/1800.61 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1800.04/1800.61 v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1800.04/1800.61 v -x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.04/1800.61 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 1800.04/1800.61 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167 1800.04/1800.61 v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 1800.04/1800.61 v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 1800.04/1800.61 v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 1800.04/1800.61 v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 1800.04/1800.61 v -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 1800.04/1800.61 v -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 1800.04/1800.61 v -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 1800.04/1800.61 v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 1800.04/1800.61 v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 1800.04/1800.61 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 1800.04/1800.61 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 1800.04/1800.61 v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 1800.04/1800.61 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 1800.04/1800.61 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 1800.04/1800.61 v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 1800.04/1800.61 v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 -x2438 -x2439 1800.04/1800.61 v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 1800.04/1800.61 v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 x2471 -x2472 -x2473 1800.04/1800.61 v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 1800.04/1800.61 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 1800.04/1800.61 v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 1800.04/1800.61 v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 1800.04/1800.61 v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 1800.04/1800.61 v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 1800.04/1800.61 v -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 1800.04/1800.61 v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 1800.04/1800.61 v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 1800.04/1800.61 v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 1800.04/1800.61 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1800.04/1800.61 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 1800.04/1800.61 v -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 1800.04/1800.61 v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 1800.04/1800.61 v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 x2725 -x2726 -x2727 x2728 -x2729 1800.04/1800.61 v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 1800.04/1800.61 v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 1800.04/1800.61 v -x2764 x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 1800.04/1800.61 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1800.04/1800.61 v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.04/1800.61 v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 1800.04/1800.61 v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 1800.04/1800.61 v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 1800.04/1800.61 v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 1800.04/1800.61 v -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 1800.04/1800.61 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 1800.04/1800.61 v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 1800.04/1800.61 v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1800.04/1800.61 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.04/1800.61 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 1800.04/1800.61 v -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 1800.04/1800.61 v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 1800.04/1800.61 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 1800.04/1800.61 v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 1800.04/1800.61 v -x3055 x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 1800.04/1800.61 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 1800.04/1800.61 v -x3089 -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 1800.04/1800.61 v -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 1800.04/1800.61 v x3124 -x3125 -x3126 -x3127 -x3128 x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 1800.04/1800.61 v -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 1800.04/1800.61 v -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 x3173 -x3174 -x3175 1800.04/1800.61 v -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 1800.04/1800.61 v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 1800.04/1800.61 v -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 1800.04/1800.61 v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 1800.04/1800.61 v -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 1800.04/1800.61 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 1800.04/1800.61 v -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 x3284 x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 1800.04/1800.61 v -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 1800.04/1800.61 v -x3313 -x3314 -x3315 -x3316 -x3317 x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 1800.04/1800.61 v -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 1800.04/1800.61 v -x3347 -x3348 -x3349 -x3350 -x3351 x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 1800.04/1800.61 v -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 1800.04/1800.61 v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 1800.04/1800.61 v -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 1800.04/1800.61 v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 1800.04/1800.61 v -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 1800.04/1800.61 v -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 1800.04/1800.61 v -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 1800.04/1800.61 v -x3483 -x3484 -x3485 -x3486 x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 1800.04/1800.61 v -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 1800.04/1800.61 v -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 1800.04/1800.61 v -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 x3549 -x3550 1800.04/1800.61 v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 1800.04/1800.61 v -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 1800.04/1800.61 v -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 1800.04/1800.61 v -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 1800.04/1800.61 v -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 1800.04/1800.61 v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 1800.04/1800.61 v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 1800.04/1800.61 v -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 1800.04/1800.61 v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 1800.04/1800.61 v -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 1800.04/1800.61 v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 1800.04/1800.61 v -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 1800.04/1800.61 v -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 x3770 -x3771 1800.04/1800.61 v -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 1800.04/1800.61 v -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 1800.04/1800.61 v -x3806 -x3807 -x3808 -x3809 x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 1800.04/1800.61 v -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 1800.04/1800.61 v -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 1800.04/1800.61 v -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 1800.04/1800.61 v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 1800.04/1800.61 v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 1800.04/1800.61 v x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 1800.04/1800.61 v -x3925 -x3926 x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 1800.04/1800.61 v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 1800.04/1800.61 v -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 1800.04/1800.61 v -x3976 -x3977 -x3978 -x3979 x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 1800.04/1800.61 v -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 1800.04/1800.61 v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 x4023 -x4024 -x4025 -x4026 1800.04/1800.61 v -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 1800.04/1800.61 v x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 1800.04/1800.61 v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 1800.04/1800.61 v -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 x4090 -x4091 -x4092 -x4093 -x4094 1800.04/1800.61 v -x4095 x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 1800.04/1800.61 v -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 1800.04/1800.61 v -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 1800.04/1800.61 v -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 1800.04/1800.61 v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 1800.04/1800.61 v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 1800.04/1800.61 v -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 1800.04/1800.61 v -x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 1800.04/1800.61 v -x4231 -x4232 -x4233 -x4234 -x4235 x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 1800.04/1800.61 v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 1800.04/1800.61 v -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 1800.04/1800.61 v -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 -x4296 -x4297 -x4298 1800.04/1800.61 v -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 1800.04/1800.61 v -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333 1800.04/1800.61 v -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 1800.04/1800.61 v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 1800.04/1800.61 v -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 1800.04/1800.61 v -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 1800.04/1800.61 v -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 1800.04/1800.61 v -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 1800.04/1800.61 v x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 1800.04/1800.61 v -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 x4464 -x4465 -x4466 -x4467 -x4468 -x4469 1800.04/1800.61 v -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 x4484 -x4485 -x4486 1800.04/1800.61 v -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 1800.04/1800.61 v -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520 1800.04/1800.61 v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 1800.04/1800.61 v -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 1800.04/1800.61 v -x4555 -x4556 x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 1800.04/1800.61 v -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 1800.04/1800.61 v -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 1800.04/1800.61 v -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 1800.04/1800.61 v -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 1800.04/1800.61 v -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 1800.04/1800.61 v -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 1800.04/1800.61 v -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 1800.04/1800.61 v -x4691 -x4692 -x4693 -x4694 -x4695 x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 -x4708 1800.04/1800.61 v -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 1800.04/1800.61 v -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 1800.04/1800.61 v -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 1800.04/1800.61 v -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 x4775 -x4776 1800.04/1800.61 v -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 1800.04/1800.61 v -x4794 -x4795 -x4796 -x4797 -x4798 x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 1800.04/1800.61 v -x4811 -x4812 -x4813 -x4814 -x4815 x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 1800.04/1800.61 v -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 1800.04/1800.61 v -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 1800.04/1800.61 v -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 1800.04/1800.61 v -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 1800.04/1800.61 v -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 1800.04/1800.61 v -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 1800.04/1800.61 v -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 1800.04/1800.61 v -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 1800.04/1800.61 v -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 x4979 -x4980 1800.04/1800.61 v -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 1800.04/1800.61 v -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 1800.04/1800.61 v -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 1800.04/1800.61 v -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 1800.04/1800.61 v -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 1800.04/1800.61 v -x5066 -x5067 -x5068 -x5069 x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 1800.04/1800.61 v -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 1800.04/1800.61 v -x5100 x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 1800.04/1800.61 v -x5117 -x5118 -x5119 -x5120 x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 1800.04/1800.61 v -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 1800.04/1800.61 v -x5151 -x5152 -x5153 -x5154 x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 1800.04/1800.61 v -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 1800.04/1800.61 v x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 1800.04/1800.61 v -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 x5217 -x5218 1800.04/1800.61 v -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 1800.04/1800.61 v -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 1800.04/1800.61 v -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 1800.04/1800.61 v -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 1800.04/1800.61 v -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 1800.04/1800.61 v -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 1800.04/1800.61 v -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 1800.04/1800.61 v -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 1800.04/1800.61 v -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 1800.04/1800.61 v -x5372 -x5373 -x5374 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 1800.04/1800.61 v -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 1800.04/1800.61 v -x5406 -x5407 -x5408 -x5409 -x5410 x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 1800.04/1800.61 v -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 1800.04/1800.61 v x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 1800.04/1800.61 v -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 1800.04/1800.61 v -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 1800.04/1800.61 v -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 1800.04/1800.61 v -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 1800.04/1800.61 v -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 x5539 -x5540 -x5541 1800.04/1800.61 v -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 1800.04/1800.61 v -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 1800.04/1800.61 v -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 x5588 -x5589 -x5590 -x5591 -x5592 1800.04/1800.61 v -x5593 x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 1800.04/1800.61 v -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 1800.04/1800.61 v -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 1800.04/1800.61 v -x5644 -x5645 x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 1800.04/1800.61 v -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 1800.04/1800.61 v -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 1800.04/1800.61 v -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 1800.04/1800.61 v -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 1800.04/1800.61 v -x5729 -x5730 -x5731 -x5732 x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 1800.04/1800.61 v -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 1800.04/1800.61 v -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 1800.04/1800.61 v -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 1800.04/1800.61 v -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 x5808 -x5809 -x5810 -x5811 -x5812 -x5813 1800.04/1800.61 v -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 x5829 -x5830 1800.04/1800.61 v -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 x5842 -x5843 -x5844 -x5845 -x5846 -x5847 1800.04/1800.61 v -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 1800.04/1800.61 v -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 1800.04/1800.61 v -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 1800.04/1800.61 v -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 1800.04/1800.61 v -x5916 -x5917 -x5918 x5919 -x5920 x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 1800.04/1800.61 v -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 1800.04/1800.61 v -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 1800.04/1800.61 v -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 1800.04/1800.61 v -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 1800.04/1800.61 v -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 1800.04/1800.61 v -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 1800.04/1800.61 v -x6036 -x6037 x6038 -x6039 -x6040 -x6041 -x6042 x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 1800.04/1800.61 v -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 x6069 -x6070 1800.04/1800.61 v -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 1800.04/1800.61 v -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 1800.04/1800.61 v -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 1800.04/1800.61 v -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 1800.04/1800.61 v -x6139 1800.04/1800.62 c Total Number of Positive Atoms : 155 1800.04/1800.62 c 1800.04/1800.62 c During searching: 1737.63 seconds elapsed. 1800.04/1800.62 c CPU time spent: 1737.24 seconds. 1800.04/1800.62 c 1800.04/1800.62 c =================================== END ===================================== 1800.04/1800.62 c
OK 155
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-352758-1176640803 -o ROOT/results/node4/solver-352758-1176640803 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/352758-1176640803/wildcat-rnp /tmp/evaluation/352758-1176640803/instance-352758-1176640803.opb 773821458 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.99 3/77 9062 /proc/meminfo: memFree=1827928/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=5972 CPUtime=0 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 157 0 0 0 0 0 0 0 18 0 1 0 140118037 6115328 141 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 1493 141 105 226 0 1264 0 [startup+0.095804 s] /proc/loadavg: 0.91 0.97 0.99 3/77 9062 /proc/meminfo: memFree=1827928/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=6368 CPUtime=0.09 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 246 0 0 0 9 0 0 0 18 0 1 0 140118037 6520832 230 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 1592 230 105 226 0 1363 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6368 [startup+0.101804 s] /proc/loadavg: 0.91 0.97 0.99 3/77 9062 /proc/meminfo: memFree=1827928/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=6368 CPUtime=0.09 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 251 0 0 0 9 0 0 0 18 0 1 0 140118037 6520832 235 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135015006 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 1592 236 105 226 0 1363 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6368 [startup+0.301825 s] /proc/loadavg: 0.91 0.97 0.99 3/77 9062 /proc/meminfo: memFree=1827928/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=7160 CPUtime=0.29 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 448 0 0 0 29 0 0 0 19 0 1 0 140118037 7331840 432 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 1790 432 105 226 0 1561 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7160 [startup+0.701862 s] /proc/loadavg: 0.91 0.97 0.99 3/77 9062 /proc/meminfo: memFree=1827928/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=0.69 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 69 0 0 0 23 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9280 [startup+1.50194 s] /proc/loadavg: 0.91 0.97 0.99 2/78 9063 /proc/meminfo: memFree=1824272/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1.49 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 149 0 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9280 [startup+3.10109 s] /proc/loadavg: 0.91 0.97 0.99 2/78 9063 /proc/meminfo: memFree=1824144/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=3.09 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 309 0 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134606306 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9280 [startup+6.3014 s] /proc/loadavg: 0.92 0.97 0.99 2/78 9063 /proc/meminfo: memFree=1824144/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=6.29 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 629 0 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134606306 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9280 [startup+12.702 s] /proc/loadavg: 0.93 0.97 0.99 2/78 9063 /proc/meminfo: memFree=1824144/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=12.69 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 1269 0 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605394 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9280 [startup+25.5012 s] /proc/loadavg: 0.94 0.97 0.99 2/78 9063 /proc/meminfo: memFree=1824144/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=25.48 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 2548 0 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9280 [startup+51.1017 s] /proc/loadavg: 0.96 0.97 0.99 2/78 9063 /proc/meminfo: memFree=1824208/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=51.07 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 5107 0 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9280 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/78 9063 /proc/meminfo: memFree=1824208/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=102.27 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 10226 1 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 9280 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 9063 /proc/meminfo: memFree=1824144/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=162.25 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 16224 1 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598433 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 9280 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 9063 /proc/meminfo: memFree=1824080/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=222.23 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 22222 1 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 9280 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 9063 /proc/meminfo: memFree=1824016/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=282.22 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 28220 2 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 9280 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 9063 /proc/meminfo: memFree=1824016/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=342.2 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 34218 2 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549924 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 9280 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 9063 /proc/meminfo: memFree=1823952/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=402.19 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 40216 3 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 9280 [startup+462.301 s] /proc/loadavg: 1.03 0.99 0.99 2/78 9063 /proc/meminfo: memFree=1823888/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=462.17 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 46214 3 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 9280 [startup+522.302 s] /proc/loadavg: 1.01 0.99 0.99 2/78 9063 /proc/meminfo: memFree=1823824/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=522.15 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 52212 3 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 9280 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 9063 /proc/meminfo: memFree=1823760/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=582.14 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 58210 4 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605400 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 9280 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 9063 /proc/meminfo: memFree=1823696/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=642.13 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 64209 4 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605394 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 9280 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 9063 /proc/meminfo: memFree=1823504/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=822.08 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 82203 5 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 9280 [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 9063 /proc/meminfo: memFree=1823440/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=882.07 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 88201 6 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 9280 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 9063 /proc/meminfo: memFree=1823440/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=942.05 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 94199 6 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 9280 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 9063 /proc/meminfo: memFree=1823376/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1002.04 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 100197 7 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 9280 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 9063 /proc/meminfo: memFree=1823312/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1062.02 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 106195 7 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605394 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 9280 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 9063 /proc/meminfo: memFree=1823248/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1122.01 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 112194 7 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 9280 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 9063 /proc/meminfo: memFree=1823248/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1182 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 118192 8 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134516899 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 9280 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 9063 /proc/meminfo: memFree=1823184/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1241.98 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 124190 8 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 9280 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/84 9233 /proc/meminfo: memFree=1821664/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1301.88 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 130179 9 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 9280 [startup+1362.3 s] /proc/loadavg: 1.04 1.00 1.00 2/78 9261 /proc/meminfo: memFree=1822864/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1361.84 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 136175 9 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 9280 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/78 9261 /proc/meminfo: memFree=1822864/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1421.83 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 142174 9 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605400 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 9280 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9261 /proc/meminfo: memFree=1822864/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1481.82 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 148172 10 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 9280 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9261 /proc/meminfo: memFree=1822800/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1541.8 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 154170 10 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 9280 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9261 /proc/meminfo: memFree=1822800/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1601.79 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 160168 11 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566816 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 9280 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9261 /proc/meminfo: memFree=1822736/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1661.77 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 166166 11 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 9280 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9261 /proc/meminfo: memFree=1822736/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1721.75 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 172164 11 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 9280 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9261 /proc/meminfo: memFree=1822672/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1781.74 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 178162 12 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 9280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9261 /proc/meminfo: memFree=1822608/2055920 swapFree=4153972/4192956 [pid=9062] ppid=9060 vsize=9280 CPUtime=1800.04 /proc/9062/stat : 9062 (wildcat-rnp) R 9060 9062 8304 0 -1 4194304 1007 0 0 0 179992 12 0 0 25 0 1 0 140118037 9502720 990 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9062/statm: 2320 990 115 226 0 2091 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.07 CPU user time (s): 1799.94 CPU system time (s): 0.12898 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 9280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.94 system time used= 0.12898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1007 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= 9 involuntary context switches= 13608 runsolver used 2.14867 second user time and 4.12137 second system time The end
Begin job on node4 on Sun Apr 15 12:40:03 UTC 2007 IDJOB= 352758 IDBENCH= 2042 IDSOLVER= 161 FILE ID= node4/352758-1176640803 PBS_JOBID= 4556855 Free space on /tmp= 66557 MiB SOLVER NAME= wildcat-rnp 2007-03-21 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb COMMAND LINE= /tmp/evaluation/352758-1176640803/wildcat-rnp /tmp/evaluation/352758-1176640803/instance-352758-1176640803.opb 773821458 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-352758-1176640803 -o ROOT/results/node4/solver-352758-1176640803 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/352758-1176640803/wildcat-rnp /tmp/evaluation/352758-1176640803/instance-352758-1176640803.opb 773821458 META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5 RANDOM SEED= 773821458 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1828400 kB Buffers: 25296 kB Cached: 126312 kB SwapCached: 2140 kB Active: 76876 kB Inactive: 98048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828400 kB SwapTotal: 4192956 kB SwapFree: 4153972 kB Dirty: 3388 kB Writeback: 0 kB Mapped: 31428 kB Slab: 38056 kB Committed_AS: 4649176 kB PageTables: 1816 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66557 MiB End job on node4 on Sun Apr 15 13:10:06 UTC 2007