Trace number 1869198

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT5 1021.95 1024.88

General information on the benchmark

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

Verifier Data 

OK	5

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869198-1245163266/watcher-1869198-1245163266 -o /tmp/evaluation-result-1869198-1245163266/solver-1869198-1245163266 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869198-1245163266.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 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.87 1.97 1.99 3/73 2802
/proc/meminfo: memFree=1815264/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=6100 CPUtime=0
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 718 0 0 0 0 0 0 0 18 0 1 0 183925210 6246400 700 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/2802/statm: 1525 709 325 886 0 635 0

[startup+0.0867339 s]
/proc/loadavg: 1.87 1.97 1.99 3/73 2802
/proc/meminfo: memFree=1815264/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=14928 CPUtime=0.07
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 3063 0 0 0 7 0 0 0 18 0 1 0 183925210 15286272 3045 1992294400 4194304 7823515 548682068736 18446744073709551615 6289457 0 0 4096 0 0 0 0 17 0 0 0
/proc/2802/statm: 3732 3045 354 886 0 2842 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14928

[startup+0.101734 s]
/proc/loadavg: 1.87 1.97 1.99 3/73 2802
/proc/meminfo: memFree=1815264/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=14116 CPUtime=0.09
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 3211 0 0 0 9 0 0 0 18 0 1 0 183925210 14454784 2839 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2802/statm: 3529 2839 356 886 0 2639 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14116

[startup+0.301761 s]
/proc/loadavg: 1.87 1.97 1.99 3/73 2802
/proc/meminfo: memFree=1815264/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=33792 CPUtime=0.29
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 7910 0 0 0 26 3 0 0 19 0 1 0 183925210 34603008 7538 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 8448 7538 446 886 0 7558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33792

[startup+0.701802 s]
/proc/loadavg: 1.87 1.97 1.99 3/73 2802
/proc/meminfo: memFree=1815264/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=44976 CPUtime=0.69
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 10670 0 0 0 63 6 0 0 23 0 1 0 183925210 46055424 10276 1992294400 4194304 7823515 548682068736 18446744073709551615 6018694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 11244 10276 528 886 0 10354 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44976

[startup+1.50188 s]
/proc/loadavg: 1.87 1.97 1.99 3/74 2803
/proc/meminfo: memFree=1775064/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=47244 CPUtime=1.49
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 11253 0 0 0 142 7 0 0 25 0 1 0 183925210 48377856 10844 1992294400 4194304 7823515 548682068736 18446744073709551615 6216484 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 11811 10844 531 886 0 10921 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47244

[startup+3.10205 s]
/proc/loadavg: 1.87 1.97 1.99 4/74 2803
/proc/meminfo: memFree=1773592/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=47244 CPUtime=3.07
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 11300 0 0 0 300 7 0 0 25 0 1 0 183925210 48377856 10891 1992294400 4194304 7823515 548682068736 18446744073709551615 6265711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 11811 10891 531 886 0 10921 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 47244

[startup+6.30137 s]
/proc/loadavg: 1.80 1.96 1.98 4/74 2803
/proc/meminfo: memFree=1772888/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=47376 CPUtime=6.24
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 11375 0 0 0 616 8 0 0 25 0 1 0 183925210 48513024 10966 1992294400 4194304 7823515 548682068736 18446744073709551615 6251936 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 11844 10966 531 886 0 10954 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 47376

[startup+12.701 s]
/proc/loadavg: 1.97 1.99 1.99 3/74 2803
/proc/meminfo: memFree=1772952/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=47376 CPUtime=12.61
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 11404 0 0 0 1252 9 0 0 25 0 1 0 183925210 48513024 10995 1992294400 4194304 7823515 548682068736 18446744073709551615 6212426 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 11844 10995 532 886 0 10954 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 47376

[startup+25.5013 s]
/proc/loadavg: 1.98 1.99 1.99 4/74 2803
/proc/meminfo: memFree=1743896/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=78084 CPUtime=25.29
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 18785 0 0 0 2508 21 0 0 25 0 1 0 183925210 79958016 18327 1992294400 4194304 7823515 548682068736 18446744073709551615 6157803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19521 18327 573 886 0 18631 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 78084

