Trace number 2665605

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverOPT4 283.848 283.944

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
MD5SUM6272f76e60106089ef6773ef02321eb2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark8.76667
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4
Optimality of the best value was proved YES
Number of variables4624
Total number of constraints5263
Number of constraints which are clauses4404
Number of constraints which are cardinality constraints (but not clauses)859
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint22
Number of terms in the objective function 4624
Biggest coefficient in the objective function 2577
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 13335
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2577
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 13335
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	4

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665605-1276482676/watcher-2665605-1276482676 -o /tmp/evaluation-result-2665605-1276482676/solver-2665605-1276482676 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665605-1276482676.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: 0.92 0.98 0.99 3/106 29503
/proc/meminfo: memFree=1815208/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=8260 CPUtime=0
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 1008 0 0 0 0 0 0 0 18 0 1 0 23869207 8458240 929 1992294400 4194304 9819077 140737313135680 18446744073709551615 8678244 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29503/statm: 2065 929 366 1374 0 686 0

[startup+0.0467589 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29503
/proc/meminfo: memFree=1815208/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=15604 CPUtime=0.04
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 2871 0 0 0 3 1 0 0 20 0 1 0 23869207 15978496 2791 1992294400 4194304 9819077 140737313135680 18446744073709551615 8667820 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29503/statm: 3901 2791 388 1374 0 2522 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15604

[startup+0.101769 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29503
/proc/meminfo: memFree=1815208/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=16948 CPUtime=0.1
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 3206 0 0 0 9 1 0 0 20 0 1 0 23869207 17354752 3126 1992294400 4194304 9819077 140737313135680 18446744073709551615 8677958 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29503/statm: 4237 3126 388 1374 0 2858 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16948

[startup+0.300805 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29503
/proc/meminfo: memFree=1815208/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=38396 CPUtime=0.29
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 9249 0 0 0 25 4 0 0 20 0 1 0 23869207 39317504 8301 1992294400 4194304 9819077 140737313135680 18446744073709551615 4408811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 9599 8301 507 1374 0 8220 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38396

[startup+0.700876 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 29503
/proc/meminfo: memFree=1815208/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=53172 CPUtime=0.69
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 15186 0 0 0 62 7 0 0 21 0 1 0 23869207 54448128 11309 1992294400 4194304 9819077 140737313135680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 13293 11309 648 1374 0 11914 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53172

[startup+1.50102 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 29504
/proc/meminfo: memFree=1772048/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=53760 CPUtime=1.49
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 16902 0 0 0 141 8 0 0 23 0 1 0 23869207 55050240 11461 1992294400 4194304 9819077 140737313135680 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 13440 11461 648 1374 0 12061 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53760

[startup+3.1003 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 29504
/proc/meminfo: memFree=1772048/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=54092 CPUtime=3.09
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 18896 0 0 0 300 9 0 0 25 0 1 0 23869207 55390208 11358 1992294400 4194304 9819077 140737313135680 18446744073709551615 7291585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 13523 11358 648 1374 0 12144 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54092

[startup+6.30188 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 29504
/proc/meminfo: memFree=1771552/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=54124 CPUtime=6.28
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 23400 0 0 0 617 11 0 0 25 0 1 0 23869207 55422976 11337 1992294400 4194304 9819077 140737313135680 18446744073709551615 7301632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 13531 11337 648 1374 0 12152 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 54124

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 29504
/proc/meminfo: memFree=1771180/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=54332 CPUtime=12.68
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 31404 0 0 0 1251 17 0 0 25 0 1 0 23869207 55635968 11391 1992294400 4194304 9819077 140737313135680 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 13583 11391 648 1374 0 12204 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 54332

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 29504
/proc/meminfo: memFree=1767708/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=58748 CPUtime=25.48
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 50635 0 0 0 2517 31 0 0 25 0 1 0 23869207 60157952 12386 1992294400 4194304 9819077 140737313135680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 14687 12386 699 1374 0 13308 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58748

[startup+51.1009 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 29506
/proc/meminfo: memFree=1764360/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=64576 CPUtime=51.07
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 150413 0 0 0 5002 105 0 0 25 0 1 0 23869207 66125824 13375 1992294400 4194304 9819077 140737313135680 18446744073709551615 7318422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 16144 13375 724 1374 0 14765 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 64576

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 29506
/proc/meminfo: memFree=1763368/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=65620 CPUtime=102.27
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 250404 0 0 0 10065 162 0 0 25 0 1 0 23869207 67194880 13531 1992294400 4194304 9819077 140737313135680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 16405 13531 724 1374 0 15026 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 65620

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 29508
/proc/meminfo: memFree=1760764/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=65528 CPUtime=162.24
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 368615 0 0 0 15998 226 0 0 25 0 1 0 23869207 67100672 13217 1992294400 4194304 9819077 140737313135680 18446744073709551615 6676955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 16382 13217 724 1374 0 15003 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 65528

[startup+222.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 29510
/proc/meminfo: memFree=1765104/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=64156 CPUtime=222.22
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 518175 0 0 0 21922 300 0 0 25 0 1 0 23869207 65695744 13148 1992294400 4194304 9819077 140737313135680 18446744073709551615 7330744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 16039 13148 724 1374 0 14660 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 64156

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 29512
/proc/meminfo: memFree=1763120/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=61508 CPUtime=282.19
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 736606 0 0 0 27808 411 0 0 25 0 1 0 23869207 62984192 13294 1992294400 4194304 9819077 140737313135680 18446744073709551615 7312735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 15377 13294 724 1374 0 13998 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 61508

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

[startup+283.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 29512
/proc/meminfo: memFree=1763988/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=61476 CPUtime=283
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 738234 0 0 0 27887 413 0 0 25 0 1 0 23869207 62951424 13251 1992294400 4194304 9819077 140737313135680 18446744073709551615 7816439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 15369 13251 724 1374 0 13990 0
Current children cumulated CPU time (s) 283
Current children cumulated vsize (KiB) 61476

[startup+283.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 29512
/proc/meminfo: memFree=1763988/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=61476 CPUtime=283.39
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 742347 0 0 0 27925 414 0 0 25 0 1 0 23869207 62951424 13255 1992294400 4194304 9819077 140737313135680 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29503/statm: 15369 13255 724 1374 0 13990 0
Current children cumulated CPU time (s) 283.39
Current children cumulated vsize (KiB) 61476

[startup+283.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 29512
/proc/meminfo: memFree=1738816/2059040 swapFree=4136716/4192956
[pid=29503] ppid=29501 vsize=60988 CPUtime=283.79
/proc/29503/stat : 29503 (pbscip.linux.x8) R 29501 29503 28431 0 -1 4202496 754607 0 0 0 27959 420 0 0 25 0 1 0 23869207 62451712 12948 1992294400 4194304 9819077 140737313135680 18446744073709551615 4408910 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29503/statm: 15247 12948 726 1374 0 13868 0
Current children cumulated CPU time (s) 283.79
Current children cumulated vsize (KiB) 60988

Child status: 0
Real time (s): 283.944
CPU time (s): 283.848
CPU user time (s): 279.634
CPU system time (s): 4.21436
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 92888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 279.633
system time used= 4.21436
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 754611
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= 1
involuntary context switches= 3134

runsolver used 0.499924 second user time and 1.3238 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-14 04:31:16
IDJOB=2665605
IDBENCH=2228
IDSOLVER=1168
FILE ID=node012/2665605-1276482676
PBS_JOBID= 11173372
Free space on /tmp= 62504 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:98.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-2665605-1276482676/watcher-2665605-1276482676 -o /tmp/evaluation-result-2665605-1276482676/solver-2665605-1276482676 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665605-1276482676.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 6272f76e60106089ef6773ef02321eb2
RANDOM SEED=275238912

node012.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.258
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.51
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.258
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1815612 kB
Buffers:         55392 kB
Cached:         108916 kB
SwapCached:       9404 kB
Active:         107872 kB
Inactive:        69000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1815612 kB
SwapTotal:     4192956 kB
SwapFree:      4136716 kB
Dirty:            6440 kB
Writeback:           0 kB
AnonPages:       10996 kB
Mapped:           9284 kB
Slab:            44704 kB
PageTables:       3908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181680 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= 62500 MiB
End job on node012 at 2010-06-14 04:36:01