Trace number 3691331

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
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedOPT7 433.787 433.859

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-ns894788.opb
MD5SUMca3efe2da0610ce6a80a42a3887418e6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark180.313
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3463
Total number of constraints2279
Number of constraints which are clauses678
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1456
Minimum length of a constraint1
Maximum length of a constraint97
Number of terms in the objective function 7
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 7
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 97
Number of bits of the biggest sum of numbers7
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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3691331-1338024541.opb>
0.00/0.01	c original problem has 3463 variables (3463 bin, 0 int, 0 impl, 0 cont) and 2279 constraints
0.00/0.01	c problem read in 0.01
0.00/0.03	c presolving:
0.00/0.05	c (round 1) 950 del vars, 586 del conss, 0 add conss, 950 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3240 impls, 1136 clqs
0.00/0.05	c (round 2) 1147 del vars, 717 del conss, 0 add conss, 1112 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3270 impls, 1083 clqs
0.00/0.05	c (round 3) 1175 del vars, 753 del conss, 0 add conss, 1127 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3270 impls, 1079 clqs
0.00/0.06	c (round 4) 1175 del vars, 754 del conss, 0 add conss, 1127 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3270 impls, 1079 clqs
0.08/0.09	c (round 5) 1175 del vars, 1152 del conss, 0 add conss, 1127 chg bounds, 398 chg sides, 0 chg coeffs, 0 upgd conss, 3270 impls, 1079 clqs
0.08/0.09	c (round 6) 1175 del vars, 1152 del conss, 0 add conss, 1127 chg bounds, 398 chg sides, 0 chg coeffs, 1127 upgd conss, 3270 impls, 1079 clqs
0.09/0.10	c (round 7) 1175 del vars, 1243 del conss, 0 add conss, 1127 chg bounds, 398 chg sides, 0 chg coeffs, 1127 upgd conss, 3270 impls, 1079 clqs
0.39/0.40	c    (0.4s) probing: 1000/2288 (43.7%) - 17 fixings, 0 aggregations, 23265 implications, 0 bound changes
0.49/0.55	c    (0.5s) probing: 1460/2288 (63.8%) - 17 fixings, 0 aggregations, 32475 implications, 0 bound changes
0.49/0.55	c    (0.5s) probing aborted: 1000/1000 successive useless probings
0.49/0.55	c (round 8) 1192 del vars, 1243 del conss, 0 add conss, 1127 chg bounds, 398 chg sides, 0 chg coeffs, 1127 upgd conss, 126806 impls, 1074 clqs
0.49/0.55	c (round 9) 1192 del vars, 1246 del conss, 0 add conss, 1127 chg bounds, 398 chg sides, 0 chg coeffs, 1127 upgd conss, 126806 impls, 1074 clqs
0.49/0.59	c    (0.6s) probing: 1560/2288 (68.2%) - 17 fixings, 0 aggregations, 34327 implications, 0 bound changes
0.49/0.59	c    (0.6s) probing aborted: 1000/1000 successive useless probings
0.49/0.59	c presolving (10 rounds):
0.49/0.59	c  1192 deleted vars, 1246 deleted constraints, 0 added constraints, 1127 tightened bounds, 0 added holes, 398 changed sides, 0 changed coefficients
0.49/0.59	c  130770 implications, 1074 cliques
0.49/0.59	c presolved problem has 2271 variables (2271 bin, 0 int, 0 impl, 0 cont) and 1033 constraints
0.49/0.59	c    1033 constraints of type <setppc>
0.49/0.59	c transformed objective value is always integral (scale: 1)
0.49/0.59	c Presolving Time: 0.57
0.49/0.59	c - non default parameters ----------------------------------------------------------------------
0.49/0.59	c # SCIP version 2.1.1.4
0.49/0.59	c 
0.49/0.59	c # maximal time in seconds to run
0.49/0.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59	c limits/time = 1797
0.49/0.59	c 
0.49/0.59	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59	c limits/memory = 13950
0.49/0.59	c 
0.49/0.59	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.59	c # [type: int, range: [1,2], default: 1]
0.49/0.59	c timing/clocktype = 2
0.49/0.59	c 
0.49/0.59	c # belongs reading time to solving time?
0.49/0.59	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59	c timing/reading = TRUE
0.49/0.59	c 
0.49/0.59	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.59	c separating/rapidlearning/freq = 0
0.49/0.59	c 
0.49/0.59	c -----------------------------------------------------------------------------------------------
0.49/0.59	c start solving
0.49/0.59	c 
1.69/1.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.69/1.76	c   1.8s|     1 |     0 | 10692 |     - |  14M|   0 | 400 |2271 |1125 |2271 |1033 |   0 |  92 |   0 | 6.326904e+00 |      --      |    Inf 
5.08/5.10	c   5.1s|     1 |     0 | 25449 |     - |  16M|   0 | 446 |2271 |3987 |2271 |1085 |  52 |  92 |   0 | 6.447557e+00 |      --      |    Inf 
5.19/5.23	c   5.2s|     1 |     0 | 25899 |     - |  16M|   0 | 439 |2271 |3987 |2271 |1098 |  65 |  92 |   0 | 6.452950e+00 |      --      |    Inf 
5.29/5.37	c   5.4s|     1 |     0 | 26299 |     - |  16M|   0 | 445 |2271 |3987 |2271 |1102 |  69 |  92 |   0 | 6.464825e+00 |      --      |    Inf 
5.49/5.54	c   5.5s|     1 |     0 | 27024 |     - |  16M|   0 | 465 |2271 |3987 |2271 |1114 |  81 |  92 |   0 | 6.472770e+00 |      --      |    Inf 
5.69/5.71	c   5.7s|     1 |     0 | 27644 |     - |  16M|   0 | 471 |2271 |3987 |2271 |1122 |  89 |  92 |   0 | 6.477582e+00 |      --      |    Inf 
5.79/5.81	c   5.8s|     1 |     0 | 27813 |     - |  16M|   0 | 470 |2271 |3987 |2271 |1128 |  95 |  92 |   0 | 6.478057e+00 |      --      |    Inf 
5.89/5.90	c   5.9s|     1 |     0 | 27940 |     - |  16M|   0 | 471 |2271 |3987 |2271 |1136 | 103 |  92 |   0 | 6.478505e+00 |      --      |    Inf 
5.98/6.08	c   6.1s|     1 |     0 | 28638 |     - |  16M|   0 | 483 |2271 |3987 |2271 |1142 | 109 |  92 |   0 | 6.484552e+00 |      --      |    Inf 
6.09/6.17	c   6.2s|     1 |     0 | 28786 |     - |  16M|   0 | 493 |2271 |3987 |2271 |1151 | 118 |  92 |   0 | 6.486506e+00 |      --      |    Inf 
6.19/6.27	c   6.3s|     1 |     0 | 28889 |     - |  16M|   0 | 479 |2271 |3987 |2271 |1156 | 123 |  92 |   0 | 6.487283e+00 |      --      |    Inf 
6.29/6.35	c   6.4s|     1 |     0 | 29204 |     - |  16M|   0 | 501 |2271 |3987 |2271 |1161 | 128 |  92 |   0 | 6.490643e+00 |      --      |    Inf 
6.39/6.44	c   6.4s|     1 |     0 | 29487 |     - |  16M|   0 | 534 |2271 |3987 |2271 |1166 | 133 |  92 |   0 | 6.494686e+00 |      --      |    Inf 
6.39/6.50	c   6.5s|     1 |     0 | 29575 |     - |  16M|   0 | 515 |2271 |3987 |2271 |1172 | 139 |  92 |   0 | 6.494999e+00 |      --      |    Inf 
6.60/6.63	c   6.6s|     1 |     0 | 30089 |     - |  17M|   0 | 489 |2271 |3987 |2271 |1126 | 144 |  92 |   0 | 6.501241e+00 |      --      |    Inf 
6.69/6.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.69/6.72	c   6.7s|     1 |     0 | 30347 |     - |  17M|   0 | 506 |2271 |3987 |2271 |1131 | 149 |  92 |   0 | 6.504016e+00 |      --      |    Inf 
6.79/6.81	c   6.8s|     1 |     0 | 30608 |     - |  17M|   0 | 523 |2271 |3987 |2271 |1138 | 156 |  92 |   0 | 6.506966e+00 |      --      |    Inf 
6.79/6.87	c   6.9s|     1 |     0 | 30679 |     - |  17M|   0 | 510 |2271 |3987 |2271 |1151 | 169 |  92 |   0 | 6.507199e+00 |      --      |    Inf 
6.89/6.95	c   7.0s|     1 |     0 | 30955 |     - |  17M|   0 | 492 |2271 |3987 |2271 |1157 | 175 |  92 |   0 | 6.517417e+00 |      --      |    Inf 
6.99/7.03	c   7.0s|     1 |     0 | 31154 |     - |  17M|   0 | 500 |2271 |3987 |2271 |1161 | 179 |  92 |   0 | 6.519256e+00 |      --      |    Inf 
7.09/7.10	c   7.1s|     1 |     0 | 31305 |     - |  17M|   0 | 482 |2271 |3987 |2271 |1149 | 184 |  92 |   0 | 6.521209e+00 |      --      |    Inf 
7.19/7.21	c   7.2s|     1 |     0 | 31781 |     - |  17M|   0 | 489 |2271 |3987 |2271 |1153 | 188 |  92 |   0 | 6.527289e+00 |      --      |    Inf 
7.19/7.26	c   7.3s|     1 |     0 | 31877 |     - |  17M|   0 | 477 |2271 |3987 |2271 |1157 | 192 |  92 |   0 | 6.531045e+00 |      --      |    Inf 
7.29/7.35	c   7.4s|     1 |     0 | 32357 |     - |  17M|   0 | 497 |2271 |3987 |2271 |1164 | 199 |  92 |   0 | 6.535193e+00 |      --      |    Inf 
7.39/7.43	c   7.4s|     1 |     0 | 32629 |     - |  17M|   0 | 484 |2271 |3987 |2271 |1170 | 205 |  92 |   0 | 6.542222e+00 |      --      |    Inf 
7.49/7.50	c   7.5s|     1 |     0 | 32859 |     - |  17M|   0 | 492 |2271 |3987 |2271 |1174 | 209 |  92 |   0 | 6.543066e+00 |      --      |    Inf 
7.49/7.54	c   7.5s|     1 |     0 | 32947 |     - |  17M|   0 | 497 |2271 |3987 |2271 |1167 | 217 |  92 |   0 | 6.543293e+00 |      --      |    Inf 
7.59/7.64	c   7.6s|     1 |     0 | 33366 |     - |  17M|   0 | 486 |2271 |3987 |2271 |1172 | 222 |  92 |   0 | 6.545773e+00 |      --      |    Inf 
7.69/7.72	c   7.7s|     1 |     0 | 33683 |     - |  17M|   0 | 463 |2271 |3987 |2271 |1178 | 228 |  92 |   0 | 6.548202e+00 |      --      |    Inf 
7.69/7.77	c   7.8s|     1 |     0 | 33766 |     - |  17M|   0 | 473 |2271 |3987 |2271 |1181 | 231 |  92 |   0 | 6.548426e+00 |      --      |    Inf 
7.78/7.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.78/7.82	c   7.8s|     1 |     0 | 33921 |     - |  17M|   0 | 473 |2271 |3987 |2271 |1186 | 236 |  92 |   0 | 6.549114e+00 |      --      |    Inf 
7.78/7.86	c   7.9s|     1 |     0 | 33968 |     - |  17M|   0 | 475 |2271 |3987 |2271 |1193 | 243 |  92 |   0 | 6.549183e+00 |      --      |    Inf 
7.88/7.92	c   7.9s|     1 |     0 | 34063 |     - |  17M|   0 | 458 |2271 |3987 |2271 |1173 | 248 |  92 |   0 | 6.549542e+00 |      --      |    Inf 
7.88/7.95	c   7.9s|     1 |     0 | 34072 |     - |  17M|   0 | 457 |2271 |3987 |2271 |1177 | 252 |  92 |   0 | 6.549543e+00 |      --      |    Inf 
7.88/7.98	c   8.0s|     1 |     0 | 34076 |     - |  17M|   0 | 458 |2271 |3987 |2271 |1179 | 254 |  92 |   0 | 6.549543e+00 |      --      |    Inf 
7.98/8.01	c   8.0s|     1 |     0 | 34081 |     - |  17M|   0 | 463 |2271 |3987 |2271 |1182 | 257 |  92 |   0 | 6.549543e+00 |      --      |    Inf 
7.98/8.05	c   8.1s|     1 |     0 | 34107 |     - |  17M|   0 | 481 |2271 |3987 |2271 |1183 | 258 |  92 |   0 | 6.549557e+00 |      --      |    Inf 
8.08/8.10	c   8.1s|     1 |     0 | 34198 |     - |  17M|   0 | 477 |2271 |3987 |2271 |1187 | 262 |  92 |   0 | 6.549608e+00 |      --      |    Inf 
8.18/8.25	c   8.2s|     1 |     0 | 35051 |     - |  17M|   0 | 542 |2271 |3987 |2271 |1171 | 262 |  92 |   0 | 7.000000e+00 |      --      |    Inf 
8.28/8.35	c   8.4s|     1 |     0 | 35433 |     - |  17M|   0 | 628 |2271 |3987 |2271 |1180 | 271 |  92 |   0 | 7.000000e+00 |      --      |    Inf 
10.18/10.20	c  10.2s|     1 |     2 | 35433 |     - |  17M|   0 | 628 |2271 |3987 |2271 |1180 | 271 |  92 |  10 | 7.000000e+00 |      --      |    Inf 
43.78/43.84	c  43.8s|   100 |    25 | 86857 | 519.4 |  17M|  21 |   - |2271 |4060 |2271 |1121 | 271 | 165 | 272 | 7.000000e+00 |      --      |    Inf 
51.48/51.57	c  51.6s|   200 |    31 |118395 | 416.9 |  17M|  24 |   - |2271 |4126 |2271 |1121 | 271 | 231 | 304 | 7.000000e+00 |      --      |    Inf 
59.39/59.49	c  59.5s|   300 |    25 |152057 | 390.0 |  17M|  24 |   - |2271 |4232 |2271 |1121 | 271 | 337 | 340 | 7.000000e+00 |      --      |    Inf 
67.18/67.20	c  67.2s|   400 |    23 |183139 | 370.2 |  17M|  28 |   - |2271 |4303 |2271 |1121 | 271 | 408 | 377 | 7.000000e+00 |      --      |    Inf 
72.38/72.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
72.38/72.42	c  72.4s|   500 |    40 |205206 | 340.2 |  17M|  30 | 129 |2271 |4357 |2271 |1121 | 271 | 462 | 401 | 7.000000e+00 |      --      |    Inf 
78.87/78.95	c  79.0s|   600 |    24 |232328 | 328.7 |  17M|  35 | 364 |2271 |4449 |2271 |1121 | 271 | 554 | 431 | 7.000000e+00 |      --      |    Inf 
85.07/85.19	c  85.2s|   700 |    33 |261623 | 323.6 |  17M|  35 | 360 |2271 |4537 |2271 |1121 | 271 | 642 | 454 | 7.000000e+00 |      --      |    Inf 
96.68/96.80	c  96.8s|   800 |    64 |308646 | 341.9 |  18M|  35 | 338 |2271 |4657 |2271 |1121 | 271 | 764 | 505 | 7.000000e+00 |      --      |    Inf 
104.17/104.25	c   104s|   900 |    68 |339419 | 338.1 |  18M|  35 |   - |2271 |4731 |2271 |1121 | 271 | 839 | 541 | 7.000000e+00 |      --      |    Inf 
114.56/114.60	c   115s|  1000 |    74 |388531 | 353.5 |  18M|  35 |   - |2271 |4838 |2271 |1121 | 271 | 958 | 592 | 7.000000e+00 |      --      |    Inf 
124.77/124.88	c   125s|  1100 |    76 |436135 | 364.6 |  18M|  35 | 214 |2271 |4944 |2271 |1121 | 271 |1067 | 646 | 7.000000e+00 |      --      |    Inf 
133.27/133.31	c   133s|  1200 |    76 |469362 | 361.9 |  18M|  35 |   - |2271 |5032 |2271 |1121 | 271 |1167 | 691 | 7.000000e+00 |      --      |    Inf 
141.56/141.66	c   142s|  1300 |    78 |508147 | 363.9 |  18M|  35 | 278 |2271 |5109 |2271 |1121 | 271 |1248 | 736 | 7.000000e+00 |      --      |    Inf 
149.26/149.33	c   149s|  1400 |    89 |543805 | 363.4 |  18M|  35 |   - |2271 |5180 |2271 |1121 | 271 |1327 | 777 | 7.000000e+00 |      --      |    Inf 
157.36/157.48	c   157s|  1500 |    87 |578036 | 362.0 |  19M|  35 |   - |2271 |5251 |2271 |1121 | 271 |1412 | 820 | 7.000000e+00 |      --      |    Inf 
166.46/166.50	c   167s|  1600 |    95 |619399 | 365.2 |  19M|  35 | 356 |2271 |5289 |2271 |1121 | 271 |1465 | 866 | 7.000000e+00 |      --      |    Inf 
179.26/179.35	c   179s|  1700 |   104 |676219 | 377.2 |  19M|  35 | 443 |2271 |5392 |2271 |1121 | 271 |1586 | 929 | 7.000000e+00 |      --      |    Inf 
189.85/189.91	c   190s|  1800 |   128 |722094 | 381.7 |  19M|  35 | 317 |2271 |5429 |2271 |1121 | 271 |1631 | 982 | 7.000000e+00 |      --      |    Inf 
198.75/198.88	c   199s|  1900 |   140 |763464 | 383.4 |  19M|  35 | 295 |2271 |5520 |2271 |1121 | 271 |1736 |1027 | 7.000000e+00 |      --      |    Inf 
206.05/206.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
206.05/206.13	c   206s|  2000 |   138 |792063 | 378.5 |  19M|  35 |   - |2271 |5585 |2271 |1121 | 271 |1819 |1086 | 7.000000e+00 |      --      |    Inf 
220.85/220.96	c   221s|  2100 |   166 |862494 | 394.0 |  19M|  35 | 389 |2271 |5676 |2271 |1121 | 271 |1946 |1149 | 7.000000e+00 |      --      |    Inf 
228.45/228.56	c   229s|  2200 |   178 |893916 | 390.4 |  20M|  35 | 305 |2271 |5747 |2271 |1121 | 271 |2036 |1193 | 7.000000e+00 |      --      |    Inf 
240.54/240.62	c   241s|  2300 |   198 |944232 | 395.3 |  20M|  35 |   - |2271 |5816 |2271 |1121 | 271 |2164 |1256 | 7.000000e+00 |      --      |    Inf 
253.04/253.12	c   253s|  2400 |   226 |996786 | 400.7 |  20M|  35 |   - |2271 |5865 |2271 |1121 | 271 |2262 |1318 | 7.000000e+00 |      --      |    Inf 
265.94/266.00	c   266s|  2500 |   236 |  1059k| 409.6 |  20M|  35 | 383 |2271 |5928 |2271 |1121 | 271 |2373 |1390 | 7.000000e+00 |      --      |    Inf 
274.74/274.85	c   275s|  2600 |   244 |  1094k| 407.7 |  20M|  35 |   - |2271 |5969 |2271 |1121 | 271 |2436 |1450 | 7.000000e+00 |      --      |    Inf 
283.34/283.42	c   283s|  2700 |   258 |  1129k| 405.2 |  20M|  35 |   - |2271 |6007 |2271 |1121 | 271 |2512 |1499 | 7.000000e+00 |      --      |    Inf 
292.74/292.86	c   293s|  2800 |   262 |  1171k| 405.9 |  20M|  35 | 254 |2271 |6096 |2271 |1121 | 271 |2631 |1562 | 7.000000e+00 |      --      |    Inf 
305.14/305.25	c   305s|  2900 |   280 |  1221k| 409.0 |  20M|  35 |   - |2271 |6115 |2271 |1121 | 271 |2721 |1623 | 7.000000e+00 |      --      |    Inf 
313.44/313.52	c   314s|  3000 |   279 |  1254k| 406.4 |  21M|  35 | 388 |2271 |6202 |2271 |1121 | 271 |2833 |1697 | 7.000000e+00 |      --      |    Inf 
322.33/322.44	c   322s|  3100 |   285 |  1289k| 404.8 |  21M|  35 |   - |2271 |6256 |2271 |1121 | 271 |2924 |1762 | 7.000000e+00 |      --      |    Inf 
333.24/333.37	c   333s|  3200 |   301 |  1335k| 406.5 |  21M|  35 | 317 |2271 |6286 |2271 |1121 | 271 |3006 |1836 | 7.000000e+00 |      --      |    Inf 
343.63/343.77	c   344s|  3300 |   313 |  1378k| 407.1 |  21M|  35 | 275 |2271 |6270 |2271 |1121 | 271 |3076 |1902 | 7.000000e+00 |      --      |    Inf 
352.73/352.84	c   353s|  3400 |   311 |  1416k| 406.4 |  21M|  35 | 412 |2271 |6314 |2271 |1121 | 271 |3158 |1982 | 7.000000e+00 |      --      |    Inf 
362.33/362.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
362.33/362.45	c   362s|  3500 |   308 |  1454k| 405.6 |  21M|  35 |   - |2271 |6375 |2271 |1121 | 271 |3263 |2061 | 7.000000e+00 |      --      |    Inf 
367.53/367.61	c   368s|  3600 |   312 |  1479k| 401.1 |  21M|  35 | 320 |2271 |6420 |2271 |1121 | 271 |3320 |2097 | 7.000000e+00 |      --      |    Inf 
373.13/373.27	c   373s|  3700 |   322 |  1503k| 397.0 |  21M|  35 |   - |2271 |6464 |2271 |1121 | 271 |3381 |2148 | 7.000000e+00 |      --      |    Inf 
379.52/379.64	c   380s|  3800 |   317 |  1534k| 394.6 |  21M|  35 |   - |2271 |6499 |2271 |1121 | 271 |3443 |2179 | 7.000000e+00 |      --      |    Inf 
386.42/386.51	c   387s|  3900 |   317 |  1570k| 393.6 |  21M|  35 | 397 |2271 |6536 |2271 |1121 | 271 |3529 |2219 | 7.000000e+00 |      --      |    Inf 
391.92/392.04	c   392s|  4000 |   319 |  1601k| 391.6 |  21M|  35 |   - |2271 |6578 |2271 |1121 | 271 |3596 |2235 | 7.000000e+00 |      --      |    Inf 
397.12/397.28	c   397s|  4100 |   307 |  1627k| 388.3 |  21M|  35 | 445 |2271 |6615 |2271 |1121 | 271 |3666 |2263 | 7.000000e+00 |      --      |    Inf 
404.73/404.84	c   405s|  4200 |   321 |  1668k| 388.9 |  21M|  35 | 266 |2271 |6677 |2271 |1121 | 271 |3746 |2303 | 7.000000e+00 |      --      |    Inf 
410.82/410.97	c   411s|  4300 |   327 |  1698k| 386.9 |  21M|  35 | 265 |2271 |6706 |2271 |1121 | 271 |3834 |2333 | 7.000000e+00 |      --      |    Inf 
416.73/416.80	c   417s|  4400 |   326 |  1728k| 384.8 |  21M|  35 | 358 |2271 |6744 |2271 |1121 | 271 |3894 |2361 | 7.000000e+00 |      --      |    Inf 
422.62/422.78	c   423s|  4500 |   326 |  1757k| 382.8 |  21M|  35 | 408 |2271 |6770 |2271 |1121 | 271 |3959 |2386 | 7.000000e+00 |      --      |    Inf 
429.93/430.01	c   430s|  4600 |   328 |  1796k| 382.8 |  21M|  35 | 393 |2271 |6807 |2271 |1121 | 271 |4056 |2402 | 7.000000e+00 |      --      |    Inf 
433.72/433.82	o 7
433.72/433.82	c * 434s|  4688 |     0 |  1816k| 380.0 |  19M|  35 |   - |2271 |6830 |2271 |1121 | 271 |4111 |2416 | 7.000000e+00 | 7.000000e+00 |   0.00%
433.72/433.82	c 
433.72/433.82	c SCIP Status        : problem is solved [optimal solution found]
433.72/433.82	c Solving Time (sec) : 433.83
433.72/433.82	c Solving Nodes      : 4688
433.72/433.82	c Primal Bound       : +7.00000000000000e+00 (1 solutions)
433.72/433.82	c Dual Bound         : +7.00000000000000e+00
433.72/433.82	c Gap                : 0.00 %
433.72/433.83	s OPTIMUM FOUND
433.72/433.83	v x3463 -x3462 -x3461 -x3460 x3459 -x3458 -x3457 -x3456 x3455 -x3454 -x3453 -x3452 x3451 -x3450 -x3449 -x3448 x3447 -x3446 x3445 
433.72/433.83	v -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 
433.72/433.83	v -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 
433.72/433.83	v -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 x3400 -x3399 -x3398 -x3397 -x3396 x3395 -x3394 -x3393 -x3392 -x3391 
433.72/433.83	v x3390 -x3389 x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 
433.72/433.83	v -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 
433.72/433.83	v -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 
433.72/433.83	v -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 x3330 -x3329 -x3328 -x3327 x3326 -x3325 -x3324 -x3323 x3322 -x3321 -x3320 -x3319 
433.72/433.83	v x3318 -x3317 -x3316 -x3315 x3314 -x3313 -x3312 -x3311 x3310 -x3309 -x3308 -x3307 x3306 -x3305 -x3304 -x3303 x3302 -x3301 -x3300 
433.72/433.83	v -x3299 -x3298 -x3297 x3296 -x3295 -x3294 -x3293 -x3292 -x3291 x3290 -x3289 -x3288 -x3287 -x3286 -x3285 x3284 -x3283 x3282 
433.72/433.83	v -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 
433.72/433.83	v -x3263 -x3262 -x3261 x3260 -x3259 -x3258 x3257 -x3256 -x3255 x3254 -x3253 -x3252 x3251 -x3250 -x3249 x3248 -x3247 -x3246 x3245 
433.72/433.83	v -x3244 x3243 -x3242 -x3241 -x3240 x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 x3230 -x3229 -x3228 -x3227 
433.72/433.83	v -x3226 -x3225 -x3224 -x3223 -x3222 x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 x3212 -x3211 -x3210 -x3209 
433.72/433.83	v -x3208 -x3207 -x3206 -x3205 -x3204 x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 x3194 -x3193 -x3192 -x3191 -x3190 
433.72/433.83	v -x3189 -x3188 -x3187 -x3186 x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 x3176 -x3175 -x3174 -x3173 -x3172 
433.72/433.83	v -x3171 x3170 -x3169 -x3168 -x3167 -x3166 -x3165 x3164 -x3163 -x3162 -x3161 -x3160 -x3159 x3158 -x3157 -x3156 -x3155 -x3154 
433.72/433.83	v -x3153 x3152 -x3151 -x3150 -x3149 -x3148 -x3147 x3146 -x3145 -x3144 -x3143 -x3142 -x3141 x3140 -x3139 -x3138 -x3137 -x3136 
433.72/433.83	v x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 
433.72/433.83	v -x3117 -x3116 -x3115 -x3114 x3113 x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 
433.72/433.83	v -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 
433.72/433.83	v -x3081 -x3080 -x3079 x3078 -x3077 -x3076 -x3075 -x3074 x3073 -x3072 -x3071 -x3070 -x3069 x3068 -x3067 -x3066 -x3065 -x3064 x3063 
433.72/433.83	v -x3062 -x3061 -x3060 -x3059 x3058 -x3057 -x3056 x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 
433.72/433.83	v -x3044 x3043 x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 
433.72/433.83	v -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 
433.72/433.83	v -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 
433.72/433.83	v -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 
433.72/433.83	v -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 x2959 -x2958 -x2957 -x2956 -x2955 
433.72/433.83	v x2954 -x2953 -x2952 -x2951 -x2950 x2949 x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 
433.72/433.83	v -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 x2924 -x2923 -x2922 x2921 -x2920 x2919 
433.72/433.83	v -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 x2903 -x2902 -x2901 
433.72/433.83	v -x2900 x2899 -x2898 -x2897 -x2896 x2895 -x2894 -x2893 -x2892 x2891 -x2890 -x2889 -x2888 x2887 -x2886 -x2885 -x2884 x2883 -x2882 
433.72/433.83	v -x2881 x2880 -x2879 -x2878 -x2877 -x2876 x2875 -x2874 -x2873 -x2872 -x2871 x2870 -x2869 -x2868 -x2867 -x2866 x2865 -x2864 
433.72/433.83	v -x2863 -x2862 -x2861 x2860 -x2859 -x2858 -x2857 -x2856 x2855 -x2854 x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 
433.72/433.83	v -x2845 -x2844 -x2843 -x2842 -x2841 x2840 -x2839 -x2838 -x2837 -x2836 x2835 -x2834 -x2833 -x2832 -x2831 x2830 -x2829 -x2828 -x2827 
433.72/433.83	v -x2826 x2825 -x2824 -x2823 -x2822 -x2821 x2820 -x2819 -x2818 -x2817 -x2816 x2815 -x2814 -x2813 -x2812 -x2811 x2810 -x2809 
433.72/433.83	v -x2808 x2807 -x2806 x2805 -x2804 -x2803 -x2802 -x2801 x2800 -x2799 -x2798 -x2797 -x2796 x2795 -x2794 -x2793 -x2792 -x2791 x2790 
433.72/433.83	v -x2789 -x2788 -x2787 -x2786 x2785 -x2784 -x2783 -x2782 -x2781 x2780 -x2779 -x2778 -x2777 -x2776 x2775 -x2774 -x2773 -x2772 
433.72/433.83	v -x2771 x2770 -x2769 -x2768 -x2767 x2766 -x2765 -x2764 -x2763 x2762 -x2761 -x2760 -x2759 x2758 x2757 -x2756 -x2755 -x2754 -x2753 
433.72/433.83	v -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 
433.72/433.83	v -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 
433.72/433.83	v -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 x2700 
433.72/433.83	v -x2699 -x2698 x2697 -x2696 -x2695 x2694 -x2693 -x2692 x2691 -x2690 -x2689 x2688 -x2687 -x2686 x2685 -x2684 -x2683 x2682 x2681 
433.72/433.83	v -x2680 x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 
433.72/433.83	v -x2662 x2661 -x2660 -x2659 -x2658 -x2657 x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 
433.72/433.83	v -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 
433.72/433.83	v -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 x2616 -x2615 -x2614 -x2613 -x2612 -x2611 x2610 -x2609 
433.72/433.83	v -x2608 -x2607 -x2606 -x2605 x2604 -x2603 -x2602 -x2601 -x2600 -x2599 x2598 -x2597 -x2596 -x2595 -x2594 -x2593 x2592 -x2591 x2590 
433.72/433.83	v -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 x2574 -x2573 -x2572 
433.72/433.83	v x2571 -x2570 -x2569 x2568 -x2567 -x2566 x2565 -x2564 -x2563 x2562 -x2561 -x2560 x2559 -x2558 -x2557 x2556 -x2555 -x2554 x2553 
433.72/433.83	v -x2552 -x2551 -x2550 -x2549 x2548 -x2547 -x2546 -x2545 -x2544 x2543 -x2542 -x2541 -x2540 -x2539 x2538 -x2537 -x2536 -x2535 
433.72/433.83	v -x2534 x2533 -x2532 -x2531 -x2530 -x2529 x2528 -x2527 -x2526 -x2525 -x2524 x2523 -x2522 -x2521 -x2520 x2519 x2518 -x2517 -x2516 
433.72/433.83	v -x2515 -x2514 x2513 -x2512 -x2511 -x2510 -x2509 x2508 -x2507 -x2506 -x2505 -x2504 x2503 -x2502 -x2501 -x2500 -x2499 x2498 
433.72/433.83	v -x2497 -x2496 -x2495 -x2494 x2493 -x2492 -x2491 -x2490 x2489 -x2488 -x2487 -x2486 -x2485 -x2484 x2483 -x2482 -x2481 -x2480 
433.72/433.83	v -x2479 -x2478 x2477 -x2476 -x2475 -x2474 -x2473 -x2472 x2471 -x2470 -x2469 -x2468 -x2467 -x2466 x2465 -x2464 -x2463 -x2462 -x2461 
433.72/433.83	v -x2460 x2459 -x2458 -x2457 -x2456 -x2455 -x2454 x2453 -x2452 -x2451 -x2450 -x2449 -x2448 x2447 -x2446 -x2445 -x2444 -x2443 
433.72/433.83	v -x2442 x2441 -x2440 -x2439 -x2438 -x2437 -x2436 x2435 -x2434 -x2433 -x2432 -x2431 -x2430 x2429 -x2428 -x2427 -x2426 -x2425 
433.72/433.83	v -x2424 x2423 -x2422 -x2421 -x2420 -x2419 -x2418 x2417 -x2416 -x2415 -x2414 -x2413 -x2412 x2411 -x2410 -x2409 -x2408 -x2407 
433.72/433.83	v -x2406 x2405 -x2404 -x2403 -x2402 -x2401 -x2400 x2399 -x2398 -x2397 -x2396 -x2395 x2394 -x2393 -x2392 -x2391 -x2390 x2389 -x2388 
433.72/433.83	v -x2387 -x2386 -x2385 x2384 -x2383 x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 
433.72/433.83	v -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 
433.72/433.83	v -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 x2343 -x2342 x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 
433.72/433.83	v -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 
433.72/433.83	v x2315 x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 
433.72/433.83	v -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 
433.72/433.83	v -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 
433.72/433.83	v -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 x2245 -x2244 
433.72/433.83	v -x2243 -x2242 -x2241 x2240 -x2239 -x2238 -x2237 x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 
433.72/433.83	v -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 x2210 -x2209 -x2208 
433.72/433.83	v -x2207 x2206 -x2205 -x2204 -x2203 x2202 -x2201 -x2200 -x2199 x2198 -x2197 -x2196 -x2195 x2194 -x2193 -x2192 -x2191 x2190 
433.72/433.83	v -x2189 -x2188 -x2187 x2186 -x2185 -x2184 -x2183 x2182 -x2181 -x2180 -x2179 -x2178 -x2177 x2176 -x2175 -x2174 -x2173 -x2172 -x2171 
433.72/433.83	v x2170 -x2169 -x2168 -x2167 -x2166 -x2165 x2164 -x2163 -x2162 -x2161 -x2160 -x2159 x2158 -x2157 -x2156 -x2155 -x2154 -x2153 
433.72/433.83	v x2152 -x2151 -x2150 -x2149 -x2148 -x2147 x2146 -x2145 -x2144 -x2143 -x2142 -x2141 x2140 x2139 -x2138 -x2137 -x2136 -x2135 
433.72/433.83	v -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 x2119 -x2118 -x2117 
433.72/433.83	v -x2116 -x2115 x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 
433.72/433.83	v -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 
433.72/433.83	v -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 
433.72/433.83	v -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 
433.72/433.83	v -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 
433.72/433.83	v -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 x2014 -x2013 -x2012 x2011 -x2010 x2009 
433.72/433.83	v -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 
433.72/433.83	v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 
433.72/433.83	v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 x1958 -x1957 -x1956 -x1955 
433.72/433.83	v -x1954 x1953 -x1952 -x1951 -x1950 -x1949 x1948 -x1947 -x1946 -x1945 -x1944 x1943 -x1942 -x1941 -x1940 -x1939 x1938 -x1937 
433.72/433.83	v -x1936 -x1935 -x1934 x1933 -x1932 -x1931 -x1930 -x1929 x1928 x1927 -x1926 -x1925 -x1924 x1923 -x1922 -x1921 -x1920 -x1919 -x1918 
433.72/433.83	v x1917 -x1916 -x1915 -x1914 -x1913 -x1912 x1911 -x1910 x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 
433.72/433.83	v -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 
433.72/433.83	v x1881 -x1880 -x1879 -x1878 -x1877 -x1876 x1875 -x1874 -x1873 -x1872 -x1871 -x1870 x1869 -x1868 -x1867 -x1866 -x1865 -x1864 
433.72/433.83	v x1863 -x1862 -x1861 -x1860 -x1859 -x1858 x1857 -x1856 -x1855 -x1854 -x1853 -x1852 x1851 -x1850 -x1849 -x1848 -x1847 -x1846 
433.72/433.83	v x1845 -x1844 -x1843 -x1842 -x1841 -x1840 x1839 -x1838 -x1837 -x1836 -x1835 x1834 -x1833 -x1832 -x1831 -x1830 x1829 -x1828 -x1827 
433.72/433.83	v -x1826 -x1825 x1824 -x1823 -x1822 -x1821 -x1820 x1819 x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 
433.72/433.83	v -x1808 -x1807 -x1806 -x1805 x1804 -x1803 -x1802 x1801 -x1800 -x1799 x1798 x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 
433.72/433.83	v -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 x1783 -x1782 -x1781 -x1780 x1779 x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 
433.72/433.83	v -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 
433.72/433.83	v -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 
433.72/433.83	v -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 
433.72/433.83	v -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 
433.72/433.83	v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 x1685 -x1684 -x1683 
433.72/433.83	v -x1682 -x1681 x1680 -x1679 -x1678 -x1677 -x1676 x1675 -x1674 -x1673 -x1672 -x1671 x1670 -x1669 -x1668 -x1667 -x1666 x1665 -x1664 
433.72/433.83	v -x1663 -x1662 -x1661 x1660 -x1659 -x1658 -x1657 -x1656 x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 
433.72/433.83	v -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 
433.72/433.83	v -x1627 -x1626 -x1625 -x1624 -x1623 x1622 -x1621 -x1620 -x1619 -x1618 -x1617 x1616 -x1615 -x1614 -x1613 -x1612 -x1611 x1610 
433.72/433.83	v -x1609 -x1608 -x1607 -x1606 -x1605 x1604 -x1603 -x1602 -x1601 -x1600 -x1599 x1598 -x1597 -x1596 -x1595 -x1594 -x1593 x1592 
433.72/433.83	v -x1591 -x1590 -x1589 -x1588 -x1587 x1586 -x1585 -x1584 -x1583 -x1582 -x1581 x1580 -x1579 -x1578 x1577 -x1576 -x1575 x1574 -x1573 
433.72/433.83	v -x1572 x1571 -x1570 -x1569 x1568 -x1567 -x1566 x1565 -x1564 -x1563 x1562 -x1561 -x1560 x1559 -x1558 -x1557 -x1556 -x1555 
433.72/433.83	v -x1554 -x1553 -x1552 -x1551 x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 x1541 -x1540 -x1539 -x1538 -x1537 
433.72/433.83	v -x1536 -x1535 -x1534 -x1533 x1532 x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 
433.72/433.83	v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 
433.72/433.83	v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 
433.72/433.83	v -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 
433.72/433.83	v -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 
433.72/433.83	v -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 
433.72/433.83	v -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 
433.72/433.83	v -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 
433.72/433.83	v -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 
433.72/433.83	v -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 
433.72/433.83	v -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 
433.72/433.83	v -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 
433.72/433.83	v -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 
433.72/433.83	v -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 
433.72/433.83	v -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 
433.72/433.83	v -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 
433.72/433.83	v -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 
433.72/433.83	v -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 
433.72/433.83	v -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 
433.72/433.83	v -x1196 x1195 -x1194 -x1193 -x1192 -x1191 x1190 -x1189 -x1188 -x1187 -x1186 x1185 -x1184 -x1183 -x1182 -x1181 x1180 -x1179 
433.72/433.83	v -x1178 -x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 x1170 -x1169 -x1168 -x1167 -x1166 x1165 x1164 -x1163 -x1162 -x1161 -x1160 
433.72/433.83	v -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 
433.72/433.83	v -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 x1125 -x1124 
433.72/433.83	v -x1123 -x1122 -x1121 x1120 -x1119 -x1118 -x1117 -x1116 x1115 -x1114 -x1113 -x1112 -x1111 x1110 -x1109 -x1108 -x1107 -x1106 
433.72/433.83	v x1105 -x1104 -x1103 -x1102 -x1101 x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 
433.72/433.83	v -x1087 x1086 -x1085 -x1084 -x1083 x1082 -x1081 -x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 
433.72/433.83	v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 -x1057 x1056 -x1055 -x1054 -x1053 -x1052 -x1051 
433.72/433.83	v x1050 -x1049 -x1048 -x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 -x1039 x1038 -x1037 -x1036 -x1035 -x1034 -x1033 
433.72/433.83	v x1032 -x1031 -x1030 x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 
433.72/433.83	v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 
433.72/433.83	v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 
433.72/433.83	v -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 
433.72/433.83	v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 
433.72/433.83	v -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 x915 -x914 -x913 -x912 
433.72/433.83	v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 
433.72/433.83	v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 
433.72/433.83	v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 
433.72/433.83	v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 
433.72/433.83	v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 
433.72/433.83	v -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 x791 -x790 -x789 -x788 -x787 
433.72/433.83	v -x786 x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 x767 -x766 -x765 
433.72/433.83	v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 
433.72/433.83	v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 
433.72/433.83	v -x723 -x722 -x721 -x720 x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 -x711 -x710 x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 
433.72/433.83	v -x701 -x700 x699 -x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 
433.72/433.83	v -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 
433.72/433.83	v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 
433.72/433.83	v -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 
433.72/433.83	v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 x600 -x599 -x598 -x597 
433.72/433.83	v -x596 x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x581 x580 -x579 -x578 x577 -x576 -x575 
433.72/433.83	v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 x555 -x554 
433.72/433.83	v -x553 -x552 -x551 x550 -x549 -x548 -x547 -x546 x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 
433.72/433.83	v -x531 x530 -x529 -x528 -x527 x526 -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 
433.72/433.83	v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 
433.72/433.83	v -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 
433.72/433.83	v -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 x457 -x456 -x455 x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 
433.72/433.83	v -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 
433.72/433.83	v -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 
433.72/433.83	v -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 x385 -x384 
433.72/433.83	v -x383 -x382 -x381 x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 
433.72/433.83	v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 
433.72/433.83	v -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 x331 -x330 -x329 x328 -x327 -x326 x325 -x324 -x323 x322 -x321 -x320 
433.72/433.83	v x319 -x318 -x317 x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 x298 
433.72/433.83	v -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 
433.72/433.83	v -x276 -x275 -x274 x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 
433.72/433.83	v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 
433.72/433.83	v -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 x213 
433.72/433.83	v -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 
433.72/433.83	v -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 x171 x170 
433.72/433.83	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 x154 -x153 x152 -x151 -x150 -x149 
433.72/433.83	v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 
433.72/433.83	v -x127 -x126 -x125 x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 
433.72/433.83	v -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 
433.72/433.83	v -x81 -x80 -x79 x78 -x77 -x76 x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 
433.72/433.83	v -x55 -x54 -x53 x52 -x51 x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 
433.72/433.83	v -x30 -x29 -x28 x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 x6 x5 x4 x3 
433.72/433.83	v x2 x1 
433.72/433.83	c SCIP Status        : problem is solved [optimal solution found]
433.72/433.83	c Total Time         :     433.83
433.72/433.83	c   solving          :     433.83
433.72/433.83	c   presolving       :       0.57 (included in solving)
433.72/433.83	c   reading          :       0.01 (included in solving)
433.72/433.83	c   copying          :       0.03 (2 #copies) (minimal 0.01, maximal 0.02, average 0.01)
433.72/433.83	c Original Problem   :
433.72/433.83	c   Problem name     : HOME/instance-3691331-1338024541.opb
433.72/433.83	c   Variables        : 3463 (3463 binary, 0 integer, 0 implicit integer, 0 continuous)
433.72/433.83	c   Constraints      : 2279 initial, 2279 maximal
433.72/433.83	c   Objective sense  : minimize
433.72/433.83	c Presolved Problem  :
433.72/433.83	c   Problem name     : t_HOME/instance-3691331-1338024541.opb
433.72/433.83	c   Variables        : 2271 (2271 binary, 0 integer, 0 implicit integer, 0 continuous)
433.72/433.83	c   Constraints      : 1033 initial, 6831 maximal
433.72/433.83	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
433.72/433.83	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.72/433.83	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.72/433.83	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.72/433.83	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.72/433.83	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.72/433.83	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.72/433.83	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.72/433.83	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.72/433.83	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.72/433.83	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.72/433.83	c   probing          :       0.47       0.00         17          0          0          0          0          0          0          0          0
433.72/433.83	c   setppc           :       0.02       0.00          0          0          0          0          0         94          0          0          0
433.72/433.83	c   linear           :       0.06       0.00       1127         48          0       1127          0       1152          0        398          0
433.72/433.83	c   logicor          :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.72/433.83	c   root node        :          -          -          4          -          -          4          -          -          -          -          -
433.72/433.83	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
433.72/433.83	c   integral         :          0          0          0          0       2651          0          6          0         21        201          0          0       5040
433.72/433.83	c   setppc           :       1033       1033         38      47678          1          0          3     950944         24     170302          0          0          0
433.72/433.83	c   linear           :          0+      2862         38      41933          0          0          0      24784          0       1836          1          0          0
433.72/433.83	c   logicor          :          0+      3014         38       8298          0          0          0       8093         10       2268         10          0          0
433.72/433.83	c   countsols        :          0          0          0          0          1          0          2          0          0          0          0          0          0
433.72/433.83	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
433.72/433.83	c   integral         :     124.35       0.00       0.00       0.00     124.35       0.00       0.00       0.00
433.72/433.83	c   setppc           :       2.10       0.00       0.00       1.22       0.00       0.00       0.00       0.88
433.72/433.83	c   linear           :       0.54       0.00       0.04       0.47       0.00       0.00       0.00       0.03
433.72/433.83	c   logicor          :       0.31       0.00       0.00       0.28       0.00       0.00       0.00       0.03
433.72/433.83	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
433.72/433.83	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
433.72/433.83	c   rootredcost      :          0          0          0          0
433.72/433.83	c   pseudoobj        :      44922          0          0          4
433.72/433.83	c   vbounds          :          0          0          0          0
433.72/433.83	c   redcost          :       2690          0          0          0
433.72/433.83	c   probing          :          0          0          0          0
433.72/433.83	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
433.72/433.83	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00
433.72/433.83	c   pseudoobj        :       2.55       0.00       0.00       2.55       0.00
433.72/433.83	c   vbounds          :       0.04       0.00       0.00       0.04       0.00
433.72/433.83	c   redcost          :       0.12       0.00       0.00       0.12       0.00
433.72/433.83	c   probing          :       0.47       0.00       0.47       0.00       0.00
433.72/433.83	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
433.72/433.83	c   propagation      :       0.01         34         31        186       54.8         21        6.8          -
433.72/433.83	c   infeasible LP    :       4.14       2414       2295      28077      220.5         11        9.3          0
433.72/433.83	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
433.72/433.83	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
433.72/433.83	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
433.72/433.83	c   applied globally :          -          -          -       4105       79.5          -          -          -
433.72/433.83	c   applied locally  :          -          -          -          6      251.7          -          -          -
433.72/433.83	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
433.72/433.83	c   cut pool         :       0.00                    37          -          -         33          -    (maximal pool size: 381)
433.72/433.83	c   closecuts        :       0.00       0.00          0          0          0          0          0
433.72/433.83	c   impliedbounds    :       0.02       0.00         38          0          0        111          0
433.72/433.83	c   intobj           :       0.00       0.00          0          0          0          0          0
433.72/433.83	c   gomory           :       0.13       0.00         10          0          0         41          0
433.72/433.83	c   cgmip            :       0.00       0.00          0          0          0          0          0
433.72/433.83	c   strongcg         :       0.29       0.00         20          0          0         43          0
433.72/433.83	c   cmir             :       0.08       0.00         10          0          0          0          0
433.72/433.83	c   flowcover        :       0.08       0.00         10          0          0          0          0
433.72/433.83	c   clique           :       0.99       0.00         38          0          0        277          0
433.72/433.83	c   zerohalf         :       0.00       0.00          0          0          0          0          0
433.72/433.83	c   mcf              :       0.00       0.00          1          0          0          0          0
433.72/433.83	c   oddcycle         :       0.00       0.00          0          0          0          0          0
433.72/433.83	c   rapidlearning    :       1.50       0.00          1          0          0          0       2862
433.72/433.83	c Pricers            :   ExecTime  SetupTime      Calls       Vars
433.72/433.83	c   problem variables:       0.00          -          0          0
433.72/433.83	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
433.72/433.83	c   relpscost        :     124.34       0.00       2650         21        201          0          0       5040
433.72/433.83	c   pscost           :       0.00       0.00          0          0          0          0          0          0
433.72/433.83	c   inference        :       0.00       0.00          0          0          0          0          0          0
433.72/433.83	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
433.72/433.83	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
433.72/433.83	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
433.72/433.83	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
433.72/433.83	c   random           :       0.00       0.00          0          0          0          0          0          0
433.72/433.83	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
433.72/433.83	c   LP solutions     :       0.00          -          -          1
433.72/433.83	c   pseudo solutions :       0.00          -          -          0
433.72/433.83	c   oneopt           :       0.01       0.00          0          0
433.72/433.83	c   crossover        :       0.00       0.00          0          0
433.72/433.83	c   guideddiving     :       0.00       0.00          0          0
433.72/433.83	c   intshifting      :       0.00       0.00          0          0
433.72/433.83	c   feaspump         :       5.66       0.00          6          0
433.72/433.83	c   veclendiving     :      16.26       0.00         15          0
433.72/433.83	c   rootsoldiving    :       4.38       0.00          8          0
433.72/433.83	c   pscostdiving     :       9.48       0.00         23          0
433.72/433.83	c   objpscostdiving  :       2.43       0.00         12          0
433.72/433.83	c   fracdiving       :      14.11       0.00         24          0
433.72/433.83	c   linesearchdiving :       5.44       0.00         24          0
433.72/433.83	c   coefdiving       :      20.25       0.00         24          0
433.72/433.83	c   smallcard        :       0.00       0.00          0          0
433.72/433.83	c   trivial          :       0.00       0.00          2          0
433.72/433.83	c   shiftandpropagate:       0.02       0.00          1          0
433.72/433.83	c   simplerounding   :       0.00       0.00          0          0
433.72/433.83	c   zirounding       :       0.13       0.00          0          0
433.72/433.83	c   rounding         :       0.17       0.00        684          0
433.72/433.83	c   shifting         :       0.13       0.00        206          0
433.72/433.83	c   twoopt           :       0.00       0.00          0          0
433.72/433.83	c   indtwoopt        :       0.00       0.00          0          0
433.72/433.83	c   indoneopt        :       0.01       0.00          0          0
433.72/433.83	c   fixandinfer      :       0.00       0.00          0          0
433.72/433.83	c   clique           :       0.00       0.00          0          0
433.72/433.83	c   indcoefdiving    :       0.00       0.00          0          0
433.72/433.83	c   indrounding      :       0.00       0.00          0          0
433.72/433.83	c   nlpdiving        :       0.00       0.00          0          0
433.72/433.83	c   intdiving        :       0.00       0.00          0          0
433.72/433.83	c   actconsdiving    :       0.00       0.00          0          0
433.72/433.83	c   octane           :       0.00       0.00          0          0
433.72/433.83	c   rens             :       0.76       0.00          1          0
433.72/433.83	c   rins             :       0.00       0.00          0          0
433.72/433.83	c   localbranching   :       0.00       0.00          0          0
433.72/433.83	c   mutation         :       0.00       0.00          0          0
433.72/433.83	c   dins             :       0.00       0.00          0          0
433.72/433.83	c   vbounds          :       0.00       0.00          0          0
433.72/433.83	c   undercover       :       0.00       0.00          0          0
433.72/433.83	c   subnlp           :       0.00       0.00          0          0
433.72/433.83	c   trysol           :       0.01       0.00          0          0
433.72/433.83	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
433.72/433.83	c   primal LP        :       0.01          6          0       0.00       0.00       0.01          6
433.72/433.83	c   dual LP          :     216.44       4852    1396816     289.56    6453.56       0.03         28
433.72/433.83	c   lex dual LP      :       0.00          0          0       0.00          -
433.72/433.83	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
433.72/433.83	c   diving/probing LP:      71.36      13628     419567      30.79    5879.69
433.72/433.83	c   strong branching :     124.05       2416     714848     295.88    5762.59
433.72/433.83	c     (at root node) :          -         10       5588     558.80          -
433.72/433.83	c   conflict analysis:       0.00          0          0       0.00          -
433.72/433.83	c B&B Tree           :
433.72/433.83	c   number of runs   :          1
433.72/433.83	c   nodes            :       4688
433.72/433.83	c   nodes (total)    :       4688
433.72/433.83	c   nodes left       :          0
433.72/433.83	c   max depth        :         35
433.72/433.83	c   max depth (total):         35
433.72/433.83	c   backtracks       :       1225 (26.1%)
433.72/433.83	c   delayed cutoffs  :         15
433.72/433.83	c   repropagations   :       4145 (28694 domain reductions, 12 cutoffs)
433.72/433.83	c   avg switch length:       5.46
433.72/433.83	c   switching time   :       1.74
433.72/433.83	c Solution           :
433.72/433.83	c   Solutions found  :          1 (1 improvements)
433.72/433.83	c   First Solution   : +7.00000000000000e+00   (in run 1, after 4688 nodes, 433.82 seconds, depth 24, found by <relaxation>)
433.72/433.83	c   Primal Bound     : +7.00000000000000e+00   (in run 1, after 4688 nodes, 433.82 seconds, depth 24, found by <relaxation>)
433.72/433.83	c   Dual Bound       : +7.00000000000000e+00
433.72/433.83	c   Gap              :       0.00 %
433.72/433.83	c   Root Dual Bound  : +7.00000000000000e+00
433.72/433.83	c   Root Iterations  :      35433
433.72/433.85	c Time complete: 433.78.

Verifier Data 

OK	7

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691331-1338024541/watcher-3691331-1338024541 -o /tmp/evaluation-result-3691331-1338024541/solver-3691331-1338024541 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691331-1338024541.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30610
/proc/meminfo: memFree=28347852/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=10548 CPUtime=0 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 1376 0 0 0 0 0 0 0 20 0 1 0 268582587 10801152 1331 33554432000 4194304 10173063 140737193681568 140737436021960 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 2637 1336 416 1460 0 1168 0

[startup+0.0871391 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30610
/proc/meminfo: memFree=28347852/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=28920 CPUtime=0.08 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 5996 0 0 0 6 2 0 0 20 0 1 0 268582587 29614080 5694 33554432000 4194304 10173063 140737193681568 140737193546104 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 7230 5694 570 1460 0 5761 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28920

[startup+0.100322 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30610
/proc/meminfo: memFree=28347852/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=30568 CPUtime=0.09 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 6415 0 0 0 7 2 0 0 20 0 1 0 268582587 31301632 6113 33554432000 4194304 10173063 140737193681568 140737193546104 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 7642 6113 579 1460 0 6173 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30568

[startup+0.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30610
/proc/meminfo: memFree=28347852/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=34004 CPUtime=0.29 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 7350 0 0 0 25 4 0 0 20 0 1 0 268582587 34820096 7048 33554432000 4194304 10173063 140737193681568 140737193546104 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 8501 7048 605 1460 0 7032 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34004

[startup+0.700287 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30610
/proc/meminfo: memFree=28347852/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=41708 CPUtime=0.69 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 9542 0 0 0 61 8 0 0 20 0 1 0 268582587 42708992 9192 33554432000 4194304 10173063 140737193681568 140737193546104 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 10427 9192 761 1460 0 8958 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41708

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30611
/proc/meminfo: memFree=28314596/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=41860 CPUtime=1.49 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 9564 0 0 0 141 8 0 0 20 0 1 0 268582587 42864640 9214 33554432000 4194304 10173063 140737193681568 140737193674920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 10465 9214 761 1460 0 8996 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41860

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30611
/proc/meminfo: memFree=28313976/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=42500 CPUtime=3.09 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 9885 0 0 0 300 9 0 0 20 0 1 0 268582587 43520000 9456 33554432000 4194304 10173063 140737193681568 140737193672824 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 10625 9456 784 1460 0 9156 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42500

[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30611
/proc/meminfo: memFree=28283232/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=6.29 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17138 0 0 0 575 54 0 0 20 0 1 0 268582587 74473472 16707 33554432000 4194304 10173063 140737193681568 140737193678040 7237719 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 16707 854 1460 0 16713 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72728

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30611
/proc/meminfo: memFree=28278412/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=12.68 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17531 0 0 0 1211 57 0 0 20 0 1 0 268582587 74473472 17100 33554432000 4194304 10173063 140737193681568 140737193674280 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17100 868 1460 0 16713 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 72728

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30611
/proc/meminfo: memFree=28276904/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=25.48 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17534 0 0 0 2486 62 0 0 20 0 1 0 268582587 74473472 17103 33554432000 4194304 10173063 140737193681568 140737193674824 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17103 871 1460 0 16713 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72728

[startup+51.1002 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 30611
/proc/meminfo: memFree=28272288/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=51.08 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17534 0 0 0 5031 77 0 0 20 0 1 0 268582587 74473472 17103 33554432000 4194304 10173063 140737193681568 140737193674920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17103 871 1460 0 16713 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72728

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 30614
/proc/meminfo: memFree=28274084/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=102.27 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17543 0 0 0 10106 121 0 0 20 0 1 0 268582587 74473472 17391 33554432000 4194304 10173063 140737193681568 140737193675064 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17391 871 1460 0 16713 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 72728

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 30614
/proc/meminfo: memFree=28268068/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=162.26 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17545 0 0 0 16055 171 0 0 20 0 1 0 268582587 74473472 17393 33554432000 4194304 10173063 140737193681568 140737193674824 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17393 871 1460 0 16713 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 72728

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30615
/proc/meminfo: memFree=28267876/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=222.25 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17545 0 0 0 22014 211 0 0 20 0 1 0 268582587 74473472 17406 33554432000 4194304 10173063 140737193681568 140737193674376 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17406 871 1460 0 16713 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 72728

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30615
/proc/meminfo: memFree=28268372/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=282.24 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17545 0 0 0 27961 263 0 0 20 0 1 0 268582587 74473472 17406 33554432000 4194304 10173063 140737193681568 140737193674824 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17406 871 1460 0 16713 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 72728

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30615
/proc/meminfo: memFree=28268124/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=342.23 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17545 0 0 0 33912 311 0 0 20 0 1 0 268582587 74473472 17406 33554432000 4194304 10173063 140737193681568 140737193674280 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17406 871 1460 0 16713 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 72728

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30615
/proc/meminfo: memFree=28268372/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=402.22 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17545 0 0 0 39850 372 0 0 20 0 1 0 268582587 74473472 17406 33554432000 4194304 10173063 140737193681568 140737193674824 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17406 871 1460 0 16713 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 72728

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

[startup+409.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30615
/proc/meminfo: memFree=28268372/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=409.43 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17545 0 0 0 40562 381 0 0 20 0 1 0 268582587 74473472 17406 33554432000 4194304 10173063 140737193681568 140737193674920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17406 871 1460 0 16713 0
Current children cumulated CPU time (s) 409.43
Current children cumulated vsize (KiB) 72728

[startup+422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30615
/proc/meminfo: memFree=28268372/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=422.22 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17545 0 0 0 41829 393 0 0 20 0 1 0 268582587 74473472 17406 33554432000 4194304 10173063 140737193681568 140737193674920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17406 871 1460 0 16713 0
Current children cumulated CPU time (s) 422.22
Current children cumulated vsize (KiB) 72728

[startup+428.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30615
/proc/meminfo: memFree=28268372/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=428.62 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17545 0 0 0 42462 400 0 0 20 0 1 0 268582587 74473472 17406 33554432000 4194304 10173063 140737193681568 140737193676392 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17406 871 1460 0 16713 0
Current children cumulated CPU time (s) 428.62
Current children cumulated vsize (KiB) 72728

[startup+431.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30615
/proc/meminfo: memFree=28268372/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=431.82 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17545 0 0 0 42778 404 0 0 20 0 1 0 268582587 74473472 17406 33554432000 4194304 10173063 140737193681568 140737193674872 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17406 871 1460 0 16713 0
Current children cumulated CPU time (s) 431.82
Current children cumulated vsize (KiB) 72728

[startup+432.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30615
/proc/meminfo: memFree=28268372/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=432.62 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17545 0 0 0 42857 405 0 0 20 0 1 0 268582587 74473472 17406 33554432000 4194304 10173063 140737193681568 140737193674872 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17406 871 1460 0 16713 0
Current children cumulated CPU time (s) 432.62
Current children cumulated vsize (KiB) 72728

[startup+433.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30615
/proc/meminfo: memFree=28268372/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=433.42 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17545 0 0 0 42936 406 0 0 20 0 1 0 268582587 74473472 17406 33554432000 4194304 10173063 140737193681568 140737193674920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17406 871 1460 0 16713 0
Current children cumulated CPU time (s) 433.42
Current children cumulated vsize (KiB) 72728

[startup+433.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30615
/proc/meminfo: memFree=28268372/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=433.62 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17545 0 0 0 42956 406 0 0 20 0 1 0 268582587 74473472 17406 33554432000 4194304 10173063 140737193681568 140737193674920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17406 871 1460 0 16713 0
Current children cumulated CPU time (s) 433.62
Current children cumulated vsize (KiB) 72728

[startup+433.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30615
/proc/meminfo: memFree=28268372/32873844 swapFree=6080/6080
[pid=30610] ppid=30608 vsize=72728 CPUtime=433.72 cores=1,3,5,7
/proc/30610/stat : 30610 (scip-2.1.1.4fix) R 30608 30610 29432 0 -1 4202496 17545 0 0 0 42966 406 0 0 20 0 1 0 268582587 74473472 17406 33554432000 4194304 10173063 140737193681568 140737193674920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30610/statm: 18182 17406 871 1460 0 16713 0
Current children cumulated CPU time (s) 433.72
Current children cumulated vsize (KiB) 72728

Child status: 0
Real time (s): 433.859
CPU time (s): 433.787
CPU user time (s): 429.721
CPU system time (s): 4.06638
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 72728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 429.721
system time used= 4.06638
maximum resident set size= 69636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17550
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 447

runsolver used 0.797878 second user time and 1.9557 second system time

The end

Launcher Data 

Begin job on node110 at 2012-05-26 11:29:02
IDJOB=3691331
IDBENCH=89875
IDSOLVER=2270
FILE ID=node110/3691331-1338024541
RUNJOBID= node110-1338016938-29449
PBS_JOBID= 14624361
Free space on /tmp= 71544 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894788.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691331-1338024541/watcher-3691331-1338024541 -o /tmp/evaluation-result-3691331-1338024541/solver-3691331-1338024541 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691331-1338024541.opb -t 1800 -m 15500

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

MD5SUM BENCH= ca3efe2da0610ce6a80a42a3887418e6
RANDOM SEED=59634394

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28348496 kB
Buffers:          229660 kB
Cached:          3437492 kB
SwapCached:            0 kB
Active:           719376 kB
Inactive:        3035912 kB
Active(anon):      90504 kB
Inactive(anon):        0 kB
Active(file):     628872 kB
Inactive(file):  3035912 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             13580 kB
Writeback:             0 kB
AnonPages:         94108 kB
Mapped:            16332 kB
Shmem:               200 kB
Slab:             632592 kB
SReclaimable:      75092 kB
SUnreclaim:       557500 kB
KernelStack:        1432 kB
PageTables:         4132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     193584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71532 MiB
End job on node110 at 2012-05-26 11:36:15