[startup+51.1019 s]
/proc/loadavg: 2.06 2.01 2.00 4/74 2803
/proc/meminfo: memFree=1741784/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=50.67
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19292 0 0 0 5030 37 0 0 25 0 1 0 183925210 81899520 18834 1992294400 4194304 7823515 548682068736 18446744073709551615 6211093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18834 573 886 0 19105 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 79980

[startup+102.306 s]
/proc/loadavg: 2.18 2.04 2.01 2/74 2803
/proc/meminfo: memFree=1741464/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=101.55
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19343 0 0 0 10101 54 0 0 25 0 1 0 183925210 81899520 18885 1992294400 4194304 7823515 548682068736 18446744073709551615 6908072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18885 578 886 0 19105 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 79980

[startup+162.301 s]
/proc/loadavg: 2.07 2.01 2.00 4/74 2803
/proc/meminfo: memFree=1741336/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=161.26
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19345 0 0 0 16059 67 0 0 25 0 1 0 183925210 81899520 18887 1992294400 4194304 7823515 548682068736 18446744073709551615 6216420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18887 578 886 0 19105 0
Current children cumulated CPU time (s) 161.26
Current children cumulated vsize (KiB) 79980

[startup+222.301 s]
/proc/loadavg: 2.47 2.13 2.04 4/74 2803
/proc/meminfo: memFree=1741336/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=220.84
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19345 0 0 0 22003 81 0 0 25 0 1 0 183925210 81899520 18887 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18887 578 886 0 19105 0
Current children cumulated CPU time (s) 220.84
Current children cumulated vsize (KiB) 79980

[startup+282.301 s]
/proc/loadavg: 2.22 2.12 2.04 4/74 2803
/proc/meminfo: memFree=1741336/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=280.57
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19345 0 0 0 27962 95 0 0 25 0 1 0 183925210 81899520 18887 1992294400 4194304 7823515 548682068736 18446744073709551615 6206241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18887 578 886 0 19105 0
Current children cumulated CPU time (s) 280.57
Current children cumulated vsize (KiB) 79980

[startup+342.301 s]
/proc/loadavg: 2.03 2.08 2.03 3/74 2803
/proc/meminfo: memFree=1741400/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=340.25
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19345 0 0 0 33916 109 0 0 25 0 1 0 183925210 81899520 18887 1992294400 4194304 7823515 548682068736 18446744073709551615 6263029 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18887 578 886 0 19105 0
Current children cumulated CPU time (s) 340.25
Current children cumulated vsize (KiB) 79980

[startup+402.302 s]
/proc/loadavg: 1.78 1.99 1.99 3/74 2803
/proc/meminfo: memFree=1741400/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=399.9
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19346 0 0 0 39871 119 0 0 25 0 1 0 183925210 81899520 18888 1992294400 4194304 7823515 548682068736 18446744073709551615 6236654 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18888 579 886 0 19105 0
Current children cumulated CPU time (s) 399.9
Current children cumulated vsize (KiB) 79980

[startup+462.306 s]
/proc/loadavg: 2.20 2.07 2.02 3/74 2803
/proc/meminfo: memFree=1741336/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=459.82
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19346 0 0 0 45852 130 0 0 25 0 1 0 183925210 81899520 18888 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18888 579 886 0 19105 0
Current children cumulated CPU time (s) 459.82
Current children cumulated vsize (KiB) 79980

[startup+522.303 s]
/proc/loadavg: 2.23 2.08 2.02 2/74 2803
/proc/meminfo: memFree=1741336/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=519.8
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19346 0 0 0 51838 142 0 0 25 0 1 0 183925210 81899520 18888 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18888 579 886 0 19105 0
Current children cumulated CPU time (s) 519.8
Current children cumulated vsize (KiB) 79980

[startup+582.302 s]
/proc/loadavg: 1.92 2.03 2.01 3/74 2803
/proc/meminfo: memFree=1741336/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=579.78
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19346 0 0 0 57825 153 0 0 25 0 1 0 183925210 81899520 18888 1992294400 4194304 7823515 548682068736 18446744073709551615 5965392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18888 579 886 0 19105 0
Current children cumulated CPU time (s) 579.78
Current children cumulated vsize (KiB) 79980

