Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | OPT | 2 | 403.891 | 403.99 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:100.opb |
| MD5SUM | 18cfc7903c565bab689cc8ffed68f1fd |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 10.3564 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | NO |
| Number of variables | 4617 |
| Total number of constraints | 5280 |
| Number of constraints which are clauses | 4395 |
| Number of constraints which are cardinality constraints (but not clauses) | 885 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 23 |
| Number of terms in the objective function | 4617 |
| Biggest coefficient in the objective function | 2642 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 13340 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 2642 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 13340 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
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-2665497-1276478753.opb>
0.10/0.12 c original problem has 4617 variables (4617 bin, 0 int, 0 impl, 0 cont) and 5280 constraints
0.10/0.12 c problem read
0.10/0.12 c presolving settings loaded
0.10/0.19 o 8056
0.10/0.19 c feasible solution found by trivial heuristic, objective value 8.056000e+03
0.10/0.19 c presolving:
0.19/0.23 c (round 1) 4 del vars, 4 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21560 impls, 8 clqs
0.19/0.24 c (round 2) 5 del vars, 5 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21560 impls, 8 clqs
0.29/0.33 c (round 3) 5 del vars, 5 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 5219 upgd conss, 21560 impls, 8 clqs
0.29/0.37 c (round 4) 5 del vars, 5 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 5275 upgd conss, 21560 impls, 8 clqs
0.59/0.60 c (0.4s) probing: 342/4612 (7.4%) - 0 fixings, 0 aggregations, 414 implications, 0 bound changes
0.59/0.60 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.59/0.60 c presolving (5 rounds):
0.59/0.60 c 5 deleted vars, 5 deleted constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.60 c 22644 implications, 8 cliques
0.59/0.60 c presolved problem has 4612 variables (4612 bin, 0 int, 0 impl, 0 cont) and 5275 constraints
0.59/0.60 c 876 constraints of type <knapsack>
0.59/0.60 c 8 constraints of type <setppc>
0.59/0.60 c 4391 constraints of type <logicor>
0.59/0.60 c transformed objective value is always integral (scale: 1)
0.59/0.60 c Presolving Time: 0.38
0.59/0.60 c - non default parameters ----------------------------------------------------------------------
0.59/0.60 c # SCIP version 1.2.1.2
0.59/0.60 c
0.59/0.60 c # frequency for displaying node information lines
0.59/0.60 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.60 c display/freq = 10000
0.59/0.60 c
0.59/0.60 c # maximal time in seconds to run
0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.60 c limits/time = 1799.88
0.59/0.60 c
0.59/0.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.60 c limits/memory = 1620
0.59/0.60 c
0.59/0.60 c # should presolving try to simplify inequalities
0.59/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.60 c constraints/linear/simplifyinequalities = TRUE
0.59/0.60 c
0.59/0.60 c # should presolving try to simplify knapsacks
0.59/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.60 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.60 c
0.59/0.60 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.60 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.60 c separating/rapidlearning/freq = 0
0.59/0.60 c
0.59/0.60 c -----------------------------------------------------------------------------------------------
0.59/0.60 c start solving
0.59/0.61 c
0.59/0.61 o 8051
0.59/0.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.61 c t 0.4s| 1 | 0 | 0 | - | 17M| 0 | - |4612 |5275 | 0 | 0 | 0 | 0 | 0 | -- | 8.051000e+03 | Inf
0.59/0.66 o 3990
0.59/0.66 c b 0.5s| 1 | 0 | 0 | - | 21M| 0 | - |4612 |5275 |4612 |5275 | 0 | 0 | 0 | -- | 3.990000e+03 | Inf
6.60/6.62 c 6.4s| 1 | 0 | 5446 | - | 21M| 0 |1850 |4612 |5275 |4612 |5275 | 0 | 0 | 0 | 2.000000e+00 | 3.990000e+03 | Large
6.79/6.85 o 2441
6.79/6.85 c R 6.6s| 1 | 0 | 5446 | - | 21M| 0 |1850 |4612 |5275 |4612 |5275 | 0 | 0 | 0 | 2.000000e+00 | 2.441000e+03 | Large
6.99/7.09 o 2440
6.99/7.09 c s 6.8s| 1 | 0 | 5446 | - | 21M| 0 |1850 |4612 |5275 |4612 |5275 | 0 | 0 | 0 | 2.000000e+00 | 2.440000e+03 | Large
7.09/7.10 o 742
7.09/7.10 c b 6.8s| 1 | 0 | 5446 | - | 21M| 0 |1850 |4612 |5275 |4612 |5275 | 0 | 0 | 0 | 2.000000e+00 | 7.420000e+02 | Large
52.58/52.65 o 73
52.58/52.65 c E51.1s| 1 | 0 | 5446 | - | 21M| 0 |1850 |4612 |5275 |4612 |5275 | 0 | 0 | 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
52.58/52.69 c 51.1s| 1 | 0 | 5446 | - | 21M| 0 |1850 |4612 |5275 |4612 |5275 | 0 | 0 | 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
52.68/52.70 o 62
52.68/52.70 c b51.1s| 1 | 0 | 5446 | - | 22M| 0 |1850 |4612 |5275 |4612 |5275 | 0 | 0 | 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
63.68/63.73 c 62.1s| 1 | 2 | 5446 | - | 22M| 0 |1850 |4612 |5275 |4612 |5275 | 0 | 0 | 11 | 2.000000e+00 | 6.200000e+01 |3000.00%
172.66/172.77 o 12
172.66/172.77 c c 170s| 15 | 16 | 25862 |1458.3 | 24M| 14 | - |4612 |5275 |4612 |5275 | 0 | 0 | 168 | 2.000000e+00 | 1.200000e+01 | 500.00%
172.66/172.80 o 8
172.66/172.80 c b 170s| 15 | 16 | 25862 |1458.3 | 22M| 14 |2067 |4612 |5275 |4612 |5275 | 0 | 0 | 168 | 2.000000e+00 | 8.000000e+00 | 300.00%
356.80/356.92 o 5
356.80/356.92 c C 352s| 215 | 216 | 61270 | 260.9 | 23M| 162 |1083 |4612 |5275 |4612 |5275 | 0 | 0 | 534 | 2.000000e+00 | 5.000000e+00 | 150.00%
365.11/365.25 o 4
365.11/365.25 c v 360s| 230 | 211 | 67936 | 272.9 | 24M| 163 | - |4612 |5275 |4612 |5275 | 0 | 0 | 543 | 2.000000e+00 | 4.000000e+00 | 100.00%
365.11/365.27 o 3
365.11/365.27 c b 360s| 230 | 160 | 67936 | 272.9 | 23M| 163 | - |4612 |5275 |4612 |5275 | 0 | 0 | 543 | 2.000000e+00 | 3.000000e+00 | 50.00%
403.69/403.90 o 2
403.69/403.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.69/403.90 c * 399s| 364 | 0 | 88300 | 228.2 | 23M| 241 | - |4612 |5255 |4612 |5275 | 0 | 0 | 606 | 2.000000e+00 | 2.000000e+00 | 0.00%
403.79/403.90 c
403.79/403.90 c SCIP Status : problem is solved [optimal solution found]
403.79/403.90 c Solving Time (sec) : 398.64
403.79/403.90 c Solving Nodes : 364
403.79/403.90 c Primal Bound : +2.00000000000000e+00 (15 solutions)
403.79/403.90 c Dual Bound : +2.00000000000000e+00
403.79/403.90 c Gap : 0.00 %
403.79/403.92 s OPTIMUM FOUND
403.79/403.92 v x1 x2850 x3717 x2841 x3718 -x3977 -x4110 x2845 -x3706 x3966 -x116 x2838 x3965 x978 -x2839 -x3964 x115 x966 -x3171 -x970 x3170 -x4113
403.79/403.92 v -x437 -x963 x3172 x3443 -x4114 x119 -x964 -x2835 -x3156 x3442 x120 x436 x3444 x439 x3428 x440 x4586 x1391 x4585 x1390 -x463
403.79/403.92 v x1264 x1393 x4589 x1394 x4590 x1256 -x3766 -x2508 x2500 x2494 -x4043 x1925 x2495 x1919 x2761 x1920 x2760 -x869 x2762 x4047
403.79/403.92 v x3716 x3976 -x2831 -x2849 x3707 x3975 -x4109 x975 -x3711 x3974 x977 -x2830 x2844 -x3705 x3970 -x4111 -x3703 x4116 x117 -x974
403.79/403.92 v -x1748 -x2840 -x3962 x4115 x118 -x2836 x3169 -x3963 x121 -x969 -x2834 x3157 x101 -x3161 x3441 x438 -x965 -x3155 x3429 x423
403.79/403.92 v -x1751 -x3153 x3433 -x422 x459 -x1752 x3427 -x421 x3425 x458 -x3762 x3375 -x3761 x4587 -x464 x1261 x4588 -x462 x1263 x1392 x4591
403.79/403.92 v x1377 -x3767 x4571 x1260 x1376 -x3765 x1375 -x2505 -x1255 -x2507 -x513 x1930 x865 -x2504 x864 x1929 x2499 -x4042 x1924 x2496
403.79/403.92 v x4044 -x870 -x2759 x4048 -x868 x1921 x2755 -x3837 x4046 x703 x976 -x2487 -x2848 -x3715 x3973 -x2832 x2842 -x3710 x3969 x4112
403.79/403.92 v -x2833 -x3166 x4096 -x973 -x1747 -x2837 -x3168 -x3704 x4095 -x114 -x2816 x3438 -x4094 x102 -x967 x1749 -x3165 -x3371 x3440
403.79/403.92 v x106 x434 -x1754 -x3422 x100 x435 -x1753 -x3160 -x3370 x3437 x98 -x431 x427 -x3154 x3432 x3376 -x419 x460 x3374 x3426 -x420
403.79/403.92 v x461 -x465 -x509 x1262 -x3763 -x444 x1388 x3764 -x4584 x508 x1389 -x3768 x4572 -x1385 x3747 x4576 -x1259 -x1381 -x2254 -x2506
403.79/403.92 v x4570 x514 x4568 -x512 -x1253 x1373 -x1931 x1374 -x2503 -x3214 x2257 x866 x1928 -x2258 -x2497 -x3833 x867 -x2756 x871 x1922
403.79/403.92 v -x2758 x4045 x849 -x3217 x4028 -x2063 x2701 -x2754 -x3218 -x3836 x4029 x702 -x2154 x2486 -x2846 -x3418 -x3714 x3624 x3971 -x4107
403.79/403.92 v -x2843 -x3167 -x3417 x3625 -x3708 x3967 x4108 -x111 -x707 -x2490 -x2829 x4104 -x113 -x971 -x2491 -x2817 x3439 -x4100 -x433
403.79/403.92 v -x2821 -x3423 x110 -x432 -x968 x1750 -x2815 -x3164 -x3421 -x4092 x1734 -x2813 -x4093 x105 x1733 -x3158 -x3372 x3436 -x430
403.79/403.92 v x1732 x3373 -x99 x426 x3377 -x3430 -x4486 -x1126 x3356 -x457 x1387 -x4581 x445 x1386 -x4583 x449 x3760 -x4489 -x443 x510 x3748
403.79/403.92 v -x4490 -x4580 -x441 x511 -x1384 -x3752 x515 -x1257 -x1380 -x2253 x3746 x4575 x494 x3744 -x4515 -x1254 -x2255 x4569 x2260 x1561
403.79/403.92 v -x2059 x2259 -x2501 -x3213 x1926 -x2058 -x2498 -x2697 -x2757 x3215 -x3832 x863 -x3220 -x4040 x851 -x1923 -x3219 x3834 -x4041
403.79/403.92 v -x855 x1564 -x2064 -x3839 x4037 x850 -x1565 -x2062 x2700 -x2748 -x2753 -x3838 x4033 x704 x3627 -x4106 -x1172 -x2153 x2488
403.79/403.92 v -x2847 x3626 -x3712 -x4105 x708 x2493 -x2826 -x3972 -x112 -x706 x2492 -x2828 -x3419 -x3709 x3968 -x2157 -x3420 -x4103 -x972
403.79/403.92 v -x1122 -x2158 -x2825 -x3424 -x4099 -x1175 x1745 -x3403 x109 -x1121 -x1176 x1746 -x2820 -x3162 -x1742 -x103 x1738 -x2814 -x3159
403.79/403.92 v x3434 x3883 -x428 -x1127 x3369 x424 -x1125 -x1730 x3357 -x3431 -x4485 -x454 -x1731 -x2873 x3361 -x456 x3355 x4487 -x4511 -x4582
403.79/403.92 v x3353 -x3757 x3886 -x4492 x453 -x3759 x3887 -x4491 -x4510 x448 -x3756 -x4579 x507 -x1382 -x4516 -x442 x495 -x1258 -x1378
403.79/403.92 v -x3751 -x4514 x4573 x499 x1612 x493 x2256 x3745 x491 x2240 x1560 x2239 -x2502 -x860 -x2238 -x4039 -x862 x1562 -x1927 -x2060
403.79/403.92 v -x2696 -x2744 x3216 -x4038 x1567 -x2061 x3200 x859 x1566 -x2065 -x2698 -x3199 x3835 -x2043 x2703 -x3197 x3818 -x4036 -x854 x2702
403.79/403.92 v -x2747 -x2751 -x3819 x4032 x705 x3615 x709 -x1171 -x2155 x2489 -x2827 x3614 -x3713 -x691 -x909 -x2160 x2475 x3613 -x910
403.79/403.92 v x1173 -x2159 x2474 -x1178 x1744 x2473 -x3416 -x4101 -x1177 x1743 -x2824 -x2869 -x3404 -x4097 -x3408 x107 x1123 -x2818 -x2868
403.79/403.92 v -x3163 -x3402 x563 x1124 -x1741 -x3366 -x3400 -x104 -x1128 x1737 -x3368 x3435 x3882 -x429 x1107 -x1492 -x2874 -x425 -x455 -x2638
403.79/403.92 v -x2872 -x3365 x3884 x3889 -x1608 -x3360 -x3758 x3888 x4488 x4472 x452 -x1537 -x1607 x3354 -x4471 -x4512 x504 -x2641 -x4470
403.79/403.92 v x4513 -x446 x506 -x2642 -x3755 -x4517 -x4577 -x169 -x1383 x1613 x4496 x503 -x1379 x1611 -x3749 -x4574 -x1540 x2251 -x4565 x498
403.79/403.92 v -x1541 x2252 -x2248 x492 -x861 x2244 x3211 x1563 -x2236 -x2743 x3212 x1547 -x2057 -x2237 x3208 x3830 -x858 x1546 x2045 -x2699
403.79/403.92 v -x2745 -x3204 x3831 x1544 -x2049 x2682 -x2750 x3827 -x4034 -x852 -x2044 -x2683 -x2749 -x2752 -x3198 x3823 x4030 -x701 x912
403.79/403.92 v -x2485 -x2588 x3623 -x559 x692 x911 -x2156 -x2484 -x3619 x696 x2142 -x2483 -x3413 -x558 -x690 x1174 -x1488 -x2141 x2479 -x3415
403.79/403.92 v x3611 -x688 x1158 -x2140 -x3612 -x4102 -x1157 -x1487 -x2471 -x2822 -x3412 -x4098 x564 -x1156 -x2472 x108 x562 -x2722 -x2819
403.79/403.92 v -x2870 -x3367 -x3407 x1120 -x1493 -x1739 x2871 x1108 -x1491 x1735 -x2369 -x2875 -x3401 x1112 -x2854 -x3542 -x165 -x1106 -x2637
403.79/403.92 v -x3364 x3885 -x1104 -x2725 x3869 -x4483 -x164 -x2639 -x2726 -x3358 -x3868 -x4484 x4561 -x2372 -x2644 x3741 -x3867 -x4480
403.79/403.92 v x450 -x505 -x1536 -x1609 -x2373 -x2643 -x4476 x4560 x170 x1610 -x2617 -x4509 -x168 -x447 -x1538 x1614 -x3753 -x4468 x4497 -x4578
403.79/403.92 v x1543 x1593 -x2250 -x4469 -x4501 x4566 -x502 -x1197 -x1542 -x2249 -x3750 x4495 x4564 -x4493 x496 -x2247 -x3210 -x2243 -x3209
403.79/403.92 v -x1200 x1558 -x2054 x3829 -x1201 x1559 -x2056 x3828 -x1555 -x2694 x3207 -x856 -x1551 x2053 x2695 -x2746 -x3203 -x2691 x2729
403.79/403.92 v x3826 -x4035 -x724 -x853 -x1322 x1545 -x2048 x2687 -x2730 x3822 -x4031 x900 x2152 -x2587 x3622 -x609 -x700 x899 x2151 -x3414
403.79/403.92 v -x3618 -x898 -x1169 x2150 -x2482 -x560 -x695 x1170 -x2146 -x2478 -x3538 x4349 -x561 -x1166 x2592 x565 -x689 -x1162 -x1489
403.79/403.92 v -x2138 -x2823 -x3411 -x3537 x544 x612 x1117 -x1490 -x2139 x613 x1119 -x1154 -x1494 -x2721 -x3405 -x3737 -x4249 -x1155 x1473
403.79/403.92 v -x1740 x2867 -x3543 -x4352 -x1116 x1736 -x2368 -x2464 -x2613 -x2723 x2855 -x3541 -x3736 -x4353 -x2728 x2859 x3880 -x4482 -x1111
403.79/403.92 v -x2370 -x2612 -x2727 -x2853 -x2966 -x3362 x3881 -x4481 -x1727 -x2375 -x2851 x3742 x3877 -x4252 -x166 -x1105 -x2374 -x2640
403.79/403.92 v -x3359 x3740 -x3873 -x4253 -x167 -x2467 -x2618 -x2624 -x4479 -x4506 x171 -x451 -x2468 -x2616 -x2623 -x3865 -x4475 -x4508 x4562
403.79/403.92 v x150 x1606 -x2622 -x2969 -x3866 x4563 -x1539 x1594 -x2970 -x3754 x4505 x4567 x1523 x1598 x4546 -x500 -x1196 x1522 x1592 -x3563
403.79/403.92 v -x4500 x1521 x1590 x497 -x1198 -x4494 -x1203 x1557 -x2245 -x1202 x1556 -x2055 -x2241 -x2693 x3566 -x1318 -x2692 x3567 -x1554
403.79/403.92 v -x2741 -x3205 -x4071 -x857 -x1550 x2052 -x2742 -x3201 -x2690 x2738 x3824 -x723 -x1321 -x2046 x2686 x2734 x3820 x908 -x1168
403.79/403.92 v -x2131 -x2589 x3620 -x66 -x608 -x699 x904 -x1167 -x3616 x2149 -x2480 x2593 x610 -x693 -x896 -x2145 -x2476 x2591 x4348 x557
403.79/403.92 v x615 -x897 -x1165 x545 x614 -x1118 -x1161 -x1222 -x1723 -x3409 -x3539 x4350 x549 x1486 -x2864 -x3540 x4355 x543 x1474 -x1722
403.79/403.92 v -x2866 -x3406 x3544 -x4248 -x4354 -x541 x1478 -x3523 x3879 -x1115 -x1472 -x2463 -x2724 -x2863 -x3738 x3878 -x4250 x4449 -x1225
403.79/403.92 v -x1470 -x1728 -x2708 -x3068 x3739 -x4255 -x1109 -x1226 -x1726 -x2371 -x2465 -x2614 -x2707 -x2858 -x2965 -x3363 x3743 -x4254
403.79/403.92 v -x1844 x2355 -x2470 -x2615 -x2635 -x2706 -x3722 x3876 x2354 -x2469 -x2619 -x2636 -x2852 -x2967 -x3872 -x4507 -x163 x1603 x2353
403.79/403.92 v -x2598 -x2632 -x2972 x4452 -x4477 x151 x1605 -x2628 -x2971 x4453 -x4473 x155 -x1534 x4559 -x149 x1535 x1602 -x2620 -x4504
403.79/403.92 v x4547 -x147 x1531 -x2621 x4551 -x501 x1527 x1597 -x3562 -x4067 -x4498 x4545 -x4543 -x1199 x1519 x1591 -x3564 -x4066 x1183 -x1520
403.79/403.92 v -x2246 x3569 -x1182 -x2242 x3568 -x1181 -x2740 -x4072 x720 -x1317 -x2739 -x4070 x798 -x1552 -x3206 x719 -x1319 -x1548 x2050
403.79/403.92 v -x3202 -x1324 -x2688 -x2737 x3825 -x725 -x1323 x1819 -x2047 x2684 -x2733 x3821 x907 -x2036 -x2130 -x2590 -x3621 x65 -x697
403.79/403.92 v -x903 x2594 -x3617 -x554 x2147 -x2481 x2576 -x556 x611 -x694 -x2143 -x2477 -x3064 -x69 x595 -x1163 -x1483 -x2135 -x70 x553 x594
403.79/403.92 v -x1159 -x1221 -x1485 -x1840 -x2865 -x3063 -x3410 -x3696 x4351 -x593 -x3536 x4335 x548 -x1223 x1482 -x1724 -x1839 x3524 -x4334
403.79/403.92 v x1228 -x1725 -x2719 -x3069 x3528 -x4333 -x542 -x1113 -x1227 x1477 -x1729 -x2720 -x2862 -x3067 -x3522 -x4251 x4448 -x1708
403.79/403.92 v x1845 -x2183 -x2366 -x2634 -x2716 -x3520 -x3699 -x3735 -x4235 -x1110 -x1471 x1843 -x2367 -x2466 -x2633 -x2712 -x2856 -x3700
403.79/403.92 v x3723 -x4234 x4450 -x160 x2363 -x2450 -x2611 -x3727 -x3874 -x4233 x4455 -x162 x1604 -x2359 -x2449 -x2599 -x2704 -x2968 -x3721
403.79/403.92 v -x3870 x4454 -x1533 -x2448 -x2603 -x2631 -x2705 x2952 -x3719 -x4478 -x4556 x159 -x1532 -x2351 -x2597 -x2627 x2951 -x4474 -x4558
403.79/403.92 v -x2352 -x2595 -x2950 x154 x1601 -x4502 x4555 -x1530 -x148 -x794 -x1526 x1595 x2806 -x4499 -x4550 x1194 -x793 x1195 x3565
403.79/403.92 v -x4068 -x4544 -x1191 x3549 -x4069 -x889 -x1187 -x3548 x4073 x799 x2809 -x3547 -x4052 x797 -x1179 x2810 -x1180 -x1553 x721 -x1320
403.79/403.92 v -x1549 x2051 x722 -x892 x1303 -x2689 -x2735 -x726 -x893 x1304 x1818 x2685 -x2731 x905 -x2035 -x2132 x2586 x67 -x555 -x698
403.79/403.92 v -x901 x2577 x72 -x606 -x2136 x2148 x2581 x71 -x607 -x1484 -x2134 -x2144 -x2179 x2575 -x603 -x1164 -x2040 -x2573 -x3533 x4346
403.79/403.92 v -x552 -x599 -x1160 -x2178 -x3065 -x3535 -x3695 x4347 -x2718 -x3066 x4343 -x546 -x591 -x1224 x1481 -x1841 -x2717 -x3070 x3532
403.79/403.92 v -x3697 -x4339 -x592 x1208 x1721 -x1842 -x2184 -x2365 -x3049 -x3702 -x3732 -x4246 -x484 -x1114 -x1207 x1475 x1709 x1846 -x2182
403.79/403.92 v -x2364 -x2860 -x3527 -x3701 -x3734 -x4247 -x4331 -x1206 x1713 x1825 -x2461 -x2608 -x2715 -x4243 -x4332 -x161 -x1707 -x2462
403.79/403.92 v -x2610 -x2711 -x2857 -x3521 -x3731 -x4239 x4451 -x1705 -x2362 -x2443 -x2458 -x2963 -x3875 x4435 -x2358 -x2454 -x2527 -x2607 -x2964
403.79/403.92 v -x3726 -x3871 -x4231 x4434 -x4557 -x487 -x2629 -x2960 -x4232 x4433 x158 -x488 -x2446 -x2602 -x2625 x2956 -x3720 -x2208
403.79/403.92 v -x2447 x152 x1599 -x2596 -x2948 -x4503 -x4554 -x1193 -x1528 -x2530 -x2949 -x3517 -x1192 -x1524 -x1596 -x2531 x2805 -x4548 -x3560
403.79/403.92 v x795 x2807 -x3561 x796 -x1190 x2812 -x3557 x4065 -x4540 x800 -x888 -x1186 x2811 -x3553 x4053 -x779 x4057 x890 x1815 -x3545
403.79/403.92 v -x4051 x895 x1315 -x3546 -x4049 x894 x1316 x1814 x718 x1312 -x2736 x714 x1308 x1820 -x2732 -x605 x906 -x2037 x2133 x68 -x604
403.79/403.92 v -x902 x2137 x2585 x54 -x2041 x2119 -x4345 -x53 -x2039 -x2580 -x3534 x4344 -x52 -x602 -x550 -x598 -x2180 -x2439 -x2574 x1219
403.79/403.92 v -x1718 -x2181 -x3062 -x4245 -x4342 -x547 x1220 x1479 x1720 -x2185 -x2438 -x3050 -x3531 -x3698 -x3733 -x4244 -x4338 -x144 -x1216
403.79/403.92 v -x1838 -x2164 -x2460 -x3054 x3682 -x483 x1212 x1476 -x1717 x1826 -x2204 -x2459 -x2609 -x2861 -x3048 -x3525 -x3681 x1830 -x2444
403.79/403.92 v -x2713 -x2962 -x3046 -x3680 -x4242 -x4446 x485 -x1204 -x1712 x1824 -x2203 -x2442 -x2709 -x2961 -x3513 -x3730 -x4238 -x4447
403.79/403.92 v -x490 -x1205 x1822 -x2360 -x2457 -x4443 -x489 x997 -x1706 -x2356 -x2453 -x2526 -x2606 -x3512 -x3724 -x4439 -x2209 -x2630
403.79/403.92 v -x2959 x156 -x2207 -x2528 -x2600 -x2626 x2955 -x4431 -x4536 -x2533 -x3518 -x4432 x153 -x1600 -x2532 -x3516 -x4535 -x4552 x1000
403.79/403.92 v -x1529 -x3559 x1001 -x1525 -x3558 -x4549 x4062 -x4541 x2808 x4064 -x4539 -x792 -x1188 -x1347 x2792 -x3556 x780 -x1184 x2791
403.79/403.92 v -x3552 x4061 -x784 -x1101 x1314 -x2790 -x778 x891 x1313 x4056 -x715 -x776 x875 -x3243 -x717 x874 x1816 -x4050 -x872 x1311 x1817
403.79/403.92 v -x2283 x713 x1307 x1821 -x3266 -x64 -x2038 -x2129 -x63 -x140 -x299 x744 -x2042 x2120 x2584 -x62 -x2024 x2124 -x58 -x139 x2118
403.79/403.92 v -x2578 x4610 -x600 x1218 -x2116 -x3059 -x50 -x551 -x596 x1217 -x1719 -x3061 -x51 -x145 -x302 -x748 -x1835 x2177 x3693 -x4340
403.79/403.92 v -x143 -x303 x1480 -x1837 x2165 -x2326 -x2440 -x3058 -x3529 x3694 -x4336 -x1215 -x2169 -x2441 x3690 -x4445 -x4613 -x1211
403.79/403.92 v -x1716 -x1834 -x2163 x2445 -x3053 -x3526 -x3686 x4174 -x4444 -x4614 -x2161 x2424 -x2714 -x4240 x486 -x1710 -x1829 x2205 -x2710
403.79/403.92 v -x2941 -x3047 -x3678 -x3728 -x4236 x470 -x1677 x2206 -x2329 -x2361 -x2455 -x3679 -x4442 -x469 x996 x1823 -x2210 -x2330 -x2357
403.79/403.92 v -x2451 -x2604 -x3514 -x3725 -x4438 -x468 x2189 -x2957 -x3515 -x4177 x157 x998 -x1343 -x2529 -x2601 -x2953 -x3519 -x4178 x1003
403.79/403.92 v -x2513 -x2944 -x3498 x1002 -x1097 x1342 -x2512 -x2552 -x2945 -x4537 -x4553 -x2511 -x4428 -x4538 -x931 -x1096 -x3239 x4063
403.79/403.92 v -x4542 -x789 -x1348 x2803 -x4521 -x791 -x1346 -x2279 x2804 -x3238 x1102 -x1189 x2555 -x2800 -x3554 -x788 -x1100 -x1185 -x2278
403.79/403.92 v x2556 x2796 -x3262 -x3550 x4060 x886 -x934 -x1151 -x3244 -x716 -x783 x887 -x935 -x2788 -x3242 x3261 -x4054 x883 -x2284 -x2789
403.79/403.92 v -x777 -x879 -x2282 x1309 x1813 -x3267 x712 -x873 x1305 x1809 -x3265 -x1296 -x2034 -x298 x743 -x2025 -x2128 x2582 -x61 -x2029
403.79/403.92 v -x57 -x141 -x300 -x2023 x2123 -x2579 -x3060 x4609 -x142 x305 -x601 -x749 -x2021 x2174 -x3692 x146 -x304 -x597 -x747 -x1673
403.79/403.92 v -x1836 -x2117 x2176 -x3691 -x3858 x4611 x125 -x4341 x4616 -x1672 -x2173 -x2325 -x3057 -x3530 -x4337 -x4615 -x1213 x2437 -x2995
403.79/403.92 v x3689 -x1209 -x1714 -x1833 -x2168 -x2327 x2425 -x3051 -x3685 x4173 -x481 -x1678 -x2332 x2429 x3861 -x4241 -x482 -x1676 -x1711
403.79/403.92 v -x1827 -x2162 -x2331 -x2423 -x2940 -x3729 x3862 x4175 -x4237 x4424 -x478 -x2202 -x2421 -x2456 -x4180 -x4440 -x474 -x2014
403.79/403.92 v x2190 -x2452 -x2605 x2942 -x4179 x4423 -x4436 x2194 -x2524 x2947 -x2958 -x3511 -x466 x999 x2188 -x2525 -x2946 -x2954 -x3346 x3499
403.79/403.92 v -x467 x983 x2186 -x2521 x3503 -x4429 x982 -x1147 x1344 -x2517 -x2551 -x3497 -x4427 x981 x1345 -x2017 x2802 -x3495 -x3608
403.79/403.92 v -x4534 -x790 -x930 x1098 -x1146 -x1349 -x2018 -x2084 -x2509 -x2553 x2801 -x4522 x1099 -x1328 -x2510 x2558 -x3349 -x4526 -x932
403.79/403.92 v x1103 x2557 -x3240 -x3350 -x4520 -x885 x937 x1082 x1152 -x2799 -x3241 -x3555 -x4518 -x787 -x884 x936 -x1150 -x2280 x2795 -x3245
403.79/403.92 v -x3551 -x4058 -x2087 x2281 -x3224 -x781 -x2088 -x2285 x3263 -x4055 x882 -x1810 -x2264 x3264 -x878 x1812 -x3268 x1310 -x3246
403.79/403.92 v -x416 x710 x1306 x1808 -x3150 -x1295 x745 -x1438 -x2033 -x2127 x2583 -x2991 -x59 x746 x3282 -x55 -x301 -x750 -x2028 -x2121
403.79/403.92 v x2175 -x2990 x3283 x138 x285 x730 -x1300 x126 -x284 -x2022 -x3857 x4612 -x130 -x283 -x1441 x2434 -x2996 x4596 x124 -x1442 -x1674
403.79/403.92 v -x2172 x2436 -x2994 -x3055 -x3859 x4595 -x122 -x480 -x1214 x1675 -x3687 x3864 -x4594 -x479 -x1210 -x1679 -x1715 -x1831
403.79/403.92 v -x2166 x2328 -x2433 -x3052 -x3683 x3863 -x1658 -x2199 x2312 -x1828 -x2201 x2311 -x2428 -x3604 x4176 -x477 -x846 x2310 -x2523
403.79/403.92 v -x3508 x4160 -x4441 -x473 -x2013 -x2198 -x2422 -x2522 x2943 -x3510 -x3603 x4159 x4425 -x4437 -x994 x2927 -x4158 x4426 -x995 -x2015
403.79/403.92 v -x2193 -x2926 -x3345 x3507 x4430 x991 -x2020 -x2520 -x2925 x3609 -x4409 -x4531 x987 -x2019 x2187 -x2516 -x3347 x3502 -x3607
403.79/403.92 v -x4533 -x1341 -x3352 x979 x1148 x1329 -x2083 -x2554 -x3351 -x3496 -x4530 -x980 x1095 x1149 -x1333 -x1417 x2538 -x933 x1083
403.79/403.92 v x1153 -x1327 -x2085 -x2537 -x4525 x917 x1087 -x1132 -x1325 -x2090 -x2536 -x2797 -x3237 -x785 x916 x1081 -x2089 x2793 -x3225
403.79/403.92 v -x4059 -x4519 x915 -x1079 x2277 -x3229 -x782 -x1811 x2265 x3146 -x3223 -x880 x2269 -x2667 -x3221 x3260 -x876 -x2263 x3248 -x2261
403.79/403.92 v x3252 x415 -x711 x1807 x3149 -x3247 -x1297 x3285 -x1437 -x2032 -x2125 x3284 -x60 -x135 x227 x296 x742 -x1301 -x56 x137
403.79/403.92 v -x228 x297 x731 -x1299 -x1439 -x2026 -x2122 -x2992 x293 -x735 -x1444 -x2993 -x4607 -x134 x289 x729 -x842 -x1443 -x2435 -x2997
403.79/403.92 v -x4608 -x727 x2976 -x4604 -x129 -x281 -x841 -x2170 -x3056 -x3860 x4600 -x282 -x660 x1671 -x2323 -x3688 x3844 -x123 x1659 -x1832
403.79/403.92 v -x2167 -x2200 -x2324 -x2432 -x3684 x3843 -x4592 -x847 -x1663 x2320 -x3815 x3842 x4171 -x4593 -x845 -x1657 x2316 -x2426 -x3509
403.79/403.92 v x4172 -x475 -x993 -x1655 -x2938 x4168 -x471 -x992 -x1413 -x2197 -x2308 -x2939 -x3605 x4164 -x2309 -x2935 -x3606 x4422 -x1412
403.79/403.92 v -x1698 -x2016 -x2191 -x2931 x3506 x3610 -x4156 x4410 -x4532 -x990 -x1338 x2000 -x2518 x3589 -x4157 -x4414 x986 -x1340 -x1999
403.79/403.92 v -x2514 -x2923 -x3348 x3500 -x4408 -x1092 -x1418 -x1998 -x2549 -x2924 -x3332 -x4406 -x1094 -x1337 -x1416 -x2550 -x2663 -x3331
403.79/403.92 v -x4224 -x4529 -x928 -x1145 x1701 x2546 -x3234 -x3330 -x929 -x1091 x1133 -x1332 -x1702 -x2086 x2542 -x2662 -x3236 -x4374
403.79/403.92 v -x4523 -x925 -x1137 -x2070 -x2274 -x2798 -x786 x921 x1086 -x1131 -x1326 -x1864 -x2069 -x2276 -x2534 -x2794 -x3233 x960 -x1129
403.79/403.92 v -x2068 -x2535 -x2668 -x3257 -x4227 -x412 -x913 -x1080 x2273 -x2666 x3145 -x3228 x3259 -x4228 -x881 -x914 -x4377 -x411 -x877
403.79/403.92 v x2268 x3147 -x3222 x3256 -x4378 -x1867 x3152 x417 -x821 x1805 -x1868 -x2262 x3151 -x3251 x230 -x295 x741 -x1298 x3273 -x136 x229
403.79/403.92 v -x294 -x656 x740 -x1302 -x2030 -x2126 x3272 -x3786 x1284 -x3271 -x4606 x655 x739 -x1440 -x2027 x3811 -x4605 -x292 x1424 -x2989
403.79/403.92 v -x133 -x288 -x734 x1423 x2977 x3810 -x661 -x1422 -x1668 -x2322 x2981 -x3790 x3855 -x4603 -x127 -x659 -x728 -x843 x1670
403.79/403.92 v -x2171 -x2321 x2975 x3856 -x4599 -x844 x2973 -x3816 x3852 -x4170 -x848 -x1667 -x2430 -x3814 x3848 x4169 x827 -x2319 -x2937 -x3650
403.79/403.92 v -x1662 -x2315 -x2427 -x2936 x3840 -x476 -x3841 x4167 -x4419 -x472 -x1656 -x2195 x4163 -x4421 x2011 -x2934 x3602 -x1339 -x1414
403.79/403.92 v -x1697 x2012 -x2192 -x2930 -x3504 x3590 -x3671 -x4418 -x988 -x1415 x2008 -x2519 -x2548 -x3343 -x3594 -x956 x984 -x1093
403.79/403.92 v -x1419 -x1699 -x2004 -x2515 -x2547 -x3344 x3501 x3588 -x4413 -x927 -x1142 -x1398 x1704 -x3340 -x3586 -x926 -x955 -x1144 -x1336
403.79/403.92 v x1703 -x1996 -x3235 -x3336 -x4223 -x4407 -x4527 -x1997 -x2081 x2545 -x3674 -x1090 x1141 -x1330 -x2082 -x2275 x2541 -x2664 -x3328
403.79/403.92 v -x3675 -x4225 -x4373 -x4524 -x924 x961 -x2078 -x2665 -x3329 -x4230 -x817 x920 x959 -x1084 -x1136 -x1863 -x2074 -x2669 -x3232
403.79/403.92 v -x3258 -x4229 -x4375 -x2648 -x4380 -x816 -x1130 -x1865 -x2066 -x2272 -x3226 -x4379 -x1870 -x2067 x413 -x1869 -x2266 x3148
403.79/403.92 v x3255 x414 -x822 x3131 x418 -x820 -x1806 x2305 x3132 -x3249 x218 x1294 x3281 -x43 x217 x1285 -x2031 x3277 -x3785 x216 x1289
403.79/403.92 v -x1435 -x2986 x657 -x738 -x1283 x1436 -x2988 -x3269 -x3646 -x290 x658 -x1281 -x1432 -x3270 x3791 -x3854 -x131 -x286 x662 -x732
403.79/403.92 v -x1428 -x1669 x2985 -x3645 -x3789 x3812 -x3853 x641 x3813 -x4601 -x128 -x1420 -x2980 x3817 -x4597 x840 -x1421 -x3651 -x3796
403.79/403.92 v x3851 x828 -x1666 -x2431 -x2974 -x3649 x3847 -x538 -x832 -x2317 x826 -x1660 -x2313 -x4420 x824 x2010 -x3599 x4165 x2009 -x2196
403.79/403.92 v -x3601 x4161 -x2932 -x3342 -x2928 -x3341 -x3505 -x3598 -x3670 -x4417 -x989 x1411 x2007 x985 -x1143 x1399 -x1700 -x2003 -x3593
403.79/403.92 v x3672 -x4411 -x1403 x1684 -x2080 -x3339 x3677 x957 -x1334 -x1397 x1683 -x2079 -x3335 -x3587 -x3676 -x4528 x958 -x1395 x1682
403.79/403.92 v -x2543 x962 -x1088 -x1140 -x1331 x2539 x4226 -x922 -x941 -x2077 -x2661 x4210 x918 -x1085 -x1134 -x2073 -x2649 -x3230 -x4209
403.79/403.92 v -x4376 -x2653 -x4208 -x4360 -x818 -x1866 -x2270 -x2301 -x2647 -x3227 -x4359 -x819 x1850 -x2645 x3143 -x4358 -x823 x1849 -x2267
403.79/403.92 v x3144 -x3253 x410 x801 -x1847 -x3140 -x326 x406 -x1946 x2304 -x3136 -x3250 x226 -x1434 x3280 -x42 x222 x1293 -x1433 -x2987
403.79/403.92 v x3276 -x3787 -x4199 x3788 -x214 -x534 -x736 x1288 x3792 -x46 -x215 -x291 x654 -x1431 -x3772 -x47 -x132 -x287 -x533 x642 -x733
403.79/403.92 v -x1282 -x1427 x2984 -x3647 x646 -x837 -x3648 -x3809 -x4202 -x4602 -x584 x640 -x839 -x2978 -x3652 x3797 -x4203 -x4598 -x539
403.79/403.92 v x638 x3631 -x3801 x3849 -x4278 -x537 -x836 -x1664 -x3795 x3845 -x2318 -x3793 -x831 -x1661 -x2314 -x3600 x587 -x4166 -x588
403.79/403.92 v x825 x4162 -x1408 -x2933 -x3308 x1410 -x2929 -x3597 -x4415 -x1695 x2005 x1407 x1696 -x2001 -x3591 x3673 -x4412 x1692 -x3337 x3657
403.79/403.92 v -x1335 -x1402 x1688 -x1773 -x3333 -x3656 x954 -x2544 -x2658 -x3655 x4221 x942 -x1089 -x1138 -x1396 -x1680 -x2414 x2540 -x2660
403.79/403.92 v x4222 -x923 x946 -x1681 -x2075 x4218 -x4371 -x322 x919 -x940 -x1135 -x2071 -x2657 -x3231 x4214 -x4372 -x938 x1776 -x1861
403.79/403.92 v x3142 -x4328 -x4368 -x321 x1777 -x1862 -x2271 -x2300 -x2652 x3141 -x4206 -x4364 x407 -x815 x1858 -x2417 -x4025 -x4207 x409
403.79/403.92 v x803 -x1854 -x2302 -x2418 -x2646 -x3254 -x4356 -x327 -x807 x2307 -x3139 -x4357 -x325 x405 x802 -x1848 -x1945 x2306 -x3135 -x225
403.79/403.92 v -x3278 x3955 x44 x221 -x1246 x1292 -x1366 -x3274 -x4198 -x4274 x49 -x651 x3784 -x48 -x653 -x737 x1286 -x1889 x3773 -x4200
403.79/403.92 v -x4273 -x1429 -x3777 -x3806 -x4205 -x535 -x650 -x838 -x1425 -x2982 -x3771 -x3808 -x3996 -x4204 x536 -x1250 x3644 -x3769 -x4279
403.79/403.92 v -x540 -x583 -x645 -x2979 -x3304 x3632 -x3805 -x4277 -x519 -x1892 -x3636 x3850 -x585 x639 -x835 -x1665 -x1893 -x3303 x3630 -x3800
403.79/403.92 v -x3846 x590 -x3492 x3628 -x3999 x589 -x829 -x3794 -x4000 x3309 -x1409 x3307 -x1694 x1802 -x1693 -x2109 -x3595 -x4416 x2006
403.79/403.92 v x3668 x1406 -x2002 -x3592 x3669 -x4324 -x951 x1691 -x3338 x3665 x4220 x953 -x1400 x1687 -x1772 -x2659 -x3334 -x3661 -x4021
403.79/403.92 v x4219 -x4323 -x2112 -x4370 x950 -x1139 -x1774 -x2113 -x2413 -x3653 -x4020 -x4369 -x374 x1779 -x1860 -x2076 -x3654 x4217 -x4329
403.79/403.92 v -x945 x1778 -x1859 -x2072 -x2415 -x2656 x4213 -x4327 -x812 -x2420 -x4026 -x4367 -x323 x408 -x814 -x939 -x1942 -x2419 -x2650
403.79/403.92 v -x4024 -x4363 -x324 x1857 x328 -x811 -x1853 -x1941 -x2303 -x306 x2286 -x3137 x404 -x806 -x1947 x2287 x3043 -x3133 -x223 -x3279
403.79/403.92 v -x3783 x3954 x45 -x219 -x345 -x652 -x1245 x1290 -x1365 -x3275 -x3782 x31 x30 x1287 -x1888 -x3488 -x3781 -x3807 -x4201 -x4275
403.79/403.92 v x29 -x1251 -x1369 -x1430 x3641 -x3959 x4185 -x4276 -x649 -x1249 -x1370 -x1426 -x1890 -x2983 -x3487 x3643 -x3776 -x3995 -x4184
403.79/403.92 v x4280 x532 -x1895 -x4183 -x4259 x520 -x643 x1798 -x1894 -x3640 -x3770 -x3804 -x3997 -x524 -x3493 x4002 -x518 x586 -x833
403.79/403.92 v x1797 -x3305 -x3491 -x3635 -x3798 -x4001 x278 -x516 x570 -x3306 x569 -x830 x3310 -x3629 x568 x1803 x3289 x1801 x3667 -x370 -x2108
403.79/403.92 v -x3596 x3666 -x369 -x952 -x1404 x2110 -x1689 -x2115 x2785 -x3664 -x1072 -x1401 x1685 -x2114 -x3660 -x4325 -x375 -x3106
403.79/403.92 v -x4326 -x373 x949 -x1775 -x3016 -x4022 -x4330 x1759 -x1993 -x4023 x4215 -x4309 -x813 -x943 -x1512 -x1758 -x2416 -x2654 -x3039
403.79/403.92 v -x4027 x4211 -x1075 -x1757 -x2400 -x4006 -x4365 -x4403 -x1076 -x2399 -x2651 -x3038 -x4361 x320 x1855 -x2298 -x2398 -x3019 x308
403.79/403.92 v -x810 -x1851 -x1943 -x2299 -x3020 -x312 x1515 -x1944 -x2295 x3044 -x3138 -x307 -x402 -x804 x1516 -x1916 -x1948 x2291 x3042
403.79/403.92 v -x3128 -x3134 x41 -x224 x631 x3956 x40 -x220 -x344 -x1247 x1291 -x1367 x39 -x1248 x1372 -x3960 -x4196 x35 -x274 -x395 -x1252
403.79/403.92 v -x1371 x3642 -x3780 -x3958 -x4197 -x348 -x529 -x1232 x4193 x4272 x27 -x273 -x349 -x531 -x647 -x1891 x3489 -x3774 -x4189 x4260
403.79/403.92 v x28 x1875 x3490 -x4264 -x528 -x644 x1874 x3494 -x3639 -x3802 -x3998 -x4181 -x4258 x279 -x398 -x581 -x1873 -x3473 x3982 -x4182
403.79/403.92 v -x4256 x277 -x399 -x523 -x582 -x834 x1799 -x3633 -x3799 -x3981 x578 x1800 x3302 -x3980 -x517 x574 x1804 -x2781 x3290 x1783
403.79/403.92 v x3294 x566 -x2780 -x3102 x3288 x567 -x3286 -x1989 -x3101 x2786 -x371 -x1405 -x1988 x2111 x2784 -x4399 -x372 -x1690 x2095 -x3107
403.79/403.92 v -x3662 -x376 -x1071 -x1686 x2094 -x3105 -x3658 -x4398 -x355 x773 -x1770 -x1994 x2093 -x4322 x947 -x1073 -x1771 -x1992 -x2229
403.79/403.92 v -x3015 -x4310 x1078 -x1767 -x2411 -x4019 x4216 -x4314 -x4404 -x944 -x1077 -x1511 x1763 -x1912 -x2412 -x2655 -x3017 -x4007
403.79/403.92 v x4212 -x4308 -x4402 x317 -x2297 -x2408 -x3022 -x4011 -x4306 -x4366 x319 -x1513 -x1755 -x1911 -x2296 -x2404 -x3021 -x3040 -x3124
403.79/403.92 v -x4005 -x4362 x1518 -x1756 x1856 -x2232 -x3041 -x4003 -x316 -x808 x1517 -x1852 -x2233 -x2396 x3045 -x1917 x1940 -x2294 -x2397
403.79/403.92 v x3023 -x311 -x403 -x805 -x1915 x1936 x2290 -x3127 -x3397 -x4153 -x4465 x630 x3957 -x4195 -x346 -x1368 x3961 -x4194 x38 -x351
403.79/403.92 v -x1244 x1354 -x3943 x4269 x34 -x350 -x394 -x530 x1233 -x1353 -x3778 x4271 -x635 x1237 -x1352 -x1886 -x4192 -x275 -x396 -x648
403.79/403.92 v -x1231 x1887 -x3775 -x4188 x4268 -x276 -x401 -x580 -x1229 x1883 x3486 -x3993 x280 -x400 -x527 -x579 -x1879 x3474 -x3637
403.79/403.92 v -x3803 x3994 -x4263 -x259 -x3299 x3478 x3990 -x521 -x1871 x3301 -x3472 -x3634 -x3986 -x4257 -x577 x1796 -x1872 -x3470 x573 x1784
403.79/403.92 v x3298 -x3978 x1788 -x3979 x769 x1782 -x2782 x3293 x1780 -x2783 -x3467 x768 x2787 -x3103 -x3287 x2106 x2766 -x3104 -x1990
403.79/403.92 v x2107 -x3108 -x368 x774 -x1769 -x1991 -x2103 -x3087 -x3663 -x4319 x356 x772 -x1768 -x1995 -x2099 -x3659 -x4321 -x4400 -x360 -x1974
403.79/403.92 v -x2410 -x4016 x4401 -x249 -x354 x948 -x1074 x2091 -x2228 -x2409 -x4018 -x4318 -x4405 -x352 x1058 -x1766 x2092 x4384 x318
403.79/403.92 v -x1057 -x1762 -x2230 x3018 -x4015 -x4149 -x4313 -x1056 x2235 -x2407 x3002 -x1514 -x1913 x2234 -x2403 x3001 -x3123 -x3393 -x4010
403.79/403.92 v -x4148 -x4307 -x252 x1498 -x1914 -x1937 x3000 -x3037 -x253 -x315 -x809 -x1497 -x1918 -x1939 x3025 -x3125 -x4004 -x1495 -x1896
403.79/403.92 v -x2292 -x2920 -x3029 -x3130 x4154 -x309 x1935 x2288 -x2679 x3024 -x3129 -x3396 -x4152 -x4464 x632 -x1243 -x1364 -x3953
403.79/403.92 v -x347 -x1242 -x1363 x3944 x4270 x36 x333 -x636 -x1362 -x1885 -x3948 x32 x332 -x634 -x1241 -x1358 -x1884 -x3779 -x3942 -x331 -x3483
403.79/403.92 v -x3940 -x3992 -x4190 -x397 x1236 -x1350 -x3485 -x3991 -x4186 x4267 -x4299 -x272 x381 -x1351 -x1882 x260 x380 -x525 -x1230
403.79/403.92 v -x1878 -x3300 -x3463 -x3482 -x3638 -x4261 -x264 -x379 -x1793 x3989 -x258 -x522 x1795 -x3462 -x3477 -x3985 -x256 -x575 x4302
403.79/403.92 v -x571 x1792 x3297 -x3471 x4303 -x3468 -x20 x1787 -x3291 -x3466 -x2105 x2779 x770 -x1022 x1781 -x2104 x2767 -x365 x771 -x2393
403.79/403.92 v x2771 -x3100 -x367 x775 -x1047 -x2765 -x3088 -x4320 -x23 x754 -x1987 -x2102 -x2763 -x3092 -x3937 -x24 -x364 -x1975 -x2098 -x3086
403.79/403.92 v -x4017 x1025 -x1069 -x1979 -x3084 x4397 -x248 -x359 x1026 -x1070 -x1463 -x1973 -x2916 -x4317 x4385 -x1050 -x1066 -x1764
403.79/403.92 v -x1971 -x3013 x4389 -x189 -x250 -x353 -x1051 -x1062 -x1760 x2231 -x2915 -x3014 -x4014 -x4311 x4383 -x255 -x1509 x2215 -x2405
403.79/403.92 v -x3010 -x3034 x4381 -x254 -x1054 -x1510 -x1938 -x2214 -x2401 x3006 -x3036 -x3392 -x4008 x4150 -x4461 -x1055 -x1466 x1506 -x1910
403.79/403.92 v -x2213 -x2921 x4151 -x313 -x1467 x1502 -x1898 -x2919 x2998 -x3033 -x3126 -x3394 x4155 -x4460 -x192 -x685 -x1902 -x2293 x2999
403.79/403.92 v -x3109 -x3399 x4133 -x193 -x310 -x1496 -x1897 x1934 x2289 -x2678 -x3028 -x3110 -x3398 -x4089 -x4466 x343 x633 x342 -x637
403.79/403.92 v x1964 -x3952 x37 x341 -x619 -x1361 x33 x337 -x1240 -x1357 -x3484 -x3947 -x269 -x392 -x4191 -x271 -x329 -x393 x1234 -x3941 -x4187
403.79/403.92 v x4265 -x4298 -x330 x389 -x1880 -x268 x385 -x526 -x1794 -x1876 -x3481 -x4262 -x4300 x3987 x4305 -x263 -x377 -x2389 x3464 -x3475
403.79/403.92 v -x3983 x4304 -x378 -x576 x3465 -x257 -x572 -x1791 -x2388 x3295 x3469 x3933 x2776 -x3448 -x19 x1785 x2778 -x3292 x3932 -x2394
403.79/403.92 v -x3097 -x21 x91 -x366 -x1021 -x2392 -x2775 -x3099 x26 -x767 -x1984 x3938 -x25 x755 -x1023 -x1046 -x1986 -x2770 -x3096 -x3936
403.79/403.92 v x759 x1028 -x1068 -x2100 x4394 -x363 x753 x1027 -x1048 -x1067 -x1983 -x2096 -x2764 -x3091 x4396 -x94 x751 -x1053 -x3012
403.79/403.92 v -x95 -x357 -x681 -x1052 -x1462 -x1978 -x3011 -x3085 -x4315 -x4393 -x1065 -x1508 -x1765 -x2226 -x188 -x251 -x680 -x1061 -x1464
403.79/403.92 v -x1507 -x1761 -x1972 x2227 -x2917 -x3035 -x4012 -x4085 -x4312 x4388 x235 -x1469 -x1907 x2223 -x2406 -x2918 -x3009 -x190 -x234
403.79/403.92 v -x1468 -x1909 -x2219 -x2402 -x2675 -x2922 x3005 -x4009 -x4084 x4382 -x195 -x233 -x686 -x1505 -x2901 -x3121 -x3912 x4147 -x194
403.79/403.92 v -x314 -x684 x1501 -x1906 -x2211 -x2674 -x3032 -x3122 -x3395 x4135 -x4462 -x2212 -x3118 x3378 -x4090 -x4139 -x4463 -x1901
403.79/403.92 v -x1932 -x2680 -x3026 -x3114 -x3379 -x4088 x4134 x4467 x629 x620 x1963 -x3951 x340 -x391 x624 -x1359 -x270 x336 -x390 -x618 -x1238
403.79/403.92 v -x1355 -x3945 -x616 x1967 x1235 -x1968 x4266 x388 -x1881 -x267 x384 -x1877 -x3479 x4301 x3988 x4285 -x261 -x3476 -x3984
403.79/403.92 v x4284 -x1634 -x3461 x4283 -x1789 -x2390 -x2777 x3296 x3449 -x2391 x3453 x1786 x2395 -x3098 -x3447 x3934 -x211 -x764 x2379 -x3445
403.79/403.92 v x3935 -x22 x90 -x766 -x1985 -x2774 x3939 x6 x3918 x5 x92 -x763 -x1024 -x2768 -x3095 -x3190 x4395 -x4 -x97 x1008 -x2101 -x96
403.79/403.92 v -x361 x758 x1007 -x1049 -x1982 -x2097 -x3089 x3908 x1006 -x1033 -x2225 -x358 x752 -x1032 -x1976 -x2224 x3907 -x4316 -x4392
403.79/403.92 v -x246 -x1031 -x1063 -x2895 -x3193 x247 -x682 -x1059 -x1465 -x1908 -x3194 -x4013 -x4386 -x243 -x683 -x1449 -x1587 x2222 -x2914
403.79/403.92 v -x3007 -x3120 -x3913 x4144 -x191 -x239 -x687 -x1448 -x2218 -x2902 x3003 -x3119 -x3911 x4086 x4146 x175 -x666 -x1447 -x1503
403.79/403.92 v -x2906 -x3390 x4087 x174 -x231 x1499 -x1905 -x2676 -x2900 -x3030 -x3391 -x4091 -x4143 -x172 -x232 -x2677 -x2898 -x3117 -x3387
403.79/403.92 v x4074 x4459 -x1899 -x1933 -x2681 -x3027 -x3113 x3383 -x4138 x628 x1965 -x2566 -x3321 -x3949 x338 -x1360 x1970 -x334 -x623 -x1239
403.79/403.92 v -x1356 -x1630 x1969 -x3946 -x617 x1629 -x386 x3325 x4296 -x207 -x265 x382 -x3480 x4297 x1635 -x1652 -x3458 x4293 -x206 -x262
403.79/403.92 v -x1633 -x3460 x4289 -x2348 -x1790 x3457 -x4281 -x212 x2387 -x4282 -x210 -x765 x3452 x17 -x2383 x3931 x18 x2378 -x2772 -x2891
403.79/403.92 v -x3446 x3919 x14 -x1019 -x2376 -x3923 x10 x93 -x762 -x1020 -x1583 -x2769 x2890 -x3093 -x3189 -x3917 x77 -x1016 -x1044 -x3915
403.79/403.92 v -x2 x76 -x362 -x756 x1012 -x1045 -x1582 -x1980 -x3090 -x3191 -x3 -x75 -x245 -x1041 x2896 x3196 -x244 x1004 -x1037 -x1977
403.79/403.92 v -x2894 x3195 x3909 -x4390 x1005 -x1064 -x1460 -x1588 -x2911 x3910 -x1029 -x1060 -x1461 -x1586 -x2913 -x3914 x4145 -x4387 -x186
403.79/403.92 v -x242 -x679 -x1030 -x1457 x2220 -x3008 -x3389 x3893 -x187 -x238 x667 -x1453 -x2216 -x2910 x3004 -x3388 x183 x671 -x1504 x4083
403.79/403.92 v -x4456 -x179 -x665 -x1445 x1500 -x1903 -x2905 -x3031 -x4142 -x4458 -x663 -x1446 x2673 -x3115 -x3386 -x173 -x1900 -x2899 -x3111
403.79/403.92 v x3382 -x4075 -x4136 x627 -x1648 x1966 -x2565 -x3320 -x3950 x4126 x339 x1953 -x335 -x621 -x1647 x1952 -x2344 -x3579 x1951
403.79/403.92 v -x2569 x3326 -x4295 x1631 -x2343 -x2570 x3324 -x4294 -x387 x1632 -x1653 -x4129 -x266 x383 x1636 -x1651 -x3077 -x3459 -x4130
403.79/403.92 v x1618 -x2349 -x3582 x4292 -x208 -x2347 -x3583 x4288 x209 x2384 x213 x2386 -x3456 -x16 -x199 -x3080 x3928 -x15 -x3081 x3450 x3930
403.79/403.92 v -x1018 -x1017 -x1274 -x2382 -x2773 x3927 x13 -x88 -x1043 x9 -x89 -x760 -x1042 -x2377 x2892 -x3094 -x3922 -x85 -x1015 x2893
403.79/403.92 v -x81 -x757 x1011 -x1584 -x1981 x2897 -x3192 -x3916 -x1040 -x1277 -x1459 -x1585 x2879 x3177 -x73 -x1036 -x1278 -x1458 x1589
403.79/403.92 v -x2912 x3176 -x4391 -x74 -x185 -x676 x1571 -x3175 x3906 -x184 -x678 x3894 -x240 -x1456 -x2221 x3898 x4080 -x236 x675 -x1452
403.79/403.92 v -x2217 -x2909 -x3892 x4082 -x4457 x182 -x2670 -x3890 -x178 -x670 -x1904 x2672 -x2903 x4079 -x4140 -x3116 -x3384 -x664 -x3112
403.79/403.92 v -x3380 -x4137 x1962 x625 x1961 -x2567 -x3322 x4125 x1960 -x2572 x3323 -x622 x1649 -x1957 -x2571 x3327 -x3578 x4127 x1650 -x3314
403.79/403.92 v x4132 x1654 x1949 x2345 -x3580 -x4131 x1628 -x1640 -x1950 x2346 -x3585 x1619 -x2350 -x3076 -x3584 x1622 -x2336 x4290 x1617
403.79/403.92 v x2385 -x3078 -x4286 x205 x1615 -x3083 -x3082 -x3454 x3929 -x198 -x3451 -x87 -x196 -x86 -x1273 -x2380 x3926 x11 x7 -x761 -x1275
403.79/403.92 v -x3920 -x84 -x1013 -x1280 x2889 x3187 -x80 -x1009 -x1279 x2880 x3188 -x1038 x1581 x2883 x3184 -x3903 -x677 -x1034 x1572 x2878
403.79/403.92 v x3181 -x3905 x1575 x2876 x1570 -x3173 -x3902 -x4081 -x241 -x1454 -x1568 -x3174 -x237 -x674 -x1450 -x2671 -x2907 x3897 x180
403.79/403.92 v -x176 -x668 -x2904 -x3891 x4078 -x4141 -x3385 -x3381 -x1959 x2564 x3318 x4124 -x626 -x1644 x2568 x3317 x4123 -x1643 -x1958
403.79/403.92 v x2563 x3319 -x3577 x4122 -x1626 -x1645 -x1956 -x2340 x2562 x3315 -x3576 x4128 -x1625 x1646 -x2339 x2561 -x3316 -x3575 x4121 -x1627
403.79/403.92 v x1641 -x1954 x2341 -x2559 -x3313 -x3581 x4120 -x1624 -x1642 -x1955 x2342 -x2560 -x3075 -x3311 x3574 x4119 -x203 -x1623
403.79/403.92 v -x1639 x2337 -x3074 -x3312 x3573 x4117 -x202 -x1637 -x2338 x3073 -x3572 x4118 -x4291 x204 x1620 -x1638 -x2335 x3079 -x3570 -x4287
403.79/403.92 v x201 x1621 -x2333 -x3571 x200 -x1616 -x2334 -x3455 x3071 x4617 x1272 x3072 -x3925 -x197 x1271 -x2381 x2887 x3924 -x12 -x83
403.79/403.92 v x1270 x2886 x3186 x8 -x1276 -x1579 x2888 x3185 -x3921 -x82 -x1014 x1269 -x1578 x2885 x3183 -x78 -x1010 x1268 -x1580 x2884
403.79/403.92 v -x3904 -x1039 -x1267 x1577 x3182 -x3900 -x79 -x1035 -x1265 x1576 x2881 x3180 -x1266 x2882 -x3899 x1573 x2877 x3178 -x3901 -x673
403.79/403.92 v -x1455 x1574 x3179 -x672 -x1451 -x1569 -x2908 x3895 x181 x4077 -x177 -x669 x3896 x4076
403.79/403.92 c SCIP Status : problem is solved [optimal solution found]
403.79/403.92 c Solving Time : 398.64
403.79/403.92 c Original Problem :
403.79/403.92 c Problem name : HOME/instance-2665497-1276478753.opb
403.79/403.92 c Variables : 4617 (4617 binary, 0 integer, 0 implicit integer, 0 continuous)
403.79/403.92 c Constraints : 5280 initial, 5280 maximal
403.79/403.92 c Presolved Problem :
403.79/403.92 c Problem name : t_HOME/instance-2665497-1276478753.opb
403.79/403.92 c Variables : 4612 (4612 binary, 0 integer, 0 implicit integer, 0 continuous)
403.79/403.92 c Constraints : 5275 initial, 5275 maximal
403.79/403.92 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
403.79/403.92 c trivial : 0.00 0 0 0 0 0 0 0 0
403.79/403.92 c dualfix : 0.00 4 0 0 0 0 0 0 0
403.79/403.92 c boundshift : 0.00 0 0 0 0 0 0 0 0
403.79/403.92 c inttobinary : 0.00 0 0 0 0 0 0 0 0
403.79/403.92 c implics : 0.01 0 0 0 0 0 0 0 0
403.79/403.92 c probing : 0.19 0 0 0 0 0 0 0 0
403.79/403.92 c knapsack : 0.02 0 0 0 0 0 0 0 0
403.79/403.92 c setppc : 0.00 0 0 0 0 0 0 0 0
403.79/403.92 c linear : 0.06 1 0 0 1 0 5 0 0
403.79/403.92 c logicor : 0.04 0 0 0 0 0 0 0 0
403.79/403.92 c root node : - 33 - - 33 - - - -
403.79/403.92 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
403.79/403.92 c integral : 0 0 0 360 0 0 0 0 0 718
403.79/403.92 c knapsack : 876 1 6274 1 0 0 2 0 0 0
403.79/403.92 c setppc : 8 1 6268 1 0 0 41 0 0 0
403.79/403.92 c logicor : 4391 1 4967 1 0 0 1030 0 0 0
403.79/403.92 c countsols : 0 0 0 1 0 0 0 0 0 0
403.79/403.92 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
403.79/403.92 c integral : 202.73 0.00 0.00 202.73 0.00
403.79/403.92 c knapsack : 0.49 0.02 0.47 0.00 0.00
403.79/403.92 c setppc : 0.00 0.00 0.00 0.00 0.00
403.79/403.92 c logicor : 0.04 0.00 0.04 0.00 0.00
403.79/403.92 c countsols : 0.00 0.00 0.00 0.00 0.00
403.79/403.92 c Propagators : Time Calls Cutoffs DomReds
403.79/403.92 c vbounds : 0.00 2 0 0
403.79/403.92 c rootredcost : 0.01 4 0 17
403.79/403.92 c pseudoobj : 2.66 5452 0 0
403.79/403.92 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
403.79/403.92 c propagation : 0.00 0 0 0 0.0 0 0.0 -
403.79/403.92 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
403.79/403.92 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
403.79/403.92 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
403.79/403.92 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
403.79/403.92 c applied globally : - - - 0 0.0 - - -
403.79/403.92 c applied locally : - - - 0 0.0 - - -
403.79/403.92 c Separators : Time Calls Cutoffs DomReds Cuts Conss
403.79/403.92 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
403.79/403.92 c redcost : 0.17 362 0 3 0 0
403.79/403.92 c impliedbounds : 0.00 2 0 0 0 0
403.79/403.92 c intobj : 0.00 0 0 0 0 0
403.79/403.92 c cgmip : 0.00 0 0 0 0 0
403.79/403.92 c gomory : 2.38 2 0 0 0 0
403.79/403.92 c strongcg : 2.39 2 0 0 0 0
403.79/403.92 c cmir : 0.13 2 0 0 0 0
403.79/403.92 c flowcover : 0.10 2 0 0 0 0
403.79/403.92 c clique : 0.02 2 0 0 0 0
403.79/403.92 c zerohalf : 0.00 0 0 0 0 0
403.79/403.92 c mcf : 0.01 1 0 0 0 0
403.79/403.92 c rapidlearning : 1.41 1 0 0 0 0
403.79/403.92 c Pricers : Time Calls Vars
403.79/403.92 c problem variables: 0.00 0 0
403.79/403.92 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
403.79/403.92 c relpscost : 202.72 359 0 0 0 0 718
403.79/403.92 c pscost : 0.00 0 0 0 0 0 0
403.79/403.92 c inference : 0.00 0 0 0 0 0 0
403.79/403.92 c mostinf : 0.00 0 0 0 0 0 0
403.79/403.92 c leastinf : 0.00 0 0 0 0 0 0
403.79/403.92 c fullstrong : 0.00 0 0 0 0 0 0
403.79/403.92 c allfullstrong : 0.00 0 0 0 0 0 0
403.79/403.92 c random : 0.00 0 0 0 0 0 0
403.79/403.92 c Primal Heuristics : Time Calls Found
403.79/403.92 c LP solutions : 0.00 - 1
403.79/403.92 c pseudo solutions : 0.00 - 0
403.79/403.92 c rootsoldiving : 0.00 0 0
403.79/403.92 c linesearchdiving : 0.00 0 0
403.79/403.92 c guideddiving : 0.00 0 0
403.79/403.92 c feaspump : 0.00 0 0
403.79/403.92 c intshifting : 0.00 0 0
403.79/403.92 c oneopt : 0.09 9 5
403.79/403.92 c coefdiving : 28.61 1 1
403.79/403.92 c pscostdiving : 14.30 1 0
403.79/403.92 c fracdiving : 6.71 1 0
403.79/403.92 c veclendiving : 5.45 1 1
403.79/403.92 c objpscostdiving : 14.28 1 0
403.79/403.92 c crossover : 0.28 1 1
403.79/403.92 c trivial : 0.03 2 2
403.79/403.92 c simplerounding : 0.00 29 0
403.79/403.92 c zirounding : 0.20 358 0
403.79/403.92 c rounding : 17.30 359 1
403.79/403.92 c shifting : 1.87 37 2
403.79/403.92 c twoopt : 0.00 0 0
403.79/403.92 c fixandinfer : 0.00 0 0
403.79/403.92 c intdiving : 0.00 0 0
403.79/403.92 c actconsdiving : 0.00 0 0
403.79/403.92 c octane : 0.00 0 0
403.79/403.92 c rens : 40.30 1 1
403.79/403.92 c rins : 0.00 0 0
403.79/403.92 c localbranching : 0.00 0 0
403.79/403.92 c mutation : 0.00 0 0
403.79/403.92 c dins : 0.00 0 0
403.79/403.92 c undercover : 0.00 0 0
403.79/403.92 c nlp : 0.00 0 0
403.79/403.92 c trysol : 0.00 0 0
403.79/403.92 c LP : Time Calls Iterations Iter/call Iter/sec
403.79/403.92 c primal LP : 0.00 0 0 0.00 -
403.79/403.92 c dual LP : 56.95 364 42704 117.32 749.85
403.79/403.92 c lex dual LP : 0.00 0 0 0.00 -
403.79/403.92 c barrier LP : 0.00 0 0 0.00 -
403.79/403.92 c diving/probing LP: 60.46 2063 45596 22.10 754.15
403.79/403.92 c strong branching : 202.30 606 126445 208.66 625.04
403.79/403.92 c (at root node) : - 11 4917 447.00 -
403.79/403.92 c conflict analysis: 0.00 0 0 0.00 -
403.79/403.92 c B&B Tree :
403.79/403.92 c number of runs : 1
403.79/403.92 c nodes : 364
403.79/403.92 c nodes (total) : 364
403.79/403.92 c nodes left : 0
403.79/403.92 c max depth : 241
403.79/403.92 c max depth (total): 241
403.79/403.92 c backtracks : 5 (1.4%)
403.79/403.92 c delayed cutoffs : 0
403.79/403.92 c repropagations : 142 (16 domain reductions, 0 cutoffs)
403.79/403.92 c avg switch length: 3.59
403.79/403.92 c switching time : 0.03
403.79/403.92 c Solution :
403.79/403.92 c Solutions found : 15 (14 improvements)
403.79/403.92 c First Solution : +8.05600000000000e+03 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
403.79/403.92 c Primal Bound : +2.00000000000000e+00 (in run 1, after 364 nodes, 398.64 seconds, depth 241, found by <relaxation>)
403.79/403.92 c Dual Bound : +2.00000000000000e+00
403.79/403.92 c Gap : 0.00 %
403.79/403.92 c Root Dual Bound : +2.00000000000318e+00
403.79/403.92 c Root Iterations : 5446
403.79/403.99 c Time complete: 403.88.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665497-1276478753/watcher-2665497-1276478753 -o /tmp/evaluation-result-2665497-1276478753/solver-2665497-1276478753 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665497-1276478753.opb -t 1800 -m 1800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.90 1.99 1.64 3/106 27424 /proc/meminfo: memFree=1765996/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=8260 CPUtime=0 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 1007 0 0 0 0 0 0 0 21 0 1 0 21531640 8458240 927 1992294400 4194304 9819077 140734833472160 18446744073709551615 8678244 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27424/statm: 2065 928 366 1374 0 686 0 [startup+0.0451349 s] /proc/loadavg: 1.90 1.99 1.64 3/106 27424 /proc/meminfo: memFree=1765996/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=15604 CPUtime=0.04 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 2871 0 0 0 3 1 0 0 23 0 1 0 21531640 15978496 2790 1992294400 4194304 9819077 140734833472160 18446744073709551615 5648933 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27424/statm: 3901 2790 388 1374 0 2522 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15604 [startup+0.10114 s] /proc/loadavg: 1.90 1.99 1.64 3/106 27424 /proc/meminfo: memFree=1765996/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=16948 CPUtime=0.1 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 3206 0 0 0 9 1 0 0 23 0 1 0 21531640 17354752 3125 1992294400 4194304 9819077 140734833472160 18446744073709551615 8550839 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27424/statm: 4237 3125 388 1374 0 2858 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 16948 [startup+0.301159 s] /proc/loadavg: 1.90 1.99 1.64 3/106 27424 /proc/meminfo: memFree=1765996/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=38328 CPUtime=0.29 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 9468 0 0 0 24 5 0 0 23 0 1 0 21531640 39247872 8262 1992294400 4194304 9819077 140734833472160 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 9582 8262 503 1374 0 8203 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38328 [startup+0.701198 s] /proc/loadavg: 1.90 1.99 1.64 3/106 27424 /proc/meminfo: memFree=1765996/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=52720 CPUtime=0.69 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 15247 0 0 0 61 8 0 0 25 0 1 0 21531640 53985280 11264 1992294400 4194304 9819077 140734833472160 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 13180 11264 644 1374 0 11801 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 52720 [startup+1.50127 s] /proc/loadavg: 1.90 1.99 1.64 2/107 27425 /proc/meminfo: memFree=1723208/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=53640 CPUtime=1.5 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 17083 0 0 0 140 10 0 0 25 0 1 0 21531640 54927360 11283 1992294400 4194304 9819077 140734833472160 18446744073709551615 7316333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 13410 11283 644 1374 0 12031 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 53640 [startup+3.10043 s] /proc/loadavg: 1.90 1.99 1.64 2/107 27425 /proc/meminfo: memFree=1722216/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=54068 CPUtime=3.09 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 19032 0 0 0 298 11 0 0 25 0 1 0 21531640 55365632 11432 1992294400 4194304 9819077 140734833472160 18446744073709551615 6192320 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 13517 11432 644 1374 0 12138 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54068 [startup+6.30073 s] /proc/loadavg: 1.83 1.97 1.63 2/107 27425 /proc/meminfo: memFree=1722092/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=54308 CPUtime=6.29 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 22785 0 0 0 617 12 0 0 25 0 1 0 21531640 55611392 11387 1992294400 4194304 9819077 140734833472160 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 13577 11387 644 1374 0 12198 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54308 [startup+12.7003 s] /proc/loadavg: 1.76 1.96 1.63 2/107 27425 /proc/meminfo: memFree=1690720/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=89732 CPUtime=12.69 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 48767 0 0 0 1240 29 0 0 25 0 1 0 21531640 91885568 19398 1992294400 4194304 9819077 140734833472160 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 22433 19398 711 1374 0 21054 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 89732 [startup+25.5016 s] /proc/loadavg: 1.59 1.91 1.62 2/107 27425 /proc/meminfo: memFree=1690224/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=90192 CPUtime=25.48 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 105089 0 0 0 2483 65 0 0 25 0 1 0 21531640 92356608 19464 1992294400 4194304 9819077 140734833472160 18446744073709551615 7292241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 22548 19464 711 1374 0 21169 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 90192 [startup+51.101 s] /proc/loadavg: 1.39 1.84 1.60 2/107 27425 /proc/meminfo: memFree=1688364/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=92312 CPUtime=51.08 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 225274 0 0 0 4970 138 0 0 25 0 1 0 21531640 94527488 19963 1992294400 4194304 9819077 140734833472160 18446744073709551615 7291656 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 23078 19964 720 1374 0 21699 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 92312 [startup+102.309 s] /proc/loadavg: 1.17 1.70 1.57 2/107 27427 /proc/meminfo: memFree=1717504/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=62116 CPUtime=102.27 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 312519 0 0 0 10038 189 0 0 25 0 1 0 21531640 63606784 12663 1992294400 4194304 9819077 140734833472160 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 15529 12663 728 1374 0 14150 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 62116 [startup+162.301 s] /proc/loadavg: 1.06 1.57 1.53 2/107 27429 /proc/meminfo: memFree=1718868/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=57188 CPUtime=162.25 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 459292 0 0 0 15960 265 0 0 25 0 1 0 21531640 58560512 12267 1992294400 4194304 9819077 140734833472160 18446744073709551615 6191191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 14297 12267 728 1374 0 12918 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 57188 [startup+222.301 s] /proc/loadavg: 1.02 1.47 1.49 2/107 27431 /proc/meminfo: memFree=1715396/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=64424 CPUtime=222.24 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 547901 0 0 0 21908 316 0 0 25 0 1 0 21531640 65970176 13230 1992294400 4194304 9819077 140734833472160 18446744073709551615 7291979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 16106 13230 728 1374 0 14727 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 64424 [startup+282.301 s] /proc/loadavg: 1.01 1.38 1.46 2/107 27431 /proc/meminfo: memFree=1714652/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=58380 CPUtime=282.22 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 600620 0 0 0 27870 352 0 0 25 0 1 0 21531640 59781120 12589 1992294400 4194304 9819077 140734833472160 18446744073709551615 5430310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 14595 12589 728 1374 0 13216 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 58380 [startup+342.301 s] /proc/loadavg: 1.00 1.31 1.43 2/107 27433 /proc/meminfo: memFree=1717504/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=58708 CPUtime=342.21 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 722891 0 0 0 33801 420 0 0 25 0 1 0 21531640 60116992 12599 1992294400 4194304 9819077 140734833472160 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 14677 12599 728 1374 0 13298 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 58708 [startup+402.301 s] /proc/loadavg: 1.00 1.25 1.40 2/107 27435 /proc/meminfo: memFree=1715892/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=58048 CPUtime=402.19 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 873843 0 0 0 39718 501 0 0 25 0 1 0 21531640 59441152 12622 1992294400 4194304 9819077 140734833472160 18446744073709551615 7221930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 14512 12622 729 1374 0 13133 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 58048 Solver just ended. Dumping a history of the last processes samples [startup+403.102 s] /proc/loadavg: 1.00 1.25 1.40 2/107 27435 /proc/meminfo: memFree=1717132/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=64632 CPUtime=402.99 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 877298 0 0 0 39796 503 0 0 25 0 1 0 21531640 66183168 13402 1992294400 4194304 9819077 140734833472160 18446744073709551615 6512977 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 16158 13402 729 1374 0 14779 0 Current children cumulated CPU time (s) 402.99 Current children cumulated vsize (KiB) 64632 [startup+403.502 s] /proc/loadavg: 1.00 1.25 1.40 2/107 27435 /proc/meminfo: memFree=1717132/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=57732 CPUtime=403.4 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 879400 0 0 0 39836 504 0 0 25 0 1 0 21531640 59117568 12598 1992294400 4194304 9819077 140734833472160 18446744073709551615 6372188 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 14433 12603 729 1374 0 13054 0 Current children cumulated CPU time (s) 403.4 Current children cumulated vsize (KiB) 57732 [startup+403.902 s] /proc/loadavg: 1.00 1.25 1.40 2/107 27435 /proc/meminfo: memFree=1717132/2059040 swapFree=4140228/4192956 [pid=27424] ppid=27422 vsize=59128 CPUtime=403.79 /proc/27424/stat : 27424 (pbscip.linux.x8) R 27422 27424 27326 0 -1 4202496 880934 0 0 0 39875 504 0 0 25 0 1 0 21531640 60547072 12661 1992294400 4194304 9819077 140734833472160 18446744073709551615 4659954 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27424/statm: 14782 12661 729 1374 0 13403 0 Current children cumulated CPU time (s) 403.79 Current children cumulated vsize (KiB) 59128 Child status: 0 Real time (s): 403.99 CPU time (s): 403.891 CPU user time (s): 398.836 CPU system time (s): 5.05423 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 92460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 398.836 system time used= 5.05423 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 880939 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= 2 involuntary context switches= 1108 runsolver used 0.699893 second user time and 1.88771 second system time The end
Begin job on node018 at 2010-06-14 03:25:53 IDJOB=2665497 IDBENCH=2221 IDSOLVER=1168 FILE ID=node018/2665497-1276478753 PBS_JOBID= 11173380 Free space on /tmp= 62292 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665497-1276478753/watcher-2665497-1276478753 -o /tmp/evaluation-result-2665497-1276478753/solver-2665497-1276478753 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665497-1276478753.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 18cfc7903c565bab689cc8ffed68f1fd RANDOM SEED=1296093150 node018.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1766524 kB Buffers: 87616 kB Cached: 115372 kB SwapCached: 5768 kB Active: 98908 kB Inactive: 116464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1766524 kB SwapTotal: 4192956 kB SwapFree: 4140228 kB Dirty: 6436 kB Writeback: 0 kB AnonPages: 10960 kB Mapped: 12884 kB Slab: 55352 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179564 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62288 MiB End job on node018 at 2010-06-14 03:32:37