Trace number 2702832

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT6 1231.53 1231.87

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx57.opb
MD5SUM60656ad92b0e8411299701f2f84e60fb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark1.50677
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2850
Total number of constraints3286
Number of constraints which are clauses2844
Number of constraints which are cardinality constraints (but not clauses)58
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 721
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2702832-1278578692.opb>
0.09/0.10	c original problem has 2850 variables (2850 bin, 0 int, 0 impl, 0 cont) and 3286 constraints
0.09/0.10	c problem read
0.09/0.10	c presolving settings loaded
0.09/0.14	c presolving:
0.09/0.17	c (round 1) 6 del vars, 1 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5688 impls, 57 clqs
0.09/0.18	c (round 2) 6 del vars, 2845 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5688 impls, 57 clqs
0.19/0.21	c (round 3) 6 del vars, 2845 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 5688 impls, 57 clqs
0.49/0.56	c    (0.5s) probing: 101/2844 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.56	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.49/0.56	c presolving (4 rounds):
0.49/0.56	c  6 deleted vars, 2845 deleted constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.56	c  5688 implications, 369 cliques
0.49/0.56	c presolved problem has 2844 variables (2844 bin, 0 int, 0 impl, 0 cont) and 441 constraints
0.49/0.56	c     384 constraints of type <knapsack>
0.49/0.56	c      57 constraints of type <setppc>
0.49/0.56	c transformed objective value is always integral (scale: 1)
0.49/0.56	c Presolving Time: 0.43
0.49/0.56	c - non default parameters ----------------------------------------------------------------------
0.49/0.56	c # SCIP version 1.2.1.3
0.49/0.56	c 
0.49/0.56	c # frequency for displaying node information lines
0.49/0.56	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.56	c display/freq = 10000
0.49/0.56	c 
0.49/0.56	c # maximal time in seconds to run
0.49/0.56	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56	c limits/time = 1789.91
0.49/0.56	c 
0.49/0.56	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.56	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56	c limits/memory = 1620
0.49/0.56	c 
0.49/0.56	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.56	c # [type: int, range: [1,2], default: 1]
0.49/0.56	c timing/clocktype = 2
0.49/0.56	c 
0.49/0.56	c # should presolving try to simplify inequalities
0.49/0.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56	c constraints/linear/simplifyinequalities = TRUE
0.49/0.56	c 
0.49/0.56	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56	c constraints/indicator/addCouplingCons = TRUE
0.49/0.56	c 
0.49/0.56	c # should presolving try to simplify knapsacks
0.49/0.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56	c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.56	c 
0.49/0.56	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.56	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56	c separating/rapidlearning/freq = 0
0.49/0.56	c 
0.49/0.56	c -----------------------------------------------------------------------------------------------
0.49/0.56	c start solving
0.49/0.56	c 
0.59/0.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.63	c   0.5s|     1 |     0 |   519 |     - |  13M|   0 |  52 |2844 | 441 |2844 | 441 |   0 |   0 |   0 | 6.000000e+00 |      --      |    Inf 
1.69/1.75	c   1.7s|     1 |     0 |  2029 |     - |  14M|   0 |  85 |2844 | 441 |2844 | 471 |  30 |   0 |   0 | 6.000000e+00 |      --      |    Inf 
2.10/2.10	c   2.0s|     1 |     0 |  2250 |     - |  14M|   0 | 107 |2844 | 441 |2844 | 496 |  55 |   0 |   0 | 6.000000e+00 |      --      |    Inf 
2.49/2.53	c   2.4s|     1 |     0 |  2553 |     - |  15M|   0 | 131 |2844 | 441 |2844 | 520 |  79 |   0 |   0 | 6.000000e+00 |      --      |    Inf 
2.89/2.99	c   2.9s|     1 |     0 |  2911 |     - |  15M|   0 | 152 |2844 | 441 |2844 | 547 | 106 |   0 |   0 | 6.000000e+00 |      --      |    Inf 
3.39/3.49	c   3.4s|     1 |     0 |  3270 |     - |  15M|   0 | 149 |2844 | 441 |2844 | 570 | 129 |   0 |   0 | 6.000000e+00 |      --      |    Inf 
3.89/3.99	c   3.9s|     1 |     0 |  3585 |     - |  16M|   0 | 172 |2844 | 441 |2844 | 594 | 153 |   0 |   0 | 6.000000e+00 |      --      |    Inf 
6.39/6.49	c   6.4s|     1 |     2 |  3585 |     - |  16M|   0 | 172 |2844 | 441 |2844 | 594 | 153 |   0 |  12 | 6.000000e+00 |      --      |    Inf 
193.94/194.00	c   194s| 10000 |   265 |254216 |  25.1 |  21M| 143 |  20 |2844 |4870 |2844 | 539 | 153 |  12k|4597 | 6.000000e+00 |      --      |    Inf 
347.40/347.54	c   347s| 20000 |   441 |569440 |  28.3 |  21M| 143 |  24 |2844 |3269 |2844 | 539 | 153 |  21k|8662 | 6.000000e+00 |      --      |    Inf 
484.66/484.86	c   485s| 30000 |   531 |837571 |  27.8 |  23M| 143 |   - |2844 |3855 |2844 | 539 | 153 |  36k|  10k| 6.000000e+00 |      --      |    Inf 
591.04/591.20	c   591s| 40000 |   667 |  1008k|  25.1 |  24M| 143 |  19 |2844 |4284 |2844 | 539 | 153 |  51k|  13k| 6.000000e+00 |      --      |    Inf 
702.72/702.94	c   703s| 50000 |   816 |  1228k|  24.5 |  25M| 143 |   - |2844 |4377 |2844 | 539 | 153 |  61k|  15k| 6.000000e+00 |      --      |    Inf 
807.38/807.68	c   808s| 60000 |   882 |  1418k|  23.6 |  26M| 187 |   - |2844 |4847 |   0 |   0 | 153 |  71k|  16k| 6.000000e+00 |      --      |    Inf 
932.85/933.16	c   933s| 70000 |  1053 |  1691k|  24.1 |  27M| 187 |   - |2844 |4620 |2844 | 539 | 153 |  80k|  18k| 6.000000e+00 |      --      |    Inf 
1061.80/1062.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1061.80/1062.10	c  1062s| 80000 |  1200 |  1940k|  24.2 |  29M| 187 |  28 |2844 |5924 |2844 | 539 | 153 |  92k|  20k| 6.000000e+00 |      --      |    Inf 
1182.97/1183.35	c  1183s| 90000 |  1379 |  2172k|  24.1 |  31M| 187 |  19 |2844 |6705 |2844 | 539 | 153 | 106k|  22k| 6.000000e+00 |      --      |    Inf 
1231.35/1231.78	o 6
1231.35/1231.78	c *1232s| 92518 |     0 |  2239k|  24.2 |  22M| 187 |   - |2844 |7016 |2844 | 539 | 153 | 108k|  25k| 6.000000e+00 | 6.000000e+00 |   0.00%
1231.35/1231.79	c 
1231.35/1231.79	c SCIP Status        : problem is solved [optimal solution found]
1231.35/1231.79	c Solving Time (sec) : 1231.70
1231.35/1231.79	c Solving Nodes      : 92518
1231.35/1231.79	c Primal Bound       : +6.00000000000000e+00 (1 solutions)
1231.35/1231.79	c Dual Bound         : +6.00000000000000e+00
1231.35/1231.79	c Gap                : 0.00 %
1231.45/1231.80	s OPTIMUM FOUND
1231.45/1231.80	v -x1866 -x1880 -x1898 -x1920 -x1948 -x1967 -x1979 -x1999 -x832 -x813 -x1066 -x1043 -x1113 -x1090 -x970 -x950 -x79 -x56 -x29 -x16 
1231.45/1231.80	v -x388 -x363 -x341 -x313 -x2217 -x2187 -x2284 -x2260 -x2339 -x2305 -x2392 -x2359 -x1529 -x1511 -x1489 -x1474 -x1640 -x1617 -x1597 
1231.45/1231.80	v -x1565 -x2065 x2079 -x1036 -x1058 -x1069 -x1094 -x934 -x958 -x2609 -x1927 -x1367 -x640 x2605 -x1913 -x1126 -x498 x2719 -x1593 
1231.45/1231.80	v -x789 -x121 -x1376 -x1317 -x1337 -x1430 -x1454 -x1386 -x1408 -x836 -x823 -x801 -x779 -x928 -x897 -x885 -x864 -x1006 -x552 
1231.45/1231.80	v -x580 -x608 -x632 -x654 -x683 -x714 -x725 -x748 -x50 -x24 -x89 -x70 -x145 -x109 -x190 -x2626 -x2567 -x2587 -x2820 -x2839 -x2789 
1231.45/1231.80	v -x2802 -x2749 -x2766 -x2707 -x2744 -x2325 -x2293 -x2261 -x2236 -x2210 -x2003 -x1874 -x1892 -x1914 -x1937 -x2066 -x2080 
1231.45/1231.80	v -x2093 -x2108 -x2015 -x2027 -x2047 -x2064 -x1574 -x1545 -x1632 -x1344 -x1321 -x1306 -x1442 -x1421 -x1401 -x1381 -x1198 -x1181 
1231.45/1231.80	v -x1148 -x1128 -x1294 -x1259 -x1236 -x1209 -x1001 -x879 x601 -x573 -x643 -x620 -x695 -x670 -x745 -x720 -x428 -x410 -x473 -x446 
1231.45/1231.80	v -x513 -x487 -x556 -x43 -x20 -x381 -x350 -x326 -x304 -x281 -x249 -x787 -x782 -x849 -x828 x1055 -x1037 -x1093 -x1070 -x1480 -x1462 
1231.45/1231.80	v -x1626 -x1598 -x1569 -x1540 -x1753 -x1729 -x2170 -x2147 -x2225 -x2179 -x2268 -x2240 -x2329 -x2294 -x2815 -x2838 -x667 -x690 
1231.45/1231.80	v -x731 -x759 -x584 -x605 -x44 -x22 -x93 -x72 -x1425 -x1451 -x1387 -x1414 -x2637 -x2452 -x1751 -x1016 -x271 x493 -x2304 -x2172 
1231.45/1231.80	v -x2144 -x2231 -x1621 -x1589 x1558 -x1528 -x1077 -x786 -x767 -x829 -x355 -x335 -x312 -x86 -x2346 -x2132 -x2158 -x2183 -x1635 
1231.45/1231.80	v -x1556 -x1584 -x1507 x2128 -x2212 -x2186 -x2493 -x23 -x188 -x161 -x146 -x781 -x841 -x822 -x880 -x1504 -x2072 -x2084 -x2101 
1231.45/1231.80	v -x2198 -x2173 -x2146 -x2817 -x53 -x124 -x96 -x179 -x57 -x136 x108 -x181 -x2310 -x2285 -x2252 -x2224 -x1717 -x1576 -x1546 -x1637 
1231.45/1231.80	v -x920 -x859 -x877 -x989 -x101 -x119 -x147 -x171 -x2244 -x2272 -x2269 -x2175 -x458 -x424 -x416 -x560 -x543 -x530 -x500 -x649 
1231.45/1231.80	v -x624 -x594 -x610 -x591 -x749 -x723 -x701 -x682 -x337 -x2518 -x2543 -x2470 -x2486 -x2416 -x2443 -x2360 -x2393 -x2306 -x2340 
1231.45/1231.80	v -x2327 -x2242 -x2270 -x2176 -x2209 -x2603 -x2589 -x2564 -x1759 -x1784 -x1816 -x1841 -x1655 -x1684 -x1706 -x1731 -x1562 -x1537 
1231.45/1231.80	v -x1567 -x1600 -x1628 -x1986 -x1893 -x1875 -x1938 -x1915 -x996 -x1020 -x951 -x971 -x1091 -x1114 -x1044 -x1067 -x1060 -x827 
1231.45/1231.80	v -x845 -x1169 -x1140 -x1121 -x1278 -x1255 -x1231 -x1207 -x212 -x236 -x267 -x288 -x314 -x340 -x364 -x358 -x385 -x726 x420 -x400 
1231.45/1231.80	v -x465 -x441 -x519 -x495 -x553 -x534 -x2320 -x2290 -x2262 -x2234 -x2213 -x2185 -x2190 -x1505 -x1527 -x1560 -x1591 -x2196 x2226 
1231.45/1231.80	v -x2148 -x2171 -x2806 -x2788 -x97 -x122 -x604 -x582 -x656 -x636 -x1409 -x1394 -x1378 -x1356 -x1870 -x1883 -x1903 -x1928 -x135 
1231.45/1231.80	v -x257 -x292 -x219 -x239 -x365 -x390 -x315 -x343 -x1139 -x1134 -x1200 -x1177 -x1246 -x1214 -x1288 -x866 -x891 -x909 -x949 -x975 
1231.45/1231.80	v -x995 -x1024 -x1046 -x1065 -x1092 -x1111 -x1991 -x1977 -x1963 -x1945 -x1926 -x1585 -x1508 -x1530 -x1475 -x1482 -x1820 -x1842 
1231.45/1231.80	v -x1762 -x1787 -x1707 -x1737 -x1660 -x1695 -x2653 -x2634 -x2700 -x2288 -x2311 -x2354 -x2134 -x2157 -x2200 -x2228 -x2469 -x2489 
1231.45/1231.80	v -x2508 -x2536 -x2364 -x2390 -x2426 -x2454 -x629 -x533 -x278 -x246 -x224 -x201 -x382 -x349 -x323 -x297 -x92 -x68 -x49 -x28 
1231.45/1231.80	v -x185 -x158 -x132 x1240 -x1266 -x1295 -x963 -x939 -x1017 -x991 -x1062 -x1040 -x1103 -x1079 -x802 -x777 -x844 -x824 -x868 -x442 
1231.45/1231.80	v -x319 -x346 -x371 -x1166 -x1143 -x1120 -x1086 -x1909 -x1969 -x1952 -x2002 -x2608 -x2590 -x2566 x2704 -x2496 -x2182 -x2211 
1231.45/1231.80	v -x2122 -x1799 -x1832 -x1857 -x1457 -x1606 -x1701 -x1677 -x1752 -x1723 -x1795 -x1771 -x1854 -x1330 -x1355 -x1379 -x1206 x1232 
1231.45/1231.80	v -x1254 -x1279 -x1118 -x700 -x637 -x658 -x583 -x607 -x538 -x557 -x496 -x2733 -x2754 -x2767 -x2780 -x2807 -x2819 -x2841 -x2563 
1231.45/1231.80	v -x2307 -x2035 -x2051 -x2008 -x2023 -x2099 -x2111 -x2067 -x1618 -x1594 -x1561 -x1248 -x1218 -x1301 -x1265 -x1158 -x1766 -x1796 
1231.45/1231.80	v -x1727 -x1755 -x1671 -x1704 -x2659 -x2640 -x2692 -x2669 -x2580 -x2558 -x2618 -x2600 -x2811 -x2794 -x2466 -x2482 -x2527 -x2550 
1231.45/1231.80	v -x2376 -x2402 -x2431 -x2458 -x476 -x459 -x437 -x417 -x559 x541 -x529 -x499 -x102 -x128 -x260 -x279 -x198 -x222 -x359 -x383 
1231.45/1231.80	v -x305 -x336 -x1159 -x1124 -x1192 -x1173 -x1249 -x1223 -x855 -x871 -x892 -x916 -x941 -x965 -x990 -x1011 -x1031 -x1054 -x1078 
1231.45/1231.80	v -x1097 -x2100 -x2112 -x2071 -x2085 -x1798 -x1775 -x1745 -x1720 -x1691 -x1662 -x1639 -x1614 -x1578 -x1557 -x1531 -x1509 -x1495 
1231.45/1231.80	v -x1463 -x2781 -x2800 -x2495 -x2476 -x2546 -x2521 -x2404 -x2381 -x2439 -x2410 -x2289 -x2257 -x2347 -x2314 -x2159 -x2133 -x2227 
1231.45/1231.80	v -x2203 -x569 -x548 -x422 -x406 -x480 -x456 -x698 -x674 -x746 -x721 -x612 -x592 -x662 -x638 -x886 -x908 -x854 -x867 -x819 -x840 
1231.45/1231.80	v -x771 -x790 -x803 -x1080 -x1104 -x1039 -x1061 -x986 -x1008 -x931 -x964 -x1289 -x1267 -x1244 -x1215 -x1196 -x1174 -x1160 
1231.45/1231.80	v -x1115 -x1455 -x1436 -x1418 -x1398 -x1370 -x1352 -x1335 -x1315 -x1467 -x1485 -x1514 -x1532 -x1549 -x1579 -x1609 -x1604 -x1633 
1231.45/1231.80	v -x1665 -x1689 -x1721 -x1742 -x1776 -x1804 -x1823 -x1849 -x1290 -x1268 -x1245 -x1216 -x1197 -x1175 -x1161 -x1116 -x1456 -x1437 
1231.45/1231.80	v -x1419 -x1399 -x1371 -x1353 -x1336 -x1316 -x1468 -x1486 -x1515 -x1533 -x1550 -x1580 -x1610 -x1605 -x1634 -x1666 -x1690 -x1722 
1231.45/1231.80	v -x1743 -x1777 -x1805 -x1824 -x1850 -x1889 -x1864 -x1929 -x1905 -x1961 -x1941 -x2004 -x1988 -x2021 -x2010 -x2053 -x2037 -x2082 
1231.45/1231.80	v -x2069 -x2109 -x2094 -x2191 -x2214 -x2130 -x2160 -x2315 -x2344 -x2321 -x2237 -x2264 -x2433 -x2461 -x2382 -x2407 -x2522 -x2547 
1231.45/1231.80	v -x1825 -x1851 -x1890 -x1865 -x1930 -x1906 -x1962 -x1942 -x2005 -x1989 -x2022 -x2011 -x2054 -x2038 -x2083 -x2070 -x2110 -x2095 
1231.45/1231.80	v -x2192 -x2215 -x2131 -x2161 -x2316 -x2345 -x2322 -x2238 -x2265 -x2434 -x2462 -x2383 -x2408 -x2523 -x2548 -x2479 -x2500 
1231.45/1231.80	v -x2614 -x2593 -x2576 -x2555 -x2696 -x2682 -x2661 -x2642 -x2769 -x2751 -x2734 -x2717 -x2833 -x2824 -x2803 -x2786 -x328 -x308 -x377 
1231.45/1231.80	v -x351 -x227 -x237 -x217 -x295 -x265 -x129 -x99 -x172 -x151 -x2524 -x2549 -x2480 -x2501 -x2615 -x2594 -x2577 -x2556 -x2697 
1231.45/1231.80	v -x2683 -x2662 -x2643 -x2770 -x2752 -x2735 -x2718 -x2834 -x2825 -x2804 -x2787 -x329 -x309 -x378 -x352 -x228 -x238 -x218 -x296 
1231.45/1231.80	v -x266 -x130 -x100 -x173 -x152 -x34 -x1 -x76 -x58 -x675 -x707 -x735 -x753 -x574 -x602 -x621 -x644 -x503 -x524 -x544 -x565 -x411 
1231.45/1231.80	v -x429 -x447 -x474 -x1098 -x1075 -x1056 -x1029 -x1047 -x1018 -x997 -x976 -x944 -x917 -x893 -x174 -x153 -x35 -x2 -x77 -x59 
1231.45/1231.80	v -x676 -x708 -x736 -x754 -x575 -x603 -x622 -x645 -x504 -x525 -x545 -x566 -x412 -x430 -x448 -x475 -x1099 -x1076 -x1057 -x1030 -x1048 
1231.45/1231.80	v -x1019 -x998 -x977 -x945 -x918 -x894 -x872 -x851 -x837 -x814 -x792 -x768 -x1427 -x1446 -x1395 -x1404 -x1345 -x1363 -x1307 
1231.45/1231.80	v -x1325 -x1272 -x1298 -x1221 -x1241 -x1182 -x1201 -x1129 -x1155 -x1699 -x1675 -x1749 -x1738 -x1713 -x1785 -x1760 -x1838 -x1813 
1231.45/1231.80	v x919 -x895 -x873 -x852 -x838 -x815 -x793 -x769 -x1428 -x1447 -x1396 -x1405 -x1346 -x1364 -x1308 -x1326 -x1273 -x1299 -x1222 
1231.45/1231.80	v -x1242 -x1183 -x1202 -x1130 -x1156 -x1700 -x1676 -x1750 -x1739 -x1714 -x1786 -x1761 -x1839 -x1814 -x1484 -x1465 -x1536 -x1512 
1231.45/1231.80	v -x1577 -x1547 -x1638 -x1607 -x2014 -x2026 -x2045 -x2062 -x2077 -x2092 -x2106 -x2120 -x1860 -x1881 -x1902 -x1923 -x1946 -x1964 
1231.45/1231.80	v -x1978 -x1994 -x2459 -x2430 -x2417 -x2394 -x2366 -x2530 -x2510 -x2586 -x2581 -x520 -x494 -x952 -x978 -x1570 -x1541 -x2154 
1231.45/1231.80	v -x2123 -x148 x120 -x957 -x209 x2435 -x1718 -x985 -x252 -x2737 -x2727 -x2349 -x2317 -x2279 -x2258 -x2218 -x2193 -x2028 -x2046 
1231.45/1231.80	v -x2039 -x2058 x1581 -x1555 -x1643 -x1613 -x1322 -x1426 -x1441 -x1448 -x1390 -x1410 -x839 -x809 -x599 -x619 -x641 -x668 -x677 
1231.45/1231.80	v -x709 -x737 -x755 -x2421 -x2278 -x2245 -x2334 -x2303 -x2296 -x2150 -x2124 -x1705 -x1685 -x1654 -x1647 -x1622 -x1588 -x1572 
1231.45/1231.80	v -x1539 -x1516 -x816 -x69 -x689 x2571 -x1954 -x1830 -x1809 -x1834 -x1756 -x905 -x926 -x907 -x956 -x162 -x186 -x116 -x106 x2537 
1231.45/1231.80	v -x2509 -x2391 -x2365 -x1843 -x1815 -x1788 -x1765 -x1260 -x1285 -x969 -x943 -x1873 -x1934 -x1837 -x1282 -x1027 -x955 -x395 -x208 
1231.45/1231.80	v -x2177 x2155 -x1821 -x1477 -x317 -x2356 -x1548 -x966 -x264 x2425 -x630 -x653 -x590 -x611 -x738 -x756 -x678 -x710 -x2274 -x2247 
1231.45/1231.80	v -x2337 -x2300 -x2165 -x2143 -x2232 -x2205 -x2601 -x2621 -x2785 -x2805 -x2823 -x2842 -x2712 -x2728 -x2747 -x2768 -x1645 
1231.45/1231.80	v -x1620 x1592 -x1566 -x1526 -x1501 -x1899 -x1916 -x1876 -x1895 -x2096 -x2107 -x2068 -x2078 -x2040 -x2059 -x2009 -x2024 -x935 -x962 
1231.45/1231.80	v -x983 -x1010 -x1369 -x1351 -x1420 -x1380 -x1439 -x1423 -x1149 -x1137 -x1199 -x1176 -x1247 -x1219 -x1302 -x1275 -x256 -x282 
1231.45/1231.80	v -x663 -x639 -x613 -x593 -x743 -x719 -x697 -x671 -x481 -x457 -x423 -x407 -x561 -x540 -x531 -x506 -x2201 -x2230 -x2801 -x2783 
1231.45/1231.80	v -x2835 -x2832 -x2736 -x2721 -x2772 -x2756 -x2660 -x2641 -x2693 -x2670 -x2582 -x2559 -x1595 -x2273 x127 -x870 -x1013 -x272 x2651 
1231.45/1231.80	v -x2436 -x175 -x830 -x1649 -x2444 -x462 -x443 -x711 -x679 -x1188 -x1167 -x1144 -x1122 -x1936 -x1912 -x1972 -x1953 -x2620 
1231.45/1231.80	v -x2606 x2585 -x2562 -x82 -x64 -x672 -x696 -x831 -x808 -x805 -x783 -x1947 -x1730 -x1746 -x1668 -x1692 -x1831 -x1858 -x1774 -x2632 
1231.45/1231.80	v -x2698 -x2676 -x2377 -x2409 -x2437 -x2463 -x2475 -x507 -x472 -x453 -x427 -x414 -x348 -x372 -x301 -x1217 -x1293 -x1269 -x1152 
1231.45/1231.80	v -x1133 -x1189 -x1170 -x1038 -x1636 -x1664 -x1686 -x1715 -x1740 -x1758 -x1791 -x1812 -x2348 x2251 -x2283 -x2411 -x2440 -x2358 
1231.45/1231.80	v -x2385 -x2505 -x259 -x244 -x220 -x391 -x889 -x981 -x942 -x1026 -x1513 -x1493 -x1466 -x1840 -x2309 -x2162 -x2139 -x2216 -x273 
1231.45/1231.80	v -x199 -x223 -x361 -x1264 -x940 x967 -x988 -x903 -x804 -x780 x847 -x168 -x143 -x110 -x95 -x2341 -x2369 -x2397 -x2420 -x1644 
1231.45/1231.80	v -x1563 -x1590 -x1712 -x915 -x764 -x784 -x806 -x176 -x105 -x131 -x62 -x717 -x688 -x666 -x648 -x1171 -x1407 -x1385 -x1445 -x1984 
1231.45/1231.80	v -x1965 -x1949 -x2063 -x2595 -x2652 -x2631 -x2686 -x344 -x369 -x389 -x221 -x1119 x1083 -x1109 -x1045 -x2715 -x233 -x203 -x211 
1231.45/1231.80	v -x532 -x542 -x562 -x1007 -x1147 -x1277 -x1300 -x1220 -x1966 -x1983 x1997 -x1863 -x2745 -x2668 -x2687 -x2627 -x807 -x785 -x765 
1231.45/1231.80	v -x1112 -x1736 -x1661 -x1683 -x1819 -x1846 -x1763 -x1783 -x1510 -x2678 -x2363 -x2389 -x2424 -x2451 -x2471 -x2485 -x2504 -x1085 
1231.45/1231.80	v -x1082 -x1106 -x1146 -x1127 -x1191 -x1172 -x1250 x370 -x396 -x374 -x300 -x324 -x483 -x461 -x438 -x2514 -x2541 -x2357 -x2380 
1231.45/1231.80	v -x2406 -x2438 -x2460 -x2650 -x1807 -x1836 -x1757 -x1781 -x1803 -x1719 -x1744 -x1669 -x1323 -x1276 -x1297 -x1224 -x2091 -x2103 
1231.45/1231.80	v -x2117 x1859 -x2738 -x2831 -x2849 -x2791 -x818 -x788 -x766 -x911 -x760 -x37 -x15 -x85 -x2763 -x2709 -x2732 -x2335 -x2297 
1231.45/1231.80	v -x2333 -x2375 -x2401 -x2428 -x2456 -x2478 -x2502 -x1624 -x1627 -x1538 -x1571 -x1726 x1754 -x1674 -x1697 -x1402 -x1383 -x1377 
1231.45/1231.80	v -x1357 -x1338 -x1318 -x1280 -x1257 -x692 -x669 -x740 -x734 -x609 -x588 -x655 -x628 -x71 -x94 -x2775 -x2762 -x2731 -x2708 -x2840 
1231.45/1231.80	v -x2822 -x2292 -x2324 -x2235 -x2266 -x2029 -x2013 -x2057 -x2044 -x270 -x342 x1000 -x974 -x1506 -x1782 -x2202 -x2169 -x322 
1231.45/1231.80	v -x298 -x954 -x979 -x812 -x1608 -x2413 -x195 -x848 x1631 -x1728 -x1698 -x994 -x1059 -x248 -x226 -x2748 -x2250 x2043 -x2025 -x1343 
1231.45/1231.80	v -x1415 -x41 -x18 -x196 -x170 x2271 -x2241 -x2328 -x2295 -x1693 -x1673 -x1629 -x1601 -x1258 -x1283 -x1205 -x1230 -x445 -x467 
1231.45/1231.80	v -x486 -x522 -x2681 -x2701 -x2645 -x2665 -x673 x744 -x718 -x27 -x1311 -x1440 -x1424 -x1400 -x1970 -x1985 -x2000 -x1878 -x2730 
1231.45/1231.80	v -x2685 -x2706 -x2646 -x704 -x730 -x763 -x399 -x1339 -x1433 -x1450 -x1393 -x464 -x439 -x419 -x398 -x558 -x539 -x516 -x492 
1231.45/1231.80	v -x318 -x345 -x1142 -x1123 -x1186 -x1165 -x1233 x1208 -x1042 -x1064 -x1084 -x1107 -x2001 -x1987 -x1971 -x1951 -x1802 -x1780 -x1716 
1231.45/1231.80	v -x1741 -x1663 -x1687 -x2667 -x2647 -x2494 -x2520 -x2515 -x2540 -x2355 -x2386 -x2412 -x2441 -x316 -x83 -x63 -x65 -x40 -x19 
1231.45/1231.80	v -x197 -x169 -x2703 -x2680 -x2664 -x2644 -x1933 -x1910 -x1973 -x1955 -x1284 -x1263 -x1235 -x1212 -x661 -x635 x518 -x491 -x2671 
1231.45/1231.80	v -x2689 -x2629 -x2649 -x1904 -x1931 -x1950 -x1968 -x87 -x21 -x42 -x167 -x193 -x113 -x142 -x251 -x2755 -x2239 -x2267 -x2299 
1231.45/1231.80	v -x2323 -x2129 x2156 -x2184 -x2050 -x2034 -x2020 -x1599 -x1625 -x1544 -x1573 -x1497 -x794 -x890 -x910 -x850 -x865 -x1375 -x1354 
1231.45/1231.80	v -x1333 -x33 -x61 -x75 -x107 -x137 -x155 -x182 -x616 -x2384 -x2308 -x2343 -x2259 -x2282 -x2197 -x2223 -x2135 -x876 -x858 -x921 
1231.45/1231.80	v -x896 -x1310 -x1329 -x1350 -x1368 -x1559 -x1542 -x1520 -x1499 -x1479 -x1459 -x2102 -x2114 -x2246 -x2336 -x2330 -x2298 -x2153 
1231.45/1231.80	v -x2121 -x2208 -x2178 -x141 x255 -x285 -x286 -x210 -x235 -x368 -x397 -x884 -x902 -x925 -x938 -x953 -x980 -x1005 -x1028 -x1575 
1231.45/1231.80	v -x1496 -x1519 -x1458 -x1476 -x1494 -x1806 -x1833 -x1522 -x1498 -x1568 -x1543 -x1652 -x1619 -x1682 -x1653 -x1735 -x1708 -x1794 
1231.45/1231.80	v -x1764 -x1835 -x1808 -x2604 -x2622 -x2565 -x2588 -x2684 -x2705 -x2688 -x2628 -x2648 -x2761 -x2774 -x2724 -x2743 -x2830 -x2850 
1231.45/1231.80	v -x2797 -x2814 -x2207 -x2181 -x2152 -x2127 -x2332 -x2302 -x2277 -x2249 -x2450 -x2423 -x2388 -x2362 -x2539 -x2517 -x2491 -x2473 
1231.45/1231.80	v -x387 -x357 -x334 -x307 -x276 -x294 -x269 -x241 -x216 -x178 -x150 -x126 -x104 -x81 -x55 -x32 -x11 -x2206 -x2180 -x2151 
1231.45/1231.80	v -x2126 -x2331 -x2301 -x2276 -x2248 -x2449 -x2422 -x2387 -x2361 -x2538 -x2516 -x2490 -x2472 -x386 -x356 -x333 -x306 -x275 -x293 
1231.45/1231.80	v -x268 -x240 -x215 -x177 -x149 -x125 -x103 -x80 -x54 -x31 -x10 -x729 -x762 -x681 -x703 -x618 -x647 -x579 -x598 -x547 -x564 -x502 
1231.45/1231.80	v -x528 -x450 -x469 -x409 -x434 -x1053 -x1035 -x1101 -x1074 -x1089 -x973 -x948 -x1023 -x1003 -x875 -x857 -x914 -x888 -x799 
1231.45/1231.80	v -x776 -x30 -x9 -x728 -x761 -x680 -x702 -x617 -x646 -x578 -x597 -x546 -x563 -x501 -x527 -x449 -x468 -x408 -x433 -x1052 -x1034 
1231.45/1231.80	v -x1100 -x1073 -x1088 -x972 -x947 -x1022 -x1002 -x874 -x856 -x913 -x887 -x798 -x775 -x835 -x821 -x1392 -x1413 -x1432 -x1444 -x1304 
1231.45/1231.80	v -x1320 -x1349 -x1362 -x1228 -x1253 -x1271 -x1292 -x1136 -x1154 -x1180 -x1195 -x1748 -x1725 -x1703 -x1679 -x1659 -x1845 
1231.45/1231.80	v -x1818 -x1790 -x1770 -x1525 -x1503 -x1492 -x1473 -x797 -x774 -x834 -x820 -x1391 -x1412 -x1431 -x1443 -x1303 -x1319 -x1348 -x1361 
1231.45/1231.80	v -x1227 -x1252 -x1270 -x1291 -x1135 -x1153 -x1179 -x1194 -x1747 -x1724 -x1702 -x1678 -x1658 -x1844 -x1817 -x1789 -x1769 -x1524 
1231.45/1231.80	v -x1502 -x1491 -x1472 -x1642 -x1616 -x1587 -x1554 -x2042 -x2056 -x2017 -x2033 -x2105 -x2116 -x2074 -x2090 -x1897 -x1922 -x1872 
1231.45/1231.80	v -x1887 -x1976 -x1993 -x1944 -x1960 -x2400 -x2374 -x2371 -x2448 -x2415 -x2488 -x2468 -x2535 -x2507 -x2168 -x2138 -x1490 
1231.45/1231.80	v -x1471 -x1641 -x1615 -x1586 -x1553 -x2041 -x2055 -x2016 -x2032 -x2104 -x2115 -x2073 -x2089 -x1896 -x1921 -x1871 -x1886 -x1975 
1231.45/1231.80	v -x1992 -x1943 -x1956 -x2398 -x2372 -x2370 -x2445 -x2414 -x2487 -x2467 -x2531 -x2506 -x2166 -x2136 -x2219 -x2194 -x2286 -x2253 
1231.45/1231.80	v -x2350 -x2318 -x2713 -x2741 -x2757 -x2776 -x2792 -x2812 -x2826 -x2844 -x2560 -x2572 -x2596 -x2616 -x2635 -x2655 -x2672 -x2694 
1231.45/1231.80	v -x156 -x165 -x191 -x111 -x138 -x66 -x90 -x25 -x46 -x2167 -x2137 x2220 -x2195 -x2287 -x2254 -x2351 -x2319 -x2714 -x2742 -x2758 
1231.45/1231.80	v -x2777 -x2793 -x2813 -x2827 -x2845 -x2561 -x2573 -x2597 -x2617 -x2636 -x2656 -x2673 -x2695 -x157 -x166 -x192 -x112 -x139 
1231.45/1231.80	v -x67 -x91 -x26 -x47 -x362 -x384 -x303 -x330 -x245 -x274 -x200 -x229 -x551 -x535 -x517 -x488 -x466 -x444 -x421 -x401 -x750 -x724 
1231.45/1231.80	v -x713 -x685 -x657 -x631 -x606 -x585 -x576 -x863 -x883 -x898 -x930 -x778 -x800 x1464 -x1193 -x477 -x2610 -x1932 -x1772 -x2773 
1231.45/1231.80	v x1602 -x1025 -x394 -x2442 -x1648 -x699 -x722 -x747 -x581 -x2663 -x2753 -x2771 -x2716 -x1974 -x1990 -x2006 -x2012 -x250 -x325 
1231.45/1231.80	v -x299 x375 -x987 -x959 -x932 -x1102 -x1919 -x1800 -x1778 -x1855 -x1239 -x1243 -x1213 -x1203 -x1178 -x1157 -x1138 -x1438 -x1422 
1231.45/1231.80	v -x1406 -x1382 -x1365 -x1347 -x1327 -x1309 -x906 -x927 -x853 -x869 -x817 -x833 -x770 -x791 -x1087 -x1110 -x1049 -x1068 -x999 
1231.45/1231.80	v -x1021 -x946 -x968 -x514 -x484 -x509 -x567 -x549 -x431 -x404 -x478 -x454 -x693 -x664 -x741 -x715 -x595 -x570 -x651 -x625 
1231.45/1231.81	v -x117 -x133 -x159 -x183 -x6 -x38 -x51 -x73 -x320 -x338 -x366 -x392 -x213 -x242 -x261 -x289 -x515 -x485 -x510 -x568 -x550 -x432 
1231.45/1231.81	v -x405 -x479 -x455 -x694 -x665 -x742 -x716 -x596 -x571 -x652 -x626 -x118 -x134 -x160 -x184 -x7 -x39 -x52 -x74 -x321 -x339 -x367 
1231.45/1231.81	v -x393 -x214 -x243 -x262 -x290 -x2624 -x2612 -x2598 -x2574 -x2553 -x2690 -x2674 -x2657 -x2638 -x2778 -x2759 -x2739 -x2722 
1231.45/1231.81	v -x2846 -x2828 -x2809 -x2795 -x2188 -x2221 -x2140 -x2163 -x2312 -x2352 -x2255 -x2280 -x2418 -x2446 -x2367 -x2395 -x2511 -x2532 
1231.45/1231.81	v -x263 -x291 -x2625 -x2613 -x2599 -x2575 -x2554 -x2691 -x2675 -x2658 -x2639 -x2779 -x2760 -x2740 -x2723 -x2847 -x2829 -x2810 
1231.45/1231.81	v -x2796 -x2189 -x2222 -x2141 -x2164 -x2313 -x2353 -x2256 -x2281 -x2419 -x2447 -x2368 -x2396 -x2512 -x2533 -x2464 -x2483 -x2497 
1231.45/1231.81	v -x1884 -x1867 -x1924 -x1907 -x1957 -x1939 -x1995 -x1980 -x2030 -x2018 -x2060 -x2048 -x2087 -x2075 -x2118 -x2097 -x1469 -x1487 
1231.45/1231.81	v -x1517 -x1534 -x1551 -x1582 -x1611 -x1650 -x1656 -x1680 -x1709 -x1732 -x2513 -x2534 -x2465 -x2484 -x2498 -x1885 -x1868 -x1925 
1231.45/1231.81	v -x1908 -x1958 -x1940 -x1996 -x1981 -x2031 -x2019 -x2061 -x2049 -x2088 -x2076 -x2119 -x2098 -x1470 -x1488 -x1518 -x1535 -x1552 
1231.45/1231.81	v -x1583 -x1612 -x1651 -x1657 -x1681 -x1710 -x1733 -x1767 -x1792 -x1810 -x1826 -x1852 -x1434 -x1452 -x1388 -x1416 -x1358 -x1373 
1231.45/1231.81	v -x1312 -x1331 -x1261 -x1287 -x1211 -x1238 -x1163 -x1185 -x1132 -x1151 -x1096 -x1072 -x1051 -x1033 -x1015 -x993 -x961 -x937 
1231.45/1231.81	v -x924 -x901 -x1711 -x1734 -x1768 -x1793 x1811 -x1829 -x1853 -x1435 -x1453 -x1389 -x1417 -x1359 -x1374 -x1313 -x1332 -x1262 
1231.45/1231.81	v -x1286 -x1210 -x1237 -x1162 -x1184 -x1131 -x1150 -x1095 -x1071 -x1050 -x1032 -x1014 -x992 -x960 -x936 -x923 -x900 -x882 -x861 
1231.45/1231.81	v -x843 -x826 -x811 -x796 -x773 -x687 -x706 -x733 -x752 -x587 -x615 -x634 -x660 -x490 -x512 -x537 -x555 -x403 -x426 -x452 -x471 
1231.45/1231.81	v -x332 -x311 -x380 -x354 -x231 -x205 -x284 -x254 -x922 -x899 -x881 -x860 -x842 -x825 -x810 -x795 -x772 -x686 -x705 -x732 -x751 
1231.45/1231.81	v -x586 -x614 -x633 -x659 -x489 -x511 -x536 -x554 -x402 -x425 -x451 -x470 -x331 -x310 -x379 -x353 -x230 -x204 -x283 -x253 -x140 
1231.45/1231.81	v -x115 -x187 -x164 -x48 -x36 -x4 -x78 -x60 -x2746 -x2764 -x2711 -x2726 -x2816 -x2837 -x2782 -x2799 -x2607 -x2623 -x2570 -x2591 
1231.45/1231.81	v -x2677 -x2699 -x2633 -x2654 -x2457 -x2432 -x2399 -x2373 -x2544 -x2519 -x2542 -x2525 -x2403 -x2379 -x287 -x258 -x234 -x207 
1231.45/1231.81	v -x497 -x523 -x982 -x933 -x1204 x1229 -x1256 -x1281 -x1847 -x1828 -x1696 -x1670 -x2552 -x2528 -x2499 -x2481 -x912 -x1334 -x1314 
1231.45/1231.81	v -x1372 -x1523 -x1461 -x1481 -x2113 -x2338 -x2142 -x2174 -x2199 -x572 x650 -x627 -x691 -x1226 -x1360 -x1341 -x1324 -x1877 
1231.45/1231.81	v -x1918 -x1901 -x2086 -x2784 -x2798 -x2818 -x2836 -x2568 -x2579 -x2592 -x2611 -x526 -x505 -x482 -x460 -x436 -x418 -x757 x739 
1231.45/1231.81	v -x1251 -x1225 -x1296 -x1274 -x1145 -x1125 -x1190 -x1164 -x984 -x1009 -x1917 -x1900 -x1882 -x1862 -x1998 -x1982 -x1827 -x1856 
1231.45/1231.81	v -x1779 -x1801 -x2583 -x2557 -x2619 -x2602 -x2427 -x2455 -x2474 -x2492 -x2526 -x2545 -x1888 -x1869 -x1012 -x277 -x508 -x2725 x2081 
1231.45/1231.81	v -x1340 -x2578 -x1959 x1004 -x1234 -x521 -x2666 -x1911 -x1935 -x1879 -x1894 -x2679 -x2702 -x2569 -x2584 -x2263 -x2233 -x2326 
1231.45/1231.81	v -x2291 -x1688 -x1667 -x1630 -x1603 -x1063 -x1041 -x1105 -x1081 -x232 -x206 -x376 x347 x1108 -x1861 -x2630 -x413 -x1384 -x1891 
1231.45/1231.81	v -x2750 -x2765 -x2710 -x2729 -x2821 -x2843 -x2848 -x2790 -x2808 -x144 -x114 -x189 -x163 -x45 -x17 -x88 -x440 -x463 -x684 
1231.45/1231.81	v -x712 -x727 -x758 -x589 -x577 -x600 -x623 -x642 -x929 -x904 x878 -x862 -x846 -x1168 -x1187 -x1117 -x1141 -x1429 -x1449 -x1397 
1231.45/1231.81	v -x1411 -x1403 -x1342 -x1366 -x1305 -x1328 -x2036 -x2052 -x2007 -x1694 -x1672 -x1848 -x1822 -x1797 -x1773 -x1521 -x1500 -x1478 
1231.45/1231.81	v -x1483 -x1460 -x1646 -x1623 -x1596 -x1564 -x2720 -x2405 -x2378 -x2453 -x2429 -x2503 -x2477 -x2551 -x2529 -x2149 -x2125 -x2145 
1231.45/1231.81	v -x2229 -x2204 -x2275 -x2243 -x2342 -x415 -x435 -x373 -x360 -x327 -x302 -x280 -x247 -x225 -x202 -x194 -x180 -x154 -x123 -x98 
1231.45/1231.81	v -x84 x14 x13 x12 x8 x5 x3 
1231.45/1231.81	c SCIP Status        : problem is solved [optimal solution found]
1231.45/1231.81	c Solving Time       :    1231.70
1231.45/1231.81	c Original Problem   :
1231.45/1231.81	c   Problem name     : HOME/instance-2702832-1278578692.opb
1231.45/1231.81	c   Variables        : 2850 (2850 binary, 0 integer, 0 implicit integer, 0 continuous)
1231.45/1231.81	c   Constraints      : 3286 initial, 3286 maximal
1231.45/1231.81	c Presolved Problem  :
1231.45/1231.81	c   Problem name     : t_HOME/instance-2702832-1278578692.opb
1231.45/1231.81	c   Variables        : 2844 (2844 binary, 0 integer, 0 implicit integer, 0 continuous)
1231.45/1231.81	c   Constraints      : 441 initial, 7021 maximal
1231.45/1231.81	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1231.45/1231.81	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1231.45/1231.81	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1231.45/1231.81	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1231.45/1231.81	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1231.45/1231.81	c   implics          :       0.00          0          0          0          0          0          0          0          0
1231.45/1231.81	c   probing          :       0.13          0          0          0          0          0          0          0          0
1231.45/1231.81	c   knapsack         :       0.22          0          0          0          0          0          0          0          0
1231.45/1231.81	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1231.45/1231.81	c   linear           :       0.06          6          0          0          6          0       2845          0          0
1231.45/1231.81	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1231.45/1231.81	c   root node        :          -          0          -          -          0          -          -          -          -
1231.45/1231.81	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1231.45/1231.81	c   integral         :          0          0          0      62006          0        414      16343          0          0     104186
1231.45/1231.81	c   knapsack         :        384          6     446936          1          0      11704    3410451       1200          0          0
1231.45/1231.81	c   setppc           :         57          6     435232          1          0       5479     998250          0          0          0
1231.45/1231.81	c   logicor          :          0+         0     143902          0          0       3376      93418          0          0          0
1231.45/1231.81	c   countsols        :          0          0          0          1          0          0          0          0          0          0
1231.45/1231.81	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1231.45/1231.81	c   integral         :     257.73       0.00       0.00     257.73       0.00
1231.45/1231.81	c   knapsack         :     148.71       0.03     148.68       0.00       0.00
1231.45/1231.81	c   setppc           :       9.82       0.00       9.82       0.00       0.00
1231.45/1231.81	c   logicor          :      13.77       0.00      13.77       0.00       0.00
1231.45/1231.81	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1231.45/1231.81	c Propagators        :       Time      Calls    Cutoffs    DomReds
1231.45/1231.81	c   vbounds          :       0.18          2          0          0
1231.45/1231.81	c   rootredcost      :       0.24          0          0          0
1231.45/1231.81	c   pseudoobj        :       0.16          0          0          0
1231.45/1231.81	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1231.45/1231.81	c   propagation      :      18.41      20559      20536     328112      117.1        315      105.4          -
1231.45/1231.81	c   infeasible LP    :      92.21      26734      13248     321596      207.5        158       89.5          0
1231.45/1231.81	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1231.45/1231.81	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1231.45/1231.81	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1231.45/1231.81	c   applied globally :          -          -          -     108921       92.3          -          -          -
1231.45/1231.81	c   applied locally  :          -          -          -          0        0.0          -          -          -
1231.45/1231.81	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1231.45/1231.81	c   cut pool         :       0.01          5          -          -       1330          -    (maximal pool size: 1588)
1231.45/1231.81	c   redcost          :      13.45      61266          0          0          0          0
1231.45/1231.81	c   impliedbounds    :       0.00          6          0          0          0          0
1231.45/1231.81	c   intobj           :       0.00          0          0          0          0          0
1231.45/1231.81	c   cgmip            :       0.00          0          0          0          0          0
1231.45/1231.81	c   gomory           :       0.05          6          0          0         64          0
1231.45/1231.81	c   strongcg         :       0.06          6          0          0         37          0
1231.45/1231.81	c   cmir             :       0.98          6          0          0       1770          0
1231.45/1231.81	c   flowcover        :       0.64          6          0          0       1202          0
1231.45/1231.81	c   clique           :       0.01          6          0          0         14          0
1231.45/1231.81	c   zerohalf         :       0.00          0          0          0          0          0
1231.45/1231.81	c   mcf              :       0.00          1          0          0          0          0
1231.45/1231.81	c   rapidlearning    :       0.53          1          0          0          0          0
1231.45/1231.81	c Pricers            :       Time      Calls       Vars
1231.45/1231.81	c   problem variables:       0.00          0          0
1231.45/1231.81	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1231.45/1231.81	c   relpscost        :     257.54      62005        414      16343          0          0     104186
1231.45/1231.81	c   pscost           :       0.00          0          0          0          0          0          0
1231.45/1231.81	c   inference        :       0.00          0          0          0          0          0          0
1231.45/1231.81	c   mostinf          :       0.00          0          0          0          0          0          0
1231.45/1231.81	c   leastinf         :       0.00          0          0          0          0          0          0
1231.45/1231.81	c   fullstrong       :       0.00          0          0          0          0          0          0
1231.45/1231.81	c   allfullstrong    :       0.00          0          0          0          0          0          0
1231.45/1231.81	c   random           :       0.00          0          0          0          0          0          0
1231.45/1231.81	c Primal Heuristics  :       Time      Calls      Found
1231.45/1231.81	c   LP solutions     :       0.01          -          1
1231.45/1231.81	c   pseudo solutions :       0.00          -          0
1231.45/1231.81	c   oneopt           :       0.12          0          0
1231.45/1231.81	c   crossover        :       0.08          0          0
1231.45/1231.81	c   guideddiving     :       0.01          0          0
1231.45/1231.81	c   coefdiving       :       5.07         47          0
1231.45/1231.81	c   fracdiving       :       2.49         47          0
1231.45/1231.81	c   veclendiving     :       1.23         47          0
1231.45/1231.81	c   linesearchdiving :       2.06         47          0
1231.45/1231.81	c   pscostdiving     :       2.35         47          0
1231.45/1231.81	c   rootsoldiving    :       2.05         24          0
1231.45/1231.81	c   feaspump         :       3.07         24          0
1231.45/1231.81	c   objpscostdiving  :       1.24         24          0
1231.45/1231.81	c   trivial          :       0.01          2          0
1231.45/1231.81	c   simplerounding   :       0.08          0          0
1231.45/1231.81	c   zirounding       :       0.11       1000          0
1231.45/1231.81	c   rounding         :       0.65       3457          0
1231.45/1231.81	c   shifting         :       4.23       1014          0
1231.45/1231.81	c   intshifting      :       0.00          0          0
1231.45/1231.81	c   twoopt           :       0.00          0          0
1231.45/1231.81	c   fixandinfer      :       0.00          0          0
1231.45/1231.81	c   intdiving        :       0.00          0          0
1231.45/1231.81	c   actconsdiving    :       0.00          0          0
1231.45/1231.81	c   octane           :       0.00          0          0
1231.45/1231.81	c   rens             :       0.14          1          0
1231.45/1231.81	c   rins             :       0.00          0          0
1231.45/1231.81	c   localbranching   :       0.00          0          0
1231.45/1231.81	c   mutation         :       0.00          0          0
1231.45/1231.81	c   dins             :       0.00          0          0
1231.45/1231.81	c   undercover       :       0.00          0          0
1231.45/1231.81	c   nlp              :       0.06          0          0
1231.45/1231.81	c   trysol           :       0.07          0          0
1231.45/1231.81	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1231.45/1231.81	c   primal LP        :       0.00          0          0       0.00          -
1231.45/1231.81	c   dual LP          :     557.76      87948    2203956      25.06    3951.46
1231.45/1231.81	c   lex dual LP      :       0.00          0          0       0.00          -
1231.45/1231.81	c   barrier LP       :       0.00          0          0       0.00          -
1231.45/1231.81	c   diving/probing LP:      12.09       4166      35538       8.53    2940.20
1231.45/1231.81	c   strong branching :     254.94      25562     782973      30.63    3071.26
1231.45/1231.81	c     (at root node) :          -         12       4812     401.00          -
1231.45/1231.81	c   conflict analysis:       0.00          0          0       0.00          -
1231.45/1231.81	c B&B Tree           :
1231.45/1231.81	c   number of runs   :          1
1231.45/1231.81	c   nodes            :      92518
1231.45/1231.81	c   nodes (total)    :      92518
1231.45/1231.81	c   nodes left       :          0
1231.45/1231.81	c   max depth        :        187
1231.45/1231.81	c   max depth (total):        187
1231.45/1231.81	c   backtracks       :      18221 (19.7%)
1231.45/1231.81	c   delayed cutoffs  :      10246
1231.45/1231.81	c   repropagations   :     196733 (1146388 domain reductions, 6558 cutoffs)
1231.45/1231.81	c   avg switch length:       6.77
1231.45/1231.81	c   switching time   :      35.40
1231.45/1231.81	c Solution           :
1231.45/1231.81	c   Solutions found  :          1 (1 improvements)
1231.45/1231.81	c   First Solution   : +6.00000000000000e+00   (in run 1, after 92518 nodes, 1231.67 seconds, depth 59, found by <relaxation>)
1231.45/1231.81	c   Primal Bound     : +6.00000000000000e+00   (in run 1, after 92518 nodes, 1231.67 seconds, depth 59, found by <relaxation>)
1231.45/1231.81	c   Dual Bound       : +6.00000000000000e+00
1231.45/1231.81	c   Gap              :       0.00 %
1231.45/1231.81	c   Root Dual Bound  : +6.00000000000000e+00
1231.45/1231.81	c   Root Iterations  :       3585
1231.45/1231.86	c Time complete: 1231.52.