[startup+642.303 s]
/proc/loadavg: 1.95 2.00 2.00 4/74 2803
/proc/meminfo: memFree=1741336/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=639.77
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19346 0 0 0 63813 164 0 0 25 0 1 0 183925210 81899520 18888 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18888 579 886 0 19105 0
Current children cumulated CPU time (s) 639.77
Current children cumulated vsize (KiB) 79980

[startup+702.302 s]
/proc/loadavg: 1.86 1.98 1.99 2/74 2805
/proc/meminfo: memFree=1741144/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=699.74
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19347 0 0 0 69800 174 0 0 25 0 1 0 183925210 81899520 18889 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18889 579 886 0 19105 0
Current children cumulated CPU time (s) 699.74
Current children cumulated vsize (KiB) 79980

[startup+762.312 s]
/proc/loadavg: 2.13 2.01 2.00 3/74 2805
/proc/meminfo: memFree=1741208/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=759.46
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19347 0 0 0 75760 186 0 0 25 0 1 0 183925210 81899520 18889 1992294400 4194304 7823515 548682068736 18446744073709551615 6131114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18889 579 886 0 19105 0
Current children cumulated CPU time (s) 759.46
Current children cumulated vsize (KiB) 79980

[startup+822.314 s]
/proc/loadavg: 1.90 1.99 1.99 2/74 2805
/proc/meminfo: memFree=1741208/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=819.43
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19347 0 0 0 81746 197 0 0 25 0 1 0 183925210 81899520 18889 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18889 579 886 0 19105 0
Current children cumulated CPU time (s) 819.43
Current children cumulated vsize (KiB) 79980

[startup+882.302 s]
/proc/loadavg: 2.03 2.02 2.00 2/74 2805
/proc/meminfo: memFree=1741208/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=879.41
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19347 0 0 0 87732 209 0 0 25 0 1 0 183925210 81899520 18889 1992294400 4194304 7823515 548682068736 18446744073709551615 6255705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18889 579 886 0 19105 0
Current children cumulated CPU time (s) 879.41
Current children cumulated vsize (KiB) 79980

[startup+942.302 s]
/proc/loadavg: 2.05 2.02 2.00 3/74 2805
/proc/meminfo: memFree=1741144/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=939.39
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19363 0 0 0 93719 220 0 0 25 0 1 0 183925210 81899520 18905 1992294400 4194304 7823515 548682068736 18446744073709551615 6253907 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18905 579 886 0 19105 0
Current children cumulated CPU time (s) 939.39
Current children cumulated vsize (KiB) 79980

[startup+1002.3 s]
/proc/loadavg: 2.19 2.06 2.01 4/74 2805
/proc/meminfo: memFree=1741080/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=999.37
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19363 0 0 0 99708 229 0 0 25 0 1 0 183925210 81899520 18905 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18905 579 886 0 19105 0
Current children cumulated CPU time (s) 999.37
Current children cumulated vsize (KiB) 79980

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

[startup+1011.11 s]
/proc/loadavg: 2.16 2.06 2.01 4/74 2805
/proc/meminfo: memFree=1741080/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=1008.18
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19363 0 0 0 100587 231 0 0 25 0 1 0 183925210 81899520 18905 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18905 579 886 0 19105 0
Current children cumulated CPU time (s) 1008.18
Current children cumulated vsize (KiB) 79980

[startup+1017.51 s]
/proc/loadavg: 2.21 2.08 2.02 4/74 2805
/proc/meminfo: memFree=1741080/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=1014.58
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19363 0 0 0 101225 233 0 0 25 0 1 0 183925210 81899520 18905 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18905 579 886 0 19105 0
Current children cumulated CPU time (s) 1014.58
Current children cumulated vsize (KiB) 79980

