Trace number 2667051

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.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT (TO)118 1801.26 1801.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-rot.b.opb
MD5SUM82ceb454755e01aa6cecb68eb859eaa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark115
Best CPU time to get the best result obtained on this benchmark2.53661
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 116
Optimality of the best value was proved NO
Number of variables1451
Total number of constraints2932
Number of constraints which are clauses2932
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint81
Number of terms in the objective function 1451
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 1451
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1451
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2667051-1276415743.opb>
0.09/0.12	c original problem has 1451 variables (1451 bin, 0 int, 0 impl, 0 cont) and 2932 constraints
0.09/0.12	c problem read
0.09/0.12	c presolving settings loaded
0.09/0.16	o 1451
0.09/0.16	c feasible solution found by trivial heuristic, objective value  1.451000e+03
0.09/0.16	c presolving:
0.09/0.18	c (round 1) 23 del vars, 210 del conss, 23 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 84 impls, 0 clqs
0.09/0.19	c (round 2) 23 del vars, 216 del conss, 23 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 84 impls, 0 clqs
0.29/0.38	c (round 3) 23 del vars, 1440 del conss, 23 chg bounds, 22 chg sides, 0 chg coeffs, 2530 upgd conss, 84 impls, 0 clqs
0.29/0.38	c (round 4) 27 del vars, 1444 del conss, 23 chg bounds, 22 chg sides, 0 chg coeffs, 2530 upgd conss, 84 impls, 0 clqs
0.29/0.39	c (round 5) 29 del vars, 1445 del conss, 23 chg bounds, 22 chg sides, 0 chg coeffs, 2530 upgd conss, 84 impls, 0 clqs
0.39/0.40	c (round 6) 29 del vars, 1457 del conss, 23 chg bounds, 22 chg sides, 0 chg coeffs, 2575 upgd conss, 84 impls, 0 clqs
0.39/0.41	c (round 7) 29 del vars, 1460 del conss, 23 chg bounds, 22 chg sides, 0 chg coeffs, 2607 upgd conss, 84 impls, 0 clqs
0.39/0.43	c    (0.3s) probing: 101/1422 (7.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.43	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.43	c presolving (8 rounds):
0.39/0.43	c  29 deleted vars, 1460 deleted constraints, 23 tightened bounds, 0 added holes, 22 changed sides, 0 changed coefficients
0.39/0.43	c  84 implications, 0 cliques
0.39/0.43	c presolved problem has 1422 variables (1422 bin, 0 int, 0 impl, 0 cont) and 1472 constraints
0.39/0.43	c    1472 constraints of type <logicor>
0.39/0.43	c transformed objective value is always integral (scale: 1)
0.39/0.43	c Presolving Time: 0.25
0.39/0.43	c - non default parameters ----------------------------------------------------------------------
0.39/0.43	c # SCIP version 1.2.1.2
0.39/0.43	c 
0.39/0.43	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.43	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43	c conflict/interconss = 0
0.39/0.43	c 
0.39/0.43	c # should binary conflicts be preferred?
0.39/0.43	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43	c conflict/preferbinary = TRUE
0.39/0.43	c 
0.39/0.43	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.43	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.43	c constraints/agelimit = 1
0.39/0.43	c 
0.39/0.43	c # should enforcement of pseudo solution be disabled?
0.39/0.43	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43	c constraints/disableenfops = TRUE
0.39/0.43	c 
0.39/0.43	c # frequency for displaying node information lines
0.39/0.43	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.43	c display/freq = 10000
0.39/0.43	c 
0.39/0.43	c # maximal time in seconds to run
0.39/0.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43	c limits/time = 1799.89
0.39/0.43	c 
0.39/0.43	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43	c limits/memory = 1620
0.39/0.43	c 
0.39/0.43	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.43	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.43	c lp/solvefreq = 0
0.39/0.43	c 
0.39/0.43	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.39/0.43	c # [type: char, range: {lafpsqd}, default: l]
0.39/0.43	c lp/pricing = a
0.39/0.43	c 
0.39/0.43	c # should presolving try to simplify inequalities
0.39/0.43	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43	c constraints/linear/simplifyinequalities = TRUE
0.39/0.43	c 
0.39/0.43	c # should presolving try to simplify knapsacks
0.39/0.43	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.43	c 
0.39/0.43	c # priority of node selection rule <dfs> in standard mode
0.39/0.43	c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.43	c nodeselection/dfs/stdpriority = 1000000
0.39/0.43	c 
0.39/0.43	c -----------------------------------------------------------------------------------------------
0.39/0.43	c start solving
0.39/0.43	c 
0.39/0.43	o 1447
0.39/0.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.43	c t 0.3s|     1 |     0 |     0 |     - |6380k|   0 |   - |1422 |1472 |   0 |   0 |   0 |   0 |   0 |      --      | 1.447000e+03 |    Inf 
0.39/0.45	o 159
0.39/0.45	c b 0.3s|     1 |     0 |     0 |     - |8177k|   0 |   - |1422 |1472 |1422 |1472 |   0 |   0 |   0 |      --      | 1.590000e+02 |    Inf 
0.59/0.66	c   0.5s|     1 |     0 |  1114 |     - |8157k|   0 | 241 |1422 |1472 |1422 |1472 |   0 |   0 |   0 | 1.105187e+02 | 1.590000e+02 |  43.87%
0.59/0.67	o 158
0.59/0.67	c b 0.5s|     1 |     0 |  1114 |     - |8231k|   0 | 241 |1422 |1472 |1422 |1472 |   0 |   0 |   0 | 1.105187e+02 | 1.580000e+02 |  42.96%
0.89/0.93	c   0.8s|     1 |     0 |  1332 |     - |8903k|   0 | 184 |1422 |1472 |1422 |1489 |  17 |   0 |   0 | 1.120167e+02 | 1.580000e+02 |  41.05%
1.10/1.19	c   1.0s|     1 |     0 |  1483 |     - |9750k|   0 | 201 |1422 |1472 |1422 |1504 |  32 |   0 |   0 | 1.127900e+02 | 1.580000e+02 |  40.08%
1.59/1.62	c   1.4s|     1 |     0 |  1633 |     - |  10M|   0 | 185 |1422 |1472 |1422 |1515 |  43 |   0 |   0 | 1.130833e+02 | 1.580000e+02 |  39.72%
1.99/2.07	c   1.9s|     1 |     0 |  1881 |     - |  11M|   0 | 160 |1422 |1472 |1422 |1527 |  55 |   0 |   0 | 1.134792e+02 | 1.580000e+02 |  39.23%
2.49/2.56	c   2.4s|     1 |     0 |  2114 |     - |  12M|   0 | 191 |1422 |1472 |1422 |1536 |  64 |   0 |   0 | 1.136875e+02 | 1.580000e+02 |  38.98%
3.20/3.23	c   3.0s|     1 |     0 |  2409 |     - |  13M|   0 | 171 |1422 |1472 |1422 |1545 |  73 |   0 |   0 | 1.139306e+02 | 1.580000e+02 |  38.68%
3.69/3.78	c   3.5s|     1 |     0 |  2661 |     - |  14M|   0 | 146 |1422 |1472 |1422 |1554 |  82 |   0 |   0 | 1.140167e+02 | 1.580000e+02 |  38.58%
4.59/4.60	c   4.3s|     1 |     0 |  3069 |     - |  14M|   0 | 189 |1422 |1472 |1422 |1558 |  86 |   0 |   0 | 1.141012e+02 | 1.580000e+02 |  38.47%
5.40/5.49	c   5.2s|     1 |     0 |  3545 |     - |  15M|   0 | 152 |1422 |1472 |1422 |1564 |  92 |   0 |   0 | 1.142591e+02 | 1.580000e+02 |  38.28%
6.09/6.14	c   5.9s|     1 |     0 |  3864 |     - |  16M|   0 | 163 |1422 |1472 |1422 |1572 | 100 |   0 |   0 | 1.145000e+02 | 1.580000e+02 |  37.99%
6.79/6.86	c   6.6s|     1 |     0 |  4073 |     - |  17M|   0 | 178 |1422 |1472 |1422 |1574 | 106 |   0 |   0 | 1.145000e+02 | 1.580000e+02 |  37.99%
7.49/7.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.49/7.50	c   7.2s|     1 |     0 |  4197 |     - |  18M|   0 | 196 |1422 |1472 |1422 |1580 | 112 |   0 |   0 | 1.145000e+02 | 1.580000e+02 |  37.99%
7.69/7.77	c   7.5s|     1 |     0 |  4416 |     - |  18M|   0 | 189 |1422 |1472 |1422 |1584 | 116 |   0 |   0 | 1.145000e+02 | 1.580000e+02 |  37.99%
8.48/8.52	c   8.2s|     1 |     0 |  4615 |     - |  18M|   0 | 154 |1422 |1472 |1422 |1589 | 121 |   0 |   0 | 1.145000e+02 | 1.580000e+02 |  37.99%
8.98/9.01	c   8.7s|     1 |     0 |  4734 |     - |  18M|   0 | 161 |1422 |1472 |1422 |1592 | 124 |   0 |   0 | 1.145000e+02 | 1.580000e+02 |  37.99%
9.59/9.62	o 118
9.59/9.62	c E 9.2s|     1 |     0 |  4734 |     - |  18M|   0 | 161 |1422 |1472 |1422 |1592 | 124 |   0 |   0 | 1.145000e+02 | 1.180000e+02 |   3.06%
9.59/9.63	c   9.2s|     1 |     0 |  4734 |     - |  18M|   0 | 161 |1422 |1472 |1422 |1592 | 124 |   0 |   0 | 1.145000e+02 | 1.180000e+02 |   3.06%
10.29/10.33	c   9.9s|     1 |     0 |  5203 |     - |  18M|   0 | 125 |1422 |1472 |1422 |1595 | 127 |   0 |   0 | 1.145588e+02 | 1.180000e+02 |   3.00%
12.49/12.59	c  12.2s|     1 |     2 |  5203 |     - |  18M|   0 | 125 |1422 |1472 |1422 |1595 | 127 |   0 |  19 | 1.145588e+02 | 1.180000e+02 |   3.00%
19.69/19.70	c  19.0s| 10000 |  1029 |  5203 |   0.0 |  20M|1072 |   - |1422 |6100 |   0 |   0 | 127 |9252 |  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
27.28/27.34	c  26.5s| 20000 |  1023 |  5203 |   0.0 |  21M|1072 |   - |1422 |  11k|   0 |   0 | 127 |  19k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
35.09/35.19	c  34.1s| 30000 |  1022 |  5203 |   0.0 |  22M|1072 |   - |1422 |  16k|   0 |   0 | 127 |  30k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
42.88/42.91	c  41.6s| 40000 |  1024 |  5203 |   0.0 |  23M|1072 |   - |1422 |  21k|   0 |   0 | 127 |  40k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
50.87/50.94	c  49.5s| 50000 |  1019 |  5203 |   0.0 |  24M|1072 |   - |1422 |  26k|   0 |   0 | 127 |  50k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
58.97/59.06	c  57.4s| 60000 |  1019 |  5203 |   0.0 |  26M|1072 |   - |1422 |  31k|   0 |   0 | 127 |  60k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
67.17/67.22	c  65.3s| 70000 |  1019 |  5203 |   0.0 |  27M|1072 |   - |1422 |  37k|   0 |   0 | 127 |  71k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
75.17/75.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
75.17/75.21	c  73.1s| 80000 |  1019 |  5203 |   0.0 |  28M|1072 |   - |1422 |  41k|   0 |   0 | 127 |  81k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
83.16/83.26	c  81.0s| 90000 |  1017 |  5203 |   0.0 |  29M|1072 |   - |1422 |  47k|   0 |   0 | 127 |  92k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
91.06/91.14	c  88.7s|100000 |  1013 |  5203 |   0.0 |  30M|1072 |   - |1422 |  52k|   0 |   0 | 127 | 102k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
99.06/99.11	c  96.5s|110000 |  1016 |  5203 |   0.0 |  32M|1072 |   - |1422 |  57k|   0 |   0 | 127 | 113k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
107.16/107.25	c   104s|120000 |  1012 |  5203 |   0.0 |  33M|1072 |   - |1422 |  63k|   0 |   0 | 127 | 123k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
115.36/115.45	c   112s|130000 |  1015 |  5203 |   0.0 |  34M|1072 |   - |1422 |  68k|   0 |   0 | 127 | 133k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
123.65/123.71	c   120s|140000 |  1014 |  5203 |   0.0 |  35M|1072 |   - |1422 |  73k|   0 |   0 | 127 | 144k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
131.54/131.60	c   128s|150000 |  1016 |  5203 |   0.0 |  36M|1072 |   - |1422 |  78k|   0 |   0 | 127 | 154k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
139.45/139.57	c   136s|160000 |  1013 |  5203 |   0.0 |  37M|1072 |   - |1422 |  83k|   0 |   0 | 127 | 164k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
147.74/147.82	c   144s|170000 |  1014 |  5203 |   0.0 |  39M|1072 |   - |1422 |  89k|   0 |   0 | 127 | 175k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
155.84/155.98	c   152s|180000 |  1013 |  5203 |   0.0 |  40M|1072 |   - |1422 |  95k|   0 |   0 | 127 | 187k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
164.04/164.19	c   160s|190000 |  1016 |  5203 |   0.0 |  41M|1072 |   - |1422 | 100k|   0 |   0 | 127 | 197k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
171.93/172.09	c   168s|200000 |  1013 |  5203 |   0.0 |  42M|1072 |   - |1422 | 105k|   0 |   0 | 127 | 207k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
180.03/180.14	c   175s|210000 |  1013 |  5203 |   0.0 |  43M|1072 |   - |1422 | 110k|   0 |   0 | 127 | 218k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
187.83/187.94	c   183s|220000 |  1014 |  5203 |   0.0 |  45M|1072 |   - |1422 | 115k|   0 |   0 | 127 | 228k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
195.73/195.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
195.73/195.85	c   191s|230000 |  1010 |  5203 |   0.0 |  46M|1072 |   - |1422 | 121k|   0 |   0 | 127 | 239k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
203.52/203.67	c   198s|240000 |  1011 |  5203 |   0.0 |  47M|1072 |   - |1422 | 126k|   0 |   0 | 127 | 249k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
211.82/211.95	c   206s|250000 |  1022 |  5203 |   0.0 |  48M|1072 |   - |1422 | 131k|   0 |   0 | 127 | 259k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
220.32/220.47	c   215s|260000 |  1011 |  5203 |   0.0 |  49M|1072 |   - |1422 | 136k|   0 |   0 | 127 | 270k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
228.91/229.05	c   223s|270000 |  1010 |  5203 |   0.0 |  51M|1072 |   - |1422 | 141k|   0 |   0 | 127 | 280k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
237.52/237.66	c   232s|280000 |  1012 |  5203 |   0.0 |  52M|1072 |   - |1422 | 147k|   0 |   0 | 127 | 292k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
245.61/245.74	c   239s|290000 |  1018 |  5203 |   0.0 |  53M|1072 |   - |1422 | 153k|   0 |   0 | 127 | 304k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
253.92/254.01	c   247s|300000 |  1012 |  5203 |   0.0 |  54M|1072 |   - |1422 | 158k|   0 |   0 | 127 | 314k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
262.01/262.10	c   255s|310000 |  1013 |  5203 |   0.0 |  56M|1072 |   - |1422 | 164k|   0 |   0 | 127 | 325k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
270.21/270.31	c   263s|320000 |  1008 |  5203 |   0.0 |  57M|1072 |   - |1422 | 169k|   0 |   0 | 127 | 335k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
278.20/278.31	c   271s|330000 |  1010 |  5203 |   0.0 |  58M|1072 |   - |1422 | 174k|   0 |   0 | 127 | 345k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
286.59/286.78	c   279s|340000 |  1008 |  5203 |   0.0 |  59M|1072 |   - |1422 | 179k|   0 |   0 | 127 | 355k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
294.99/295.10	c   288s|350000 |  1008 |  5203 |   0.0 |  60M|1072 |   - |1422 | 184k|   0 |   0 | 127 | 365k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
302.99/303.18	c   295s|360000 |  1015 |  5203 |   0.0 |  61M|1072 |   - |1422 | 190k|   0 |   0 | 127 | 377k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
311.09/311.21	c   303s|370000 |  1004 |  5203 |   0.0 |  62M|1072 |   - |1422 | 195k|   0 |   0 | 127 | 388k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
318.88/319.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
318.88/319.06	c   311s|380000 |  1012 |  5203 |   0.0 |  64M|1072 |   - |1422 | 200k|   0 |   0 | 127 | 398k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
326.77/326.96	c   319s|390000 |  1009 |  5203 |   0.0 |  65M|1072 |   - |1422 | 205k|   0 |   0 | 127 | 407k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
334.87/335.08	c   326s|400000 |  1009 |  5203 |   0.0 |  66M|1072 |   - |1422 | 210k|   0 |   0 | 127 | 417k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
343.08/343.28	c   334s|410000 |  1008 |  5203 |   0.0 |  67M|1072 |   - |1422 | 216k|   0 |   0 | 127 | 429k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
351.16/351.32	c   342s|420000 |  1006 |  5203 |   0.0 |  68M|1072 |   - |1422 | 221k|   0 |   0 | 127 | 440k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
358.16/358.32	c   349s|430000 |  1007 |  5203 |   0.0 |  69M|1072 |   - |1422 | 226k|   0 |   0 | 127 | 449k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
365.76/365.97	c   357s|440000 |  1008 |  5203 |   0.0 |  70M|1072 |   - |1422 | 231k|   0 |   0 | 127 | 459k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
373.87/374.09	c   364s|450000 |  1012 |  5203 |   0.0 |  73M|1072 |   - |1422 | 236k|   0 |   0 | 127 | 470k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
381.76/381.97	c   372s|460000 |  1006 |  5203 |   0.0 |  74M|1072 |   - |1422 | 241k|   0 |   0 | 127 | 480k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
389.65/389.85	c   380s|470000 |  1007 |  5203 |   0.0 |  75M|1072 |   - |1422 | 247k|   0 |   0 | 127 | 491k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
397.55/397.76	c   387s|480000 |  1004 |  5203 |   0.0 |  76M|1072 |   - |1422 | 252k|   0 |   0 | 127 | 501k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
405.55/405.73	c   395s|490000 |  1006 |  5203 |   0.0 |  77M|1072 |   - |1422 | 257k|   0 |   0 | 127 | 513k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
413.35/413.56	c   403s|500000 |  1011 |  5203 |   0.0 |  78M|1072 |   - |1422 | 263k|   0 |   0 | 127 | 523k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
421.45/421.61	c   411s|510000 |  1011 |  5203 |   0.0 |  79M|1072 |   - |1422 | 268k|   0 |   0 | 127 | 534k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
428.94/429.15	c   418s|520000 |  1007 |  5203 |   0.0 |  80M|1072 |   - |1422 | 273k|   0 |   0 | 127 | 544k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
436.74/436.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
436.74/436.90	c   426s|530000 |  1012 |  5203 |   0.0 |  81M|1072 |   - |1422 | 279k|   0 |   0 | 127 | 555k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
445.03/445.28	c   434s|540000 |  1008 |  5203 |   0.0 |  84M|1072 |   - |1422 | 285k|   0 |   0 | 127 | 567k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
453.13/453.38	c   442s|550000 |  1008 |  5203 |   0.0 |  85M|1072 |   - |1422 | 290k|   0 |   0 | 127 | 578k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
461.53/461.74	c   450s|560000 |  1002 |  5203 |   0.0 |  86M|1072 |   - |1422 | 296k|   0 |   0 | 127 | 591k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
469.73/469.94	c   458s|570000 |  1005 |  5203 |   0.0 |  87M|1072 |   - |1422 | 302k|   0 |   0 | 127 | 602k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
477.93/478.13	c   466s|580000 |  1006 |  5203 |   0.0 |  88M|1072 |   - |1422 | 308k|   0 |   0 | 127 | 613k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
485.82/486.01	c   473s|590000 |  1009 |  5203 |   0.0 |  89M|1072 |   - |1422 | 313k|   0 |   0 | 127 | 623k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
493.82/494.01	c   481s|600000 |  1006 |  5203 |   0.0 |  90M|1072 |   - |1422 | 318k|   0 |   0 | 127 | 634k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
501.72/501.94	c   489s|610000 |  1003 |  5203 |   0.0 |  91M|1072 |   - |1422 | 324k|   0 |   0 | 127 | 645k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
509.32/509.56	c   496s|620000 |  1012 |  5203 |   0.0 |  92M|1072 |   - |1422 | 329k|   0 |   0 | 127 | 655k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
516.83/517.09	c   504s|630000 |  1011 |  5203 |   0.0 |  93M|1072 |   - |1422 | 334k|   0 |   0 | 127 | 665k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
524.61/524.82	c   511s|640000 |  1009 |  5203 |   0.0 |  96M|1072 |   - |1422 | 339k|   0 |   0 | 127 | 675k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
532.12/532.38	c   518s|650000 |  1009 |  5203 |   0.0 |  97M|1072 |   - |1422 | 344k|   0 |   0 | 127 | 685k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
540.11/540.37	c   526s|660000 |  1003 |  5203 |   0.0 |  98M|1072 |   - |1422 | 349k|   0 |   0 | 127 | 696k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
547.52/547.80	c   533s|670000 |  1008 |  5203 |   0.0 |  99M|1072 |   - |1422 | 354k|   0 |   0 | 127 | 706k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
555.21/555.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
555.21/555.44	c   541s|680000 |  1008 |  5203 |   0.0 | 100M|1072 |   - |1422 | 360k|   0 |   0 | 127 | 717k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
563.11/563.34	c   549s|690000 |  1006 |  5203 |   0.0 | 101M|1072 |   - |1422 | 365k|   0 |   0 | 127 | 728k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
570.71/570.96	c   556s|700000 |  1014 |  5203 |   0.0 | 102M|1072 |   - |1422 | 370k|   0 |   0 | 127 | 738k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
578.31/578.54	c   563s|710000 |  1009 |  5203 |   0.0 | 103M|1072 |   - |1422 | 376k|   0 |   0 | 127 | 749k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
585.69/585.91	c   571s|720000 |  1011 |  5203 |   0.0 | 104M|1072 |   - |1422 | 380k|   0 |   0 | 127 | 758k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
592.60/592.87	c   577s|730000 |  1010 |  5203 |   0.0 | 105M|1072 |   - |1422 | 385k|   0 |   0 | 127 | 768k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
599.99/600.22	c   584s|740000 |  1007 |  5203 |   0.0 | 106M|1072 |   - |1422 | 390k|   0 |   0 | 127 | 777k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
608.00/608.24	c   592s|750000 |  1004 |  5203 |   0.0 | 107M|1072 |   - |1422 | 396k|   0 |   0 | 127 | 789k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
615.69/615.94	c   600s|760000 |  1014 |  5203 |   0.0 | 108M|1072 |   - |1422 | 401k|   0 |   0 | 127 | 799k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
623.09/623.33	c   607s|770000 |  1006 |  5203 |   0.0 | 111M|1072 |   - |1422 | 406k|   0 |   0 | 127 | 809k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
631.29/631.53	c   615s|780000 |  1004 |  5203 |   0.0 | 112M|1072 |   - |1422 | 411k|   0 |   0 | 127 | 819k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
638.98/639.23	c   622s|790000 |  1008 |  5203 |   0.0 | 113M|1072 |   - |1422 | 416k|   0 |   0 | 127 | 829k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
646.88/647.13	c   630s|800000 |  1004 |  5203 |   0.0 | 114M|1072 |   - |1422 | 421k|   0 |   0 | 127 | 839k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
654.78/655.01	c   638s|810000 |  1008 |  5203 |   0.0 | 116M|1072 |   - |1422 | 427k|   0 |   0 | 127 | 851k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
662.57/662.88	c   645s|820000 |  1004 |  5203 |   0.0 | 117M|1072 |   - |1422 | 432k|   0 |   0 | 127 | 861k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
670.17/670.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
670.17/670.45	c   653s|830000 |  1008 |  5203 |   0.0 | 118M|1072 |   - |1422 | 437k|   0 |   0 | 127 | 871k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
678.18/678.43	c   661s|840000 |  1009 |  5203 |   0.0 | 119M|1072 |   - |1422 | 442k|   0 |   0 | 127 | 881k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
685.77/686.05	c   668s|850000 |  1007 |  5203 |   0.0 | 120M|1072 |   - |1422 | 447k|   0 |   0 | 127 | 891k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
693.67/693.92	c   676s|860000 |  1008 |  5203 |   0.0 | 121M|1072 |   - |1422 | 451k|   0 |   0 | 127 | 900k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
701.48/701.76	c   683s|870000 |  1007 |  5203 |   0.0 | 122M|1072 |   - |1422 | 456k|   0 |   0 | 127 | 911k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
709.57/709.84	c   691s|880000 |  1004 |  5203 |   0.0 | 123M|1072 |   - |1422 | 462k|   0 |   0 | 127 | 922k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
717.46/717.72	c   699s|890000 |  1007 |  5203 |   0.0 | 124M|1072 |   - |1422 | 467k|   0 |   0 | 127 | 932k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
725.16/725.42	c   706s|900000 |  1009 |  5203 |   0.0 | 125M|1072 |   - |1422 | 472k|   0 |   0 | 127 | 941k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
732.76/733.09	c   714s|910000 |  1008 |  5203 |   0.0 | 126M|1072 |   - |1422 | 477k|   0 |   0 | 127 | 951k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
741.07/741.40	c   722s|920000 |  1010 |  5203 |   0.0 | 127M|1072 |   - |1422 | 482k|   0 |   0 | 127 | 961k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
748.86/749.13	c   730s|930000 |  1003 |  5203 |   0.0 | 130M|1072 |   - |1422 | 487k|   0 |   0 | 127 | 972k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
756.35/756.68	c   737s|940000 |  1005 |  5203 |   0.0 | 131M|1072 |   - |1422 | 492k|   0 |   0 | 127 | 982k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
764.45/764.70	c   745s|950000 |  1006 |  5203 |   0.0 | 132M|1072 |   - |1422 | 498k|   0 |   0 | 127 | 993k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
772.35/772.62	c   752s|960000 |  1004 |  5203 |   0.0 | 133M|1072 |   - |1422 | 503k|   0 |   0 | 127 |1004k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
779.85/780.11	c   760s|970000 |  1003 |  5203 |   0.0 | 134M|1072 |   - |1422 | 509k|   0 |   0 | 127 |1015k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
786.95/787.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
786.95/787.28	c   767s|980000 |  1008 |  5203 |   0.0 | 135M|1072 |   - |1422 | 513k|   0 |   0 | 127 |1024k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
794.84/795.11	c   774s|990000 |  1008 |  5203 |   0.0 | 136M|1072 |   - |1422 | 519k|   0 |   0 | 127 |1035k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
802.84/803.11	c   782s|  1000k|  1006 |  5203 |   0.0 | 137M|1072 |   - |1422 | 524k|   0 |   0 | 127 |1046k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
810.84/811.19	c   790s|  1010k|  1009 |  5203 |   0.0 | 138M|1072 |   - |1422 | 529k|   0 |   0 | 127 |1056k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
818.74/819.03	c   798s|  1020k|  1010 |  5203 |   0.0 | 139M|1072 |   - |1422 | 534k|   0 |   0 | 127 |1066k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
826.53/826.89	c   805s|  1030k|  1002 |  5203 |   0.0 | 140M|1072 |   - |1422 | 540k|   0 |   0 | 127 |1077k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
834.43/834.74	c   813s|  1040k|  1004 |  5203 |   0.0 | 142M|1072 |   - |1422 | 545k|   0 |   0 | 127 |1087k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
842.34/842.66	c   821s|  1050k|  1004 |  5203 |   0.0 | 143M|1072 |   - |1422 | 550k|   0 |   0 | 127 |1099k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
850.33/850.65	c   828s|  1060k|  1005 |  5203 |   0.0 | 144M|1072 |   - |1422 | 557k|   0 |   0 | 127 |1112k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
858.23/858.54	c   836s|  1070k|  1003 |  5203 |   0.0 | 146M|1072 |   - |1422 | 566k|   0 |   0 | 127 |1125k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
867.02/867.35	c   845s|  1080k|  1005 |  5203 |   0.0 | 148M|1072 |   - |1422 | 571k|   0 |   0 | 127 |1136k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
875.63/875.99	c   853s|  1090k|  1005 |  5203 |   0.0 | 147M|1072 |   - |1422 | 571k|   0 |   0 | 127 |1148k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
883.22/883.57	c   860s|  1100k|  1003 |  5203 |   0.0 | 148M|1072 |   - |1422 | 576k|   0 |   0 | 127 |1161k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
891.22/891.52	c   868s|  1110k|  1006 |  5203 |   0.0 | 150M|1072 |   - |1422 | 583k|   0 |   0 | 127 |1175k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
899.72/900.06	c   877s|  1120k|  1003 |  5203 |   0.0 | 155M|1072 |   - |1422 | 592k|   0 |   0 | 127 |1190k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
907.82/908.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
907.82/908.14	c   884s|  1130k|  1006 |  5203 |   0.0 | 157M|1072 |   - |1422 | 602k|   0 |   0 | 127 |1206k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
917.02/917.38	c   893s|  1140k|  1006 |  5203 |   0.0 | 159M|1072 |   - |1422 | 608k|   0 |   0 | 127 |1217k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
926.91/927.22	c   903s|  1150k|  1003 |  5203 |   0.0 | 160M|1072 |   - |1422 | 614k|   0 |   0 | 127 |1228k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
936.81/937.17	c   913s|  1160k|  1006 |  5203 |   0.0 | 158M|1072 |   - |1422 | 608k|   0 |   0 | 127 |1238k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
945.11/945.42	c   921s|  1170k|  1008 |  5203 |   0.0 | 159M|1072 |   - |1422 | 613k|   0 |   0 | 127 |1249k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
953.41/953.79	c   929s|  1180k|  1006 |  5203 |   0.0 | 160M|1072 |   - |1422 | 618k|   0 |   0 | 127 |1259k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
962.00/962.39	c   937s|  1190k|  1010 |  5203 |   0.0 | 161M|1072 |   - |1422 | 624k|   0 |   0 | 127 |1269k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
970.40/970.72	c   945s|  1200k|  1006 |  5203 |   0.0 | 162M|1072 |   - |1422 | 629k|   0 |   0 | 127 |1279k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
978.49/978.86	c   953s|  1210k|  1004 |  5203 |   0.0 | 163M|1072 |   - |1422 | 634k|   0 |   0 | 127 |1290k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
987.09/987.46	c   962s|  1220k|  1001 |  5203 |   0.0 | 164M|1072 |   - |1422 | 639k|   0 |   0 | 127 |1300k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
994.99/995.34	c   970s|  1230k|  1004 |  5203 |   0.0 | 165M|1072 |   - |1422 | 644k|   0 |   0 | 127 |1310k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1003.28/1003.64	c   978s|  1240k|  1006 |  5203 |   0.0 | 166M|1072 |   - |1422 | 649k|   0 |   0 | 127 |1320k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1011.60/1012.00	c   986s|  1250k|  1006 |  5203 |   0.0 | 167M|1072 |   - |1422 | 654k|   0 |   0 | 127 |1330k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1019.29/1019.70	c   993s|  1260k|  1002 |  5203 |   0.0 | 168M|1072 |   - |1422 | 659k|   0 |   0 | 127 |1340k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1027.98/1028.35	c  1002s|  1270k|  1007 |  5203 |   0.0 | 169M|1072 |   - |1422 | 665k|   0 |   0 | 127 |1352k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1036.18/1036.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1036.18/1036.51	c  1010s|  1280k|  1003 |  5203 |   0.0 | 170M|1072 |   - |1422 | 670k|   0 |   0 | 127 |1362k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1044.58/1044.92	c  1018s|  1290k|  1003 |  5203 |   0.0 | 171M|1072 |   - |1422 | 675k|   0 |   0 | 127 |1373k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1052.68/1053.08	c  1026s|  1300k|  1001 |  5203 |   0.0 | 172M|1072 |   - |1422 | 680k|   0 |   0 | 127 |1383k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1060.57/1060.96	c  1033s|  1310k|  1007 |  5203 |   0.0 | 173M|1072 |   - |1422 | 686k|   0 |   0 | 127 |1393k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1068.57/1068.90	c  1041s|  1320k|  1003 |  5203 |   0.0 | 174M|1072 |   - |1422 | 691k|   0 |   0 | 127 |1404k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1076.48/1076.85	c  1049s|  1330k|  1004 |  5203 |   0.0 | 175M|1072 |   - |1422 | 696k|   0 |   0 | 127 |1414k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1084.56/1084.95	c  1057s|  1340k|  1001 |  5203 |   0.0 | 180M|1072 |   - |1422 | 701k|   0 |   0 | 127 |1424k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1092.98/1093.35	c  1065s|  1350k|  1014 |  5203 |   0.0 | 181M|1072 |   - |1422 | 706k|   0 |   0 | 127 |1435k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1100.76/1101.16	c  1073s|  1360k|  1010 |  5203 |   0.0 | 182M|1072 |   - |1422 | 711k|   0 |   0 | 127 |1445k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1108.65/1109.08	c  1080s|  1370k|  1007 |  5203 |   0.0 | 183M|1072 |   - |1422 | 717k|   0 |   0 | 127 |1456k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1117.35/1117.71	c  1089s|  1380k|  1011 |  5203 |   0.0 | 184M|1072 |   - |1422 | 723k|   0 |   0 | 127 |1468k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1125.25/1125.64	c  1096s|  1390k|  1011 |  5203 |   0.0 | 185M|1072 |   - |1422 | 729k|   0 |   0 | 127 |1479k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1133.14/1133.54	c  1104s|  1400k|  1008 |  5203 |   0.0 | 186M|1072 |   - |1422 | 734k|   0 |   0 | 127 |1489k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1140.94/1141.36	c  1112s|  1410k|  1004 |  5203 |   0.0 | 187M|1072 |   - |1422 | 739k|   0 |   0 | 127 |1499k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1148.84/1149.20	c  1119s|  1420k|  1010 |  5203 |   0.0 | 188M|1096 |   - |1422 | 744k|   0 |   0 | 127 |1510k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1156.75/1157.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1156.75/1157.13	c  1127s|  1430k|  1009 |  5203 |   0.0 | 189M|1096 |   - |1422 | 749k|   0 |   0 | 127 |1520k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1164.73/1165.12	c  1135s|  1440k|  1011 |  5203 |   0.0 | 190M|1096 |   - |1422 | 754k|   0 |   0 | 127 |1531k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1172.44/1172.87	c  1142s|  1450k|  1004 |  5203 |   0.0 | 191M|1096 |   - |1422 | 760k|   0 |   0 | 127 |1541k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1180.33/1180.76	c  1150s|  1460k|  1008 |  5203 |   0.0 | 192M|1096 |   - |1422 | 765k|   0 |   0 | 127 |1552k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1188.03/1188.50	c  1157s|  1470k|  1007 |  5203 |   0.0 | 193M|1096 |   - |1422 | 770k|   0 |   0 | 127 |1562k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1196.34/1196.71	c  1166s|  1480k|  1004 |  5203 |   0.0 | 194M|1096 |   - |1422 | 775k|   0 |   0 | 127 |1573k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1204.03/1204.41	c  1173s|  1490k|  1009 |  5203 |   0.0 | 195M|1096 |   - |1422 | 781k|   0 |   0 | 127 |1583k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1211.73/1212.17	c  1181s|  1500k|  1010 |  5203 |   0.0 | 196M|1096 |   - |1422 | 786k|   0 |   0 | 127 |1594k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1219.53/1219.91	c  1188s|  1510k|  1003 |  5203 |   0.0 | 198M|1096 |   - |1422 | 791k|   0 |   0 | 127 |1604k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1227.52/1227.98	c  1196s|  1520k|  1005 |  5203 |   0.0 | 199M|1096 |   - |1422 | 796k|   0 |   0 | 127 |1614k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1235.62/1236.09	c  1204s|  1530k|  1006 |  5203 |   0.0 | 200M|1096 |   - |1422 | 801k|   0 |   0 | 127 |1624k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1243.62/1244.01	c  1212s|  1540k|  1007 |  5203 |   0.0 | 201M|1096 |   - |1422 | 806k|   0 |   0 | 127 |1635k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1251.42/1251.84	c  1219s|  1550k|  1008 |  5203 |   0.0 | 202M|1096 |   - |1422 | 811k|   0 |   0 | 127 |1645k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1259.12/1259.53	c  1227s|  1560k|  1009 |  5203 |   0.0 | 203M|1096 |   - |1422 | 817k|   0 |   0 | 127 |1655k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1266.82/1267.21	c  1234s|  1570k|  1010 |  5203 |   0.0 | 204M|1096 |   - |1422 | 822k|   0 |   0 | 127 |1666k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1274.51/1274.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1274.51/1274.92	c  1242s|  1580k|  1006 |  5203 |   0.0 | 205M|1096 |   - |1422 | 827k|   0 |   0 | 127 |1675k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1282.30/1282.72	c  1249s|  1590k|  1001 |  5203 |   0.0 | 206M|1096 |   - |1422 | 832k|   0 |   0 | 127 |1685k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1290.00/1290.40	c  1257s|  1600k|  1011 |  5203 |   0.0 | 207M|1096 |   - |1422 | 837k|   0 |   0 | 127 |1695k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1297.70/1298.19	c  1264s|  1610k|  1012 |  5203 |   0.0 | 212M|1096 |   - |1422 | 841k|   0 |   0 | 127 |1705k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1305.70/1306.10	c  1272s|  1620k|  1011 |  5203 |   0.0 | 213M|1096 |   - |1422 | 846k|   0 |   0 | 127 |1715k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1313.90/1314.39	c  1280s|  1630k|  1004 |  5203 |   0.0 | 214M|1096 |   - |1422 | 852k|   0 |   0 | 127 |1725k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1322.09/1322.55	c  1288s|  1640k|  1007 |  5203 |   0.0 | 215M|1096 |   - |1422 | 857k|   0 |   0 | 127 |1736k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1330.09/1330.59	c  1296s|  1650k|  1004 |  5203 |   0.0 | 216M|1096 |   - |1422 | 862k|   0 |   0 | 127 |1747k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1337.79/1338.27	c  1303s|  1660k|  1014 |  5203 |   0.0 | 217M|1096 |   - |1422 | 867k|   0 |   0 | 127 |1757k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1345.49/1345.99	c  1311s|  1670k|  1007 |  5203 |   0.0 | 218M|1096 |   - |1422 | 872k|   0 |   0 | 127 |1767k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1353.39/1353.85	c  1318s|  1680k|  1011 |  5203 |   0.0 | 219M|1096 |   - |1422 | 877k|   0 |   0 | 127 |1777k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1361.29/1361.78	c  1326s|  1690k|  1010 |  5203 |   0.0 | 220M|1096 |   - |1422 | 883k|   0 |   0 | 127 |1788k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1368.88/1369.34	c  1333s|  1700k|  1002 |  5203 |   0.0 | 221M|1096 |   - |1422 | 888k|   0 |   0 | 127 |1798k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1376.88/1377.31	c  1341s|  1710k|  1005 |  5203 |   0.0 | 222M|1096 |   - |1422 | 893k|   0 |   0 | 127 |1808k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1384.78/1385.21	c  1349s|  1720k|  1010 |  5203 |   0.0 | 223M|1096 |   - |1422 | 898k|   0 |   0 | 127 |1819k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1392.57/1393.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1392.57/1393.02	c  1356s|  1730k|  1010 |  5203 |   0.0 | 224M|1096 |   - |1422 | 904k|   0 |   0 | 127 |1829k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1400.47/1400.98	c  1364s|  1740k|  1011 |  5203 |   0.0 | 225M|1096 |   - |1422 | 909k|   0 |   0 | 127 |1840k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1408.37/1408.86	c  1372s|  1750k|  1007 |  5203 |   0.0 | 226M|1096 |   - |1422 | 914k|   0 |   0 | 127 |1850k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1416.17/1416.67	c  1379s|  1760k|  1004 |  5203 |   0.0 | 227M|1096 |   - |1422 | 919k|   0 |   0 | 127 |1861k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1423.87/1424.37	c  1387s|  1770k|  1007 |  5203 |   0.0 | 228M|1096 |   - |1422 | 924k|   0 |   0 | 127 |1871k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1431.67/1432.12	c  1394s|  1780k|  1010 |  5203 |   0.0 | 229M|1096 |   - |1422 | 929k|   0 |   0 | 127 |1881k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1439.37/1439.82	c  1402s|  1790k|  1011 |  5203 |   0.0 | 230M|1096 |   - |1422 | 934k|   0 |   0 | 127 |1891k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1446.86/1447.40	c  1409s|  1800k|  1007 |  5203 |   0.0 | 231M|1096 |   - |1422 | 939k|   0 |   0 | 127 |1901k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1454.46/1454.93	c  1417s|  1810k|  1009 |  5203 |   0.0 | 232M|1096 |   - |1422 | 944k|   0 |   0 | 127 |1910k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1461.96/1462.42	c  1424s|  1820k|  1013 |  5203 |   0.0 | 233M|1096 |   - |1422 | 949k|   0 |   0 | 127 |1920k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1469.56/1470.10	c  1431s|  1830k|  1003 |  5203 |   0.0 | 234M|1096 |   - |1422 | 954k|   0 |   0 | 127 |1930k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1477.36/1477.87	c  1439s|  1840k|  1012 |  5203 |   0.0 | 235M|1096 |   - |1422 | 959k|   0 |   0 | 127 |1940k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1484.86/1485.34	c  1446s|  1850k|  1009 |  5203 |   0.0 | 236M|1096 |   - |1422 | 964k|   0 |   0 | 127 |1950k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1492.45/1492.99	c  1454s|  1860k|  1007 |  5203 |   0.0 | 237M|1096 |   - |1422 | 969k|   0 |   0 | 127 |1960k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1500.65/1501.10	c  1462s|  1870k|  1004 |  5203 |   0.0 | 238M|1096 |   - |1422 | 974k|   0 |   0 | 127 |1970k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1508.35/1508.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1508.35/1508.87	c  1469s|  1880k|  1008 |  5203 |   0.0 | 239M|1096 |   - |1422 | 979k|   0 |   0 | 127 |1980k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1516.14/1516.61	c  1477s|  1890k|  1003 |  5203 |   0.0 | 240M|1096 |   - |1422 | 984k|   0 |   0 | 127 |1990k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1523.95/1524.42	c  1484s|  1900k|  1017 |  5203 |   0.0 | 241M|1096 |   - |1422 | 989k|   0 |   0 | 127 |2000k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1531.94/1532.48	c  1492s|  1910k|  1013 |  5203 |   0.0 | 242M|1096 |   - |1422 | 994k|   0 |   0 | 127 |2010k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1539.94/1540.48	c  1500s|  1920k|  1008 |  5203 |   0.0 | 243M|1096 |   - |1422 | 999k|   0 |   0 | 127 |2020k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1548.24/1548.72	c  1508s|  1930k|  1009 |  5203 |   0.0 | 244M|1096 |   - |1422 |1004k|   0 |   0 | 127 |2030k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1556.33/1556.86	c  1516s|  1940k|  1013 |  5203 |   0.0 | 250M|1096 |   - |1422 |1009k|   0 |   0 | 127 |2040k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1564.13/1564.69	c  1523s|  1950k|  1009 |  5203 |   0.0 | 251M|1096 |   - |1422 |1014k|   0 |   0 | 127 |2050k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1572.13/1572.62	c  1531s|  1960k|  1007 |  5203 |   0.0 | 252M|1096 |   - |1422 |1019k|   0 |   0 | 127 |2061k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1580.24/1580.79	c  1539s|  1970k|  1013 |  5203 |   0.0 | 253M|1096 |   - |1422 |1025k|   0 |   0 | 127 |2072k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1588.02/1588.54	c  1547s|  1980k|  1009 |  5203 |   0.0 | 254M|1096 |   - |1422 |1030k|   0 |   0 | 127 |2082k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1596.02/1596.57	c  1554s|  1990k|  1010 |  5203 |   0.0 | 255M|1096 |   - |1422 |1035k|   0 |   0 | 127 |2092k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1603.72/1604.22	c  1562s|  2000k|  1015 |  5203 |   0.0 | 256M|1096 |   - |1422 |1040k|   0 |   0 | 127 |2102k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1611.62/1612.19	c  1570s|  2010k|  1007 |  5203 |   0.0 | 257M|1096 |   - |1422 |1045k|   0 |   0 | 127 |2112k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1619.52/1620.08	c  1577s|  2020k|  1009 |  5203 |   0.0 | 258M|1096 |   - |1422 |1050k|   0 |   0 | 127 |2122k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1627.32/1627.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1627.32/1627.87	c  1585s|  2030k|  1016 |  5203 |   0.0 | 259M|1096 |   - |1422 |1055k|   0 |   0 | 127 |2133k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1635.01/1635.51	c  1592s|  2040k|  1013 |  5203 |   0.0 | 260M|1096 |   - |1422 |1060k|   0 |   0 | 127 |2142k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1642.51/1643.06	c  1600s|  2050k|  1004 |  5203 |   0.0 | 261M|1096 |   - |1422 |1065k|   0 |   0 | 127 |2152k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1650.40/1650.98	c  1607s|  2060k|  1010 |  5203 |   0.0 | 262M|1096 |   - |1422 |1070k|   0 |   0 | 127 |2162k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1658.31/1658.86	c  1615s|  2070k|  1009 |  5203 |   0.0 | 263M|1096 |   - |1422 |1075k|   0 |   0 | 127 |2172k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1666.30/1666.87	c  1623s|  2080k|  1010 |  5203 |   0.0 | 264M|1096 |   - |1422 |1080k|   0 |   0 | 127 |2182k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1674.11/1674.68	c  1630s|  2090k|  1013 |  5203 |   0.0 | 265M|1096 |   - |1422 |1085k|   0 |   0 | 127 |2192k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1682.10/1682.67	c  1638s|  2100k|  1010 |  5203 |   0.0 | 266M|1096 |   - |1422 |1090k|   0 |   0 | 127 |2202k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1690.00/1690.58	c  1646s|  2110k|  1007 |  5203 |   0.0 | 267M|1096 |   - |1422 |1095k|   0 |   0 | 127 |2213k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1698.20/1698.74	c  1654s|  2120k|  1006 |  5203 |   0.0 | 268M|1096 |   - |1422 |1100k|   0 |   0 | 127 |2223k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1706.50/1707.08	c  1662s|  2130k|  1011 |  5203 |   0.0 | 269M|1096 |   - |1422 |1106k|   0 |   0 | 127 |2234k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1714.30/1714.88	c  1669s|  2140k|  1003 |  5203 |   0.0 | 270M|1096 |   - |1422 |1111k|   0 |   0 | 127 |2244k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1722.19/1722.79	c  1677s|  2150k|  1010 |  5203 |   0.0 | 271M|1096 |   - |1422 |1116k|   0 |   0 | 127 |2254k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1730.29/1730.84	c  1685s|  2160k|  1009 |  5203 |   0.0 | 272M|1096 |   - |1422 |1121k|   0 |   0 | 127 |2264k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1738.29/1738.84	c  1693s|  2170k|  1006 |  5203 |   0.0 | 273M|1096 |   - |1422 |1126k|   0 |   0 | 127 |2274k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1746.20/1746.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1746.20/1746.80	c  1701s|  2180k|  1007 |  5203 |   0.0 | 274M|1096 |   - |1422 |1131k|   0 |   0 | 127 |2284k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1754.38/1754.91	c  1708s|  2190k|  1009 |  5203 |   0.0 | 275M|1096 |   - |1422 |1136k|   0 |   0 | 127 |2294k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1762.38/1762.96	c  1716s|  2200k|  1014 |  5203 |   0.0 | 276M|1096 |   - |1422 |1141k|   0 |   0 | 127 |2304k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1770.27/1770.84	c  1724s|  2210k|  1010 |  5203 |   0.0 | 277M|1096 |   - |1422 |1146k|   0 |   0 | 127 |2315k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1778.09/1778.69	c  1731s|  2220k|  1014 |  5203 |   0.0 | 278M|1096 |   - |1422 |1151k|   0 |   0 | 127 |2325k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1785.88/1786.49	c  1739s|  2230k|  1010 |  5203 |   0.0 | 279M|1096 |   - |1422 |1156k|   0 |   0 | 127 |2335k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1793.87/1794.40	c  1747s|  2240k|  1013 |  5203 |   0.0 | 280M|1096 |   - |1422 |1161k|   0 |   0 | 127 |2345k|  19 | 1.145833e+02 | 1.180000e+02 |   2.98%
1800.08/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.61	c 
1800.08/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.61	c Solving Time (sec) : 1752.81
1800.08/1800.61	c Solving Nodes      : 2247692
1800.08/1800.61	c Primal Bound       : +1.18000000000000e+02 (5 solutions)
1800.08/1800.61	c Dual Bound         : +1.14583333333333e+02
1800.08/1800.61	c Gap                : 2.98 %
1800.08/1800.62	s SATISFIABLE
1800.08/1800.62	v -x1451 x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 
1800.08/1800.62	v -x1432 x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 
1800.08/1800.62	v -x1414 -x1413 -x1412 -x1411 -x1410 x1409 x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 
1800.08/1800.62	v -x1396 -x1395 x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 
1800.08/1800.62	v -x1378 -x1377 x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 
1800.08/1800.62	v -x1360 -x1359 x1358 -x1357 x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 
1800.08/1800.62	v x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 x1334 x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 
1800.08/1800.62	v -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 
1800.08/1800.62	v -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 x1289 
1800.08/1800.62	v -x1288 -x1287 -x1286 x1285 -x1284 -x1283 x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 
1800.08/1800.62	v -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 x1261 -x1260 x1259 -x1258 x1257 x1256 -x1255 -x1254 x1253 -x1252 
1800.08/1800.62	v -x1251 x1250 x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 
1800.08/1800.62	v -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 
1800.08/1800.62	v -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 
1800.08/1800.62	v -x1197 -x1196 x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 
1800.08/1800.62	v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 x1164 -x1163 -x1162 
1800.08/1800.62	v -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 
1800.08/1800.62	v -x1143 -x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 x1129 x1128 -x1127 -x1126 
1800.08/1800.62	v -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 
1800.08/1800.62	v -x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 
1800.08/1800.62	v -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 
1800.08/1800.62	v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 
1800.08/1800.62	v -x1052 x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
1800.08/1800.62	v x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 -x1027 x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 
1800.08/1800.62	v x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 
1800.08/1800.62	v -x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 
1800.08/1800.62	v -x977 -x976 -x975 -x974 -x973 x972 -x971 -x970 x969 -x968 -x967 -x966 -x965 -x964 -x963 x962 -x961 -x960 -x959 -x958 -x957 -x956 
1800.08/1800.62	v -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 
1800.08/1800.62	v -x934 -x933 -x932 x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 -x916 x915 -x914 
1800.08/1800.62	v -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 x894 -x893 
1800.08/1800.62	v -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 x880 x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 
1800.08/1800.62	v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 
1800.08/1800.62	v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 
1800.08/1800.62	v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 
1800.08/1800.62	v -x808 -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 
1800.08/1800.62	v -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 
1800.08/1800.62	v -x765 -x764 x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 x751 -x750 -x749 -x748 -x747 -x746 -x745 
1800.08/1800.62	v -x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 x728 -x727 -x726 -x725 -x724 
1800.08/1800.62	v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 
1800.08/1800.62	v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 
1800.08/1800.62	v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 
1800.08/1800.62	v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 
1800.08/1800.62	v -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 x624 -x623 -x622 -x621 -x620 -x619 
1800.08/1800.62	v x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 -x600 -x599 -x598 
1800.08/1800.62	v -x597 x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 
1800.08/1800.62	v -x576 -x575 -x574 -x573 -x572 x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 -x555 
1800.08/1800.62	v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 
1800.08/1800.62	v -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 -x516 -x515 -x514 -x513 
1800.08/1800.62	v -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 
1800.08/1800.62	v x491 x490 x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 
1800.08/1800.62	v -x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 
1800.08/1800.62	v -x448 -x447 -x446 -x445 x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 
1800.08/1800.62	v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 
1800.08/1800.62	v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 
1800.08/1800.62	v -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 
1800.08/1800.62	v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 x346 x345 -x344 
1800.08/1800.62	v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 
1800.08/1800.62	v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 
1800.08/1800.62	v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 
1800.08/1800.62	v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 
1800.08/1800.62	v -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 
1800.08/1800.62	v -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 
1800.08/1800.62	v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 
1800.08/1800.62	v -x196 -x195 -x194 x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 
1800.08/1800.62	v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 
1800.08/1800.62	v -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 
1800.08/1800.62	v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 
1800.08/1800.62	v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 
1800.08/1800.62	v -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 
1800.08/1800.62	v -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 
1800.08/1800.62	v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 
1800.08/1800.62	v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 x4 -x3 -x2 -x1 
1800.08/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.62	c Solving Time       :    1752.81
1800.08/1800.62	c Original Problem   :
1800.08/1800.62	c   Problem name     : HOME/instance-2667051-1276415743.opb
1800.08/1800.62	c   Variables        : 1451 (1451 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.62	c   Constraints      : 2932 initial, 2932 maximal
1800.08/1800.62	c Presolved Problem  :
1800.08/1800.62	c   Problem name     : t_HOME/instance-2667051-1276415743.opb
1800.08/1800.62	c   Variables        : 1422 (1422 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.62	c   Constraints      : 1472 initial, 1165757 maximal
1800.08/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.62	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.62	c   dualfix          :       0.01          2          0          0          0          0          0          0          0
1800.08/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.62	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.62	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.62	c   linear           :       0.07         23          4          0         23          0        325         22          0
1800.08/1800.62	c   logicor          :       0.15          0          0          0          0          0       1135          0          0
1800.08/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.62	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.08/1800.62	c   logicor          :       1472+        16    3162576          0          0     881204    3914268          0          0          0
1800.08/1800.62	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.62	c   integral         :       2.21       0.00       0.00       2.21       0.00
1800.08/1800.62	c   logicor          :     713.11       0.00     713.11       0.00       0.00
1800.08/1800.62	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.62	c   vbounds          :       2.99          2          0          0
1800.08/1800.62	c   rootredcost      :       3.28          0          0          0
1800.08/1800.62	c   pseudoobj        :     657.63    6233934     281404   62893397
1800.08/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.62	c   propagation      :     811.92    1161991    1161991    1161991      249.5    1191707        3.4          -
1800.08/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.62	c   pseudo solution  :       1.41       2295       2295       2295      171.6       2350        3.6          -
1800.08/1800.62	c   applied globally :          -          -          -    1466982       23.9          -          -          -
1800.08/1800.62	c   applied locally  :          -          -          -     886341      291.0          -          -          -
1800.08/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.62	c   cut pool         :       0.01         15          -          -         96          -    (maximal pool size: 1187)
1800.08/1800.62	c   redcost          :       0.00         16          0          0          0          0
1800.08/1800.62	c   impliedbounds    :       0.01         16          0          0          0          0
1800.08/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.62	c   gomory           :       3.14         16          0          0       6809          0
1800.08/1800.62	c   strongcg         :       2.88         16          0          0       6313          0
1800.08/1800.62	c   cmir             :       0.19         10          0          0          1          0
1800.08/1800.62	c   flowcover        :       0.44         10          0          0          6          0
1800.08/1800.62	c   clique           :       0.01          1          0          0          0          0
1800.08/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.62	c   mcf              :       0.00          1          0          0          0          0
1800.08/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.62	c Pricers            :       Time      Calls       Vars
1800.08/1800.62	c   problem variables:       0.00          0          0
1800.08/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.62	c   relpscost        :       2.21          1          0          0          0          0          2
1800.08/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.62	c   inference        :     132.12    1748375          0          0          0          0    3496750
1800.08/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.62	c   LP solutions     :       0.00          -          0
1800.08/1800.62	c   pseudo solutions :       0.00          -          0
1800.08/1800.62	c   crossover        :       0.00          0          0
1800.08/1800.62	c   oneopt           :       2.00          4          2
1800.08/1800.62	c   trivial          :       0.00          2          2
1800.08/1800.62	c   simplerounding   :       0.00         17          0
1800.08/1800.62	c   zirounding       :       0.00          1          0
1800.08/1800.62	c   rounding         :       0.05         17          0
1800.08/1800.62	c   shifting         :       0.08         17          0
1800.08/1800.62	c   intshifting      :       0.00          0          0
1800.08/1800.62	c   twoopt           :       0.00          0          0
1800.08/1800.62	c   fixandinfer      :       0.00          0          0
1800.08/1800.62	c   feaspump         :       0.00          0          0
1800.08/1800.62	c   coefdiving       :       0.00          0          0
1800.08/1800.62	c   pscostdiving     :       0.00          0          0
1800.08/1800.62	c   fracdiving       :       0.00          0          0
1800.08/1800.62	c   veclendiving     :       0.00          0          0
1800.08/1800.62	c   intdiving        :       0.00          0          0
1800.08/1800.62	c   actconsdiving    :       0.00          0          0
1800.08/1800.62	c   objpscostdiving  :       0.00          0          0
1800.08/1800.62	c   rootsoldiving    :       0.00          0          0
1800.08/1800.62	c   linesearchdiving :       0.00          0          0
1800.08/1800.62	c   guideddiving     :       0.00          0          0
1800.08/1800.62	c   octane           :       0.00          0          0
1800.08/1800.62	c   rens             :       0.53          1          1
1800.08/1800.62	c   rins             :       0.00          0          0
1800.08/1800.62	c   localbranching   :       0.00          0          0
1800.08/1800.62	c   mutation         :       0.00          0          0
1800.08/1800.62	c   dins             :       0.00          0          0
1800.08/1800.62	c   undercover       :       0.00          0          0
1800.08/1800.62	c   nlp              :       2.01          0          0
1800.08/1800.62	c   trysol           :       1.11          0          0
1800.08/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.62	c   dual LP          :       2.15         17       5203     306.06    2420.00
1800.08/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.08/1800.62	c   strong branching :       2.21         19       4380     230.53    1981.90
1800.08/1800.62	c     (at root node) :          -         19       4380     230.53          -
1800.08/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.62	c B&B Tree           :
1800.08/1800.62	c   number of runs   :          1
1800.08/1800.62	c   nodes            :    2247692
1800.08/1800.62	c   nodes (total)    :    2247692
1800.08/1800.62	c   nodes left       :       1003
1800.08/1800.62	c   max depth        :       1096
1800.08/1800.62	c   max depth (total):       1096
1800.08/1800.62	c   backtracks       :     728869 (32.4%)
1800.08/1800.62	c   delayed cutoffs  :     783944
1800.08/1800.62	c   repropagations   :    1618211 (43935031 domain reductions, 665587 cutoffs)
1800.08/1800.62	c   avg switch length:       2.50
1800.08/1800.62	c   switching time   :      98.86
1800.08/1800.62	c Solution           :
1800.08/1800.62	c   Solutions found  :          5 (5 improvements)
1800.08/1800.62	c   First Solution   : +1.45100000000000e+03   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.08/1800.62	c   Primal Bound     : +1.18000000000000e+02   (in run 1, after 1 nodes, 9.23 seconds, depth 0, found by <rens>)
1800.08/1800.62	c   Dual Bound       : +1.14583333333333e+02
1800.08/1800.62	c   Gap              :       2.98 %
1800.08/1800.62	c   Root Dual Bound  : +1.14558823529412e+02
1800.08/1800.62	c   Root Iterations  :       5203
1801.17/1801.78	c Time complete: 1801.25.

Verifier Data 

OK	118

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667051-1276415743/watcher-2667051-1276415743 -o /tmp/evaluation-result-2667051-1276415743/solver-2667051-1276415743 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667051-1276415743.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: 0.92 0.98 0.99 3/106 20389
/proc/meminfo: memFree=1852624/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=7724 CPUtime=0
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 1145 0 0 0 0 0 0 0 19 0 1 0 17176107 7909376 1064 1992294400 4194304 8223781 140735273136256 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20389/statm: 1931 1075 348 984 0 944 0

[startup+0.0612639 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 20389
/proc/meminfo: memFree=1852624/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=11388 CPUtime=0.05
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 2154 0 0 0 5 0 0 0 19 0 1 0 17176107 11661312 2073 1992294400 4194304 8223781 140735273136256 18446744073709551615 7246547 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20389/statm: 2847 2073 365 984 0 1860 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11388

[startup+0.101268 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 20389
/proc/meminfo: memFree=1852624/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=11912 CPUtime=0.09
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 2298 0 0 0 9 0 0 0 20 0 1 0 17176107 12197888 2217 1992294400 4194304 8223781 140735273136256 18446744073709551615 4467036 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20389/statm: 2978 2217 365 984 0 1991 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11912

[startup+0.30129 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 20389
/proc/meminfo: memFree=1852624/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=24772 CPUtime=0.29
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 6382 0 0 0 26 3 0 0 20 0 1 0 17176107 25366528 5166 1992294400 4194304 8223781 140735273136256 18446744073709551615 5008702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 6193 5166 453 984 0 5206 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24772

[startup+0.701334 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 20389
/proc/meminfo: memFree=1852624/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=30556 CPUtime=0.69
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 9415 0 0 0 64 5 0 0 21 0 1 0 17176107 31289344 6668 1992294400 4194304 8223781 140735273136256 18446744073709551615 6032472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 7639 6668 545 984 0 6652 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30556

[startup+1.50142 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 20390
/proc/meminfo: memFree=1822980/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=45416 CPUtime=1.49
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 13243 0 0 0 142 7 0 0 23 0 1 0 17176107 46505984 10270 1992294400 4194304 8223781 140735273136256 18446744073709551615 5716542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 11354 10270 564 984 0 10367 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45416

[startup+3.1006 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 20390
/proc/meminfo: memFree=1799172/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=66776 CPUtime=3.08
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 18766 0 0 0 298 10 0 0 25 0 1 0 17176107 68378624 15347 1992294400 4194304 8223781 140735273136256 18446744073709551615 6570102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 16694 15347 566 984 0 15707 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 66776

[startup+6.30095 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 20390
/proc/meminfo: memFree=1773380/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=93552 CPUtime=6.29
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 26117 0 0 0 614 15 0 0 25 0 1 0 17176107 95797248 21665 1992294400 4194304 8223781 140735273136256 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 23388 21665 575 984 0 22401 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93552

[startup+12.7007 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 20390
/proc/meminfo: memFree=1756516/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=104204 CPUtime=12.69
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 46757 0 0 0 1237 32 0 0 25 0 1 0 17176107 106704896 24271 1992294400 4194304 8223781 140735273136256 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 26051 24271 590 984 0 25064 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 104204

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 20390
/proc/meminfo: memFree=1749200/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=112856 CPUtime=25.48
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 48786 0 0 0 2480 68 0 0 25 0 1 0 17176107 115564544 26300 1992294400 4194304 8223781 140735273136256 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 28214 26300 592 984 0 27227 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 112856

[startup+51.1009 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 20390
/proc/meminfo: memFree=1741884/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=121292 CPUtime=51.08
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 50586 0 0 0 4972 136 0 0 25 0 1 0 17176107 124203008 28100 1992294400 4194304 8223781 140735273136256 18446744073709551615 5507200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 30323 28100 592 984 0 29336 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 121292

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 20392
/proc/meminfo: memFree=1729112/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=136792 CPUtime=102.27
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 53744 0 0 0 9969 258 0 0 25 0 1 0 17176107 140075008 31258 1992294400 4194304 8223781 140735273136256 18446744073709551615 4240463 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 34198 31258 592 984 0 33211 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 136792

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20394
/proc/meminfo: memFree=1713860/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=153584 CPUtime=162.24
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 57594 0 0 0 15817 407 0 0 25 0 1 0 17176107 157270016 35108 1992294400 4194304 8223781 140735273136256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 38396 35108 592 984 0 37409 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 153584

[startup+222.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/107 20396
/proc/meminfo: memFree=1699228/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=169144 CPUtime=222.21
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 61379 0 0 0 21667 554 0 0 25 0 1 0 17176107 173203456 38893 1992294400 4194304 8223781 140735273136256 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 42286 38893 592 984 0 41299 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 169144

[startup+282.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 20398
/proc/meminfo: memFree=1685712/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=181388 CPUtime=282.2
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 64500 0 0 0 27517 703 0 0 25 0 1 0 17176107 185741312 42014 1992294400 4194304 8223781 140735273136256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 45347 42014 592 984 0 44360 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 181388

[startup+342.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 20407
/proc/meminfo: memFree=1671080/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=195512 CPUtime=342.17
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 68025 0 0 0 33358 859 0 0 25 0 1 0 17176107 200204288 45539 1992294400 4194304 8223781 140735273136256 18446744073709551615 4703882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 48878 45539 592 984 0 47891 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 195512

[startup+402.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 20409
/proc/meminfo: memFree=1655952/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=210996 CPUtime=402.15
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 71832 0 0 0 39199 1016 0 0 25 0 1 0 17176107 216059904 49346 1992294400 4194304 8223781 140735273136256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 52749 49346 592 984 0 51762 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 210996

[startup+462.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 20411
/proc/meminfo: memFree=1639460/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=228024 CPUtime=462.13
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 75939 0 0 0 45042 1171 0 0 25 0 1 0 17176107 233496576 53453 1992294400 4194304 8223781 140735273136256 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 57006 53453 592 984 0 56019 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 228024

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20413
/proc/meminfo: memFree=1629788/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=237328 CPUtime=522.11
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 78391 0 0 0 50874 1337 0 0 25 0 1 0 17176107 243023872 55905 1992294400 4194304 8223781 140735273136256 18446744073709551615 4240560 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 59332 55905 592 984 0 58345 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 237328

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20415
/proc/meminfo: memFree=1612056/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=254900 CPUtime=582.1
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 82789 0 0 0 56713 1497 0 0 25 0 1 0 17176107 261017600 60303 1992294400 4194304 8223781 140735273136256 18446744073709551615 4436399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 63725 60303 592 984 0 62738 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 254900

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20415
/proc/meminfo: memFree=1592836/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=275480 CPUtime=642.09
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 87558 0 0 0 62555 1654 0 0 25 0 1 0 17176107 282091520 65072 1992294400 4194304 8223781 140735273136256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 68870 65072 592 984 0 67883 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 275480

[startup+702.302 s]

################
# More data... #
################

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20425
/proc/meminfo: memFree=1509384/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=358068 CPUtime=1001.99
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 108309 0 0 0 97639 2560 0 0 25 0 1 0 17176107 366661632 85759 1992294400 4194304 8223781 140735273136256 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 89517 85759 592 984 0 88530 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 358068

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20427
/proc/meminfo: memFree=1501200/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=365648 CPUtime=1061.97
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 110574 0 0 0 103474 2723 0 0 25 0 1 0 17176107 374423552 88024 1992294400 4194304 8223781 140735273136256 18446744073709551615 5506180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 91412 88024 592 984 0 90425 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 365648

[startup+1122.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 20432
/proc/meminfo: memFree=1474292/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=394728 CPUtime=1121.95
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 116854 0 0 0 109316 2879 0 0 25 0 1 0 17176107 404201472 94304 1992294400 4194304 8223781 140735273136256 18446744073709551615 5892255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 98682 94304 592 984 0 97695 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 394728

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 20432
/proc/meminfo: memFree=1464744/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=402828 CPUtime=1181.94
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 119272 0 0 0 115156 3038 0 0 25 0 1 0 17176107 412495872 96722 1992294400 4194304 8223781 140735273136256 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 100707 96722 592 984 0 99720 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 402828

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20434
/proc/meminfo: memFree=1455196/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=410796 CPUtime=1241.92
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 121659 0 0 0 121000 3192 0 0 25 0 1 0 17176107 420655104 99109 1992294400 4194304 8223781 140735273136256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 102699 99109 592 984 0 101712 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 410796

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20436
/proc/meminfo: memFree=1425932/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=444924 CPUtime=1301.91
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 128941 0 0 0 126829 3362 0 0 25 0 1 0 17176107 455602176 106391 1992294400 4194304 8223781 140735273136256 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 111231 106391 592 984 0 110244 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 444924

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20438
/proc/meminfo: memFree=1417500/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=452932 CPUtime=1361.88
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 131300 0 0 0 132662 3526 0 0 25 0 1 0 17176107 463802368 108750 1992294400 4194304 8223781 140735273136256 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 113233 108750 592 984 0 112246 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 452932

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20440
/proc/meminfo: memFree=1407580/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=460200 CPUtime=1421.88
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 133522 0 0 0 138501 3687 0 0 25 0 1 0 17176107 471244800 110972 1992294400 4194304 8223781 140735273136256 18446744073709551615 7359796 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 115050 110972 592 984 0 114063 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 460200

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20440
/proc/meminfo: memFree=1397908/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=468452 CPUtime=1481.86
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 135952 0 0 0 144340 3846 0 0 25 0 1 0 17176107 479694848 113402 1992294400 4194304 8223781 140735273136256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 117113 113402 592 984 0 116126 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 468452

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20442
/proc/meminfo: memFree=1388360/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=476288 CPUtime=1541.83
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 138292 0 0 0 150181 4002 0 0 25 0 1 0 17176107 487718912 115742 1992294400 4194304 8223781 140735273136256 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 119072 115742 592 984 0 118085 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 476288

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20444
/proc/meminfo: memFree=1356244/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=515548 CPUtime=1601.82
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 146531 0 0 0 156005 4177 0 0 25 0 1 0 17176107 527921152 123981 1992294400 4194304 8223781 140735273136256 18446744073709551615 5902123 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 128887 123981 592 984 0 127900 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 515548

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20446
/proc/meminfo: memFree=1346448/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=522712 CPUtime=1661.81
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 148703 0 0 0 161841 4340 0 0 25 0 1 0 17176107 535257088 126153 1992294400 4194304 8223781 140735273136256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 130678 126153 592 984 0 129691 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 522712

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20448
/proc/meminfo: memFree=1336404/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=531288 CPUtime=1721.79
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 151201 0 0 0 167675 4504 0 0 25 0 1 0 17176107 544038912 128651 1992294400 4194304 8223781 140735273136256 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 132822 128651 592 984 0 131835 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 531288

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20450
/proc/meminfo: memFree=1326980/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=538868 CPUtime=1781.77
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 153473 0 0 0 173511 4666 0 0 25 0 1 0 17176107 551800832 130923 1992294400 4194304 8223781 140735273136256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 134717 130923 592 984 0 133730 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 538868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20450
/proc/meminfo: memFree=1324252/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=541008 CPUtime=1800.08
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 154134 0 0 0 175292 4716 0 0 25 0 1 0 17176107 553992192 131584 1992294400 4194304 8223781 140735273136256 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20389/statm: 135252 131584 592 984 0 134265 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 541008

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20450
/proc/meminfo: memFree=1324252/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=422016 CPUtime=1800.87
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 158754 0 0 0 175367 4720 0 0 25 0 1 0 17176107 432144384 101774 1992294400 4194304 8223781 140735273136256 18446744073709551615 4212062 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20389/statm: 105504 101774 594 984 0 104517 0
Current children cumulated CPU time (s) 1800.87
Current children cumulated vsize (KiB) 422016

[startup+1801.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20450
/proc/meminfo: memFree=1324252/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=371760 CPUtime=1801.07
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 158754 0 0 0 175386 4721 0 0 25 0 1 0 17176107 380682240 89210 1992294400 4194304 8223781 140735273136256 18446744073709551615 4332838 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20389/statm: 92940 89210 594 984 0 91953 0
Current children cumulated CPU time (s) 1801.07
Current children cumulated vsize (KiB) 371760

[startup+1801.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20451
/proc/meminfo: memFree=1521032/2059040 swapFree=4140380/4192956
[pid=20389] ppid=20387 vsize=342000 CPUtime=1801.17
/proc/20389/stat : 20389 (pbscip.linux.x8) R 20387 20389 20192 0 -1 4202496 158754 0 0 0 175396 4721 0 0 25 0 1 0 17176107 350208000 81770 1992294400 4194304 8223781 140735273136256 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20389/statm: 85500 81770 594 984 0 84513 0
Current children cumulated CPU time (s) 1801.17
Current children cumulated vsize (KiB) 342000

Child status: 0
Real time (s): 1801.78
CPU time (s): 1801.26
CPU user time (s): 1754
CPU system time (s): 47.2558
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 559960

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

runsolver used 2.91956 second user time and 8.58669 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-13 09:55:43
IDJOB=2667051
IDBENCH=2055
IDSOLVER=1169
FILE ID=node009/2667051-1276415743
PBS_JOBID= 11173291
Free space on /tmp= 62444 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.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-2667051-1276415743/watcher-2667051-1276415743 -o /tmp/evaluation-result-2667051-1276415743/solver-2667051-1276415743 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667051-1276415743.opb -t 1800 -m 1800

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

MD5SUM BENCH= 82ceb454755e01aa6cecb68eb859eaa6
RANDOM SEED=1816507417

node009.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.199
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.39
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.199
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1853152 kB
Buffers:         12332 kB
Cached:         114992 kB
SwapCached:       6052 kB
Active:          28116 kB
Inactive:       111936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1853152 kB
SwapTotal:     4192956 kB
SwapFree:      4140380 kB
Dirty:            4836 kB
Writeback:           0 kB
AnonPages:       10976 kB
Mapped:          12980 kB
Slab:            43932 kB
PageTables:       3952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179824 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= 62436 MiB
End job on node009 at 2010-06-13 10:25:46