Trace number 3732948

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT5 379.803 379.868

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

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29837
/proc/meminfo: memFree=28141868/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=8240 CPUtime=0 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 1444 0 0 0 0 0 0 0 20 0 1 0 335845555 8437760 1397 33554432000 4194304 7823515 140736832113296 140733317059048 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 2060 1397 337 887 0 1170 0

[startup+0.0682631 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29837
/proc/meminfo: memFree=28141868/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=27992 CPUtime=0.06 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 6448 0 0 0 5 1 0 0 20 0 1 0 335845555 28663808 6047 33554432000 4194304 7823515 140736832113296 140733317059048 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 6998 6047 427 887 0 6108 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27992

[startup+0.100227 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29837
/proc/meminfo: memFree=28141868/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=32760 CPUtime=0.09 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 7659 0 0 0 8 1 0 0 20 0 1 0 335845555 33546240 7258 33554432000 4194304 7823515 140736832113296 140733317059048 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 8190 7258 441 887 0 7300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32760

[startup+0.300166 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29837
/proc/meminfo: memFree=28141868/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=45220 CPUtime=0.29 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 10753 0 0 0 27 2 0 0 20 0 1 0 335845555 46305280 10327 33554432000 4194304 7823515 140736832113296 140736832109480 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 11305 10327 528 887 0 10415 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45220

[startup+0.700102 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29837
/proc/meminfo: memFree=28141868/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=47260 CPUtime=0.69 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 11289 0 0 0 67 2 0 0 20 0 1 0 335845555 48394240 10850 33554432000 4194304 7823515 140736832113296 140736832109480 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 11815 10850 531 887 0 10925 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47260

[startup+1.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29838
/proc/meminfo: memFree=28100568/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=47260 CPUtime=1.49 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 11334 0 0 0 146 3 0 0 20 0 1 0 335845555 48394240 10895 33554432000 4194304 7823515 140736832113296 140736832108632 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 11815 10895 531 887 0 10925 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47260

[startup+3.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29838
/proc/meminfo: memFree=28099948/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=47392 CPUtime=3.09 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 11418 0 0 0 306 3 0 0 20 0 1 0 335845555 48529408 10979 33554432000 4194304 7823515 140736832113296 140736832109048 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 11848 10979 531 887 0 10958 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47392

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29838
/proc/meminfo: memFree=28098204/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=49360 CPUtime=6.29 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 11930 0 0 0 624 5 0 0 20 0 1 0 335845555 50544640 11479 33554432000 4194304 7823515 140736832113296 140736832108632 4686711 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 12340 11479 569 887 0 11450 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49360

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29841
/proc/meminfo: memFree=28073072/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=78100 CPUtime=12.69 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 18880 0 0 0 1260 9 0 0 20 0 1 0 335845555 79974400 18392 33554432000 4194304 7823515 140736832113296 140736832108104 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19525 18392 573 887 0 18635 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78100

[startup+25.5063 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29842
/proc/meminfo: memFree=28070492/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=25.49 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19333 0 0 0 2532 17 0 0 20 0 1 0 335845555 81915904 18845 33554432000 4194304 7823515 140736832113296 140736832107992 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 18845 578 887 0 19109 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79996

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29842
/proc/meminfo: memFree=28069372/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=51.09 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19373 0 0 0 5088 21 0 0 20 0 1 0 335845555 81915904 18885 33554432000 4194304 7823515 140736832113296 140736832108408 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 18885 578 887 0 19109 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 79996

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29842
/proc/meminfo: memFree=28064556/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=102.26 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19380 0 0 0 10198 28 0 0 20 0 1 0 335845555 81915904 19303 33554432000 4194304 7823515 140736832113296 140736832107992 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 19303 578 887 0 19109 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 79996

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29842
/proc/meminfo: memFree=28063428/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=162.26 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19383 0 0 0 16185 41 0 0 20 0 1 0 335845555 81915904 19574 33554432000 4194304 7823515 140736832113296 140736832109176 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 19574 579 887 0 19109 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 79996

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29842
/proc/meminfo: memFree=28060288/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=222.26 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19383 0 0 0 22173 53 0 0 20 0 1 0 335845555 81915904 19574 33554432000 4194304 7823515 140736832113296 140736832109256 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 19574 579 887 0 19109 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 79996

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29842
/proc/meminfo: memFree=28058720/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=282.24 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19384 0 0 0 28160 64 0 0 20 0 1 0 335845555 81915904 19575 33554432000 4194304 7823515 140736832113296 140736832107960 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 19575 579 887 0 19109 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 79996

[startup+342.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29843
/proc/meminfo: memFree=28062124/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=342.24 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19384 0 0 0 34148 76 0 0 20 0 1 0 335845555 81915904 19575 33554432000 4194304 7823515 140736832113296 140736832109240 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 19575 579 887 0 19109 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 79996

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

[startup+358.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29843
/proc/meminfo: memFree=28061500/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=358.42 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19384 0 0 0 35764 78 0 0 20 0 1 0 335845555 81915904 19575 33554432000 4194304 7823515 140736832113296 140736832109416 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 19575 579 887 0 19109 0
Current children cumulated CPU time (s) 358.42
Current children cumulated vsize (KiB) 79996

[startup+371.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29843
/proc/meminfo: memFree=28059516/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=371.23 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19384 0 0 0 37041 82 0 0 20 0 1 0 335845555 81915904 19575 33554432000 4194304 7823515 140736832113296 140736832109208 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 19575 579 887 0 19109 0
Current children cumulated CPU time (s) 371.23
Current children cumulated vsize (KiB) 79996

[startup+374.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29843
/proc/meminfo: memFree=28059516/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=374.42 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19384 0 0 0 37360 82 0 0 20 0 1 0 335845555 81915904 19575 33554432000 4194304 7823515 140736832113296 140736832108744 6237295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 19575 579 887 0 19109 0
Current children cumulated CPU time (s) 374.42
Current children cumulated vsize (KiB) 79996

[startup+377.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29843
/proc/meminfo: memFree=28059392/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=377.62 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19384 0 0 0 37679 83 0 0 20 0 1 0 335845555 81915904 19575 33554432000 4194304 7823515 140736832113296 140736832109256 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 19575 579 887 0 19109 0
Current children cumulated CPU time (s) 377.62
Current children cumulated vsize (KiB) 79996

[startup+378.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29843
/proc/meminfo: memFree=28058028/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=378.43 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19384 0 0 0 37760 83 0 0 20 0 1 0 335845555 81915904 19575 33554432000 4194304 7823515 140736832113296 140736832109208 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 19575 579 887 0 19109 0
Current children cumulated CPU time (s) 378.43
Current children cumulated vsize (KiB) 79996

[startup+379.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29843
/proc/meminfo: memFree=28058028/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=379.22 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19384 0 0 0 37839 83 0 0 20 0 1 0 335845555 81915904 19575 33554432000 4194304 7823515 140736832113296 140736832109256 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 19575 579 887 0 19109 0
Current children cumulated CPU time (s) 379.22
Current children cumulated vsize (KiB) 79996

[startup+379.706 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29843
/proc/meminfo: memFree=28057656/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=379.63 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19384 0 0 0 37880 83 0 0 20 0 1 0 335845555 81915904 19575 33554432000 4194304 7823515 140736832113296 140736832109256 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 19575 579 887 0 19109 0
Current children cumulated CPU time (s) 379.63
Current children cumulated vsize (KiB) 79996

[startup+379.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29843
/proc/meminfo: memFree=28057656/32873648 swapFree=6864/6864
[pid=29837] ppid=29835 vsize=79996 CPUtime=379.72 cores=0,2,4,6
/proc/29837/stat : 29837 (pbscip.linux.x8) R 29835 29837 19043 0 -1 4202496 19384 0 0 0 37889 83 0 0 20 0 1 0 335845555 81915904 19575 33554432000 4194304 7823515 140736832113296 140736832109256 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29837/statm: 19999 19575 579 887 0 19109 0
Current children cumulated CPU time (s) 379.72
Current children cumulated vsize (KiB) 79996

Child status: 0
Real time (s): 379.868
CPU time (s): 379.803
CPU user time (s): 378.963
CPU system time (s): 0.839872
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 79996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 378.963
system time used= 0.839872
maximum resident set size= 78308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19389
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= 12
involuntary context switches= 394

runsolver used 0.610907 second user time and 1.46578 second system time

The end

Launcher Data 

Begin job on node120 at 2012-06-03 06:19:56
IDJOB=3732948
IDBENCH=2230
IDSOLVER=2321
FILE ID=node120/3732948-1338697196
RUNJOBID= node120-1338679216-27543
PBS_JOBID= 14636693
Free space on /tmp= 70764 MiB

SOLVER NAME= PB09: 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-3732948-1338697196/watcher-3732948-1338697196 -o /tmp/evaluation-result-3732948-1338697196/solver-3732948-1338697196 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3732948-1338697196.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 19d2194cc03557fbd803cc33882ae5ce
RANDOM SEED=643356086

node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28142140 kB
Buffers:          558916 kB
Cached:          3116304 kB
SwapCached:         1580 kB
Active:          1824628 kB
Inactive:        1977576 kB
Active(anon):     119612 kB
Inactive(anon):     9224 kB
Active(file):    1705016 kB
Inactive(file):  1968352 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67103516 kB
Dirty:              9904 kB
Writeback:             0 kB
AnonPages:        131596 kB
Mapped:            13028 kB
Shmem:                32 kB
Slab:             794052 kB
SReclaimable:     238168 kB
SUnreclaim:       555884 kB
KernelStack:        1480 kB
PageTables:         4468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     242620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70756 MiB
End job on node120 at 2012-06-03 06:26:16