Trace number 1869525

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? (TO) 1802.16 1802.87

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_4.opb
MD5SUMdc0116cc9dd2d87e5a6934d46be3ef43
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1531
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4594
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.01	c SCIP version 1.1.0.7
0.00/0.01	c LP-Solver Clp 1.8.2
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c read problem <HOME/instance-1869525-1245176506.opb>
0.00/0.01	c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 constraints
0.00/0.01	c start presolving problem
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01	c (round 2) 1 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c presolving (3 rounds):
0.00/0.02	c  1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02	c  0 implications, 0 cliques
0.00/0.02	c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.02	c       7 constraints of type <linear>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c OPT-LIN
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = c 1620
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = c 1791
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = c 10000
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving problem
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     0 |    38 | 299k|   0 |   7 |  60 |   7 |   7 |  60 |   7 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.02/0.04	c   0.0s|     1 |     0 |   127 | 345k|   0 |  12 |  60 |   7 |   7 |  60 |  15 |   8 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.02/0.05	c   0.0s|     1 |     0 |   137 | 386k|   0 |  13 |  60 |   7 |   7 |  60 |  19 |  12 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.02/0.06	c   0.1s|     1 |     0 |   145 | 418k|   0 |  15 |  60 |   7 |   7 |  60 |  22 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.02/0.08	c   0.1s|     1 |     0 |   157 | 451k|   0 |  16 |  60 |   7 |   7 |  60 |  26 |  19 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.08/0.10	c   0.1s|     1 |     0 |   162 | 475k|   0 |  16 |  60 |   7 |   7 |  60 |  28 |  21 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.08/0.12	c   0.1s|     1 |     0 |   177 | 489k|   0 |  19 |  60 |   7 |   7 |  60 |  31 |  24 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.21	c   0.2s|     1 |     2 |   177 | 489k|   0 |  19 |  60 |   7 |   7 |  60 |  31 |  24 |   0 |  19 | 0.000000e+00 |      --      |    Inf 
5.69/5.76	c   5.6s| 10000 |  3022 | 31025 |1915k|  50 |   7 |  60 |  68 |  16 |  60 |  19 |  24 | 162 | 656 | 0.000000e+00 |      --      |    Inf 
11.09/11.11	c  10.8s| 20000 |  5713 | 61973 |3211k|  51 |   - |  60 | 114 |  16 |   0 |   0 |  24 | 303 | 889 | 0.000000e+00 |      --      |    Inf 
16.28/16.31	c  15.8s| 30000 |  8527 | 92606 |4502k|  51 |   7 |  60 | 137 |  19 |  60 |  19 |  24 | 408 |1113 | 0.000000e+00 |      --      |    Inf 
21.38/21.48	c  20.8s| 40000 | 11128 |122651 |5720k|  52 |   7 |  60 | 141 |  40 |  60 |  19 |  24 | 546 |1234 | 0.000000e+00 |      --      |    Inf 
26.68/26.70	c  25.8s| 50000 | 13771 |153473 |6953k|  53 |   - |  60 | 147 |  21 |  60 |  19 |  24 | 656 |1331 | 0.000000e+00 |      --      |    Inf 
31.78/31.85	c  30.8s| 60000 | 16465 |183860 |8195k|  54 |   7 |  60 | 147 |  26 |  60 |  19 |  24 | 788 |1428 | 0.000000e+00 |      --      |    Inf 
36.98/37.02	c  35.8s| 70000 | 18669 |214486 |9277k|  54 |   7 |  60 | 126 |  10 |  60 |  19 |  24 | 877 |1511 | 0.000000e+00 |      --      |    Inf 
42.17/42.24	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
42.17/42.24	c  40.8s| 80000 | 21123 |245478 |  10M|  54 |   7 |  60 | 130 |  10 |  60 |  19 |  24 | 987 |1592 | 0.000000e+00 |      --      |    Inf 
47.27/47.37	c  45.8s| 90000 | 23618 |274858 |  11M|  54 |   7 |  60 | 123 |   7 |  60 |  19 |  24 |1094 |1668 | 0.000000e+00 |      --      |    Inf 
52.47/52.56	c  50.8s|100000 | 25716 |304642 |  12M|  54 |   7 |  60 | 107 |   9 |  60 |  19 |  24 |1216 |1746 | 0.000000e+00 |      --      |    Inf 
57.66/57.72	c  55.8s|110000 | 28196 |335678 |  13M|  54 |   7 |  60 | 126 |  21 |  60 |  19 |  24 |1335 |1819 | 0.000000e+00 |      --      |    Inf 
62.77/62.86	c  60.7s|120000 | 31054 |366055 |  15M|  54 |   7 |  60 | 134 |  10 |  60 |  19 |  24 |1409 |1895 | 0.000000e+00 |      --      |    Inf 
67.97/68.05	c  65.7s|130000 | 33278 |396234 |  16M|  54 |   7 |  60 | 118 |  10 |  60 |  19 |  24 |1495 |1962 | 0.000000e+00 |      --      |    Inf 
73.06/73.17	c  70.7s|140000 | 35578 |426573 |  17M|  54 |   7 |  60 | 109 |   7 |  60 |  19 |  24 |1633 |2018 | 0.000000e+00 |      --      |    Inf 
78.16/78.27	c  75.6s|150000 | 37860 |456188 |  18M|  54 |   7 |  60 |  97 |  18 |  60 |  19 |  24 |1726 |2083 | 0.000000e+00 |      --      |    Inf 
83.36/83.49	c  80.6s|160000 | 39694 |486710 |  19M|  54 |   - |  60 | 101 |  10 |  60 |  19 |  24 |1859 |2144 | 0.000000e+00 |      --      |    Inf 
88.66/88.71	c  85.7s|170000 | 41702 |516944 |  20M|  54 |   - |  60 |  90 |   7 |  60 |  19 |  24 |1973 |2205 | 0.000000e+00 |      --      |    Inf 
93.76/93.87	c  90.6s|180000 | 44012 |548028 |  21M|  54 |   - |  60 |  93 |   8 |  60 |  19 |  24 |2078 |2256 | 0.000000e+00 |      --      |    Inf 
98.86/98.97	c  95.6s|190000 | 45893 |578063 |  22M|  54 |   7 |  60 |  68 |   7 |  60 |  19 |  24 |2190 |2301 | 0.000000e+00 |      --      |    Inf 
103.96/104.09	c   101s|200000 | 48185 |608232 |  23M|  54 |   - |  60 |  94 |   7 |  60 |  19 |  24 |2289 |2352 | 0.000000e+00 |      --      |    Inf 
109.15/109.28	c   106s|210000 | 50315 |638893 |  24M|  54 |   - |  60 |  87 |  12 |  60 |  19 |  24 |2378 |2396 | 0.000000e+00 |      --      |    Inf 
114.26/114.35	c   110s|220000 | 52903 |668767 |  25M|  54 |   - |  60 |  88 |   7 |  60 |  19 |  24 |2466 |2452 | 0.000000e+00 |      --      |    Inf 
119.25/119.39	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
119.25/119.39	c   115s|230000 | 54784 |697120 |  26M|  54 |   - |  60 |  65 |   7 |  60 |  19 |  24 |2558 |2487 | 0.000000e+00 |      --      |    Inf 
124.44/124.50	c   120s|240000 | 56999 |726430 |  27M|  54 |   7 |  60 |  63 |   7 |  60 |  19 |  24 |2649 |2532 | 0.000000e+00 |      --      |    Inf 
129.55/129.63	c   125s|250000 | 59137 |755984 |  29M|  54 |   - |  60 |  55 |  12 |  60 |  19 |  24 |2707 |2577 | 0.000000e+00 |      --      |    Inf 
134.64/134.70	c   130s|260000 | 61093 |785039 |  30M|  54 |   7 |  60 |  46 |   8 |  60 |  19 |  24 |2827 |2615 | 0.000000e+00 |      --      |    Inf 
139.74/139.81	c   135s|270000 | 63195 |814887 |  31M|  54 |   7 |  60 |  56 |   7 |  60 |  19 |  24 |2908 |2651 | 0.000000e+00 |      --      |    Inf 
144.84/144.91	c   140s|280000 | 65782 |844523 |  32M|  54 |   - |  60 | 103 |   7 |  60 |  19 |  24 |3041 |2700 | 0.000000e+00 |      --      |    Inf 
149.94/150.00	c   145s|290000 | 68516 |873832 |  33M|  54 |   - |  60 | 126 |  15 |   0 |   0 |  24 |3112 |2744 | 0.000000e+00 |      --      |    Inf 
155.03/155.15	c   150s|300000 | 70734 |903998 |  34M|  54 |   7 |  60 |  98 |  10 |  60 |  19 |  24 |3237 |2784 | 0.000000e+00 |      --      |    Inf 
160.13/160.29	c   155s|310000 | 72700 |933635 |  35M|  54 |   - |  60 |  73 |   7 |  60 |  19 |  24 |3332 |2828 | 0.000000e+00 |      --      |    Inf 
165.23/165.35	c   160s|320000 | 74958 |961843 |  36M|  54 |   7 |  60 |  71 |  12 |  60 |  19 |  24 |3500 |2878 | 0.000000e+00 |      --      |    Inf 
170.33/170.48	c   165s|330000 | 76919 |990786 |  37M|  54 |   7 |  60 |  72 |   8 |  60 |  19 |  24 |3601 |2913 | 0.000000e+00 |      --      |    Inf 
175.53/175.60	c   170s|340000 | 79017 |  1021k|  38M|  54 |   7 |  60 |  68 |   7 |  60 |  19 |  24 |3678 |2956 | 0.000000e+00 |      --      |    Inf 
180.62/180.71	c   174s|350000 | 80882 |  1050k|  39M|  54 |   7 |  60 |  51 |   7 |  60 |  19 |  24 |3819 |2999 | 0.000000e+00 |      --      |    Inf 
185.72/185.82	c   179s|360000 | 83250 |  1080k|  40M|  54 |   7 |  60 |  60 |   8 |  60 |  19 |  24 |3918 |3022 | 0.000000e+00 |      --      |    Inf 
190.81/190.92	c   184s|370000 | 85460 |  1109k|  42M|  54 |   7 |  60 |  67 |   7 |  60 |  19 |  24 |3991 |3056 | 0.000000e+00 |      --      |    Inf 
195.91/196.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
195.91/196.01	c   189s|380000 | 87550 |  1138k|  43M|  54 |   7 |  60 |  54 |   9 |  60 |  19 |  24 |4086 |3093 | 0.000000e+00 |      --      |    Inf 
201.01/201.15	c   194s|390000 | 89640 |  1169k|  44M|  54 |   7 |  60 |  55 |  10 |  60 |  19 |  24 |4170 |3125 | 0.000000e+00 |      --      |    Inf 
206.12/206.29	c   199s|400000 | 91960 |  1200k|  45M|  54 |   7 |  60 |  57 |   7 |  60 |  19 |  24 |4251 |3158 | 0.000000e+00 |      --      |    Inf 
211.31/211.42	c   204s|410000 | 93931 |  1229k|  46M|  54 |   7 |  60 |  42 |   8 |  60 |  19 |  24 |4323 |3189 | 0.000000e+00 |      --      |    Inf 
216.51/216.64	c   209s|420000 | 96573 |  1261k|  47M|  54 |   7 |  60 |  51 |   8 |  60 |  19 |  24 |4408 |3375 | 0.000000e+00 |      --      |    Inf 
221.71/221.80	c   214s|430000 | 99147 |  1294k|  48M|  54 |   7 |  60 |  56 |  17 |  60 |  19 |  24 |4468 |3399 | 0.000000e+00 |      --      |    Inf 
226.90/227.04	c   219s|440000 |101261 |  1326k|  49M|  54 |   - |  60 |  59 |   7 |   0 |   0 |  24 |4556 |3399 | 0.000000e+00 |      --      |    Inf 
232.00/232.19	c   224s|450000 |103055 |  1357k|  50M|  54 |   - |  60 |  51 |  10 |  60 |  19 |  24 |4657 |3416 | 0.000000e+00 |      --      |    Inf 
237.20/237.30	c   229s|460000 |105057 |  1386k|  51M|  54 |   - |  60 |  39 |   7 |  60 |  19 |  24 |4793 |3441 | 0.000000e+00 |      --      |    Inf 
242.30/242.44	c   234s|470000 |107174 |  1416k|  52M|  54 |   7 |  60 |  30 |   7 |  60 |  19 |  24 |4880 |3468 | 0.000000e+00 |      --      |    Inf 
247.50/247.65	c   239s|480000 |109118 |  1447k|  53M|  54 |   - |  60 |  34 |   7 |  60 |  19 |  24 |4989 |3491 | 0.000000e+00 |      --      |    Inf 
252.69/252.80	c   244s|490000 |111096 |  1477k|  54M|  54 |   - |  60 |  36 |  10 |  60 |  19 |  24 |5069 |3517 | 0.000000e+00 |      --      |    Inf 
257.70/257.84	c   249s|500000 |113164 |  1506k|  55M|  54 |   7 |  60 |  45 |   7 |  60 |  19 |  24 |5153 |3546 | 0.000000e+00 |      --      |    Inf 
262.89/263.05	c   254s|510000 |115178 |  1538k|  56M|  54 |   7 |  60 |  44 |  15 |  60 |  19 |  24 |5221 |3575 | 0.000000e+00 |      --      |    Inf 
267.99/268.16	c   259s|520000 |116938 |  1567k|  57M|  54 |   - |  60 |  29 |   7 |  60 |  19 |  24 |5332 |3600 | 0.000000e+00 |      --      |    Inf 
273.09/273.25	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
273.09/273.25	c   264s|530000 |119358 |  1598k|  58M|  54 |   - |  60 |  38 |   7 |   0 |   0 |  24 |5419 |3626 | 0.000000e+00 |      --      |    Inf 
278.19/278.38	c   269s|540000 |121338 |  1629k|  59M|  54 |   - |  60 |  36 |   8 |  60 |  19 |  24 |5524 |3664 | 0.000000e+00 |      --      |    Inf 
283.39/283.53	c   274s|550000 |123308 |  1659k|  60M|  54 |   7 |  60 |  29 |   7 |  60 |  19 |  24 |5628 |3688 | 0.000000e+00 |      --      |    Inf 
288.48/288.63	c   279s|560000 |125644 |  1689k|  62M|  54 |   7 |  60 |  28 |   7 |  60 |  19 |  24 |5696 |3726 | 0.000000e+00 |      --      |    Inf 
293.59/293.75	c   284s|570000 |127646 |  1719k|  63M|  54 |   7 |  60 |  32 |   8 |  60 |  19 |  24 |5780 |3755 | 0.000000e+00 |      --      |    Inf 
298.68/298.89	c   288s|580000 |129632 |  1749k|  64M|  54 |   7 |  60 |  34 |   7 |  60 |  19 |  24 |5905 |3782 | 0.000000e+00 |      --      |    Inf 
303.87/304.00	c   293s|590000 |131863 |  1779k|  65M|  54 |   7 |  60 |  33 |   7 |  60 |  19 |  24 |5971 |3807 | 0.000000e+00 |      --      |    Inf 
308.98/309.18	c   298s|600000 |133801 |  1810k|  66M|  54 |   7 |  60 |  23 |   7 |  60 |  19 |  24 |6091 |3827 | 0.000000e+00 |      --      |    Inf 
314.17/314.31	c   303s|610000 |135958 |  1841k|  67M|  54 |   - |  60 |  34 |   8 |  60 |  19 |  24 |6168 |3848 | 0.000000e+00 |      --      |    Inf 
319.27/319.40	c   308s|620000 |137993 |  1871k|  68M|  54 |   - |  60 |  21 |   7 |  60 |  19 |  24 |6255 |3883 | 0.000000e+00 |      --      |    Inf 
324.37/324.58	c   313s|630000 |140069 |  1901k|  69M|  54 |   7 |  60 |  33 |   8 |  60 |  19 |  24 |6364 |3911 | 0.000000e+00 |      --      |    Inf 
329.56/329.70	c   318s|640000 |142013 |  1931k|  70M|  54 |   7 |  60 |  23 |   7 |  60 |  19 |  24 |6475 |3933 | 0.000000e+00 |      --      |    Inf 
334.67/334.81	c   323s|650000 |143787 |  1961k|  71M|  54 |   7 |  60 |  18 |   7 |  60 |  19 |  24 |6568 |3954 | 0.000000e+00 |      --      |    Inf 
339.77/339.94	c   328s|660000 |146155 |  1993k|  72M|  54 |   7 |  60 |  34 |   8 |  60 |  19 |  24 |6630 |3972 | 0.000000e+00 |      --      |    Inf 
344.96/345.13	c   333s|670000 |148081 |  2023k|  73M|  54 |   7 |  60 |  26 |   8 |  60 |  19 |  24 |6708 |3984 | 0.000000e+00 |      --      |    Inf 
350.16/350.38	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
350.16/350.38	c   338s|680000 |149941 |  2053k|  74M|  54 |   7 |  60 |  25 |   8 |  60 |  19 |  24 |6790 |4010 | 0.000000e+00 |      --      |    Inf 
355.36/355.56	c   343s|690000 |151788 |  2084k|  75M|  54 |   7 |  60 |  23 |   7 |  60 |  19 |  24 |6861 |4032 | 0.000000e+00 |      --      |    Inf 
360.45/360.69	c   348s|700000 |153588 |  2114k|  76M|  54 |   - |  60 |  25 |  14 |  60 |  19 |  24 |6931 |4050 | 0.000000e+00 |      --      |    Inf 
365.66/365.89	c   353s|710000 |155277 |  2145k|  77M|  54 |   7 |  60 |  27 |   9 |  60 |  19 |  24 |7027 |4079 | 0.000000e+00 |      --      |    Inf 
370.85/371.06	c   358s|720000 |157327 |  2175k|  78M|  54 |   7 |  60 |  30 |   9 |  60 |  19 |  24 |7108 |4090 | 0.000000e+00 |      --      |    Inf 
375.85/376.07	c   363s|730000 |159695 |  2204k|  79M|  54 |   7 |  60 |  45 |   8 |  60 |  19 |  24 |7180 |4118 | 0.000000e+00 |      --      |    Inf 
381.05/381.20	c   368s|740000 |161417 |  2234k|  80M|  54 |   - |  60 |  26 |   7 |   0 |   0 |  24 |7259 |4139 | 0.000000e+00 |      --      |    Inf 
386.14/386.32	c   373s|750000 |163928 |  2264k|  81M|  54 |   7 |  60 |  36 |   8 |  60 |  19 |  24 |7324 |4155 | 0.000000e+00 |      --      |    Inf 
391.34/391.50	c   378s|760000 |165661 |  2295k|  82M|  54 |   7 |  60 |  32 |   7 |  60 |  19 |  24 |7421 |4170 | 0.000000e+00 |      --      |    Inf 
396.34/396.57	c   383s|770000 |167782 |  2325k|  83M|  54 |   7 |  60 |  39 |   7 |  60 |  19 |  24 |7501 |4190 | 0.000000e+00 |      --      |    Inf 
401.54/401.71	c   388s|780000 |169701 |  2355k|  84M|  54 |   - |  60 |  31 |   8 |  60 |  19 |  24 |7586 |4213 | 0.000000e+00 |      --      |    Inf 
406.63/406.84	c   393s|790000 |171901 |  2386k|  85M|  54 |   - |  60 |  36 |  11 |  60 |  19 |  24 |7669 |4227 | 0.000000e+00 |      --      |    Inf 
411.64/411.89	c   398s|800000 |174292 |  2415k|  86M|  54 |   - |  60 |  40 |  11 |  60 |  19 |  24 |7738 |4241 | 0.000000e+00 |      --      |    Inf 
416.84/417.02	c   403s|810000 |176094 |  2445k|  87M|  54 |   - |  60 |  28 |   7 |  60 |  19 |  24 |7838 |4259 | 0.000000e+00 |      --      |    Inf 
421.93/422.10	c   407s|820000 |178260 |  2476k|  88M|  54 |   7 |  60 |  30 |   7 |  60 |  19 |  24 |7895 |4276 | 0.000000e+00 |      --      |    Inf 
427.03/427.26	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
427.03/427.26	c   412s|830000 |180254 |  2506k|  89M|  54 |   - |  60 |  17 |   6 |   0 |   0 |  24 |7954 |4289 | 0.000000e+00 |      --      |    Inf 
432.13/432.32	c   417s|840000 |182401 |  2536k|  90M|  54 |   7 |  60 |  37 |   8 |  60 |  19 |  24 |8054 |4298 | 0.000000e+00 |      --      |    Inf 
437.22/437.41	c   422s|850000 |184257 |  2565k|  91M|  54 |   7 |  60 |  29 |   7 |  60 |  19 |  24 |8139 |4310 | 0.000000e+00 |      --      |    Inf 
442.33/442.52	c   427s|860000 |186161 |  2594k|  92M|  54 |   - |  60 |  27 |   9 |   0 |   0 |  24 |8241 |4324 | 0.000000e+00 |      --      |    Inf 
447.43/447.64	c   432s|870000 |188013 |  2623k|  93M|  54 |   7 |  60 |  29 |   7 |  60 |  19 |  24 |8347 |4343 | 0.000000e+00 |      --      |    Inf 
452.62/452.80	c   437s|880000 |189837 |  2653k|  94M|  54 |   - |  60 |  28 |   7 |  60 |  19 |  24 |8432 |4353 | 0.000000e+00 |      --      |    Inf 
457.62/457.87	c   442s|890000 |192131 |  2683k|  95M|  54 |   7 |  60 |  53 |  12 |  60 |  19 |  24 |8539 |4363 | 0.000000e+00 |      --      |    Inf 
462.72/463.00	c   447s|900000 |194692 |  2714k|  96M|  54 |   - |  60 |  62 |   7 |  60 |  19 |  24 |8659 |4374 | 0.000000e+00 |      --      |    Inf 
467.92/468.14	c   452s|910000 |197214 |  2745k|  98M|  54 |   - |  60 |  72 |   7 |  60 |  19 |  24 |8755 |4389 | 0.000000e+00 |      --      |    Inf 
472.91/473.16	c   457s|920000 |199448 |  2774k|  99M|  54 |   - |  60 |  72 |   7 |  60 |  19 |  24 |8802 |4398 | 0.000000e+00 |      --      |    Inf 
477.91/478.16	c   462s|930000 |202159 |  2804k| 100M|  54 |   7 |  60 |  64 |   7 |  60 |  19 |  24 |8839 |4415 | 0.000000e+00 |      --      |    Inf 
483.01/483.21	c   466s|940000 |204590 |  2833k| 101M|  54 |   - |  60 |  68 |   7 |  60 |  19 |  24 |8901 |4427 | 0.000000e+00 |      --      |    Inf 
488.11/488.30	c   471s|950000 |206702 |  2861k| 102M|  54 |   - |  60 |  56 |   7 |  60 |  19 |  24 |8932 |4449 | 0.000000e+00 |      --      |    Inf 
493.20/493.41	c   476s|960000 |208549 |  2891k| 103M|  54 |   - |  60 |  32 |   7 |  60 |  19 |  24 |8965 |4468 | 0.000000e+00 |      --      |    Inf 
498.21/498.49	c   481s|970000 |210402 |  2919k| 104M|  54 |   - |  60 |  16 |   7 |   0 |   0 |  24 |9024 |4483 | 0.000000e+00 |      --      |    Inf 
503.30/503.57	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
503.30/503.57	c   486s|980000 |212273 |  2947k| 105M|  54 |   7 |  60 |  15 |   7 |  60 |  19 |  24 |9079 |4502 | 0.000000e+00 |      --      |    Inf 
508.50/508.71	c   491s|990000 |214051 |  2975k| 106M|  54 |   - |  60 |  21 |   7 |  60 |  19 |  24 |9163 |4521 | 0.000000e+00 |      --      |    Inf 
513.60/513.81	c   496s|  1000k|216139 |  3004k| 107M|  54 |   7 |  60 |  28 |   8 |  60 |  19 |  24 |9244 |4548 | 0.000000e+00 |      --      |    Inf 
518.70/518.93	c   501s|  1010k|218449 |  3033k| 108M|  54 |   - |  60 |  29 |   7 |  60 |  19 |  24 |9281 |4566 | 0.000000e+00 |      --      |    Inf 
523.79/524.05	c   506s|  1020k|220644 |  3063k| 109M|  54 |   7 |  60 |  24 |   7 |  60 |  19 |  24 |9370 |4581 | 0.000000e+00 |      --      |    Inf 
528.99/529.23	c   511s|  1030k|222544 |  3092k| 110M|  54 |   7 |  60 |  22 |   7 |  60 |  19 |  24 |9435 |4596 | 0.000000e+00 |      --      |    Inf 
534.09/534.37	c   516s|  1040k|224444 |  3121k| 111M|  54 |   7 |  60 |  20 |   7 |  60 |  19 |  24 |9512 |4612 | 0.000000e+00 |      --      |    Inf 
539.29/539.51	c   521s|  1050k|226434 |  3151k| 112M|  54 |   - |  60 |  22 |   7 |  60 |  19 |  24 |9560 |4630 | 0.000000e+00 |      --      |    Inf 
544.39/544.62	c   526s|  1060k|228746 |  3180k| 113M|  54 |   7 |  60 |  17 |   7 |  60 |  19 |  24 |9595 |4652 | 0.000000e+00 |      --      |    Inf 
549.49/549.71	c   531s|  1070k|230804 |  3208k| 114M|  54 |   - |  60 |  20 |   7 |  60 |  19 |  24 |9638 |4669 | 0.000000e+00 |      --      |    Inf 
554.48/554.77	c   536s|  1080k|232930 |  3237k| 115M|  54 |   - |  60 |  20 |   7 |   0 |   0 |  24 |9684 |4685 | 0.000000e+00 |      --      |    Inf 
559.58/559.85	c   540s|  1090k|234708 |  3266k| 116M|  54 |   7 |  60 |  16 |   7 |  60 |  19 |  24 |9730 |4700 | 0.000000e+00 |      --      |    Inf 
564.68/564.93	c   545s|  1100k|236848 |  3295k| 117M|  54 |   7 |  60 |  17 |   7 |  60 |  19 |  24 |9768 |4713 | 0.000000e+00 |      --      |    Inf 
569.78/570.01	c   550s|  1110k|238740 |  3323k| 118M|  54 |   - |  60 |  13 |   8 |  60 |  19 |  24 |9805 |4729 | 0.000000e+00 |      --      |    Inf 
574.77/575.07	c   555s|  1120k|240580 |  3351k| 119M|  54 |   7 |  60 |  14 |   7 |  60 |  19 |  24 |9863 |4744 | 0.000000e+00 |      --      |    Inf 
579.87/580.13	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
579.87/580.13	c   560s|  1130k|242650 |  3379k| 120M|  54 |   - |  60 |  16 |   7 |  60 |  19 |  24 |9927 |4760 | 0.000000e+00 |      --      |    Inf 
584.97/585.24	c   565s|  1140k|244645 |  3408k| 121M|  54 |   - |  60 |  15 |   7 |  60 |  19 |  24 |  10k|4776 | 0.000000e+00 |      --      |    Inf 
590.06/590.32	c   570s|  1150k|247167 |  3437k| 122M|  54 |   - |  60 |  15 |   7 |  60 |  19 |  24 |  10k|4789 | 0.000000e+00 |      --      |    Inf 
595.06/595.38	c   575s|  1160k|249009 |  3465k| 123M|  54 |   7 |  60 |  17 |   7 |  60 |  19 |  24 |  10k|4803 | 0.000000e+00 |      --      |    Inf 
600.16/600.45	c   580s|  1170k|251091 |  3493k| 124M|  54 |   - |  60 |  13 |   7 |  60 |  19 |  24 |  10k|4811 | 0.000000e+00 |      --      |    Inf 
605.36/605.63	c   585s|  1180k|252994 |  3522k| 125M|  54 |   - |  60 |  13 |   6 |   0 |   0 |  24 |  10k|4825 | 0.000000e+00 |      --      |    Inf 
610.46/610.74	c   590s|  1190k|255392 |  3551k| 127M|  54 |   - |  60 |  18 |   6 |   0 |   0 |  24 |  10k|4845 | 0.000000e+00 |      --      |    Inf 
615.56/615.81	c   595s|  1200k|257414 |  3580k| 128M|  54 |   - |  60 |  14 |   7 |   0 |   0 |  24 |  10k|4859 | 0.000000e+00 |      --      |    Inf 
620.55/620.87	c   599s|  1210k|259790 |  3610k| 129M|  54 |   7 |  60 |  20 |  10 |  60 |  19 |  24 |  10k|4878 | 0.000000e+00 |      --      |    Inf 
625.65/625.96	c   604s|  1220k|261764 |  3638k| 130M|  54 |   - |  60 |  13 |   7 |  60 |  19 |  24 |  10k|4891 | 0.000000e+00 |      --      |    Inf 
630.85/631.12	c   609s|  1230k|263464 |  3667k| 131M|  54 |   - |  60 |  11 |   7 |  60 |  19 |  24 |  10k|4909 | 0.000000e+00 |      --      |    Inf 
635.95/636.22	c   614s|  1240k|265368 |  3696k| 132M|  54 |   - |  60 |  15 |   7 |  60 |  19 |  24 |  10k|4922 | 0.000000e+00 |      --      |    Inf 
641.04/641.36	c   619s|  1250k|267216 |  3726k| 133M|  54 |   7 |  60 |  16 |   7 |  60 |  19 |  24 |  10k|4944 | 0.000000e+00 |      --      |    Inf 
646.25/646.55	c   624s|  1260k|268868 |  3755k| 134M|  54 |   7 |  60 |  24 |   7 |  60 |  19 |  24 |  10k|4954 | 0.000000e+00 |      --      |    Inf 
651.44/651.77	c   629s|  1270k|270773 |  3785k| 134M|  54 |   - |  60 |  46 |   7 |  60 |  19 |  24 |  10k|4975 | 0.000000e+00 |      --      |    Inf 
656.74/657.04	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
656.74/657.04	c   634s|  1280k|272425 |  3816k| 135M|  54 |   - |  60 |  38 |   7 |  60 |  19 |  24 |  10k|4992 | 0.000000e+00 |      --      |    Inf 
661.94/662.27	c   639s|  1290k|274698 |  3847k| 136M|  54 |   - |  60 |  42 |   7 |  60 |  19 |  24 |  10k|5001 | 0.000000e+00 |      --      |    Inf 
667.23/667.50	c   644s|  1300k|276659 |  3878k| 138M|  54 |   7 |  60 |  36 |   7 |  60 |  19 |  24 |  10k|5012 | 0.000000e+00 |      --      |    Inf 
672.43/672.70	c   650s|  1310k|278327 |  3908k| 138M|  54 |   - |  60 |  20 |   7 |  60 |  19 |  24 |  10k|5024 | 0.000000e+00 |      --      |    Inf 
677.53/677.87	c   655s|  1320k|280239 |  3938k| 139M|  54 |   7 |  60 |  28 |   7 |  60 |  19 |  24 |  11k|5048 | 0.000000e+00 |      --      |    Inf 
682.73/683.03	c   660s|  1330k|282106 |  3966k| 140M|  54 |   - |  60 |  23 |   9 |  60 |  19 |  24 |  11k|5064 | 0.000000e+00 |      --      |    Inf 
687.93/688.23	c   665s|  1340k|284162 |  3995k| 141M|  54 |   7 |  60 |  41 |  14 |  60 |  19 |  24 |  11k|5078 | 0.000000e+00 |      --      |    Inf 
693.12/693.44	c   670s|  1350k|286228 |  4025k| 142M|  54 |   7 |  60 |  45 |  11 |  60 |  19 |  24 |  11k|5098 | 0.000000e+00 |      --      |    Inf 
698.33/698.66	c   675s|  1360k|288011 |  4056k| 143M|  54 |   - |  60 |  49 |   7 |  60 |  19 |  24 |  11k|5110 | 0.000000e+00 |      --      |    Inf 
703.52/703.88	c   680s|  1370k|289736 |  4086k| 144M|  54 |   7 |  60 |  24 |   8 |  60 |  19 |  24 |  11k|5118 | 0.000000e+00 |      --      |    Inf 
708.82/709.10	c   685s|  1380k|291325 |  4115k| 145M|  54 |   - |  60 |  44 |   7 |  60 |  19 |  24 |  11k|5129 | 0.000000e+00 |      --      |    Inf 
713.91/714.26	c   690s|  1390k|293279 |  4146k| 146M|  54 |   7 |  60 |  44 |   7 |  60 |  19 |  24 |  11k|5143 | 0.000000e+00 |      --      |    Inf 
719.11/719.42	c   695s|  1400k|295105 |  4175k| 147M|  54 |   - |  60 |  44 |  12 |  60 |  19 |  24 |  11k|5154 | 0.000000e+00 |      --      |    Inf 
724.32/724.66	c   700s|  1410k|297016 |  4206k| 148M|  54 |   7 |  60 |  40 |   8 |  60 |  19 |  24 |  11k|5175 | 0.000000e+00 |      --      |    Inf 
729.61/729.93	c   705s|  1420k|298825 |  4236k| 149M|  54 |   7 |  60 |  36 |   8 |  60 |  19 |  24 |  11k|5188 | 0.000000e+00 |      --      |    Inf 
734.81/735.13	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
734.81/735.13	c   710s|  1430k|300613 |  4267k| 150M|  54 |   7 |  60 |  38 |   9 |  60 |  19 |  24 |  12k|5200 | 0.000000e+00 |      --      |    Inf 
740.02/740.33	c   715s|  1440k|302393 |  4298k| 151M|  54 |   7 |  60 |  36 |   7 |  60 |  19 |  24 |  12k|5212 | 0.000000e+00 |      --      |    Inf 
745.31/745.60	c   720s|  1450k|304203 |  4328k| 152M|  54 |   7 |  60 |  48 |   8 |  60 |  19 |  24 |  12k|5228 | 0.000000e+00 |      --      |    Inf 
750.50/750.81	c   725s|  1460k|305892 |  4358k| 153M|  54 |   - |  60 |  46 |   7 |  60 |  19 |  24 |  12k|5242 | 0.000000e+00 |      --      |    Inf 
755.60/755.95	c   730s|  1470k|307712 |  4387k| 154M|  54 |   - |  60 |  28 |   7 |   0 |   0 |  24 |  12k|5264 | 0.000000e+00 |      --      |    Inf 
760.70/761.04	c   735s|  1480k|309529 |  4415k| 155M|  54 |   - |  60 |  30 |   7 |  60 |  19 |  24 |  12k|5275 | 0.000000e+00 |      --      |    Inf 
765.90/766.27	c   740s|  1490k|311181 |  4445k| 156M|  54 |   7 |  60 |  27 |   7 |  60 |  19 |  24 |  12k|5285 | 0.000000e+00 |      --      |    Inf 
771.09/771.42	c   745s|  1500k|313189 |  4474k| 157M|  54 |   7 |  60 |  23 |   8 |  60 |  19 |  24 |  12k|5294 | 0.000000e+00 |      --      |    Inf 
776.20/776.57	c   750s|  1510k|315035 |  4504k| 158M|  54 |   - |  60 |  27 |   7 |  60 |  19 |  24 |  12k|5306 | 0.000000e+00 |      --      |    Inf 
781.39/781.74	c   755s|  1520k|316865 |  4534k| 159M|  54 |   - |  60 |  23 |   7 |  60 |  19 |  24 |  12k|5316 | 0.000000e+00 |      --      |    Inf 
786.48/786.88	c   760s|  1530k|318786 |  4564k| 160M|  54 |   7 |  60 |  32 |   9 |  60 |  19 |  24 |  12k|5332 | 0.000000e+00 |      --      |    Inf 
791.69/792.06	c   765s|  1540k|320922 |  4594k| 161M|  54 |   7 |  60 |  30 |   8 |  60 |  19 |  24 |  12k|5349 | 0.000000e+00 |      --      |    Inf 
796.88/797.21	c   770s|  1550k|322598 |  4623k| 161M|  54 |   - |  60 |  33 |   7 |  60 |  19 |  24 |  12k|5361 | 0.000000e+00 |      --      |    Inf 
801.98/802.34	c   775s|  1560k|324394 |  4652k| 162M|  54 |   - |  60 |  32 |   7 |  60 |  19 |  24 |  13k|5373 | 0.000000e+00 |      --      |    Inf 
807.18/807.54	c   780s|  1570k|326114 |  4681k| 163M|  54 |   7 |  60 |  32 |   8 |  60 |  19 |  24 |  13k|5386 | 0.000000e+00 |      --      |    Inf 
812.38/812.70	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
812.38/812.70	c   785s|  1580k|327744 |  4710k| 164M|  54 |   7 |  60 |  40 |   7 |  60 |  19 |  24 |  13k|5395 | 0.000000e+00 |      --      |    Inf 
817.48/817.88	c   790s|  1590k|329700 |  4741k| 165M|  54 |   - |  60 |  60 |   9 |  60 |  19 |  24 |  13k|5407 | 0.000000e+00 |      --      |    Inf 
822.77/823.12	c   795s|  1600k|331472 |  4773k| 166M|  54 |   - |  60 |  34 |   7 |  60 |  19 |  24 |  13k|5423 | 0.000000e+00 |      --      |    Inf 
827.97/828.34	c   800s|  1610k|333321 |  4803k| 167M|  54 |   7 |  60 |  42 |   7 |  60 |  19 |  24 |  13k|5442 | 0.000000e+00 |      --      |    Inf 
833.17/833.56	c   805s|  1620k|335415 |  4835k| 168M|  54 |   7 |  60 |  59 |  12 |  60 |  19 |  24 |  13k|5455 | 0.000000e+00 |      --      |    Inf 
838.36/838.78	c   810s|  1630k|337517 |  4866k| 169M|  54 |   7 |  60 |  51 |   7 |  60 |  19 |  24 |  13k|5465 | 0.000000e+00 |      --      |    Inf 
843.66/844.06	c   815s|  1640k|339238 |  4896k| 170M|  54 |   7 |  60 |  49 |   8 |  60 |  19 |  24 |  13k|5476 | 0.000000e+00 |      --      |    Inf 
848.96/849.32	c   820s|  1650k|341243 |  4929k| 171M|  54 |   7 |  60 |  38 |   8 |  60 |  19 |  24 |  13k|5490 | 0.000000e+00 |      --      |    Inf 
854.06/854.48	c   825s|  1660k|343319 |  4958k| 172M|  54 |   7 |  60 |  37 |   7 |  60 |  19 |  24 |  13k|5509 | 0.000000e+00 |      --      |    Inf 
859.36/859.72	c   830s|  1670k|345048 |  4989k| 173M|  54 |   - |  60 |  29 |   8 |   0 |   0 |  24 |  13k|5529 | 0.000000e+00 |      --      |    Inf 
864.45/864.89	c   835s|  1680k|346919 |  5020k| 174M|  54 |   7 |  60 |  42 |   7 |  60 |  19 |  24 |  14k|5542 | 0.000000e+00 |      --      |    Inf 
869.76/870.13	c   840s|  1690k|348892 |  5050k| 175M|  54 |   - |  60 |  51 |   7 |  60 |  19 |  24 |  14k|5554 | 0.000000e+00 |      --      |    Inf 
874.85/875.28	c   845s|  1700k|350702 |  5080k| 176M|  54 |   7 |  60 |  42 |  10 |  60 |  19 |  24 |  14k|5562 | 0.000000e+00 |      --      |    Inf 
880.15/880.50	c   850s|  1710k|352482 |  5111k| 177M|  54 |   - |  60 |  51 |   8 |  60 |  19 |  24 |  14k|5579 | 0.000000e+00 |      --      |    Inf 
885.35/885.76	c   855s|  1720k|354214 |  5142k| 178M|  54 |   7 |  60 |  34 |   8 |  60 |  19 |  24 |  14k|5593 | 0.000000e+00 |      --      |    Inf 
890.55/890.98	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
890.55/890.98	c   860s|  1730k|355944 |  5171k| 179M|  54 |   - |  60 |  38 |   9 |  60 |  19 |  24 |  14k|5600 | 0.000000e+00 |      --      |    Inf 
895.75/896.12	c   865s|  1740k|357957 |  5202k| 180M|  54 |   7 |  60 |  60 |   7 |  60 |  19 |  24 |  14k|5619 | 0.000000e+00 |      --      |    Inf 
900.84/901.29	c   870s|  1750k|359847 |  5231k| 181M|  54 |   - |  60 |  44 |   8 |  60 |  19 |  24 |  14k|5627 | 0.000000e+00 |      --      |    Inf 
906.14/906.52	c   875s|  1760k|361827 |  5261k| 182M|  54 |   - |  60 |  43 |   9 |  60 |  19 |  24 |  14k|5640 | 0.000000e+00 |      --      |    Inf 
911.24/911.69	c   880s|  1770k|364155 |  5292k| 183M|  54 |   7 |  60 |  59 |   7 |  60 |  19 |  24 |  14k|5650 | 0.000000e+00 |      --      |    Inf 
916.43/916.86	c   885s|  1780k|365889 |  5321k| 184M|  54 |   - |  60 |  41 |   7 |  60 |  19 |  24 |  15k|5661 | 0.000000e+00 |      --      |    Inf 
921.63/922.09	c   890s|  1790k|367859 |  5352k| 185M|  54 |   - |  60 |  49 |   9 |   0 |   0 |  24 |  15k|5672 | 0.000000e+00 |      --      |    Inf 
927.03/927.40	c   896s|  1800k|369583 |  5384k| 186M|  54 |   7 |  60 |  42 |   7 |  60 |  19 |  24 |  15k|5681 | 0.000000e+00 |      --      |    Inf 
932.23/932.65	c   901s|  1810k|371309 |  5415k| 187M|  54 |   7 |  60 |  40 |   9 |  60 |  19 |  24 |  15k|5692 | 0.000000e+00 |      --      |    Inf 
937.42/937.89	c   906s|  1820k|373190 |  5446k| 188M|  54 |   - |  60 |  43 |   8 |   0 |   0 |  24 |  15k|5704 | 0.000000e+00 |      --      |    Inf 
942.63/943.06	c   911s|  1830k|374956 |  5476k| 189M|  54 |   - |  60 |  38 |   9 |  60 |  19 |  24 |  15k|5716 | 0.000000e+00 |      --      |    Inf 
947.92/948.32	c   916s|  1840k|376811 |  5507k| 189M|  54 |   7 |  60 |  50 |   7 |  60 |  19 |  24 |  15k|5726 | 0.000000e+00 |      --      |    Inf 
953.13/953.59	c   921s|  1850k|378658 |  5538k| 190M|  54 |   7 |  60 |  51 |   8 |  60 |  19 |  24 |  15k|5737 | 0.000000e+00 |      --      |    Inf 
958.32/958.76	c   926s|  1860k|380579 |  5568k| 191M|  54 |   - |  60 |  41 |   7 |  60 |  19 |  24 |  15k|5746 | 0.000000e+00 |      --      |    Inf 
963.51/963.99	c   931s|  1870k|382903 |  5599k| 193M|  54 |   7 |  60 |  39 |   8 |  60 |  19 |  24 |  15k|5757 | 0.000000e+00 |      --      |    Inf 
968.72/969.16	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
968.72/969.16	c   936s|  1880k|385580 |  5630k| 194M|  54 |   7 |  60 |  44 |   7 |  60 |  19 |  24 |  15k|5771 | 0.000000e+00 |      --      |    Inf 
973.91/974.37	c   941s|  1890k|387696 |  5661k| 195M|  54 |   7 |  60 |  59 |   8 |  60 |  19 |  24 |  15k|5779 | 0.000000e+00 |      --      |    Inf 
979.11/979.51	c   946s|  1900k|390107 |  5692k| 196M|  54 |   7 |  60 |  86 |   8 |  60 |  19 |  24 |  15k|5784 | 0.000000e+00 |      --      |    Inf 
984.31/984.76	c   951s|  1910k|392173 |  5722k| 197M|  54 |   7 |  60 |  69 |   7 |  60 |  19 |  24 |  16k|5799 | 0.000000e+00 |      --      |    Inf 
989.51/989.91	c   956s|  1920k|394318 |  5751k| 198M|  54 |   - |  60 |  47 |   7 |  60 |  19 |  24 |  16k|5805 | 0.000000e+00 |      --      |    Inf 
994.71/995.11	c   961s|  1930k|396202 |  5781k| 199M|  54 |   7 |  60 |  43 |   7 |  60 |  19 |  24 |  16k|5815 | 0.000000e+00 |      --      |    Inf 
999.81/1000.29	c   966s|  1940k|397984 |  5809k| 200M|  54 |   7 |  60 |  30 |   7 |  60 |  19 |  24 |  16k|5827 | 0.000000e+00 |      --      |    Inf 
1005.11/1005.51	c   971s|  1950k|399613 |  5839k| 201M|  54 |   7 |  60 |  42 |   7 |  60 |  19 |  24 |  16k|5836 | 0.000000e+00 |      --      |    Inf 
1010.30/1010.71	c   976s|  1960k|401305 |  5869k| 202M|  54 |   - |  60 |  33 |   8 |  60 |  19 |  24 |  16k|5847 | 0.000000e+00 |      --      |    Inf 
1015.40/1015.90	c   981s|  1970k|403398 |  5900k| 203M|  54 |   7 |  60 |  62 |   8 |  60 |  19 |  24 |  16k|5859 | 0.000000e+00 |      --      |    Inf 
1020.70/1021.14	c   986s|  1980k|405349 |  5933k| 204M|  54 |   - |  60 |  63 |   7 |  60 |  19 |  24 |  16k|5865 | 0.000000e+00 |      --      |    Inf 
1026.00/1026.47	c   991s|  1990k|406901 |  5964k| 205M|  54 |   7 |  60 |  41 |   7 |  60 |  19 |  24 |  16k|5879 | 0.000000e+00 |      --      |    Inf 
1031.19/1031.66	c   996s|  2000k|408864 |  5993k| 206M|  54 |   7 |  60 |  48 |   7 |  60 |  19 |  24 |  16k|5894 | 0.000000e+00 |      --      |    Inf 
1036.39/1036.88	c  1001s|  2010k|410590 |  6024k| 207M|  54 |   - |  60 |  48 |   8 |  60 |  19 |  24 |  16k|5904 | 0.000000e+00 |      --      |    Inf 
1041.68/1042.13	c  1006s|  2020k|412376 |  6054k| 207M|  54 |   - |  60 |  33 |   7 |  60 |  19 |  24 |  16k|5912 | 0.000000e+00 |      --      |    Inf 
1046.88/1047.38	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1046.88/1047.38	c  1011s|  2030k|414208 |  6084k| 208M|  54 |   - |  60 |  36 |   7 |  60 |  19 |  24 |  16k|5923 | 0.000000e+00 |      --      |    Inf 
1052.19/1052.67	c  1016s|  2040k|415818 |  6115k| 209M|  54 |   7 |  60 |  31 |   8 |  60 |  19 |  24 |  17k|5931 | 0.000000e+00 |      --      |    Inf 
1057.38/1057.84	c  1021s|  2050k|417690 |  6145k| 210M|  54 |   7 |  60 |  40 |   9 |  60 |  19 |  24 |  17k|5941 | 0.000000e+00 |      --      |    Inf 
1062.58/1063.07	c  1026s|  2060k|419510 |  6175k| 211M|  54 |   - |  60 |  29 |   8 |  60 |  19 |  24 |  17k|5950 | 0.000000e+00 |      --      |    Inf 
1067.78/1068.28	c  1032s|  2070k|421398 |  6204k| 212M|  54 |   7 |  60 |  28 |  11 |  60 |  19 |  24 |  17k|5968 | 0.000000e+00 |      --      |    Inf 
1072.97/1073.47	c  1037s|  2080k|423447 |  6234k| 213M|  54 |   7 |  60 |  27 |   9 |  60 |  19 |  24 |  17k|5976 | 0.000000e+00 |      --      |    Inf 
1078.27/1078.72	c  1042s|  2090k|425271 |  6264k| 214M|  54 |   7 |  60 |  32 |  11 |  60 |  19 |  24 |  17k|5987 | 0.000000e+00 |      --      |    Inf 
1083.37/1083.90	c  1047s|  2100k|427521 |  6295k| 215M|  54 |   7 |  60 |  48 |   7 |  60 |  19 |  24 |  17k|6000 | 0.000000e+00 |      --      |    Inf 
1088.77/1089.20	c  1052s|  2110k|429210 |  6326k| 216M|  54 |   - |  60 |  32 |   8 |  60 |  19 |  24 |  17k|6005 | 0.000000e+00 |      --      |    Inf 
1093.87/1094.37	c  1057s|  2120k|431151 |  6355k| 217M|  54 |   7 |  60 |  38 |   7 |  60 |  19 |  24 |  17k|6012 | 0.000000e+00 |      --      |    Inf 
1099.07/1099.59	c  1062s|  2130k|432932 |  6385k| 218M|  54 |   - |  60 |  48 |   7 |   0 |   0 |  24 |  17k|6024 | 0.000000e+00 |      --      |    Inf 
1104.26/1104.80	c  1067s|  2140k|434476 |  6416k| 219M|  54 |   7 |  60 |  36 |   8 |  60 |  19 |  24 |  17k|6036 | 0.000000e+00 |      --      |    Inf 
1109.57/1110.06	c  1072s|  2150k|436248 |  6446k| 220M|  54 |   7 |  60 |  42 |   8 |  60 |  19 |  24 |  18k|6046 | 0.000000e+00 |      --      |    Inf 
1114.77/1115.24	c  1077s|  2160k|438084 |  6476k| 221M|  54 |   7 |  60 |  56 |  10 |  60 |  19 |  24 |  18k|6054 | 0.000000e+00 |      --      |    Inf 
1119.96/1120.41	c  1082s|  2170k|439866 |  6506k| 222M|  54 |   7 |  60 |  63 |   9 |  60 |  19 |  24 |  18k|6068 | 0.000000e+00 |      --      |    Inf 
1125.26/1125.73	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1125.26/1125.73	c  1087s|  2180k|441611 |  6537k| 223M|  54 |   - |  60 |  35 |   8 |  60 |  19 |  24 |  18k|6079 | 0.000000e+00 |      --      |    Inf 
1130.56/1131.00	c  1092s|  2190k|443314 |  6567k| 224M|  54 |   7 |  60 |  43 |   8 |  60 |  19 |  24 |  18k|6090 | 0.000000e+00 |      --      |    Inf 
1135.76/1136.23	c  1097s|  2200k|444966 |  6598k| 225M|  54 |   7 |  60 |  44 |   7 |  60 |  19 |  24 |  18k|6101 | 0.000000e+00 |      --      |    Inf 
1140.85/1141.40	c  1102s|  2210k|446694 |  6628k| 225M|  54 |   7 |  60 |  51 |   7 |  60 |  19 |  24 |  18k|6106 | 0.000000e+00 |      --      |    Inf 
1146.15/1146.66	c  1107s|  2220k|448443 |  6658k| 226M|  54 |   7 |  60 |  40 |   7 |  60 |  19 |  24 |  18k|6113 | 0.000000e+00 |      --      |    Inf 
1151.35/1151.88	c  1112s|  2230k|450590 |  6689k| 227M|  54 |   - |  60 |  41 |   7 |  60 |  19 |  24 |  18k|6126 | 0.000000e+00 |      --      |    Inf 
1156.65/1157.12	c  1117s|  2240k|452354 |  6720k| 228M|  54 |   7 |  60 |  42 |   7 |  60 |  19 |  24 |  18k|6133 | 0.000000e+00 |      --      |    Inf 
1161.94/1162.40	c  1122s|  2250k|454080 |  6751k| 229M|  54 |   - |  60 |  46 |   7 |  60 |  19 |  24 |  18k|6140 | 0.000000e+00 |      --      |    Inf 
1167.14/1167.63	c  1127s|  2260k|456114 |  6782k| 230M|  54 |   7 |  60 |  50 |   7 |  60 |  19 |  24 |  19k|6147 | 0.000000e+00 |      --      |    Inf 
1172.34/1172.83	c  1132s|  2270k|458338 |  6813k| 231M|  54 |   7 |  60 |  63 |  11 |  60 |  19 |  24 |  19k|6163 | 0.000000e+00 |      --      |    Inf 
1177.54/1178.07	c  1137s|  2280k|460005 |  6844k| 232M|  54 |   7 |  60 |  46 |   8 |  60 |  19 |  24 |  19k|6168 | 0.000000e+00 |      --      |    Inf 
1182.74/1183.28	c  1142s|  2290k|461886 |  6874k| 233M|  54 |   7 |  60 |  51 |  14 |  60 |  19 |  24 |  19k|6183 | 0.000000e+00 |      --      |    Inf 
1188.03/1188.52	c  1148s|  2300k|463586 |  6903k| 234M|  54 |   - |  60 |  39 |   7 |  60 |  19 |  24 |  19k|6190 | 0.000000e+00 |      --      |    Inf 
1193.13/1193.69	c  1153s|  2310k|465415 |  6933k| 235M|  54 |   7 |  60 |  53 |  10 |  60 |  19 |  24 |  19k|6194 | 0.000000e+00 |      --      |    Inf 
1198.44/1198.92	c  1158s|  2320k|467265 |  6963k| 236M|  54 |   7 |  60 |  37 |   7 |  60 |  19 |  24 |  19k|6199 | 0.000000e+00 |      --      |    Inf 
1203.63/1204.15	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1203.63/1204.15	c  1163s|  2330k|468946 |  6993k| 237M|  54 |   - |  60 |  39 |   7 |  60 |  19 |  24 |  19k|6210 | 0.000000e+00 |      --      |    Inf 
1208.93/1209.43	c  1168s|  2340k|470578 |  7023k| 238M|  54 |   7 |  60 |  31 |   7 |  60 |  19 |  24 |  19k|6217 | 0.000000e+00 |      --      |    Inf 
1214.12/1214.66	c  1173s|  2350k|472246 |  7053k| 239M|  54 |   7 |  60 |  30 |   7 |  60 |  19 |  24 |  19k|6221 | 0.000000e+00 |      --      |    Inf 
1219.32/1219.88	c  1178s|  2360k|474364 |  7084k| 240M|  54 |   7 |  60 |  32 |   7 |  60 |  19 |  24 |  19k|6232 | 0.000000e+00 |      --      |    Inf 
1224.62/1225.12	c  1183s|  2370k|476734 |  7115k| 241M|  54 |   7 |  60 |  63 |   8 |  60 |  19 |  24 |  19k|6242 | 0.000000e+00 |      --      |    Inf 
1229.82/1230.39	c  1188s|  2380k|478716 |  7146k| 242M|  54 |   7 |  60 |  64 |   8 |  60 |  19 |  24 |  20k|6256 | 0.000000e+00 |      --      |    Inf 
1235.12/1235.65	c  1193s|  2390k|480743 |  7177k| 243M|  54 |   7 |  60 |  64 |   7 |  60 |  19 |  24 |  20k|6264 | 0.000000e+00 |      --      |    Inf 
1240.41/1240.90	c  1198s|  2400k|483095 |  7209k| 244M|  54 |   7 |  60 |  64 |   9 |  60 |  19 |  24 |  20k|6270 | 0.000000e+00 |      --      |    Inf 
1245.72/1246.20	c  1203s|  2410k|485233 |  7239k| 245M|  54 |   7 |  60 |  86 |   7 |  60 |  19 |  24 |  20k|6272 | 0.000000e+00 |      --      |    Inf 
1251.01/1251.56	c  1208s|  2420k|487172 |  7270k| 246M|  54 |   7 |  60 |  55 |   7 |  60 |  19 |  24 |  20k|6276 | 0.000000e+00 |      --      |    Inf 
1256.31/1256.86	c  1214s|  2430k|489012 |  7302k| 247M|  54 |   - |  60 |  42 |   8 |  60 |  19 |  24 |  20k|6288 | 0.000000e+00 |      --      |    Inf 
1261.50/1262.08	c  1219s|  2440k|490788 |  7331k| 248M|  54 |   - |  60 |  50 |   8 |  60 |  19 |  24 |  20k|6297 | 0.000000e+00 |      --      |    Inf 
1266.80/1267.38	c  1224s|  2450k|492421 |  7362k| 249M|  54 |   7 |  60 |  47 |   7 |  60 |  19 |  24 |  20k|6301 | 0.000000e+00 |      --      |    Inf 
1272.11/1272.63	c  1229s|  2460k|494015 |  7391k| 250M|  54 |   - |  60 |  41 |   7 |  60 |  19 |  24 |  20k|6305 | 0.000000e+00 |      --      |    Inf 
1277.30/1277.86	c  1234s|  2470k|495807 |  7422k| 251M|  54 |   - |  60 |  49 |   8 |  60 |  19 |  24 |  20k|6316 | 0.000000e+00 |      --      |    Inf 
1282.59/1283.10	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1282.59/1283.10	c  1239s|  2480k|497692 |  7453k| 252M|  54 |   7 |  60 |  68 |   7 |  60 |  19 |  24 |  20k|6327 | 0.000000e+00 |      --      |    Inf 
1287.79/1288.33	c  1244s|  2490k|499547 |  7483k| 253M|  54 |   7 |  60 |  76 |  11 |  60 |  19 |  24 |  20k|6335 | 0.000000e+00 |      --      |    Inf 
1292.90/1293.50	c  1249s|  2500k|501366 |  7511k| 254M|  54 |   - |  60 |  54 |   7 |  60 |  19 |  24 |  21k|6339 | 0.000000e+00 |      --      |    Inf 
1298.10/1298.64	c  1254s|  2510k|503463 |  7541k| 255M|  54 |   - |  60 |  72 |   7 |  60 |  19 |  24 |  21k|6342 | 0.000000e+00 |      --      |    Inf 
1303.29/1303.89	c  1259s|  2520k|505264 |  7572k| 256M|  54 |   - |  60 |  54 |   8 |  60 |  19 |  24 |  21k|6351 | 0.000000e+00 |      --      |    Inf 
1308.58/1309.17	c  1264s|  2530k|507051 |  7602k| 257M|  54 |   7 |  60 |  48 |   8 |  60 |  19 |  24 |  21k|6354 | 0.000000e+00 |      --      |    Inf 
1313.78/1314.38	c  1269s|  2540k|508596 |  7631k| 257M|  54 |   7 |  60 |  64 |   7 |  60 |  19 |  24 |  21k|6356 | 0.000000e+00 |      --      |    Inf 
1319.08/1319.61	c  1274s|  2550k|510420 |  7661k| 258M|  54 |   - |  60 |  58 |   7 |  60 |  19 |  24 |  21k|6359 | 0.000000e+00 |      --      |    Inf 
1324.38/1324.99	c  1279s|  2560k|511820 |  7693k| 259M|  54 |   7 |  60 |  48 |   7 |  60 |  19 |  24 |  21k|6361 | 0.000000e+00 |      --      |    Inf 
1329.68/1330.25	c  1285s|  2570k|513611 |  7723k| 260M|  54 |   - |  60 |  68 |  13 |  60 |  19 |  24 |  21k|6365 | 0.000000e+00 |      --      |    Inf 
1334.88/1335.44	c  1290s|  2580k|515617 |  7752k| 261M|  54 |   - |  60 |  62 |   7 |  60 |  19 |  24 |  21k|6375 | 0.000000e+00 |      --      |    Inf 
1340.08/1340.61	c  1295s|  2590k|517638 |  7781k| 262M|  54 |   7 |  60 |  65 |   7 |  60 |  19 |  24 |  21k|6384 | 0.000000e+00 |      --      |    Inf 
1345.27/1345.88	c  1300s|  2600k|519394 |  7812k| 263M|  54 |   - |  60 |  59 |   7 |   0 |   0 |  24 |  21k|6392 | 0.000000e+00 |      --      |    Inf 
1350.56/1351.15	c  1305s|  2610k|521324 |  7841k| 264M|  54 |   - |  60 |  42 |   9 |  60 |  19 |  24 |  22k|6396 | 0.000000e+00 |      --      |    Inf 
1355.87/1356.40	c  1310s|  2620k|523033 |  7872k| 265M|  54 |   - |  60 |  41 |   9 |  60 |  19 |  24 |  22k|6402 | 0.000000e+00 |      --      |    Inf 
1361.06/1361.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1361.06/1361.68	c  1315s|  2630k|524685 |  7903k| 266M|  54 |   7 |  60 |  30 |   7 |  60 |  19 |  24 |  22k|6408 | 0.000000e+00 |      --      |    Inf 
1366.36/1366.96	c  1320s|  2640k|526535 |  7934k| 267M|  54 |   - |  60 |  49 |   9 |  60 |  19 |  24 |  22k|6415 | 0.000000e+00 |      --      |    Inf 
1371.66/1372.23	c  1325s|  2650k|528183 |  7963k| 268M|  54 |   7 |  60 |  32 |   8 |  60 |  19 |  24 |  22k|6426 | 0.000000e+00 |      --      |    Inf 
1376.85/1377.45	c  1330s|  2660k|529623 |  7992k| 269M|  54 |   7 |  60 |  14 |   7 |  60 |  19 |  24 |  22k|6430 | 0.000000e+00 |      --      |    Inf 
1382.06/1382.62	c  1335s|  2670k|531252 |  8020k| 269M|  54 |   - |  60 |  29 |   8 |   0 |   0 |  24 |  22k|6438 | 0.000000e+00 |      --      |    Inf 
1387.26/1387.89	c  1340s|  2680k|532928 |  8050k| 270M|  54 |   - |  60 |  23 |   7 |  60 |  19 |  24 |  22k|6446 | 0.000000e+00 |      --      |    Inf 
1392.45/1393.07	c  1345s|  2690k|534789 |  8079k| 271M|  54 |   7 |  60 |  22 |   7 |  60 |  19 |  24 |  22k|6458 | 0.000000e+00 |      --      |    Inf 
1397.55/1398.19	c  1350s|  2700k|536525 |  8108k| 272M|  54 |   7 |  60 |  21 |   7 |  60 |  19 |  24 |  22k|6461 | 0.000000e+00 |      --      |    Inf 
1402.85/1403.40	c  1355s|  2710k|538135 |  8137k| 273M|  54 |   7 |  60 |  19 |   7 |  60 |  19 |  24 |  22k|6469 | 0.000000e+00 |      --      |    Inf 
1407.95/1408.59	c  1360s|  2720k|540507 |  8166k| 274M|  54 |   7 |  60 |  29 |   7 |  60 |  19 |  24 |  22k|6473 | 0.000000e+00 |      --      |    Inf 
1413.15/1413.73	c  1365s|  2730k|542807 |  8194k| 275M|  54 |   7 |  60 |  33 |   7 |  60 |  19 |  24 |  22k|6482 | 0.000000e+00 |      --      |    Inf 
1418.24/1418.80	c  1370s|  2740k|544911 |  8221k| 277M|  54 |   7 |  60 |  38 |   7 |  60 |  19 |  24 |  23k|6486 | 0.000000e+00 |      --      |    Inf 
1423.44/1424.05	c  1375s|  2750k|546444 |  8250k| 277M|  54 |   - |  60 |  24 |   8 |  60 |  19 |  24 |  23k|6493 | 0.000000e+00 |      --      |    Inf 
1428.74/1429.31	c  1380s|  2760k|548598 |  8281k| 278M|  54 |   7 |  60 |  30 |   8 |  60 |  19 |  24 |  23k|6502 | 0.000000e+00 |      --      |    Inf 
1433.93/1434.52	c  1385s|  2770k|550526 |  8311k| 279M|  54 |   7 |  60 |  33 |   7 |  60 |  19 |  24 |  23k|6512 | 0.000000e+00 |      --      |    Inf 
1439.13/1439.77	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1439.13/1439.77	c  1390s|  2780k|552461 |  8341k| 280M|  54 |   7 |  60 |  36 |   8 |  60 |  19 |  24 |  23k|6522 | 0.000000e+00 |      --      |    Inf 
1444.43/1445.05	c  1395s|  2790k|554111 |  8371k| 281M|  54 |   7 |  60 |  28 |   8 |  60 |  19 |  24 |  23k|6536 | 0.000000e+00 |      --      |    Inf 
1449.63/1450.26	c  1400s|  2800k|555966 |  8400k| 282M|  54 |   7 |  60 |  38 |   9 |  60 |  19 |  24 |  23k|6538 | 0.000000e+00 |      --      |    Inf 
1454.73/1455.33	c  1405s|  2810k|557825 |  8428k| 283M|  54 |   - |  60 |  48 |   7 |  60 |  19 |  24 |  23k|6544 | 0.000000e+00 |      --      |    Inf 
1459.92/1460.53	c  1410s|  2820k|559445 |  8457k| 284M|  54 |   - |  60 |  39 |  10 |  60 |  19 |  24 |  23k|6551 | 0.000000e+00 |      --      |    Inf 
1465.22/1465.87	c  1416s|  2830k|561192 |  8489k| 285M|  54 |   7 |  60 |  48 |   7 |  60 |  19 |  24 |  23k|6556 | 0.000000e+00 |      --      |    Inf 
1470.52/1471.16	c  1421s|  2840k|562760 |  8519k| 286M|  54 |   7 |  60 |  29 |   7 |  60 |  19 |  24 |  23k|6567 | 0.000000e+00 |      --      |    Inf 
1475.81/1476.49	c  1426s|  2850k|564686 |  8552k| 287M|  54 |   - |  60 |  50 |  10 |  60 |  19 |  24 |  23k|6572 | 0.000000e+00 |      --      |    Inf 
1481.12/1481.73	c  1431s|  2860k|566536 |  8582k| 288M|  54 |   7 |  60 |  52 |   7 |  60 |  19 |  24 |  23k|6578 | 0.000000e+00 |      --      |    Inf 
1486.52/1487.10	c  1436s|  2870k|568190 |  8614k| 289M|  54 |   7 |  60 |  45 |   8 |  60 |  19 |  24 |  23k|6585 | 0.000000e+00 |      --      |    Inf 
1491.81/1492.48	c  1441s|  2880k|569616 |  8645k| 290M|  54 |   7 |  60 |  33 |   8 |  60 |  19 |  24 |  24k|6591 | 0.000000e+00 |      --      |    Inf 
1497.11/1497.74	c  1446s|  2890k|571182 |  8675k| 290M|  54 |   - |  60 |  34 |   9 |   0 |   0 |  24 |  24k|6595 | 0.000000e+00 |      --      |    Inf 
1502.41/1503.01	c  1451s|  2900k|573124 |  8706k| 291M|  54 |   7 |  60 |  50 |   7 |  60 |  19 |  24 |  24k|6600 | 0.000000e+00 |      --      |    Inf 
1507.71/1508.32	c  1456s|  2910k|574701 |  8736k| 292M|  54 |   - |  60 |  31 |   8 |  60 |  19 |  24 |  24k|6611 | 0.000000e+00 |      --      |    Inf 
1512.90/1513.59	c  1462s|  2920k|576237 |  8765k| 293M|  54 |   - |  60 |  30 |   7 |  60 |  19 |  24 |  24k|6616 | 0.000000e+00 |      --      |    Inf 
1518.10/1518.77	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1518.10/1518.77	c  1467s|  2930k|577963 |  8794k| 294M|  54 |   7 |  60 |  32 |   7 |  60 |  19 |  24 |  24k|6627 | 0.000000e+00 |      --      |    Inf 
1523.40/1524.05	c  1472s|  2940k|579756 |  8823k| 295M|  54 |   - |  60 |  36 |   7 |  60 |  19 |  24 |  24k|6633 | 0.000000e+00 |      --      |    Inf 
1528.69/1529.30	c  1477s|  2950k|581563 |  8852k| 296M|  54 |   - |  60 |  28 |   7 |  60 |  19 |  24 |  24k|6643 | 0.000000e+00 |      --      |    Inf 
1533.90/1534.52	c  1482s|  2960k|583483 |  8883k| 297M|  54 |   - |  60 |  47 |   9 |  60 |  19 |  24 |  24k|6650 | 0.000000e+00 |      --      |    Inf 
1539.10/1539.73	c  1487s|  2970k|585508 |  8913k| 298M|  54 |   7 |  60 |  57 |   8 |  60 |  19 |  24 |  24k|6655 | 0.000000e+00 |      --      |    Inf 
1544.19/1544.90	c  1492s|  2980k|587429 |  8941k| 299M|  54 |   - |  60 |  58 |   6 |   0 |   0 |  24 |  24k|6662 | 0.000000e+00 |      --      |    Inf 
1549.38/1550.07	c  1497s|  2990k|589300 |  8969k| 300M|  54 |   7 |  60 |  46 |   7 |  60 |  19 |  24 |  24k|6672 | 0.000000e+00 |      --      |    Inf 
1554.69/1555.35	c  1502s|  3000k|590792 |  8998k| 301M|  54 |   7 |  60 |  32 |   7 |  60 |  19 |  24 |  25k|6676 | 0.000000e+00 |      --      |    Inf 
1559.89/1560.60	c  1507s|  3010k|592973 |  9029k| 302M|  54 |   7 |  60 |  55 |  14 |  60 |  19 |  24 |  25k|6681 | 0.000000e+00 |      --      |    Inf 
1565.19/1565.87	c  1512s|  3020k|594922 |  9060k| 303M|  54 |   - |  60 |  60 |   7 |  60 |  19 |  24 |  25k|6691 | 0.000000e+00 |      --      |    Inf 
1570.58/1571.26	c  1517s|  3030k|596330 |  9091k| 304M|  54 |   7 |  60 |  32 |   8 |  60 |  19 |  24 |  25k|6695 | 0.000000e+00 |      --      |    Inf 
1575.88/1576.53	c  1522s|  3040k|597877 |  9121k| 304M|  54 |   - |  60 |  27 |   7 |  60 |  19 |  24 |  25k|6701 | 0.000000e+00 |      --      |    Inf 
1581.19/1581.80	c  1527s|  3050k|599557 |  9150k| 305M|  54 |   7 |  60 |  35 |   8 |  60 |  19 |  24 |  25k|6705 | 0.000000e+00 |      --      |    Inf 
1586.37/1587.06	c  1533s|  3060k|601897 |  9180k| 306M|  54 |   - |  60 |  44 |  10 |  60 |  19 |  24 |  25k|6717 | 0.000000e+00 |      --      |    Inf 
1591.57/1592.28	c  1538s|  3070k|603689 |  9208k| 307M|  54 |   7 |  60 |  33 |   8 |  60 |  19 |  24 |  25k|6728 | 0.000000e+00 |      --      |    Inf 
1596.87/1597.51	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1596.87/1597.51	c  1543s|  3080k|605612 |  9238k| 308M|  54 |   - |  60 |  37 |   7 |  60 |  19 |  24 |  25k|6737 | 0.000000e+00 |      --      |    Inf 
1602.07/1602.73	c  1548s|  3090k|607317 |  9268k| 309M|  54 |   - |  60 |  32 |   7 |  60 |  19 |  24 |  25k|6741 | 0.000000e+00 |      --      |    Inf 
1607.27/1607.95	c  1553s|  3100k|608842 |  9296k| 310M|  54 |   - |  60 |  32 |   7 |   0 |   0 |  24 |  25k|6747 | 0.000000e+00 |      --      |    Inf 
1612.46/1613.19	c  1558s|  3110k|610692 |  9325k| 311M|  54 |   - |  60 |  48 |   7 |  60 |  19 |  24 |  25k|6754 | 0.000000e+00 |      --      |    Inf 
1617.87/1618.51	c  1563s|  3120k|612611 |  9357k| 312M|  54 |   - |  60 |  56 |  13 |  60 |  19 |  24 |  25k|6758 | 0.000000e+00 |      --      |    Inf 
1623.16/1623.81	c  1568s|  3130k|614356 |  9386k| 313M|  54 |   7 |  60 |  40 |   7 |  60 |  19 |  24 |  25k|6770 | 0.000000e+00 |      --      |    Inf 
1628.55/1629.21	c  1573s|  3140k|615953 |  9417k| 314M|  54 |   - |  60 |  40 |   7 |  60 |  19 |  24 |  26k|6777 | 0.000000e+00 |      --      |    Inf 
1633.86/1634.55	c  1578s|  3150k|617389 |  9447k| 315M|  54 |   7 |  60 |  36 |   7 |  60 |  19 |  24 |  26k|6781 | 0.000000e+00 |      --      |    Inf 
1639.15/1639.81	c  1584s|  3160k|618817 |  9476k| 316M|  54 |   - |  60 |  29 |   7 |  60 |  19 |  24 |  26k|6791 | 0.000000e+00 |      --      |    Inf 
1644.35/1645.08	c  1589s|  3170k|620543 |  9506k| 316M|  54 |   7 |  60 |  30 |   7 |  60 |  19 |  24 |  26k|6800 | 0.000000e+00 |      --      |    Inf 
1649.74/1650.40	c  1594s|  3180k|622061 |  9536k| 317M|  54 |   7 |  60 |  33 |  12 |  60 |  19 |  24 |  26k|6806 | 0.000000e+00 |      --      |    Inf 
1655.04/1655.73	c  1599s|  3190k|623651 |  9566k| 318M|  54 |   - |  60 |  31 |   7 |  60 |  19 |  24 |  26k|6822 | 0.000000e+00 |      --      |    Inf 
1660.35/1661.03	c  1604s|  3200k|625111 |  9596k| 319M|  54 |   - |  60 |  24 |   7 |  60 |  19 |  24 |  26k|6829 | 0.000000e+00 |      --      |    Inf 
1665.64/1666.32	c  1609s|  3210k|626873 |  9626k| 320M|  54 |   7 |  60 |  36 |   7 |  60 |  19 |  24 |  26k|6834 | 0.000000e+00 |      --      |    Inf 
1670.94/1671.64	c  1614s|  3220k|628313 |  9655k| 321M|  54 |   7 |  60 |  34 |   7 |  60 |  19 |  24 |  26k|6842 | 0.000000e+00 |      --      |    Inf 
1676.24/1676.93	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1676.24/1676.93	c  1619s|  3230k|629887 |  9687k| 322M|  54 |   7 |  60 |  29 |   7 |  60 |  19 |  24 |  26k|6847 | 0.000000e+00 |      --      |    Inf 
1681.54/1682.24	c  1625s|  3240k|631803 |  9719k| 323M|  54 |   7 |  60 |  42 |   7 |  60 |  19 |  24 |  26k|6855 | 0.000000e+00 |      --      |    Inf 
1686.74/1687.49	c  1630s|  3250k|634170 |  9751k| 324M|  54 |   7 |  60 |  59 |   8 |  60 |  19 |  24 |  26k|6859 | 0.000000e+00 |      --      |    Inf 
1692.14/1692.84	c  1635s|  3260k|636184 |  9783k| 325M|  54 |   7 |  60 |  68 |  16 |  60 |  19 |  24 |  26k|6871 | 0.000000e+00 |      --      |    Inf 
1697.33/1698.07	c  1640s|  3270k|637992 |  9813k| 326M|  54 |   7 |  60 |  46 |   7 |  60 |  19 |  24 |  26k|6878 | 0.000000e+00 |      --      |    Inf 
1702.53/1703.30	c  1645s|  3280k|639626 |  9843k| 326M|  54 |   - |  60 |  41 |   7 |  60 |  19 |  24 |  27k|6883 | 0.000000e+00 |      --      |    Inf 
1707.73/1708.50	c  1650s|  3290k|641332 |  9872k| 327M|  54 |   7 |  60 |  44 |  19 |  60 |  19 |  24 |  27k|6901 | 0.000000e+00 |      --      |    Inf 
1713.03/1713.78	c  1655s|  3300k|642992 |  9902k| 328M|  54 |   7 |  60 |  41 |   8 |  60 |  19 |  24 |  27k|6906 | 0.000000e+00 |      --      |    Inf 
1718.43/1719.11	c  1660s|  3310k|644444 |  9934k| 329M|  54 |   7 |  60 |  46 |   7 |  60 |  19 |  24 |  27k|6914 | 0.000000e+00 |      --      |    Inf 
1723.62/1724.36	c  1665s|  3320k|646250 |  9963k| 330M|  54 |   7 |  60 |  42 |  12 |  60 |  19 |  24 |  27k|6923 | 0.000000e+00 |      --      |    Inf 
1728.92/1729.68	c  1670s|  3330k|647857 |  9994k| 331M|  54 |   - |  60 |  40 |   7 |  60 |  19 |  24 |  27k|6930 | 0.000000e+00 |      --      |    Inf 
1734.31/1735.02	c  1675s|  3340k|649331 | 10025k| 332M|  54 |   7 |  60 |  47 |   8 |  60 |  19 |  24 |  27k|6943 | 0.000000e+00 |      --      |    Inf 
1739.61/1740.30	c  1681s|  3350k|650979 | 10056k| 333M|  54 |   - |  60 |  47 |   9 |  60 |  19 |  24 |  27k|6950 | 0.000000e+00 |      --      |    Inf 
1744.92/1745.64	c  1686s|  3360k|652761 | 10087k| 334M|  54 |   7 |  60 |  63 |   7 |  60 |  19 |  24 |  27k|6959 | 0.000000e+00 |      --      |    Inf 
1750.21/1750.97	c  1691s|  3370k|654353 | 10118k| 334M|  54 |   - |  60 |  50 |   7 |  60 |  19 |  24 |  27k|6972 | 0.000000e+00 |      --      |    Inf 
1755.61/1756.33	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1755.61/1756.33	c  1696s|  3380k|655935 | 10150k| 335M|  54 |   7 |  60 |  45 |   8 |  60 |  19 |  24 |  27k|6978 | 0.000000e+00 |      --      |    Inf 
1760.81/1761.59	c  1701s|  3390k|657820 | 10180k| 336M|  54 |   7 |  60 |  63 |   7 |  60 |  19 |  24 |  27k|6984 | 0.000000e+00 |      --      |    Inf 
1766.10/1766.85	c  1706s|  3400k|659919 | 10210k| 337M|  54 |   7 |  60 |  58 |  11 |  60 |  19 |  24 |  28k|6989 | 0.000000e+00 |      --      |    Inf 
1771.30/1772.08	c  1711s|  3410k|662258 | 10238k| 338M|  54 |   7 |  60 |  57 |   8 |  60 |  19 |  24 |  28k|7004 | 0.000000e+00 |      --      |    Inf 
1776.40/1777.18	c  1716s|  3420k|664422 | 10266k| 340M|  54 |   7 |  60 |  54 |   7 |  60 |  19 |  24 |  28k|7014 | 0.000000e+00 |      --      |    Inf 
1781.50/1782.29	c  1721s|  3430k|666374 | 10294k| 341M|  54 |   - |  60 |  56 |   7 |  60 |  19 |  24 |  28k|7021 | 0.000000e+00 |      --      |    Inf 
1786.70/1787.48	c  1726s|  3440k|668441 | 10321k| 342M|  54 |   - |  60 |  56 |   7 |  60 |  19 |  24 |  28k|7029 | 0.000000e+00 |      --      |    Inf 
1791.99/1792.70	c  1731s|  3450k|670201 | 10350k| 342M|  54 |   - |  60 |  32 |   8 |  60 |  19 |  24 |  28k|7036 | 0.000000e+00 |      --      |    Inf 
1797.19/1797.99	c  1736s|  3460k|671677 | 10379k| 343M|  54 |   7 |  60 |  28 |   7 |  60 |  19 |  24 |  28k|7042 | 0.000000e+00 |      --      |    Inf 
1800.09/1800.80	c 
1800.09/1800.80	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.80	c Solving Time (sec) : 1739.00
1800.09/1800.80	c Solving Nodes      : 3465285
1800.09/1800.80	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.09/1800.80	c Dual Bound         : +0.00000000000000e+00
1800.09/1800.80	c Gap                : infinite
1800.09/1800.80	c NODE         3465285
1800.09/1800.80	c DUAL BOUND   0
1800.09/1800.80	c PRIMAL BOUND 1e+20
1800.09/1800.80	c GAP          1e+20
1800.09/1800.80	s UNKNOWN
1800.09/1800.80	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.80	c Solving Time       :    1739.00
1800.09/1800.80	c Original Problem   :
1800.09/1800.80	c   Problem name     : HOME/instance-1869525-1245176506.opb
1800.09/1800.80	c   Variables        : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.80	c   Constraints      : 15 initial, 15 maximal
1800.09/1800.80	c Presolved Problem  :
1800.09/1800.80	c   Problem name     : t_HOME/instance-1869525-1245176506.opb
1800.09/1800.80	c   Variables        : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.80	c   Constraints      : 7 initial, 154 maximal
1800.09/1800.80	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.80	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.80	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.09/1800.80	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.80	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.80	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.80	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.09/1800.80	c   linear           :       0.00          0          0          0          0          0          8          0          0
1800.09/1800.80	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.80	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.80	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.80	c   integral         :          0          0          0    2072499          0        683       2953          0          0    4138360
1800.09/1800.80	c   linear           :          7          6    4045714          0          0     170142    4755530          0          0          0
1800.09/1800.80	c   logicor          :          0+         0    1035672          0          0         46      23888          0          0          0
1800.09/1800.80	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.80	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.80	c   integral         :      25.23       0.00       0.00      25.23       0.00
1800.09/1800.80	c   linear           :     265.64       0.00     265.64       0.00       0.00
1800.09/1800.80	c   logicor          :       2.66       0.00       2.66       0.00       0.00
1800.09/1800.80	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.80	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.80	c   rootredcost      :       1.96          0          0          0
1800.09/1800.80	c   pseudoobj        :       1.05          0          0          0
1800.09/1800.80	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.80	c   propagation      :      21.72     170188      16361      36633       44.2          0        0.0          -
1800.09/1800.80	c   infeasible LP    :      16.65    1226249      11280      12719       26.1          0        0.0          0
1800.09/1800.80	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.80	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.80	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.80	c   applied globally :          -          -          -      11367       24.8          -          -          -
1800.09/1800.80	c   applied locally  :          -          -          -      16941       42.2          -          -          -
1800.09/1800.80	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.80	c   cut pool         :       0.00          5          -          -         16          -    (maximal pool size: 108)
1800.09/1800.80	c   redcost          :       5.28    2072503          0          0          0          0
1800.09/1800.80	c   impliedbounds    :       0.00          6          0          0          0          0
1800.09/1800.80	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.80	c   gomory           :       0.00          6          0          0          0          0
1800.09/1800.80	c   strongcg         :       0.01          6          0          0         59          0
1800.09/1800.80	c   cmir             :       0.03          6          0          0         27          0
1800.09/1800.80	c   flowcover        :       0.04          6          0          0         34          0
1800.09/1800.80	c   clique           :       0.00          1          0          0          0          0
1800.09/1800.80	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.80	c   mcf              :       0.00          1          0          0          0          0
1800.09/1800.80	c Pricers            :       Time      Calls       Vars
1800.09/1800.80	c   problem variables:       0.00          0          0
1800.09/1800.80	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.80	c   relpscost        :      22.95    2072499        683       2953          0          0    4138360
1800.09/1800.80	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.80	c   inference        :       0.00          0          0          0          0          0          0
1800.09/1800.80	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.80	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.80	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.80	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.80	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.80	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.80	c   LP solutions     :       0.00          -          0
1800.09/1800.80	c   pseudo solutions :       0.00          -          0
1800.09/1800.80	c   oneopt           :       1.75          0          0
1800.09/1800.80	c   crossover        :       0.85          0          0
1800.09/1800.80	c   guideddiving     :       0.11          0          0
1800.09/1800.80	c   coefdiving       :       0.28         72          0
1800.09/1800.81	c   fracdiving       :       0.24         72          0
1800.09/1800.81	c   pscostdiving     :       0.23         73          0
1800.09/1800.81	c   veclendiving     :       0.25         73          0
1800.09/1800.81	c   linesearchdiving :       0.23         73          0
1800.09/1800.81	c   feaspump         :       0.19         37          0
1800.09/1800.81	c   objpscostdiving  :       0.18         37          0
1800.09/1800.81	c   rootsoldiving    :       0.12         37          0
1800.09/1800.81	c   simplerounding   :       1.08          0          0
1800.09/1800.81	c   rounding         :       2.22      20372          0
1800.09/1800.81	c   shifting         :       5.92       6366          0
1800.09/1800.81	c   intshifting      :       0.06          0          0
1800.09/1800.81	c   fixandinfer      :       0.00          0          0
1800.09/1800.81	c   intdiving        :       0.00          0          0
1800.09/1800.81	c   actconsdiving    :       0.00          0          0
1800.09/1800.81	c   octane           :       0.00          0          0
1800.09/1800.81	c   rens             :       0.04          1          0
1800.09/1800.81	c   rins             :       0.00          0          0
1800.09/1800.81	c   localbranching   :       0.00          0          0
1800.09/1800.81	c   mutation         :       0.00          0          0
1800.09/1800.81	c   dins             :       0.00          0          0
1800.09/1800.81	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.81	c   primal LP        :       0.00          0          0       0.00          -
1800.09/1800.81	c   dual LP          :    1192.06    3491330   10392991       2.98    8718.51
1800.09/1800.81	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.81	c   diving/probing LP:       0.82       2117       4111       1.94    5013.41
1800.09/1800.81	c   strong branching :       1.94       7052      49140       6.97   25329.90
1800.09/1800.81	c     (at root node) :          -         19        770      40.53          -
1800.09/1800.81	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.81	c B&B Tree           :
1800.09/1800.81	c   number of runs   :          1
1800.09/1800.81	c   nodes            :    3465285
1800.09/1800.81	c   nodes (total)    :    3465285
1800.09/1800.81	c   nodes left       :     672878
1800.09/1800.81	c   max depth        :         54
1800.09/1800.81	c   max depth (total):         54
1800.09/1800.81	c   backtracks       :     390383 (11.3%)
1800.09/1800.81	c   delayed cutoffs  :        198
1800.09/1800.81	c   repropagations   :      43731 (24478 domain reductions, 192 cutoffs)
1800.09/1800.81	c   avg switch length:       4.34
1800.09/1800.81	c   switching time   :      84.31
1800.09/1800.81	c Solution           :
1800.09/1800.81	c   Solutions found  :          0 (0 improvements)
1800.09/1800.81	c   Primal Bound     :          -
1800.09/1800.81	c   Dual Bound       : +0.00000000000000e+00
1800.09/1800.81	c   Gap              :   infinite
1800.09/1800.81	c   Root Dual Bound  : +0.00000000000000e+00

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 5214
/proc/meminfo: memFree=1837520/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=5812 CPUtime=0
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 185251388 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/5214/statm: 1453 508 337 1256 0 192 0

