Trace number 1869194

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)OPT4 751.129 751.319

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	4

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869194-1245163071/watcher-1869194-1245163071 -o /tmp/evaluation-result-1869194-1245163071/solver-1869194-1245163071 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869194-1245163071.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.19 1.05 1.01 3/64 2413
/proc/meminfo: memFree=1846696/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=4328 CPUtime=0
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 480 0 0 0 0 0 0 0 18 0 1 0 183906701 4431872 464 1992294400 4194304 7823515 548682068736 18446744073709551615 6863653 0 0 4096 0 0 0 0 17 1 0 0
/proc/2413/statm: 1162 474 307 886 0 272 0

[startup+0.07084 s]
/proc/loadavg: 1.19 1.05 1.01 3/64 2413
/proc/meminfo: memFree=1846696/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=14792 CPUtime=0.06
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 3033 0 0 0 5 1 0 0 18 0 1 0 183906701 15147008 3015 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/2413/statm: 3698 3015 354 886 0 2808 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14792

[startup+0.101841 s]
/proc/loadavg: 1.19 1.05 1.01 3/64 2413
/proc/meminfo: memFree=1846696/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=15396 CPUtime=0.09
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 3196 0 0 0 8 1 0 0 18 0 1 0 183906701 15765504 3178 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/2413/statm: 3849 3178 354 886 0 2959 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15396

[startup+0.301854 s]
/proc/loadavg: 1.19 1.05 1.01 3/64 2413
/proc/meminfo: memFree=1846696/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=36492 CPUtime=0.29
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 8583 0 0 0 25 4 0 0 19 0 1 0 183906701 37367808 8211 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 9123 8211 446 886 0 8233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36492

[startup+0.701879 s]
/proc/loadavg: 1.19 1.05 1.01 3/64 2413
/proc/meminfo: memFree=1846696/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=47536 CPUtime=0.69
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 11302 0 0 0 64 5 0 0 22 0 1 0 183906701 48676864 10903 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 11884 10903 528 886 0 10994 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47536

[startup+1.50193 s]
/proc/loadavg: 1.19 1.05 1.01 2/65 2414
/proc/meminfo: memFree=1803744/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=49276 CPUtime=1.49
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 11762 0 0 0 143 6 0 0 25 0 1 0 183906701 50458624 11361 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 12319 11361 531 886 0 11429 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49276

[startup+3.10103 s]
/proc/loadavg: 1.26 1.07 1.02 2/65 2414
/proc/meminfo: memFree=1802592/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=49276 CPUtime=3.09
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 11850 0 0 0 302 7 0 0 25 0 1 0 183906701 50458624 11449 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 12319 11449 531 886 0 11429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49276

[startup+6.30123 s]
/proc/loadavg: 1.26 1.07 1.02 2/65 2414
/proc/meminfo: memFree=1802080/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=50092 CPUtime=6.29
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 11992 0 0 0 622 7 0 0 25 0 1 0 183906701 51294208 11591 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 12523 11591 531 886 0 11633 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50092

[startup+12.7016 s]
/proc/loadavg: 1.22 1.06 1.02 2/65 2414
/proc/meminfo: memFree=1801312/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=50568 CPUtime=12.68
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 12193 0 0 0 1260 8 0 0 25 0 1 0 183906701 51781632 11792 1992294400 4194304 7823515 548682068736 18446744073709551615 5398310 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 12642 11792 541 886 0 11752 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50568

[startup+25.5014 s]
/proc/loadavg: 1.18 1.06 1.02 2/65 2414
/proc/meminfo: memFree=1799328/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=76324 CPUtime=25.48
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 18331 0 0 0 2532 16 0 0 25 0 1 0 183906701 78155776 17920 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 19081 17920 573 886 0 18191 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76324

[startup+51.102 s]
/proc/loadavg: 1.12 1.06 1.01 2/65 2414
/proc/meminfo: memFree=1768416/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=84800 CPUtime=51.07
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 20511 0 0 0 5075 32 0 0 25 0 1 0 183906701 86835200 20052 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 21200 20052 573 886 0 20310 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 84800

[startup+102.305 s]
/proc/loadavg: 1.05 1.04 1.01 2/65 2414
/proc/meminfo: memFree=1797344/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=54388 CPUtime=102.26
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 20522 0 0 0 10180 46 0 0 25 0 1 0 183906701 55693312 12786 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 13597 12786 578 886 0 12707 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 54388

