0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.39/0.42	c starting to Solve
0.39/0.42	c #variables read: 5499 - #constraints read: 19315
0.39/0.43	o 28
1.19/1.22	o 27
283.00/283.12	o 26
1782.66/1783.37	c total time              : 1783.01 s
1782.66/1783.37	s SATISFIABLE
1782.66/1783.37	v x1 x177 x350 x700 x857 -x926 -x953 x980 -x1007 -x1034 -x1061 -x1088 -x10 -x1115 -x13 -x1127 -x16 -x1139 -x19 -x1151 -x22 -x1163
1782.66/1783.37	v x25 -x1175 -x28 -x1187 -x31 -x1199 -x34 -x1211 x37 -x1223 -x40 -x1235 -x43 x1247 -x46 -x1259 -x49 -x1271 -x52 -x1283 -x55
1782.66/1783.37	v -x1295 -x58 -x1307 -x61 -x1319 -x64 -x1331 -x67 -x1343 -x70 -x1355 -x1367 -x1369 -x1374 -x1376 -x1381 -x1383 -x1388 -x1390
1782.66/1783.37	v -x1395 -x1397 -x1402 -x1404 -x1409 -x1411 -x1416 -x1418 -x1423 -x1425 -x1430 -x1432 -x1437 -x1439 -x1444 -x1446 -x1451
1782.66/1783.37	v -x1453 -x1458 -x1460 -x1465 -x1467 -x1472 -x1474 -x1479 -x1481 -x1486 -x1488 -x1493 -x1495 -x1500 -x1502 -x1507 -x1509
1782.66/1783.37	v -x1514 -x1516 -x1521 -x1523 -x1528 -x1530 -x1535 -x1537 -x1542 x1544 -x1549 -x1551 -x1556 -x1558 -x1563 -x1565 -x1570
1782.66/1783.37	v -x1572 -x1577 -x1579 -x1584 -x1586 -x1591 -x1593 -x1598 -x1600 -x1605 -x1607 -x1612 -x1639 -x1666 -x1693 -x1720 x1747
1782.66/1783.37	v -x1774 -x186 -x1801 -x189 -x1813 -x192 -x1825 -x195 -x1837 -x198 -x1849 -x201 -x1861 -x204 -x1873 -x207 -x1885 -x1897 -x212
1782.66/1783.37	v x1909 -x215 -x1921 -x1933 -x220 -x1945 -x223 -x1957 -x226 -x1969 x229 -x1981 -x232 -x1993 -x2005 -x237 -x2017 -x240 -x2029
1782.66/1783.37	v -x243 -x2041 -x2053 -x2055 -x2060 -x2062 -x2067 -x2069 -x2074 -x2076 -x2081 -x2083 -x2088 -x2090 -x2095 -x2097 -x2102
1782.66/1783.37	v -x2104 -x2109 -x2111 -x2116 -x2118 -x2123 -x2125 -x2130 -x2132 -x2137 -x2139 -x2144 -x2146 -x2151 -x2153 -x2158 -x2160
1782.66/1783.37	v -x2165 -x2167 -x2172 -x2174 -x2179 -x2181 -x2186 -x2188 -x2193 -x2195 -x2200 -x2202 -x2207 -x2209 -x2214 -x2216 -x2221
1782.66/1783.37	v x2223 x2228 -x2230 -x2235 -x2237 -x2242 -x2244 -x2249 -x2251 -x2256 -x2258 -x2263 -x2265 -x2270 -x2272 -x2277 -x2279 -x2284
1782.66/1783.37	v -x2286 -x2291 -x2293 -x2298 -x2356 -x2414 -x2472 -x2530 -x2588 x2646 -x2704 -x2762 -x362 -x2789 -x365 -x2816 x368 -x2843
1782.66/1783.37	v -x2870 -x373 -x2897 -x2924 -x378 -x2951 -x2978 -x3005 -x3032 -x387 -x3059 -x390 -x3086 -x3113 -x395 -x3140 -x3167 -x400
1782.66/1783.37	v x3194 -x3221 -x3248 -x3275 -x409 -x3302 -x412 -x3329 -x3356 -x3383 -x419 -x3410 -x422 -x3437 -x3464 -x427 -x3491 -x3518
1782.66/1783.37	v -x3520 -x3532 -x3534 -x3546 -x3548 -x3560 -x3572 -x3574 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642
1782.66/1783.37	v -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756
1782.66/1783.37	v -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 -x3880
1782.66/1783.37	v -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3952 -x3964 -x3966 -x3978 -x3980 -x3992 -x3994
1782.66/1783.37	v -x4006 -x4008 -x4020 -x4022 -x4034 -x4046 x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4118
1782.66/1783.37	v -x4130 -x4132 -x4144 -x4146 -x4158 -x4160 -x4172 -x4174 -x4186 -x4188 -x4200 -x4202 -x4214 -x4216 -x4228 -x4230 -x4242
1782.66/1783.37	v -x4244 -x4256 -x4258 -x4270 -x4272 -x4284 -x4286 -x4298 -x4303 -x4308 -x4313 -x4318 -x4323 -x4328 -x4333 -x4338 -x4343
1782.66/1783.37	v -x4348 -x4353 -x4358 -x4363 -x4368 -x4373 -x4378 -x4383 x4388 -x4393 -x4398 -x4403 -x4408 -x4413 -x4418 -x4423 -x4428
1782.66/1783.37	v -x4433 -x4438 -x4443 -x4448 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513
1782.66/1783.37	v -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4593 -x4598
1782.66/1783.37	v -x4603 -x4608 -x4613 -x4618 -x4623 -x4628 -x4633 -x4638 -x4643 -x4648 x4675 -x4702 -x4729 -x4756 -x4783 -x4810 -x709 -x4837
1782.66/1783.37	v -x4849 -x714 -x4861 -x4873 -x719 -x4885 -x722 -x4897 -x4909 -x4921 -x4933 -x4945 x4957 -x735 -x4969 -x4981 -x4993 -x5005
1782.66/1783.37	v -x744 -x5017 -x747 -x5029 -x5041 -x5053 -x754 -x5065 -x5077 -x5089 -x5091 -x5096 -x5098 -x5103 -x5105 -x5110 -x5112 -x5117
1782.66/1783.37	v -x5119 -x5124 -x5126 -x5131 -x5133 x5138 -x5140 -x5145 -x5147 -x5152 -x5154 -x5156 -x5161 -x5163 -x5168 -x5170 -x5175
1782.66/1783.37	v -x5177 -x5182 -x5184 -x5189 -x5191 -x5196 -x5198 -x5203 -x5208 -x5213 -x5215 -x5220 -x5222 -x5227 -x5229 -x5234 -x5239
1782.66/1783.37	v x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5281 -x5286 -x5291 -x5293 -x5298 -x5300
1782.66/1783.37	v -x5305 -x5307 -x5312 -x5314 -x5319 -x5331 -x5343 x5355 -x5367 -x5379 -x5391 -x5396 -x5401 -x5406 -x5411 -x875 -x5416 -x5421
1782.66/1783.37	v -x880 -x5426 -x5431 -x885 x5436 -x888 -x5441 -x891 -x5446 -x5451 -x5456 -x5461 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476
1782.66/1783.37	v -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20 -x21
1782.66/1783.37	v -x23 -x24 -x26 -x27 -x29 -x30 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 -x60
1782.66/1783.37	v -x62 -x63 -x65 -x66 -x68 -x69 -x71 -x73 -x72 -x74 -x76 -x75 -x77 -x79 -x78 -x80 -x82 -x81 -x83 -x85 -x84 -x86 -x88 -x87 -x89 -x91
1782.66/1783.37	v -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111
1782.66/1783.37	v -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132
1782.66/1783.37	v -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 x149 -x151 -x150 -x152 -x154 -x153
1782.66/1783.37	v -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174
1782.66/1783.37	v -x176 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x185 -x187 -x188 -x190 -x191 -x193 -x194 -x196 -x197 -x199 -x200 -x202 -x203 -x205 -x206 -x208
1782.66/1783.37	v -x209 -x210 -x211 x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x224 -x225 -x227 -x228 -x230 -x231 -x233 -x234 -x235 -x236
1782.66/1783.37	v -x238 -x239 -x241 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261
1782.66/1783.37	v -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282
1782.66/1783.37	v -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303
1782.66/1783.37	v -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 x319 x321 -x320 -x322 -x324
1782.66/1783.37	v -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345
1782.66/1783.37	v -x344 -x346 -x348 -x347 -x349 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x359 -x360 -x361 -x363 -x364 -x366 -x367 -x369 -x370
1782.66/1783.37	v -x371 -x372 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x389 -x391 -x392 -x393 -x394 -x396
1782.66/1783.37	v -x397 -x398 -x399 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x410 -x411 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x421
1782.66/1783.37	v -x423 -x424 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x438 -x439 -x441 -x440 -x442 -x444 -x443
1782.66/1783.37	v -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462 -x461 -x463 -x465 -x464
1782.66/1783.37	v -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483 -x482 -x484 -x486 -x485
1782.66/1783.37	v -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506
1782.66/1783.37	v -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527
1782.66/1783.37	v -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x539 -x540 -x542 -x541 x543 -x545 -x544 -x546 -x548 -x547 -x549
1782.66/1783.37	v -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570
1782.66/1783.37	v -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591
1782.66/1783.37	v -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612
1782.66/1783.37	v -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633
1782.66/1783.37	v -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654
1782.66/1783.37	v -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675
1782.66/1783.37	v -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696
1782.66/1783.37	v -x698 -x697 -x699 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x708 -x710 -x711 -x712 -x713 -x715 -x716 -x717 -x718 -x720
1782.66/1783.37	v -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743
1782.66/1783.37	v -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x759 -x758 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768
1782.66/1783.37	v -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x788 -x787
1782.66/1783.37	v -x789 -x791 -x790 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x808 -x809
1782.66/1783.37	v -x810 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x821 -x822 -x824 -x823 x825 -x826 -x827 -x829 -x828 -x830
1782.66/1783.37	v -x832 -x831 -x833 -x835 -x834 -x836 -x838 -x837 -x839 -x841 -x840 -x842 -x843 -x844 -x846 -x845 -x847 -x849 -x848 -x850 -x852
1782.66/1783.37	v -x851 -x853 -x855 -x854 -x856 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872
1782.66/1783.37	v -x873 -x874 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 x886 -x887 -x889 -x890 -x892 -x893 -x894 -x895 -x896 -x897 -x898
1782.66/1783.37	v -x900 -x899 -x902 -x901 -x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911 -x910 -x912 -x914 -x913 -x916 -x915 -x917 -x919 -x918
1782.66/1783.37	v -x920 -x921 -x922 -x924 -x923 -x925 -x858 -x859 -x860 x861 -x862 -x863 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935
1782.66/1783.37	v -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x954 -x955 -x956 -x957
1782.66/1783.37	v -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978
1782.66/1783.37	v -x979 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
1782.66/1783.37	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018
1782.66/1783.37	v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1035 -x1036
1782.66/1783.37	v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053
1782.66/1783.37	v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071
1782.66/1783.37	v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1089
1782.66/1783.37	v -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106
1782.66/1783.37	v -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1782.66/1783.37	v -x1125 -x1126 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1140 -x1141 -x1142 -x1143
1782.66/1783.37	v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161
1782.66/1783.37	v -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1176 -x1177 -x1178 -x1179 -x1180
1782.66/1783.37	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198
1782.66/1783.37	v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217
1782.66/1783.37	v -x1218 -x1219 -x1220 -x1221 -x1222 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1236
1782.66/1783.37	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254
1782.66/1783.37	v -x1255 -x1256 -x1257 -x1258 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1272 -x1273
1782.66/1783.37	v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291
1782.66/1783.37	v -x1292 -x1293 -x1294 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1308 -x1309 -x1310
1782.66/1783.37	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328
1782.66/1783.37	v -x1329 -x1330 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 -x1346 -x1347
1782.66/1783.37	v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365
1782.66/1783.37	v -x1366 -x1368 -x1370 -x1371 -x1372 -x1373 -x1375 -x1377 -x1378 -x1379 -x1380 -x1382 -x1384 -x1385 -x1386 -x1387 x1389
1782.66/1783.37	v -x1391 -x1392 -x1393 -x1394 x1396 -x1398 -x1399 -x1400 -x1401 -x1403 -x1405 -x1406 -x1407 -x1408 -x1410 -x1412 -x1413
1782.66/1783.37	v -x1414 -x1415 -x1417 -x1419 -x1420 -x1421 -x1422 x1424 -x1426 -x1427 -x1428 -x1429 -x1431 -x1433 -x1434 -x1435 -x1436
1782.66/1783.37	v -x1438 -x1440 -x1441 -x1442 -x1443 x1445 -x1447 -x1448 -x1449 -x1450 -x1452 -x1454 -x1455 -x1456 -x1457 x1459 -x1461 -x1462
1782.66/1783.37	v -x1463 -x1464 x1466 -x1468 -x1469 -x1470 -x1471 -x1473 -x1475 -x1476 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 -x1485
1782.66/1783.37	v x1487 -x1489 -x1490 -x1491 -x1492 -x1494 -x1496 -x1497 -x1498 -x1499 -x1501 -x1503 -x1504 -x1505 -x1506 x1508 -x1510 -x1511
1782.66/1783.37	v -x1512 -x1513 -x1515 -x1517 -x1518 -x1519 -x1520 x1522 -x1524 -x1525 -x1526 -x1527 -x1529 -x1531 -x1532 -x1533 -x1534
1782.66/1783.37	v x1536 -x1538 -x1539 -x1540 -x1541 -x1543 x1545 -x1546 -x1547 x1548 -x1550 -x1552 -x1553 -x1554 -x1555 -x1557 -x1559 -x1560
1782.66/1783.37	v -x1561 -x1562 -x1564 -x1566 -x1567 -x1568 -x1569 -x1571 -x1573 -x1574 -x1575 -x1576 -x1578 -x1580 -x1581 -x1582 -x1583
1782.66/1783.37	v -x1585 -x1587 -x1588 -x1589 -x1590 -x1592 -x1594 -x1595 -x1596 -x1597 -x1599 -x1601 -x1602 -x1603 -x1604 -x1606 -x1608
1782.66/1783.37	v -x1609 -x1610 -x1611 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626
1782.66/1783.37	v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1640 -x1641 -x1642 -x1643 -x1644
1782.66/1783.37	v -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661
1782.66/1783.37	v -x1662 -x1663 -x1664 -x1665 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679
1782.66/1783.37	v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1694 -x1695 -x1696 -x1697
1782.66/1783.37	v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714
1782.66/1783.37	v -x1715 -x1716 -x1717 -x1718 -x1719 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732
1782.66/1783.37	v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1748 -x1749 -x1750
1782.66/1783.37	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767
1782.66/1783.37	v -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785
1782.66/1783.37	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1802 -x1803
1782.66/1783.37	v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
1782.66/1783.37	v -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1838 -x1839 -x1840
1782.66/1783.37	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858
1782.66/1783.37	v -x1859 -x1860 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1874 -x1875 -x1876 -x1877
1782.66/1783.37	v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895
1782.66/1783.37	v -x1896 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1910 -x1911 -x1912 -x1913 -x1914
1782.66/1783.37	v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932
1782.66/1783.37	v -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951
1782.66/1783.37	v -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1970
1782.66/1783.37	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988
1782.66/1783.37	v -x1989 -x1990 -x1991 -x1992 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2006 -x2007
1782.66/1783.37	v -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
1782.66/1783.37	v -x2026 -x2027 -x2028 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2042 -x2043 -x2044
1782.66/1783.37	v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2054 -x2056 -x2057 -x2058 -x2059 -x2061 -x2063 -x2064 -x2065
1782.66/1783.37	v -x2066 -x2068 -x2070 -x2071 -x2072 -x2073 -x2075 x2077 -x2078 -x2079 -x2080 -x2082 x2084 -x2085 -x2086 -x2087 -x2089 -x2091
1782.66/1783.37	v -x2092 -x2093 -x2094 -x2096 -x2098 -x2099 -x2100 -x2101 -x2103 -x2105 -x2106 -x2107 -x2108 -x2110 -x2112 -x2113 -x2114
1782.66/1783.37	v -x2115 x2117 -x2119 -x2120 -x2121 -x2122 -x2124 -x2126 -x2127 -x2128 -x2129 -x2131 -x2133 -x2134 -x2135 -x2136 -x2138
1782.66/1783.37	v -x2140 -x2141 -x2142 -x2143 -x2145 -x2147 -x2148 -x2149 -x2150 -x2152 x2154 -x2155 -x2156 -x2157 -x2159 -x2161 -x2162
1782.66/1783.37	v -x2163 -x2164 -x2166 -x2168 -x2169 -x2170 -x2171 -x2173 -x2175 -x2176 -x2177 -x2178 -x2180 -x2182 -x2183 -x2184 -x2185
1782.66/1783.37	v x2187 -x2189 -x2190 -x2191 -x2192 -x2194 -x2196 -x2197 -x2198 -x2199 -x2201 -x2203 -x2204 -x2205 -x2206 -x2208 -x2210
1782.66/1783.37	v -x2211 -x2212 -x2213 -x2215 -x2217 -x2218 -x2219 -x2220 -x2222 x2224 -x2225 -x2226 -x2227 x2229 -x2231 -x2232 -x2233 -x2234
1782.66/1783.37	v -x2236 -x2238 -x2239 -x2240 -x2241 -x2243 -x2245 -x2246 -x2247 -x2248 -x2250 -x2252 -x2253 -x2254 -x2255 -x2257 -x2259
1782.66/1783.37	v -x2260 -x2261 -x2262 -x2264 -x2266 -x2267 -x2268 -x2269 x2271 -x2273 -x2274 -x2275 -x2276 x2278 -x2280 -x2281 -x2282 -x2283
1782.66/1783.37	v -x2285 -x2287 -x2288 -x2289 -x2290 -x2292 -x2294 -x2295 -x2296 -x2297 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305
1782.66/1783.37	v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322
1782.66/1783.37	v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339
1782.66/1783.37	v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357
1782.66/1783.37	v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374
1782.66/1783.37	v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391
1782.66/1783.37	v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408
1782.66/1783.37	v -x2409 -x2410 -x2411 -x2412 -x2413 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426
1782.66/1783.37	v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443
1782.66/1783.37	v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
1782.66/1783.37	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478
1782.66/1783.37	v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495
1782.66/1783.37	v -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512
1782.66/1783.37	v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529
1782.66/1783.37	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547
1782.66/1783.37	v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564
1782.66/1783.37	v -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581
1782.66/1783.37	v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599
1782.66/1783.37	v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616
1782.66/1783.37	v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633
1782.66/1783.37	v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2647 -x2648 -x2649 -x2650 -x2651
1782.66/1783.37	v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668
1782.66/1783.37	v -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685
1782.66/1783.37	v -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702
1782.66/1783.37	v -x2703 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
1782.66/1783.37	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737
1782.66/1783.37	v -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754
1782.66/1783.37	v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772
1782.66/1783.37	v -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2790
1782.66/1783.37	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807
1782.66/1783.37	v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825
1782.66/1783.37	v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842
1782.66/1783.37	v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
1782.66/1783.37	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878
1782.66/1783.37	v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895
1782.66/1783.37	v -x2896 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913
1782.66/1783.37	v -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931
1782.66/1783.37	v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948
1782.66/1783.37	v -x2949 -x2950 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966
1782.66/1783.37	v -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984
1782.66/1783.37	v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001
1782.66/1783.37	v -x3002 -x3003 -x3004 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019
1782.66/1783.37	v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3033 -x3034 -x3035 -x3036 -x3037
1782.66/1783.37	v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054
1782.66/1783.37	v -x3055 -x3056 -x3057 -x3058 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072
1782.66/1783.37	v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3087 -x3088 -x3089 -x3090
1782.66/1783.37	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107
1782.66/1783.37	v -x3108 -x3109 -x3110 -x3111 -x3112 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125
1782.66/1783.37	v -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3141 -x3142 -x3143
1782.66/1783.37	v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
1782.66/1783.37	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178
1782.66/1783.37	v -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 x3195 -x3196
1782.66/1783.37	v -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213
1782.66/1783.37	v -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231
1782.66/1783.37	v -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3249
1782.66/1783.37	v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266
1782.66/1783.37	v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284
1782.66/1783.37	v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301
1782.66/1783.37	v x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319
1782.66/1783.37	v -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337
1782.66/1783.37	v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354
1782.66/1783.37	v -x3355 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372
1782.66/1783.37	v -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390
1782.66/1783.37	v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407
1782.66/1783.37	v -x3408 -x3409 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425
1782.66/1783.37	v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443
1782.66/1783.37	v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
1782.66/1783.37	v -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478
1782.66/1783.37	v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496
1782.66/1783.37	v -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513
1782.66/1783.37	v -x3514 -x3515 -x3516 -x3517 -x3519 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533
1782.66/1783.37	v -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3547 -x3549 -x3550 -x3551 -x3552 -x3553
1782.66/1783.37	v -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571
1782.66/1783.37	v -x3573 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3587 -x3589 -x3590 -x3591 -x3592
1782.66/1783.37	v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611
1782.66/1783.37	v -x3612 -x3613 x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3629 -x3631 -x3632
1782.66/1783.37	v -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651
1782.66/1783.37	v -x3652 -x3653 -x3654 -x3655 -x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 x3671
1782.66/1783.37	v -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691
1782.66/1783.37	v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
1782.66/1783.37	v -x3711 -x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 x3727 -x3729 -x3730 -x3731
1782.66/1783.37	v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3741 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
1782.66/1783.37	v -x3751 -x3752 -x3753 x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3771
1782.66/1783.37	v -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
1782.66/1783.37	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809
1782.66/1783.37	v -x3811 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830
1782.66/1783.37	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849
1782.66/1783.37	v -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870
1782.66/1783.37	v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889
1782.66/1783.37	v -x3890 -x3891 -x3892 -x3893 x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909
1782.66/1783.37	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929
1782.66/1783.37	v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948
1782.66/1783.37	v -x3949 -x3951 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3965 -x3967 -x3968 -x3969
1782.66/1783.37	v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988
1782.66/1783.37	v -x3989 -x3990 -x3991 x3993 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4007 -x4009
1782.66/1783.37	v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028
1782.66/1783.37	v -x4029 -x4030 -x4031 -x4032 -x4033 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047
1782.66/1783.37	v x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4061 x4063 -x4064 -x4065 -x4066 -x4067 -x4068
1782.66/1783.37	v -x4069 -x4070 -x4071 -x4072 -x4073 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087
1782.66/1783.37	v -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108
1782.66/1783.37	v -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4117 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127
1782.66/1783.37	v -x4128 -x4129 -x4131 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4145 x4147 -x4148
1782.66/1783.37	v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167
1782.66/1783.37	v -x4168 -x4169 -x4170 -x4171 -x4173 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4187
1782.66/1783.37	v -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4201 -x4203 -x4204 -x4205 -x4206 -x4207
1782.66/1783.37	v -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4215 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226
1782.66/1783.37	v -x4227 -x4229 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4243 -x4245 -x4246 -x4247
1782.66/1783.37	v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4257 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266
1782.66/1783.37	v -x4267 -x4268 -x4269 -x4271 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287
1782.66/1783.37	v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4299 -x4300 -x4301 -x4302 -x4304 -x4305 -x4306
1782.66/1783.37	v -x4307 -x4309 -x4310 -x4311 -x4312 -x4314 -x4315 -x4316 -x4317 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327
1782.66/1783.37	v -x4329 -x4330 -x4331 -x4332 -x4334 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4349
1782.66/1783.37	v -x4350 -x4351 -x4352 -x4354 -x4355 -x4356 -x4357 -x4359 -x4360 -x4361 -x4362 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370
1782.66/1783.37	v -x4371 -x4372 -x4374 -x4375 -x4376 -x4377 -x4379 -x4380 -x4381 -x4382 -x4384 -x4385 -x4386 -x4387 x4389 -x4390 x4391 -x4392
1782.66/1783.37	v -x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406 -x4407 -x4409 -x4410 -x4411 -x4412 -x4414
1782.66/1783.37	v -x4415 -x4416 -x4417 -x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 -x4429 -x4430 -x4431 -x4432 -x4434 -x4435
1782.66/1783.37	v -x4436 -x4437 -x4439 -x4440 -x4441 -x4442 -x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456
1782.66/1783.37	v -x4457 -x4459 -x4460 -x4461 -x4462 -x4464 -x4465 -x4466 -x4467 -x4469 -x4470 -x4471 -x4472 -x4474 -x4475 -x4476 -x4477
1782.66/1783.37	v -x4479 -x4480 -x4481 -x4482 -x4484 -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4494 -x4495 -x4496 -x4497 -x4499
1782.66/1783.37	v -x4500 -x4501 -x4502 -x4504 -x4505 -x4506 -x4507 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4519 -x4520
1782.66/1783.37	v -x4521 -x4522 -x4524 -x4525 -x4526 -x4527 -x4529 -x4530 -x4531 -x4532 -x4534 -x4535 -x4536 -x4537 -x4539 -x4540 -x4541
1782.66/1783.37	v -x4542 -x4544 -x4545 -x4546 -x4547 -x4549 -x4550 -x4551 -x4552 -x4554 -x4555 -x4556 -x4557 -x4559 -x4560 -x4561 -x4562
1782.66/1783.37	v -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4579 -x4580 -x4581 -x4582 -x4584
1782.66/1783.37	v -x4585 -x4586 -x4587 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4604 -x4605
1782.66/1783.37	v -x4606 -x4607 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626
1782.66/1783.37	v -x4627 -x4629 -x4630 -x4631 -x4632 -x4634 -x4635 -x4636 -x4637 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647
1782.66/1783.37	v -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665
1782.66/1783.37	v -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683
1782.66/1783.37	v -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700
1782.66/1783.37	v -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718
1782.66/1783.37	v -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736
1782.66/1783.37	v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753
1782.66/1783.37	v -x4754 -x4755 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771
1782.66/1783.37	v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789
1782.66/1783.37	v -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806
1782.66/1783.37	v -x4807 -x4808 -x4809 x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824
1782.66/1783.37	v -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4838 -x4839 -x4840 -x4841 -x4842
1782.66/1783.37	v -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860
1782.66/1783.37	v -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879
1782.66/1783.37	v -x4880 -x4881 -x4882 -x4883 -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4898
1782.66/1783.37	v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916
1782.66/1783.37	v -x4917 -x4918 -x4919 -x4920 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 x4934 -x4935
1782.66/1783.37	v -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953
1782.66/1783.37	v -x4954 -x4955 -x4956 x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972
1782.66/1783.37	v -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990
1782.66/1783.37	v -x4991 -x4992 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5007 -x5008 -x5009
1782.66/1783.37	v -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027
1782.66/1783.37	v -x5028 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5042 -x5043 -x5044 -x5045 -x5046
1782.66/1783.37	v -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064
1782.66/1783.37	v x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083
1782.66/1783.37	v -x5084 -x5085 -x5086 -x5087 -x5088 x5090 -x5092 -x5093 -x5094 -x5095 -x5097 -x5099 -x5100 -x5101 -x5102 -x5104 -x5106
1782.66/1783.37	v -x5107 -x5108 -x5109 -x5111 -x5113 -x5114 -x5115 -x5116 -x5118 -x5120 -x5121 -x5122 -x5123 x5125 -x5127 -x5128 -x5129
1782.66/1783.37	v -x5130 x5132 -x5134 -x5135 -x5136 -x5137 x5139 -x5141 -x5142 -x5143 -x5144 x5146 -x5148 -x5149 -x5150 -x5151 -x5153 -x5155
1782.66/1783.37	v -x5157 -x5158 -x5159 -x5160 -x5162 -x5164 -x5165 -x5166 -x5167 -x5169 -x5171 -x5172 -x5173 -x5174 -x5176 -x5178 -x5179
1782.66/1783.37	v -x5180 -x5181 -x5183 -x5185 -x5186 -x5187 -x5188 -x5190 -x5192 -x5193 -x5194 -x5195 -x5197 -x5199 -x5200 -x5201 -x5202
1782.66/1783.37	v -x5204 -x5205 -x5206 -x5207 -x5209 -x5210 -x5211 -x5212 -x5214 x5216 -x5217 -x5218 -x5219 -x5221 -x5223 -x5224 -x5225
1782.66/1783.37	v -x5226 -x5228 x5230 -x5231 -x5232 -x5233 -x5235 -x5236 -x5237 -x5238 -x5240 x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249
1782.66/1783.37	v -x5250 -x5252 -x5254 -x5255 -x5256 -x5257 -x5259 -x5261 -x5262 -x5263 -x5264 -x5266 -x5268 -x5269 -x5270 -x5271 -x5273
1782.66/1783.37	v -x5275 -x5276 -x5277 -x5278 -x5280 -x5282 -x5283 -x5284 -x5285 -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296
1782.66/1783.37	v -x5297 -x5299 x5301 -x5302 -x5303 -x5304 -x5306 -x5308 -x5309 -x5310 -x5311 -x5313 -x5315 -x5316 -x5317 -x5318 -x5320
1782.66/1783.37	v -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338
1782.66/1783.37	v -x5339 -x5340 -x5341 -x5342 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 x5356 -x5357 -x5358
1782.66/1783.37	v -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376
1782.66/1783.37	v -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5392 -x5393 -x5394 -x5395
1782.66/1783.37	v -x5397 -x5398 -x5399 -x5400 -x5402 -x5403 -x5404 -x5405 -x5407 -x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 -x5417
1782.66/1783.37	v -x5418 -x5419 -x5420 -x5422 -x5423 -x5424 -x5425 -x5427 -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 x5437 -x5438
1782.66/1783.37	v x5439 -x5440 -x5442 -x5443 -x5444 -x5445 -x5447 -x5448 -x5449 -x5450 -x5452 -x5453 -x5454 -x5455 -x5457 -x5458 -x5459
1782.66/1783.37	v -x5460 -x5462 -x5463 -x5464 -x5465 -x5467 -x5469 -x5471 x5473 -x5475 x5477 -x5479 -x5481 x5483 x5485 -x5487 -x5489 x5491
1782.66/1783.37	v x5493 -x5495 x5497 -x5499

