Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 294914 | 1800.24 | 1800.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | b75dadb532de8158b35ca12cd6b47e2f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 294914 |
Best CPU time to get the best result obtained on this benchmark | 1800.24 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 284209 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527653 |
Number of bits of the biggest sum of numbers | 20 |
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432770-1177949311/instance-432770-1177949311.opb 0.00/0.00 c File size is 2034121 bytes. 0.39/0.41 c Highest Coefficient sum: 527653 0.39/0.41 c Parsing was ok!! 0.39/0.41 c Total parsing time: 0.407 s 0.39/0.41 c Var: 6651 Constr: 721 51/331/339 Lit: 218771 Watch. Lit: 14035 0.39/0.41 c Obj. Vars: 31 (0.466095 % of total variables) 9.09/9.18 c Pre-processing Time: 9.184 s 9.09/9.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.18 c 0 6631 538 117691 218 13689 251956 0 0 9.18 9.09/9.18 c Switching off LPR mode. 9.19/9.24 o 327682 9.243 9.39/9.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.39/9.48 c 95 6631 634 166546 262 14072 252018 96 10 9.24 9.39/9.48 c 196 6631 735 228937 311 14305 277220 197 20 9.34 9.39/9.48 o 294914 9.477 1800.06/1800.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.00 c 329 6631 869 301654 347 14606 252018 331 34 9.48 1800.06/1800.00 c 429 6631 969 374446 386 15070 277220 431 44 9.66 1800.06/1800.00 c 679 6631 1219 487296 399 15625 304943 681 67 9.99 1800.06/1800.00 c 1155 6631 1695 873793 515 16518 335438 1157 108 10.63 1800.06/1800.00 c 1968 6631 2508 1398779 557 18256 368982 1970 159 12.35 1800.06/1800.00 c 3288 6631 3828 2239847 585 20879 405881 3290 234 14.00 1800.06/1800.00 c 5369 6631 5909 3757126 635 24994 446470 5371 286 18.76 1800.06/1800.00 c 8592 6631 9132 6318538 691 31461 491118 8594 326 26.33 1800.06/1800.00 c 13528 6631 14068 12255527 871 41354 540230 13530 222 60.76 1800.06/1800.00 c 21034 6631 21574 19677701 912 56324 594254 21036 213 98.71 1800.06/1800.00 c 32395 6631 32935 29791180 904 79078 653680 32397 186 173.51 1800.06/1800.00 c 49539 6631 50079 44065636 879 113291 719049 49541 144 343.53 1800.06/1800.00 c 75366 6631 75906 57959681 763 165326 790954 75368 81 925.49 1800.06/1800.00 c 114198 6631 114738 79483545 692 243601 870050 114200 67 1696.18 1800.06/1800.00 c Caught signal: 15 1800.06/1800.00 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.06/1800.00 v -x29 -x30 x31 -x1142 -x2253 -x3364 -x4475 -x5586 -x6319 -x6430 -x6541 -x32 -x143 -x254 -x365 -x476 -x587 -x698 -x809 -x920 1800.06/1800.00 v -x1031 -x1143 -x1254 -x1365 -x1476 -x1587 -x1698 -x1809 -x1920 -x2031 -x2142 -x2254 -x2365 -x2476 -x2587 -x2698 -x2809 1800.06/1800.00 v -x2920 -x3031 -x3142 -x3253 -x3365 -x3476 -x3587 -x3698 -x3809 -x3920 -x4031 -x4142 -x4253 -x4364 -x4476 -x4587 -x4698 1800.06/1800.00 v -x4809 -x4920 -x5031 -x5142 -x5253 -x5364 -x5475 -x5587 -x5698 -x5809 -x5920 -x6031 -x6142 -x6253 -x6286 -x6297 -x6308 1800.06/1800.00 v -x6320 -x6331 -x6342 -x6353 -x6364 -x6375 -x6386 x6397 -x6408 -x6419 -x6431 -x6442 -x6453 -x6464 -x6475 -x6486 -x6497 1800.06/1800.00 v -x6508 -x6519 -x6530 -x6542 -x6553 -x6564 -x6575 -x6586 -x6597 -x6608 -x6619 -x6630 -x6641 -x33 -x44 -x55 -x66 -x77 -x88 1800.06/1800.00 v -x99 -x110 -x121 -x132 -x144 -x155 -x166 -x177 -x188 -x199 -x210 -x221 -x232 -x243 -x255 -x266 -x277 -x288 -x299 -x310 -x321 1800.06/1800.00 v -x332 -x343 -x354 -x366 -x377 -x388 -x399 -x410 -x421 -x432 -x443 -x454 -x465 -x477 -x488 -x499 -x510 -x521 -x532 -x543 -x554 1800.06/1800.00 v -x565 -x576 -x588 -x599 -x610 -x621 -x632 -x643 -x654 -x665 -x676 -x687 -x699 -x710 -x721 -x732 -x743 -x754 -x765 -x776 -x787 1800.06/1800.00 v -x798 -x810 -x821 -x832 -x843 -x854 -x865 -x876 -x887 -x898 -x909 -x921 -x932 -x943 -x954 -x965 -x976 -x987 -x998 -x1009 1800.06/1800.00 v -x1020 -x1032 -x1043 -x1054 -x1065 -x1076 -x1087 -x1098 -x1109 -x1120 -x1131 x1144 -x1155 -x1166 -x1177 -x1188 x1199 -x1210 1800.06/1800.00 v -x1221 -x1232 -x1243 -x1255 -x1266 -x1277 -x1288 -x1299 -x1310 -x1321 -x1332 -x1343 -x1354 -x1366 -x1377 -x1388 -x1399 1800.06/1800.00 v -x1410 -x1421 -x1432 -x1443 -x1454 -x1465 -x1477 -x1488 -x1499 -x1510 -x1521 -x1532 -x1543 -x1554 -x1565 -x1576 -x1588 1800.06/1800.00 v -x1599 -x1610 -x1621 -x1632 -x1643 -x1654 -x1665 -x1676 -x1687 x1699 -x1710 -x1721 -x1732 -x1743 -x1754 -x1765 -x1776 1800.06/1800.00 v -x1787 -x1798 -x1810 -x1821 -x1832 -x1843 -x1854 -x1865 -x1876 -x1887 -x1898 -x1909 -x1921 -x1932 -x1943 -x1954 -x1965 1800.06/1800.00 v -x1976 -x1987 -x1998 -x2009 -x2020 -x2032 -x2043 -x2054 -x2065 -x2076 -x2087 -x2098 -x2109 -x2120 -x2131 -x2143 -x2154 1800.06/1800.00 v -x2165 -x2176 -x2187 -x2198 -x2209 -x2220 -x2231 -x2242 -x2255 -x2266 -x2277 -x2288 -x2299 -x2310 -x2321 -x2332 -x2343 1800.06/1800.00 v -x2354 -x2366 -x2377 -x2388 -x2399 -x2410 x2421 -x2432 -x2443 -x2454 -x2465 -x2477 -x2488 -x2499 -x2510 -x2521 -x2532 1800.06/1800.00 v -x2543 -x2554 -x2565 -x2576 -x2588 -x2599 -x2610 -x2621 -x2632 -x2643 -x2654 -x2665 -x2676 -x2687 -x2699 -x2710 -x2721 1800.06/1800.00 v -x2732 -x2743 -x2754 -x2765 -x2776 -x2787 -x2798 -x2810 -x2821 -x2832 -x2843 -x2854 -x2865 -x2876 x2887 -x2898 -x2909 1800.06/1800.00 v -x2921 -x2932 -x2943 -x2954 -x2965 -x2976 -x2987 -x2998 -x3009 -x3020 -x3032 -x3043 -x3054 -x3065 -x3076 -x3087 -x3098 1800.06/1800.00 v -x3109 -x3120 -x3131 -x3143 -x3154 -x3165 -x3176 -x3187 -x3198 -x3209 -x3220 -x3231 -x3242 -x3254 -x3265 -x3276 -x3287 1800.06/1800.00 v -x3298 -x3309 -x3320 -x3331 -x3342 -x3353 -x3366 -x3377 -x3388 -x3399 -x3410 -x3421 -x3432 -x3443 -x3454 -x3465 -x3477 1800.06/1800.00 v -x3488 -x3499 -x3510 -x3521 -x3532 -x3543 -x3554 -x3565 -x3576 -x3588 -x3599 -x3610 -x3621 -x3632 x3643 -x3654 -x3665 1800.06/1800.00 v -x3676 -x3687 -x3699 -x3710 -x3721 -x3732 -x3743 -x3754 -x3765 -x3776 -x3787 -x3798 -x3810 -x3821 -x3832 -x3843 -x3854 1800.06/1800.00 v -x3865 -x3876 -x3887 -x3898 -x3909 -x3921 -x3932 -x3943 -x3954 -x3965 -x3976 -x3987 -x3998 -x4009 -x4020 -x4032 -x4043 1800.06/1800.00 v -x4054 -x4065 -x4076 -x4087 -x4098 -x4109 -x4120 -x4131 -x4143 -x4154 -x4165 -x4176 -x4187 -x4198 -x4209 -x4220 -x4231 1800.06/1800.00 v -x4242 -x4254 -x4265 -x4276 -x4287 -x4298 -x4309 -x4320 -x4331 -x4342 -x4353 -x4365 -x4376 -x4387 -x4398 -x4409 -x4420 1800.06/1800.00 v -x4431 -x4442 -x4453 -x4464 -x4477 -x4488 -x4499 -x4510 -x4521 -x4532 -x4543 -x4554 -x4565 -x4576 -x4588 -x4599 -x4610 1800.06/1800.00 v -x4621 -x4632 -x4643 -x4654 -x4665 -x4676 -x4687 -x4699 -x4710 -x4721 -x4732 -x4743 -x4754 -x4765 -x4776 -x4787 -x4798 1800.06/1800.00 v -x4810 -x4821 -x4832 -x4843 -x4854 -x4865 -x4876 -x4887 -x4898 -x4909 -x4921 -x4932 -x4943 -x4954 -x4965 -x4976 -x4987 1800.06/1800.00 v -x4998 -x5009 -x5020 -x5032 -x5043 -x5054 -x5065 -x5076 -x5087 -x5098 -x5109 -x5120 -x5131 -x5143 -x5154 -x5165 -x5176 1800.06/1800.00 v -x5187 -x5198 -x5209 -x5220 -x5231 -x5242 -x5254 -x5265 -x5276 -x5287 -x5298 -x5309 -x5320 -x5331 -x5342 -x5353 -x5365 1800.06/1800.00 v -x5376 -x5387 -x5398 -x5409 -x5420 -x5431 -x5442 -x5453 -x5464 -x5476 -x5487 -x5498 -x5509 -x5520 -x5531 -x5542 -x5553 1800.06/1800.00 v -x5564 -x5575 -x5588 -x5599 -x5610 -x5621 -x5632 -x5643 -x5654 -x5665 -x5676 -x5687 -x5699 -x5710 -x5721 -x5732 -x5743 1800.06/1800.00 v -x5754 -x5765 -x5776 -x5787 -x5798 -x5810 -x5821 -x5832 -x5843 -x5854 -x5865 -x5876 -x5887 -x5898 -x5909 -x5921 -x5932 1800.06/1800.00 v -x5943 -x5954 -x5965 -x5976 -x5987 -x5998 -x6009 -x6020 -x6032 -x6043 -x6054 -x6065 -x6076 x6087 -x6098 -x6109 -x6120 1800.06/1800.00 v -x6131 -x6143 -x6154 -x6165 -x6176 -x6187 -x6198 -x6209 -x6220 -x6231 -x6242 -x6254 -x6265 -x6276 -x6279 -x6280 -x6281 1800.06/1800.00 v -x6282 -x6283 -x6284 -x6285 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6298 -x6299 -x6300 1800.06/1800.00 v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 1800.06/1800.00 v -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 1800.06/1800.00 v -x6339 -x6340 -x6341 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6354 -x6355 -x6356 -x6357 1800.06/1800.00 v -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6376 1800.06/1800.00 v -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 1800.06/1800.00 v -x6395 -x6396 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6409 -x6410 -x6411 -x6412 -x6413 1800.06/1800.00 v -x6414 -x6415 -x6416 -x6417 -x6418 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6432 -x6433 1800.06/1800.00 v -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 1800.06/1800.00 v -x6452 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 1800.06/1800.00 v x6471 -x6472 -x6473 -x6474 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6487 -x6488 -x6489 1800.06/1800.00 v -x6490 x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 x6505 -x6506 -x6507 -x6509 1800.06/1800.00 v -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 1800.06/1800.00 v -x6528 -x6529 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6543 -x6544 -x6545 -x6546 -x6547 1800.06/1800.00 v -x6548 -x6549 -x6550 -x6551 -x6552 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6565 -x6566 1800.06/1800.00 v -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 1800.06/1800.00 v -x6585 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 1800.06/1800.00 v -x6604 -x6605 -x6606 -x6607 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6620 -x6621 -x6622 1800.06/1800.00 v -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 1800.06/1800.00 v -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x45 1800.06/1800.00 v -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x67 -x68 -x69 -x70 -x71 -x72 -x73 1800.06/1800.00 v -x74 -x75 -x76 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x100 -x101 1800.06/1800.00 v -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x122 -x123 -x124 1800.06/1800.00 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x145 -x146 -x147 -x148 1800.06/1800.00 v -x149 -x150 -x151 -x152 -x153 -x154 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x167 -x168 -x169 -x170 -x171 1800.06/1800.00 v -x172 -x173 -x174 -x175 -x176 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x189 x190 -x191 -x192 -x193 -x194 1800.06/1800.00 v -x195 -x196 -x197 -x198 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x211 -x212 -x213 -x214 -x215 -x216 -x217 1800.06/1800.00 v -x218 -x219 -x220 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 1800.06/1800.00 v -x241 -x242 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 1800.06/1800.00 v -x265 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 1800.06/1800.00 v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x311 1800.06/1800.00 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x333 -x334 1800.06/1800.00 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x355 -x356 -x357 1800.06/1800.00 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x378 -x379 -x380 -x381 1800.06/1800.00 v -x382 -x383 -x384 -x385 -x386 -x387 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x400 -x401 -x402 -x403 -x404 1800.06/1800.00 v -x405 -x406 -x407 -x408 -x409 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x422 -x423 -x424 -x425 -x426 -x427 1800.06/1800.00 v -x428 -x429 -x430 -x431 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x444 -x445 -x446 -x447 -x448 -x449 -x450 1800.06/1800.00 v -x451 -x452 -x453 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 1800.06/1800.00 v -x474 -x475 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 1800.06/1800.00 v -x498 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 1800.06/1800.00 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x544 1800.06/1800.00 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x566 -x567 1800.06/1800.00 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x589 -x590 -x591 1800.06/1800.00 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x611 -x612 -x613 -x614 1800.06/1800.00 v -x615 -x616 -x617 -x618 -x619 -x620 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x633 -x634 -x635 -x636 -x637 1800.06/1800.00 v -x638 -x639 -x640 -x641 -x642 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x655 -x656 -x657 -x658 -x659 -x660 1800.06/1800.00 v -x661 -x662 -x663 -x664 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x677 -x678 -x679 -x680 -x681 -x682 -x683 1800.06/1800.00 v -x684 -x685 -x686 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 1800.06/1800.00 v -x708 -x709 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 1800.06/1800.00 v -x731 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 1800.06/1800.00 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x777 1800.06/1800.00 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x799 -x800 1800.06/1800.00 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x822 -x823 -x824 1800.06/1800.00 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x844 -x845 -x846 -x847 1800.06/1800.00 v -x848 -x849 -x850 -x851 -x852 -x853 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x866 -x867 -x868 -x869 -x870 1800.06/1800.00 v -x871 -x872 -x873 -x874 -x875 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x888 -x889 -x890 -x891 -x892 -x893 1800.06/1800.00 v -x894 -x895 -x896 -x897 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x910 -x911 -x912 -x913 -x914 -x915 -x916 1800.06/1800.00 v -x917 -x918 -x919 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 1800.06/1800.00 v -x941 -x942 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 1800.06/1800.00 v -x964 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.06/1800.00 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.06/1800.00 v -x1008 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 1800.06/1800.00 v -x1027 -x1028 -x1029 -x1030 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1044 -x1045 -x1046 1800.06/1800.00 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 1800.06/1800.00 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 1800.06/1800.00 v -x1084 -x1085 -x1086 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1099 -x1100 -x1101 -x1102 1800.06/1800.00 v -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1121 1800.06/1800.00 v -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 1800.06/1800.00 v -x1140 -x1141 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1156 -x1157 -x1158 -x1159 -x1160 1800.06/1800.00 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1178 -x1179 1800.06/1800.00 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.06/1800.00 v -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1800.06/1800.00 v -x1217 -x1218 -x1219 -x1220 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1233 -x1234 -x1235 1800.06/1800.00 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 1800.06/1800.00 v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 1800.06/1800.00 v -x1274 -x1275 -x1276 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1289 -x1290 -x1291 -x1292 1800.06/1800.00 v -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1311 1800.06/1800.00 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.06/1800.00 v -x1330 -x1331 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 -x1346 -x1347 -x1348 1800.06/1800.00 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1367 -x1368 1800.06/1800.00 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 1800.06/1800.00 v -x1387 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 1800.06/1800.00 v -x1406 -x1407 -x1408 -x1409 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 1800.06/1800.00 v -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 1800.06/1800.00 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 1800.06/1800.00 v -x1462 -x1463 -x1464 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1478 -x1479 -x1480 -x1481 1800.06/1800.00 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1500 1800.06/1800.00 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1800.06/1800.00 v -x1519 -x1520 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1533 -x1534 x1535 -x1536 -x1537 1800.06/1800.00 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1555 -x1556 1800.06/1800.00 v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 1800.06/1800.00 v -x1575 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 1800.06/1800.00 v -x1595 -x1596 -x1597 -x1598 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611 -x1612 -x1613 1800.06/1800.00 v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 1800.06/1800.00 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 1800.06/1800.00 v -x1651 -x1652 -x1653 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1666 -x1667 -x1668 -x1669 1800.06/1800.00 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1688 1800.06/1800.00 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1800.06/1800.00 v -x1708 -x1709 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1722 -x1723 -x1724 -x1725 -x1726 1800.06/1800.00 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1744 -x1745 1800.06/1800.00 v -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 1800.06/1800.00 v -x1764 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 1800.06/1800.00 v -x1783 -x1784 -x1785 -x1786 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1799 -x1800 -x1801 1800.06/1800.00 v -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 1800.06/1800.00 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1800.06/1800.00 v -x1840 -x1841 -x1842 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1855 -x1856 -x1857 -x1858 1800.06/1800.00 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1877 1800.06/1800.00 v -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1800.06/1800.00 v -x1896 -x1897 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 1800.06/1800.00 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1933 -x1934 1800.06/1800.00 v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 1800.06/1800.00 v -x1953 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 1800.06/1800.00 v -x1972 -x1973 -x1974 -x1975 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1988 -x1989 -x1990 1800.06/1800.00 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1800.06/1800.00 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.06/1800.00 v -x2028 -x2029 -x2030 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2044 -x2045 -x2046 -x2047 1800.06/1800.00 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2066 1800.06/1800.00 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1800.06/1800.00 v -x2085 -x2086 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2099 -x2100 -x2101 -x2102 -x2103 1800.06/1800.00 v -x2104 -x2105 -x2106 -x2107 -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2121 -x2122 1800.06/1800.00 v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1800.06/1800.00 v -x2141 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 1800.06/1800.00 v -x2161 -x2162 -x2163 -x2164 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2177 -x2178 -x2179 1800.06/1800.00 v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1800.06/1800.00 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 1800.06/1800.00 v -x2217 -x2218 -x2219 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2232 -x2233 -x2234 -x2235 1800.06/1800.00 v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2256 1800.06/1800.00 v -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 1800.06/1800.00 v -x2275 -x2276 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2289 -x2290 -x2291 -x2292 -x2293 1800.06/1800.00 v -x2294 -x2295 -x2296 -x2297 -x2298 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2311 -x2312 1800.06/1800.00 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1800.06/1800.00 v -x2331 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 1800.06/1800.00 v -x2350 -x2351 -x2352 -x2353 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2367 -x2368 -x2369 1800.06/1800.00 v -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1800.06/1800.00 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 1800.06/1800.00 v -x2407 -x2408 -x2409 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2422 -x2423 -x2424 -x2425 1800.06/1800.00 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2444 1800.06/1800.00 v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 1800.06/1800.00 v -x2463 -x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2478 -x2479 -x2480 -x2481 -x2482 1800.06/1800.00 v -x2483 -x2484 -x2485 -x2486 -x2487 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2500 -x2501 1800.06/1800.00 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 1800.06/1800.00 v -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1800.06/1800.00 v -x2539 -x2540 -x2541 -x2542 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2555 -x2556 -x2557 1800.06/1800.00 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 1800.06/1800.00 v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 1800.06/1800.00 v -x2596 -x2597 -x2598 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2611 -x2612 -x2613 -x2614 1800.06/1800.00 v -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2633 1800.06/1800.00 v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 1800.06/1800.00 v -x2652 -x2653 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2666 -x2667 -x2668 -x2669 -x2670 1800.06/1800.00 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2688 -x2689 1800.06/1800.00 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 1800.06/1800.00 v -x2709 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 1800.06/1800.00 v -x2728 -x2729 -x2730 -x2731 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 1800.06/1800.00 v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 1800.06/1800.00 v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 1800.06/1800.00 v -x2784 -x2785 -x2786 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 1800.06/1800.00 v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2822 1800.06/1800.00 v -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 1800.06/1800.00 v -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2855 -x2856 -x2857 -x2858 -x2859 1800.06/1800.00 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2877 -x2878 1800.06/1800.00 v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1800.06/1800.00 v -x2897 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 1800.06/1800.00 v -x2916 -x2917 -x2918 -x2919 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2933 -x2934 -x2935 1800.06/1800.00 v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 1800.06/1800.00 v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 1800.06/1800.00 v -x2973 -x2974 -x2975 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2988 -x2989 -x2990 -x2991 1800.06/1800.00 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3010 1800.06/1800.00 v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1800.06/1800.00 v -x3029 -x3030 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3048 1800.06/1800.00 v -x3049 -x3050 -x3051 -x3052 -x3053 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3066 -x3067 1800.06/1800.00 v -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 1800.06/1800.00 v -x3086 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 1800.06/1800.00 v -x3105 -x3106 -x3107 -x3108 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3121 -x3122 -x3123 1800.06/1800.00 v -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 1800.06/1800.00 v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 1800.06/1800.00 v -x3162 -x3163 -x3164 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 -x3177 -x3178 -x3179 -x3180 1800.06/1800.00 v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3199 1800.06/1800.00 v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 1800.06/1800.00 v -x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3232 -x3233 -x3234 -x3235 -x3236 1800.06/1800.00 v -x3237 -x3238 -x3239 -x3240 -x3241 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3255 -x3256 1800.06/1800.00 v -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 1800.06/1800.00 v -x3275 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 1800.06/1800.00 v -x3294 -x3295 -x3296 -x3297 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3310 -x3311 -x3312 1800.06/1800.00 v -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 x3330 1800.06/1800.00 v -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 1800.06/1800.00 v -x3350 -x3351 -x3352 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3367 -x3368 -x3369 -x3370 1800.06/1800.00 v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3389 1800.06/1800.00 v -x3390 x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 1800.06/1800.00 v -x3408 -x3409 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3422 -x3423 -x3424 -x3425 -x3426 1800.06/1800.00 v -x3427 -x3428 -x3429 -x3430 -x3431 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3444 -x3445 1800.06/1800.00 v -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 1800.06/1800.00 v -x3464 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 1800.06/1800.00 v -x3484 -x3485 -x3486 -x3487 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3500 -x3501 -x3502 1800.06/1800.00 v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 1800.06/1800.00 v -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 1800.06/1800.00 v -x3540 -x3541 -x3542 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3555 -x3556 -x3557 -x3558 1800.06/1800.00 v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3577 1800.06/1800.00 v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 1800.06/1800.00 v -x3597 -x3598 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3611 -x3612 -x3613 -x3614 -x3615 1800.06/1800.00 v -x3616 -x3617 -x3618 -x3619 -x3620 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3633 -x3634 1800.06/1800.00 v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 1800.06/1800.00 v -x3653 x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 1800.06/1800.00 v -x3672 -x3673 -x3674 -x3675 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3688 -x3689 -x3690 1800.06/1800.00 v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 1800.06/1800.00 v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 1800.06/1800.00 v -x3729 -x3730 -x3731 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3744 -x3745 -x3746 -x3747 1800.06/1800.00 v -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3766 1800.06/1800.00 v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 1800.06/1800.00 v -x3785 -x3786 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 1800.06/1800.00 v -x3804 -x3805 -x3806 -x3807 -x3808 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3822 -x3823 1800.06/1800.00 v -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 1800.06/1800.00 v -x3842 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 1800.06/1800.00 v -x3861 -x3862 -x3863 -x3864 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877 -x3878 -x3879 1800.06/1800.00 v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 1800.06/1800.00 v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 1800.06/1800.00 v -x3917 -x3918 -x3919 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3933 x3934 -x3935 -x3936 1800.06/1800.00 v -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3955 1800.06/1800.00 v -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 1800.06/1800.00 v -x3974 -x3975 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3988 -x3989 -x3990 -x3991 -x3992 1800.06/1800.00 v -x3993 -x3994 -x3995 -x3996 -x3997 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4010 -x4011 1800.06/1800.00 v -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 1800.06/1800.00 v -x4030 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1800.06/1800.00 v -x4050 -x4051 -x4052 -x4053 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4066 -x4067 -x4068 1800.06/1800.00 v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 1800.06/1800.00 v -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 1800.06/1800.00 v -x4106 -x4107 -x4108 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4121 -x4122 -x4123 -x4124 1800.06/1800.00 v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4144 1800.06/1800.00 v -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 1800.06/1800.00 v -x4163 -x4164 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4177 -x4178 -x4179 -x4180 -x4181 1800.06/1800.00 v -x4182 -x4183 -x4184 -x4185 -x4186 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4199 -x4200 1800.06/1800.00 v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 1800.06/1800.00 v -x4219 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 1800.06/1800.00 v -x4238 -x4239 -x4240 -x4241 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 x4250 -x4251 -x4252 -x4255 -x4256 -x4257 1800.06/1800.00 v -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 1800.06/1800.00 v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 1800.06/1800.00 v -x4295 -x4296 -x4297 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4310 -x4311 -x4312 -x4313 1800.06/1800.00 v -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4332 1800.06/1800.00 v -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 1800.06/1800.00 v -x4351 -x4352 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4366 -x4367 -x4368 -x4369 -x4370 1800.06/1800.00 v -x4371 -x4372 -x4373 -x4374 -x4375 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4388 -x4389 1800.06/1800.00 v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 1800.06/1800.00 v -x4408 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 1800.06/1800.00 v -x4427 -x4428 -x4429 -x4430 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4443 -x4444 -x4445 1800.06/1800.00 v -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 1800.06/1800.00 v -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 1800.06/1800.00 v -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4500 -x4501 -x4502 -x4503 1800.06/1800.00 v -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4522 1800.06/1800.00 v -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 1800.06/1800.00 v -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4555 -x4556 -x4557 -x4558 -x4559 1800.06/1800.00 v -x4560 -x4561 -x4562 -x4563 -x4564 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 1800.06/1800.00 v -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 1800.06/1800.00 v -x4598 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 1800.06/1800.00 v -x4617 -x4618 -x4619 -x4620 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4633 -x4634 -x4635 1800.06/1800.00 v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 1800.06/1800.00 v -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 1800.06/1800.00 v -x4673 -x4674 -x4675 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4688 -x4689 -x4690 -x4691 1800.06/1800.00 v -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4711 1800.06/1800.00 v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 1800.06/1800.00 v -x4730 -x4731 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4744 -x4745 -x4746 -x4747 -x4748 1800.06/1800.00 v -x4749 -x4750 -x4751 -x4752 -x4753 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4766 -x4767 1800.06/1800.00 v -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 1800.06/1800.00 v -x4786 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 1800.06/1800.00 v -x4805 -x4806 -x4807 -x4808 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4822 -x4823 -x4824 1800.06/1800.00 v -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 1800.06/1800.00 v -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 1800.06/1800.00 v -x4862 -x4863 -x4864 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4877 -x4878 -x4879 -x4880 1800.06/1800.00 v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4899 1800.06/1800.00 v -x4900 -x4901 -x4902 -x4903 x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 1800.06/1800.00 v -x4918 -x4919 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4933 -x4934 -x4935 -x4936 -x4937 1800.06/1800.00 v -x4938 -x4939 -x4940 -x4941 -x4942 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4955 -x4956 1800.06/1800.00 v -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 1800.06/1800.00 v -x4975 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 1800.06/1800.00 v -x4994 -x4995 -x4996 -x4997 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5010 -x5011 -x5012 1800.06/1800.00 v -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 1800.06/1800.00 v -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 1800.06/1800.00 v -x5051 -x5052 -x5053 x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 1800.06/1800.00 v -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5088 1800.06/1800.00 v -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 1800.06/1800.00 v -x5107 -x5108 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5121 -x5122 -x5123 -x5124 -x5125 1800.06/1800.00 v -x5126 -x5127 -x5128 -x5129 -x5130 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5144 -x5145 1800.06/1800.00 v -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 1800.06/1800.00 v -x5164 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 1800.06/1800.00 v -x5183 -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5199 -x5200 -x5201 1800.06/1800.00 v -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 1800.06/1800.00 v -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 1800.06/1800.00 v -x5239 -x5240 -x5241 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5255 -x5256 -x5257 -x5258 1800.06/1800.00 v -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5277 1800.06/1800.00 v -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 1800.06/1800.00 v -x5296 -x5297 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5310 -x5311 -x5312 -x5313 -x5314 1800.06/1800.00 v -x5315 -x5316 -x5317 -x5318 -x5319 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5332 -x5333 1800.06/1800.00 v -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 1800.06/1800.00 v -x5352 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 1800.06/1800.00 v -x5372 -x5373 -x5374 -x5375 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5388 -x5389 -x5390 1800.06/1800.00 v -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 1800.06/1800.00 v -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 1800.06/1800.00 v -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444 -x5445 -x5446 1800.06/1800.00 v -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5465 1800.06/1800.00 v -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 1800.06/1800.00 v -x5485 -x5486 -x5488 -x5489 -x5490 x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5499 -x5500 -x5501 -x5502 -x5503 1800.06/1800.00 v -x5504 -x5505 -x5506 -x5507 -x5508 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5521 -x5522 1800.06/1800.00 v -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 1800.06/1800.00 v -x5541 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 1800.06/1800.00 v -x5560 -x5561 -x5562 -x5563 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5576 -x5577 -x5578 1800.06/1800.00 v -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 1800.06/1800.00 v -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 1800.06/1800.00 v -x5618 -x5619 -x5620 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5633 -x5634 -x5635 -x5636 1800.06/1800.00 v -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5655 1800.06/1800.00 v -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 1800.06/1800.00 v -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5688 -x5689 -x5690 -x5691 -x5692 1800.06/1800.00 v -x5693 -x5694 -x5695 -x5696 -x5697 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5711 -x5712 1800.06/1800.00 v -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 1800.06/1800.00 v -x5731 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 1800.06/1800.00 v -x5750 -x5751 -x5752 -x5753 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5766 -x5767 -x5768 1800.06/1800.00 v -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 1800.06/1800.00 v -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 x5794 -x5795 -x5796 -x5797 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 1800.06/1800.00 v -x5806 -x5807 -x5808 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 1800.06/1800.00 v -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5844 1800.06/1800.00 v -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 1800.06/1800.00 v -x5863 -x5864 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5877 -x5878 -x5879 -x5880 -x5881 1800.06/1800.00 v -x5882 -x5883 -x5884 -x5885 -x5886 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5899 -x5900 1800.06/1800.00 v -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 1800.06/1800.00 v -x5919 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 1800.06/1800.00 v -x5939 -x5940 -x5941 -x5942 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5955 -x5956 -x5957 1800.06/1800.00 v -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 1800.06/1800.00 v -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 1800.06/1800.00 v -x5995 -x5996 -x5997 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6010 -x6011 -x6012 -x6013 1800.06/1800.00 v -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6033 1800.06/1800.00 v -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 1800.06/1800.00 v -x6052 -x6053 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6066 -x6067 -x6068 -x6069 -x6070 1800.06/1800.00 v -x6071 -x6072 -x6073 -x6074 -x6075 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6088 -x6089 1800.06/1800.00 v -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 1800.06/1800.00 v -x6108 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 1800.06/1800.00 v -x6127 -x6128 -x6129 -x6130 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6144 -x6145 -x6146 1800.06/1800.00 v -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 1800.06/1800.00 v -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 1800.06/1800.00 v -x6184 -x6185 -x6186 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6199 -x6200 -x6201 -x6202 1800.06/1800.00 v -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6221 1800.06/1800.00 v -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 1800.06/1800.00 v -x6240 -x6241 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6255 -x6256 -x6257 -x6258 -x6259 1800.06/1800.00 v -x6260 -x6261 -x6262 -x6263 -x6264 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6277 -x6278 1800.06/1800.00 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.00 c 16 119728 54955 1260390 120268 83371795 119730 66 1800.06 1800.06/1800.00 c Objective: 294914 1800.06/1800.00 s SATISFIABLE 1800.06/1800.00 c Total time: 1800.06 s
OK 294914
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-432770-1177949311 -o ROOT/results/node16/solver-432770-1177949311 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432770-1177949311/instance-432770-1177949311.opb 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: 1.00 1.00 0.93 3/77 20378 /proc/meminfo: memFree=1850176/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=13724 CPUtime=0 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242848776 14053376 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 3431 334 279 324 0 2004 0 [startup+0.0104729 s] /proc/loadavg: 1.00 1.00 0.93 3/77 20378 /proc/meminfo: memFree=1850176/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=14008 CPUtime=0 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 418 0 0 0 0 0 0 0 18 0 1 0 242848776 14344192 388 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134539173 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 3502 388 286 324 0 2075 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 14008 [startup+0.101453 s] /proc/loadavg: 1.00 1.00 0.93 3/77 20378 /proc/meminfo: memFree=1850176/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=7052 CPUtime=0.09 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 762 0 0 0 9 0 0 0 18 0 1 0 242848776 7221248 732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 1763 732 397 324 0 336 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7052 [startup+0.30141 s] /proc/loadavg: 1.00 1.00 0.93 3/77 20378 /proc/meminfo: memFree=1850176/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=8452 CPUtime=0.29 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 1355 0 0 0 29 0 0 0 19 0 1 0 242848776 8654848 1325 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524167 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 2113 1325 643 324 0 686 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8452 [startup+0.701325 s] /proc/loadavg: 1.00 1.00 0.93 3/77 20378 /proc/meminfo: memFree=1850176/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=8140 CPUtime=0.69 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 1916 0 0 0 69 0 0 0 23 0 1 0 242848776 8335360 1389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 2035 1389 303 324 0 1105 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8140 [startup+1.50116 s] /proc/loadavg: 1.00 1.00 0.93 2/78 20379 /proc/meminfo: memFree=1844984/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=8576 CPUtime=1.49 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 2887 0 0 0 148 1 0 0 25 0 1 0 242848776 8781824 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 2144 1516 305 324 0 1214 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8576 [startup+3.10182 s] /proc/loadavg: 1.08 1.02 0.93 2/78 20379 /proc/meminfo: memFree=1844920/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=8576 CPUtime=3.09 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 2887 0 0 0 308 1 0 0 25 0 1 0 242848776 8781824 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 2144 1516 305 324 0 1214 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8576 [startup+6.30115 s] /proc/loadavg: 1.08 1.02 0.93 2/78 20379 /proc/meminfo: memFree=1844984/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=8576 CPUtime=6.29 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 2887 0 0 0 628 1 0 0 25 0 1 0 242848776 8781824 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 2144 1516 305 324 0 1214 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8576 [startup+12.7018 s] /proc/loadavg: 1.07 1.02 0.93 2/78 20379 /proc/meminfo: memFree=1831864/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=26356 CPUtime=12.69 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 7332 0 0 0 1266 3 0 0 25 0 1 0 242848776 26988544 5961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 6589 5961 310 324 0 5659 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26356 [startup+25.5021 s] /proc/loadavg: 1.06 1.01 0.93 2/78 20379 /proc/meminfo: memFree=1771000/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=83676 CPUtime=25.49 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 21677 0 0 0 2541 8 0 0 25 0 1 0 242848776 85684224 20306 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 20919 20306 310 324 0 19989 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 83676 [startup+51.1027 s] /proc/loadavg: 1.04 1.01 0.93 2/78 20379 /proc/meminfo: memFree=1704760/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=149920 CPUtime=51.1 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 38217 0 0 0 5095 15 0 0 25 0 1 0 242848776 153518080 36846 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 37480 36846 310 324 0 36550 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 149920 [startup+102.306 s] /proc/loadavg: 1.01 1.01 0.93 2/78 20379 /proc/meminfo: memFree=1582200/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=271400 CPUtime=102.3 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 68612 0 0 0 10200 30 0 0 25 0 1 0 242848776 277913600 67241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 67850 67241 310 324 0 66920 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 271400 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 20379 /proc/meminfo: memFree=1484792/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=369064 CPUtime=162.29 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 93007 0 0 0 16189 40 0 0 25 0 1 0 242848776 377921536 91636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 92266 91636 310 324 0 91336 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 369064 [startup+222.303 s] /proc/loadavg: 1.00 1.00 0.93 2/78 20379 /proc/meminfo: memFree=1399032/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=454100 CPUtime=222.3 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 114277 0 0 0 22176 54 0 0 25 0 1 0 242848776 464998400 112906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 113525 112906 310 324 0 112595 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 454100 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 20379 /proc/meminfo: memFree=1324344/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=528848 CPUtime=282.3 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 132946 0 0 0 28168 62 0 0 25 0 1 0 242848776 541540352 131575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 132212 131575 310 324 0 131282 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 528848 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 20379 /proc/meminfo: memFree=1282936/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=569688 CPUtime=342.3 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 143178 0 0 0 34162 68 0 0 25 0 1 0 242848776 583360512 141807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 142422 141807 310 324 0 141492 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 569688 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 20379 /proc/meminfo: memFree=1236728/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=616068 CPUtime=402.3 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 154760 0 0 0 40156 74 0 0 25 0 1 0 242848776 630853632 153389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 154017 153389 310 324 0 153087 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 616068 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 20379 /proc/meminfo: memFree=1202936/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=649340 CPUtime=462.3 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 163096 0 0 0 46151 79 0 0 25 0 1 0 242848776 664924160 161725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7639190 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 162335 161725 310 324 0 161405 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 649340 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 20379 /proc/meminfo: memFree=1180664/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=671836 CPUtime=522.31 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 168703 0 0 0 52147 84 0 0 25 0 1 0 242848776 687960064 167332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 167959 167332 310 324 0 167029 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 671836 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 20379 /proc/meminfo: memFree=1168632/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=683504 CPUtime=582.31 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 171615 0 0 0 58145 86 0 0 25 0 1 0 242848776 699908096 170244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 170876 170244 310 324 0 169946 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 683504 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 20379 /proc/meminfo: memFree=1157880/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=694032 CPUtime=642.32 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 174245 0 0 0 64143 89 0 0 25 0 1 0 242848776 710688768 172874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 173508 172874 310 324 0 172578 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 694032 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 20379 /proc/meminfo: memFree=1109112/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=742212 CPUtime=882.32 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 186312 0 0 0 88132 100 0 0 25 0 1 0 242848776 760025088 184941 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 185553 184941 310 324 0 184623 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 742212 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 20379 /proc/meminfo: memFree=1093560/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=757816 CPUtime=942.32 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 190216 0 0 0 94129 103 0 0 25 0 1 0 242848776 776003584 188845 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 189454 188845 310 324 0 188524 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 757816 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 20379 /proc/meminfo: memFree=1065784/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=785396 CPUtime=1002.32 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 197112 0 0 0 100123 109 0 0 25 0 1 0 242848776 804245504 195741 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 196349 195741 310 324 0 195419 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 785396 [startup+1062.3 s] /proc/loadavg: 1.04 1.01 0.94 2/78 20379 /proc/meminfo: memFree=1049528/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=801688 CPUtime=1062.32 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 201178 0 0 0 106121 111 0 0 25 0 1 0 242848776 820928512 199807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 200422 199807 310 324 0 199492 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 801688 [startup+1122.3 s] /proc/loadavg: 1.01 1.01 0.94 2/78 20379 /proc/meminfo: memFree=1031544/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=819808 CPUtime=1122.33 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 205686 0 0 0 112119 114 0 0 25 0 1 0 242848776 839483392 204315 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 204952 204315 310 324 0 204022 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 819808 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 20379 /proc/meminfo: memFree=1009144/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=842296 CPUtime=1182.33 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 211311 0 0 0 118115 118 0 0 25 0 1 0 242848776 862511104 209940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 210574 209940 310 324 0 209644 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 842296 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 20379 /proc/meminfo: memFree=994424/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=856348 CPUtime=1242.33 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 214835 0 0 0 124113 120 0 0 25 0 1 0 242848776 876900352 213464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 214087 213464 310 324 0 213157 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 856348 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 20379 /proc/meminfo: memFree=977016/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=873536 CPUtime=1302.34 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 219128 0 0 0 130111 123 0 0 25 0 1 0 242848776 894500864 217757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 218384 217757 310 324 0 217454 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 873536 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 0.94 2/78 20379 /proc/meminfo: memFree=953528/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=897100 CPUtime=1362.34 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 225032 0 0 0 136107 127 0 0 25 0 1 0 242848776 918630400 223661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 224275 223661 310 324 0 223345 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 897100 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 0.94 2/78 20379 /proc/meminfo: memFree=920568/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=929828 CPUtime=1422.34 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 233191 0 0 0 142103 131 0 0 25 0 1 0 242848776 952143872 231820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 232457 231820 310 324 0 231527 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 929828 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 20379 /proc/meminfo: memFree=894456/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=955968 CPUtime=1482.34 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 239728 0 0 0 148098 136 0 0 25 0 1 0 242848776 978911232 238357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 238992 238357 310 324 0 238062 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 955968 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 20379 /proc/meminfo: memFree=874232/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=975984 CPUtime=1542.34 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 244736 0 0 0 154095 139 0 0 25 0 1 0 242848776 999407616 243365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 243996 243365 310 324 0 243066 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 975984 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 20381 /proc/meminfo: memFree=854648/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=995408 CPUtime=1602.34 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 249604 0 0 0 160092 142 0 0 25 0 1 0 242848776 1019297792 248233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 248852 248233 310 324 0 247922 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 995408 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 20381 /proc/meminfo: memFree=831416/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=1018552 CPUtime=1662.34 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 255379 0 0 0 166089 145 0 0 25 0 1 0 242848776 1042997248 254008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 254638 254008 310 324 0 253708 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1018552 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 20381 /proc/meminfo: memFree=807928/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=1042152 CPUtime=1722.35 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 261286 0 0 0 172086 149 0 0 25 0 1 0 242848776 1067163648 259915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 260538 259915 310 324 0 259608 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 1042152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 20381 /proc/meminfo: memFree=779192/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=1070456 CPUtime=1782.35 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 268376 0 0 0 178081 154 0 0 25 0 1 0 242848776 1096146944 267005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 267614 267005 310 324 0 266684 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1070456 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.00 0.94 2/78 20381 /proc/meminfo: memFree=771576/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=1077932 CPUtime=1800.06 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 270228 0 0 0 179851 155 0 0 25 0 1 0 242848776 1103802368 268857 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 269483 268857 310 324 0 268553 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1077932 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 1.00 1.00 0.94 2/78 20381 /proc/meminfo: memFree=771576/2055920 swapFree=4148672/4192956 [pid=20378] ppid=20376 vsize=0 CPUtime=1800.15 /proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194308 270232 0 0 0 179851 164 0 0 25 0 1 0 242848776 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/20378/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.18 CPU time (s): 1800.24 CPU user time (s): 1798.51 CPU system time (s): 1.72274 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1077932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.51 system time used= 1.72274 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270232 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= 14 involuntary context switches= 37546 runsolver used 1.37979 second user time and 3.91341 second system time The end
Begin job on node16 on Mon Apr 30 16:08:31 UTC 2007 IDJOB= 432770 IDBENCH= 1777 IDSOLVER= 199 FILE ID= node16/432770-1177949311 PBS_JOBID= 4727827 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432770-1177949311/instance-432770-1177949311.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-432770-1177949311 -o ROOT/results/node16/solver-432770-1177949311 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432770-1177949311/instance-432770-1177949311.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= b75dadb532de8158b35ca12cd6b47e2f RANDOM SEED= 474140623 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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.232 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 : 5914.62 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.232 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: 1850648 kB Buffers: 6428 kB Cached: 83240 kB SwapCached: 11992 kB Active: 93824 kB Inactive: 46556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850648 kB SwapTotal: 4192956 kB SwapFree: 4148672 kB Dirty: 8680 kB Writeback: 0 kB Mapped: 58104 kB Slab: 50388 kB Committed_AS: 7697676 kB PageTables: 1904 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= 66556 MiB End job on node16 on Mon Apr 30 16:38:34 UTC 2007