[startup+162.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 2414
/proc/meminfo: memFree=1797344/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=54388 CPUtime=162.25
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 20525 0 0 0 16169 56 0 0 25 0 1 0 183906701 55693312 12789 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 13597 12789 578 886 0 12707 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 54388

[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2414
/proc/meminfo: memFree=1797344/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=54388 CPUtime=222.23
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 20525 0 0 0 22155 68 0 0 25 0 1 0 183906701 55693312 12789 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 13597 12789 578 886 0 12707 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 54388

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2414
/proc/meminfo: memFree=1797344/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=54388 CPUtime=282.21
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 20525 0 0 0 28146 75 0 0 25 0 1 0 183906701 55693312 12789 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 13597 12789 578 886 0 12707 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 54388

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2414
/proc/meminfo: memFree=1797344/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=54388 CPUtime=342.2
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 20526 0 0 0 34134 86 0 0 25 0 1 0 183906701 55693312 12790 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 13597 12790 579 886 0 12707 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 54388

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2414
/proc/meminfo: memFree=1797344/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=54388 CPUtime=402.19
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 20526 0 0 0 40125 94 0 0 25 0 1 0 183906701 55693312 12790 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 13597 12790 579 886 0 12707 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 54388

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2414
/proc/meminfo: memFree=1795424/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=56492 CPUtime=462.17
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 20995 0 0 0 46112 105 0 0 25 0 1 0 183906701 57847808 13259 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 14123 13259 579 886 0 13233 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 56492

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2414
/proc/meminfo: memFree=1794848/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=56948 CPUtime=522.16
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 21134 0 0 0 52100 116 0 0 25 0 1 0 183906701 58314752 13398 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 14237 13398 579 886 0 13347 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 56948

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2414
/proc/meminfo: memFree=1794784/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=56948 CPUtime=582.15
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 21134 0 0 0 58087 128 0 0 25 0 1 0 183906701 58314752 13398 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 14237 13398 579 886 0 13347 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 56948

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2414
/proc/meminfo: memFree=1794720/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=56948 CPUtime=642.13
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 21134 0 0 0 64075 138 0 0 25 0 1 0 183906701 58314752 13398 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 14237 13398 579 886 0 13347 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 56948

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2414
/proc/meminfo: memFree=1794720/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=56948 CPUtime=702.12
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 21134 0 0 0 70063 149 0 0 25 0 1 0 183906701 58314752 13398 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 14237 13398 579 886 0 13347 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 56948

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

[startup+716.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2414
/proc/meminfo: memFree=1794720/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=56948 CPUtime=716.51
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 21134 0 0 0 71500 151 0 0 25 0 1 0 183906701 58314752 13398 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 14237 13398 579 886 0 13347 0
Current children cumulated CPU time (s) 716.51
Current children cumulated vsize (KiB) 56948

[startup+729.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2414
/proc/meminfo: memFree=1794720/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=56948 CPUtime=729.31
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 21134 0 0 0 72778 153 0 0 25 0 1 0 183906701 58314752 13398 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 14237 13398 579 886 0 13347 0
Current children cumulated CPU time (s) 729.31
Current children cumulated vsize (KiB) 56948

[startup+742.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2414
/proc/meminfo: memFree=1794656/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=56948 CPUtime=742.1
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 21134 0 0 0 74055 155 0 0 25 0 1 0 183906701 58314752 13398 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 14237 13398 579 886 0 13347 0
Current children cumulated CPU time (s) 742.1
Current children cumulated vsize (KiB) 56948

[startup+745.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2414
/proc/meminfo: memFree=1794656/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=56948 CPUtime=745.31
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 21134 0 0 0 74375 156 0 0 25 0 1 0 183906701 58314752 13398 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 14237 13398 579 886 0 13347 0
Current children cumulated CPU time (s) 745.31
Current children cumulated vsize (KiB) 56948

[startup+748.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2414
/proc/meminfo: memFree=1794656/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=56948 CPUtime=748.51
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 21134 0 0 0 74694 157 0 0 25 0 1 0 183906701 58314752 13398 1992294400 4194304 7823515 548682068736 18446744073709551615 5734723 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 14237 13398 579 886 0 13347 0
Current children cumulated CPU time (s) 748.51
Current children cumulated vsize (KiB) 56948

[startup+750.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2414
/proc/meminfo: memFree=1794656/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=56948 CPUtime=750.1
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 21134 0 0 0 74853 157 0 0 25 0 1 0 183906701 58314752 13398 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 14237 13398 579 886 0 13347 0
Current children cumulated CPU time (s) 750.1
Current children cumulated vsize (KiB) 56948

[startup+751.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2414
/proc/meminfo: memFree=1794656/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=58320 CPUtime=750.9
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 21477 0 0 0 74933 157 0 0 25 0 1 0 183906701 59719680 13741 1992294400 4194304 7823515 548682068736 18446744073709551615 6206209 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2413/statm: 14580 13741 579 886 0 13690 0
Current children cumulated CPU time (s) 750.9
Current children cumulated vsize (KiB) 58320

[startup+751.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2414
/proc/meminfo: memFree=1793312/2055920 swapFree=4191900/4192956
[pid=2413] ppid=2411 vsize=51496 CPUtime=751.11
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2222 0 -1 4194304 21479 0 0 0 74953 158 0 0 17 0 1 0 183906701 52731904 12096 1992294400 4194304 7823515 548682068736 18446744073709551615 5875900 0 0 4096 0 0 0 0 17 1 0 0
/proc/2413/statm: 12874 12096 583 886 0 11984 0
Current children cumulated CPU time (s) 751.11
Current children cumulated vsize (KiB) 51496

Child status: 0
Real time (s): 751.319
CPU time (s): 751.129
CPU user time (s): 749.536
CPU system time (s): 1.59276
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 84800

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

runsolver used 0.52592 second user time and 1.63575 second system time

The end

Launcher Data

Begin job on node29 at 2009-06-16 16:37:51
IDJOB=1869194
IDBENCH=2228
IDSOLVER=683
FILE ID=node29/1869194-1245163071
PBS_JOBID= 9363855
Free space on /tmp= 66244 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.95:98.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-1869194-1245163071/watcher-1869194-1245163071 -o /tmp/evaluation-result-1869194-1245163071/solver-1869194-1245163071 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869194-1245163071.opb

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

MD5SUM BENCH= 6272f76e60106089ef6773ef02321eb2
RANDOM SEED=1768826641

node29.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.237
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.237
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1847176 kB
Buffers:         39344 kB
Cached:         104684 kB
SwapCached:        268 kB
Active:          32764 kB
Inactive:       124100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1847176 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           10216 kB
Writeback:           0 kB
Mapped:          21308 kB
Slab:            37764 kB
Committed_AS:   179516 kB
PageTables:       1472 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= 66232 MiB
End job on node29 at 2009-06-16 16:50:23