[startup+1020.7 s]
/proc/loadavg: 2.21 2.08 2.02 3/74 2805
/proc/meminfo: memFree=1741080/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=1017.79
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19363 0 0 0 101545 234 0 0 25 0 1 0 183925210 81899520 18905 1992294400 4194304 7823515 548682068736 18446744073709551615 6209598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18905 579 886 0 19105 0
Current children cumulated CPU time (s) 1017.79
Current children cumulated vsize (KiB) 79980

[startup+1022.3 s]
/proc/loadavg: 2.21 2.08 2.02 2/74 2805
/proc/meminfo: memFree=1741080/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=1019.37
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19363 0 0 0 101703 234 0 0 25 0 1 0 183925210 81899520 18905 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18905 579 886 0 19105 0
Current children cumulated CPU time (s) 1019.37
Current children cumulated vsize (KiB) 79980

[startup+1023.9 s]
/proc/loadavg: 2.20 2.07 2.02 3/74 2805
/proc/meminfo: memFree=1741080/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=1020.97
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19363 0 0 0 101863 234 0 0 25 0 1 0 183925210 81899520 18905 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18905 579 886 0 19105 0
Current children cumulated CPU time (s) 1020.97
Current children cumulated vsize (KiB) 79980

[startup+1024.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/74 2805
/proc/meminfo: memFree=1741080/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=1021.37
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19363 0 0 0 101903 234 0 0 25 0 1 0 183925210 81899520 18905 1992294400 4194304 7823515 548682068736 18446744073709551615 6149664 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18905 579 886 0 19105 0
Current children cumulated CPU time (s) 1021.37
Current children cumulated vsize (KiB) 79980

[startup+1024.71 s]
/proc/loadavg: 2.20 2.07 2.02 3/74 2805
/proc/meminfo: memFree=1741080/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=1021.77
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19363 0 0 0 101943 234 0 0 25 0 1 0 183925210 81899520 18905 1992294400 4194304 7823515 548682068736 18446744073709551615 6211346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18905 579 886 0 19105 0
Current children cumulated CPU time (s) 1021.77
Current children cumulated vsize (KiB) 79980

[startup+1024.81 s]
/proc/loadavg: 2.20 2.07 2.02 3/74 2805
/proc/meminfo: memFree=1741080/2055920 swapFree=4169920/4192956
[pid=2802] ppid=2800 vsize=79980 CPUtime=1021.88
/proc/2802/stat : 2802 (pbscip.linux.x8) R 2800 2802 2453 0 -1 4194304 19365 0 0 0 101953 235 0 0 25 0 1 0 183925210 81899520 18907 1992294400 4194304 7823515 548682068736 18446744073709551615 6957296 0 0 4096 0 0 0 0 17 1 0 0
/proc/2802/statm: 19995 18907 581 886 0 19105 0
Current children cumulated CPU time (s) 1021.88
Current children cumulated vsize (KiB) 79980

Child status: 0
Real time (s): 1024.88
CPU time (s): 1021.95
CPU user time (s): 1019.59
CPU system time (s): 2.36164
CPU usage (%): 99.7142
Max. virtual memory (cumulated for all children) (KiB): 79980

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

runsolver used 1.38579 second user time and 3.52846 second system time

The end

Launcher Data 

Begin job on node84 at 2009-06-16 16:41:06
IDJOB=1869198
IDBENCH=2230
IDSOLVER=683
FILE ID=node84/1869198-1245163266
PBS_JOBID= 9363865
Free space on /tmp= 66524 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869198-1245163266/watcher-1869198-1245163266 -o /tmp/evaluation-result-1869198-1245163266/solver-1869198-1245163266 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869198-1245163266.opb

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

MD5SUM BENCH= 19d2194cc03557fbd803cc33882ae5ce
RANDOM SEED=1544282802

node84.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1815752 kB
Buffers:         33776 kB
Cached:         107568 kB
SwapCached:      17164 kB
Active:          73664 kB
Inactive:       103444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1815752 kB
SwapTotal:     4192956 kB
SwapFree:      4169920 kB
Dirty:           10276 kB
Writeback:           0 kB
Mapped:          43284 kB
Slab:            48148 kB
Committed_AS:   603560 kB
PageTables:       2064 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66512 MiB
End job on node84 at 2009-06-16 16:58:11