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