Trace number 3692105

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixedSAT-41 1796.88 1797.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUMaabc023158e10c9511062af8ac97c515
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58624
Number of constraints which are clauses58624
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
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 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3692105-1338032418.opb>
0.09/0.13	c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
0.09/0.13	c problem read in 0.13
0.09/0.19	o 0
0.19/0.20	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.19/0.20	c presolving:
0.49/0.51	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58624 upgd conss, 117248 impls, 0 clqs
0.69/0.77	c    (0.8s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.77	c    (0.8s) probing aborted: 50/50 successive totally useless probings
0.69/0.78	c presolving (2 rounds):
0.69/0.78	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.78	c  117248 implications, 0 cliques
0.69/0.78	c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
0.69/0.78	c   58624 constraints of type <setppc>
0.69/0.78	c transformed objective value is always integral (scale: 1)
0.69/0.78	c Presolving Time: 0.59
0.69/0.78	c - non default parameters ----------------------------------------------------------------------
0.69/0.78	c # SCIP version 2.1.1.4
0.69/0.78	c 
0.69/0.78	c # maximal time in seconds to run
0.69/0.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78	c limits/time = 1797
0.69/0.78	c 
0.69/0.78	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78	c limits/memory = 13950
0.69/0.78	c 
0.69/0.78	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.78	c # [type: int, range: [1,2], default: 1]
0.69/0.78	c timing/clocktype = 2
0.69/0.78	c 
0.69/0.78	c # belongs reading time to solving time?
0.69/0.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.78	c timing/reading = TRUE
0.69/0.78	c 
0.69/0.78	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.78	c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.78	c separating/rapidlearning/freq = 0
0.69/0.78	c 
0.69/0.78	c -----------------------------------------------------------------------------------------------
0.69/0.78	c start solving
0.79/0.80	c 
1.39/1.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.39/1.43	c t 1.4s|     1 |     0 |   946 |     - |  77M|   0 | 945 | 945 |  58k| 945 |  58k|   0 |   0 |   0 |-4.725000e+02 | 0.000000e+00 |    Inf 
1.39/1.47	o -1
1.39/1.47	c R 1.5s|     1 |     0 |   946 |     - |  77M|   0 | 945 | 945 |  58k| 945 |  58k|   0 |   0 |   0 |-4.725000e+02 |-1.000000e+00 |  Large 
1.49/1.51	o -2
1.49/1.51	c s 1.5s|     1 |     0 |   946 |     - |  77M|   0 | 945 | 945 |  58k| 945 |  58k|   0 |   0 |   0 |-4.725000e+02 |-2.000000e+00 |  Large 
2.59/2.61	c   2.6s|     1 |     0 |  1217 |     - |  77M|   0 | 887 | 945 |  58k| 945 |  58k|   7 |   0 |   0 |-4.435000e+02 |-2.000000e+00 |  Large 
2.59/2.63	o -30
2.59/2.63	c b 2.6s|     1 |     0 |  1217 |     - |  77M|   0 | 887 | 945 |  58k| 945 |  58k|   7 |   0 |   0 |-4.435000e+02 |-3.000000e+01 |1378.33%
3.79/3.88	c   3.9s|     1 |     0 |  1427 |     - |  77M|   0 | 829 | 945 |  58k| 945 |  58k|  32 |   0 |   0 |-4.145000e+02 |-3.000000e+01 |1281.67%
5.50/5.53	c   5.5s|     1 |     0 |  1660 |     - |  77M|   0 | 774 | 945 |  58k| 945 |  58k|  55 |   0 |   0 |-3.870000e+02 |-3.000000e+01 |1190.00%
7.60/7.64	c   7.6s|     1 |     0 |  2079 |     - |  77M|   0 | 724 | 945 |  58k| 945 |  58k|  72 |   0 |   0 |-3.620000e+02 |-3.000000e+01 |1106.67%
10.29/10.34	c  10.3s|     1 |     0 |  2424 |     - |  78M|   0 | 683 | 945 |  58k| 945 |  58k|  88 |   0 |   0 |-3.415000e+02 |-3.000000e+01 |1038.33%
12.39/12.47	c  12.5s|     1 |     0 |  2659 |     - |  78M|   0 | 641 | 945 |  58k| 945 |  58k| 101 |   0 |   0 |-3.205000e+02 |-3.000000e+01 | 968.33%
14.79/14.81	c  14.8s|     1 |     0 |  2927 |     - |  78M|   0 | 597 | 945 |  58k| 945 |  58k| 113 |   0 |   0 |-2.985000e+02 |-3.000000e+01 | 895.00%
17.19/17.25	c  17.3s|     1 |     0 |  3211 |     - |  78M|   0 | 564 | 945 |  58k| 945 |  58k| 126 |   0 |   0 |-2.805000e+02 |-3.000000e+01 | 835.00%
19.58/19.60	c  19.6s|     1 |     0 |  3670 |     - |  78M|   0 | 520 | 945 |  58k| 945 |  58k| 139 |   0 |   0 |-2.600000e+02 |-3.000000e+01 | 766.67%
22.28/22.32	c  22.3s|     1 |     0 |  4603 |     - |  78M|   0 | 485 | 945 |  58k| 945 |  58k| 151 |   0 |   0 |-2.425000e+02 |-3.000000e+01 | 708.33%
22.78/22.82	c  22.8s|     1 |     0 |  4871 |     - |  78M|   0 | 445 | 945 |  58k| 945 |  58k| 164 |   0 |   0 |-2.225000e+02 |-3.000000e+01 | 641.67%
24.88/24.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.88/24.97	c  25.0s|     1 |     0 |  7272 |     - |  78M|   0 | 401 | 945 |  58k| 945 |  58k| 180 |   0 |   0 |-2.005000e+02 |-3.000000e+01 | 568.33%
26.48/26.50	c  26.5s|     1 |     0 |  8894 |     - |  78M|   0 | 349 | 945 |  58k| 945 |  58k| 188 |   0 |   0 |-1.745000e+02 |-3.000000e+01 | 481.67%
27.99/28.03	c  28.0s|     1 |     0 | 11020 |     - |  78M|   0 | 295 | 945 |  58k| 945 |  58k| 200 |   0 |   0 |-1.475000e+02 |-3.000000e+01 | 391.67%
29.09/29.16	c  29.2s|     1 |     0 | 12380 |     - |  78M|   0 | 263 | 945 |  58k| 945 |  58k| 210 |   0 |   0 |-1.315000e+02 |-3.000000e+01 | 338.33%
29.59/29.65	c  29.6s|     1 |     0 | 12712 |     - |  78M|   0 | 245 | 945 |  58k| 945 |  58k| 217 |   0 |   0 |-1.225000e+02 |-3.000000e+01 | 308.33%
31.38/31.42	c  31.4s|     1 |     0 | 14985 |     - |  78M|   0 | 213 | 945 |  58k| 945 |  58k| 227 |   0 |   0 |-1.065000e+02 |-3.000000e+01 | 255.00%
31.79/31.90	c  31.9s|     1 |     0 | 15329 |     - |  78M|   0 | 197 | 945 |  58k| 945 |  58k| 235 |   0 |   0 |-9.850000e+01 |-3.000000e+01 | 228.33%
32.99/33.05	c  33.0s|     1 |     0 | 16863 |     - |  78M|   0 | 175 | 945 |  58k| 945 |  58k| 248 |   0 |   0 |-8.750000e+01 |-3.000000e+01 | 191.67%
33.89/33.90	c  33.9s|     1 |     0 | 17689 |     - |  78M|   0 | 159 | 945 |  58k| 945 |  58k| 255 |   0 |   0 |-7.950000e+01 |-3.000000e+01 | 165.00%
34.39/34.47	c  34.5s|     1 |     0 | 18692 |     - |  78M|   0 | 138 | 945 |  58k| 945 |  58k| 259 |   0 |   0 |-6.550000e+01 |-3.000000e+01 | 118.33%
34.88/34.98	c  35.0s|     1 |     0 | 19733 |     - |  78M|   0 | 128 | 945 |  58k| 945 |  58k| 265 |   0 |   0 |-5.900000e+01 |-3.000000e+01 |  96.67%
35.19/35.27	c  35.3s|     1 |     0 | 20157 |     - |  78M|   0 |  97 | 945 |  58k| 945 |  58k| 268 |   0 |   0 |-4.850000e+01 |-3.000000e+01 |  61.67%
35.28/35.33	c  35.3s|     1 |     0 | 20188 |     - |  78M|   0 |  91 | 945 |  58k| 945 |  58k| 273 |   0 |   0 |-4.550000e+01 |-3.000000e+01 |  51.67%
35.28/35.36	c  35.4s|     1 |     0 | 20194 |     - |  78M|   0 |  91 | 945 |  58k| 945 |  58k| 279 |   0 |   0 |-4.550000e+01 |-3.000000e+01 |  51.67%
35.38/35.42	c  35.4s|     1 |     0 | 20231 |     - |  78M|   0 | 103 | 945 |  58k| 945 |  58k| 286 |   0 |   0 |-4.550000e+01 |-3.000000e+01 |  51.67%
35.38/35.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
35.38/35.46	c  35.5s|     1 |     0 | 20245 |     - |  78M|   0 | 103 | 945 |  58k| 945 |  58k| 292 |   0 |   0 |-4.550000e+01 |-3.000000e+01 |  51.67%
35.38/35.49	c  35.5s|     1 |     0 | 20250 |     - |  78M|   0 |  91 | 945 |  58k| 945 |  58k| 296 |   0 |   0 |-4.550000e+01 |-3.000000e+01 |  51.67%
35.48/35.58	c  35.6s|     1 |     0 | 20296 |     - |  78M|   0 | 117 | 945 |  58k| 945 |  58k| 302 |   0 |   0 |-4.533333e+01 |-3.000000e+01 |  51.11%
35.58/35.63	c  35.6s|     1 |     0 | 20325 |     - |  78M|   0 | 119 | 945 |  58k| 945 |  58k| 314 |   0 |   0 |-4.533333e+01 |-3.000000e+01 |  51.11%
35.68/35.71	c  35.7s|     1 |     0 | 20376 |     - |  78M|   0 | 132 | 945 |  58k| 945 |  58k| 322 |   0 |   0 |-4.533333e+01 |-3.000000e+01 |  51.11%
35.78/35.80	c  35.8s|     1 |     0 | 20437 |     - |  78M|   0 | 135 | 945 |  58k| 945 |  58k| 331 |   0 |   0 |-4.533333e+01 |-3.000000e+01 |  51.11%
35.78/35.88	c  35.9s|     1 |     0 | 20486 |     - |  78M|   0 | 139 | 945 |  58k| 945 |  58k| 342 |   0 |   0 |-4.533333e+01 |-3.000000e+01 |  51.11%
35.88/35.94	c  35.9s|     1 |     0 | 20510 |     - |  78M|   0 | 141 | 945 |  58k| 945 |  58k| 348 |   0 |   0 |-4.533333e+01 |-3.000000e+01 |  51.11%
40.48/40.52	c  40.5s|     1 |     2 | 20510 |     - |  78M|   0 | 141 | 945 |  58k| 945 |  58k| 348 |   0 |  21 |-4.533333e+01 |-3.000000e+01 |  51.11%
56.68/56.74	o -31
56.68/56.74	c c56.7s|     8 |     9 | 21425 | 130.7 |  80M|   7 |   - | 945 |  58k| 945 |  58k| 348 |   0 | 193 |-4.533333e+01 |-3.100000e+01 |  46.24%
56.68/56.76	o -32
56.68/56.76	c c56.8s|     8 |     9 | 21427 | 131.0 |  80M|   7 |   - | 945 |  58k| 945 |  58k| 348 |   0 | 193 |-4.533333e+01 |-3.200000e+01 |  41.67%
72.88/72.96	o -33
72.88/72.96	c p73.0s|    14 |    15 | 22214 | 131.1 |  81M|   7 |   - | 945 |  58k| 945 |  58k| 348 |   0 | 349 |-4.500000e+01 |-3.300000e+01 |  36.36%
85.48/85.56	o -34
85.48/85.56	c f85.6s|    19 |    20 | 23256 | 152.6 |  82M|   7 |   - | 945 |  58k| 945 |  58k| 348 |   0 | 467 |-4.500000e+01 |-3.400000e+01 |  32.35%
152.77/152.82	o -35
152.77/152.82	c l 153s|    67 |    68 | 26992 |  98.2 |  85M|  17 |   - | 945 |  58k| 945 |  58k| 348 |   0 |1276 |-4.500000e+01 |-3.500000e+01 |  28.57%
173.15/173.22	o -36
173.15/173.22	c c 173s|    91 |    88 | 28989 |  94.2 |  86M|  19 |   - | 945 |  58k| 945 |  58k| 348 |   0 |1498 |-4.500000e+01 |-3.600000e+01 |  25.00%
173.76/173.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
173.76/173.85	c   174s|   100 |    97 | 29436 |  90.2 |  86M|  19 |  75 | 945 |  58k| 945 |  58k| 348 |   0 |1498 |-4.500000e+01 |-3.600000e+01 |  25.00%
178.35/178.49	o -37
178.35/178.49	c l 178s|   141 |   134 | 32702 |  87.1 |  87M|  22 |   - | 945 |  58k| 945 |  58k| 348 |   0 |1505 |-4.500000e+01 |-3.700000e+01 |  21.62%
184.85/184.94	c   185s|   200 |   181 | 36420 |  79.9 |  88M|  26 |  69 | 945 |  58k| 945 |  58k| 348 |   0 |1524 |-4.500000e+01 |-3.700000e+01 |  21.62%
187.45/187.59	o -38
187.45/187.59	c c 188s|   236 |   197 | 37959 |  74.3 |  89M|  29 |   - | 945 |  58k| 945 |  58k| 348 |   0 |1533 |-4.500000e+01 |-3.800000e+01 |  18.42%
191.85/191.96	c   192s|   300 |   235 | 40951 |  68.4 |  90M|  36 |  74 | 945 |  58k| 945 |  58k| 348 |   0 |1542 |-4.500000e+01 |-3.800000e+01 |  18.42%
203.35/203.42	c   203s|   400 |   315 | 47398 |  67.4 |  93M|  36 | 106 | 945 |  58k| 945 |  58k| 348 |   0 |1586 |-4.500000e+01 |-3.800000e+01 |  18.42%
205.24/205.36	o -40
205.24/205.36	c c 205s|   429 |   257 | 48410 |  65.2 |  92M|  36 |   - | 945 |  58k| 945 |  58k| 348 |   0 |1591 |-4.500000e+01 |-4.000000e+01 |  12.50%
211.25/211.33	c   211s|   500 |   304 | 51826 |  62.8 |  94M|  36 |  71 | 945 |  58k| 945 |  58k| 348 |   0 |1617 |-4.500000e+01 |-4.000000e+01 |  12.50%
220.95/221.08	c   221s|   600 |   352 | 57816 |  62.3 |  95M|  36 | 131 | 945 |  58k| 945 |  58k| 348 |   0 |1649 |-4.500000e+01 |-4.000000e+01 |  12.50%
229.34/229.44	c   229s|   700 |   404 | 62332 |  59.8 |  97M|  36 |  70 | 945 |  58k| 945 |  58k| 348 |   0 |1686 |-4.500000e+01 |-4.000000e+01 |  12.50%
235.74/235.80	c   236s|   800 |   448 | 65834 |  56.7 |  98M|  39 | 121 | 945 |  58k| 945 |  58k| 348 |   0 |1713 |-4.500000e+01 |-4.000000e+01 |  12.50%
244.44/244.53	c   245s|   900 |   506 | 70602 |  55.7 | 100M|  39 |  75 | 945 |  58k| 945 |  58k| 348 |   0 |1751 |-4.500000e+01 |-4.000000e+01 |  12.50%
251.84/251.90	c   252s|  1000 |   558 | 75639 |  55.2 | 102M|  46 | 125 | 945 |  58k| 945 |  58k| 348 |   0 |1766 |-4.500000e+01 |-4.000000e+01 |  12.50%
263.53/263.70	c   264s|  1100 |   658 | 82236 |  56.2 | 104M|  53 | 107 | 945 |  58k| 945 |  58k| 348 |   0 |1792 |-4.500000e+01 |-4.000000e+01 |  12.50%
281.04/281.16	c   281s|  1200 |   756 | 92900 |  60.4 | 107M|  53 |  90 | 945 |  58k| 945 |  58k| 348 |   0 |1822 |-4.500000e+01 |-4.000000e+01 |  12.50%
292.54/292.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
292.54/292.63	c   293s|  1300 |   854 | 99025 |  60.4 | 109M|  53 |  85 | 945 |  58k| 945 |  58k| 348 |   0 |1848 |-4.500000e+01 |-4.000000e+01 |  12.50%
304.53/304.61	c   305s|  1400 |   952 |106292 |  61.3 | 112M|  53 |  95 | 945 |  58k| 945 |  58k| 348 |   0 |1874 |-4.500000e+01 |-4.000000e+01 |  12.50%
323.13/323.30	c   323s|  1500 |  1050 |116829 |  64.3 | 115M|  53 |  81 | 945 |  58k| 945 |  58k| 348 |   0 |1917 |-4.500000e+01 |-4.000000e+01 |  12.50%
343.62/343.75	c   344s|  1600 |  1148 |129911 |  68.4 | 118M|  53 | 111 | 945 |  58k| 945 |  58k| 348 |   0 |1969 |-4.500000e+01 |-4.000000e+01 |  12.50%
355.72/355.83	c   356s|  1700 |  1234 |137942 |  69.1 | 120M|  53 |  73 | 945 |  58k| 945 |  58k| 348 |   0 |2004 |-4.500000e+01 |-4.000000e+01 |  12.50%
372.21/372.37	c   372s|  1800 |  1332 |147139 |  70.4 | 123M|  53 | 114 | 945 |  58k| 945 |  58k| 348 |   0 |2042 |-4.500000e+01 |-4.000000e+01 |  12.50%
391.21/391.35	c   391s|  1900 |  1428 |159411 |  73.1 | 126M|  53 | 105 | 945 |  58k| 945 |  58k| 348 |   0 |2079 |-4.500000e+01 |-4.000000e+01 |  12.50%
410.61/410.80	c   411s|  2000 |  1528 |172331 |  75.9 | 129M|  53 |  72 | 945 |  58k| 945 |  58k| 348 |   0 |2105 |-4.500000e+01 |-4.000000e+01 |  12.50%
434.21/434.32	c   434s|  2100 |  1620 |186304 |  79.0 | 131M|  53 |  72 | 945 |  58k| 945 |  58k| 348 |   0 |2183 |-4.500000e+01 |-4.000000e+01 |  12.50%
455.21/455.36	c   455s|  2200 |  1716 |200707 |  81.9 | 134M|  53 |  74 | 945 |  58k| 945 |  58k| 348 |   0 |2207 |-4.500000e+01 |-4.000000e+01 |  12.50%
472.50/472.63	c   473s|  2300 |  1806 |211966 |  83.3 | 137M|  53 |  60 | 945 |  58k| 945 |  58k| 348 |   0 |2229 |-4.500000e+01 |-4.000000e+01 |  12.50%
487.30/487.46	c   487s|  2400 |  1892 |222317 |  84.1 | 139M|  53 |  74 | 945 |  58k| 945 |  58k| 348 |   0 |2257 |-4.500000e+01 |-4.000000e+01 |  12.50%
502.39/502.51	c   503s|  2500 |  1988 |233345 |  85.2 | 142M|  53 |  86 | 945 |  58k| 945 |  58k| 348 |   0 |2283 |-4.500000e+01 |-4.000000e+01 |  12.50%
520.69/520.87	c   521s|  2600 |  2078 |246140 |  86.8 | 145M|  53 |  68 | 945 |  58k| 945 |  58k| 348 |   0 |2300 |-4.500000e+01 |-4.000000e+01 |  12.50%
536.99/537.14	c   537s|  2700 |  2164 |257955 |  88.0 | 147M|  53 | 130 | 945 |  58k| 945 |  58k| 348 |   0 |2319 |-4.500000e+01 |-4.000000e+01 |  12.50%
550.79/550.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
550.79/550.98	c   551s|  2800 |  2248 |267853 |  88.4 | 150M|  53 |  82 | 945 |  58k| 945 |  58k| 348 |   0 |2325 |-4.500000e+01 |-4.000000e+01 |  12.50%
561.90/562.08	c   562s|  2900 |  2334 |276476 |  88.3 | 152M|  53 |  52 | 945 |  58k| 945 |  58k| 348 |   0 |2332 |-4.500000e+01 |-4.000000e+01 |  12.50%
577.40/577.57	c   578s|  3000 |  2422 |287722 |  89.1 | 154M|  53 |  93 | 945 |  58k| 945 |  58k| 348 |   0 |2343 |-4.500000e+01 |-4.000000e+01 |  12.50%
589.18/589.39	c   589s|  3100 |  2514 |295942 |  88.9 | 157M|  53 | 103 | 945 |  58k| 945 |  58k| 348 |   0 |2347 |-4.500000e+01 |-4.000000e+01 |  12.50%
603.18/603.32	c   603s|  3200 |  2596 |305357 |  89.0 | 159M|  56 |  88 | 945 |  58k| 945 |  58k| 348 |   0 |2351 |-4.500000e+01 |-4.000000e+01 |  12.50%
617.78/617.92	c   618s|  3300 |  2686 |316294 |  89.7 | 162M|  56 |  70 | 945 |  58k| 945 |  58k| 348 |   0 |2372 |-4.500000e+01 |-4.000000e+01 |  12.50%
634.49/634.60	c   635s|  3400 |  2768 |325675 |  89.8 | 164M|  56 | 118 | 945 |  58k| 945 |  58k| 348 |   0 |2411 |-4.500000e+01 |-4.000000e+01 |  12.50%
652.87/653.09	c   653s|  3500 |  2852 |337149 |  90.5 | 166M|  56 | 101 | 945 |  58k| 945 |  58k| 348 |   0 |2465 |-4.500000e+01 |-4.000000e+01 |  12.50%
666.07/666.22	c   666s|  3600 |  2930 |345811 |  90.4 | 168M|  56 | 122 | 945 |  58k| 945 |  58k| 348 |   0 |2489 |-4.500000e+01 |-4.000000e+01 |  12.50%
684.07/684.23	c   684s|  3700 |  3022 |357997 |  91.2 | 171M|  56 |  66 | 945 |  58k| 945 |  58k| 348 |   0 |2545 |-4.500000e+01 |-4.000000e+01 |  12.50%
699.47/699.65	c   700s|  3800 |  3106 |368502 |  91.6 | 174M|  56 |  63 | 945 |  58k| 945 |  58k| 348 |   0 |2581 |-4.500000e+01 |-4.000000e+01 |  12.50%
718.67/718.80	c   719s|  3900 |  3194 |379982 |  92.2 | 177M|  56 | 113 | 945 |  58k| 945 |  58k| 348 |   0 |2630 |-4.500000e+01 |-4.000000e+01 |  12.50%
735.56/735.71	c   736s|  4000 |  3276 |391694 |  92.8 | 179M|  56 |  85 | 945 |  58k| 945 |  58k| 348 |   0 |2678 |-4.500000e+01 |-4.000000e+01 |  12.50%
751.36/751.55	c   752s|  4100 |  3360 |401538 |  93.0 | 181M|  56 |  94 | 945 |  58k| 945 |  58k| 348 |   0 |2719 |-4.500000e+01 |-4.000000e+01 |  12.50%
773.45/773.61	c   774s|  4200 |  3444 |414120 |  93.7 | 184M|  56 | 120 | 945 |  58k| 945 |  58k| 348 |   0 |2760 |-4.500000e+01 |-4.000000e+01 |  12.50%
791.35/791.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
791.35/791.56	c   792s|  4300 |  3530 |426500 |  94.4 | 186M|  56 |  97 | 945 |  58k| 945 |  58k| 348 |   0 |2782 |-4.500000e+01 |-4.000000e+01 |  12.50%
804.95/805.17	c   805s|  4400 |  3618 |436074 |  94.5 | 189M|  56 |  83 | 945 |  58k| 945 |  58k| 348 |   0 |2789 |-4.500000e+01 |-4.000000e+01 |  12.50%
822.84/823.03	c   823s|  4500 |  3710 |449832 |  95.4 | 191M|  56 | 114 | 945 |  58k| 945 |  58k| 348 |   0 |2801 |-4.500000e+01 |-4.000000e+01 |  12.50%
839.75/839.97	c   840s|  4600 |  3798 |462063 |  96.0 | 194M|  56 |  91 | 945 |  58k| 945 |  58k| 348 |   0 |2814 |-4.500000e+01 |-4.000000e+01 |  12.50%
853.84/854.00	c   854s|  4700 |  3886 |473242 |  96.3 | 197M|  56 |  69 | 945 |  58k| 945 |  58k| 348 |   0 |2816 |-4.500000e+01 |-4.000000e+01 |  12.50%
867.83/868.05	c   868s|  4800 |  3968 |483162 |  96.4 | 199M|  56 |  92 | 945 |  58k| 945 |  58k| 348 |   0 |2820 |-4.500000e+01 |-4.000000e+01 |  12.50%
873.34/873.50	o -41
873.34/873.50	c p 873s|  4839 |  3476 |487372 |  96.5 | 192M|  56 |   - | 945 |  58k| 945 |  58k| 348 |   0 |2821 |-4.500000e+01 |-4.100000e+01 |   9.76%
880.04/880.27	c   880s|  4900 |  3523 |493443 |  96.5 | 193M|  56 |  91 | 945 |  58k| 945 |  58k| 348 |   0 |2823 |-4.500000e+01 |-4.100000e+01 |   9.76%
890.63/890.83	c   891s|  5000 |  3591 |501205 |  96.2 | 195M|  56 |  76 | 945 |  58k| 945 |  58k| 348 |   0 |2827 |-4.500000e+01 |-4.100000e+01 |   9.76%
905.84/906.05	c   906s|  5100 |  3677 |512281 |  96.4 | 197M|  56 | 108 | 945 |  58k| 945 |  58k| 348 |   0 |2829 |-4.500000e+01 |-4.100000e+01 |   9.76%
919.13/919.30	c   919s|  5200 |  3759 |522728 |  96.6 | 200M|  56 |  66 | 945 |  58k| 945 |  58k| 348 |   0 |2831 |-4.500000e+01 |-4.100000e+01 |   9.76%
933.63/933.84	c   934s|  5300 |  3845 |532886 |  96.7 | 203M|  56 |  90 | 945 |  58k| 945 |  58k| 348 |   0 |2844 |-4.500000e+01 |-4.100000e+01 |   9.76%
947.33/947.57	c   948s|  5400 |  3901 |542090 |  96.6 | 205M|  56 |  80 | 945 |  58k| 945 |  58k| 348 |   0 |2883 |-4.500000e+01 |-4.100000e+01 |   9.76%
960.72/960.91	c   961s|  5500 |  3967 |549561 |  96.2 | 206M|  56 |  84 | 945 |  58k| 945 |  58k| 348 |   0 |2921 |-4.500000e+01 |-4.100000e+01 |   9.76%
971.32/971.57	c   972s|  5600 |  4021 |556148 |  95.7 | 208M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |2960 |-4.500000e+01 |-4.100000e+01 |   9.76%
983.62/983.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
983.62/983.88	c   984s|  5700 |  4081 |564693 |  95.5 | 210M|  59 |  93 | 945 |  58k| 945 |  58k| 348 |   0 |2987 |-4.500000e+01 |-4.100000e+01 |   9.76%
997.12/997.33	c   997s|  5800 |  4141 |573429 |  95.3 | 211M|  59 |  63 | 945 |  58k| 945 |  58k| 348 |   0 |3029 |-4.500000e+01 |-4.100000e+01 |   9.76%
1007.72/1007.98	c  1008s|  5900 |  4201 |580452 |  94.9 | 213M|  59 |  97 | 945 |  58k| 945 |  58k| 348 |   0 |3062 |-4.500000e+01 |-4.100000e+01 |   9.76%
1021.32/1021.54	c  1022s|  6000 |  4265 |588819 |  94.7 | 215M|  59 |  71 | 945 |  58k| 945 |  58k| 348 |   0 |3094 |-4.500000e+01 |-4.100000e+01 |   9.76%
1032.72/1032.90	c  1033s|  6100 |  4321 |595701 |  94.3 | 217M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3135 |-4.500000e+01 |-4.100000e+01 |   9.76%
1044.11/1044.37	c  1044s|  6200 |  4377 |602982 |  94.0 | 219M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3166 |-4.500000e+01 |-4.100000e+01 |   9.76%
1054.91/1055.17	c  1055s|  6300 |  4421 |610289 |  93.6 | 220M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3195 |-4.500000e+01 |-4.100000e+01 |   9.76%
1065.91/1066.15	c  1066s|  6400 |  4487 |617511 |  93.3 | 222M|  59 |  52 | 945 |  58k| 945 |  58k| 348 |   0 |3232 |-4.500000e+01 |-4.100000e+01 |   9.76%
1078.10/1078.36	c  1078s|  6500 |  4551 |625210 |  93.0 | 224M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3271 |-4.500000e+01 |-4.100000e+01 |   9.76%
1085.60/1085.85	c  1086s|  6600 |  4597 |630448 |  92.4 | 225M|  59 |  76 | 945 |  58k| 945 |  58k| 348 |   0 |3295 |-4.500000e+01 |-4.100000e+01 |   9.76%
1097.80/1098.01	c  1098s|  6700 |  4665 |639738 |  92.4 | 227M|  59 |  94 | 945 |  58k| 945 |  58k| 348 |   0 |3310 |-4.500000e+01 |-4.100000e+01 |   9.76%
1109.00/1109.27	c  1109s|  6800 |  4737 |646959 |  92.1 | 229M|  59 |  79 | 945 |  58k| 945 |  58k| 348 |   0 |3323 |-4.500000e+01 |-4.100000e+01 |   9.76%
1119.39/1119.68	c  1120s|  6900 |  4797 |654857 |  91.9 | 231M|  59 |  59 | 945 |  58k| 945 |  58k| 348 |   0 |3335 |-4.500000e+01 |-4.100000e+01 |   9.76%
1127.80/1128.05	c  1128s|  7000 |  4857 |661830 |  91.6 | 233M|  59 |  76 | 945 |  58k| 945 |  58k| 348 |   0 |3337 |-4.500000e+01 |-4.100000e+01 |   9.76%
1140.59/1140.82	c  1141s|  7100 |  4915 |673101 |  91.9 | 234M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3342 |-4.500000e+01 |-4.100000e+01 |   9.76%
1150.69/1150.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1150.69/1150.92	c  1151s|  7200 |  4977 |681212 |  91.8 | 236M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3346 |-4.500000e+01 |-4.100000e+01 |   9.76%
1157.79/1158.06	c  1158s|  7300 |  5033 |687019 |  91.3 | 237M|  59 |  65 | 945 |  58k| 945 |  58k| 348 |   0 |3347 |-4.500000e+01 |-4.100000e+01 |   9.76%
1166.38/1166.61	c  1167s|  7400 |  5093 |693982 |  91.0 | 239M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3351 |-4.500000e+01 |-4.100000e+01 |   9.76%
1174.09/1174.32	c  1174s|  7500 |  5145 |701410 |  90.8 | 241M|  59 |  61 | 945 |  58k| 945 |  58k| 348 |   0 |3354 |-4.500000e+01 |-4.100000e+01 |   9.76%
1180.09/1180.37	c  1180s|  7600 |  5191 |706846 |  90.3 | 242M|  59 |  96 | 945 |  58k| 945 |  58k| 348 |   0 |3356 |-4.500000e+01 |-4.100000e+01 |   9.76%
1187.79/1188.01	c  1188s|  7700 |  5237 |713300 |  90.0 | 243M|  59 |  86 | 945 |  58k| 945 |  58k| 348 |   0 |3358 |-4.500000e+01 |-4.100000e+01 |   9.76%
1195.28/1195.56	c  1196s|  7800 |  5283 |718390 |  89.5 | 245M|  59 |  78 | 945 |  58k| 945 |  58k| 348 |   0 |3360 |-4.500000e+01 |-4.100000e+01 |   9.76%
1201.29/1201.51	c  1202s|  7900 |  5321 |723949 |  89.1 | 246M|  59 |  80 | 945 |  58k| 945 |  58k| 348 |   0 |3360 |-4.500000e+01 |-4.100000e+01 |   9.76%
1211.09/1211.34	c  1211s|  8000 |  5381 |731632 |  88.9 | 248M|  59 | 103 | 945 |  58k| 945 |  58k| 348 |   0 |3361 |-4.500000e+01 |-4.100000e+01 |   9.76%
1222.68/1222.95	c  1223s|  8100 |  5441 |739989 |  88.8 | 250M|  59 |  94 | 945 |  58k| 945 |  58k| 348 |   0 |3379 |-4.500000e+01 |-4.100000e+01 |   9.76%
1235.09/1235.32	c  1235s|  8200 |  5507 |747829 |  88.7 | 252M|  59 | 103 | 945 |  58k| 945 |  58k| 348 |   0 |3407 |-4.500000e+01 |-4.100000e+01 |   9.76%
1244.58/1244.86	c  1245s|  8300 |  5555 |754371 |  88.4 | 253M|  59 |  90 | 945 |  58k| 945 |  58k| 348 |   0 |3443 |-4.500000e+01 |-4.100000e+01 |   9.76%
1258.38/1258.62	c  1259s|  8400 |  5615 |763605 |  88.5 | 255M|  59 | 112 | 945 |  58k| 945 |  58k| 348 |   0 |3464 |-4.500000e+01 |-4.100000e+01 |   9.76%
1269.27/1269.53	c  1270s|  8500 |  5667 |770244 |  88.2 | 256M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3505 |-4.500000e+01 |-4.100000e+01 |   9.76%
1278.97/1279.30	c  1279s|  8600 |  5723 |778140 |  88.1 | 258M|  59 |  62 | 945 |  58k| 945 |  58k| 348 |   0 |3532 |-4.500000e+01 |-4.100000e+01 |   9.76%
1289.77/1290.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1289.77/1290.07	c  1290s|  8700 |  5781 |784804 |  87.9 | 260M|  59 |  92 | 945 |  58k| 945 |  58k| 348 |   0 |3570 |-4.500000e+01 |-4.100000e+01 |   9.76%
1300.77/1301.07	c  1301s|  8800 |  5841 |792534 |  87.7 | 262M|  59 |  89 | 945 |  58k| 945 |  58k| 348 |   0 |3588 |-4.500000e+01 |-4.100000e+01 |   9.76%
1310.06/1310.32	c  1310s|  8900 |  5887 |798871 |  87.5 | 263M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3619 |-4.500000e+01 |-4.100000e+01 |   9.76%
1319.77/1320.06	c  1320s|  9000 |  5939 |804850 |  87.2 | 264M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3657 |-4.500000e+01 |-4.100000e+01 |   9.76%
1329.36/1329.68	c  1330s|  9100 |  5995 |811721 |  87.0 | 266M|  59 |  95 | 945 |  58k| 945 |  58k| 348 |   0 |3692 |-4.500000e+01 |-4.100000e+01 |   9.76%
1339.57/1339.84	c  1340s|  9200 |  6057 |818519 |  86.7 | 267M|  59 |  64 | 945 |  58k| 945 |  58k| 348 |   0 |3728 |-4.500000e+01 |-4.100000e+01 |   9.76%
1347.96/1348.20	c  1348s|  9300 |  6097 |825088 |  86.5 | 269M|  59 |  97 | 945 |  58k| 945 |  58k| 348 |   0 |3750 |-4.500000e+01 |-4.100000e+01 |   9.76%
1358.46/1358.70	c  1359s|  9400 |  6145 |832118 |  86.4 | 270M|  59 |  84 | 945 |  58k| 945 |  58k| 348 |   0 |3787 |-4.500000e+01 |-4.100000e+01 |   9.76%
1368.56/1368.80	c  1369s|  9500 |  6197 |839138 |  86.2 | 272M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3815 |-4.500000e+01 |-4.100000e+01 |   9.76%
1384.35/1384.62	c  1385s|  9600 |  6271 |849793 |  86.4 | 274M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3845 |-4.500000e+01 |-4.100000e+01 |   9.76%
1391.55/1391.89	c  1392s|  9700 |  6305 |855979 |  86.1 | 275M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3857 |-4.500000e+01 |-4.100000e+01 |   9.76%
1399.26/1399.51	c  1400s|  9800 |  6357 |862115 |  85.9 | 277M|  59 |  72 | 945 |  58k| 945 |  58k| 348 |   0 |3865 |-4.500000e+01 |-4.100000e+01 |   9.76%
1406.05/1406.35	c  1406s|  9900 |  6403 |868353 |  85.6 | 278M|  59 |  87 | 945 |  58k| 945 |  58k| 348 |   0 |3873 |-4.500000e+01 |-4.100000e+01 |   9.76%
1414.36/1414.62	c  1415s| 10000 |  6445 |874309 |  85.4 | 279M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3879 |-4.500000e+01 |-4.100000e+01 |   9.76%
1420.95/1421.28	c  1421s| 10100 |  6489 |880153 |  85.1 | 280M|  59 |  71 | 945 |  58k| 945 |  58k| 348 |   0 |3880 |-4.500000e+01 |-4.100000e+01 |   9.76%
1431.44/1431.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1431.44/1431.72	c  1432s| 10200 |  6537 |889997 |  85.3 | 282M|  59 |  92 | 945 |  58k| 945 |  58k| 348 |   0 |3891 |-4.500000e+01 |-4.100000e+01 |   9.76%
1440.45/1440.75	c  1441s| 10300 |  6605 |897635 |  85.2 | 284M|  59 |  77 | 945 |  58k| 945 |  58k| 348 |   0 |3893 |-4.500000e+01 |-4.100000e+01 |   9.76%
1450.25/1450.59	c  1451s| 10400 |  6663 |904682 |  85.0 | 285M|  59 |  81 | 945 |  58k| 945 |  58k| 348 |   0 |3895 |-4.500000e+01 |-4.100000e+01 |   9.76%
1457.85/1458.16	c  1458s| 10500 |  6719 |911441 |  84.9 | 287M|  59 |  60 | 945 |  58k| 945 |  58k| 348 |   0 |3897 |-4.500000e+01 |-4.100000e+01 |   9.76%
1465.44/1465.75	c  1466s| 10600 |  6767 |917841 |  84.7 | 288M|  59 | 119 | 945 |  58k| 945 |  58k| 348 |   0 |3899 |-4.500000e+01 |-4.100000e+01 |   9.76%
1475.34/1475.68	c  1476s| 10700 |  6817 |925889 |  84.6 | 290M|  59 |  65 | 945 |  58k| 945 |  58k| 348 |   0 |3899 |-4.500000e+01 |-4.100000e+01 |   9.76%
1484.75/1485.05	c  1485s| 10800 |  6871 |933869 |  84.6 | 292M|  59 |  83 | 945 |  58k| 945 |  58k| 348 |   0 |3903 |-4.500000e+01 |-4.100000e+01 |   9.76%
1491.94/1492.24	c  1492s| 10900 |  6931 |940432 |  84.4 | 293M|  59 |  77 | 945 |  58k| 945 |  58k| 348 |   0 |3904 |-4.500000e+01 |-4.100000e+01 |   9.76%
1499.33/1499.68	c  1500s| 11000 |  6991 |947052 |  84.2 | 295M|  59 |  50 | 945 |  58k| 945 |  58k| 348 |   0 |3905 |-4.500000e+01 |-4.100000e+01 |   9.76%
1506.94/1507.21	c  1507s| 11100 |  7047 |954549 |  84.2 | 296M|  59 |  80 | 945 |  58k| 945 |  58k| 348 |   0 |3905 |-4.500000e+01 |-4.100000e+01 |   9.76%
1517.23/1517.56	c  1518s| 11200 |  7113 |963066 |  84.2 | 298M|  59 | 110 | 945 |  58k| 945 |  58k| 348 |   0 |3906 |-4.500000e+01 |-4.100000e+01 |   9.76%
1527.33/1527.64	c  1528s| 11300 |  7175 |971734 |  84.2 | 300M|  59 | 123 | 945 |  58k| 945 |  58k| 348 |   0 |3926 |-4.500000e+01 |-4.100000e+01 |   9.76%
1538.33/1538.65	c  1539s| 11400 |  7235 |978888 |  84.1 | 302M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |3958 |-4.500000e+01 |-4.100000e+01 |   9.76%
1545.83/1546.19	c  1546s| 11500 |  7279 |983662 |  83.8 | 303M|  59 |  61 | 945 |  58k| 945 |  58k| 348 |   0 |3987 |-4.500000e+01 |-4.100000e+01 |   9.76%
1556.43/1556.74	c  1557s| 11600 |  7337 |991258 |  83.7 | 305M|  59 |  98 | 945 |  58k| 945 |  58k| 348 |   0 |4011 |-4.500000e+01 |-4.100000e+01 |   9.76%
1567.93/1568.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1567.93/1568.22	c  1568s| 11700 |  7385 |999555 |  83.7 | 306M|  59 |  71 | 945 |  58k| 945 |  58k| 348 |   0 |4053 |-4.500000e+01 |-4.100000e+01 |   9.76%
1576.52/1576.81	c  1577s| 11800 |  7437 |  1006k|  83.6 | 307M|  59 |  71 | 945 |  58k| 945 |  58k| 348 |   0 |4065 |-4.500000e+01 |-4.100000e+01 |   9.76%
1586.82/1587.18	c  1587s| 11900 |  7493 |  1013k|  83.4 | 309M|  59 |  72 | 945 |  58k| 945 |  58k| 348 |   0 |4090 |-4.500000e+01 |-4.100000e+01 |   9.76%
1596.51/1596.84	c  1597s| 12000 |  7541 |  1019k|  83.3 | 310M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |4134 |-4.500000e+01 |-4.100000e+01 |   9.76%
1608.81/1609.20	c  1609s| 12100 |  7603 |  1027k|  83.2 | 312M|  59 |  60 | 945 |  58k| 945 |  58k| 348 |   0 |4164 |-4.500000e+01 |-4.100000e+01 |   9.76%
1621.42/1621.70	c  1622s| 12200 |  7661 |  1036k|  83.3 | 314M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |4181 |-4.500000e+01 |-4.100000e+01 |   9.76%
1636.21/1636.53	c  1637s| 12300 |  7727 |  1046k|  83.5 | 316M|  59 |  89 | 945 |  58k| 945 |  58k| 348 |   0 |4224 |-4.500000e+01 |-4.100000e+01 |   9.76%
1649.51/1649.89	c  1650s| 12400 |  7789 |  1055k|  83.5 | 318M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |4271 |-4.500000e+01 |-4.100000e+01 |   9.76%
1659.41/1659.74	c  1660s| 12500 |  7843 |  1062k|  83.4 | 319M|  59 |  91 | 945 |  58k| 945 |  58k| 348 |   0 |4293 |-4.500000e+01 |-4.100000e+01 |   9.76%
1669.01/1669.30	c  1669s| 12600 |  7899 |  1069k|  83.3 | 321M|  59 |  60 | 945 |  58k| 945 |  58k| 348 |   0 |4322 |-4.500000e+01 |-4.100000e+01 |   9.76%
1680.71/1681.04	c  1681s| 12700 |  7969 |  1077k|  83.2 | 322M|  59 |  83 | 945 |  58k| 945 |  58k| 348 |   0 |4355 |-4.500000e+01 |-4.100000e+01 |   9.76%
1688.90/1689.29	c  1689s| 12800 |  8013 |  1083k|  83.0 | 324M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |4379 |-4.500000e+01 |-4.100000e+01 |   9.76%
1700.21/1700.50	c  1701s| 12900 |  8065 |  1090k|  83.0 | 325M|  59 | 107 | 945 |  58k| 945 |  58k| 348 |   0 |4407 |-4.500000e+01 |-4.100000e+01 |   9.76%
1710.21/1710.59	c  1711s| 13000 |  8127 |  1098k|  83.0 | 327M|  59 |  85 | 945 |  58k| 945 |  58k| 348 |   0 |4435 |-4.500000e+01 |-4.100000e+01 |   9.76%
1720.90/1721.25	c  1721s| 13100 |  8189 |  1106k|  82.9 | 329M|  59 |  90 | 945 |  58k| 945 |  58k| 348 |   0 |4447 |-4.500000e+01 |-4.100000e+01 |   9.76%
1728.20/1728.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1728.20/1728.51	c  1729s| 13200 |  8235 |  1112k|  82.8 | 330M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |4453 |-4.500000e+01 |-4.100000e+01 |   9.76%
1737.39/1737.78	c  1738s| 13300 |  8295 |  1119k|  82.7 | 332M|  59 |  72 | 945 |  58k| 945 |  58k| 348 |   0 |4466 |-4.500000e+01 |-4.100000e+01 |   9.76%
1751.20/1751.54	c  1752s| 13400 |  8355 |  1130k|  82.9 | 333M|  59 |  92 | 945 |  58k| 945 |  58k| 348 |   0 |4472 |-4.500000e+01 |-4.100000e+01 |   9.76%
1757.50/1757.83	c  1758s| 13500 |  8395 |  1136k|  82.7 | 334M|  59 |  79 | 945 |  58k| 945 |  58k| 348 |   0 |4475 |-4.500000e+01 |-4.100000e+01 |   9.76%
1769.39/1769.73	c  1770s| 13600 |  8457 |  1146k|  82.8 | 336M|  59 | 104 | 945 |  58k| 945 |  58k| 348 |   0 |4481 |-4.500000e+01 |-4.100000e+01 |   9.76%
1779.39/1779.71	c  1780s| 13700 |  8521 |  1154k|  82.8 | 338M|  59 |   - | 945 |  58k| 945 |  58k| 348 |   0 |4486 |-4.500000e+01 |-4.100000e+01 |   9.76%
1789.59/1789.95	c  1790s| 13800 |  8581 |  1163k|  82.8 | 339M|  59 |  73 | 945 |  58k| 945 |  58k| 348 |   0 |4489 |-4.500000e+01 |-4.100000e+01 |   9.76%
1796.68/1797.00	c 
1796.68/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.00	c Solving Time (sec) : 1797.00
1796.68/1797.00	c Solving Nodes      : 13884
1796.68/1797.00	c Primal Bound       : -4.10000000000000e+01 (543 solutions)
1796.68/1797.00	c Dual Bound         : -4.50000000000000e+01
1796.68/1797.00	c Gap                : 9.76 %
1796.68/1797.02	s SATISFIABLE
1796.68/1797.02	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 
1796.68/1797.02	v -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 
1796.68/1797.02	v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 
1796.68/1797.02	v -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 
1796.68/1797.02	v -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 
1796.68/1797.02	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 
1796.68/1797.02	v -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 
1796.68/1797.02	v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 
1796.68/1797.02	v -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 
1796.68/1797.02	v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 
1796.68/1797.02	v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 
1796.68/1797.02	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 
1796.68/1797.02	v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 
1796.68/1797.02	v -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 
1796.68/1797.02	v -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 
1796.68/1797.02	v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 
1796.68/1797.02	v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 
1796.68/1797.02	v -x377 x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 
1796.68/1797.02	v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 
1796.68/1797.02	v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 
1796.68/1797.02	v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 
1796.68/1797.02	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 
1796.68/1797.02	v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 
1796.68/1797.02	v -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 
1796.68/1797.02	v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 
1796.68/1797.02	v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 
1796.68/1797.02	v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 
1796.68/1797.02	v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 
1796.68/1797.02	v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 
1796.68/1797.02	v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 
1796.68/1797.02	v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 
1796.68/1797.02	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 
1796.68/1797.02	v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 
1796.68/1797.02	v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 
1796.68/1797.02	v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 
1796.68/1797.02	v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 
1796.68/1797.02	v -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 
1796.68/1797.02	v -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 
1796.68/1797.02	v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 
1796.68/1797.02	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 
1796.68/1797.02	v -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 
1796.68/1797.02	v -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 
1796.68/1797.02	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 
1796.68/1797.02	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 
1796.68/1797.02	v -x943 -x944 -x945 
1796.68/1797.02	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.02	c Total Time         :    1797.00
1796.68/1797.02	c   solving          :    1797.00
1796.68/1797.02	c   presolving       :       0.59 (included in solving)
1796.68/1797.02	c   reading          :       0.13 (included in solving)
1796.68/1797.02	c   copying          :       0.86 (11 #copies) (minimal 0.07, maximal 0.08, average 0.08)
1796.68/1797.02	c Original Problem   :
1796.68/1797.02	c   Problem name     : HOME/instance-3692105-1338032418.opb
1796.68/1797.02	c   Variables        : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02	c   Constraints      : 58624 initial, 58624 maximal
1796.68/1797.02	c   Objective sense  : minimize
1796.68/1797.02	c Presolved Problem  :
1796.68/1797.02	c   Problem name     : t_HOME/instance-3692105-1338032418.opb
1796.68/1797.02	c   Variables        : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02	c   Constraints      : 58624 initial, 58624 maximal
1796.68/1797.02	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.68/1797.02	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   components       :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   pseudoobj        :       0.00       0.02          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   probing          :       0.21       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   setppc           :       0.05       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   linear           :       0.28       0.02          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.68/1797.02	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.02	c   integral         :          0          0          0          0      11764          0        548          0         12        322          0          0      23134
1796.68/1797.02	c   setppc           :      58624      58624         34      53574          0          0        543          0          0     396642          0          0          0
1796.68/1797.02	c   countsols        :          0          0          0          0          0          0        546          0          0          0          0          0          0
1796.68/1797.02	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.68/1797.02	c   integral         :     327.94       0.00       0.00       0.00     327.93       0.00       0.01       0.00
1796.68/1797.02	c   setppc           :      16.17       0.00       0.12      15.02       0.00       0.00       1.03       0.00
1796.68/1797.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.68/1797.02	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.68/1797.02	c   rootredcost      :         11          0          0          0
1796.68/1797.02	c   pseudoobj        :      65290          0          0          0
1796.68/1797.02	c   vbounds          :          0          0          0          0
1796.68/1797.02	c   redcost          :      11833          0          0         42
1796.68/1797.02	c   probing          :          0          0          0          0
1796.68/1797.02	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.68/1797.02	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00
1796.68/1797.02	c   pseudoobj        :       5.15       0.02       0.00       5.13       0.00
1796.68/1797.02	c   vbounds          :       0.03       0.00       0.00       0.03       0.00
1796.68/1797.02	c   redcost          :       0.22       0.00       0.00       0.22       0.00
1796.68/1797.02	c   probing          :       0.21       0.00       0.21       0.00       0.00
1796.68/1797.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.68/1797.02	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1796.68/1797.02	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.68/1797.02	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.68/1797.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.68/1797.02	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.68/1797.02	c   cut pool         :       0.00                    33          -          -         57          -    (maximal pool size: 680)
1796.68/1797.02	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.68/1797.02	c   impliedbounds    :       0.02       0.00         34          0          0          0          0
1796.68/1797.02	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.68/1797.02	c   gomory           :       0.20       0.00         10          0          0        500          0
1796.68/1797.02	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.68/1797.02	c   strongcg         :       3.73       0.00         20          0          0      10000          0
1796.68/1797.02	c   cmir             :       6.52       0.00         10          0          0          0          0
1796.68/1797.02	c   flowcover        :       7.21       0.00         10          0          0          0          0
1796.68/1797.02	c   clique           :       0.95       0.00         34          0          0        292          0
1796.68/1797.02	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.68/1797.02	c   mcf              :       0.26       0.00          1          0          0          0          0
1796.68/1797.02	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.68/1797.02	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.68/1797.02	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.68/1797.02	c   problem variables:       0.00          -          0          0
1796.68/1797.02	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.02	c   relpscost        :     327.91       0.00      11764         12        322          0          0      23134
1796.68/1797.02	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.02	c   inference        :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.02	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.02	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.02	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.02	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.02	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.02	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.68/1797.02	c   LP solutions     :       0.00          -          -          0
1796.68/1797.02	c   pseudo solutions :       0.00          -          -          0
1796.68/1797.02	c   oneopt           :       0.09       0.00         11          1
1796.68/1797.02	c   crossover        :       2.89       0.00         10          1
1796.68/1797.02	c   pscostdiving     :      47.84       0.00        170         36
1796.68/1797.02	c   veclendiving     :     168.55       0.00        171          9
1796.68/1797.02	c   linesearchdiving :      51.52       0.00        171         21
1796.68/1797.02	c   objpscostdiving  :      75.69       0.00         86        146
1796.68/1797.02	c   rootsoldiving    :      35.31       0.00         86         91
1796.68/1797.02	c   smallcard        :       0.00       0.00          0          0
1796.68/1797.02	c   trivial          :       0.01       0.00          2          1
1796.68/1797.02	c   shiftandpropagate:       0.00       0.00          0          0
1796.68/1797.02	c   simplerounding   :       0.25       0.00      11798         51
1796.68/1797.02	c   zirounding       :      29.99       0.00       6101        122
1796.68/1797.02	c   rounding         :      18.53       0.00       4773          1
1796.68/1797.02	c   shifting         :       4.65       0.00       1130          1
1796.68/1797.02	c   intshifting      :       0.00       0.00          0          0
1796.68/1797.02	c   twoopt           :       0.00       0.00          0          0
1796.68/1797.02	c   indoneopt        :       0.01       0.00          0          0
1796.68/1797.02	c   indtwoopt        :       0.00       0.00          0          0
1796.68/1797.02	c   fixandinfer      :       0.00       0.00          0          0
1796.68/1797.02	c   feaspump         :       0.00       0.00          0          0
1796.68/1797.02	c   clique           :       0.00       0.00          0          0
1796.68/1797.02	c   coefdiving       :      96.85       0.00        171         33
1796.68/1797.02	c   indcoefdiving    :       0.00       0.00          0          0
1796.68/1797.02	c   indrounding      :       0.00       0.00          0          0
1796.68/1797.02	c   fracdiving       :     101.07       0.00        125         20
1796.68/1797.02	c   nlpdiving        :       0.00       0.00          0          0
1796.68/1797.02	c   intdiving        :       0.00       0.00          0          0
1796.68/1797.02	c   actconsdiving    :       0.00       0.00          0          0
1796.68/1797.02	c   guideddiving     :      63.81       0.00         81          8
1796.68/1797.02	c   octane           :       0.00       0.00          0          0
1796.68/1797.02	c   rens             :       1.71       0.00          1          1
1796.68/1797.02	c   rins             :       0.00       0.00          0          0
1796.68/1797.02	c   localbranching   :       0.00       0.00          0          0
1796.68/1797.02	c   mutation         :       0.00       0.00          0          0
1796.68/1797.02	c   dins             :       0.00       0.00          0          0
1796.68/1797.02	c   vbounds          :       0.00       0.00          0          0
1796.68/1797.02	c   undercover       :       0.00       0.00          0          0
1796.68/1797.02	c   subnlp           :       0.01       0.00          0          0
1796.68/1797.02	c   trysol           :       0.01       0.00          0          0
1796.68/1797.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.68/1797.02	c   primal LP        :       0.06          5          0       0.00       0.00       0.06          5
1796.68/1797.02	c   dual LP          :     620.34      14310     768611      54.50    1239.02       2.53        207
1796.68/1797.02	c   lex dual LP      :       0.00          0          0       0.00          -
1796.68/1797.02	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.68/1797.02	c   diving/probing LP:     511.35      23575     399924      16.96     782.10
1796.68/1797.02	c   strong branching :     325.57       4489     297516      66.28     913.84
1796.68/1797.02	c     (at root node) :          -         21       2179     103.76          -
1796.68/1797.02	c   conflict analysis:       0.00          0          0       0.00          -
1796.68/1797.02	c B&B Tree           :
1796.68/1797.02	c   number of runs   :          1
1796.68/1797.02	c   nodes            :      13884
1796.68/1797.02	c   nodes (total)    :      13884
1796.68/1797.02	c   nodes left       :       8621
1796.68/1797.02	c   max depth        :         59
1796.68/1797.02	c   max depth (total):         59
1796.68/1797.02	c   backtracks       :       2004 (14.4%)
1796.68/1797.02	c   delayed cutoffs  :          0
1796.68/1797.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.68/1797.02	c   avg switch length:       6.01
1796.68/1797.02	c   switching time   :      27.83
1796.68/1797.02	c Solution           :
1796.68/1797.02	c   Solutions found  :        543 (14 improvements)
1796.68/1797.02	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.19 seconds, depth 0, found by <trivial>)
1796.68/1797.02	c   Primal Bound     : -4.10000000000000e+01   (in run 1, after 4839 nodes, 873.49 seconds, depth 29, found by <pscostdiving>)
1796.68/1797.02	c   Dual Bound       : -4.50000000000000e+01
1796.68/1797.02	c   Gap              :       9.76 %
1796.68/1797.02	c   Root Dual Bound  : -4.53333333333333e+01
1796.68/1797.02	c   Root Iterations  :      20510
1796.88/1797.30	c Time complete: 1796.99.

Verifier Data

OK	-41

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2689
/proc/meminfo: memFree=28487016/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=13584 CPUtime=0 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 2163 0 0 0 0 0 0 0 20 0 1 0 269367832 13910016 2117 33554432000 4194304 10219143 140734649692368 140734618520040 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 3396 2117 421 1471 0 1916 0

[startup+0.035644 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2689
/proc/meminfo: memFree=28487016/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=20376 CPUtime=0.03 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 3853 0 0 0 3 0 0 0 20 0 1 0 269367832 20865024 3807 33554432000 4194304 10219143 140734649692368 140734649557032 5345762 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 5094 3807 421 1471 0 3614 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20376

[startup+0.100271 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2689
/proc/meminfo: memFree=28487016/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=33108 CPUtime=0.09 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 7041 0 0 0 8 1 0 0 20 0 1 0 269367832 33902592 6995 33554432000 4194304 10219143 140734649692368 140734649557032 9029200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 8277 6995 421 1471 0 6797 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33108

[startup+0.300239 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2689
/proc/meminfo: memFree=28487016/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=83504 CPUtime=0.28 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 19287 0 0 0 25 3 0 0 20 0 1 0 269367832 85508096 19241 33554432000 4194304 10219143 140734649692368 140734649557032 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 20876 19241 550 1471 0 19396 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 83504

[startup+0.70019 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2689
/proc/meminfo: memFree=28487016/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=99168 CPUtime=0.69 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 27738 0 0 0 61 8 0 0 20 0 1 0 269367832 101548032 23151 33554432000 4194304 10219143 140734649692368 140734649689144 4819174 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 24792 23151 584 1471 0 23312 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99168

[startup+1.50018 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 2690
/proc/meminfo: memFree=28202880/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=190164 CPUtime=1.49 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 48795 0 0 0 138 11 0 0 20 0 1 0 269367832 194727936 44624 33554432000 4194304 10219143 140734649692368 140734649685128 5812738 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 47541 44624 741 1471 0 46061 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 190164

[startup+3.10015 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 2690
/proc/meminfo: memFree=28178208/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=190164 CPUtime=3.09 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 49627 0 0 0 296 13 0 0 20 0 1 0 269367832 194727936 45300 33554432000 4194304 10219143 140734649692368 140734649688728 7256996 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 47541 45300 775 1471 0 46061 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 190164

[startup+6.3001 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 2690
/proc/meminfo: memFree=28168352/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=190164 CPUtime=6.29 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 49877 0 0 0 616 13 0 0 20 0 1 0 269367832 194727936 45550 33554432000 4194304 10219143 140734649692368 140734649686008 7256983 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 47541 45550 777 1471 0 46061 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 190164

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 2690
/proc/meminfo: memFree=28160680/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=190164 CPUtime=12.69 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 49965 0 0 0 1255 14 0 0 20 0 1 0 269367832 194727936 45638 33554432000 4194304 10219143 140734649692368 140734649685624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 47541 45638 779 1471 0 46061 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 190164

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2690
/proc/meminfo: memFree=28155072/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=193428 CPUtime=25.48 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 50655 0 0 0 2533 15 0 0 20 0 1 0 269367832 198070272 46328 33554432000 4194304 10219143 140734649692368 140734649685624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 48357 46328 779 1471 0 46877 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 193428

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2690
/proc/meminfo: memFree=28134584/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=186892 CPUtime=51.08 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 63226 0 0 0 5082 26 0 0 20 0 1 0 269367832 191377408 45514 33554432000 4194304 10219143 140734649692368 140734649685496 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 46723 45514 821 1471 0 45243 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 186892

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2691
/proc/meminfo: memFree=28133892/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=186892 CPUtime=102.28 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 63227 0 0 0 10195 33 0 0 20 0 1 0 269367832 191377408 45515 33554432000 4194304 10219143 140734649692368 140734649685816 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 46723 45515 821 1471 0 45243 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 186892

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2691
/proc/meminfo: memFree=28132876/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=190560 CPUtime=162.26 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 63265 0 0 0 16183 43 0 0 20 0 1 0 269367832 195133440 45628 33554432000 4194304 10219143 140734649692368 140734649685816 7932672 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 47640 45628 821 1471 0 46160 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 190560

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2691
/proc/meminfo: memFree=28124764/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=199748 CPUtime=222.24 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 65066 0 0 0 22170 54 0 0 20 0 1 0 269367832 204541952 47944 33554432000 4194304 10219143 140734649692368 140734649685640 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 49937 47944 821 1471 0 48457 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 199748

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2691
/proc/meminfo: memFree=28105568/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=214280 CPUtime=282.24 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 103852 0 0 0 28149 75 0 0 20 0 1 0 269367832 219422720 51512 33554432000 4194304 10219143 140734649692368 140734649685352 7940541 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 53570 51512 821 1471 0 52090 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 214280

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2691
/proc/meminfo: memFree=28081636/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=225984 CPUtime=342.22 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 107028 0 0 0 34138 84 0 0 20 0 1 0 269367832 231407616 54678 33554432000 4194304 10219143 140734649692368 140734649687336 8091161 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 56496 54678 821 1471 0 55016 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 225984

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2692
/proc/meminfo: memFree=28060920/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=234584 CPUtime=402.21 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 124613 0 0 0 40122 99 0 0 20 0 1 0 269367832 240214016 57128 33554432000 4194304 10219143 140734649692368 140734649684968 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 58646 57128 826 1471 0 57166 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 234584

[startup+462.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 2693
/proc/meminfo: memFree=28046488/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=243292 CPUtime=462.2 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 126071 0 0 0 46111 109 0 0 20 0 1 0 269367832 249131008 59065 33554432000 4194304 10219143 140734649692368 140734649685688 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 60823 59065 826 1471 0 59343 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 243292

[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 2693
/proc/meminfo: memFree=28022660/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=259944 CPUtime=522.19 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 129684 0 0 0 52098 121 0 0 20 0 1 0 269367832 266182656 62644 33554432000 4194304 10219143 140734649692368 140734649687400 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 64986 62644 826 1471 0 63506 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 259944

[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 2693
/proc/meminfo: memFree=28007208/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=264356 CPUtime=582.18 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 131312 0 0 0 58088 130 0 0 20 0 1 0 269367832 270700544 64271 33554432000 4194304 10219143 140734649692368 140734649687736 7729032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 66089 64271 826 1471 0 64609 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 264356

[startup+642.3 s]

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

[pid=2689] ppid=2687 vsize=380976 CPUtime=1362.06 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 260902 0 0 0 135907 299 0 0 20 0 1 0 269367832 390119424 93011 33554432000 4194304 10219143 140734649692368 140734649685672 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 95244 93011 826 1471 0 93764 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 380976

[startup+1422.31 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 2725
/proc/meminfo: memFree=27742344/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=390788 CPUtime=1422.05 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 263570 0 0 0 141897 308 0 0 20 0 1 0 269367832 400166912 95675 33554432000 4194304 10219143 140734649692368 140734649687736 8090823 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 97697 95675 826 1471 0 96217 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 390788

[startup+1482.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 2725
/proc/meminfo: memFree=27721388/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=400408 CPUtime=1482.04 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 265822 0 0 0 147886 318 0 0 20 0 1 0 269367832 410017792 97919 33554432000 4194304 10219143 140734649692368 140734649686040 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 100102 97919 826 1471 0 98622 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 400408

[startup+1542.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 2725
/proc/meminfo: memFree=27694236/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=412780 CPUtime=1542.03 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 285828 0 0 0 153869 334 0 0 20 0 1 0 269367832 422686720 101215 33554432000 4194304 10219143 140734649692368 140734649685544 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 103195 101215 826 1471 0 101715 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 412780

[startup+1602.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 2725
/proc/meminfo: memFree=27675116/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=418784 CPUtime=1602.01 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 287112 0 0 0 159857 344 0 0 20 0 1 0 269367832 428834816 103019 33554432000 4194304 10219143 140734649692368 140734649685816 5184927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 104696 103019 826 1471 0 103216 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 418784

[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 2726
/proc/meminfo: memFree=27659260/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=427676 CPUtime=1662.01 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 289139 0 0 0 165847 354 0 0 20 0 1 0 269367832 437940224 105046 33554432000 4194304 10219143 140734649692368 140734649685624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 106919 105046 826 1471 0 105439 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 427676

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 2726
/proc/meminfo: memFree=27637188/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=438896 CPUtime=1721.99 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 291897 0 0 0 171831 368 0 0 20 0 1 0 269367832 449429504 107802 33554432000 4194304 10219143 140734649692368 140734649686008 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 109724 107802 826 1471 0 108244 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 438896

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 2726
/proc/meminfo: memFree=27614252/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=448272 CPUtime=1781.99 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294313 0 0 0 177821 378 0 0 20 0 1 0 269367832 459030528 110209 33554432000 4194304 10219143 140734649692368 140734649687192 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112068 110209 826 1471 0 110588 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 448272

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1796.88 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1796.88 s) to the 'lost time'.

[startup+1797.2 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 2729
/proc/meminfo: memFree=27610712/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=450868 CPUtime=1796.88 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294937 0 0 0 179308 380 0 0 20 0 1 0 269367832 461688832 110833 33554432000 4194304 10219143 140734649692368 140734649687736 7594210 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112717 110833 828 1471 0 111237 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 450868

[startup+1797.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/175 2736
/proc/meminfo: memFree=28114540/32873648 swapFree=6852/6852
[pid=2689] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/2689/stat : -- couldn't open stat file --/proc/2689/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 2729
/proc/meminfo: memFree=27612492/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=450440 CPUtime=1785.19 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294471 0 0 0 178141 378 0 0 20 0 1 0 269367832 461250560 110367 33554432000 4194304 10219143 140734649692368 140734649685624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112610 110367 826 1471 0 111130 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 450440

[startup+1791.91 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 2729
/proc/meminfo: memFree=27611012/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=450868 CPUtime=1791.6 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294791 0 0 0 178781 379 0 0 20 0 1 0 269367832 461688832 110687 33554432000 4194304 10219143 140734649692368 140734649687400 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112717 110687 826 1471 0 111237 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 450868

[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 2729
/proc/meminfo: memFree=27610992/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=450868 CPUtime=1794.79 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294908 0 0 0 179099 380 0 0 20 0 1 0 269367832 461688832 110804 33554432000 4194304 10219143 140734649692368 140734649686008 7956094 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112717 110804 826 1471 0 111237 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 450868

[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 2729
/proc/meminfo: memFree=27610712/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=450868 CPUtime=1796.38 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294934 0 0 0 179258 380 0 0 20 0 1 0 269367832 461688832 110830 33554432000 4194304 10219143 140734649692368 140734649687736 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112717 110830 826 1471 0 111237 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 450868

[startup+1797.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 2729
/proc/meminfo: memFree=27610712/32873648 swapFree=6852/6852
[pid=2689] ppid=2687 vsize=450868 CPUtime=1796.78 cores=0,2,4,6
/proc/2689/stat : 2689 (scip-2.1.1.4exp) R 2687 2689 1296 0 -1 4202496 294937 0 0 0 179298 380 0 0 20 0 1 0 269367832 461688832 110833 33554432000 4194304 10219143 140734649692368 140734649687736 4990656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2689/statm: 112717 110833 828 1471 0 111237 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 450868

[startup+1797.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/175 2736
/proc/meminfo: memFree=28114540/32873648 swapFree=6852/6852
[pid=2689] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/2689/stat : -- couldn't open stat file --/proc/2689/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2689 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=183394
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=819419
# CPU time returned by wait4() is 1797
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1796.88
#  lost CPU user time (s): 1793.08
#  lost CPU system time (s): 3.8

Real time (s): 1797.31
CPU time (s): 1796.88
CPU user time (s): 1793.08
CPU system time (s): 3.8
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 461328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.18
system time used= 3.81942
maximum resident set size= 457132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294939
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= 43
involuntary context switches= 1879

runsolver used 3.19851 second user time and 8.5247 second system time

The end

Launcher Data

Begin job on node116 at 2012-05-26 13:40:18
IDJOB=3692105
IDBENCH=2251
IDSOLVER=2271
FILE ID=node116/3692105-1338032418
RUNJOBID= node116-1338028819-2418
PBS_JOBID= 14624355
Free space on /tmp= 71576 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692105-1338032418/watcher-3692105-1338032418 -o /tmp/evaluation-result-3692105-1338032418/solver-3692105-1338032418 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692105-1338032418.opb -t 1800 -m 15500

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

MD5SUM BENCH= aabc023158e10c9511062af8ac97c515
RANDOM SEED=996153127

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28490520 kB
Buffers:          244980 kB
Cached:          3331796 kB
SwapCached:            0 kB
Active:           724424 kB
Inactive:        2890292 kB
Active(anon):      40316 kB
Inactive(anon):        0 kB
Active(file):     684108 kB
Inactive(file):  2890292 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             29584 kB
Writeback:             0 kB
AnonPages:        256800 kB
Mapped:            15228 kB
Shmem:               200 kB
Slab:             630964 kB
SReclaimable:      75680 kB
SUnreclaim:       555284 kB
KernelStack:        1480 kB
PageTables:         4300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     151636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71560 MiB
End job on node116 at 2012-05-26 14:10:15