[startup+0.032048 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 5214
/proc/meminfo: memFree=1837520/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=14208 CPUtime=0.02
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 2843 0 0 0 2 0 0 0 18 0 1 0 185251388 14548992 2473 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 3552 2473 635 1256 0 2291 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14208

[startup+0.101061 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 5214
/proc/meminfo: memFree=1837520/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=14760 CPUtime=0.08
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 2913 0 0 0 8 0 0 0 18 0 1 0 185251388 15114240 2543 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 3690 2543 659 1256 0 2429 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14760

[startup+0.3011 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 5214
/proc/meminfo: memFree=1837520/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=15872 CPUtime=0.29
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 4591 0 0 0 26 3 0 0 19 0 1 0 185251388 16252928 2640 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 3968 2640 689 1256 0 2707 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15872

[startup+0.701177 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 5214
/proc/meminfo: memFree=1837520/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=16032 CPUtime=0.69
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 4607 0 0 0 65 4 0 0 22 0 1 0 185251388 16416768 2656 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 4008 2656 692 1256 0 2747 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16032

[startup+1.50133 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1829448/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=16336 CPUtime=1.49
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 4663 0 0 0 143 6 0 0 25 0 1 0 185251388 16728064 2712 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 4084 2712 692 1256 0 2823 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16336

[startup+3.10165 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1829064/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=16336 CPUtime=3.09
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 4755 0 0 0 298 11 0 0 25 0 1 0 185251388 16728064 2804 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 4084 2804 692 1256 0 2823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16336

[startup+6.30127 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1827784/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=18840 CPUtime=6.29
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 5118 0 0 0 608 21 0 0 25 0 1 0 185251388 19292160 3167 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 4710 3167 692 1256 0 3449 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18840

[startup+12.7025 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1826312/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=20304 CPUtime=12.69
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 5495 0 0 0 1228 41 0 0 25 0 1 0 185251388 20791296 3544 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 5076 3544 692 1256 0 3815 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20304

[startup+25.501 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1822472/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=23852 CPUtime=25.48
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 6340 0 0 0 2467 81 0 0 25 0 1 0 185251388 24424448 4389 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 5963 4389 692 1256 0 4702 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23852

[startup+51.1011 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1816840/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=29420 CPUtime=51.07
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 7744 0 0 0 4939 168 0 0 25 0 1 0 185251388 30126080 5793 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 7355 5793 692 1256 0 6094 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29420

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1805832/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=40132 CPUtime=102.25
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 10478 0 0 0 9880 345 0 0 25 0 1 0 185251388 41095168 8527 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 10033 8527 692 1256 0 8772 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 40132

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1791944/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=55136 CPUtime=162.23
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 13938 0 0 0 15664 559 0 0 25 0 1 0 185251388 56459264 11987 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 13784 11987 692 1256 0 12523 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 55136

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1779080/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=67480 CPUtime=222.21
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 17138 0 0 0 21456 765 0 0 25 0 1 0 185251388 69099520 15187 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 16870 15187 692 1256 0 15609 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 67480

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1766792/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=80432 CPUtime=282.18
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 20198 0 0 0 27250 968 0 0 25 0 1 0 185251388 82362368 18247 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 20108 18247 692 1256 0 18847 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 80432

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1754760/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=92616 CPUtime=342.17
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 23189 0 0 0 33043 1174 0 0 25 0 1 0 185251388 94838784 21238 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 23154 21238 692 1256 0 21893 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 92616

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1742920/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=104496 CPUtime=402.14
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 26121 0 0 0 38834 1380 0 0 25 0 1 0 185251388 107003904 24169 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 26124 24169 692 1256 0 24863 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 104496

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1730184/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=116776 CPUtime=462.12
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 29279 0 0 0 44626 1586 0 0 25 0 1 0 185251388 119578624 27327 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 29194 27327 692 1256 0 27933 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 116776

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1716616/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=133192 CPUtime=522.1
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 32726 0 0 0 50418 1792 0 0 25 0 1 0 185251388 136388608 30774 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 33298 30774 692 1256 0 32037 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 133192

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1704584/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=144520 CPUtime=582.07
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 35620 0 0 0 56219 1988 0 0 25 0 1 0 185251388 147988480 33668 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 36130 33668 692 1256 0 34869 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 144520

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1691848/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=157348 CPUtime=642.05
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 38777 0 0 0 62011 2194 0 0 25 0 1 0 185251388 161124352 36825 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 39337 36825 692 1256 0 38076 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 157348

[startup+702.302 s]

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

/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 58573 0 0 0 102575 3613 0 0 25 0 1 0 185251388 242761728 56620 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 59268 56620 692 1256 0 58007 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 237072

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1600648/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=248300 CPUtime=1121.86
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 61425 0 0 0 108364 3822 0 0 25 0 1 0 185251388 254259200 59471 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 62075 59471 692 1256 0 60814 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 248300

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1588936/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=268204 CPUtime=1181.84
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 64367 0 0 0 114156 4028 0 0 25 0 1 0 185251388 274640896 62413 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 67051 62413 692 1256 0 65790 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 268204

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1577864/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=278248 CPUtime=1241.81
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 67042 0 0 0 119950 4231 0 0 25 0 1 0 185251388 284925952 65088 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 69562 65088 692 1256 0 68301 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 278248

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1567176/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=289688 CPUtime=1301.79
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 69689 0 0 0 125750 4429 0 0 25 0 1 0 185251388 296640512 67735 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 72422 67735 692 1256 0 71161 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 289688

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1555912/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=300436 CPUtime=1361.76
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 72458 0 0 0 131547 4629 0 0 25 0 1 0 185251388 307646464 70504 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 75109 70504 692 1256 0 73848 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 300436

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1544392/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=312100 CPUtime=1421.74
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 75309 0 0 0 137341 4833 0 0 25 0 1 0 185251388 319590400 73355 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 78025 73355 692 1256 0 76764 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 312100

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1532872/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=322876 CPUtime=1481.71
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 78161 0 0 0 143139 5032 0 0 25 0 1 0 185251388 330625024 76207 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 80719 76207 692 1256 0 79458 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 322876

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1521608/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=334088 CPUtime=1541.7
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 80955 0 0 0 148929 5241 0 0 25 0 1 0 185251388 342106112 79001 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 83522 79001 692 1256 0 82261 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 334088

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1511048/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=343940 CPUtime=1601.67
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 83573 0 0 0 154725 5442 0 0 25 0 1 0 185251388 352194560 81619 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 85985 81619 692 1256 0 84724 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 343940

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1501128/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=354400 CPUtime=1661.65
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 86031 0 0 0 160522 5643 0 0 25 0 1 0 185251388 362905600 84077 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 88600 84077 692 1256 0 87339 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 354400

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1490568/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=364764 CPUtime=1721.62
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 88670 0 0 0 166318 5844 0 0 25 0 1 0 185251388 373518336 86716 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 91191 86716 692 1256 0 89930 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 364764

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5215
/proc/meminfo: memFree=1479304/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=375820 CPUtime=1781.6
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 91541 0 0 0 172112 6048 0 0 25 0 1 0 185251388 384839680 89587 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 93955 89587 692 1256 0 92694 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 375820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5217
/proc/meminfo: memFree=1475080/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=379948 CPUtime=1800.09
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 92473 0 0 0 173900 6109 0 0 25 0 1 0 185251388 389066752 90519 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5214/statm: 94987 90519 692 1256 0 93726 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 379948

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -5214

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5217
/proc/meminfo: memFree=1475080/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=379948 CPUtime=1800.68
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 92474 0 0 0 173959 6109 0 0 25 0 1 0 185251388 389066752 90520 1992294400 4194304 9342243 548682068736 18446744073709551615 4805745 0 0 4096 0 0 0 0 17 1 0 0
/proc/5214/statm: 94987 90520 693 1256 0 93726 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 379948

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 5218
/proc/meminfo: memFree=1475072/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=379948 CPUtime=1801.48
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 92474 0 0 0 174039 6109 0 0 25 0 1 0 185251388 389066752 90520 1992294400 4194304 9342243 548682068736 18446744073709551615 5854449 0 0 4096 0 0 0 0 17 1 0 0
/proc/5214/statm: 94987 90520 693 1256 0 93726 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 379948

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 5218
/proc/meminfo: memFree=1475072/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=379948 CPUtime=1801.88
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 92474 0 0 0 174079 6109 0 0 25 0 1 0 185251388 389066752 90520 1992294400 4194304 9342243 548682068736 18446744073709551615 4745386 0 0 4096 0 0 0 0 17 1 0 0
/proc/5214/statm: 94987 90520 693 1256 0 93726 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 379948

[startup+1802.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 5218
/proc/meminfo: memFree=1475072/2055924 swapFree=4191900/4192956
[pid=5214] ppid=5212 vsize=379948 CPUtime=1802.08
/proc/5214/stat : 5214 (pbscip.linux.x8) R 5212 5214 5097 0 -1 4194304 92474 0 0 0 174099 6109 0 0 25 0 1 0 185251388 389066752 90520 1992294400 4194304 9342243 548682068736 18446744073709551615 5854449 0 0 4096 0 0 0 0 17 1 0 0
/proc/5214/statm: 94987 90520 693 1256 0 93726 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 379948

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.87
CPU time (s): 1802.16
CPU user time (s): 1741
CPU system time (s): 61.1587
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 379948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1741
system time used= 61.1587
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92474
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= 2
involuntary context switches= 2592

runsolver used 1.3048 second user time and 3.81842 second system time

The end

Launcher Data

Begin job on node6 at 2009-06-16 20:21:46
IDJOB=1869525
IDBENCH=2917
IDSOLVER=684
FILE ID=node6/1869525-1245176506
PBS_JOBID= 9363924
Free space on /tmp= 66240 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_4.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869525-1245176506/watcher-1869525-1245176506 -o /tmp/evaluation-result-1869525-1245176506/solver-1869525-1245176506 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869525-1245176506.opb

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

MD5SUM BENCH= dc0116cc9dd2d87e5a6934d46be3ef43
RANDOM SEED=571762801

node6.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1837936 kB
Buffers:         41544 kB
Cached:         105280 kB
SwapCached:        260 kB
Active:          51804 kB
Inactive:       108228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1837936 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           11736 kB
Writeback:           0 kB
Mapped:          21748 kB
Slab:            43956 kB
Committed_AS:   163296 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66232 MiB
End job on node6 at 2009-06-16 20:51:49