Verifier Data 

OK	6

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 30741
/proc/meminfo: memFree=1658196/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=7904 CPUtime=0
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 1077 0 0 0 0 0 0 0 18 0 1 0 26082796 8093696 990 1992294400 4194304 8395647 140735316072848 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30741/statm: 1976 998 365 1026 0 946 0

[startup+0.0638699 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 30741
/proc/meminfo: memFree=1658196/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=14660 CPUtime=0.05
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 2950 0 0 0 5 0 0 0 20 0 1 0 26082796 15011840 2862 1992294400 4194304 8395647 140735316072848 18446744073709551615 6765616 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30741/statm: 3665 2862 393 1026 0 2635 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14660

[startup+0.100874 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 30741
/proc/meminfo: memFree=1658196/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=15120 CPUtime=0.09
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 3057 0 0 0 9 0 0 0 20 0 1 0 26082796 15482880 2969 1992294400 4194304 8395647 140735316072848 18446744073709551615 5758034 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30741/statm: 3780 2969 393 1026 0 2750 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15120

[startup+0.300896 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 30741
/proc/meminfo: memFree=1658196/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=30168 CPUtime=0.29
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 6964 0 0 0 27 2 0 0 20 0 1 0 26082796 30892032 6522 1992294400 4194304 8395647 140735316072848 18446744073709551615 4954250 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 7542 6522 485 1026 0 6512 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30168

[startup+0.700941 s]
/proc/loadavg: 1.00 1.00 0.92 3/106 30741
/proc/meminfo: memFree=1658196/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=38140 CPUtime=0.69
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 8933 0 0 0 66 3 0 0 21 0 1 0 26082796 39055360 8466 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 9535 8466 582 1026 0 8505 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38140

[startup+1.50103 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30742
/proc/meminfo: memFree=1625576/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=63688 CPUtime=1.49
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 15117 0 0 0 143 6 0 0 23 0 1 0 26082796 65216512 14650 1992294400 4194304 8395647 140735316072848 18446744073709551615 6086157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 15922 14650 616 1026 0 14892 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63688

[startup+3.10121 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30742
/proc/meminfo: memFree=1620120/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=47372 CPUtime=3.09
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 16353 0 0 0 302 7 0 0 25 0 1 0 26082796 48508928 10994 1992294400 4194304 8395647 140735316072848 18446744073709551615 7382073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 11843 10994 628 1026 0 10813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47372

[startup+6.30056 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30742
/proc/meminfo: memFree=1614788/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=47636 CPUtime=6.29
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 20590 0 0 0 618 11 0 0 25 0 1 0 26082796 48779264 11127 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 11909 11127 635 1026 0 10879 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47636

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30742
/proc/meminfo: memFree=1614788/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=47636 CPUtime=12.69
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 20591 0 0 0 1254 15 0 0 25 0 1 0 26082796 48779264 11128 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 11909 11128 636 1026 0 10879 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47636

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30742
/proc/meminfo: memFree=1614912/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=47636 CPUtime=25.48
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 20591 0 0 0 2524 24 0 0 25 0 1 0 26082796 48779264 11128 1992294400 4194304 8395647 140735316072848 18446744073709551615 6667522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 11909 11128 636 1026 0 10879 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47636

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30742
/proc/meminfo: memFree=1614912/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=47636 CPUtime=51.08
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 20591 0 0 0 5062 46 0 0 25 0 1 0 26082796 48779264 11128 1992294400 4194304 8395647 140735316072848 18446744073709551615 6696411 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 11909 11128 636 1026 0 10879 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47636

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30744
/proc/meminfo: memFree=1609704/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=54020 CPUtime=102.27
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 22166 0 0 0 10134 93 0 0 25 0 1 0 26082796 55316480 12688 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 13505 12688 640 1026 0 12475 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 54020

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30746
/proc/meminfo: memFree=1603752/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=59552 CPUtime=162.25
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 23597 0 0 0 16072 153 0 0 25 0 1 0 26082796 60981248 14090 1992294400 4194304 8395647 140735316072848 18446744073709551615 6670381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 14888 14090 640 1026 0 13858 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 59552

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30748
/proc/meminfo: memFree=1601272/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=61920 CPUtime=222.23
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 24190 0 0 0 22004 219 0 0 25 0 1 0 26082796 63406080 14682 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 15480 14682 640 1026 0 14450 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 61920

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30748
/proc/meminfo: memFree=1599040/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=64124 CPUtime=282.22
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 24761 0 0 0 27943 279 0 0 25 0 1 0 26082796 65662976 15253 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 16031 15253 640 1026 0 15001 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 64124

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30750
/proc/meminfo: memFree=1598172/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=65212 CPUtime=342.21
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 24994 0 0 0 33877 344 0 0 25 0 1 0 26082796 66777088 15486 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 16303 15486 640 1026 0 15273 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 65212

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30752
/proc/meminfo: memFree=1596684/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=66592 CPUtime=402.19
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 25388 0 0 0 39816 403 0 0 25 0 1 0 26082796 68190208 15880 1992294400 4194304 8395647 140735316072848 18446744073709551615 6693705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 16648 15880 640 1026 0 15618 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 66592

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30754
/proc/meminfo: memFree=1594948/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=68124 CPUtime=462.17
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 25766 0 0 0 45759 458 0 0 25 0 1 0 26082796 69758976 16258 1992294400 4194304 8395647 140735316072848 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 17031 16258 640 1026 0 16001 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 68124

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30756
/proc/meminfo: memFree=1592096/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=71136 CPUtime=522.15
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 26449 0 0 0 51700 515 0 0 25 0 1 0 26082796 72843264 16941 1992294400 4194304 8395647 140735316072848 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 17784 16941 640 1026 0 16754 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 71136

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30756
/proc/meminfo: memFree=1590980/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=71996 CPUtime=582.14
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 26725 0 0 0 57651 563 0 0 25 0 1 0 26082796 73723904 17214 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 17999 17214 640 1026 0 16969 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 71996

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30758
/proc/meminfo: memFree=1589864/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=73076 CPUtime=642.13
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 26983 0 0 0 63598 615 0 0 25 0 1 0 26082796 74829824 17472 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 18269 17472 640 1026 0 17239 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 73076

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30760
/proc/meminfo: memFree=1586392/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=76484 CPUtime=702.1
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 27849 0 0 0 69537 673 0 0 25 0 1 0 26082796 78319616 18338 1992294400 4194304 8395647 140735316072848 18446744073709551615 6019970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 19121 18338 640 1026 0 18091 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 76484

[startup+762.309 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30762
/proc/meminfo: memFree=1585152/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=77600 CPUtime=762.1
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 28124 0 0 0 75485 725 0 0 25 0 1 0 26082796 79462400 18613 1992294400 4194304 8395647 140735316072848 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 19400 18613 640 1026 0 18370 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 77600

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30764
/proc/meminfo: memFree=1584160/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=78784 CPUtime=822.07
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 28372 0 0 0 81423 784 0 0 25 0 1 0 26082796 80674816 18861 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 19696 18861 640 1026 0 18666 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 78784

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30764
/proc/meminfo: memFree=1582920/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=79880 CPUtime=882.06
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 28666 0 0 0 87371 835 0 0 25 0 1 0 26082796 81797120 19155 1992294400 4194304 8395647 140735316072848 18446744073709551615 6693776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 19970 19155 640 1026 0 18940 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 79880

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30766
/proc/meminfo: memFree=1581928/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=80892 CPUtime=942.04
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 28930 0 0 0 93300 904 0 0 25 0 1 0 26082796 82833408 19419 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 20223 19419 640 1026 0 19193 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 80892

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30777
/proc/meminfo: memFree=1579572/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=82772 CPUtime=1002.02
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 29311 0 0 0 99241 961 0 0 25 0 1 0 26082796 84758528 19800 1992294400 4194304 8395647 140735316072848 18446744073709551615 4693257 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 20693 19800 640 1026 0 19663 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 82772

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30779
/proc/meminfo: memFree=1576968/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=85012 CPUtime=1062
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 29973 0 0 0 105186 1014 0 0 25 0 1 0 26082796 87052288 20462 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 21253 20462 640 1026 0 20223 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 85012

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30781
/proc/meminfo: memFree=1575604/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=86580 CPUtime=1121.99
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 30309 0 0 0 111129 1070 0 0 25 0 1 0 26082796 88657920 20798 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 21645 20798 640 1026 0 20615 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 86580

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30781
/proc/meminfo: memFree=1574984/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=87032 CPUtime=1181.97
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 30503 0 0 0 117074 1123 0 0 25 0 1 0 26082796 89120768 20992 1992294400 4194304 8395647 140735316072848 18446744073709551615 6663886 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 21758 20992 640 1026 0 20728 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 87032

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

[startup+1203.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30783
/proc/meminfo: memFree=1574736/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=87328 CPUtime=1202.76
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 30553 0 0 0 119130 1146 0 0 25 0 1 0 26082796 89423872 21042 1992294400 4194304 8395647 140735316072848 18446744073709551615 6585873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 21832 21042 640 1026 0 20802 0
Current children cumulated CPU time (s) 1202.76
Current children cumulated vsize (KiB) 87328

[startup+1215.9 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30783
/proc/meminfo: memFree=1574240/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=88000 CPUtime=1215.56
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 30677 0 0 0 120397 1159 0 0 25 0 1 0 26082796 90112000 21166 1992294400 4194304 8395647 140735316072848 18446744073709551615 6585960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 22000 21166 640 1026 0 20970 0
Current children cumulated CPU time (s) 1215.56
Current children cumulated vsize (KiB) 88000

[startup+1222.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30783
/proc/meminfo: memFree=1574240/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=88000 CPUtime=1221.96
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 30677 0 0 0 121030 1166 0 0 25 0 1 0 26082796 90112000 21166 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 22000 21166 640 1026 0 20970 0
Current children cumulated CPU time (s) 1221.96
Current children cumulated vsize (KiB) 88000

[startup+1228.71 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30783
/proc/meminfo: memFree=1574240/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=88000 CPUtime=1228.37
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 30677 0 0 0 121664 1173 0 0 25 0 1 0 26082796 90112000 21166 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 22000 21166 640 1026 0 20970 0
Current children cumulated CPU time (s) 1228.37
Current children cumulated vsize (KiB) 88000

[startup+1230.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30783
/proc/meminfo: memFree=1574240/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=88000 CPUtime=1229.95
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 30677 0 0 0 121820 1175 0 0 25 0 1 0 26082796 90112000 21166 1992294400 4194304 8395647 140735316072848 18446744073709551615 4911290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 22000 21166 640 1026 0 20970 0
Current children cumulated CPU time (s) 1229.95
Current children cumulated vsize (KiB) 88000

[startup+1231.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30783
/proc/meminfo: memFree=1574240/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=88000 CPUtime=1230.76
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 30677 0 0 0 121900 1176 0 0 25 0 1 0 26082796 90112000 21166 1992294400 4194304 8395647 140735316072848 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 22000 21166 640 1026 0 20970 0
Current children cumulated CPU time (s) 1230.76
Current children cumulated vsize (KiB) 88000

[startup+1231.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30783
/proc/meminfo: memFree=1574240/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=88000 CPUtime=1231.15
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 30677 0 0 0 121939 1176 0 0 25 0 1 0 26082796 90112000 21166 1992294400 4194304 8395647 140735316072848 18446744073709551615 6023234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 22000 21166 640 1026 0 20970 0
Current children cumulated CPU time (s) 1231.15
Current children cumulated vsize (KiB) 88000

[startup+1231.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30783
/proc/meminfo: memFree=1574240/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=88000 CPUtime=1231.35
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 30677 0 0 0 121959 1176 0 0 25 0 1 0 26082796 90112000 21166 1992294400 4194304 8395647 140735316072848 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30741/statm: 22000 21166 640 1026 0 20970 0
Current children cumulated CPU time (s) 1231.35
Current children cumulated vsize (KiB) 88000

[startup+1231.8 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 30783
/proc/meminfo: memFree=1574240/2059040 swapFree=4139412/4192956
[pid=30741] ppid=30739 vsize=88000 CPUtime=1231.45
/proc/30741/stat : 30741 (pbscip.linux.x8) R 30739 30741 30304 0 -1 4202496 30678 0 0 0 121969 1176 0 0 25 0 1 0 26082796 90112000 21167 1992294400 4194304 8395647 140735316072848 18446744073709551615 4601776 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30741/statm: 22000 21167 641 1026 0 20970 0
Current children cumulated CPU time (s) 1231.45
Current children cumulated vsize (KiB) 88000

Child status: 0
Real time (s): 1231.87
CPU time (s): 1231.53
CPU user time (s): 1219.76
CPU system time (s): 11.7782
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 88000

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

runsolver used 2.12068 second user time and 5.73813 second system time

The end

Launcher Data 

Begin job on node005 at 2010-07-08 10:44:52
IDJOB=2702832
IDBENCH=71847
IDSOLVER=1213
FILE ID=node005/2702832-1278578692
PBS_JOBID= 11240110
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx57.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702832-1278578692/watcher-2702832-1278578692 -o /tmp/evaluation-result-2702832-1278578692/solver-2702832-1278578692 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2702832-1278578692.opb -t 1800 -m 1800

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

MD5SUM BENCH= 60656ad92b0e8411299701f2f84e60fb
RANDOM SEED=22736916

node005.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1658600 kB
Buffers:         87984 kB
Cached:         221804 kB
SwapCached:       8028 kB
Active:         169876 kB
Inactive:       154756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1658600 kB
SwapTotal:     4192956 kB
SwapFree:      4139412 kB
Dirty:           10716 kB
Writeback:           0 kB
AnonPages:       12032 kB
Mapped:          11988 kB
Slab:            53820 kB
PageTables:       4228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182104 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62544 MiB
End job on node005 at 2010-07-08 11:05:24