0.06/0.08 c SCIP version 1.1.0.7
0.06/0.08 c LP-Solver SoPlex 1.4.1
0.06/0.08 c user parameter file <scip.set> not found - using default parameters
0.06/0.08 c read problem <HOME/instance-3738340-1338755276.opb>
0.06/0.08 c original problem has 6088 variables (6088 bin, 0 int, 0 impl, 0 cont) and 6677 constraints
0.09/0.10 c start presolving problem
0.09/0.10 c presolving:
0.09/0.13 c (round 1) 8 del vars, 1 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12160 impls, 84 clqs
0.09/0.14 c (round 2) 8 del vars, 6081 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12160 impls, 84 clqs
0.09/0.16 c (round 3) 8 del vars, 6081 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 596 upgd conss, 12160 impls, 84 clqs
0.39/0.47 c (0.4s) probing: 101/6080 (1.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.47 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.47 c presolving (4 rounds):
0.39/0.47 c 8 deleted vars, 6081 deleted constraints, 8 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.47 c 12160 implications, 1364 cliques
0.39/0.47 c presolved problem has 6080 variables (6080 bin, 0 int, 0 impl, 0 cont) and 596 constraints
0.39/0.47 c 512 constraints of type <knapsack>
0.39/0.47 c 84 constraints of type <setppc>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.36
0.39/0.47 c OPT-LIN
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = c 13950
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = c 1791
0.39/0.47 c # frequency for displaying node information lines
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.47 c display/freq = c 10000
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving problem
0.39/0.47 c
0.49/0.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.54 c 0.5s| 1 | 0 | 1151 | 22M| 0 | 68 |6080 | 596 | 596 |6080 | 596 | 0 | 0 | 0 | 8.000000e+00 | -- | Inf
1.19/1.23 c 1.1s| 1 | 0 | 4025 | 23M| 0 | 114 |6080 | 596 | 596 |6080 | 637 | 41 | 0 | 0 | 8.000000e+00 | -- | Inf
1.48/1.59 c 1.5s| 1 | 0 | 4348 | 24M| 0 | 155 |6080 | 596 | 596 |6080 | 672 | 76 | 0 | 0 | 8.000000e+00 | -- | Inf
1.89/1.99 c 1.9s| 1 | 0 | 4693 | 25M| 0 | 175 |6080 | 596 | 596 |6080 | 705 | 109 | 0 | 0 | 8.000000e+00 | -- | Inf
2.39/2.47 c 2.4s| 1 | 0 | 5254 | 26M| 0 | 186 |6080 | 596 | 596 |6080 | 738 | 142 | 0 | 0 | 8.000000e+00 | -- | Inf
2.99/3.01 c 2.9s| 1 | 0 | 6010 | 26M| 0 | 193 |6080 | 596 | 596 |6080 | 767 | 171 | 0 | 0 | 8.000000e+00 | -- | Inf
3.49/3.57 c 3.5s| 1 | 0 | 6662 | 27M| 0 | 244 |6080 | 596 | 596 |6080 | 797 | 201 | 0 | 0 | 8.000000e+00 | -- | Inf
10.90/10.99 c 10.8s| 1 | 2 | 6662 | 27M| 0 | 244 |6080 | 596 | 596 |6080 | 797 | 201 | 0 | 34 | 8.000000e+00 | -- | Inf
153.15/153.25 o 8
153.15/153.25 c v 152s| 545 | 0 |240422 | 31M| 71 | - |6080 |1583 | 577 |6080 | 723 | 201 |1023 | 904 | 8.000000e+00 | 8.000000e+00 | 0.00%
153.15/153.26 c
153.15/153.26 c SCIP Status : problem is solved [optimal solution found]
153.15/153.26 c Solving Time (sec) : 152.49
153.15/153.26 c Solving Nodes : 545
153.15/153.26 c Primal Bound : +8.00000000000000e+00 (1 solutions)
153.15/153.26 c Dual Bound : +8.00000000000000e+00
153.15/153.26 c Gap : 0.00 %
153.15/153.26 c NODE 545
153.15/153.26 c DUAL BOUND 8
153.15/153.26 c PRIMAL BOUND 8
153.15/153.26 c GAP 0
153.15/153.26 s OPTIMUM FOUND
153.15/153.26 v -x1558 -x1530 -x1505 -x1860 -x1884 -x1823 -x1845 -x1758 -x3876 -x3890 x3921 -x3947 -x3971 -x4391 -x4368 -x4445 -x3099 -x3032 -x3058
153.15/153.26 v -x3171 -x3195 -x3132 -x3144 -x3665 -x5595 -x5418 -x5439 -x5469 -x5495 -x5330 -x5349 -x5375 -x4844 -x4762 -x4782 -x4700 -x4721
153.15/153.26 v -x4648 -x4675 -x4613 -x401 -x363 -x341 -x322 -x299 -x678 -x652 -x626 -x1046 -x1118 -x1081 -x969 -x949 -x1009 -x991 -x1253
153.15/153.26 v -x876 -x1779 -x1749 -x1740 -x1718 -x1881 -x1854 -x1839 -x658 -x503 -x529 -x548 -x572 -x134 -x112 -x167 -x1285 -x1222 -x1245
153.15/153.26 v -x1170 -x1197 -x1129 -x1150 -x823 -x4850 -x4643 -x4620 -x4598 -x4578 -x4737 -x4710 -x4685 -x5613 -x5682 -x5664 -x5365 -x5345
153.15/153.26 v -x5402 -x5380 -x5452 -x3293 -x3280 x3253 -x3239 -x3220 -x3181 -x3156 -x3140 -x4076 -x4140 -x4117 -x4012 -x3991 -x4051 -x4035
153.15/153.26 v -x3916 -x1371 -x1349 -x1380 -x1299 -x1323 -x1450 -x1482 -x1410 -x2033 -x2001 -x2028 -x2146 -x2170 -x2196 -x2228 -x2241 -x4667
153.15/153.26 v -x4823 -x4803 -x4767 -x4746 -x4931 -x4899 -x4883 -x5428 -x5504 -x5473 x5543 -x5511 -x5591 -x5570 -x5630 -x3120 -x3086 -x3065
153.15/153.26 v -x3046 -x3020 -x3349 -x3332 -x3311 -x3883 -x3963 -x3935 -x3814 -x3786 -x3859 -x3838 -x4099 -x1804 -x1578 -x1601 -x1517 -x1548
153.15/153.26 v -x1670 -x1688 -x1628 -x2689 -x2765 -x2739 -x2374 -x2404 -x2434 -x2469 -x2500 -x416 -x376 -x352 -x329 -x311 -x271 -x285 -x246
153.15/153.26 v -x1039 -x1111 -x1090 -x980 -x960 -x1019 -x998 -x890 -x208 -x218 -x236 -x2664 -x2400 -x2533 -x2567 -x2482 -x1521 -x1555 -x1581
153.15/153.26 v -x1610 -x4416 -x4306 -x4275 -x4364 -x3640 -x3607 -x3584 -x3564 -x5955 -x6033 -x6004 -x6074 -x5200 -x5167 -x5135 -x5321 -x869
153.15/153.26 v -x1035 x1063 -x1084 -x2958 -x2986 -x2784 -x2821 -x3450 -x3433 -x3404 -x3371 -x4537 -x4513 -x4189 -x4165 -x5234 -x5205 x5180
153.15/153.26 v -x5137 -x6081 -x6058 -x5917 -x5890 -x7 -x26 -x49 -x76 -x1254 -x1228 -x724 -x744 -x1931 -x1901 -x1987 -x1956 -x756 -x736 -x715
153.15/153.26 v -x696 -x1278 -x1295 -x1235 -x1260 -x1179 -x1201 -x1138 -x1161 -x1080 -x1102 -x1027 -x1048 -x990 -x1006 -x951 -x971 -x975
153.15/153.26 v -x1535 -x1510 -x1598 -x1564 -x1652 -x1632 -x1684 -x1664 -x1328 -x1303 -x1391 -x1355 -x1427 -x1402 -x1471 -x1467 -x1897 -x1929
153.15/153.26 v -x1946 -x1976 -x2006 -x2039 -x2073 -x2096 -x1715 -x1742 -x1767 -x1796 -x1813 -x1837 -x1861 -x1848 -x1872 -x2466 -x2443 -x2411
153.15/153.26 v -x2380 -x2570 -x2544 -x2531 -x2506 -x2215 -x2182 -x1392 -x1356 -x1428 -x1403 -x1472 -x1468 -x1898 -x1930 -x1947 -x1977 -x2007
153.15/153.26 v -x2040 -x2074 -x2097 -x1716 -x1743 -x1768 -x1797 -x1814 -x1838 -x1862 -x1849 -x1873 -x2467 -x2444 x2412 -x2381 -x2571 -x2545
153.15/153.26 v -x2532 -x2507 -x2216 -x2183 -x2156 -x2137 -x2341 -x2309 -x2288 -x2260 -x2848 -x2880 -x2791 -x2815 -x2956 -x2988 -x2904 -x2931
153.15/153.26 v -x2645 -x2669 -x2594 -x2619 -x2750 -x2774 -x2758 -x2680 -x2708 -x3516 -x3553 -x3461 -x3489 -x3423 -x3435 -x3359 -x3383 -x2217
153.15/153.26 v -x2184 -x2157 -x2138 -x2342 -x2310 -x2289 -x2261 -x2849 -x2881 -x2792 -x2816 -x2957 -x2989 -x2905 -x2932 -x2646 -x2670
153.15/153.26 v -x2595 -x2620 -x2751 -x2775 -x2759 -x2681 -x2709 -x3517 -x3554 -x3462 -x3490 -x3424 -x3436 -x3360 -x3384 -x3749 -x3777 -x3700
153.15/153.26 v -x3727 -x3647 -x3663 -x3582 -x3612 -x3193 -x3165 -x3148 -x3125 -x3106 -x3079 -x3049 -x3029 -x3342 -x3323 -x3308 -x3290 -x3259
153.15/153.26 v -x3276 -x3254 -x3235 -x3215 -x4263 -x4297 -x4323 -x4347 -x4152 -x4178 -x3361 -x3385 -x3750 -x3778 -x3701 -x3728 -x3648 -x3664
153.15/153.26 v -x3583 -x3613 -x3194 -x3166 -x3149 -x3126 -x3107 -x3080 -x3050 -x3030 -x3343 -x3324 -x3309 -x3291 -x3260 -x3277 -x3255 -x3236
153.15/153.26 v -x3216 -x4264 -x4298 -x4324 -x4348 -x4153 -x4179 -x4207 -x4236 -x4480 -x4497 -x4519 -x4543 -x4371 -x4388 -x4414 -x4447 -x3926
153.15/153.26 v -x3904 -x3979 -x3956 -x3830 -x3806 -x3880 -x3850 -x4082 -x4062 -x4126 -x4107 -x4118 -x4013 -x3993 -x4047 -x4033 -x5006 -x5029
153.15/153.26 v -x4958 -x4992 -x4154 -x4180 -x4208 -x4237 -x4481 -x4498 -x4520 -x4544 -x4372 -x4389 -x4415 -x4448 -x3927 -x3905 -x3980
153.15/153.26 v -x3957 -x3831 -x3807 -x3881 -x3851 -x4083 -x4063 -x4127 -x4108 -x4119 -x4014 -x3994 -x4048 -x4034 -x5007 -x5030 -x4959 -x4993
153.15/153.26 v -x5090 -x5108 -x5054 -x5069 -x5191 -x5223 -x5125 -x5169 -x5302 -x5326 -x5255 -x5278 -x4624 -x4604 -x4588 -x4572 -x4723 -x4698
153.15/153.26 v -x4672 -x4652 -x4839 -x4815 -x4788 -x4768 -x4742 -x4932 -x4906 -x4879 -x4853 -x5723 -x5744 -x4960 -x4994 -x5091 -x5109 -x5055
153.15/153.26 v -x5070 -x5192 -x5224 -x5126 -x5170 -x5303 -x5327 -x5256 -x5279 -x4625 -x4605 -x4589 -x4573 -x4724 -x4699 -x4673 -x4653 -x4840
153.15/153.26 v -x4816 -x4789 -x4769 -x4743 -x4933 -x4907 -x4880 -x4854 -x5724 -x5745 -x5763 -x5786 -x5807 -x5827 -x5851 -x5871 -x5880 -x5909
153.15/153.26 v -x5962 -x5988 -x6002 -x6030 -x6051 -x6072 -x5356 -x5339 -x5386 -x5368 -x5445 -x5415 -x5493 -x5471 -x5545 -x5525 -x5512 -x5587
153.15/153.26 v -x5564 -x5633 -x5607 -x5686 -x5659 -x5725 -x5746 -x5764 -x5787 -x5808 -x5828 -x5852 -x5872 -x5881 -x5910 -x5963 -x5989
153.15/153.26 v -x6003 -x6031 -x6052 -x6073 -x5357 -x5340 -x5387 -x5369 -x5446 -x5416 -x5494 -x5472 -x5546 -x5526 -x5513 -x5588 -x5565 -x5634
153.15/153.26 v -x5608 -x5687 -x5660 -x659 -x638 -x615 -x596 -x570 -x554 -x520 -x495 -x492 -x448 -x423 -x390 -x369 -x349 -x326 -x303 -x277 -x293
153.15/153.26 v -x252 -x262 -x221 -x237 -x187 -x204 -x142 -x148 -x164 -x106 -x129 -x64 -x85 -x5688 -x5661 -x660 -x639 -x616 -x597 -x571
153.15/153.26 v -x555 -x521 -x496 -x493 -x449 -x424 -x391 -x370 -x350 -x327 -x304 -x278 -x294 -x253 -x263 -x222 -x238 -x188 -x205 -x143 -x149
153.15/153.26 v -x165 -x107 -x130 -x65 -x86 -x24 -x43 -x1238 -x1218 -x1282 -x1263 -x1152 -x1133 -x1196 -x1172 -x1062 -x1033 -x1105 -x1086 -x967
153.15/153.26 v -x946 -x1000 -x986 -x899 -x915 -x931 -x939 -x841 -x858 -x873 -x886 -x875 -x776 -x792 -x810 -x832 -x757 -x683 -x701 -x932
153.15/153.26 v -x1385 -x1404 -x1440 -x1465 -x2220 -x2139 -x2158 -x2312 -x2922 -x3315 -x3296 -x3351 -x3390 -x3416 -x3442 -x4139 -x4286 -x4206
153.15/153.26 v -x4230 -x4157 -x4991 -x5010 -x5037 -x5052 x6024 -x5765 -x5788 -x5709 -x1944 -x2080 -x2111 -x2022 -x2047 -x1753 -x1783 -x1696
153.15/153.26 v -x1723 -x1850 -x1874 -x1811 -x1829 -x1590 -x1566 -x1541 -x1524 -x1503 -x1678 -x1655 -x1638 -x1612 -x1397 -x1372 -x1337 -x1315
153.15/153.26 v -x1494 -x1469 -x1443 -x1419 -x2788 -x2819 -x2853 -x2884 -x2917 -x2949 -x2978 -x3012 -x2584 -x2606 -x2634 -x2658 -x2682 -x2710
153.15/153.26 v -x2733 -x2752 -x2413 -x2378 -x2364 -x2451 -x2422 -x2516 -x2486 -x2563 -x2539 -x2173 -x2152 -x2238 -x2208 -x2290 -x2252 -x2351
153.15/153.26 v -x2321 -x3567 -x2820 -x2854 -x2885 -x2918 -x2950 -x2979 -x3013 -x2585 -x2607 -x2635 -x2659 -x2683 -x2711 -x2734 -x2753 -x2414
153.15/153.26 v -x2379 -x2365 -x2452 -x2423 -x2517 -x2487 -x2564 -x2540 -x2174 -x2153 -x2239 x2209 -x2291 -x2253 -x2352 -x2322 -x3568 -x3526
153.15/153.26 v -x3503 -x3474 -x3437 -x3417 -x3379 -x3356 -x3779 -x3743 -x3720 -x3692 -x3675 -x3653 -x3621 -x3596 -x3157 -x3177 -x3199 -x3128
153.15/153.26 v -x3150 -x3072 -x3096 -x3034 -x3055 -x3319 -x3336 -x3283 -x3300 -x3244 -x3263 -x3207 -x2323 -x3569 -x3527 -x3504 -x3475
153.15/153.26 v -x3438 -x3418 -x3380 -x3357 -x3780 -x3744 -x3721 -x3693 -x3676 -x3654 -x3622 -x3597 -x3158 -x3178 -x3200 -x3129 -x3151 -x3073
153.15/153.26 v -x3097 -x3035 -x3056 -x3320 -x3337 -x3284 -x3301 -x3245 -x3264 -x3208 -x3227 -x4281 -x4252 -x4344 -x4315 -x4182 -x4158 -x4233
153.15/153.26 v -x4202 -x4505 -x4485 -x4552 -x4531 -x4403 -x4379 -x4454 -x4427 -x4422 -x3892 -x3923 -x3942 -x3972 -x3799 -x3825 -x3857 -x3868
153.15/153.26 v -x4069 -x4091 -x4109 -x4134 -x3982 -x3265 -x3209 -x3228 -x4282 -x4253 -x4345 -x4316 -x4183 -x4159 -x4234 -x4203 -x4506 -x4486
153.15/153.26 v -x4553 -x4532 -x4404 -x4380 -x4455 -x4428 -x4423 -x3893 -x3924 -x3943 -x3973 -x3800 -x3826 -x3858 -x3869 -x4070 -x4092 -x4110
153.15/153.26 v -x4135 -x3983 -x4002 -x4024 -x4054 -x5033 -x5011 -x4995 -x4968 -x5113 -x5094 -x5071 -x5060 -x5213 -x5182 -x5151 -x5120 -x5311
153.15/153.26 v -x5292 -x5266 -x5275 -x5247 -x4616 -x4637 -x4575 -x4595 -x4692 -x4719 -x4654 -x4680 -x4807 -x4832 -x4756 -x4136 -x3984
153.15/153.26 v -x4003 -x4025 -x4055 -x5034 -x5012 -x4996 -x4969 -x5114 -x5095 -x5072 -x5061 -x5214 -x5183 -x5152 -x5121 -x5312 -x5293 -x5267
153.15/153.26 v -x5276 -x5248 -x4617 -x4638 -x4576 -x4596 -x4693 -x4720 -x4655 -x4681 -x4808 -x4833 -x4757 -x4779 -x4920 -x4947 -x4846 -x4871
153.15/153.26 v -x5736 -x5710 -x5779 -x5760 -x5835 -x5811 -x5869 -x5845 -x5912 -x5886 -x5972 -x5941 -x6017 -x5993 -x6009 -x6086 -x6059 -x5335
153.15/153.26 v -x5350 -x5370 -x5388 -x5413 -x5434 -x5456 -x5480 -x5532 -x4834 -x4758 -x4780 -x4921 -x4948 -x4847 -x4872 -x5737 -x5711 -x5780
153.15/153.26 v -x5761 -x5836 -x5812 -x5870 -x5846 -x5913 -x5887 -x5973 -x5942 -x6018 -x5994 -x6010 -x6087 -x6060 -x5336 -x5351 -x5371 -x5389
153.15/153.26 v -x5414 -x5435 -x5457 -x5481 -x5533 -x5554 -x5580 -x5605 -x5619 -x5644 -x5668 -x5691 -x2141 -x2160 -x2191 -x2221 -x2245 -x2273
153.15/153.26 v -x2302 -x2332 -x2387 -x2415 -x2445 -x2475 -x2494 -x2489 -x2518 -x2536 -x2559 -x2621 -x2596 -x2665 -x2638 -x2724 -x2695
153.15/153.26 v -x2770 -x5482 -x5534 -x5555 -x5581 -x5606 -x5620 -x5645 -x5669 -x5692 -x2142 -x2161 -x2192 -x2222 -x2246 -x2274 -x2303 -x2333
153.15/153.26 v -x2388 -x2416 -x2446 -x2476 -x2495 -x2490 -x2519 -x2537 -x2560 -x2622 -x2597 -x2666 -x2639 -x2725 -x2696 -x2771 -x2748 -x2817
153.15/153.26 v -x2793 -x2872 -x2841 -x2946 -x2919 -x3015 -x2983 -x1357 -x1382 -x1308 -x1332 -x1455 -x1483 -x1405 -x1430 -x1567 -x1592 -x1512
153.15/153.26 v -x1537 -x1527 -x1656 -x1675 -x1607 -x1639 -x1798 -x1773 -x1735 -x1705 -x1885 -x2697 -x2772 -x2749 -x2818 -x2794 -x2873 -x2842
153.15/153.26 v -x2947 -x2920 -x3016 -x2984 -x1358 -x1383 -x1309 -x1333 -x1456 -x1484 -x1406 -x1431 -x1568 -x1593 -x1513 -x1538 -x1528 -x1657
153.15/153.26 v -x1676 -x1608 -x1640 -x1799 -x1774 -x1736 -x1706 -x1886 -x1864 -x1843 -x1819 -x1978 -x1950 -x1921 -x1919 -x2113 -x2078 -x2053
153.15/153.26 v -x2018 -x769 -x786 -x805 -x829 -x693 -x712 -x731 -x752 -x894 -x910 -x927 -x928 -x941 -x845 -x859 -x872 -x887 -x1056 -x1031
153.15/153.26 v -x1106 -x3247 -x3269 -x3121 -x3141 -x3159 -x3185 -x3022 -x3042 -x527 -x499 -x573 -x551 -x443 -x405 -x486 -x463 -x1241 -x1215
153.15/153.26 v -x1194 -x1175 -x1157 -x1130 -x1123 -x1096 -x1943 x1917 -x1997 -x1970 -x2045 -x2017 -x2120 -x2092 -x1449 -x1474 -x2886 -x2855
153.15/153.26 v -x2825 -x2798 -x3014 -x2980 -x2353 -x2340 -x2251 -x2279 -x3476 -x3501 -x3529 -x3559 -x3318 -x3226 -x3232 -x3211 -x3271 -x3251
153.15/153.26 v -x4311 -x4341 -x4114 -x4086 -x4068 -x4073 -x4059 -x4037 -x4018 -x3995 -x5558 -x575 -x549 -x524 -x498 -x518 -x669 -x645 -x169
153.15/153.26 v -x113 -x136 -x1155 -x1134 -x1193 -x1203 -x1182 -x755 -x772 -x788 -x806 -x827 -x2118 -x2084 -x2067 -x1479 -x1401 -x1424 -x1363
153.15/153.26 v -x1388 -x1310 -x1331 -x2954 -x2478 -x2250 -x2278 -x2308 -x2339 -x2131 -x2167 -x2193 -x3466 -x3550 x3528 -x3616 -x3590 -x3669
153.15/153.26 v -x3645 -x3723 -x4151 -x4354 -x4318 -x4283 -x4251 -x4464 -x4441 -x4409 -x5056 -x5118 -x5098 -x4979 -x4973 -x5032 -x5014
153.15/153.26 v -x5262 -x6006 -x6032 -x5958 -x5985 -x5900 -x5930 -x5839 -x5864 -x328 -x305 -x371 -x345 -x419 -x386 -x470 -x452 -x904 -x920 -x1003
153.15/153.26 v -x988 -x964 -x947 -x1103 -x1083 -x1547 -x1577 -x1553 -x1583 -x1844 -x1822 x1890 -x1865 -x2529 -x2438 -x2464 -x2458 -x2370
153.15/153.26 v -x2401 -x2769 -x2745 -x4312 -x4287 -x4257 -x4231 -x4242 -x4211 -x4184 -x4163 -x3643 -x3502 -x3470 -x3560 -x3533 -x3535 -x3405
153.15/153.26 v -x3375 -x6046 -x6025 -x6001 -x5783 -x5762 -x5738 -x5731 -x5706 -x1075 -x1101 -x1024 -x1049 -x5549 -x5520 -x5701 -x5675 -x4787
153.15/153.26 v -x4765 -x4837 -x4813 -x5083 -x5103 x4128 -x4103 -x4212 -x4241 -x4170 -x4194 -x3536 -x3565 -x3372 -x3400 -x2883 -x2845 -x2811
153.15/153.26 v -x2780 -x1891 -x1863 -x1927 -x1899 -x958 -x965 -x989 -x1004 -x413 -x446 -x346 -x372 -x5911 -x5884 -x5964 -x5959 -x4666 -x4689
153.15/153.26 v -x5221 x5193 -x3794 -x3815 -x3844 -x3867 -x3116 -x3137 -x3064 -x3087 -x2114 -x2081 -x2050 -x2014 -x2653 -x2629 -x2948 -x2921
153.15/153.26 v -x4740 -x5399 -x268 -x730 -x1451 -x2200 x3717 -x3783 -x1243 -x1220 -x1287 -x1271 -x972 -x952 -x1011 -x992 -x531 -x504 -x655
153.15/153.26 v -x653 -x629 -x605 -x366 -x340 -x2938 -x2912 -x3008 -x2975 -x2809 -x2779 -x2868 -x2835 -x2199 -x2224 -x2124 -x2088 -x2060
153.15/153.26 v -x2003 -x1986 -x1959 -x1347 -x1375 -x1300 -x1324 -x3837 -x3860 -x3802 -x3827 -x4401 -x4381 -x4550 -x4526 -x4503 -x4482 -x3021
153.15/153.26 v -x3054 -x3620 -x3594 -x3680 -x3651 -x3718 -x3694 -x3769 -x3745 -x5732 x5719 -x6064 -x6040 -x6019 -x5992 -x5975 -x5943 -x5632
153.15/153.26 v -x109 -x777 -x1629 -x2496 -x1565 x2447 -x2713 -x5147 -x5178 -x5207 -x5235 -x5245 -x5270 -x5296 -x5319 -x4731 -x4701 -x5951 -x5983
153.15/153.26 v -x5889 -x5920 -x6056 -x6078 -x5487 -x5459 -x5440 -x5419 -x3689 -x3714 -x3742 -x3765 -x3188 -x3164 -x3063 -x3033 -x3100
153.15/153.26 v -x3074 -x4512 -x4533 -x3978 -x3958 -x3929 -x3898 -x3877 -x3853 -x3832 -x3804 -x1466 -x1491 -x1498 -x1522 -x1552 -x1587 -x1605
153.15/153.26 v -x1634 -x2313 -x2343 -x2256 -x2283 -x2430 -x2459 -x2361 -x2395 x141 -x157 -x13 -x37 -x52 -x78 -x251 -x264 -x5049 -x5107 -x5085
153.15/153.26 v -x4974 -x4953 -x5038 -x5013 -x5264 -x5241 -x5307 -x5287 -x5156 -x5127 -x5211 -x5184 -x874 -x768 -x1183 -x1200 -x1141 -x1160
153.15/153.26 v -x1274 -x1281 -x1219 -x1242 -x999 -x1020 -x959 -x983 -x1088 -x1124 -x1042 -x95 -x158 -x138 -x517 -x545 -x567 -x592 -x598 -x617
153.15/153.26 v -x635 -x662 -x307 -x330 -x357 -x377 -x406 -x2259 x2234 -x2206 -x2181 -x2151 -x2960 -x2987 -x2900 -x2951 -x2856 -x2887 -x2795
153.15/153.26 v -x2826 -x2738 -x2763 -x2694 -x1415 -x1493 -x1470 -x1338 -x1312 -x1394 -x1366 -x2005 -x2041 -x2083 -x2112 -x1918 -x1945 -x1971
153.15/153.26 v -x1998 -x1802 -x2432 -x2287 -x2270 -x2354 -x2329 -x2177 -x2148 -x2230 -x2204 -x2907 -x2939 -x2976 -x3009 -x2802 -x2832 -x2860
153.15/153.26 v -x1549 -x1523 -x1499 -x1488 -x1460 -x1434 -x1413 -x1399 -x1370 -x1346 -x1319 -x2093 -x2122 -x2029 -x2059 -x1968 -x868 -x917
153.15/153.26 v -x901 -x942 -x929 -x708 -x689 -x746 -x726 -x778 -x758 -x814 -x811 -x1125 -x1148 -x1171 -x530 -x2945 -x2064 -x4466 -x3690
153.15/153.26 v -x6011 x5246 -x1250 -x5451 -x5426 -x5398 -x5382 -x4684 -x4664 -x4736 -x4709 -x5187 -x5219 -x3864 -x3843 -x4521 -x4549 -x4475
153.15/153.26 v -x4496 -x3655 -x3672 -x3702 -x3731 x1326 -x1301 -x1393 -x1361 -x2520 -x2492 -x2227 -x2185 -x203 -x184 -x232 -x216 -x3987 -x4004
153.15/153.26 v -x4365 -x4338 -x4864 -x4888 -x4925 -x4949 -x5527 -x5550 -x5677 -x5695 -x478 -x459 -x427 -x392 -x1208 -x1185 -x1057 -x1028
153.15/153.26 v -x2098 -x2065 -x2035 -x2000 -x2870 -x2839 -x2933 -x2906 -x3542 x3570 -x3482 -x3513 -x749 -x687 -x705 -x924 -x5140 -x5315 -x5297
153.15/153.26 v -x5271 -x5891 -x5976 -x5948 -x6036 -x5489 -x3764 -x3738 -x3711 x3098 -x3031 -x3051 -x4487 -x3968 -x3808 -x3833 -x3852 -x1550
153.15/153.26 v -x1529 -x1500 -x1674 -x2320 -x2397 -x2362 -x2454 -x367 -x295 -x320 -x5329 -x5960 -x6035 -x6015 -x6079 -x5197 -x5171 -x5145
153.15/153.26 v -x5318 -x4213 -x4491 -x4470 -x4534 -x3429 -x3408 -x3374 -x3757 -x2648 -x2726 -x2698 -x2773 -x1764 -x1730 -x1707 -x1887 -x885
153.15/153.26 v -x1064 -x1036 x1107 -x5944 -x126 x848 -x1650 -x2405 -x3122 -x4411 -x5260 x2865 -x2100 -x1210 -x146 -x5596 -x4944 -x4036 -x3154
153.15/153.26 v -x1725 -x1697 -x1781 -x1752 -x1828 -x1803 -x1868 -x1851 -x1937 -x1908 -x1991 -x1962 -x2061 -x2030 -x2125 -x2101 -x2502 -x2526
153.15/153.26 v -x2651 -x2626 -x2603 -x2583 -x2764 x2743 -x2712 -x2688 -x2889 -x2859 -x2831 -x2800 -x3006 -x2977 -x191 -x194 -x213 -x229
153.15/153.26 v -x444 -x417 -x489 -x466 -x332 -x316 -x385 -x360 -x611 -x594 -x656 -x634 -x902 -x921 -x865 -x880 -x834 -x852 -x1112 -x1091 -x1067
153.15/153.26 v -x1037 -x1012 -x995 -x976 -x954 -x1286 -x1265 -x4586 -x4561 -x4630 -x4622 -x4688 -x4668 -x4735 -x4711 -x5131 -x5157 -x5188
153.15/153.26 v -x5215 -x5243 -x5268 -x5290 -x5309 -x5648 -x5624 -x5392 -x5376 -x5362 -x5343 -x5505 -x5479 -x5453 -x5429 -x5936 -x5970 -x5888
153.15/153.26 v -x5915 -x6041 -x6065 -x3229 -x3205 -x3268 -x3246 -x3142 -x3119 -x3187 -x3160 -x3041 -x3017 -x3088 -x3066 -x3703 -x3715 -x3747
153.15/153.26 v -x3771 -x4087 -x4067 -x4040 -x4021 -x4005 -x3985 -x3962 -x3934 -x3910 -x3886 -x3866 -x3840 -x3817 -x3792 -x4524 -x4551 x4929
153.15/153.26 v -x4753 -x5506 -x3019 -x3793 -x1545 -x2406 -x275 -x420 -x353 -x375 -x312 -x2625 -x2647 -x2654 -x2690 -x1617 -x1762 -x1789
153.15/153.26 v -x1700 x3823 -x3845 -x3870 -x4493 -x3143 -x3081 -x3108 -x3038 -x5360 -x5377 -x5395 -x5405 -x4892 -x4609 -x4631 -x4568 -x450
153.15/153.26 v -x421 -x387 -x587 -x1209 -x1178 -x1162 -x1140 -x800 -x815 -x767 -x783 -x674 -x651 -x546 -x515 -x588 -x568 -x94 -x118 -x2871 -x2840
153.15/153.26 v -x2805 -x2785 -x2990 -x2959 -x2929 -x2895 -x1877 -x1858 -x1933 -x1904 -x1979 -x1951 -x2038 -x2008 -x4420 -x4450 x4373 -x4393
153.15/153.26 v -x4329 -x4361 -x4280 -x4307 -x3739 -x3766 -x3575 -x3605 -x3630 -x3656 -x3478 -x3505 -x5946 -x5977 -x5895 -x5918 -x6057
153.15/153.26 v -x6082 -x6012 -x6034 -x5438 -x5411 -x5141 -x5174 -x5206 -x5236 -x5250 -x5274 -x2944 -x2857 -x2890 -x2803 -x2058 -x2095 -x2130
153.15/153.26 v -x1909 -x4098 -x4227 -x4197 -x4174 -x3310 -x3331 -x3350 -x3392 -x5635 -x5566 -x5589 -x5514 -x4914 -x4908 -x4934 -x4744 -x428
153.15/153.26 v -x393 -x409 -x484 -x1169 x1145 -x1099 -x1121 -x1561 -x1525 -x1504 -x1480 -x1452 -x1432 -x1408 -x1379 -x2535 -x2396 -x2366 -x2453
153.15/153.26 v -x2448 -x2272 -x2240 -x2338 -x3401 -x3425 -x3452 -x3486 -x3509 -x3521 -x3555 -x3592 -x3327 -x4217 -x4247 -x4169 -x4190 -x4330
153.15/153.26 v -x4351 -x4265 -x4104 -x4081 -x4064 -x5044 -x5065 -x5080 -x5101 -x4957 -x4913 -x4792 -x4766 -x4835 -x4818 -x5844 -x5863
153.15/153.26 v x5798 -x5671 -x5651 -x5627 -x5599 -x5576 -x5553 -x5528 -x542 -x290 -x14 -x29 -x47 -x75 -x104 -x123 -x147 -x1763 -x1787 -x1704
153.15/153.26 v -x1744 -x1677 -x1658 -x1633 -x1611 -x2746 -x2767 -x2601 -x2624 -x2640 -x2673 -x2515 -x2491 -x347 -x374 -x301 -x324 -x453 -x473
153.15/153.26 v -x397 -x430 -x1275 -x1297 -x948 -x968 -x987 -x1001 -x1022 -x1051 -x5432 -x5407 -x5483 -x5460 -x5556 -x5531 -x5604 -x5573 -x4580
153.15/153.26 v -x4562 -x4734 x4705 -x4683 -x4660 -x4830 -x4806 -x3884 -x3908 -x3977 -x3951 -x3824 -x3795 -x3871 -x3846 -x4462 -x3186 -x3191
153.15/153.26 v -x3169 -x3145 -x3123 -x3105 -x3082 -x5146 -x5179 -x5295 -x5314 -x5892 -x5916 -x5952 -x5982 -x5497 -x5468 -x124 -x102 -x509
153.15/153.26 v -x536 -x563 -x581 -x1232 -x1249 -x1186 -x1206 -x1910 -x1932 -x1961 x1988 -x2685 -x2707 -x2836 -x2864 -x3625 -x3598 -x3677
153.15/153.26 v -x3633 -x5227 -x1087 x855 -x209 -x2391 -x1531 -x4421 -x3634 -x3168 -x3224 -x3206 -x3266 -x3953 -x3930 -x3906 -x4043 -x4603 -x4583
153.15/153.26 v -x4560 -x4632 -x5450 x5427 -x5408 -x5391 -x180 -x195 -x214 -x225 -x1069 -x1040 -x866 -x881 -x1728 -x1698 -x1782 -x1754
153.15/153.26 v -x2719 -x2691 -x2652 -x2627 -x4569 -x3902 -x4442 -x3668 -x2149 -x1318 x846 -x185 -x4597 -x3813 x3047 -x3748 -x2657 -x1876 -x1013
153.15/153.26 v -x661 -x891 -x908 -x860 -x879 -x838 -x854 -x799 -x816 -x766 -x784 -x716 -x739 -x686 -x706 -x1289 -x1269 -x1251 -x1224 -x1211
153.15/153.26 v -x1189 -x1164 -x1149 -x1128 -x1119 -x1093 -x1070 -x1044 -x1018 -x996 -x981 -x962 -x247 -x260 -x273 -x287 -x174 -x192 -x223
153.15/153.26 v -x241 -x99 -x120 -x139 -x159 -x18 -x31 -x45 -x72 -x627 -x608 -x675 -x648 -x539 -x512 -x501 -x579 -x556 -x439 -x410 -x482 -x461
153.15/153.26 v -x338 -x309 -x379 -x354 -x248 -x261 -x274 -x288 -x175 -x193 -x224 -x242 -x100 -x121 -x140 -x160 -x19 -x32 -x46 -x73 -x628
153.15/153.26 v -x609 -x676 -x649 -x540 -x513 -x502 -x580 -x557 -x440 -x411 -x483 -x462 -x339 -x310 -x380 -x355 -x2435 -x2460 -x2376 -x2407
153.15/153.26 v -x2547 -x2556 -x2479 -x2509 -x2210 -x2236 -x2154 -x2178 -x2316 -x2357 -x2263 -x2296 -x2866 -x2837 -x2807 -x2776 -x2999 -x3004
153.15/153.26 v -x2973 -x2941 -x2913 -x2660 -x2632 -x2609 -x2586 -x2760 -x2740 -x381 -x356 -x2436 -x2461 -x2377 -x2408 -x2548 -x2557 -x2480
153.15/153.26 v -x2510 -x2211 -x2237 -x2155 -x2179 -x2317 -x2358 -x2264 -x2297 -x2867 -x2838 -x2808 -x2777 -x3000 -x3005 -x2974 -x2942 -x2914
153.15/153.26 v -x2661 -x2633 -x2610 -x2587 -x2761 -x2741 -x2720 -x2692 -x1515 -x1542 -x1579 -x1602 -x1618 -x1641 -x1659 -x1679 -x1313 -x1339
153.15/153.26 v -x1367 -x1395 -x1416 -x1436 -x1458 -x1485 -x1934 -x1902 -x1982 -x1957 -x1966 -x2056 -x2024 -x2128 -x2089 -x1721 -x1692 -x1775
153.15/153.26 v -x1755 -x2762 -x2742 -x2721 -x2693 -x1516 -x1543 -x1580 -x1603 -x1619 -x1642 -x1660 -x1680 -x1314 -x1340 -x1368 -x1396 -x1417
153.15/153.26 v -x1437 -x1459 -x1486 -x1935 -x1903 -x1983 -x1958 -x1967 -x2057 -x2025 -x2129 -x2090 -x1722 -x1693 -x1776 -x1756 -x1825 -x1800
153.15/153.26 v -x1869 -x1846 -x3959 -x3932 -x3912 -x3899 -x3873 -x3847 -x3820 -x3796 -x4131 -x4112 -x4089 -x4065 -x4044 -x4027 -x4007 -x3988
153.15/153.26 v -x4331 -x4358 -x4270 -x4266 -x4295 -x4195 -x4224 -x4147 -x4171 -x4527 -x4554 -x1777 -x1757 -x1826 -x1801 -x1870 -x1847
153.15/153.26 v -x3960 -x3933 -x3913 -x3900 -x3874 -x3848 -x3821 -x3797 -x4132 -x4113 -x4090 -x4066 -x4045 -x4028 -x4008 -x3989 -x4332 -x4359
153.15/153.26 v -x4271 -x4267 -x4296 -x4196 -x4225 -x4148 -x4172 -x4528 -x4555 -x4476 -x4501 -x4437 -x4459 -x4384 -x4405 -x3138 -x3117 -x3189
153.15/153.26 v -x3162 -x3059 -x3039 -x3109 -x3084 -x3302 -x3281 -x3339 -x3325 -x3221 -x3203 -x3261 -x3242 -x3483 -x3510 -x3487 -x3524 -x3551
153.15/153.26 v -x3365 -x3395 -x3419 -x3446 -x4529 -x4556 -x4477 -x4502 -x4438 -x4460 -x4385 -x4406 -x3139 -x3118 -x3190 -x3163 -x3060 -x3040
153.15/153.26 v -x3110 -x3085 -x3303 -x3282 -x3340 -x3326 -x3222 -x3204 -x3262 -x3243 -x3484 -x3511 -x3488 -x3525 -x3552 -x3366 -x3396 -x3420
153.15/153.26 v -x3447 -x3695 -x3724 -x3753 -x3775 -x3587 -x3617 -x3641 -x3670 -x5396 -x5378 -x5358 -x5341 -x5485 -x5454 -x5436 -x5409 -x5602
153.15/153.26 v -x5577 -x5547 -x5521 -x5702 -x5673 -x5653 -x5628 -x5750 -x5767 -x5789 -x5720 -x5747 -x5847 -x5865 -x3421 -x3448 -x3696
153.15/153.26 v -x3725 -x3754 -x3776 -x3588 -x3618 -x3642 -x3671 -x5397 -x5379 -x5359 -x5342 -x5486 -x5455 -x5437 -x5410 -x5603 -x5578 -x5548
153.15/153.26 v -x5522 -x5703 -x5674 -x5654 -x5629 -x5751 -x5768 -x5790 -x5721 -x5748 -x5848 -x5866 -x5802 -x5823 -x5931 -x5966 -x5882 -x5907
153.15/153.26 v -x6047 -x6068 -x5997 -x6021 -x4590 -x4565 -x4626 -x4606 -x4678 -x4656 -x4732 -x4707 -x4790 -x4763 -x4841 -x4809 -x4884 -x4862
153.15/153.26 v -x4945 -x4918 -x4900 -x4961 -x4980 -x5008 -x5027 -x5849 -x5867 -x5803 -x5824 -x5932 -x5967 -x5883 -x5908 -x6048 -x6069 -x5998
153.15/153.26 v -x6022 -x4591 -x4566 -x4627 -x4607 -x4679 -x4657 -x4733 -x4708 -x4791 -x4764 -x4842 x4810 -x4885 -x4863 -x4946 -x4919 -x4901
153.15/153.26 v -x4962 -x4981 -x5009 -x5028 -x5058 -x5076 -x5096 -x5115 -x5128 -x5153 -x5194 -x5220 -x5240 -x5263 -x5286 -x5328 -x4559 -x4584
153.15/153.26 v -x4608 -x4629 -x4659 -x4682 -x4704 -x4725 -x4761 -x4785 -x4817 -x4836 -x4866 -x4889 -x4915 -x4909 -x4935 -x4984 -x4964 -x1906
153.15/153.26 v -x1995 -x1969 -x2051 -x2020 -x2116 -x2086 -x1727 -x710 -x1284 -x1264 -x1239 -x1216 -x1198 -x1176 -x1153 -x42 -x62 -x90
153.15/153.26 v -x618 -x599 -x663 -x636 -x522 -x5291 -x5148 -x5122 -x5216 -x5189 -x4665 -x4687 -x4713 -x6043 -x6016 -x5996 -x5974 -x5940 -x5906
153.15/153.26 v -x5879 -x5477 -x3520 -x3627 x3595 -x3679 -x3652 -x3716 -x3705 -x3772 -x4327 -x4290 -x4259 -x4453 -x4431 -x4402 -x4382 -x4548
153.15/153.26 v -x2126 -x1914 -x1939 -x1963 -x1992 -x1805 -x1831 -x1852 -x1132 -x1158 -x497 -x525 -x2799 -x2828 -x1915 -x1941 -x4408 -x4387
153.15/153.26 v -x3615 -x3589 -x5904 -x5877 x5161 -x5132 -x2062 -x2027 -x2608 x2588 -x441 -x412 -x974 -x953 -x1726 -x1709 -x2503 -x2527 -x181
153.15/153.26 v -x196 -x892 -x906 -x6088 -x5896 -x5919 -x5947 -x343 -x321 -x297 -x481 -x266 -x970 -x950 -x1007 -x916 -x930 -x940 -x1880 -x1574
153.15/153.26 v -x1560 -x1589 -x1502 x2546 -x2572 -x2562 -x2363 -x1626 -x1645 -x1663 -x1661 -x2140 -x2159 -x2555 -x2578 -x103 -x125 -x144
153.15/153.26 v -x162 -x3 -x27 -x50 -x63 -x89 -x612 -x593 -x657 -x633 -x532 -x505 -x577 -x550 -x445 -x414 -x491 -x468 -x333 -x313 -x373 -x351
153.15/153.26 v -x933 -x944 -x903 -x919 -x867 -x884 -x844 -x843 -x857 -x793 -x813 -x762 -x780 -x725 -x745 -x754 -x691 -x709 -x1283 -x1266
153.15/153.26 v x1244 -x1221 -x1192 -x1174 -x1156 -x1136 -x1110 -x1092 -x1066 -x1038 -x1021 -x985 -x966 -x945 -x1497 -x1520 -x1556 -x1584 -x1615
153.15/153.26 v -x1614 -x1637 -x1654 -x1673 -x1322 -x1343 -x1374 -x1400 -x1414 -x1409 -x1433 -x1454 -x1481 -x1938 -x1913 -x1990 -x1965 -x2049
153.15/153.26 v -x2016 -x2119 -x2085 -x1729 -x1701 -x1780 -x1751 -x1842 -x1821 -x1889 -x1867 -x2429 -x2457 -x2373 -x2372 -x2403 -x2542 -x2566
153.15/153.26 v -x2484 -x2513 -x2201 -x2229 -x2150 -x2176 -x2169 -x2306 -x2337 -x2242 -x2275 -x2894 -x2863 -x2830 -x2796 -x3011 -x2982
153.15/153.26 v -x2955 -x2916 -x2655 -x2628 -x2605 -x2602 -x2766 -x2744 -x2728 -x2700 -x3147 -x3146 -x3124 -x3192 -x3170 -x3057 -x3036 -x3095
153.15/153.26 v -x3076 -x3305 -x3287 -x3344 -x3345 -x3330 -x3240 -x3219 -x3275 -x3258 -x3468 -x3497 -x3534 -x3558 -x3355 -x3382 -x3414 -x3434
153.15/153.26 v -x3704 -x3730 -x3734 -x3762 -x3579 -x3606 -x3637 -x3636 -x3666 -x3976 -x3954 -x3920 -x3891 -x3882 -x3856 -x3834 -x3803 -x4125
153.15/153.26 v -x4101 -x4123 -x4095 -x4074 -x4052 -x4032 -x4011 -x3992 -x4326 -x4340 -x4256 -x4288 -x4205 -x4235 -x4156 -x4177 -x4523 -x4541
153.15/153.26 v -x4474 -x4494 -x4413 -x4412 -x4449 -x4370 -x4390 -x4585 -x4574 -x4636 -x4612 -x4674 -x4647 -x4726 -x4702 -x4786 -x4772 -x4751
153.15/153.26 v -x4822 -x4793 -x4875 -x4852 -x4940 -x4905 -x4972 -x4987 -x5018 -x5041 -x5053 -x5075 -x5089 -x5112 -x5136 -x5168 -x5204 -x5203
153.15/153.26 v -x5231 -x5258 -x5282 -x5306 -x5322 -x5390 -x5374 -x5348 -x5334 -x5490 -x5462 -x5441 -x5417 -x5424 -x5592 -x5569 -x5539
153.15/153.26 v -x5519 -x5681 -x5655 -x5640 -x5617 -x5759 -x5785 -x5714 -x5735 -x5856 -x5876 -x5806 -x5817 -x5956 -x1816 x4396 -x3946 -x3176
153.15/153.26 v -x5461 -x4715 -x1074 -x437 -x2195 -x1360 -x735 -x61 -x5078 x5825 -x3496 -x4289 -x5088 -x5116 -x4971 -x4988 -x5017 -x4998 -x5021
153.15/153.26 v -x5259 -x5855 -x5875 -x5814 -x5833 -x5758 -x5784 -x5777 -x5707 -x151 -x170 -x526 -x494 -x576 -x553 -x613 -x623 -x803 -x826
153.15/153.26 v -x775 -x787 -x1195 -x1173 -x1151 -x1135 -x1453 -x1478 -x1304 x1329 -x1362 -x1389 -x2048 -x2019 -x2307 -x2336 -x2249 -x2282 -x2190
153.15/153.26 v -x2214 -x2136 -x2166 -x3491 -x3465 -x3678 -x3644 -x3614 -x3591 -x3773 -x3752 -x4294 -x4269 -x4353 -x4320 -x4407 -x4383
153.15/153.26 v -x4465 -x4440 -x1262 -x1280 -x703 -x685 -x738 -x722 -x782 -x764 -x640 -x665 -x595 -x625 -x83 -x59 -x34 -x22 -x2981 -x3010 -x2797
153.15/153.26 v -x2827 -x2850 -x2882 -x2292 -x2262 -x2082 -x2121 -x2015 -x2046 -x1972 -x1975 -x1895 x1926 -x4547 -x4522 -x4181 -x4160 -x4232
153.15/153.26 v -x4204 -x4305 -x4276 -x3774 -x3751 -x3729 -x3699 -x3443 -x3415 -x3381 -x3378 -x6071 -x6050 -x5905 -x5878 -x5969 -x5934 -x5834
153.15/153.26 v -x5813 -x5310 -x5285 -x5265 -x5242 -x5218 -x5190 -x5155 -x5130 -x5623 -x5649 -x5680 -x5700 -x5524 -x5551 -x5574 -x5594 -x5776
153.15/153.26 v -x5756 -x4924 -x4942 -x4869 -x4891 -x4812 -x4845 -x5022 -x4997 -x4976 -x4954 -x707 -x688 -x750 -x727 -x1181 -x1204 -x1236
153.15/153.26 v -x1256 -x1279 -x1288 -x74 -x48 -x569 -x590 -x519 -x547 -x644 -x668 -x606 -x631 -x2649 -x2678 -x2902 -x2927 -x2963 -x2992 -x2783
153.15/153.26 v -x2810 -x1765 -x1788 -x1702 -x1731 -x2069 -x2108 -x2013 -x2043 -x1827 -x1824 -x1784 x1760 -x1734 -x1703 -x2110 -x2077 -x4367
153.15/153.26 v -x4339 -x1496 x1519 -x2722 -x2699 -x331 -x306 -x1068 -x1041 -x5129 -x5154 -x5805 -x5832 -x3358 -x3391 -x1321 -x1341 -x2267
153.15/153.26 v x2298 -x9 -x28 -x1255 -x1230 -x4619 -x4635 -x5467 -x5488 -x3075 -x3103 -x4102 -x4124 -x1114 -x1089 -x982 -x963 -x490 -x467
153.15/153.26 v -x447 -x415 -x2549 -x2575 -x2604 -x2582 -x1666 -x1683 -x1622 -x1644 -x3964 -x3941 -x3819 x3791 -x3184 -x3155 -x3134 -x3115
153.15/153.26 v -x5685 -x5663 -x5364 -x5347 -x4939 -x4902 -x4877 -x4857 -x2968 -x145 -x161 -x101 -x562 -x535 -x508 -x761 -x1268 -x1168 -x1146
153.15/153.26 v -x1205 -x5433 -x5470 -x5496 -x5333 -x4778 -x4706 -x4722 -x4649 -x4088 -x4111 -x4133 -x3801 -x3225 -x3322 -x3338 -x3285 -x2258
153.15/153.26 v -x2345 -x2315 x2180 -x2311 -x2402 -x2371 -x2465 -x2437 -x2528 -x2501 -x2574 -x58 -x35 -x20 -x291 -x272 -x259 -x249 -x230 -x802
153.15/153.26 v -x704 -x682 -x740 -x720 -x905 -x893 -x935 -x5163 -x5202 -x5228 -x5257 -x5281 -x5305 -x5308 x4970 -x4703 -x5957 -x5984 -x5899
153.15/153.26 v -x5926 -x6055 -x6075 -x6000 -x5458 -x5431 -x5406 -x3685 -x3709 -x3732 -x3756 -x3586 -x3179 -x3062 -x3037 -x3104 -x3083 -x4516
153.15/153.26 v -x4542 -x4472 -x3945 -x3922 -x3901 -x3875 -x3849 -x3822 -x3798 -x1733 x5797 -x541 -x1050 -x1748 -x2727 -x1883 -x2427 -x279
153.15/153.26 v -x1815 -x1840 -x2392 x2360 -x5945 -x5981 -x5288 -x5320 -x4435 -x4456 -x3519 -x3547 -x2892 -x2861 -x2127 -x2091 -x4741 -x4577
153.15/153.26 v -x4601 -x4621 -x4642 -x6070 -x6049 -x6023 -x5498 -x5425 -x5447 -x5383 -x5403 -x5346 -x5363 -x3619 -x3348 -x3023 -x3043 -x3067
153.15/153.26 v -x3090 -x3114 -x3133 -x3161 -x4141 -x4077 -x4100 -x3839 -x3863 -x3784 -x3810 x3940 -x1344 -x1325 -x1298 -x1378 -x1351 -x1651
153.15/153.26 v -x1631 -x1687 -x2295 -x2269 -x2244 -x2226 -x2198 -x2172 -x2145 -x2569 -x30 -x11 -x71 -x93 -x69 -x128 -x110 -x163 -x1231 -x1252
153.15/153.26 v -x748 -x729 -x733 -x714 -x695 -x831 -x5313 -x5289 -x5150 -x5123 -x6080 x6039 -x6020 -x5995 -x3572 -x3541 -x3623 -x3593
153.15/153.26 v -x4357 -x4328 -x4303 -x4268 -x1609 -x1635 -x1562 -x1588 -x2485 -x2514 -x2538 -x2561 -x429 -x394 -x220 -x240 -x1058 -x1030 -x1100
153.15/153.26 v -x1082 -x3252 -x5771 -x5792 -x5717 -x5743 -x5729 -x5842 -x5860 -x5665 -x5631 -x5614 -x4967 -x4983 -x5005 -x5002 -x5026 -x4794
153.15/153.26 v -x4878 -x4858 -x4941 -x4904 -x913 -x897 -x898 -x1073 -x1094 -x1117 -x957 -x973 -x997 x1014 -x284 -x528 -x465 -x488 -x404
153.15/153.26 v -x436 -x359 -x382 -x317 -x2952 -x2985 -x3003 -x2589 -x2612 -x2630 -x2663 -x2684 -x1942 -x2079 -x2115 -x2026 -x2054 -x1750 -x1778
153.15/153.26 v -x1694 -x4250 -x4346 -x4317 -x4176 -x4149 -x4226 -x4198 -x4508 -x2623 -x2600 -x2993 -x2962 -x2930 -x2901 -x2874 -x2844 -x2806
153.15/153.26 v -x2778 -x2331 -x2355 -x2268 -x2294 -x2203 -x2233 -x1699 -x1708 -x1786 -x1761 -x2044 -x2009 -x2109 -x2075 -x1922 -x1905
153.15/153.26 v -x1985 -x1955 -x1412 -x1435 -x1457 -x1487 -x961 -x1109 -x1108 -x1085 -x1061 -x1034 -x1202 -x1180 -x1163 -x1139 -x1293 -x1273
153.15/153.26 v -x1248 -x1225 -x728 -x747 x308 -x378 -x358 -x344 -x425 -x389 -x469 -x451 -x544 -x516 -x591 -x558 -x632 -x610 -x677 -x654 -x286
153.15/153.26 v -x6045 -x6067 -x5999 -x6005 -x6029 -x5961 -x5990 -x5903 -x5927 -x5838 -x5857 -x5796 -x5819 -x5753 -x5772 -x5381 -x5361 -x5344
153.15/153.26 v -x5239 -x5261 -x5280 -x5304 -x5325 -x5138 -x5162 -x5201 -x5232 -x5046 -x5064 -x5079 -x5100 -x4712 -x4602 -x4579 -x4645 -x4623
153.15/153.26 v -x4436 -x4417 -x4446 -x4369 -x4392 -x4515 -x4539 -x4473 -x4495 -x4219 -x4249 -x3841 -x3818 -x3790 -x3961 -x3936 -x3911 -x3885
153.15/153.26 v -x3909 -x3585 -x3611 -x3635 -x3667 -x3684 -x3708 -x3733 -x3763 -x2462 -x2431 -x2399 -x2368 -x2558 -x2534 -x2511 -x2481 -x2235
153.15/153.26 v -x2202 -x2175 -x2147 -x2356 -x2330 -x2301 -x2271 -x3233 -x3210 -x3539 -x3566 -x3477 -x3506 -x3432 -x3456 -x3373 -x3409
153.15/153.26 v -x3737 -x3767 -x3688 -x3710 -x3628 -x3658 -x4017 -x4000 -x4058 -x4026 -x4279 -x4310 -x4335 -x4366 -x4164 -x4185 -x4214 -x4244
153.15/153.26 v -x4467 -x4490 -x4511 -x4538 -x4773 -x4752 -x4930 -x4898 -x4894 -x4870 -x4999 -x5023 -x4955 -x4975 -x5084 -x5104 -x5043 -x5063
153.15/153.26 v -x5210 -x5237 -x5535 -x5508 -x5582 -x5559 -x5646 -x5622 -x5696 x5672 -x5708 -x5730 -x5757 -x5778 -x5793 -x5821 -x5843 -x5861
153.15/153.26 v -x179 -x201 -x154 -x173 -x116 -x133 -x51 -x77 -x23 -x36 -x672 -x643 -x622 -x604 -x586 -x561 -x837 -x851 -x864 -x878 -x771 -x789
153.15/153.26 v -x804 -x819 -x679 -x699 -x723 -x743 -x1261 -x1237 -x1296 -x1267 -x1518 -x1546 -x1662 -x1682 -x1621 -x1643 -x1364 -x1390
153.15/153.26 v -x1316 -x1342 -x1464 -x1490 -x1418 -x1439 -x1973 -x1949 -x4080 -x4201 -x4228 -x4146 x4750 -x4828 -x4802 -x5057 -x5610 -x5593
153.15/153.26 v -x5568 -x5542 -x44 -x67 -x87 -x108 -x909 -x734 -x753 -x692 -x1559 -x1573 -x1591 -x1411 -x2425 -x2455 -x2474 -x2384 -x4301 -x4274
153.15/153.26 v -x4248 -x4223 -x5181 -x5212 -x5244 -x5269 -x4525 -x4558 -x4484 -x4504 -x3809 -x3785 -x3691 -x3719 -x3048 -x3026 -x3089 -x3071
153.15/153.26 v -x2858 x2891 -x2915 -x2943 -x1984 -x1994 -x1907 -x1936 -x1010 -x1227 -x1223 -x1246 -x364 -x300 -x323 -x334 -x2829 -x2862
153.15/153.26 v -x2893 -x2686 -x1960 -x1964 -x1989 -x1912 -x4243 -x4218 -x4199 -x4292 -x3455 -x3428 -x3402 -x3399 -x3289 -x3307 -x5820 -x5801
153.15/153.26 v -x5529 -x5552 -x5575 -x5600 -x4861 -x4886 -x4814 -x4838 -x476 -x457 x431 -x395 -x2903 -x2928 -x2970 -x3002 -x2591 -x2616 -x2637
153.15/153.26 v -x2667 -x2706 -x2731 -x2737 -x2757 -x2421 -x2385 -x2477 -x2449 -x1894 -x1920 -x2076 -x2099 -x2004 -x2037 -x1766 x1791 -x1714
153.15/153.26 v -x1737 -x1859 -x1871 -x1812 -x1836 -x1600 -x1575 -x1974 -x1948 -x1923 -x1900 -x2103 -x2066 -x2034 -x2002 -x1790 -x1769 -x1745
153.15/153.26 v -x1717 -x1875 -x1853 -x1835 -x1809 -x1423 -x1441 -x2814 -x2781 -x2879 -x2834 -x2937 -x2910 -x2996 -x2969 -x2615 -x2590
153.15/153.26 v -x2677 -x2631 -x2716 -x2687 -x2257 -x2284 -x2314 -x2344 -x666 -x646 -x630 -x607 -x583 -x564 -x543 -x511 -x475 -x454 -x438 -x402
153.15/153.26 v -x98 -x119 -x57 -x82 -x17 -x33 -x1259 -x1229 -x1292 -x1270 -x1167 -x1142 -x1214 -x1190 -x1055 -x1047 -x763 -x781 -x801 -x818
153.15/153.26 v -x684 -x702 -x721 -x737 -x5003 -x5025 -x4956 -x4977 -x5081 -x5102 -x5045 -x5066 -x4663 -x4658 -x4831 -x4805 -x4781 -x4755
153.15/153.26 v -x4950 -x4922 -x4893 -x4865 -x5704 -x5728 -x5749 -x5773 -x5799 -x5818 -x5466 -x5923 x5177 -x4397 -x3601 -x2801 -x1911 -x1126
153.15/153.26 v -x5222 -x5185 -x5077 -x5059 -x5117 -x5099 -x4982 -x4963 -x5968 -x5933 -x5914 -x5885 -x5868 -x5850 -x5826 -x5804 -x3673 -x3646
153.15/153.26 v -x3726 -x3697 -x3768 -x3746 -x3397 -x3367 -x4461 -x4439 -x4410 -x4386 -x4557 -x4530 -x4507 -x4483 -x2953 -x2923 -x2194 -x2223
153.15/153.26 v -x2133 -x2171 -x2305 -x2335 -x2052 -x2021 -x2117 -x2087 -x1311 x1334 -x1350 -x1377 -x1240 -x1217 -x1199 -x1177 -x1154 -x1131
153.15/153.26 v -x808 -x830 -x619 -x600 -x664 -x637 -x523 -x500 -x574 -x552 -x1317 -x1492 -x1463 -x1438 -x765 -x817 -x798 -x700 -x186 -x156
153.15/153.26 v -x137 -x122 -x5444 -x5465 -x5484 -x5530 -x4592 -x4697 -x4729 -x4661 -x3925 -x3944 -x3970 -x3805 -x3574 -x3180 -x3198 -x3127
153.15/153.26 v -x2359 -x2266 x2300 -x2869 -x3094 -x5502 -x4644 -x925 -x979 -x337 x2611 -x1720 -x4356 -x4273 -x4302 -x4426 -x3454 -x3481 -x3514
153.15/153.26 v -x3540 -x5862 -x5800 -x5822 -x5752 -x5523 -x5042 -x5062 -x5082 -x4749 -x4843 -x4811 -x1207 -x713 -x809 x812 -x760 -x41 -x68
153.15/153.26 v -x92 -x105 -x2420 -x2304 -x2334 -x2243 -x4745 -x4938 -x4912 -x4917 -x4890 -x4868 -x5705 -x5726 -x5515 -x5590 -x5567 -x5636
153.15/153.26 v -x5652 -x5625 -x5699 -x5678 -x578 -x407 -x442 -x464 -x485 -x479 -x296 -x318 -x1191 -x1127 -x1147 -x1097 -x1122 -x1045 -x1029
153.15/153.26 v -x1059 -x1993 -x2023 -x2055 -x2094 -x2123 -x1695 -x1724 -x1738 -x2888 -x2804 -x2833 -x2972 x3007 -x2911 -x2940 -x2636 -x3272
153.15/153.26 v -x3493 -x3463 -x3548 -x3523 -x3398 -x3368 -x3444 -x4053 -x4001 -x4010 -x4352 -x4325 -x4293 -x4258 -x4229 -x1616 -x1065 -x418
153.15/153.26 v -x5670 x4923 -x3952 -x3167 -x2568 -x690 -x938 -x926 -x907 -x25 -x88 -x66 -x257 -x5544 -x5662 -x5684 -x5609 x4770 -x4797 -x4819
153.15/153.26 v -x4859 -x5097 -x4120 -x4142 -x4075 -x4200 -x4173 -x4145 -x3292 -x3543 -x3394 -x3369 -x3445 -x2393 -x2426 -x2468 -x2497 -x2668
153.15/153.26 v -x2909 -x2924 -x2961 -x2991 -x2782 -x2822 -x2843 -x1792 -x1711 -x1739 -x2068 -x2105 -x2012 -x2042 -x1952 -x1005 -x1032 -x1060
153.15/153.26 v -x1076 -x1104 -x1137 -x1159 -x1184 -x365 -x298 -x319 -x458 -x480 -x388 x422 -x566 -x5727 -x5698 -x5679 -x5650 -x5626 -x5601
153.15/153.26 v -x5579 -x5557 -x4978 -x5000 -x5024 -x4887 -x4867 -x4943 -x4916 -x4777 -x4191 -x4333 -x4360 -x4272 -x4304 -x4046 -x4029 -x4009
153.15/153.26 v -x3393 -x3427 -x3451 -x3485 -x3512 -x3544 -x3573 -x3223 -x1996 -x1916 -x1940 -x1473 -x1445 -x1429 -x1407 -x1381 -x1348 -x1327
153.15/153.26 v -x1302 -x1685 -x1667 -x1636 -x1606 -x1586 -x1563 -x1532 -x1506 -x4398 -x4376 -x4443 -x4418 -x4492 -x4471 -x4540 -x4514 -x4188
153.15/153.26 v -x4166 -x4155 -x4238 -x4209 -x4284 -x4254 -x4342 -x4313 -x3996 -x4015 -x4030 -x4049 -x4078 -x4096 -x4121 -x4143 -x3781
153.15/153.26 v -x3828 -x3854 -x3878 -x3894 -x3917 -x3948 -x3974 -x3661 -x3638 -x3608 -x3580 -x3758 -x3735 -x3706 -x3682 -x3459 -x3439 -x3410
153.15/153.26 v -x3386 -x4210 -x4285 -x4255 -x4343 -x4314 -x3997 -x4016 -x4031 -x4050 -x4079 -x4097 -x4122 -x4144 -x3782 -x3829 -x3855 -x3879
153.15/153.26 v -x3895 -x3918 -x3949 -x3975 -x3662 -x3639 -x3609 -x3581 -x3759 x3736 -x3707 -x3683 -x3460 -x3440 -x3411 -x3387 -x3362 -x3561
153.15/153.26 v -x3530 -x3498 -x3471 -x3256 -x3278 -x3217 -x3237 -x3328 -x3346 -x3294 -x3312 -x3077 -x3101 -x3027 -x3052 -x3172 -x3196 -x3130
153.15/153.26 v -x3152 -x6027 -x6007 -x6076 -x6053 -x5928 -x5901 -x5986 -x5953 -x5937 -x5829 -x3412 -x3388 -x3363 -x3562 -x3531 -x3499 -x3472
153.15/153.26 v -x3257 -x3279 -x3218 -x3238 -x3329 -x3347 -x3295 -x3313 -x3078 -x3102 -x3028 -x3053 -x3173 -x3197 -x3131 -x3153 -x6028 -x6008
153.15/153.26 v -x6077 -x6054 -x5929 -x5902 -x5987 -x5954 -x5938 -x5830 -x5809 -x5873 -x5853 -x5739 -x5715 -x5781 -x5769 -x5611 -x5637 -x5657
153.15/153.26 v -x5689 -x5509 -x5537 -x5571 -x5597 -x5420 -x5442 -x5463 -x5491 -x5331 -x5352 -x5372 -x5393 -x5323 -x5300 -x5283 -x5253
153.15/153.26 v -x5229 -x5198 -x5164 -x5158 -x5939 -x5831 -x5810 -x5874 -x5854 -x5740 -x5716 -x5782 -x5770 -x5612 -x5638 -x5658 -x5690 -x5510
153.15/153.26 v -x5538 -x5572 -x5598 -x5421 -x5443 -x5464 -x5492 -x5332 -x5353 -x5373 -x5394 -x5324 -x5301 -x5284 -x5254 -x5230 -x5199 -x5165
153.15/153.26 v -x5159 -x5133 -x5110 -x5092 -x5073 -x5050 -x5039 -x5019 -x4985 -x4965 -x4910 -x4936 -x4855 -x4881 -x4795 -x4820 -x4759 -x4783
153.15/153.26 v -x4695 -x4727 -x4650 -x4676 -x4610 -x4633 -x4563 -x4581 -x717 -x741 -x680 -x697 -x794 -x820 -x5166 -x5160 -x5134 -x5111 -x5093
153.15/153.26 v -x5074 -x5051 -x5040 -x5020 -x4986 -x4966 -x4911 -x4937 -x4856 -x4882 -x4796 -x4821 -x4760 -x4784 -x4696 -x4728 -x4651 -x4677
153.15/153.26 v -x4611 -x4634 -x4564 -x4582 -x718 -x742 -x681 -x698 -x795 -x821 -x824 -x773 -x790 -x861 -x882 -x835 -x849 -x922 -x936 -x895
153.15/153.26 v -x911 -x1015 -x993 -x977 -x955 -x1115 -x1078 -x1052 -x1025 -x1212 -x1187 -x1165 -x1143 -x1290 -x1276 -x1257 -x1233 -x15
153.15/153.26 v -x38 -x53 -x79 -x796 -x822 -x825 -x774 -x791 -x862 -x883 -x836 -x850 -x923 -x937 -x896 -x912 -x1016 -x994 -x978 -x956 -x1116
153.15/153.26 v -x1079 -x1053 -x1026 -x1213 -x1188 -x1166 -x1144 -x1291 -x1277 -x1258 -x1234 -x16 -x39 -x54 -x80 -x96 -x114 -x131 -x152 -x171
153.15/153.26 v -x177 -x198 -x211 -x227 -x243 -x254 -x269 -x282 -x335 -x314 -x383 -x361 -x433 -x398 -x471 -x455 -x533 -x506 -x584 -x559 -x620
153.15/153.26 v -x602 -x670 -x641 -x2324 -x2346 -x55 -x81 -x97 -x115 -x132 -x153 -x172 -x178 -x199 -x212 -x228 -x244 -x255 -x270 -x283 -x336
153.15/153.26 v -x315 -x384 -x362 -x434 -x399 -x472 -x456 -x534 -x507 -x585 -x560 -x621 -x603 -x671 -x642 -x2325 -x2347 -x2254 -x2285 -x2276
153.15/153.26 v -x2186 -x2218 -x2143 -x2162 -x2552 -x2576 -x2504 -x2524 -x2439 -x2470 -x2389 -x2417 -x2755 -x2735 -x2714 -x2702 -x2674 -x2643
153.15/153.26 v -x2613 -x2592 -x2994 -x2964 -x2934 -x2898 -x2877 -x2846 -x2812 -x2789 -x2326 -x2348 -x2255 -x2286 -x2277 -x2187 -x2219 -x2144
153.15/153.26 v -x2163 -x2553 -x2577 -x2505 -x2525 -x2440 -x2471 -x2390 -x2418 -x2756 -x2736 -x2715 -x2703 -x2675 -x2644 -x2614 -x2593 -x2995
153.15/153.26 v -x2965 -x2935 -x2899 -x2878 -x2847 -x2813 -x2790 -x1420 -x1444 -x1462 -x1448 -x1477 -x1305 -x1330 -x1359 -x1384 -x1627 -x1646
153.15/153.26 v -x1669 -x1691 -x1511 -x1534 -x1569 -x1594 -x1830 -x1810 -x1882 -x1855 -x1741 -x1719 -x1795 -x1772 -x2036 -x1999 -x2104
153.15/153.26 v -x2070 -x1928 -x1896 x4334 -x5001 -x5837 -x589 -x797 -x1365 -x2319 -x3610 -x3321 -x3341 -x3288 -x3306 -x3453 -x3426 -x3403 -x3370
153.15/153.26 v -x3571 -x3522 -x3492 -x3467 -x3681 -x3650 -x3626 -x3599 -x3770 -x3755 -x3722 -x3698 -x3789 -x3816 -x3842 -x3865 -x3887 -x3903
153.15/153.26 v -x3928 -x3955 -x3981 -x3986 -x4006 -x4022 -x4041 -x4060 -x4084 -x4105 -x4129 -x4192 -x4167 -x4245 -x4220 -x4299 -x4261
153.15/153.26 v -x4349 -x4321 -x4399 -x4377 -x4457 -x4432 -x4499 -x4478 -x4545 -x4517 -x4614 -x4639 -x4570 -x4593 -x4599 -x4716 -x4738 -x4669
153.15/153.26 v -x4690 -x4798 -x4824 -x4023 -x4042 -x4061 -x4085 -x4106 -x4130 -x4193 -x4168 -x4246 -x4221 -x4300 -x4262 -x4350 -x4322 -x4400
153.15/153.26 v -x4378 -x4458 -x4433 -x4500 -x4479 -x4546 -x4518 -x4615 -x4640 -x4571 x4594 -x4600 -x4717 -x4739 -x4670 -x4691 -x4800 -x4827
153.15/153.26 v -x4748 -x4776 -x4897 -x4927 -x4849 -x4874 -x5036 -x5016 -x4990 -x4952 -x5106 -x5087 -x5068 -x5048 -x5226 -x5196 -x5173 -x5144
153.15/153.26 v -x5317 -x5299 -x5273 -x5252 -x5338 -x5355 -x5367 -x5385 -x5401 -x5423 -x5449 -x5476 -x5501 -x4799 -x4826 -x4747 -x4775 -x4896
153.15/153.26 v -x4926 -x4848 -x4873 -x5035 -x5015 -x4989 -x4951 -x5105 -x5086 -x5067 -x5047 -x5225 -x5195 -x5172 -x5143 -x5316 -x5298 -x5272
153.15/153.26 v -x5251 -x5337 -x5354 -x5366 -x5384 -x5400 -x5422 -x5448 -x5475 -x5500 -x5518 -x5541 -x5562 -x5584 -x5616 -x5643 -x5667 -x5694
153.15/153.26 v -x5734 -x5713 -x5775 -x5755 -x5816 -x5795 -x5859 -x5841 -x5925 -x5898 -x5980 -x5950 -x6038 -x6014 -x6085 -x6063 -x3175
153.15/153.26 v -x3202 -x3183 -x3113 -x3136 -x3070 -x3093 -x5474 -x5499 -x5517 -x5540 -x5561 -x5583 -x5615 -x5642 -x5666 -x5693 -x5733 -x5712
153.15/153.26 v -x5774 -x5754 -x5815 -x5794 -x5858 -x5840 -x5924 -x5897 -x5979 -x5949 -x6037 -x6013 -x6084 -x6062 -x3174 -x3201 -x3182 -x3112
153.15/153.26 v -x3135 -x3069 -x3092 -x3025 -x3045 -x3334 -x3353 -x3298 -x3317 -x3250 -x3274 -x3213 -x3231 -x3557 -x3538 -x3508 -x3480 -x3458
153.15/153.26 v -x3431 -x3407 -x3377 -x3761 -x3741 -x3713 -x3687 -x3660 -x3632 -x3604 -x3577 -x3897 -x3889 -x3915 -x3939 -x3967 -x3068 -x3091
153.15/153.26 v -x3024 -x3044 -x3333 -x3352 -x3297 -x3316 -x3249 -x3273 -x3212 -x3230 -x3556 -x3537 -x3507 -x3479 -x3457 -x3430 -x3406 -x3376
153.15/153.26 v -x3760 -x3740 -x3712 -x3686 -x3659 -x3631 -x3603 -x3576 -x3896 -x3888 -x3914 -x3938 -x3966 -x3788 -x3812 -x3836 -x3862 -x4072
153.15/153.26 v -x4094 -x4116 -x4138 -x3999 -x4020 -x4039 -x4057 -x4309 -x4278 -x4363 -x4337 -x4187 -x4162 -x4240 -x4216 -x4489 -x4469
153.15/153.26 v -x4536 -x4510 -x4395 -x4375 -x4452 -x4425 -x4430 -x1597 -x1572 -x3937 -x3965 -x3787 -x3811 -x3835 -x3861 -x4071 -x4093 -x4115
153.15/153.26 v -x4137 -x3998 -x4019 -x4038 -x4056 -x4308 -x4277 -x4362 -x4336 -x4186 -x4161 -x4239 -x4215 -x4488 -x4468 -x4535 -x4509 -x4394
153.15/153.26 v -x4374 -x4451 -x4424 -x4429 -x1596 -x1571 -x1540 -x1509 -x1690 -x1672 -x1649 -x1625 -x1387 -x1353 -x1336 -x1307 -x1476 -x1447
153.15/153.26 v -x1426 -x1422 -x1954 -x1981 -x1893 -x1925 -x2072 -x2107 -x2011 -x2032 -x1771 -x1794 -x1713 -x1747 -x1857 -x1879 -x1818 -x1808
153.15/153.26 v -x1834 -x1595 -x1570 -x1539 -x1508 -x1689 -x1671 -x1648 -x1624 -x1386 -x1352 -x1335 -x1306 -x1475 -x1446 -x1425 -x1421 -x1953
153.15/153.26 v -x1980 -x1892 -x1924 -x2071 -x2106 -x2010 -x2031 -x1770 -x1793 -x1712 -x1746 -x1856 -x1878 -x1817 -x1807 -x1833 -x2410 -x2383
153.15/153.26 v -x2473 -x2442 -x2523 -x2499 -x2581 -x2551 -x2165 -x2135 -x2213 -x2189 -x2281 -x2248 -x2350 -x2328 -x2787 -x2824 -x2852
153.15/153.26 v -x2876 -x2897 -x2926 -x2967 -x2998 -x2599 -x2618 -x2642 -x2672 -x2705 -x2730 -x2718 -x1806 -x1832 -x2409 -x2382 -x2472 -x2441
153.15/153.26 v -x2522 -x2498 -x2580 -x2550 -x2164 -x2134 -x2212 -x2188 -x2280 -x2247 -x2349 -x2327 -x2786 -x2823 -x2851 -x2875 -x2896 -x2925
153.15/153.26 v -x2966 -x2997 -x2598 -x2617 -x2641 -x2671 -x2704 -x2729 -x2717 -x2732 -x2754 -x281 -x267 -x256 -x245 -x234 -x210 -x197 -x182
153.15/153.26 v -x168 -x155 -x135 -x111 -x84 -x56 -x40 -x21 -x647 -x667 -x601 -x624 -x565 -x582 -x510 -x537 -x460 -x477 -x396 -x432 -x342 -x5978
153.15/153.26 v -x5893 -x5921 -x6044 -x5412 -x5142 -x5176 -x5209 -x4646 -x4718 -x4694 -x1098 -x914 -x870 -x888 -x842 -x265 -x280 x292 -x189
153.15/153.26 v -x2299 -x2424 -x2450 -x2367 -x1442 -x1461 -x1489 -x1501 -x2231 -x2265 -x2293 -x2318 -x5722 -x5741 -x6042 -x6066 -x5991 -x6026
153.15/153.26 v -x5935 -x5965 -x3464 -x3494 -x3518 -x3545 -x3600 -x3624 -x3649 -x3674 -x4150 -x4175 -x4319 -x4355 -x4260 -x4291 -x4434
153.15/153.26 v -x4463 -x1686 -x1668 -x1653 -x1630 -x1599 -x1576 -x1536 -x1507 -x2676 -x2656 -x2521 -x2493 -x2573 -x2543 -x2419 -x2386 -x474
153.15/153.26 v -x400 -x403 x435 -x233 -x217 -x202 -x183 -x1008 -x1023 -x1054 -x1072 -x1095 -x1120 -x847 -x833 -x5294 -x5277 -x5249 -x5233 -x5217
153.15/153.26 v -x5186 -x5149 -x5124 -x1113 -x840 -x1620 -x2375 -x5971 -x5119 x4222 -x3549 -x3061 -x3018 -x3354 -x3335 -x3314 -x3299 -x3270
153.15/153.26 v -x3248 -x3234 -x3214 -x3515 -x3546 -x3469 -x3495 -x3422 -x3449 -x5430 -x5404 -x5503 -x5478 -x5536 -x5507 -x5585 -x5560 -x5641
153.15/153.26 v -x5618 -x5683 -x5656 -x5718 -x5742 -x5766 -x5791 -x4587 -x4567 -x4730 -x4714 -x4686 -x4662 -x4829 -x4804 -x4774 -x4754 -x4928
153.15/153.26 v -x4903 -x4876 -x4851 -x5004 -x5031 -x900 -x918 -x934 -x943 -x839 -x853 -x863 -x877 -x770 -x785 -x807 -x828 -x694 -x711
153.15/153.26 v -x732 -x751 -x1002 -x984 -x276 -x289 -x250 -x258 x215 -x231 -x176 -x200 -x150 -x166 -x117 -x127 -x70 -x91 -x368 -x348 -x325 -x302
153.15/153.26 v -x2369 -x2398 -x2433 -x2463 -x2508 -x2530 -x2554 -x2579 -x2132 -x2168 -x2197 -x2225 -x2679 -x2650 -x2723 -x2701 -x2768 -x2747
153.15/153.26 v -x1551 -x1604 -x1514 -x1544 -x1665 -x1681 -x1623 -x1647 -x1354 -x1376 -x1785 -x1759 -x1732 -x1710 -x1888 -x1866 -x1841
153.15/153.26 v -x1820 -x3441 -x3413 -x3389 -x3364 -x3563 -x3532 -x3500 -x3473 -x4771 -x4801 -x4825 -x4671 -x5639 -x5563 -x5586 -x5516 -x1077
153.15/153.26 v -x1071 -x1043 -x1017 -x856 -x426 -x408 -x487 -x207 -x219 -x235 -x2662 -x2394 -x2541 -x2565 x2488 -x1526 -x1557 -x1585 -x1613
153.15/153.26 v -x3990 -x3969 -x3950 -x3919 -x3907 -x3931 -x4444 -x4419 -x1533 -x1495 -x1582 -x1554 -x2512 -x2483 -x2456 -x2428 -x206 x190 -x239
153.15/153.26 v -x226 -x779 -x759 -x889 -x871 -x5208 -x5238 -x5139 -x5175 -x6061 -x6083 -x5894 -x5922 -x3629 -x3657 -x3578 -x3602 -x4628
153.15/153.26 v -x3872 x3111 -x2207 -x1369 -x719 -x60 -x614 -x1345 -x1320 -x1398 -x1373 -x2063 -x2102 -x2232 -x2205 -x2971 -x3001 -x2908 -x2936
153.15/153.26 v -x650 -x673 -x514 -x538 x1272 -x1294 -x1226 -x1247 -x4895 -x4860 -x4641 -x4618 -x5647 -x5621 -x5697 -x5676 -x3304 -x3286
153.15/153.26 v -x3267 -x3241 x12 x10 x8 x6 x5 x4 x2 x1
153.15/153.26 c SCIP Status : problem is solved [optimal solution found]
153.15/153.26 c Solving Time : 152.49
153.15/153.26 c Original Problem :
153.15/153.26 c Problem name : HOME/instance-3738340-1338755276.opb
153.15/153.26 c Variables : 6088 (6088 binary, 0 integer, 0 implicit integer, 0 continuous)
153.15/153.26 c Constraints : 6677 initial, 6677 maximal
153.15/153.26 c Presolved Problem :
153.15/153.26 c Problem name : t_HOME/instance-3738340-1338755276.opb
153.15/153.26 c Variables : 6080 (6080 binary, 0 integer, 0 implicit integer, 0 continuous)
153.15/153.26 c Constraints : 596 initial, 1583 maximal
153.15/153.26 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
153.15/153.26 c trivial : 0.00 0 0 0 0 0 0 0 0
153.15/153.26 c dualfix : 0.00 0 0 0 0 0 0 0 0
153.15/153.26 c boundshift : 0.00 0 0 0 0 0 0 0 0
153.15/153.26 c inttobinary : 0.00 0 0 0 0 0 0 0 0
153.15/153.26 c implics : 0.00 0 0 0 0 0 0 0 0
153.15/153.26 c probing : 0.03 0 0 0 0 0 0 0 0
153.15/153.26 c knapsack : 0.26 0 0 0 0 0 0 0 0
153.15/153.26 c setppc : 0.01 0 0 0 0 0 0 0 0
153.15/153.26 c linear : 0.05 8 0 0 8 0 6081 0 0
153.15/153.26 c logicor : 0.00 0 0 0 0 0 0 0 0
153.15/153.26 c root node : - 0 - - 0 - - - -
153.15/153.26 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
153.15/153.26 c integral : 0 0 0 516 0 0 8 0 0 1020
153.15/153.26 c knapsack : 512 6 11933 0 0 10 18506 1200 0 0
153.15/153.26 c setppc : 84 6 11923 0 0 2 25939 0 0 0
153.15/153.26 c logicor : 0+ 0 594 0 0 16 50 0 0 0
153.15/153.26 c countsols : 0 0 0 0 0 0 0 0 0 0
153.15/153.26 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
153.15/153.26 c integral : 63.11 0.00 0.00 63.11 0.00
153.15/153.26 c knapsack : 0.34 0.01 0.33 0.00 0.00
153.15/153.26 c setppc : 0.01 0.00 0.01 0.00 0.00
153.15/153.26 c logicor : 0.00 0.00 0.00 0.00 0.00
153.15/153.26 c countsols : 0.00 0.00 0.00 0.00 0.00
153.15/153.26 c Propagators : Time Calls Cutoffs DomReds
153.15/153.26 c rootredcost : 0.00 0 0 0
153.15/153.26 c pseudoobj : 0.00 0 0 0
153.15/153.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
153.15/153.26 c propagation : 0.01 28 28 308 108.9 0 0.0 -
153.15/153.26 c infeasible LP : 0.37 122 122 2635 290.4 2 30.0 0
153.15/153.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
153.15/153.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
153.15/153.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
153.15/153.26 c applied globally : - - - 1023 173.6 - - -
153.15/153.26 c applied locally : - - - 0 0.0 - - -
153.15/153.26 c Separators : Time Calls Cutoffs DomReds Cuts Conss
153.15/153.26 c cut pool : 0.00 5 - - 744 - (maximal pool size: 2391)
153.15/153.26 c redcost : 0.05 521 0 0 0 0
153.15/153.26 c impliedbounds : 0.00 6 0 0 0 0
153.15/153.26 c intobj : 0.00 0 0 0 0 0
153.15/153.26 c gomory : 0.04 6 0 0 48 0
153.15/153.26 c strongcg : 0.03 6 0 0 28 0
153.15/153.26 c cmir : 1.05 6 0 0 2212 0
153.15/153.26 c flowcover : 0.60 6 0 0 1202 0
153.15/153.26 c clique : 0.00 6 0 0 12 0
153.15/153.26 c zerohalf : 0.00 0 0 0 0 0
153.15/153.26 c mcf : 0.00 1 0 0 0 0
153.15/153.26 c Pricers : Time Calls Vars
153.15/153.26 c problem variables: 0.00 0 0
153.15/153.26 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
153.15/153.26 c relpscost : 63.11 516 0 8 0 0 1020
153.15/153.26 c pscost : 0.00 0 0 0 0 0 0
153.15/153.26 c inference : 0.00 0 0 0 0 0 0
153.15/153.26 c mostinf : 0.00 0 0 0 0 0 0
153.15/153.26 c leastinf : 0.00 0 0 0 0 0 0
153.15/153.26 c fullstrong : 0.00 0 0 0 0 0 0
153.15/153.26 c allfullstrong : 0.00 0 0 0 0 0 0
153.15/153.26 c random : 0.00 0 0 0 0 0 0
153.15/153.26 c Primal Heuristics : Time Calls Found
153.15/153.26 c LP solutions : 0.00 - 0
153.15/153.26 c pseudo solutions : 0.00 - 0
153.15/153.26 c oneopt : 0.00 0 0
153.15/153.26 c crossover : 0.01 0 0
153.15/153.26 c coefdiving : 11.42 6 0
153.15/153.26 c pscostdiving : 10.47 8 0
153.15/153.26 c objpscostdiving : 0.13 4 0
153.15/153.26 c linesearchdiving : 4.37 8 0
153.15/153.26 c simplerounding : 0.00 0 0
153.15/153.26 c rounding : 0.00 274 0
153.15/153.26 c shifting : 0.24 52 0
153.15/153.26 c intshifting : 0.00 0 0
153.15/153.26 c fixandinfer : 0.00 0 0
153.15/153.26 c feaspump : 1.93 3 0
153.15/153.26 c fracdiving : 10.64 7 0
153.15/153.26 c veclendiving : 3.49 8 1
153.15/153.26 c intdiving : 0.00 0 0
153.15/153.26 c actconsdiving : 0.00 0 0
153.15/153.26 c rootsoldiving : 1.44 3 0
153.15/153.26 c guideddiving : 0.00 0 0
153.15/153.26 c octane : 0.00 0 0
153.15/153.26 c rens : 0.06 1 0
153.15/153.26 c rins : 0.00 0 0
153.15/153.26 c localbranching : 0.00 0 0
153.15/153.26 c mutation : 0.00 0 0
153.15/153.26 c dins : 0.00 0 0
153.15/153.26 c LP : Time Calls Iterations Iter/call Iter/sec
153.15/153.26 c primal LP : 0.00 0 0 0.00 -
153.15/153.26 c dual LP : 42.45 545 138520 254.17 3263.13
153.15/153.26 c barrier LP : 0.00 0 0 0.00 -
153.15/153.26 c diving/probing LP: 37.24 10120 101902 10.07 2736.36
153.15/153.26 c strong branching : 63.08 904 192570 213.02 3052.79
153.15/153.26 c (at root node) : - 34 21377 628.74 -
153.15/153.26 c conflict analysis: 0.00 0 0 0.00 -
153.15/153.26 c B&B Tree :
153.15/153.26 c number of runs : 1
153.15/153.26 c nodes : 545
153.15/153.26 c nodes (total) : 545
153.15/153.26 c nodes left : 0
153.15/153.26 c max depth : 71
153.15/153.26 c max depth (total): 71
153.15/153.26 c backtracks : 51 (9.4%)
153.15/153.26 c delayed cutoffs : 0
153.15/153.26 c repropagations : 193 (159 domain reductions, 0 cutoffs)
153.15/153.26 c avg switch length: 2.90
153.15/153.26 c switching time : 0.05
153.15/153.26 c Solution :
153.15/153.26 c Solutions found : 1 (1 improvements)
153.15/153.26 c Primal Bound : +8.00000000000000e+00 (in run 1, after 545 nodes, 152.47 seconds, depth 94, found by <veclendiving>)
153.15/153.26 c Dual Bound : +8.00000000000000e+00
153.15/153.26 c Gap : 0.00 %
153.15/153.26 c Root Dual Bound : +8.00000000000000e+00
153.15/153.29 c Time complete: 153.25.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3738340-1338755276/watcher-3738340-1338755276 -o /tmp/evaluation-result-3738340-1338755276/solver-3738340-1338755276 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3738340-1338755276.opb
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12712
/proc/meminfo: memFree=25164896/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=8712 CPUtime=0 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 1534 0 0 0 0 0 0 0 20 0 1 0 341654897 8921088 1486 33554432000 4194304 7823515 140735259444896 140733223001304 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 2178 1486 354 887 0 1288 0
[startup+0.072763 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12712
/proc/meminfo: memFree=25164896/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=17328 CPUtime=0.06 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 3669 0 0 0 6 0 0 0 20 0 1 0 341654897 17743872 3621 33554432000 4194304 7823515 140735259444896 140735259311000 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 4332 3621 354 887 0 3442 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 17328
[startup+0.100285 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12712
/proc/meminfo: memFree=25164896/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=33036 CPUtime=0.09 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 7911 0 0 0 9 0 0 0 20 0 1 0 341654897 33828864 7509 33554432000 4194304 7823515 140735259444896 140735259311000 5009356 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 8259 7509 375 887 0 7369 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33036
[startup+0.300274 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12712
/proc/meminfo: memFree=25164896/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=42748 CPUtime=0.29 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 10153 0 0 0 28 1 0 0 20 0 1 0 341654897 43773952 9751 33554432000 4194304 7823515 140735259444896 140735259311000 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 10687 9751 440 887 0 9797 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42748
[startup+0.700215 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12712
/proc/meminfo: memFree=25164896/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=56908 CPUtime=0.69 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 13670 0 0 0 67 2 0 0 20 0 1 0 341654897 58273792 13222 33554432000 4194304 7823515 140735259444896 140735259311000 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 14227 13222 534 887 0 13337 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56908
[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12713
/proc/meminfo: memFree=25114404/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=61192 CPUtime=1.48 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 15051 0 0 0 146 2 0 0 20 0 1 0 341654897 62660608 14402 33554432000 4194304 7823515 140735259444896 140735259439656 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 15298 14402 562 887 0 14408 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 61192
[startup+3.10023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12713
/proc/meminfo: memFree=25105724/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=68492 CPUtime=3.09 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 16713 0 0 0 305 4 0 0 20 0 1 0 341654897 70135808 16059 33554432000 4194304 7823515 140735259444896 140735259440696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 17123 16059 562 887 0 16233 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68492
[startup+6.30019 s]
/proc/loadavg: 2.02 2.01 2.00 4/176 12750
/proc/meminfo: memFree=25376336/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=68960 CPUtime=6.29 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 23228 0 0 0 623 6 0 0 20 0 1 0 341654897 70615040 16311 33554432000 4194304 7823515 140735259444896 140735259440008 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 17240 16311 574 887 0 16350 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68960
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12751
/proc/meminfo: memFree=25360252/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=68960 CPUtime=12.69 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 23245 0 0 0 1262 7 0 0 20 0 1 0 341654897 70615040 16328 33554432000 4194304 7823515 140735259444896 140735259440056 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 17240 16328 574 887 0 16350 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68960
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12751
/proc/meminfo: memFree=25355176/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=69228 CPUtime=25.49 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 23270 0 0 0 2537 12 0 0 20 0 1 0 341654897 70889472 16361 33554432000 4194304 7823515 140735259444896 140735259439592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 17307 16361 574 887 0 16417 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69228
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12751
/proc/meminfo: memFree=25349996/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=69228 CPUtime=51.07 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 23283 0 0 0 5085 22 0 0 20 0 1 0 341654897 70889472 16866 33554432000 4194304 7823515 140735259444896 140735259440696 5971243 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 17307 16866 575 887 0 16417 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 69228
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12751
/proc/meminfo: memFree=25337140/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=76244 CPUtime=102.27 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 25033 0 0 0 10184 43 0 0 20 0 1 0 341654897 78073856 18616 33554432000 4194304 7823515 140735259444896 140735259440808 6206228 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 19061 18616 580 887 0 18171 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 76244
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12754
/proc/meminfo: memFree=25331520/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=77836 CPUtime=127.86 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 25457 0 0 0 12731 55 0 0 20 0 1 0 341654897 79704064 19039 33554432000 4194304 7823515 140735259444896 140735259440232 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 19459 19039 580 887 0 18569 0
Current children cumulated CPU time (s) 127.86
Current children cumulated vsize (KiB) 77836
[startup+140.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12754
/proc/meminfo: memFree=25330200/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=79920 CPUtime=140.67 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 25990 0 0 0 14005 62 0 0 20 0 1 0 341654897 81838080 19572 33554432000 4194304 7823515 140735259444896 140735259440696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 19980 19572 580 887 0 19090 0
Current children cumulated CPU time (s) 140.67
Current children cumulated vsize (KiB) 79920
[startup+147.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12754
/proc/meminfo: memFree=25329896/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=80828 CPUtime=147.05 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 26229 0 0 0 14641 64 0 0 20 0 1 0 341654897 82767872 19811 33554432000 4194304 7823515 140735259444896 140735259440056 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 20207 19811 580 887 0 19317 0
Current children cumulated CPU time (s) 147.05
Current children cumulated vsize (KiB) 80828
[startup+150.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12754
/proc/meminfo: memFree=25328900/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=80828 CPUtime=150.25 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 26229 0 0 0 14960 65 0 0 20 0 1 0 341654897 82767872 19811 33554432000 4194304 7823515 140735259444896 140735259440040 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 20207 19811 580 887 0 19317 0
Current children cumulated CPU time (s) 150.25
Current children cumulated vsize (KiB) 80828
[startup+151.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12754
/proc/meminfo: memFree=25328528/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=80828 CPUtime=151.86 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 26229 0 0 0 15120 66 0 0 20 0 1 0 341654897 82767872 19811 33554432000 4194304 7823515 140735259444896 140735259440696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 20207 19811 580 887 0 19317 0
Current children cumulated CPU time (s) 151.86
Current children cumulated vsize (KiB) 80828
[startup+152.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12754
/proc/meminfo: memFree=25328528/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=80828 CPUtime=152.66 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 26229 0 0 0 15200 66 0 0 20 0 1 0 341654897 82767872 19811 33554432000 4194304 7823515 140735259444896 140735259440696 6173489 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 20207 19811 580 887 0 19317 0
Current children cumulated CPU time (s) 152.66
Current children cumulated vsize (KiB) 80828
[startup+153.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12754
/proc/meminfo: memFree=25328528/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=80828 CPUtime=153.05 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 26229 0 0 0 15239 66 0 0 20 0 1 0 341654897 82767872 19811 33554432000 4194304 7823515 140735259444896 140735259440696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 20207 19811 580 887 0 19317 0
Current children cumulated CPU time (s) 153.05
Current children cumulated vsize (KiB) 80828
[startup+153.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12754
/proc/meminfo: memFree=25328528/32873648 swapFree=6852/6852
[pid=12712] ppid=12710 vsize=80828 CPUtime=153.15 cores=1,3,5,7
/proc/12712/stat : 12712 (pbscip.linux.x8) R 12710 12712 12217 0 -1 4202496 26229 0 0 0 15249 66 0 0 20 0 1 0 341654897 82767872 19811 33554432000 4194304 7823515 140735259444896 140735259440696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12712/statm: 20207 19811 580 887 0 19317 0
Current children cumulated CPU time (s) 153.15
Current children cumulated vsize (KiB) 80828
Child status: 0
Real time (s): 153.298
CPU time (s): 153.264
CPU user time (s): 152.595
CPU system time (s): 0.668898
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 84968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.595
system time used= 0.668898
maximum resident set size= 90260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26234
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= 158
runsolver used 0.358945 second user time and 0.996848 second system time
The end
Begin job on node112 at 2012-06-03 22:27:56
IDJOB=3738340
IDBENCH=71845
IDSOLVER=2321
FILE ID=node112/3738340-1338755276
RUNJOBID= node112-1338748093-12234
PBS_JOBID= 14636784
Free space on /tmp= 71204 MiB
SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx84.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738340-1338755276/watcher-3738340-1338755276 -o /tmp/evaluation-result-3738340-1338755276/solver-3738340-1338755276 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3738340-1338755276.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 13a1c43c96eef592ca49f745f65e3ff1
RANDOM SEED=1227730013
node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.763
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.52
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.763
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.763
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.763
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.763
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.763
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.763
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.763
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873648 kB
MemFree: 25165532 kB
Buffers: 553508 kB
Cached: 5996752 kB
SwapCached: 0 kB
Active: 2050272 kB
Inactive: 4789712 kB
Active(anon): 278160 kB
Inactive(anon): 10924 kB
Active(file): 1772112 kB
Inactive(file): 4778788 kB
Unevictable: 6852 kB
Mlocked: 6852 kB
SwapTotal: 67108856 kB
SwapFree: 67108856 kB
Dirty: 10172 kB
Writeback: 0 kB
AnonPages: 292884 kB
Mapped: 16608 kB
Shmem: 200 kB
Slab: 730996 kB
SReclaimable: 174832 kB
SUnreclaim: 556164 kB
KernelStack: 1448 kB
PageTables: 4900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545680 kB
Committed_AS: 400636 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346400 kB
VmallocChunk: 34341988052 kB
HardwareCorrupted: 0 kB
AnonHugePages: 251904 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7680 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71196 MiB
End job on node112 at 2012-06-03 22:30:30