OK	26

/tmp/evaluation/373130-1177169980/instance-373130-1177169980.opb is already a linear file

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node6/watcher-373130-1177169980 -o ROOT/results/node6/solver-373130-1177169980 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/373130-1177169980/instance-373130-1177169980.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: 0.92 0.97 0.99 3/77 23418
/proc/meminfo: memFree=1785200/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=2552 CPUtime=0
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 193035681 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 638 230 193 16 0 77 0

[startup+0.079135 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 23418
/proc/meminfo: memFree=1785200/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=3616 CPUtime=0.07
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 546 0 0 0 7 0 0 0 18 0 1 0 193035681 3702784 516 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 904 516 199 16 0 343 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3616

[startup+0.101136 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 23418
/proc/meminfo: memFree=1785200/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=3884 CPUtime=0.09
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 620 0 0 0 9 0 0 0 18 0 1 0 193035681 3977216 590 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 2586261 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 971 590 199 16 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3884

[startup+0.301159 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 23418
/proc/meminfo: memFree=1785200/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=6488 CPUtime=0.29
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 1219 0 0 0 29 0 0 0 19 0 1 0 193035681 6643712 1189 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134533479 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 1622 1189 204 16 0 1061 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6488

[startup+0.701207 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 23418
/proc/meminfo: memFree=1785200/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=7208 CPUtime=0.68
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 1398 0 0 0 68 0 0 0 23 0 1 0 193035681 7380992 1368 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 1802 1368 205 16 0 1241 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7208

[startup+1.5013 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1780456/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=7208 CPUtime=1.49
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 1398 0 0 0 148 1 0 0 25 0 1 0 193035681 7380992 1368 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 1802 1368 205 16 0 1241 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7208

[startup+3.10149 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1780328/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=8020 CPUtime=3.09
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 1595 0 0 0 307 2 0 0 25 0 1 0 193035681 8212480 1552 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522724 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 2005 1552 205 16 0 1444 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8020

[startup+6.30186 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1778408/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=9628 CPUtime=6.28
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 2000 0 0 0 626 2 0 0 25 0 1 0 193035681 9859072 1957 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 2407 1957 205 16 0 1846 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9628

[startup+12.7016 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1774120/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=13580 CPUtime=12.69
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 3114 0 0 0 1265 4 0 0 25 0 1 0 193035681 13905920 2968 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 3395 2968 205 16 0 2834 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13580

[startup+25.5011 s]
/proc/loadavg: 0.95 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1764328/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=23600 CPUtime=25.48
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 5619 0 0 0 2543 5 0 0 25 0 1 0 193035681 24166400 5453 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 5900 5453 205 16 0 5339 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23600

[startup+51.1011 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1743080/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=44328 CPUtime=51.07
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 10807 0 0 0 5096 11 0 0 25 0 1 0 193035681 45391872 10641 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 11082 10641 205 16 0 10521 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44328

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1709480/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=78028 CPUtime=102.26
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 19239 0 0 0 10210 16 0 0 25 0 1 0 193035681 79900672 19059 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 19507 19059 205 16 0 18946 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 78028

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1701864/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=85728 CPUtime=162.23
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 21174 0 0 0 16204 19 0 0 25 0 1 0 193035681 87785472 20994 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528572 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 21432 20994 205 16 0 20871 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 85728

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1694056/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=93116 CPUtime=222.22
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 23023 0 0 0 22198 24 0 0 25 0 1 0 193035681 95350784 22843 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 23279 22843 205 16 0 22718 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 93116

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1693992/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=93116 CPUtime=282.2
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 23023 0 0 0 28194 26 0 0 25 0 1 0 193035681 95350784 22843 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 23279 22843 205 16 0 22718 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 93116

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1694056/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=93068 CPUtime=342.19
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 23023 0 0 0 34190 29 0 0 25 0 1 0 193035681 95301632 22838 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557279 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 23267 22838 205 16 0 22706 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 93068

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1694056/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=93068 CPUtime=402.17
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 23023 0 0 0 40186 31 0 0 25 0 1 0 193035681 95301632 22838 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 23267 22838 205 16 0 22706 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 93068

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1681512/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=105692 CPUtime=462.15
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 26170 0 0 0 46180 35 0 0 25 0 1 0 193035681 108228608 25985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 26423 25985 205 16 0 25862 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 105692

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1681192/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=105692 CPUtime=522.14
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 26704 0 0 0 52177 37 0 0 25 0 1 0 193035681 108228608 25994 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 26423 25994 205 16 0 25862 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 105692

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1653160/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=133944 CPUtime=582.12
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 33758 0 0 0 58169 43 0 0 25 0 1 0 193035681 137158656 33048 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 33486 33048 205 16 0 32925 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 133944

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1630312/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=156780 CPUtime=642.1
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 39456 0 0 0 64162 48 0 0 25 0 1 0 193035681 160542720 38746 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 39195 38746 205 16 0 38634 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 156780


################
# More data... #
################

/proc/meminfo: memFree=1593960/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=193016 CPUtime=882.03
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 48532 0 0 0 88143 60 0 0 25 0 1 0 193035681 197648384 47822 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 48254 47822 205 16 0 47693 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 193016

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1592360/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=195852 CPUtime=942.01
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 49228 0 0 0 94139 62 0 0 25 0 1 0 193035681 200552448 48518 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 48963 48518 205 16 0 48402 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 195852

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1584872/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=202136 CPUtime=1001.99
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 50793 0 0 0 100135 64 0 0 25 0 1 0 193035681 206987264 50083 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 50534 50083 205 16 0 49973 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 202136

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1584872/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=202136 CPUtime=1061.98
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 50793 0 0 0 106132 66 0 0 25 0 1 0 193035681 206987264 50083 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556233 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 50534 50083 205 16 0 49973 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 202136

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1584872/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=202136 CPUtime=1121.96
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 50793 0 0 0 112129 67 0 0 25 0 1 0 193035681 206987264 50083 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134518046 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 50534 50083 205 16 0 49973 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 202136

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1580904/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=206084 CPUtime=1181.94
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 51795 0 0 0 118125 69 0 0 25 0 1 0 193035681 211030016 51085 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519114 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 51521 51085 205 16 0 50960 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 206084

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23419
/proc/meminfo: memFree=1580840/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=206084 CPUtime=1241.92
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 51795 0 0 0 124122 70 0 0 25 0 1 0 193035681 211030016 51085 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519098 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 51521 51085 205 16 0 50960 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 206084

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/84 23541
/proc/meminfo: memFree=1579576/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=206084 CPUtime=1301.85
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 51795 0 0 0 130112 73 0 0 25 0 1 0 193035681 211030016 51085 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 51521 51085 205 16 0 50960 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 206084

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23617
/proc/meminfo: memFree=1580712/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=206084 CPUtime=1361.79
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 51795 0 0 0 136104 75 0 0 25 0 1 0 193035681 211030016 51085 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 51521 51085 205 16 0 50960 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 206084

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 23617
/proc/meminfo: memFree=1570024/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=216856 CPUtime=1421.77
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 54469 0 0 0 142100 77 0 0 25 0 1 0 193035681 222060544 53759 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 54214 53759 205 16 0 53653 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 216856

[startup+1482.3 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 23617
/proc/meminfo: memFree=1542952/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=243572 CPUtime=1481.75
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 61296 0 0 0 148093 82 0 0 25 0 1 0 193035681 249417728 60460 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532854 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 60893 60460 205 16 0 60332 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 243572

[startup+1542.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 23617
/proc/meminfo: memFree=1543016/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=243572 CPUtime=1541.73
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 61296 0 0 0 154089 84 0 0 25 0 1 0 193035681 249417728 60460 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 60893 60460 205 16 0 60332 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 243572

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23617
/proc/meminfo: memFree=1543016/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=243544 CPUtime=1601.72
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 61296 0 0 0 160085 87 0 0 25 0 1 0 193035681 249389056 60453 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 60886 60453 205 16 0 60325 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 243544

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23617
/proc/meminfo: memFree=1543016/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=243540 CPUtime=1661.7
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 61296 0 0 0 166080 90 0 0 25 0 1 0 193035681 249384960 60452 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 60885 60452 205 16 0 60324 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 243540

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23617
/proc/meminfo: memFree=1543080/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=243540 CPUtime=1721.68
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 61296 0 0 0 172075 93 0 0 25 0 1 0 193035681 249384960 60452 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 60885 60452 205 16 0 60324 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 243540

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23617
/proc/meminfo: memFree=1543080/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=243540 CPUtime=1781.66
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 61296 0 0 0 178070 96 0 0 25 0 1 0 193035681 249384960 60452 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 60885 60452 205 16 0 60324 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 243540

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23617
/proc/meminfo: memFree=1543080/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=243540 CPUtime=1782.46
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 61296 0 0 0 178150 96 0 0 25 0 1 0 193035681 249384960 60452 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 60885 60452 205 16 0 60324 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (KiB) 243540

[startup+1783.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23617
/proc/meminfo: memFree=1543080/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=243540 CPUtime=1782.66
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194304 61296 0 0 0 178170 96 0 0 25 0 1 0 193035681 249384960 60452 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 60885 60452 205 16 0 60324 0
Current children cumulated CPU time (s) 1782.66
Current children cumulated vsize (KiB) 243540

[startup+1783.4 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 23617
/proc/meminfo: memFree=1543080/2055924 swapFree=4146724/4192956
[pid=23418] ppid=23416 vsize=0 CPUtime=1782.76
/proc/23418/stat : 23418 (Pueblo) R 23416 23418 22668 0 -1 4194308 61303 0 0 0 178178 98 0 0 17 0 1 0 193035681 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/23418/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.76
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.42
CPU time (s): 1782.79
CPU user time (s): 1781.78
CPU system time (s): 1.00785
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (KiB): 243760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.78
system time used= 1.00785
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61303
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= 17
involuntary context switches= 36971

runsolver used 2.12668 second user time and 4.18336 second system time

The end

Begin job on node6 on Sat Apr 21 15:39:40 UTC 2007

IDJOB= 373130
IDBENCH= 25021
IDSOLVER= 165
FILE ID= node6/373130-1177169980

PBS_JOBID= 4648944

Free space on /tmp= 66420 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= Pueblo /tmp/evaluation/373130-1177169980/instance-373130-1177169980.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-373130-1177169980 -o ROOT/results/node6/conversion-373130-1177169980 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373130-1177169980/instance-373130-1177169980.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-373130-1177169980 -o ROOT/results/node6/solver-373130-1177169980 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/373130-1177169980/instance-373130-1177169980.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  130be24ef6faf784c5a8bf386cbf11b2

RANDOM SEED= 654775805

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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:      2055924 kB
MemFree:       1785672 kB
Buffers:         38184 kB
Cached:         166676 kB
SwapCached:      13692 kB
Active:         167500 kB
Inactive:        60492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1785672 kB
SwapTotal:     4192956 kB
SwapFree:      4146724 kB
Dirty:            2900 kB
Writeback:           0 kB
Mapped:          30128 kB
Slab:            27880 kB
Committed_AS:  7073836 kB
PageTables:       1784 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= 66420 MiB

End job on node6 on Sat Apr 21 16:09:24 UTC 2007