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