Trace number 2694060

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 NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverMSAT (TO) 1802.2 1802.21

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo
MD5SUM5c6d98aba4f4f2cf2db8cd0c78364d4c
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.007998
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables150
Total number of constraints25
Number of soft constraints25
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Top cost 979
Min constraint cost 1
Max constraint cost 88
Sum of constraints costs 978
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2694060-1277921956.wbo>
0.00/0.00	c original problem has 200 variables (175 bin, 0 int, 0 impl, 25 cont) and 51 constraints
0.00/0.00	c problem read
0.00/0.00	c presolving settings loaded
0.00/0.00	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00	o 978
0.00/0.00	c feasible solution found by trivial heuristic, objective value  9.780000e+02
0.00/0.00	c presolving:
0.00/0.00	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 25 impls, 0 clqs
0.00/0.00	c (round 2) 0 del vars, 1 del conss, 25 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 25 impls, 0 clqs
0.00/0.00	c    (0.0s) probing: 101/175 (57.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.00	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.00	c presolving (3 rounds):
0.00/0.00	c  0 deleted vars, 1 deleted constraints, 25 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.00	c  25 implications, 0 cliques
0.00/0.00	c presolved problem has 200 variables (175 bin, 0 int, 0 impl, 25 cont) and 50 constraints
0.00/0.00	c      25 constraints of type <indicator>
0.00/0.00	c      25 constraints of type <linear>
0.00/0.00	c transformed objective value is always integral (scale: 1)
0.00/0.00	c Presolving Time: 0.00
0.00/0.00	c - non default parameters ----------------------------------------------------------------------
0.00/0.00	c # SCIP version 1.2.1.2
0.00/0.00	c 
0.00/0.00	c # frequency for displaying node information lines
0.00/0.00	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.00	c display/freq = 10000
0.00/0.00	c 
0.00/0.00	c # maximal time in seconds to run
0.00/0.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00	c limits/time = 1800
0.00/0.00	c 
0.00/0.00	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00	c limits/memory = 3420
0.00/0.00	c 
0.00/0.00	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.00	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00	c lp/solvefreq = -1
0.00/0.00	c 
0.00/0.00	c # should presolving try to simplify inequalities
0.00/0.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00	c constraints/linear/simplifyinequalities = TRUE
0.00/0.00	c 
0.00/0.00	c # should presolving try to simplify knapsacks
0.00/0.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.00	c 
0.00/0.00	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.00	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00	c separating/rapidlearning/freq = 0
0.00/0.00	c 
0.00/0.00	c -----------------------------------------------------------------------------------------------
0.00/0.00	c start solving
0.00/0.01	c 
0.00/0.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.01	c t 0.0s|     1 |     2 |     0 |     - | 566k|   0 |   - | 200 |  50 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 9.780000e+02 |    Inf 
0.02/0.08	o 417
0.02/0.08	c * 0.1s|  1802 |  1620 |     0 |   0.0 |1524k| 138 |   - | 200 | 652 |   0 |   0 |   0 | 682 |   0 | 0.000000e+00 | 4.170000e+02 |    Inf 
0.59/0.68	c   0.5s| 10000 |  8834 |     0 |   0.0 |5126k| 138 |   - | 200 |1632 |   0 |   0 |   0 |4211 |   0 | 0.000000e+00 | 4.170000e+02 |    Inf 
1.39/1.42	c   1.1s| 20000 | 16996 |     0 |   0.0 |8670k| 138 |   - | 200 |1230 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 | 4.170000e+02 |    Inf 
2.29/2.35	o 159
2.29/2.35	c * 1.9s| 27865 | 21837 |     0 |   0.0 |  12M| 138 |   - | 200 |2045 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 | 1.590000e+02 |    Inf 
2.29/2.37	o 70
2.29/2.37	c * 1.9s| 28518 | 22262 |     0 |   0.0 |  12M| 138 |   - | 200 |1790 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
2.39/2.43	c   1.9s| 30000 | 23727 |     0 |   0.0 |  12M| 138 |   - | 200 |1080 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
2.99/3.01	c   2.3s| 40000 | 32412 |     0 |   0.0 |  16M| 138 |   - | 200 | 969 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
3.59/3.62	c   2.8s| 50000 | 40988 |     0 |   0.0 |  19M| 138 |   - | 200 | 977 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
4.19/4.23	c   3.2s| 60000 | 49500 |     0 |   0.0 |  23M| 138 |   - | 200 | 839 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
4.79/4.85	c   3.7s| 70000 | 57911 |     0 |   0.0 |  27M| 138 |   - | 200 | 917 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
5.40/5.49	c   4.1s| 80000 | 66254 |     0 |   0.0 |  31M| 138 |   - | 200 |1050 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
6.09/6.15	c   4.6s| 90000 | 74514 |     0 |   0.0 |  34M| 138 |   - | 200 |1066 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
6.80/6.84	c   5.2s|100000 | 82694 |     0 |   0.0 |  38M| 138 |   - | 200 |1211 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
7.49/7.56	c   5.7s|110000 | 90832 |     0 |   0.0 |  42M| 138 |   - | 200 |1111 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
8.30/8.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.30/8.30	c   6.3s|120000 | 98786 |     0 |   0.0 |  46M| 138 |   - | 200 |1158 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
9.00/9.08	c   6.9s|130000 |106635 |     0 |   0.0 |  50M| 138 |   - | 200 |1318 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
9.79/9.89	c   7.5s|140000 |114372 |     0 |   0.0 |  54M| 138 |   - | 200 |1488 |   0 |   0 |   0 |  79k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
10.70/10.75	c   8.2s|150000 |121952 |     0 |   0.0 |  58M| 138 |   - | 200 |1552 |   0 |   0 |   0 |  86k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
11.59/11.63	c   8.8s|160000 |129441 |     0 |   0.0 |  62M| 138 |   - | 200 |1483 |   0 |   0 |   0 |  93k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
12.49/12.58	c   9.6s|170000 |136730 |     0 |   0.0 |  66M| 138 |   - | 200 |1666 |   0 |   0 |   0 | 101k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
13.50/13.58	c  10.4s|180000 |143856 |     0 |   0.0 |  70M| 138 |   - | 200 |1752 |   0 |   0 |   0 | 110k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
14.59/14.64	c  11.3s|190000 |150755 |     0 |   0.0 |  74M| 138 |   - | 200 |1904 |   0 |   0 |   0 | 119k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
15.69/15.77	c  12.2s|200000 |157503 |     0 |   0.0 |  78M| 138 |   - | 200 |1999 |   0 |   0 |   0 | 128k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
16.89/16.97	c  13.2s|210000 |163979 |     0 |   0.0 |  82M| 138 |   - | 200 |2145 |   0 |   0 |   0 | 139k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
18.19/18.23	c  14.3s|220000 |170306 |     0 |   0.0 |  87M| 138 |   - | 200 |2437 |   0 |   0 |   0 | 149k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
19.60/19.64	c  15.4s|230000 |176210 |     0 |   0.0 |  91M| 138 |   - | 200 |2665 |   0 |   0 |   0 | 161k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
21.09/21.16	c  16.8s|240000 |181869 |     0 |   0.0 |  95M| 138 |   - | 200 |2452 |   0 |   0 |   0 | 173k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
22.80/22.80	c  18.2s|250000 |187135 |     0 |   0.0 | 100M| 138 |   - | 200 |2848 |   0 |   0 |   0 | 187k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
24.59/24.61	c  19.8s|260000 |191967 |     0 |   0.0 | 104M| 138 |   - | 200 |2779 |   0 |   0 |   0 | 201k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
26.59/26.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
26.59/26.61	c  21.6s|270000 |196153 |     0 |   0.0 | 109M| 138 |   - | 200 |2901 |   0 |   0 |   0 | 216k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
28.89/28.90	c  23.6s|280000 |199653 |     0 |   0.0 | 113M| 138 |   - | 200 |2793 |   0 |   0 |   0 | 232k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
31.09/31.19	c  25.6s|290000 |202784 |     0 |   0.0 | 117M| 138 |   - | 200 |2492 |   0 |   0 |   0 | 247k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
31.69/31.77	c  26.0s|300000 |211932 |     0 |   0.0 | 120M| 138 |   - | 200 |1612 |   0 |   0 |   0 | 251k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
31.90/31.91	o 58
31.90/31.91	c *26.1s|302288 |213542 |     0 |   0.0 | 121M| 138 |   - | 200 |1443 |   0 |   0 |   0 | 252k|   0 | 0.000000e+00 | 5.800000e+01 |    Inf 
32.29/32.39	c  26.4s|310000 |220303 |     0 |   0.0 | 124M| 138 |   - | 200 |1506 |   0 |   0 |   0 | 255k|   0 | 0.000000e+00 | 5.800000e+01 |    Inf 
33.00/33.06	c  26.9s|320000 |228942 |     0 |   0.0 | 128M| 138 |   - | 200 |1579 |   0 |   0 |   0 | 259k|   0 | 0.000000e+00 | 5.800000e+01 |    Inf 
33.79/33.86	c  27.5s|330000 |237120 |     0 |   0.0 | 132M| 138 |   - | 200 |2008 |   0 |   0 |   0 | 266k|   0 | 0.000000e+00 | 5.800000e+01 |    Inf 
34.19/34.25	o 10
34.19/34.25	c *27.8s|335223 |231001 |     0 |   0.0 | 129M| 138 |   - | 200 |1561 |   0 |   0 |   0 | 268k|   0 | 0.000000e+00 | 1.000000e+01 |    Inf 
34.19/34.26	o 6
34.19/34.26	c *27.8s|335358 |230918 |     0 |   0.0 | 129M| 138 |   - | 200 |1475 |   0 |   0 |   0 | 268k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
34.19/34.26	o 2
34.19/34.26	c *27.8s|335379 |229003 |     0 |   0.0 | 129M| 138 |   - | 200 |1466 |   0 |   0 |   0 | 268k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
34.59/34.60	c  28.1s|340000 |232894 |     0 |   0.0 | 130M| 138 |   - | 200 |1897 |   0 |   0 |   0 | 271k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
35.40/35.44	c  28.7s|350000 |241020 |     0 |   0.0 | 134M| 138 |   - | 200 |1727 |   0 |   0 |   0 | 278k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
36.20/36.28	c  29.4s|360000 |249121 |     0 |   0.0 | 138M| 138 |   - | 200 |1780 |   0 |   0 |   0 | 285k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
37.09/37.11	c  30.0s|370000 |257126 |     0 |   0.0 | 142M| 138 |   - | 200 |1664 |   0 |   0 |   0 | 292k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
37.89/37.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
37.89/37.99	c  30.7s|380000 |264999 |     0 |   0.0 | 146M| 138 |   - | 200 |1800 |   0 |   0 |   0 | 299k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
38.79/38.87	c  31.4s|390000 |272871 |     0 |   0.0 | 150M| 138 |   - | 200 |1708 |   0 |   0 |   0 | 306k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
39.69/39.77	c  32.1s|400000 |280729 |     0 |   0.0 | 154M| 138 |   - | 200 |1800 |   0 |   0 |   0 | 314k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
40.60/40.66	c  32.9s|410000 |288571 |     0 |   0.0 | 158M| 138 |   - | 200 |1773 |   0 |   0 |   0 | 321k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
41.49/41.56	c  33.6s|420000 |296329 |     0 |   0.0 | 162M| 138 |   - | 200 |1652 |   0 |   0 |   0 | 328k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
42.49/42.50	c  34.4s|430000 |304030 |     0 |   0.0 | 166M| 138 |   - | 200 |1771 |   0 |   0 |   0 | 336k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
43.39/43.40	c  35.1s|440000 |311825 |     0 |   0.0 | 170M| 138 |   - | 200 |1634 |   0 |   0 |   0 | 343k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
44.29/44.34	c  35.8s|450000 |319477 |     0 |   0.0 | 175M| 138 |   - | 200 |1839 |   0 |   0 |   0 | 350k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
45.19/45.28	c  36.6s|460000 |327111 |     0 |   0.0 | 179M| 138 |   - | 200 |1665 |   0 |   0 |   0 | 358k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
46.20/46.23	c  37.4s|470000 |334710 |     0 |   0.0 | 183M| 138 |   - | 200 |1897 |   0 |   0 |   0 | 365k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
47.20/47.20	c  38.2s|480000 |342294 |     0 |   0.0 | 187M| 138 |   - | 200 |1790 |   0 |   0 |   0 | 373k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
48.10/48.15	c  38.9s|490000 |349885 |     0 |   0.0 | 191M| 138 |   - | 200 |1817 |   0 |   0 |   0 | 381k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
49.09/49.14	c  39.7s|500000 |357416 |     0 |   0.0 | 195M| 138 |   - | 200 |1803 |   0 |   0 |   0 | 388k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
50.09/50.15	c  40.5s|510000 |364858 |     0 |   0.0 | 199M| 138 |   - | 200 |1845 |   0 |   0 |   0 | 396k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
51.09/51.14	c  41.3s|520000 |372368 |     0 |   0.0 | 203M| 138 |   - | 200 |1795 |   0 |   0 |   0 | 403k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
52.09/52.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
52.09/52.14	c  42.1s|530000 |379850 |     0 |   0.0 | 207M| 138 |   - | 200 |1942 |   0 |   0 |   0 | 411k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
53.10/53.14	c  43.0s|540000 |387266 |     0 |   0.0 | 211M| 138 |   - | 200 |1948 |   0 |   0 |   0 | 419k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
54.09/54.18	c  43.8s|550000 |394653 |     0 |   0.0 | 215M| 138 |   - | 200 |1911 |   0 |   0 |   0 | 427k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
55.19/55.22	c  44.7s|560000 |402036 |     0 |   0.0 | 219M| 138 |   - | 200 |1948 |   0 |   0 |   0 | 435k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
56.19/56.23	c  45.5s|570000 |409465 |     0 |   0.0 | 223M| 138 |   - | 200 |1834 |   0 |   0 |   0 | 443k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
57.20/57.27	c  46.3s|580000 |416783 |     0 |   0.0 | 228M| 138 |   - | 200 |2003 |   0 |   0 |   0 | 451k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
58.30/58.31	c  47.2s|590000 |424154 |     0 |   0.0 | 232M| 138 |   - | 200 |2044 |   0 |   0 |   0 | 459k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
59.30/59.33	c  48.0s|600000 |431593 |     0 |   0.0 | 236M| 138 |   - | 200 |2029 |   0 |   0 |   0 | 467k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
60.29/60.36	c  48.9s|610000 |438986 |     0 |   0.0 | 240M| 138 |   - | 200 |2086 |   0 |   0 |   0 | 475k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
61.39/61.48	c  49.8s|620000 |446190 |     0 |   0.0 | 244M| 138 |   - | 200 |1966 |   0 |   0 |   0 | 484k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
62.49/62.52	c  50.7s|630000 |453504 |     0 |   0.0 | 248M| 138 |   - | 200 |2231 |   0 |   0 |   0 | 493k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
63.60/63.60	c  51.5s|640000 |460731 |     0 |   0.0 | 252M| 138 |   - | 200 |1921 |   0 |   0 |   0 | 501k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
64.60/64.69	c  52.4s|650000 |467924 |     0 |   0.0 | 256M| 138 |   - | 200 |2027 |   0 |   0 |   0 | 510k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
65.79/65.89	c  53.5s|660000 |474867 |     0 |   0.0 | 260M| 138 |   - | 200 |2131 |   0 |   0 |   0 | 519k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
67.00/67.03	c  54.5s|670000 |481960 |     0 |   0.0 | 264M| 138 |   - | 200 |2275 |   0 |   0 |   0 | 528k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
68.10/68.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
68.10/68.15	c  55.4s|680000 |489042 |     0 |   0.0 | 268M| 138 |   - | 200 |2160 |   0 |   0 |   0 | 537k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
69.30/69.32	c  56.3s|690000 |496116 |     0 |   0.0 | 273M| 138 |   - | 200 |2191 |   0 |   0 |   0 | 547k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
70.49/70.50	c  57.3s|700000 |503073 |     0 |   0.0 | 277M| 138 |   - | 200 |2199 |   0 |   0 |   0 | 556k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
71.59/71.65	c  58.2s|710000 |510081 |     0 |   0.0 | 281M| 138 |   - | 200 |2138 |   0 |   0 |   0 | 564k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
72.79/72.81	c  59.2s|720000 |517083 |     0 |   0.0 | 285M| 138 |   - | 200 |2163 |   0 |   0 |   0 | 573k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
73.89/73.94	c  60.2s|730000 |524207 |     0 |   0.0 | 289M| 138 |   - | 200 |2124 |   0 |   0 |   0 | 581k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
74.99/75.08	c  61.1s|740000 |531313 |     0 |   0.0 | 294M| 138 |   - | 200 |2114 |   0 |   0 |   0 | 589k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
76.29/76.35	c  62.2s|750000 |538022 |     0 |   0.0 | 298M| 138 |   - | 200 |2230 |   0 |   0 |   0 | 599k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
77.59/77.62	c  63.2s|760000 |544831 |     0 |   0.0 | 302M| 138 |   - | 200 |2135 |   0 |   0 |   0 | 608k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
78.79/78.85	c  64.3s|770000 |551686 |     0 |   0.0 | 307M| 138 |   - | 200 |2168 |   0 |   0 |   0 | 617k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
80.09/80.15	c  65.4s|780000 |558468 |     0 |   0.0 | 311M| 138 |   - | 200 |2344 |   0 |   0 |   0 | 626k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
81.30/81.35	c  66.4s|790000 |565392 |     0 |   0.0 | 315M| 138 |   - | 200 |2186 |   0 |   0 |   0 | 634k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
82.59/82.61	c  67.5s|800000 |572227 |     0 |   0.0 | 319M| 138 |   - | 200 |2339 |   0 |   0 |   0 | 643k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
83.89/83.95	c  68.6s|810000 |578849 |     0 |   0.0 | 324M| 138 |   - | 200 |2197 |   0 |   0 |   0 | 653k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
85.19/85.25	c  69.7s|820000 |585528 |     0 |   0.0 | 328M| 138 |   - | 200 |2097 |   0 |   0 |   0 | 662k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
86.50/86.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
86.50/86.52	c  70.8s|830000 |592270 |     0 |   0.0 | 332M| 138 |   - | 200 |2220 |   0 |   0 |   0 | 671k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
87.70/87.79	c  71.8s|840000 |599005 |     0 |   0.0 | 336M| 138 |   - | 200 |2194 |   0 |   0 |   0 | 680k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
89.00/89.02	c  72.9s|850000 |605859 |     0 |   0.0 | 341M| 138 |   - | 200 |2491 |   0 |   0 |   0 | 690k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
90.29/90.36	c  74.0s|860000 |612467 |     0 |   0.0 | 345M| 138 |   - | 200 |2294 |   0 |   0 |   0 | 699k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
91.70/91.72	c  75.2s|870000 |619006 |     0 |   0.0 | 349M| 138 |   - | 200 |2256 |   0 |   0 |   0 | 709k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
92.99/93.06	c  76.3s|880000 |625571 |     0 |   0.0 | 353M| 138 |   - | 200 |2386 |   0 |   0 |   0 | 718k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
94.30/94.37	c  77.4s|890000 |632251 |     0 |   0.0 | 358M| 138 |   - | 200 |2161 |   0 |   0 |   0 | 727k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
95.59/95.69	c  78.5s|900000 |638875 |     0 |   0.0 | 362M| 138 |   - | 200 |2373 |   0 |   0 |   0 | 737k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
97.00/97.02	c  79.7s|910000 |645624 |     0 |   0.0 | 366M| 138 |   - | 200 |2457 |   0 |   0 |   0 | 746k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
98.40/98.46	c  80.9s|920000 |651969 |     0 |   0.0 | 370M| 138 |   - | 200 |2371 |   0 |   0 |   0 | 757k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
99.89/99.91	c  82.2s|930000 |658261 |     0 |   0.0 | 375M| 138 |   - | 200 |2506 |   0 |   0 |   0 | 767k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
101.29/101.33	c  83.4s|940000 |664641 |     0 |   0.0 | 379M| 138 |   - | 200 |2493 |   0 |   0 |   0 | 777k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
102.69/102.72	c  84.5s|950000 |671142 |     0 |   0.0 | 383M| 138 |   - | 200 |2525 |   0 |   0 |   0 | 787k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
104.09/104.11	c  85.7s|960000 |677695 |     0 |   0.0 | 388M| 138 |   - | 200 |2453 |   0 |   0 |   0 | 796k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
105.39/105.45	c  86.9s|970000 |684334 |     0 |   0.0 | 392M| 138 |   - | 200 |2496 |   0 |   0 |   0 | 805k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
106.89/106.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
106.89/106.92	c  88.1s|980000 |690665 |     0 |   0.0 | 396M| 138 |   - | 200 |2499 |   0 |   0 |   0 | 815k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
108.40/108.42	c  89.4s|990000 |696802 |     0 |   0.0 | 401M| 138 |   - | 200 |2498 |   0 |   0 |   0 | 825k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
109.80/109.87	c  90.7s|  1000k|703078 |     0 |   0.0 | 405M| 138 |   - | 200 |2353 |   0 |   0 |   0 | 834k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
111.30/111.34	c  91.9s|  1010k|709381 |     0 |   0.0 | 409M| 138 |   - | 200 |2476 |   0 |   0 |   0 | 843k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
112.69/112.74	c  93.2s|  1020k|715835 |     0 |   0.0 | 414M| 138 |   - | 200 |2409 |   0 |   0 |   0 | 852k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
114.09/114.16	c  94.4s|  1030k|722282 |     0 |   0.0 | 418M| 138 |   - | 200 |2514 |   0 |   0 |   0 | 861k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
115.59/115.63	c  95.6s|  1040k|728629 |     0 |   0.0 | 423M| 138 |   - | 200 |2556 |   0 |   0 |   0 | 871k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
117.09/117.12	c  96.9s|  1050k|734854 |     0 |   0.0 | 427M| 138 |   - | 200 |2446 |   0 |   0 |   0 | 880k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
118.70/118.77	c  98.4s|  1060k|740691 |     0 |   0.0 | 431M| 138 |   - | 200 |2653 |   0 |   0 |   0 | 891k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
120.30/120.34	c  99.7s|  1070k|746704 |     0 |   0.0 | 436M| 138 |   - | 200 |2521 |   0 |   0 |   0 | 901k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
121.79/121.86	c   101s|  1080k|752877 |     0 |   0.0 | 440M| 138 |   - | 200 |2539 |   0 |   0 |   0 | 910k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
123.29/123.36	c   102s|  1090k|759135 |     0 |   0.0 | 445M| 138 |   - | 200 |2579 |   0 |   0 |   0 | 920k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
124.90/124.90	c   104s|  1100k|765323 |     0 |   0.0 | 449M| 138 |   - | 200 |2502 |   0 |   0 |   0 | 929k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
126.29/126.37	c   105s|  1110k|771598 |     0 |   0.0 | 453M| 138 |   - | 200 |2551 |   0 |   0 |   0 | 939k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
127.89/127.99	c   106s|  1120k|777541 |     0 |   0.0 | 458M| 138 |   - | 200 |2804 |   0 |   0 |   0 | 949k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
129.70/129.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
129.70/129.74	c   108s|  1130k|783141 |     0 |   0.0 | 463M| 138 |   - | 200 |2663 |   0 |   0 |   0 | 960k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
131.40/131.49	c   109s|  1140k|788836 |     0 |   0.0 | 467M| 138 |   - | 200 |2630 |   0 |   0 |   0 | 971k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
133.10/133.13	c   111s|  1150k|794715 |     0 |   0.0 | 472M| 138 |   - | 200 |2590 |   0 |   0 |   0 | 981k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
134.70/134.77	c   112s|  1160k|800665 |     0 |   0.0 | 476M| 138 |   - | 200 |2665 |   0 |   0 |   0 | 991k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
136.30/136.34	c   114s|  1170k|806686 |     0 |   0.0 | 480M| 138 |   - | 200 |2561 |   0 |   0 |   0 |1001k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
137.89/137.96	c   115s|  1180k|812573 |     0 |   0.0 | 485M| 138 |   - | 200 |2658 |   0 |   0 |   0 |1012k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
139.49/139.56	c   116s|  1190k|818391 |     0 |   0.0 | 489M| 138 |   - | 200 |2775 |   0 |   0 |   0 |1022k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
141.19/141.28	c   118s|  1200k|823860 |     0 |   0.0 | 494M| 138 |   - | 200 |2757 |   0 |   0 |   0 |1034k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
142.90/142.94	c   119s|  1210k|829464 |     0 |   0.0 | 499M| 138 |   - | 200 |2746 |   0 |   0 |   0 |1045k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
144.49/144.52	c   121s|  1220k|835349 |     0 |   0.0 | 504M| 138 |   - | 200 |2599 |   0 |   0 |   0 |1055k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
146.09/146.13	c   122s|  1230k|841167 |     0 |   0.0 | 508M| 138 |   - | 200 |2617 |   0 |   0 |   0 |1066k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
147.69/147.76	c   124s|  1240k|846943 |     0 |   0.0 | 513M| 138 |   - | 200 |2677 |   0 |   0 |   0 |1076k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
149.39/149.43	c   125s|  1250k|852613 |     0 |   0.0 | 517M| 138 |   - | 200 |2701 |   0 |   0 |   0 |1087k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
151.09/151.10	c   126s|  1260k|858315 |     0 |   0.0 | 522M| 138 |   - | 200 |2905 |   0 |   0 |   0 |1098k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
152.90/152.96	c   128s|  1270k|863538 |     0 |   0.0 | 526M| 138 |   - | 200 |2828 |   0 |   0 |   0 |1110k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
154.70/154.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
154.70/154.71	c   130s|  1280k|868940 |     0 |   0.0 | 531M| 138 |   - | 200 |2815 |   0 |   0 |   0 |1122k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
156.39/156.42	c   131s|  1290k|874511 |     0 |   0.0 | 536M| 138 |   - | 200 |3012 |   0 |   0 |   0 |1133k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
158.10/158.16	c   133s|  1300k|880058 |     0 |   0.0 | 540M| 138 |   - | 200 |2637 |   0 |   0 |   0 |1144k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
159.89/159.92	c   134s|  1310k|885448 |     0 |   0.0 | 545M| 138 |   - | 200 |2845 |   0 |   0 |   0 |1156k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
161.70/161.72	c   136s|  1320k|890801 |     0 |   0.0 | 550M| 138 |   - | 200 |2902 |   0 |   0 |   0 |1168k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
163.50/163.52	c   137s|  1330k|896230 |     0 |   0.0 | 554M| 138 |   - | 200 |2931 |   0 |   0 |   0 |1179k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
165.39/165.47	c   139s|  1340k|901122 |     0 |   0.0 | 559M| 138 |   - | 200 |2839 |   0 |   0 |   0 |1192k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
167.30/167.39	c   141s|  1350k|906206 |     0 |   0.0 | 564M| 138 |   - | 200 |2891 |   0 |   0 |   0 |1204k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
169.19/169.23	c   142s|  1360k|911479 |     0 |   0.0 | 568M| 138 |   - | 200 |2889 |   0 |   0 |   0 |1216k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
171.09/171.11	c   144s|  1370k|916665 |     0 |   0.0 | 573M| 138 |   - | 200 |2899 |   0 |   0 |   0 |1227k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
173.09/173.15	c   146s|  1380k|921679 |     0 |   0.0 | 578M| 138 |   - | 200 |2907 |   0 |   0 |   0 |1240k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
175.20/175.28	c   148s|  1390k|926620 |     0 |   0.0 | 582M| 138 |   - | 200 |2853 |   0 |   0 |   0 |1252k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
177.49/177.51	c   150s|  1400k|931310 |     0 |   0.0 | 587M| 138 |   - | 200 |2837 |   0 |   0 |   0 |1265k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
179.70/179.77	c   152s|  1410k|935802 |     0 |   0.0 | 591M| 138 |   - | 200 |2820 |   0 |   0 |   0 |1278k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
181.79/181.89	c   154s|  1420k|940659 |     0 |   0.0 | 596M| 138 |   - | 200 |2755 |   0 |   0 |   0 |1290k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
183.89/183.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
183.89/183.98	c   156s|  1430k|945426 |     0 |   0.0 | 601M| 138 |   - | 200 |2951 |   0 |   0 |   0 |1302k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
186.09/186.19	c   158s|  1440k|950037 |     0 |   0.0 | 605M| 138 |   - | 200 |2991 |   0 |   0 |   0 |1315k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
188.19/188.22	c   159s|  1450k|954882 |     0 |   0.0 | 610M| 138 |   - | 200 |3014 |   0 |   0 |   0 |1328k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
190.39/190.46	c   161s|  1460k|959491 |     0 |   0.0 | 614M| 138 |   - | 200 |2958 |   0 |   0 |   0 |1341k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
192.79/192.89	c   164s|  1470k|963652 |     0 |   0.0 | 619M| 138 |   - | 200 |3029 |   0 |   0 |   0 |1355k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
195.10/195.13	c   166s|  1480k|968105 |     0 |   0.0 | 624M| 138 |   - | 200 |2961 |   0 |   0 |   0 |1368k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
197.40/197.45	c   168s|  1490k|972436 |     0 |   0.0 | 629M| 138 |   - | 200 |2923 |   0 |   0 |   0 |1382k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
199.60/199.68	c   170s|  1500k|976957 |     0 |   0.0 | 633M| 138 |   - | 200 |2944 |   0 |   0 |   0 |1395k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
201.90/201.93	c   172s|  1510k|981489 |     0 |   0.0 | 638M| 138 |   - | 200 |3191 |   0 |   0 |   0 |1408k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
204.50/204.53	c   174s|  1520k|985310 |     0 |   0.0 | 643M| 138 |   - | 200 |3075 |   0 |   0 |   0 |1423k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
206.90/206.93	c   176s|  1530k|989375 |     0 |   0.0 | 647M| 138 |   - | 200 |3035 |   0 |   0 |   0 |1437k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
209.29/209.33	c   178s|  1540k|993510 |     0 |   0.0 | 652M| 138 |   - | 200 |3057 |   0 |   0 |   0 |1450k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
211.70/211.71	c   181s|  1550k|997711 |     0 |   0.0 | 657M| 138 |   - | 200 |3048 |   0 |   0 |   0 |1463k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
214.10/214.15	c   183s|  1560k|  1001k|     0 |   0.0 | 662M| 138 |   - | 200 |3178 |   0 |   0 |   0 |1477k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
216.70/216.74	c   185s|  1570k|  1005k|     0 |   0.0 | 666M| 138 |   - | 200 |3069 |   0 |   0 |   0 |1492k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
219.30/219.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
219.30/219.37	c   188s|  1580k|  1009k|     0 |   0.0 | 670M| 138 |   - | 200 |3017 |   0 |   0 |   0 |1506k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
221.90/221.99	c   190s|  1590k|  1012k|     0 |   0.0 | 675M| 138 |   - | 200 |3064 |   0 |   0 |   0 |1521k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
224.40/224.48	c   192s|  1600k|  1016k|     0 |   0.0 | 680M| 138 |   - | 200 |3285 |   0 |   0 |   0 |1535k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
226.99/227.02	c   194s|  1610k|  1020k|     0 |   0.0 | 685M| 138 |   - | 200 |3232 |   0 |   0 |   0 |1549k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
229.81/229.83	c   197s|  1620k|  1024k|     0 |   0.0 | 689M| 138 |   - | 200 |3247 |   0 |   0 |   0 |1565k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
232.49/232.59	c   200s|  1630k|  1027k|     0 |   0.0 | 694M| 138 |   - | 200 |3018 |   0 |   0 |   0 |1580k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
235.30/235.30	c   202s|  1640k|  1030k|     0 |   0.0 | 698M| 138 |   - | 200 |3008 |   0 |   0 |   0 |1595k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
238.00/238.08	c   205s|  1650k|  1034k|     0 |   0.0 | 703M| 138 |   - | 200 |3339 |   0 |   0 |   0 |1610k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
240.80/240.84	c   207s|  1660k|  1037k|     0 |   0.0 | 708M| 138 |   - | 200 |3384 |   0 |   0 |   0 |1625k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
243.70/243.71	c   210s|  1670k|  1040k|     0 |   0.0 | 712M| 138 |   - | 200 |2996 |   0 |   0 |   0 |1641k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
246.40/246.45	c   212s|  1680k|  1043k|     0 |   0.0 | 717M| 138 |   - | 200 |3289 |   0 |   0 |   0 |1656k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
249.20/249.21	c   215s|  1690k|  1047k|     0 |   0.0 | 722M| 138 |   - | 200 |3133 |   0 |   0 |   0 |1671k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
252.00/252.04	c   217s|  1700k|  1050k|     0 |   0.0 | 726M| 138 |   - | 200 |3322 |   0 |   0 |   0 |1687k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
255.10/255.12	c   220s|  1710k|  1052k|     0 |   0.0 | 730M| 138 |   - | 200 |2989 |   0 |   0 |   0 |1704k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
257.90/257.94	c   223s|  1720k|  1055k|     0 |   0.0 | 735M| 138 |   - | 200 |3327 |   0 |   0 |   0 |1719k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
260.79/260.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
260.79/260.89	c   225s|  1730k|  1058k|     0 |   0.0 | 740M| 138 |   - | 200 |3445 |   0 |   0 |   0 |1735k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
264.20/264.27	c   228s|  1740k|  1060k|     0 |   0.0 | 743M| 138 |   - | 200 |3126 |   0 |   0 |   0 |1753k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
267.31/267.31	c   231s|  1750k|  1063k|     0 |   0.0 | 748M| 138 |   - | 200 |3174 |   0 |   0 |   0 |1768k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
270.30/270.36	c   234s|  1760k|  1066k|     0 |   0.0 | 752M| 138 |   - | 200 |3244 |   0 |   0 |   0 |1784k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
273.70/273.72	c   237s|  1770k|  1067k|     0 |   0.0 | 756M| 138 |   - | 200 |3146 |   0 |   0 |   0 |1801k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
276.70/276.79	c   240s|  1780k|  1070k|     0 |   0.0 | 761M| 138 |   - | 200 |3271 |   0 |   0 |   0 |1817k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
280.29/280.31	c   243s|  1790k|  1071k|     0 |   0.0 | 765M| 138 |   - | 200 |2992 |   0 |   0 |   0 |1835k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
283.30/283.36	c   246s|  1800k|  1074k|     0 |   0.0 | 770M| 138 |   - | 200 |3129 |   0 |   0 |   0 |1850k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
286.80/286.85	c   249s|  1810k|  1075k|     0 |   0.0 | 773M| 138 |   - | 200 |3111 |   0 |   0 |   0 |1869k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
290.31/290.35	c   252s|  1820k|  1077k|     0 |   0.0 | 777M| 138 |   - | 200 |3232 |   0 |   0 |   0 |1886k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
293.70/293.72	c   255s|  1830k|  1078k|     0 |   0.0 | 781M| 138 |   - | 200 |3429 |   0 |   0 |   0 |1902k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
297.30/297.34	c   259s|  1840k|  1079k|     0 |   0.0 | 785M| 138 |   - | 200 |3448 |   0 |   0 |   0 |1920k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
300.90/300.98	c   262s|  1850k|  1080k|     0 |   0.0 | 788M| 138 |   - | 200 |3243 |   0 |   0 |   0 |1937k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
304.61/304.68	c   265s|  1860k|  1081k|     0 |   0.0 | 791M| 138 |   - | 200 |3176 |   0 |   0 |   0 |1955k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
308.60/308.62	c   269s|  1870k|  1081k|     0 |   0.0 | 794M| 138 |   - | 200 |3146 |   0 |   0 |   0 |1973k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
311.60/311.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
311.60/311.60	c   272s|  1880k|  1084k|     0 |   0.0 | 796M| 138 |   - | 200 |2254 |   0 |   0 |   0 |1985k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
312.41/312.42	c   272s|  1890k|  1093k|     0 |   0.0 | 800M| 138 |   - | 200 |2083 |   0 |   0 |   0 |1991k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
313.20/313.22	c   273s|  1900k|  1101k|     0 |   0.0 | 804M| 138 |   - | 200 |1944 |   0 |   0 |   0 |1996k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
314.00/314.05	c   274s|  1910k|  1110k|     0 |   0.0 | 808M| 138 |   - | 200 |2118 |   0 |   0 |   0 |2002k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
314.79/314.87	c   274s|  1920k|  1118k|     0 |   0.0 | 812M| 138 |   - | 200 |2062 |   0 |   0 |   0 |2007k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
315.70/315.73	c   275s|  1930k|  1126k|     0 |   0.0 | 816M| 138 |   - | 200 |2212 |   0 |   0 |   0 |2013k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
316.60/316.60	c   276s|  1940k|  1135k|     0 |   0.0 | 820M| 138 |   - | 200 |2225 |   0 |   0 |   0 |2018k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
317.39/317.47	c   276s|  1950k|  1143k|     0 |   0.0 | 825M| 138 |   - | 200 |2309 |   0 |   0 |   0 |2024k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
318.29/318.36	c   277s|  1960k|  1151k|     0 |   0.0 | 829M| 138 |   - | 200 |2399 |   0 |   0 |   0 |2030k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
319.20/319.29	c   278s|  1970k|  1159k|     0 |   0.0 | 833M| 138 |   - | 200 |2464 |   0 |   0 |   0 |2036k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
320.20/320.25	c   278s|  1980k|  1167k|     0 |   0.0 | 837M| 138 |   - | 200 |2382 |   0 |   0 |   0 |2041k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
321.21/321.22	c   279s|  1990k|  1175k|     0 |   0.0 | 841M| 138 |   - | 200 |2549 |   0 |   0 |   0 |2048k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
322.20/322.24	c   280s|  2000k|  1183k|     0 |   0.0 | 846M| 138 |   - | 200 |2638 |   0 |   0 |   0 |2054k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
323.30/323.30	c   281s|  2010k|  1191k|     0 |   0.0 | 850M| 138 |   - | 200 |2819 |   0 |   0 |   0 |2061k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
324.40/324.43	c   282s|  2020k|  1199k|     0 |   0.0 | 855M| 138 |   - | 200 |2901 |   0 |   0 |   0 |2068k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
325.51/325.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
325.51/325.56	c   283s|  2030k|  1206k|     0 |   0.0 | 859M| 138 |   - | 200 |3161 |   0 |   0 |   0 |2075k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
326.71/326.78	c   284s|  2040k|  1214k|     0 |   0.0 | 864M| 138 |   - | 200 |3092 |   0 |   0 |   0 |2083k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
328.00/328.04	c   285s|  2050k|  1221k|     0 |   0.0 | 869M| 138 |   - | 200 |3269 |   0 |   0 |   0 |2091k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
329.30/329.39	c   286s|  2060k|  1228k|     0 |   0.0 | 874M| 138 |   - | 200 |3493 |   0 |   0 |   0 |2100k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
330.80/330.82	c   287s|  2070k|  1236k|     0 |   0.0 | 879M| 138 |   - | 200 |3432 |   0 |   0 |   0 |2110k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
332.30/332.33	c   288s|  2080k|  1242k|     0 |   0.0 | 884M| 138 |   - | 200 |3807 |   0 |   0 |   0 |2119k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
333.90/333.93	c   290s|  2090k|  1249k|     0 |   0.0 | 889M| 138 |   - | 200 |4164 |   0 |   0 |   0 |2130k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
335.60/335.60	c   291s|  2100k|  1255k|     0 |   0.0 | 894M| 138 |   - | 200 |3644 |   0 |   0 |   0 |2140k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
337.40/337.42	c   293s|  2110k|  1261k|     0 |   0.0 | 899M| 138 |   - | 200 |3859 |   0 |   0 |   0 |2151k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
339.20/339.27	c   294s|  2120k|  1267k|     0 |   0.0 | 905M| 138 |   - | 200 |4018 |   0 |   0 |   0 |2162k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
341.10/341.17	c   296s|  2130k|  1273k|     0 |   0.0 | 910M| 138 |   - | 200 |4112 |   0 |   0 |   0 |2173k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
343.40/343.45	c   298s|  2140k|  1278k|     0 |   0.0 | 916M| 138 |   - | 200 |4184 |   0 |   0 |   0 |2186k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
345.60/345.67	c   300s|  2150k|  1283k|     0 |   0.0 | 922M| 138 |   - | 200 |4117 |   0 |   0 |   0 |2199k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
347.90/347.99	c   302s|  2160k|  1287k|     0 |   0.0 | 928M| 138 |   - | 200 |4442 |   0 |   0 |   0 |2213k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
350.70/350.75	c   304s|  2170k|  1290k|     0 |   0.0 | 933M| 138 |   - | 200 |4189 |   0 |   0 |   0 |2228k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
353.90/353.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
353.90/353.96	c   307s|  2180k|  1292k|     0 |   0.0 | 938M| 138 |   - | 200 |4555 |   0 |   0 |   0 |2246k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
357.20/357.22	c   310s|  2190k|  1294k|     0 |   0.0 | 941M| 138 |   - | 200 |3779 |   0 |   0 |   0 |2262k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
358.70/358.71	c   312s|  2200k|  1302k|     0 |   0.0 | 945M| 138 |   - | 200 |3535 |   0 |   0 |   0 |2270k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
360.10/360.14	c   313s|  2210k|  1309k|     0 |   0.0 | 949M| 138 |   - | 200 |3259 |   0 |   0 |   0 |2278k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
361.50/361.56	c   314s|  2220k|  1317k|     0 |   0.0 | 953M| 138 |   - | 200 |3413 |   0 |   0 |   0 |2287k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
362.90/362.99	c   315s|  2230k|  1324k|     0 |   0.0 | 957M| 138 |   - | 200 |3506 |   0 |   0 |   0 |2296k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
364.50/364.59	c   317s|  2240k|  1331k|     0 |   0.0 | 961M| 138 |   - | 200 |3427 |   0 |   0 |   0 |2305k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
365.90/365.94	c   318s|  2250k|  1339k|     0 |   0.0 | 965M| 138 |   - | 200 |3348 |   0 |   0 |   0 |2314k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
367.50/367.57	c   319s|  2260k|  1346k|     0 |   0.0 | 969M| 138 |   - | 200 |3511 |   0 |   0 |   0 |2323k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
368.90/368.97	c   321s|  2270k|  1353k|     0 |   0.0 | 973M| 138 |   - | 200 |3422 |   0 |   0 |   0 |2332k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
370.50/370.54	c   322s|  2280k|  1360k|     0 |   0.0 | 977M| 138 |   - | 200 |3460 |   0 |   0 |   0 |2341k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
372.10/372.18	c   323s|  2290k|  1367k|     0 |   0.0 | 982M| 138 |   - | 200 |3501 |   0 |   0 |   0 |2351k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
373.70/373.73	c   325s|  2300k|  1374k|     0 |   0.0 | 986M| 138 |   - | 200 |3506 |   0 |   0 |   0 |2360k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
375.20/375.27	c   326s|  2310k|  1382k|     0 |   0.0 | 990M| 138 |   - | 200 |3406 |   0 |   0 |   0 |2369k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
376.80/376.86	c   328s|  2320k|  1389k|     0 |   0.0 | 994M| 138 |   - | 200 |3358 |   0 |   0 |   0 |2378k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
378.60/378.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
378.60/378.61	c   329s|  2330k|  1396k|     0 |   0.0 | 998M| 138 |   - | 200 |3562 |   0 |   0 |   0 |2388k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
380.00/380.04	c   330s|  2340k|  1403k|     0 |   0.0 |1002M| 138 |   - | 200 |3435 |   0 |   0 |   0 |2397k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
381.61/381.61	c   332s|  2350k|  1410k|     0 |   0.0 |1007M| 138 |   - | 200 |3529 |   0 |   0 |   0 |2406k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
383.10/383.18	c   333s|  2360k|  1417k|     0 |   0.0 |1011M| 138 |   - | 200 |3406 |   0 |   0 |   0 |2416k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
384.70/384.78	c   334s|  2370k|  1424k|     0 |   0.0 |1015M| 138 |   - | 200 |3273 |   0 |   0 |   0 |2425k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
386.60/386.65	c   336s|  2380k|  1430k|     0 |   0.0 |1019M| 138 |   - | 200 |3626 |   0 |   0 |   0 |2436k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
388.31/388.33	c   338s|  2390k|  1437k|     0 |   0.0 |1024M| 138 |   - | 200 |3445 |   0 |   0 |   0 |2446k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
389.90/389.93	c   339s|  2400k|  1444k|     0 |   0.0 |1028M| 138 |   - | 200 |3463 |   0 |   0 |   0 |2455k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
391.51/391.55	c   340s|  2410k|  1451k|     0 |   0.0 |1032M| 138 |   - | 200 |3338 |   0 |   0 |   0 |2465k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
393.10/393.16	c   342s|  2420k|  1458k|     0 |   0.0 |1036M| 138 |   - | 200 |3301 |   0 |   0 |   0 |2475k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
394.80/394.84	c   343s|  2430k|  1465k|     0 |   0.0 |1041M| 138 |   - | 200 |3457 |   0 |   0 |   0 |2485k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
396.90/396.93	c   345s|  2440k|  1471k|     0 |   0.0 |1045M| 138 |   - | 200 |3820 |   0 |   0 |   0 |2496k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
398.51/398.55	c   347s|  2450k|  1478k|     0 |   0.0 |1050M| 138 |   - | 200 |3645 |   0 |   0 |   0 |2506k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
400.21/400.22	c   348s|  2460k|  1485k|     0 |   0.0 |1054M| 138 |   - | 200 |3534 |   0 |   0 |   0 |2516k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
401.90/401.92	c   350s|  2470k|  1492k|     0 |   0.0 |1058M| 138 |   - | 200 |3332 |   0 |   0 |   0 |2525k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
403.60/403.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
403.60/403.61	c   351s|  2480k|  1499k|     0 |   0.0 |1062M| 138 |   - | 200 |3461 |   0 |   0 |   0 |2535k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
405.30/405.36	c   353s|  2490k|  1506k|     0 |   0.0 |1066M| 138 |   - | 200 |3358 |   0 |   0 |   0 |2546k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
407.01/407.06	c   354s|  2500k|  1512k|     0 |   0.0 |1071M| 138 |   - | 200 |3559 |   0 |   0 |   0 |2556k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
409.20/409.29	c   356s|  2510k|  1518k|     0 |   0.0 |1076M| 138 |   - | 200 |4000 |   0 |   0 |   0 |2568k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
411.10/411.15	c   358s|  2520k|  1525k|     0 |   0.0 |1080M| 138 |   - | 200 |3572 |   0 |   0 |   0 |2578k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
412.90/412.96	c   360s|  2530k|  1532k|     0 |   0.0 |1084M| 138 |   - | 200 |3448 |   0 |   0 |   0 |2588k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
414.71/414.74	c   361s|  2540k|  1538k|     0 |   0.0 |1088M| 138 |   - | 200 |3417 |   0 |   0 |   0 |2598k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
416.30/416.37	c   363s|  2550k|  1545k|     0 |   0.0 |1093M| 138 |   - | 200 |3348 |   0 |   0 |   0 |2609k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
418.30/418.31	c   364s|  2560k|  1552k|     0 |   0.0 |1097M| 138 |   - | 200 |3363 |   0 |   0 |   0 |2619k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
420.11/420.11	c   366s|  2570k|  1558k|     0 |   0.0 |1102M| 138 |   - | 200 |3436 |   0 |   0 |   0 |2630k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
421.90/421.93	c   367s|  2580k|  1565k|     0 |   0.0 |1106M| 138 |   - | 200 |3378 |   0 |   0 |   0 |2640k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
424.30/424.30	c   370s|  2590k|  1570k|     0 |   0.0 |1111M| 138 |   - | 200 |4502 |   0 |   0 |   0 |2653k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
426.40/426.43	c   372s|  2600k|  1577k|     0 |   0.0 |1115M| 138 |   - | 200 |3768 |   0 |   0 |   0 |2664k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
428.30/428.33	c   373s|  2610k|  1583k|     0 |   0.0 |1119M| 138 |   - | 200 |3544 |   0 |   0 |   0 |2675k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
430.20/430.27	c   375s|  2620k|  1590k|     0 |   0.0 |1124M| 138 |   - | 200 |3357 |   0 |   0 |   0 |2685k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
432.00/432.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
432.00/432.05	c   377s|  2630k|  1596k|     0 |   0.0 |1128M| 138 |   - | 200 |3381 |   0 |   0 |   0 |2695k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
433.90/433.95	c   378s|  2640k|  1603k|     0 |   0.0 |1132M| 138 |   - | 200 |3423 |   0 |   0 |   0 |2705k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
435.80/435.87	c   380s|  2650k|  1609k|     0 |   0.0 |1137M| 138 |   - | 200 |3570 |   0 |   0 |   0 |2716k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
437.80/437.81	c   382s|  2660k|  1616k|     0 |   0.0 |1141M| 138 |   - | 200 |3566 |   0 |   0 |   0 |2727k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
439.60/439.62	c   383s|  2670k|  1622k|     0 |   0.0 |1145M| 138 |   - | 200 |3131 |   0 |   0 |   0 |2738k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
441.40/441.48	c   385s|  2680k|  1628k|     0 |   0.0 |1150M| 138 |   - | 200 |4250 |   0 |   0 |   0 |2749k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
444.10/444.13	c   387s|  2690k|  1634k|     0 |   0.0 |1155M| 138 |   - | 200 |4525 |   0 |   0 |   0 |2764k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
446.10/446.13	c   389s|  2700k|  1640k|     0 |   0.0 |1159M| 138 |   - | 200 |3837 |   0 |   0 |   0 |2775k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
448.00/448.06	c   391s|  2710k|  1646k|     0 |   0.0 |1164M| 138 |   - | 200 |3591 |   0 |   0 |   0 |2786k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
449.91/449.93	c   393s|  2720k|  1653k|     0 |   0.0 |1168M| 138 |   - | 200 |3425 |   0 |   0 |   0 |2797k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
451.71/451.74	c   394s|  2730k|  1659k|     0 |   0.0 |1172M| 138 |   - | 200 |3497 |   0 |   0 |   0 |2808k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
453.50/453.51	c   396s|  2740k|  1665k|     0 |   0.0 |1177M| 138 |   - | 200 |3781 |   0 |   0 |   0 |2818k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
455.20/455.27	c   397s|  2750k|  1672k|     0 |   0.0 |1181M| 138 |   - | 200 |3530 |   0 |   0 |   0 |2829k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
457.00/457.08	c   399s|  2760k|  1678k|     0 |   0.0 |1186M| 138 |   - | 200 |3237 |   0 |   0 |   0 |2840k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
458.90/458.96	c   401s|  2770k|  1685k|     0 |   0.0 |1190M| 138 |   - | 200 |3678 |   0 |   0 |   0 |2851k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
460.81/460.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
460.81/460.84	c   402s|  2780k|  1691k|     0 |   0.0 |1195M| 138 |   - | 200 |3492 |   0 |   0 |   0 |2862k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
462.90/462.98	c   404s|  2790k|  1697k|     0 |   0.0 |1200M| 138 |   - | 200 |5281 |   0 |   0 |   0 |2875k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
465.70/465.77	c   407s|  2800k|  1702k|     0 |   0.0 |1204M| 138 |   - | 200 |4390 |   0 |   0 |   0 |2891k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
468.00/468.01	c   409s|  2810k|  1707k|     0 |   0.0 |1209M| 138 |   - | 200 |4056 |   0 |   0 |   0 |2903k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
470.00/470.02	c   411s|  2820k|  1714k|     0 |   0.0 |1213M| 138 |   - | 200 |3636 |   0 |   0 |   0 |2914k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
471.90/471.97	c   412s|  2830k|  1720k|     0 |   0.0 |1217M| 138 |   - | 200 |3555 |   0 |   0 |   0 |2925k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
473.90/473.95	c   414s|  2840k|  1726k|     0 |   0.0 |1222M| 138 |   - | 200 |3440 |   0 |   0 |   0 |2936k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
475.79/475.83	c   416s|  2850k|  1732k|     0 |   0.0 |1226M| 138 |   - | 200 |3405 |   0 |   0 |   0 |2947k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
477.70/477.71	c   417s|  2860k|  1739k|     0 |   0.0 |1231M| 138 |   - | 200 |3377 |   0 |   0 |   0 |2958k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
479.51/479.59	c   419s|  2870k|  1745k|     0 |   0.0 |1235M| 138 |   - | 200 |3446 |   0 |   0 |   0 |2969k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
481.40/481.47	c   421s|  2880k|  1751k|     0 |   0.0 |1240M| 138 |   - | 200 |3347 |   0 |   0 |   0 |2980k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
483.29/483.39	c   423s|  2890k|  1757k|     0 |   0.0 |1244M| 138 |   - | 200 |3259 |   0 |   0 |   0 |2991k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
485.20/485.29	c   424s|  2900k|  1763k|     0 |   0.0 |1249M| 138 |   - | 200 |3527 |   0 |   0 |   0 |3002k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
487.31/487.39	c   426s|  2910k|  1769k|     0 |   0.0 |1253M| 138 |   - | 200 |3842 |   0 |   0 |   0 |3014k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
490.89/490.96	c   429s|  2920k|  1773k|     0 |   0.0 |1258M| 138 |   - | 200 |5361 |   0 |   0 |   0 |3033k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
493.50/493.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
493.50/493.54	c   432s|  2930k|  1779k|     0 |   0.0 |1263M| 138 |   - | 200 |4119 |   0 |   0 |   0 |3047k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
495.70/495.72	c   434s|  2940k|  1785k|     0 |   0.0 |1267M| 138 |   - | 200 |3629 |   0 |   0 |   0 |3059k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
497.69/497.79	c   436s|  2950k|  1790k|     0 |   0.0 |1272M| 138 |   - | 200 |3643 |   0 |   0 |   0 |3070k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
499.80/499.83	c   437s|  2960k|  1797k|     0 |   0.0 |1276M| 138 |   - | 200 |3456 |   0 |   0 |   0 |3082k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
501.80/501.86	c   439s|  2970k|  1803k|     0 |   0.0 |1280M| 138 |   - | 200 |3636 |   0 |   0 |   0 |3093k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
503.70/503.80	c   441s|  2980k|  1809k|     0 |   0.0 |1285M| 138 |   - | 200 |3510 |   0 |   0 |   0 |3104k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
505.60/505.68	c   443s|  2990k|  1815k|     0 |   0.0 |1289M| 138 |   - | 200 |3509 |   0 |   0 |   0 |3116k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
507.59/507.64	c   444s|  3000k|  1821k|     0 |   0.0 |1294M| 138 |   - | 200 |3461 |   0 |   0 |   0 |3127k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
509.60/509.68	c   446s|  3010k|  1827k|     0 |   0.0 |1298M| 138 |   - | 200 |3435 |   0 |   0 |   0 |3139k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
511.80/511.87	c   448s|  3020k|  1833k|     0 |   0.0 |1303M| 138 |   - | 200 |3487 |   0 |   0 |   0 |3151k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
513.90/513.93	c   450s|  3030k|  1839k|     0 |   0.0 |1307M| 138 |   - | 200 |3394 |   0 |   0 |   0 |3162k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
516.10/516.15	c   452s|  3040k|  1845k|     0 |   0.0 |1312M| 138 |   - | 200 |3455 |   0 |   0 |   0 |3174k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
519.50/519.58	c   455s|  3050k|  1849k|     0 |   0.0 |1318M| 138 |   - | 200 |8397 |   0 |   0 |   0 |3192k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
522.60/522.63	c   458s|  3060k|  1854k|     0 |   0.0 |1321M| 138 |   - | 200 |5290 |   0 |   0 |   0 |3204k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
525.10/525.15	c   460s|  3070k|  1860k|     0 |   0.0 |1326M| 138 |   - | 200 |4463 |   0 |   0 |   0 |3216k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
527.39/527.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
527.39/527.41	c   462s|  3080k|  1866k|     0 |   0.0 |1330M| 138 |   - | 200 |3774 |   0 |   0 |   0 |3226k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
529.29/529.35	c   464s|  3090k|  1872k|     0 |   0.0 |1334M| 138 |   - | 200 |3748 |   0 |   0 |   0 |3235k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
531.20/531.20	c   466s|  3100k|  1879k|     0 |   0.0 |1338M| 138 |   - | 200 |3497 |   0 |   0 |   0 |3244k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
533.10/533.10	c   468s|  3110k|  1885k|     0 |   0.0 |1343M| 138 |   - | 200 |3581 |   0 |   0 |   0 |3253k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
534.99/535.04	c   469s|  3120k|  1892k|     0 |   0.0 |1347M| 138 |   - | 200 |3465 |   0 |   0 |   0 |3261k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
536.99/537.08	c   471s|  3130k|  1898k|     0 |   0.0 |1351M| 138 |   - | 200 |3521 |   0 |   0 |   0 |3269k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
538.90/538.99	c   473s|  3140k|  1905k|     0 |   0.0 |1355M| 138 |   - | 200 |3502 |   0 |   0 |   0 |3278k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
541.00/541.01	c   475s|  3150k|  1911k|     0 |   0.0 |1360M| 138 |   - | 200 |3641 |   0 |   0 |   0 |3288k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
542.90/542.98	c   476s|  3160k|  1918k|     0 |   0.0 |1364M| 138 |   - | 200 |3458 |   0 |   0 |   0 |3297k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
544.90/544.96	c   478s|  3170k|  1924k|     0 |   0.0 |1368M| 138 |   - | 200 |3338 |   0 |   0 |   0 |3305k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
547.09/547.15	c   480s|  3180k|  1930k|     0 |   0.0 |1372M| 138 |   - | 200 |3375 |   0 |   0 |   0 |3315k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
549.10/549.10	c   482s|  3190k|  1937k|     0 |   0.0 |1376M| 138 |   - | 200 |3371 |   0 |   0 |   0 |3324k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
551.20/551.21	c   484s|  3200k|  1943k|     0 |   0.0 |1380M| 138 |   - | 200 |3383 |   0 |   0 |   0 |3333k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
553.40/553.44	c   486s|  3210k|  1949k|     0 |   0.0 |1385M| 138 |   - | 200 |3846 |   0 |   0 |   0 |3343k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
555.80/555.85	c   488s|  3220k|  1955k|     0 |   0.0 |1389M| 138 |   - | 200 |4697 |   0 |   0 |   0 |3354k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
560.80/560.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
560.80/560.80	c   493s|  3230k|  1958k|     0 |   0.0 |1395M| 138 |   - | 200 |7606 |   0 |   0 |   0 |3373k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
564.00/564.06	c   496s|  3240k|  1964k|     0 |   0.0 |1399M| 138 |   - | 200 |5059 |   0 |   0 |   0 |3386k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
566.59/566.62	c   498s|  3250k|  1969k|     0 |   0.0 |1403M| 138 |   - | 200 |4000 |   0 |   0 |   0 |3397k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
568.89/568.97	c   500s|  3260k|  1975k|     0 |   0.0 |1407M| 138 |   - | 200 |3621 |   0 |   0 |   0 |3407k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
571.09/571.14	c   502s|  3270k|  1981k|     0 |   0.0 |1412M| 138 |   - | 200 |3857 |   0 |   0 |   0 |3417k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
573.19/573.22	c   504s|  3280k|  1988k|     0 |   0.0 |1416M| 138 |   - | 200 |3438 |   0 |   0 |   0 |3425k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
575.31/575.31	c   506s|  3290k|  1994k|     0 |   0.0 |1420M| 138 |   - | 200 |3457 |   0 |   0 |   0 |3434k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
577.29/577.32	c   508s|  3300k|  2000k|     0 |   0.0 |1424M| 138 |   - | 200 |3593 |   0 |   0 |   0 |3442k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
579.30/579.37	c   510s|  3310k|  2007k|     0 |   0.0 |1429M| 138 |   - | 200 |3756 |   0 |   0 |   0 |3451k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
581.40/581.48	c   512s|  3320k|  2013k|     0 |   0.0 |1433M| 138 |   - | 200 |3448 |   0 |   0 |   0 |3460k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
583.49/583.54	c   513s|  3330k|  2020k|     0 |   0.0 |1437M| 138 |   - | 200 |3435 |   0 |   0 |   0 |3469k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
585.60/585.65	c   515s|  3340k|  2026k|     0 |   0.0 |1441M| 138 |   - | 200 |3404 |   0 |   0 |   0 |3479k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
587.69/587.79	c   517s|  3350k|  2032k|     0 |   0.0 |1445M| 138 |   - | 200 |3337 |   0 |   0 |   0 |3488k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
589.70/589.79	c   519s|  3360k|  2038k|     0 |   0.0 |1450M| 138 |   - | 200 |3440 |   0 |   0 |   0 |3497k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
592.00/592.00	c   521s|  3370k|  2044k|     0 |   0.0 |1454M| 138 |   - | 200 |3679 |   0 |   0 |   0 |3507k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
594.00/594.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
594.00/594.06	c   523s|  3380k|  2050k|     0 |   0.0 |1458M| 138 |   - | 200 |3397 |   0 |   0 |   0 |3517k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
596.21/596.25	c   525s|  3390k|  2057k|     0 |   0.0 |1463M| 138 |   - | 200 |3504 |   0 |   0 |   0 |3526k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
598.40/598.49	c   527s|  3400k|  2062k|     0 |   0.0 |1467M| 138 |   - | 200 |3824 |   0 |   0 |   0 |3536k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
601.90/601.98	c   530s|  3410k|  2067k|     0 |   0.0 |1473M| 138 |   - | 200 |7805 |   0 |   0 |   0 |3551k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
606.90/606.93	c   535s|  3420k|  2070k|     0 |   0.0 |1478M| 138 |   - | 200 |7511 |   0 |   0 |   0 |3570k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
609.79/609.88	c   538s|  3430k|  2075k|     0 |   0.0 |1481M| 138 |   - | 200 |4517 |   0 |   0 |   0 |3582k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
612.40/612.45	c   540s|  3440k|  2081k|     0 |   0.0 |1486M| 138 |   - | 200 |3536 |   0 |   0 |   0 |3593k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
614.80/614.89	c   542s|  3450k|  2087k|     0 |   0.0 |1490M| 138 |   - | 200 |3700 |   0 |   0 |   0 |3602k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
617.00/617.07	c   544s|  3460k|  2093k|     0 |   0.0 |1495M| 138 |   - | 200 |3710 |   0 |   0 |   0 |3612k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
619.00/619.08	c   546s|  3470k|  2099k|     0 |   0.0 |1499M| 138 |   - | 200 |3542 |   0 |   0 |   0 |3621k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
621.00/621.01	c   548s|  3480k|  2105k|     0 |   0.0 |1503M| 138 |   - | 200 |3502 |   0 |   0 |   0 |3630k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
623.10/623.12	c   550s|  3490k|  2112k|     0 |   0.0 |1508M| 138 |   - | 200 |3573 |   0 |   0 |   0 |3639k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
625.30/625.30	c   552s|  3500k|  2118k|     0 |   0.0 |1512M| 138 |   - | 200 |3477 |   0 |   0 |   0 |3648k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
627.40/627.47	c   554s|  3510k|  2124k|     0 |   0.0 |1516M| 138 |   - | 200 |3490 |   0 |   0 |   0 |3658k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
629.50/629.55	c   555s|  3520k|  2130k|     0 |   0.0 |1521M| 138 |   - | 200 |3409 |   0 |   0 |   0 |3667k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
631.70/631.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
631.70/631.74	c   557s|  3530k|  2137k|     0 |   0.0 |1525M| 138 |   - | 200 |3467 |   0 |   0 |   0 |3676k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
634.00/634.05	c   559s|  3540k|  2143k|     0 |   0.0 |1529M| 138 |   - | 200 |3522 |   0 |   0 |   0 |3686k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
636.30/636.35	c   562s|  3550k|  2149k|     0 |   0.0 |1533M| 138 |   - | 200 |3466 |   0 |   0 |   0 |3696k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
638.50/638.54	c   564s|  3560k|  2155k|     0 |   0.0 |1538M| 138 |   - | 200 |3438 |   0 |   0 |   0 |3706k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
640.90/640.97	c   566s|  3570k|  2161k|     0 |   0.0 |1542M| 138 |   - | 200 |3719 |   0 |   0 |   0 |3716k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
643.20/643.25	c   568s|  3580k|  2167k|     0 |   0.0 |1547M| 138 |   - | 200 |3535 |   0 |   0 |   0 |3727k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
645.30/645.37	c   570s|  3590k|  2173k|     0 |   0.0 |1551M| 138 |   - | 200 |3674 |   0 |   0 |   0 |3737k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
647.50/647.56	c   572s|  3600k|  2178k|     0 |   0.0 |1556M| 138 |   - | 200 |3646 |   0 |   0 |   0 |3748k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
650.11/650.19	c   574s|  3610k|  2184k|     0 |   0.0 |1560M| 138 |   - | 200 |4072 |   0 |   0 |   0 |3760k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
653.00/653.06	c   577s|  3620k|  2189k|     0 |   0.0 |1565M| 138 |   - | 200 |3656 |   0 |   0 |   0 |3774k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
656.50/656.59	c   580s|  3630k|  2193k|     0 |   0.0 |1570M| 138 |   - | 200 |5966 |   0 |   0 |   0 |3790k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
660.30/660.31	c   584s|  3640k|  2197k|     0 |   0.0 |1575M| 138 |   - | 200 |5292 |   0 |   0 |   0 |3805k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
663.00/663.09	c   586s|  3650k|  2202k|     0 |   0.0 |1579M| 138 |   - | 200 |4011 |   0 |   0 |   0 |3817k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
665.30/665.33	c   588s|  3660k|  2208k|     0 |   0.0 |1583M| 138 |   - | 200 |3858 |   0 |   0 |   0 |3827k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
667.60/667.62	c   590s|  3670k|  2214k|     0 |   0.0 |1588M| 138 |   - | 200 |3747 |   0 |   0 |   0 |3837k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
669.69/669.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
669.69/669.79	c   592s|  3680k|  2220k|     0 |   0.0 |1592M| 138 |   - | 200 |3629 |   0 |   0 |   0 |3847k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
671.80/671.85	c   594s|  3690k|  2226k|     0 |   0.0 |1597M| 138 |   - | 200 |3485 |   0 |   0 |   0 |3856k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
673.90/673.95	c   596s|  3700k|  2232k|     0 |   0.0 |1601M| 138 |   - | 200 |3697 |   0 |   0 |   0 |3866k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
676.00/676.03	c   598s|  3710k|  2239k|     0 |   0.0 |1606M| 138 |   - | 200 |3590 |   0 |   0 |   0 |3875k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
678.00/678.08	c   600s|  3720k|  2245k|     0 |   0.0 |1610M| 138 |   - | 200 |3638 |   0 |   0 |   0 |3885k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
680.00/680.05	c   601s|  3730k|  2251k|     0 |   0.0 |1614M| 138 |   - | 200 |3702 |   0 |   0 |   0 |3894k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
682.01/682.09	c   603s|  3740k|  2257k|     0 |   0.0 |1619M| 138 |   - | 200 |3643 |   0 |   0 |   0 |3904k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
684.20/684.29	c   605s|  3750k|  2263k|     0 |   0.0 |1623M| 138 |   - | 200 |3507 |   0 |   0 |   0 |3913k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
686.31/686.37	c   607s|  3760k|  2269k|     0 |   0.0 |1627M| 138 |   - | 200 |3454 |   0 |   0 |   0 |3924k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
688.51/688.56	c   609s|  3770k|  2275k|     0 |   0.0 |1632M| 138 |   - | 200 |3583 |   0 |   0 |   0 |3934k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
690.71/690.78	c   611s|  3780k|  2281k|     0 |   0.0 |1636M| 138 |   - | 200 |3604 |   0 |   0 |   0 |3944k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
693.10/693.12	c   613s|  3790k|  2287k|     0 |   0.0 |1641M| 138 |   - | 200 |3461 |   0 |   0 |   0 |3955k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
695.60/695.67	c   616s|  3800k|  2292k|     0 |   0.0 |1645M| 138 |   - | 200 |3680 |   0 |   0 |   0 |3966k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
698.00/698.04	c   618s|  3810k|  2298k|     0 |   0.0 |1650M| 138 |   - | 200 |3622 |   0 |   0 |   0 |3977k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
700.40/700.42	c   620s|  3820k|  2303k|     0 |   0.0 |1654M| 138 |   - | 200 |3604 |   0 |   0 |   0 |3988k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
702.70/702.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
702.70/702.74	c   622s|  3830k|  2309k|     0 |   0.0 |1659M| 138 |   - | 200 |3552 |   0 |   0 |   0 |3999k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
705.20/705.24	c   624s|  3840k|  2314k|     0 |   0.0 |1664M| 138 |   - | 200 |3621 |   0 |   0 |   0 |4011k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
707.70/707.78	c   627s|  3850k|  2320k|     0 |   0.0 |1668M| 138 |   - | 200 |3620 |   0 |   0 |   0 |4022k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
710.20/710.28	c   629s|  3860k|  2325k|     0 |   0.0 |1673M| 138 |   - | 200 |3703 |   0 |   0 |   0 |4033k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
712.81/712.88	c   631s|  3870k|  2330k|     0 |   0.0 |1677M| 138 |   - | 200 |3836 |   0 |   0 |   0 |4044k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
716.40/716.49	c   635s|  3880k|  2334k|     0 |   0.0 |1682M| 138 |   - | 200 |5247 |   0 |   0 |   0 |4061k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
719.59/719.68	c   638s|  3890k|  2339k|     0 |   0.0 |1687M| 138 |   - | 200 |4683 |   0 |   0 |   0 |4074k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
722.30/722.36	c   640s|  3900k|  2344k|     0 |   0.0 |1691M| 138 |   - | 200 |4049 |   0 |   0 |   0 |4086k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
724.70/724.74	c   642s|  3910k|  2350k|     0 |   0.0 |1696M| 138 |   - | 200 |3849 |   0 |   0 |   0 |4096k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
727.01/727.01	c   644s|  3920k|  2356k|     0 |   0.0 |1700M| 138 |   - | 200 |3630 |   0 |   0 |   0 |4106k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
729.20/729.27	c   646s|  3930k|  2362k|     0 |   0.0 |1705M| 138 |   - | 200 |3662 |   0 |   0 |   0 |4116k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
731.40/731.47	c   648s|  3940k|  2368k|     0 |   0.0 |1709M| 138 |   - | 200 |3654 |   0 |   0 |   0 |4126k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
733.70/733.72	c   650s|  3950k|  2374k|     0 |   0.0 |1714M| 138 |   - | 200 |3676 |   0 |   0 |   0 |4136k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
735.80/735.86	c   652s|  3960k|  2380k|     0 |   0.0 |1718M| 138 |   - | 200 |3697 |   0 |   0 |   0 |4146k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
738.00/738.07	c   654s|  3970k|  2386k|     0 |   0.0 |1722M| 138 |   - | 200 |3678 |   0 |   0 |   0 |4156k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
740.20/740.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
740.20/740.23	c   656s|  3980k|  2392k|     0 |   0.0 |1727M| 138 |   - | 200 |3574 |   0 |   0 |   0 |4166k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
742.40/742.42	c   658s|  3990k|  2398k|     0 |   0.0 |1731M| 138 |   - | 200 |3899 |   0 |   0 |   0 |4175k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
744.71/744.70	c   660s|  4000k|  2403k|     0 |   0.0 |1736M| 138 |   - | 200 |3626 |   0 |   0 |   0 |4185k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
746.99/747.07	c   663s|  4010k|  2409k|     0 |   0.0 |1740M| 138 |   - | 200 |3612 |   0 |   0 |   0 |4196k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
749.30/749.33	c   665s|  4020k|  2415k|     0 |   0.0 |1745M| 138 |   - | 200 |3663 |   0 |   0 |   0 |4207k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
751.70/751.77	c   667s|  4030k|  2420k|     0 |   0.0 |1749M| 138 |   - | 200 |3792 |   0 |   0 |   0 |4218k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
754.10/754.19	c   669s|  4040k|  2426k|     0 |   0.0 |1754M| 138 |   - | 200 |3582 |   0 |   0 |   0 |4229k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
756.70/756.72	c   671s|  4050k|  2431k|     0 |   0.0 |1758M| 138 |   - | 200 |3587 |   0 |   0 |   0 |4240k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
759.20/759.26	c   674s|  4060k|  2437k|     0 |   0.0 |1763M| 138 |   - | 200 |3627 |   0 |   0 |   0 |4251k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
761.80/761.81	c   676s|  4070k|  2442k|     0 |   0.0 |1768M| 138 |   - | 200 |3693 |   0 |   0 |   0 |4263k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
764.50/764.56	c   679s|  4080k|  2447k|     0 |   0.0 |1772M| 138 |   - | 200 |3764 |   0 |   0 |   0 |4274k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
767.10/767.11	c   681s|  4090k|  2452k|     0 |   0.0 |1777M| 138 |   - | 200 |3926 |   0 |   0 |   0 |4286k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
769.80/769.84	c   683s|  4100k|  2457k|     0 |   0.0 |1782M| 138 |   - | 200 |3803 |   0 |   0 |   0 |4298k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
772.39/772.48	c   686s|  4110k|  2463k|     0 |   0.0 |1786M| 138 |   - | 200 |3862 |   0 |   0 |   0 |4310k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
775.00/775.03	c   688s|  4120k|  2468k|     0 |   0.0 |1791M| 138 |   - | 200 |3923 |   0 |   0 |   0 |4321k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
777.61/777.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
777.61/777.69	c   691s|  4130k|  2473k|     0 |   0.0 |1795M| 138 |   - | 200 |3905 |   0 |   0 |   0 |4333k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
781.19/781.24	c   694s|  4140k|  2477k|     0 |   0.0 |1800M| 138 |   - | 200 |5760 |   0 |   0 |   0 |4349k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
784.00/784.05	c   696s|  4150k|  2482k|     0 |   0.0 |1805M| 138 |   - | 200 |4210 |   0 |   0 |   0 |4362k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
786.60/786.66	c   699s|  4160k|  2487k|     0 |   0.0 |1809M| 138 |   - | 200 |3965 |   0 |   0 |   0 |4373k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
788.89/788.92	c   701s|  4170k|  2493k|     0 |   0.0 |1814M| 138 |   - | 200 |3829 |   0 |   0 |   0 |4384k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
791.10/791.15	c   703s|  4180k|  2498k|     0 |   0.0 |1818M| 138 |   - | 200 |3632 |   0 |   0 |   0 |4394k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
793.40/793.44	c   705s|  4190k|  2504k|     0 |   0.0 |1823M| 138 |   - | 200 |3866 |   0 |   0 |   0 |4405k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
795.49/795.52	c   707s|  4200k|  2510k|     0 |   0.0 |1827M| 138 |   - | 200 |3709 |   0 |   0 |   0 |4414k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
797.69/797.73	c   709s|  4210k|  2516k|     0 |   0.0 |1831M| 138 |   - | 200 |3570 |   0 |   0 |   0 |4425k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
799.80/799.87	c   711s|  4220k|  2522k|     0 |   0.0 |1836M| 138 |   - | 200 |3488 |   0 |   0 |   0 |4434k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
801.90/801.97	c   713s|  4230k|  2527k|     0 |   0.0 |1840M| 138 |   - | 200 |3879 |   0 |   0 |   0 |4445k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
804.20/804.25	c   715s|  4240k|  2533k|     0 |   0.0 |1845M| 138 |   - | 200 |3643 |   0 |   0 |   0 |4455k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
806.40/806.48	c   717s|  4250k|  2539k|     0 |   0.0 |1849M| 138 |   - | 200 |3611 |   0 |   0 |   0 |4466k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
808.79/808.80	c   719s|  4260k|  2544k|     0 |   0.0 |1854M| 138 |   - | 200 |3670 |   0 |   0 |   0 |4477k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
811.10/811.14	c   721s|  4270k|  2550k|     0 |   0.0 |1858M| 138 |   - | 200 |3725 |   0 |   0 |   0 |4488k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
813.30/813.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
813.30/813.35	c   723s|  4280k|  2555k|     0 |   0.0 |1863M| 138 |   - | 200 |3761 |   0 |   0 |   0 |4499k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
815.70/815.77	c   725s|  4290k|  2560k|     0 |   0.0 |1868M| 138 |   - | 200 |3659 |   0 |   0 |   0 |4510k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
818.30/818.31	c   728s|  4300k|  2565k|     0 |   0.0 |1872M| 138 |   - | 200 |3758 |   0 |   0 |   0 |4521k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
820.70/820.70	c   730s|  4310k|  2571k|     0 |   0.0 |1877M| 138 |   - | 200 |3663 |   0 |   0 |   0 |4532k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
822.99/823.09	c   732s|  4320k|  2576k|     0 |   0.0 |1881M| 138 |   - | 200 |3878 |   0 |   0 |   0 |4544k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
825.69/825.74	c   734s|  4330k|  2581k|     0 |   0.0 |1886M| 138 |   - | 200 |3785 |   0 |   0 |   0 |4556k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
828.70/828.71	c   737s|  4340k|  2586k|     0 |   0.0 |1891M| 138 |   - | 200 |3700 |   0 |   0 |   0 |4568k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
831.60/831.69	c   740s|  4350k|  2591k|     0 |   0.0 |1896M| 138 |   - | 200 |3870 |   0 |   0 |   0 |4579k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
834.81/834.83	c   743s|  4360k|  2595k|     0 |   0.0 |1900M| 138 |   - | 200 |3871 |   0 |   0 |   0 |4592k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
838.00/838.04	c   746s|  4370k|  2600k|     0 |   0.0 |1905M| 138 |   - | 200 |3930 |   0 |   0 |   0 |4604k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
841.19/841.21	c   749s|  4380k|  2605k|     0 |   0.0 |1910M| 138 |   - | 200 |3810 |   0 |   0 |   0 |4616k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
844.20/844.27	c   752s|  4390k|  2610k|     0 |   0.0 |1914M| 138 |   - | 200 |4152 |   0 |   0 |   0 |4629k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
848.39/848.48	c   756s|  4400k|  2613k|     0 |   0.0 |1919M| 138 |   - | 200 |5093 |   0 |   0 |   0 |4645k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
852.10/852.19	c   759s|  4410k|  2618k|     0 |   0.0 |1924M| 138 |   - | 200 |4335 |   0 |   0 |   0 |4659k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
855.20/855.25	c   762s|  4420k|  2623k|     0 |   0.0 |1928M| 138 |   - | 200 |4075 |   0 |   0 |   0 |4670k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
858.29/858.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
858.29/858.37	c   765s|  4430k|  2628k|     0 |   0.0 |1932M| 138 |   - | 200 |4089 |   0 |   0 |   0 |4682k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
861.49/861.51	c   768s|  4440k|  2633k|     0 |   0.0 |1937M| 138 |   - | 200 |4012 |   0 |   0 |   0 |4693k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
864.30/864.37	c   770s|  4450k|  2638k|     0 |   0.0 |1941M| 138 |   - | 200 |3786 |   0 |   0 |   0 |4704k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
867.20/867.20	c   773s|  4460k|  2643k|     0 |   0.0 |1945M| 138 |   - | 200 |3995 |   0 |   0 |   0 |4715k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
870.00/870.07	c   776s|  4470k|  2649k|     0 |   0.0 |1950M| 138 |   - | 200 |3740 |   0 |   0 |   0 |4726k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
873.20/873.23	c   778s|  4480k|  2654k|     0 |   0.0 |1954M| 138 |   - | 200 |3718 |   0 |   0 |   0 |4736k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
876.19/876.22	c   781s|  4490k|  2659k|     0 |   0.0 |1959M| 138 |   - | 200 |3894 |   0 |   0 |   0 |4747k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
878.99/879.08	c   784s|  4500k|  2665k|     0 |   0.0 |1963M| 138 |   - | 200 |3743 |   0 |   0 |   0 |4758k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
882.20/882.20	c   787s|  4510k|  2670k|     0 |   0.0 |1968M| 138 |   - | 200 |3652 |   0 |   0 |   0 |4769k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
885.09/885.17	c   790s|  4520k|  2675k|     0 |   0.0 |1972M| 138 |   - | 200 |3731 |   0 |   0 |   0 |4780k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
888.29/888.33	c   792s|  4530k|  2680k|     0 |   0.0 |1976M| 138 |   - | 200 |3619 |   0 |   0 |   0 |4791k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
891.29/891.38	c   795s|  4540k|  2685k|     0 |   0.0 |1981M| 138 |   - | 200 |3859 |   0 |   0 |   0 |4803k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
894.39/894.49	c   798s|  4550k|  2690k|     0 |   0.0 |1986M| 138 |   - | 200 |3753 |   0 |   0 |   0 |4814k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
897.61/897.63	c   801s|  4560k|  2694k|     0 |   0.0 |1990M| 138 |   - | 200 |3689 |   0 |   0 |   0 |4826k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
900.80/900.84	c   804s|  4570k|  2699k|     0 |   0.0 |1995M| 138 |   - | 200 |3675 |   0 |   0 |   0 |4838k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
903.90/903.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
903.90/903.91	c   807s|  4580k|  2704k|     0 |   0.0 |2000M| 138 |   - | 200 |3894 |   0 |   0 |   0 |4850k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
907.00/907.05	c   810s|  4590k|  2709k|     0 |   0.0 |2004M| 138 |   - | 200 |3590 |   0 |   0 |   0 |4862k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
910.10/910.14	c   813s|  4600k|  2713k|     0 |   0.0 |2009M| 138 |   - | 200 |3665 |   0 |   0 |   0 |4875k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
913.20/913.27	c   816s|  4610k|  2718k|     0 |   0.0 |2013M| 138 |   - | 200 |3807 |   0 |   0 |   0 |4887k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
916.59/916.64	c   819s|  4620k|  2723k|     0 |   0.0 |2018M| 138 |   - | 200 |3756 |   0 |   0 |   0 |4899k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
919.90/919.90	c   822s|  4630k|  2727k|     0 |   0.0 |2023M| 138 |   - | 200 |3951 |   0 |   0 |   0 |4912k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
923.40/923.44	c   825s|  4640k|  2731k|     0 |   0.0 |2027M| 138 |   - | 200 |3953 |   0 |   0 |   0 |4925k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
926.69/926.75	c   828s|  4650k|  2736k|     0 |   0.0 |2032M| 138 |   - | 200 |4218 |   0 |   0 |   0 |4937k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
930.09/930.16	c   831s|  4660k|  2740k|     0 |   0.0 |2037M| 138 |   - | 200 |4332 |   0 |   0 |   0 |4951k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
934.40/934.42	c   835s|  4670k|  2744k|     0 |   0.0 |2042M| 138 |   - | 200 |4392 |   0 |   0 |   0 |4966k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
937.90/937.93	c   839s|  4680k|  2748k|     0 |   0.0 |2046M| 138 |   - | 200 |4288 |   0 |   0 |   0 |4980k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
941.39/941.41	c   842s|  4690k|  2753k|     0 |   0.0 |2050M| 138 |   - | 200 |3952 |   0 |   0 |   0 |4993k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
944.39/944.48	c   845s|  4700k|  2758k|     0 |   0.0 |2055M| 138 |   - | 200 |3902 |   0 |   0 |   0 |5005k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
947.60/947.66	c   848s|  4710k|  2763k|     0 |   0.0 |2059M| 138 |   - | 200 |3850 |   0 |   0 |   0 |5016k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
950.80/950.86	c   851s|  4720k|  2768k|     0 |   0.0 |2064M| 138 |   - | 200 |4044 |   0 |   0 |   0 |5028k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
953.60/953.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
953.60/953.60	c   853s|  4730k|  2773k|     0 |   0.0 |2068M| 138 |   - | 200 |4002 |   0 |   0 |   0 |5039k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
956.60/956.62	c   856s|  4740k|  2778k|     0 |   0.0 |2072M| 138 |   - | 200 |3875 |   0 |   0 |   0 |5050k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
959.50/959.55	c   859s|  4750k|  2783k|     0 |   0.0 |2077M| 138 |   - | 200 |3751 |   0 |   0 |   0 |5061k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
962.70/962.70	c   862s|  4760k|  2788k|     0 |   0.0 |2081M| 138 |   - | 200 |3802 |   0 |   0 |   0 |5073k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
965.80/965.83	c   865s|  4770k|  2793k|     0 |   0.0 |2086M| 138 |   - | 200 |3679 |   0 |   0 |   0 |5084k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
969.00/969.08	c   868s|  4780k|  2797k|     0 |   0.0 |2090M| 138 |   - | 200 |3818 |   0 |   0 |   0 |5096k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
972.19/972.29	c   871s|  4790k|  2802k|     0 |   0.0 |2095M| 138 |   - | 200 |3702 |   0 |   0 |   0 |5107k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
975.70/975.75	c   874s|  4800k|  2807k|     0 |   0.0 |2100M| 138 |   - | 200 |3602 |   0 |   0 |   0 |5119k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
978.90/978.99	c   877s|  4810k|  2812k|     0 |   0.0 |2104M| 138 |   - | 200 |3956 |   0 |   0 |   0 |5131k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
982.30/982.34	c   880s|  4820k|  2816k|     0 |   0.0 |2109M| 138 |   - | 200 |3718 |   0 |   0 |   0 |5143k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
985.61/985.61	c   883s|  4830k|  2820k|     0 |   0.0 |2113M| 138 |   - | 200 |3803 |   0 |   0 |   0 |5156k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
988.91/988.93	c   886s|  4840k|  2825k|     0 |   0.0 |2118M| 138 |   - | 200 |3647 |   0 |   0 |   0 |5168k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
992.40/992.42	c   889s|  4850k|  2829k|     0 |   0.0 |2123M| 138 |   - | 200 |3649 |   0 |   0 |   0 |5180k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
995.99/996.06	c   893s|  4860k|  2834k|     0 |   0.0 |2127M| 138 |   - | 200 |3815 |   0 |   0 |   0 |5193k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
999.30/999.36	c   896s|  4870k|  2838k|     0 |   0.0 |2132M| 138 |   - | 200 |3786 |   0 |   0 |   0 |5206k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1002.60/1002.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1002.60/1002.68	c   899s|  4880k|  2843k|     0 |   0.0 |2137M| 138 |   - | 200 |3924 |   0 |   0 |   0 |5219k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1006.20/1006.23	c   902s|  4890k|  2847k|     0 |   0.0 |2142M| 138 |   - | 200 |4057 |   0 |   0 |   0 |5231k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1009.71/1009.72	c   905s|  4900k|  2851k|     0 |   0.0 |2147M| 138 |   - | 200 |4024 |   0 |   0 |   0 |5243k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1013.20/1013.26	c   909s|  4910k|  2856k|     0 |   0.0 |2151M| 138 |   - | 200 |3893 |   0 |   0 |   0 |5255k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1016.80/1016.83	c   912s|  4920k|  2860k|     0 |   0.0 |2156M| 138 |   - | 200 |4100 |   0 |   0 |   0 |5268k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1021.60/1021.62	c   917s|  4930k|  2863k|     0 |   0.0 |2161M| 138 |   - | 200 |4712 |   0 |   0 |   0 |5285k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1025.50/1025.53	c   920s|  4940k|  2867k|     0 |   0.0 |2165M| 138 |   - | 200 |4178 |   0 |   0 |   0 |5300k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1029.20/1029.21	c   924s|  4950k|  2871k|     0 |   0.0 |2169M| 138 |   - | 200 |4044 |   0 |   0 |   0 |5313k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1032.40/1032.46	c   927s|  4960k|  2876k|     0 |   0.0 |2174M| 138 |   - | 200 |4181 |   0 |   0 |   0 |5326k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1035.80/1035.87	c   930s|  4970k|  2881k|     0 |   0.0 |2178M| 138 |   - | 200 |4187 |   0 |   0 |   0 |5338k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1039.40/1039.44	c   933s|  4980k|  2885k|     0 |   0.0 |2183M| 138 |   - | 200 |4072 |   0 |   0 |   0 |5351k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1042.70/1042.79	c   936s|  4990k|  2890k|     0 |   0.0 |2187M| 138 |   - | 200 |3872 |   0 |   0 |   0 |5363k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1046.59/1046.61	c   940s|  5000k|  2894k|     0 |   0.0 |2192M| 138 |   - | 200 |3955 |   0 |   0 |   0 |5376k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1050.00/1050.03	c   943s|  5010k|  2898k|     0 |   0.0 |2196M| 138 |   - | 200 |3956 |   0 |   0 |   0 |5388k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1053.50/1053.53	c   946s|  5020k|  2903k|     0 |   0.0 |2201M| 138 |   - | 200 |3868 |   0 |   0 |   0 |5400k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1057.00/1057.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1057.00/1057.01	c   950s|  5030k|  2907k|     0 |   0.0 |2206M| 138 |   - | 200 |3830 |   0 |   0 |   0 |5412k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1060.50/1060.56	c   953s|  5040k|  2912k|     0 |   0.0 |2210M| 138 |   - | 200 |3925 |   0 |   0 |   0 |5425k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1063.80/1063.88	c   956s|  5050k|  2916k|     0 |   0.0 |2215M| 138 |   - | 200 |3807 |   0 |   0 |   0 |5437k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1067.30/1067.36	c   959s|  5060k|  2921k|     0 |   0.0 |2219M| 138 |   - | 200 |3659 |   0 |   0 |   0 |5449k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1070.60/1070.65	c   962s|  5070k|  2925k|     0 |   0.0 |2224M| 138 |   - | 200 |3660 |   0 |   0 |   0 |5461k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1074.30/1074.30	c   966s|  5080k|  2929k|     0 |   0.0 |2229M| 138 |   - | 200 |3777 |   0 |   0 |   0 |5473k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1077.70/1077.77	c   969s|  5090k|  2934k|     0 |   0.0 |2233M| 138 |   - | 200 |3857 |   0 |   0 |   0 |5486k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1081.20/1081.27	c   972s|  5100k|  2938k|     0 |   0.0 |2238M| 138 |   - | 200 |3891 |   0 |   0 |   0 |5499k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1084.90/1084.92	c   976s|  5110k|  2942k|     0 |   0.0 |2243M| 138 |   - | 200 |4059 |   0 |   0 |   0 |5511k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1088.30/1088.36	c   979s|  5120k|  2946k|     0 |   0.0 |2248M| 138 |   - | 200 |4045 |   0 |   0 |   0 |5523k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1092.00/1092.04	c   982s|  5130k|  2950k|     0 |   0.0 |2253M| 138 |   - | 200 |3862 |   0 |   0 |   0 |5536k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1095.70/1095.73	c   986s|  5140k|  2955k|     0 |   0.0 |2257M| 138 |   - | 200 |3998 |   0 |   0 |   0 |5548k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1099.10/1099.15	c   989s|  5150k|  2959k|     0 |   0.0 |2262M| 138 |   - | 200 |4208 |   0 |   0 |   0 |5561k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1102.70/1102.72	c   992s|  5160k|  2963k|     0 |   0.0 |2267M| 138 |   - | 200 |4099 |   0 |   0 |   0 |5574k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1106.40/1106.40	c   996s|  5170k|  2967k|     0 |   0.0 |2272M| 138 |   - | 200 |4083 |   0 |   0 |   0 |5586k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1110.70/1110.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1110.70/1110.77	c  1000s|  5180k|  2970k|     0 |   0.0 |2277M| 138 |   - | 200 |5068 |   0 |   0 |   0 |5603k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1115.40/1115.46	c  1005s|  5190k|  2974k|     0 |   0.0 |2280M| 138 |   - | 200 |4623 |   0 |   0 |   0 |5619k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1119.30/1119.34	c  1008s|  5200k|  2978k|     0 |   0.0 |2285M| 138 |   - | 200 |4015 |   0 |   0 |   0 |5633k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1122.90/1122.94	c  1012s|  5210k|  2982k|     0 |   0.0 |2289M| 138 |   - | 200 |4202 |   0 |   0 |   0 |5646k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1127.20/1127.26	c  1016s|  5220k|  2985k|     0 |   0.0 |2294M| 138 |   - | 200 |4125 |   0 |   0 |   0 |5661k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1131.30/1131.33	c  1020s|  5230k|  2989k|     0 |   0.0 |2298M| 138 |   - | 200 |4121 |   0 |   0 |   0 |5675k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1135.00/1135.08	c  1023s|  5240k|  2993k|     0 |   0.0 |2302M| 138 |   - | 200 |4026 |   0 |   0 |   0 |5688k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1138.90/1138.90	c  1027s|  5250k|  2997k|     0 |   0.0 |2307M| 138 |   - | 200 |4015 |   0 |   0 |   0 |5700k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1142.20/1142.28	c  1030s|  5260k|  3001k|     0 |   0.0 |2312M| 138 |   - | 200 |3866 |   0 |   0 |   0 |5713k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1145.90/1145.96	c  1033s|  5270k|  3005k|     0 |   0.0 |2316M| 138 |   - | 200 |3713 |   0 |   0 |   0 |5725k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1149.50/1149.51	c  1037s|  5280k|  3010k|     0 |   0.0 |2321M| 138 |   - | 200 |3907 |   0 |   0 |   0 |5737k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1153.20/1153.28	c  1040s|  5290k|  3014k|     0 |   0.0 |2325M| 138 |   - | 200 |3777 |   0 |   0 |   0 |5750k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1156.70/1156.74	c  1044s|  5300k|  3018k|     0 |   0.0 |2330M| 138 |   - | 200 |3576 |   0 |   0 |   0 |5762k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1160.30/1160.40	c  1047s|  5310k|  3022k|     0 |   0.0 |2335M| 138 |   - | 200 |3831 |   0 |   0 |   0 |5775k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1164.40/1164.49	c  1051s|  5320k|  3026k|     0 |   0.0 |2340M| 138 |   - | 200 |3790 |   0 |   0 |   0 |5788k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1168.11/1168.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1168.11/1168.11	c  1054s|  5330k|  3030k|     0 |   0.0 |2345M| 138 |   - | 200 |3849 |   0 |   0 |   0 |5801k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1172.20/1172.22	c  1058s|  5340k|  3033k|     0 |   0.0 |2349M| 138 |   - | 200 |3806 |   0 |   0 |   0 |5814k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1176.20/1176.29	c  1062s|  5350k|  3037k|     0 |   0.0 |2354M| 138 |   - | 200 |3848 |   0 |   0 |   0 |5827k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1180.50/1180.50	c  1066s|  5360k|  3041k|     0 |   0.0 |2359M| 138 |   - | 200 |4070 |   0 |   0 |   0 |5840k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1184.40/1184.44	c  1070s|  5370k|  3045k|     0 |   0.0 |2364M| 138 |   - | 200 |3996 |   0 |   0 |   0 |5854k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1187.90/1187.99	c  1073s|  5380k|  3049k|     0 |   0.0 |2369M| 138 |   - | 200 |4069 |   0 |   0 |   0 |5866k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1191.80/1191.85	c  1077s|  5390k|  3052k|     0 |   0.0 |2374M| 138 |   - | 200 |4207 |   0 |   0 |   0 |5880k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1195.40/1195.45	c  1080s|  5400k|  3056k|     0 |   0.0 |2379M| 138 |   - | 200 |4283 |   0 |   0 |   0 |5893k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1199.30/1199.38	c  1084s|  5410k|  3060k|     0 |   0.0 |2383M| 138 |   - | 200 |4131 |   0 |   0 |   0 |5906k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1204.00/1204.09	c  1088s|  5420k|  3063k|     0 |   0.0 |2388M| 138 |   - | 200 |4769 |   0 |   0 |   0 |5923k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1208.40/1208.45	c  1093s|  5430k|  3066k|     0 |   0.0 |2392M| 138 |   - | 200 |4434 |   0 |   0 |   0 |5938k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1213.21/1213.23	c  1097s|  5440k|  3069k|     0 |   0.0 |2396M| 138 |   - | 200 |4568 |   0 |   0 |   0 |5954k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1217.90/1217.94	c  1102s|  5450k|  3072k|     0 |   0.0 |2400M| 138 |   - | 200 |4378 |   0 |   0 |   0 |5970k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1222.40/1222.46	c  1106s|  5460k|  3075k|     0 |   0.0 |2404M| 138 |   - | 200 |4190 |   0 |   0 |   0 |5985k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1226.60/1226.62	c  1110s|  5470k|  3078k|     0 |   0.0 |2409M| 138 |   - | 200 |4206 |   0 |   0 |   0 |5999k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1230.51/1230.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1230.51/1230.54	c  1114s|  5480k|  3082k|     0 |   0.0 |2413M| 138 |   - | 200 |3762 |   0 |   0 |   0 |6012k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1234.50/1234.55	c  1117s|  5490k|  3086k|     0 |   0.0 |2418M| 138 |   - | 200 |3923 |   0 |   0 |   0 |6025k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1238.30/1238.36	c  1121s|  5500k|  3090k|     0 |   0.0 |2422M| 138 |   - | 200 |3916 |   0 |   0 |   0 |6038k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1241.91/1241.98	c  1124s|  5510k|  3094k|     0 |   0.0 |2427M| 138 |   - | 200 |3835 |   0 |   0 |   0 |6050k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1246.88/1246.95	c  1129s|  5520k|  3097k|     0 |   0.0 |2432M| 138 |   - | 200 |3834 |   0 |   0 |   0 |6064k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1250.97/1251.01	c  1133s|  5530k|  3101k|     0 |   0.0 |2437M| 138 |   - | 200 |3927 |   0 |   0 |   0 |6077k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1255.37/1255.41	c  1137s|  5540k|  3104k|     0 |   0.0 |2441M| 138 |   - | 200 |3860 |   0 |   0 |   0 |6090k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1259.17/1259.25	c  1141s|  5550k|  3108k|     0 |   0.0 |2446M| 138 |   - | 200 |3934 |   0 |   0 |   0 |6103k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1263.18/1263.21	c  1144s|  5560k|  3112k|     0 |   0.0 |2451M| 138 |   - | 200 |3839 |   0 |   0 |   0 |6117k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1267.08/1267.13	c  1148s|  5570k|  3115k|     0 |   0.0 |2456M| 138 |   - | 200 |3931 |   0 |   0 |   0 |6130k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1271.07/1271.13	c  1152s|  5580k|  3119k|     0 |   0.0 |2461M| 138 |   - | 200 |3878 |   0 |   0 |   0 |6143k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1275.07/1275.12	c  1156s|  5590k|  3123k|     0 |   0.0 |2466M| 138 |   - | 200 |4009 |   0 |   0 |   0 |6156k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1279.28/1279.39	c  1160s|  5600k|  3126k|     0 |   0.0 |2471M| 138 |   - | 200 |4030 |   0 |   0 |   0 |6169k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1283.28/1283.38	c  1164s|  5610k|  3130k|     0 |   0.0 |2475M| 138 |   - | 200 |4101 |   0 |   0 |   0 |6182k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1287.48/1287.54	c  1167s|  5620k|  3133k|     0 |   0.0 |2480M| 138 |   - | 200 |4200 |   0 |   0 |   0 |6196k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1291.39/1291.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1291.39/1291.48	c  1171s|  5630k|  3137k|     0 |   0.0 |2485M| 138 |   - | 200 |4083 |   0 |   0 |   0 |6209k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1295.48/1295.50	c  1175s|  5640k|  3140k|     0 |   0.0 |2490M| 138 |   - | 200 |4576 |   0 |   0 |   0 |6224k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1300.97/1301.01	c  1180s|  5650k|  3142k|     0 |   0.0 |2493M| 138 |   - | 200 |4715 |   0 |   0 |   0 |6243k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1307.08/1307.12	c  1186s|  5660k|  3144k|     0 |   0.0 |2497M| 138 |   - | 200 |4660 |   0 |   0 |   0 |6261k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1312.67/1312.77	c  1192s|  5670k|  3146k|     0 |   0.0 |2501M| 138 |   - | 200 |4321 |   0 |   0 |   0 |6278k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1317.88/1317.98	c  1197s|  5680k|  3149k|     0 |   0.0 |2505M| 138 |   - | 200 |3981 |   0 |   0 |   0 |6293k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1322.67/1322.77	c  1202s|  5690k|  3152k|     0 |   0.0 |2510M| 138 |   - | 200 |3982 |   0 |   0 |   0 |6307k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1327.47/1327.54	c  1206s|  5700k|  3155k|     0 |   0.0 |2514M| 138 |   - | 200 |4007 |   0 |   0 |   0 |6321k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1331.77/1331.85	c  1211s|  5710k|  3159k|     0 |   0.0 |2519M| 138 |   - | 200 |3891 |   0 |   0 |   0 |6334k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1336.37/1336.44	c  1215s|  5720k|  3162k|     0 |   0.0 |2523M| 138 |   - | 200 |4027 |   0 |   0 |   0 |6348k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1341.37/1341.43	c  1220s|  5730k|  3166k|     0 |   0.0 |2528M| 138 |   - | 200 |3934 |   0 |   0 |   0 |6362k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1346.07/1346.13	c  1225s|  5740k|  3169k|     0 |   0.0 |2533M| 138 |   - | 200 |3851 |   0 |   0 |   0 |6375k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1350.57/1350.66	c  1229s|  5750k|  3172k|     0 |   0.0 |2538M| 138 |   - | 200 |3997 |   0 |   0 |   0 |6389k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1355.27/1355.38	c  1234s|  5760k|  3175k|     0 |   0.0 |2543M| 138 |   - | 200 |4068 |   0 |   0 |   0 |6402k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1360.37/1360.43	c  1239s|  5770k|  3178k|     0 |   0.0 |2548M| 138 |   - | 200 |3909 |   0 |   0 |   0 |6416k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1364.77/1364.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1364.77/1364.82	c  1243s|  5780k|  3182k|     0 |   0.0 |2552M| 138 |   - | 200 |3942 |   0 |   0 |   0 |6430k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1369.48/1369.53	c  1248s|  5790k|  3185k|     0 |   0.0 |2557M| 138 |   - | 200 |4119 |   0 |   0 |   0 |6444k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1374.47/1374.57	c  1253s|  5800k|  3188k|     0 |   0.0 |2562M| 138 |   - | 200 |3896 |   0 |   0 |   0 |6458k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1379.07/1379.15	c  1257s|  5810k|  3191k|     0 |   0.0 |2567M| 138 |   - | 200 |3985 |   0 |   0 |   0 |6472k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1383.57/1383.63	c  1262s|  5820k|  3195k|     0 |   0.0 |2572M| 138 |   - | 200 |4196 |   0 |   0 |   0 |6485k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1388.36/1388.44	c  1266s|  5830k|  3198k|     0 |   0.0 |2577M| 138 |   - | 200 |4360 |   0 |   0 |   0 |6499k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1393.07/1393.18	c  1271s|  5840k|  3201k|     0 |   0.0 |2582M| 138 |   - | 200 |4110 |   0 |   0 |   0 |6513k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1397.87/1397.96	c  1276s|  5850k|  3204k|     0 |   0.0 |2586M| 138 |   - | 200 |4492 |   0 |   0 |   0 |6530k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1404.07/1404.17	c  1282s|  5860k|  3205k|     0 |   0.0 |2588M| 138 |   - | 200 |4823 |   0 |   0 |   0 |6550k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1410.67/1410.76	c  1288s|  5870k|  3206k|     0 |   0.0 |2592M| 138 |   - | 200 |4401 |   0 |   0 |   0 |6569k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1416.17/1416.23	c  1294s|  5880k|  3208k|     0 |   0.0 |2596M| 138 |   - | 200 |4201 |   0 |   0 |   0 |6585k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1420.97/1421.06	c  1298s|  5890k|  3211k|     0 |   0.0 |2600M| 138 |   - | 200 |3983 |   0 |   0 |   0 |6600k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1425.77/1425.83	c  1303s|  5900k|  3214k|     0 |   0.0 |2604M| 138 |   - | 200 |3868 |   0 |   0 |   0 |6614k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1430.47/1430.50	c  1308s|  5910k|  3217k|     0 |   0.0 |2609M| 138 |   - | 200 |4009 |   0 |   0 |   0 |6628k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1435.57/1435.64	c  1313s|  5920k|  3220k|     0 |   0.0 |2614M| 138 |   - | 200 |4007 |   0 |   0 |   0 |6642k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1440.47/1440.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1440.47/1440.54	c  1317s|  5930k|  3223k|     0 |   0.0 |2618M| 138 |   - | 200 |3947 |   0 |   0 |   0 |6656k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1445.38/1445.47	c  1322s|  5940k|  3226k|     0 |   0.0 |2623M| 138 |   - | 200 |3996 |   0 |   0 |   0 |6670k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1450.37/1450.41	c  1327s|  5950k|  3228k|     0 |   0.0 |2628M| 138 |   - | 200 |3963 |   0 |   0 |   0 |6685k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1455.08/1455.16	c  1332s|  5960k|  3231k|     0 |   0.0 |2633M| 138 |   - | 200 |3807 |   0 |   0 |   0 |6699k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1459.47/1459.59	c  1336s|  5970k|  3234k|     0 |   0.0 |2637M| 138 |   - | 200 |4038 |   0 |   0 |   0 |6713k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1464.18/1464.28	c  1341s|  5980k|  3237k|     0 |   0.0 |2642M| 138 |   - | 200 |3976 |   0 |   0 |   0 |6726k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1468.97/1469.00	c  1345s|  5990k|  3240k|     0 |   0.0 |2647M| 138 |   - | 200 |4061 |   0 |   0 |   0 |6740k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1473.68/1473.77	c  1350s|  6000k|  3243k|     0 |   0.0 |2652M| 138 |   - | 200 |4130 |   0 |   0 |   0 |6754k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1478.38/1478.42	c  1355s|  6010k|  3247k|     0 |   0.0 |2657M| 138 |   - | 200 |4014 |   0 |   0 |   0 |6768k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1482.87/1482.92	c  1359s|  6020k|  3250k|     0 |   0.0 |2662M| 138 |   - | 200 |4259 |   0 |   0 |   0 |6782k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1487.77/1487.83	c  1364s|  6030k|  3253k|     0 |   0.0 |2667M| 138 |   - | 200 |4337 |   0 |   0 |   0 |6796k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1492.27/1492.39	c  1368s|  6040k|  3256k|     0 |   0.0 |2672M| 138 |   - | 200 |4177 |   0 |   0 |   0 |6810k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1498.77/1498.82	c  1375s|  6050k|  3256k|     0 |   0.0 |2674M| 138 |   - | 200 |4502 |   0 |   0 |   0 |6831k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1505.57/1505.60	c  1381s|  6060k|  3256k|     0 |   0.0 |2676M| 138 |   - | 200 |4489 |   0 |   0 |   0 |6852k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1511.47/1511.58	c  1387s|  6070k|  3258k|     0 |   0.0 |2680M| 138 |   - | 200 |4388 |   0 |   0 |   0 |6870k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1516.78/1516.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1516.78/1516.86	c  1393s|  6080k|  3260k|     0 |   0.0 |2684M| 138 |   - | 200 |3928 |   0 |   0 |   0 |6885k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1522.08/1522.12	c  1398s|  6090k|  3262k|     0 |   0.0 |2689M| 138 |   - | 200 |3993 |   0 |   0 |   0 |6900k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1527.27/1527.37	c  1403s|  6100k|  3265k|     0 |   0.0 |2693M| 138 |   - | 200 |4156 |   0 |   0 |   0 |6914k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1532.37/1532.43	c  1408s|  6110k|  3267k|     0 |   0.0 |2698M| 138 |   - | 200 |3997 |   0 |   0 |   0 |6929k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1537.78/1537.88	c  1413s|  6120k|  3270k|     0 |   0.0 |2703M| 138 |   - | 200 |4003 |   0 |   0 |   0 |6943k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1542.97/1543.08	c  1418s|  6130k|  3272k|     0 |   0.0 |2707M| 138 |   - | 200 |3803 |   0 |   0 |   0 |6958k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1548.27/1548.39	c  1424s|  6140k|  3275k|     0 |   0.0 |2712M| 138 |   - | 200 |3938 |   0 |   0 |   0 |6973k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1552.88/1552.90	c  1428s|  6150k|  3277k|     0 |   0.0 |2717M| 138 |   - | 200 |3865 |   0 |   0 |   0 |6987k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1557.58/1557.70	c  1433s|  6160k|  3280k|     0 |   0.0 |2722M| 138 |   - | 200 |4067 |   0 |   0 |   0 |7001k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1562.68/1562.71	c  1438s|  6170k|  3283k|     0 |   0.0 |2726M| 138 |   - | 200 |4004 |   0 |   0 |   0 |7016k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1567.48/1567.59	c  1442s|  6180k|  3286k|     0 |   0.0 |2731M| 138 |   - | 200 |4121 |   0 |   0 |   0 |7030k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1572.27/1572.33	c  1447s|  6190k|  3288k|     0 |   0.0 |2736M| 138 |   - | 200 |4133 |   0 |   0 |   0 |7044k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1577.08/1577.17	c  1452s|  6200k|  3291k|     0 |   0.0 |2741M| 138 |   - | 200 |4264 |   0 |   0 |   0 |7058k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1581.58/1581.67	c  1456s|  6210k|  3294k|     0 |   0.0 |2746M| 138 |   - | 200 |4337 |   0 |   0 |   0 |7073k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1586.47/1586.55	c  1461s|  6220k|  3297k|     0 |   0.0 |2751M| 138 |   - | 200 |4310 |   0 |   0 |   0 |7087k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1593.08/1593.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1593.08/1593.16	c  1468s|  6230k|  3297k|     0 |   0.0 |2752M| 138 |   - | 200 |4372 |   0 |   0 |   0 |7107k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1600.27/1600.37	c  1475s|  6240k|  3297k|     0 |   0.0 |2754M| 138 |   - | 200 |4288 |   0 |   0 |   0 |7128k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1606.57/1606.61	c  1481s|  6250k|  3298k|     0 |   0.0 |2758M| 138 |   - | 200 |4171 |   0 |   0 |   0 |7146k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1611.98/1612.01	c  1486s|  6260k|  3300k|     0 |   0.0 |2762M| 138 |   - | 200 |4069 |   0 |   0 |   0 |7161k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1617.47/1617.56	c  1492s|  6270k|  3302k|     0 |   0.0 |2766M| 138 |   - | 200 |3988 |   0 |   0 |   0 |7176k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1622.67/1622.73	c  1497s|  6280k|  3304k|     0 |   0.0 |2771M| 138 |   - | 200 |3993 |   0 |   0 |   0 |7191k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1628.17/1628.27	c  1502s|  6290k|  3306k|     0 |   0.0 |2776M| 138 |   - | 200 |4041 |   0 |   0 |   0 |7206k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1633.28/1633.38	c  1507s|  6300k|  3308k|     0 |   0.0 |2780M| 138 |   - | 200 |3952 |   0 |   0 |   0 |7221k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1638.38/1638.42	c  1512s|  6310k|  3310k|     0 |   0.0 |2785M| 138 |   - | 200 |3964 |   0 |   0 |   0 |7236k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1643.38/1643.42	c  1517s|  6320k|  3313k|     0 |   0.0 |2790M| 138 |   - | 200 |4038 |   0 |   0 |   0 |7251k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1648.28/1648.34	c  1522s|  6330k|  3315k|     0 |   0.0 |2794M| 138 |   - | 200 |4095 |   0 |   0 |   0 |7265k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1653.18/1653.30	c  1527s|  6340k|  3318k|     0 |   0.0 |2799M| 138 |   - | 200 |4151 |   0 |   0 |   0 |7279k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1658.48/1658.59	c  1532s|  6350k|  3320k|     0 |   0.0 |2804M| 138 |   - | 200 |4212 |   0 |   0 |   0 |7294k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1663.58/1663.64	c  1537s|  6360k|  3322k|     0 |   0.0 |2809M| 138 |   - | 200 |4101 |   0 |   0 |   0 |7309k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1668.58/1668.63	c  1542s|  6370k|  3325k|     0 |   0.0 |2814M| 138 |   - | 200 |4141 |   0 |   0 |   0 |7323k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1673.37/1673.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1673.37/1673.49	c  1547s|  6380k|  3328k|     0 |   0.0 |2819M| 138 |   - | 200 |4315 |   0 |   0 |   0 |7337k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1678.48/1678.52	c  1552s|  6390k|  3330k|     0 |   0.0 |2824M| 138 |   - | 200 |4245 |   0 |   0 |   0 |7352k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1685.48/1685.58	c  1559s|  6400k|  3328k|     0 |   0.0 |2823M| 138 |   - | 200 |4316 |   0 |   0 |   0 |7375k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1692.27/1692.39	c  1565s|  6410k|  3328k|     0 |   0.0 |2825M| 138 |   - | 200 |4204 |   0 |   0 |   0 |7395k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1699.38/1699.43	c  1572s|  6420k|  3329k|     0 |   0.0 |2829M| 138 |   - | 200 |3966 |   0 |   0 |   0 |7411k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1705.68/1705.74	c  1578s|  6430k|  3331k|     0 |   0.0 |2833M| 138 |   - | 200 |3979 |   0 |   0 |   0 |7426k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1711.38/1711.49	c  1584s|  6440k|  3332k|     0 |   0.0 |2838M| 138 |   - | 200 |3969 |   0 |   0 |   0 |7442k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1717.18/1717.20	c  1590s|  6450k|  3334k|     0 |   0.0 |2842M| 138 |   - | 200 |4153 |   0 |   0 |   0 |7457k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1722.68/1722.73	c  1595s|  6460k|  3336k|     0 |   0.0 |2847M| 138 |   - | 200 |4189 |   0 |   0 |   0 |7473k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1727.88/1727.93	c  1600s|  6470k|  3338k|     0 |   0.0 |2852M| 138 |   - | 200 |3925 |   0 |   0 |   0 |7488k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1733.08/1733.15	c  1605s|  6480k|  3340k|     0 |   0.0 |2856M| 138 |   - | 200 |4181 |   0 |   0 |   0 |7503k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1738.28/1738.37	c  1611s|  6490k|  3342k|     0 |   0.0 |2861M| 138 |   - | 200 |4119 |   0 |   0 |   0 |7518k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1743.18/1743.24	c  1615s|  6500k|  3344k|     0 |   0.0 |2866M| 138 |   - | 200 |4096 |   0 |   0 |   0 |7533k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1745.48/1745.50	c (node 6504541) switching to memory saving mode (mem: 2736.0M/3420.0M)
1749.38/1749.49	c  1621s|  6510k|  3339k|     0 |   0.0 |2861M| 138 |   - | 200 |4403 |   0 |   0 |   0 |7554k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1755.28/1755.37	c  1627s|  6520k|  3331k|     0 |   0.0 |2852M| 138 |   - | 200 |4216 |   0 |   0 |   0 |7578k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1760.88/1760.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1760.88/1760.93	c  1633s|  6530k|  3323k|     0 |   0.0 |2844M| 138 |   - | 200 |4219 |   0 |   0 |   0 |7602k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1766.38/1766.44	c  1638s|  6540k|  3316k|     0 |   0.0 |2837M| 138 |   - | 200 |4333 |   0 |   0 |   0 |7625k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1771.88/1771.93	c  1643s|  6550k|  3308k|     0 |   0.0 |2830M| 138 |   - | 200 |4405 |   0 |   0 |   0 |7648k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1776.98/1777.00	c  1648s|  6560k|  3302k|     0 |   0.0 |2824M| 138 |   - | 200 |4245 |   0 |   0 |   0 |7669k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1782.58/1782.67	c  1654s|  6570k|  3294k|     0 |   0.0 |2817M| 138 |   - | 200 |4338 |   0 |   0 |   0 |7693k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1787.48/1787.56	c  1659s|  6580k|  3289k|     0 |   0.0 |2812M| 138 |   - | 200 |4161 |   0 |   0 |   0 |7714k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1793.08/1793.11	c  1664s|  6590k|  3281k|     0 |   0.0 |2804M| 138 |   - | 200 |4315 |   0 |   0 |   0 |7737k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1798.19/1798.29	c  1669s|  6600k|  3275k|     0 |   0.0 |2800M| 138 |   - | 200 |4265 |   0 |   0 |   0 |7759k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.09/1800.10	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.10	c 
1800.09/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.10	c Solving Time (sec) : 1670.85
1800.09/1800.10	c Solving Nodes      : 6604525
1800.09/1800.10	c Primal Bound       : +2.00000000000000e+00 (11 solutions)
1800.09/1800.10	c Dual Bound         : +0.00000000000000e+00
1800.09/1800.10	c Gap                : infinite
1800.09/1800.10	s SATISFIABLE
1800.09/1800.10	v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 
1800.09/1800.10	v -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 
1800.09/1800.10	v -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 
1800.09/1800.10	v -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 
1800.09/1800.10	v -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 
1800.09/1800.10	v -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 
1800.09/1800.10	v -x6 -x5 -x4 -x3 -x2 -x1 
1800.09/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.10	c Solving Time       :    1670.85
1800.09/1800.10	c Original Problem   :
1800.09/1800.10	c   Problem name     : HOME/instance-2694060-1277921956.wbo
1800.09/1800.10	c   Variables        : 200 (175 binary, 0 integer, 0 implicit integer, 25 continuous)
1800.09/1800.10	c   Constraints      : 51 initial, 51 maximal
1800.09/1800.10	c Presolved Problem  :
1800.09/1800.10	c   Problem name     : t_HOME/instance-2694060-1277921956.wbo
1800.09/1800.10	c   Variables        : 200 (175 binary, 0 integer, 0 implicit integer, 25 continuous)
1800.09/1800.10	c   Constraints      : 50 initial, 8742 maximal
1800.09/1800.10	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.10	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.10	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.10	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.10	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.10	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.10	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.10	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.10	c   linear           :       0.00          0          0          0         25          0          1          0          0
1800.09/1800.10	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.10	c   root node        :          -          1          -          -          2          -          -          -          -
1800.09/1800.10	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.10	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.10	c   indicator        :         25          0     634807          0     313128        240     154656          0          0          0
1800.09/1800.10	c   linear           :         25          0   14639768          0    5490236    1371816   46708954          0          0          0
1800.09/1800.10	c   logicor          :          0+         0    8619589          0          0     635796   22141242          0          0          0
1800.09/1800.10	c   countsols        :          0          0          0          0    5490243          0          0          0          0          0
1800.09/1800.10	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.10	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.10	c   indicator        :       0.12       0.00       0.11       0.00       0.01
1800.09/1800.10	c   linear           :     221.18       0.00     220.81       0.00       0.37
1800.09/1800.10	c   logicor          :     449.09       0.00     449.09       0.00       0.00
1800.09/1800.10	c   countsols        :       0.16       0.00       0.00       0.00       0.16
1800.09/1800.10	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.10	c   vbounds          :       0.64          2          0          0
1800.09/1800.10	c   rootredcost      :       0.59          0          0          0
1800.09/1800.10	c   pseudoobj        :       7.09   14640427        604     151650
1800.09/1800.10	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.10	c   propagation      :     133.46    2008190    2008190   13025604       43.9    3934834       10.4          -
1800.09/1800.10	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.10	c   pseudo solution  :       0.00          2          2          9       40.4          7        9.9          -
1800.09/1800.10	c   applied globally :          -          -          -    6618742       16.8          -          -          -
1800.09/1800.10	c   applied locally  :          -          -          -    1148883       39.1          -          -          -
1800.09/1800.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.10	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.09/1800.10	c   redcost          :       0.00          0          0          0          0          0
1800.09/1800.10	c   impliedbounds    :       0.00          0          0          0          0          0
1800.09/1800.10	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.10	c   cgmip            :       0.00          0          0          0          0          0
1800.09/1800.10	c   gomory           :       0.00          0          0          0          0          0
1800.09/1800.10	c   strongcg         :       0.00          0          0          0          0          0
1800.09/1800.10	c   cmir             :       0.00          0          0          0          0          0
1800.09/1800.10	c   flowcover        :       0.00          0          0          0          0          0
1800.09/1800.10	c   clique           :       0.00          0          0          0          0          0
1800.09/1800.10	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.10	c   mcf              :       0.00          0          0          0          0          0
1800.09/1800.10	c   rapidlearning    :       0.00          0          0          0          0          0
1800.09/1800.10	c Pricers            :       Time      Calls       Vars
1800.09/1800.10	c   problem variables:       0.00          0          0
1800.09/1800.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.10	c   relpscost        :       0.00          0          0          0          0          0          0
1800.09/1800.10	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.10	c   inference        :      25.08    5490236          0          0          0          0   10980472
1800.09/1800.10	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.10	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.10	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.10	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.10	c   LP solutions     :       0.00          -          0
1800.09/1800.10	c   pseudo solutions :       0.01          -          7
1800.09/1800.10	c   oneopt           :       0.38          0          0
1800.09/1800.10	c   trivial          :       0.00          2          3
1800.09/1800.10	c   simplerounding   :       0.00          0          0
1800.09/1800.10	c   zirounding       :       0.00          0          0
1800.09/1800.10	c   rounding         :       0.00          0          0
1800.09/1800.10	c   shifting         :       0.00          0          0
1800.09/1800.10	c   intshifting      :       0.00          0          0
1800.09/1800.10	c   twoopt           :       0.00          0          0
1800.09/1800.10	c   fixandinfer      :       0.00          0          0
1800.09/1800.10	c   feaspump         :       0.00          0          0
1800.09/1800.10	c   coefdiving       :       0.00          0          0
1800.09/1800.10	c   pscostdiving     :       0.00          0          0
1800.09/1800.10	c   fracdiving       :       0.00          0          0
1800.09/1800.10	c   veclendiving     :       0.00          0          0
1800.09/1800.10	c   intdiving        :       0.00          0          0
1800.09/1800.10	c   actconsdiving    :       0.00          0          0
1800.09/1800.10	c   objpscostdiving  :       0.00          0          0
1800.09/1800.10	c   rootsoldiving    :       0.00          0          0
1800.09/1800.10	c   linesearchdiving :       0.00          0          0
1800.09/1800.10	c   guideddiving     :       0.00          0          0
1800.09/1800.10	c   octane           :       0.00          0          0
1800.09/1800.10	c   rens             :       0.00          0          0
1800.09/1800.10	c   rins             :       0.00          0          0
1800.09/1800.10	c   localbranching   :       0.00          0          0
1800.09/1800.10	c   mutation         :       0.00          0          0
1800.09/1800.10	c   crossover        :       0.00          0          0
1800.09/1800.10	c   dins             :       0.00          0          0
1800.09/1800.10	c   undercover       :       0.00          0          0
1800.09/1800.10	c   nlp              :       0.23          0          0
1800.09/1800.10	c   trysol           :       0.22          1          1
1800.09/1800.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.10	c   primal LP        :       0.00          0          0       0.00          -
1800.09/1800.10	c   dual LP          :       0.00          0          0       0.00          -
1800.09/1800.10	c   lex dual LP      :       0.00          0          0       0.00          -
1800.09/1800.10	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.10	c   diving/probing LP:       0.00          0          0       0.00          -
1800.09/1800.10	c   strong branching :       0.00          0          0       0.00          -
1800.09/1800.10	c     (at root node) :          -          0          0       0.00          -
1800.09/1800.10	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.10	c B&B Tree           :
1800.09/1800.10	c   number of runs   :          1
1800.09/1800.10	c   nodes            :    6604525
1800.09/1800.10	c   nodes (total)    :    6604525
1800.09/1800.10	c   nodes left       :    3273942
1800.09/1800.10	c   max depth        :        138
1800.09/1800.10	c   max depth (total):        138
1800.09/1800.10	c   backtracks       :    1064356 (16.1%)
1800.09/1800.10	c   delayed cutoffs  :    1088587
1800.09/1800.10	c   repropagations   :    2557925 (25147720 domain reductions, 894176 cutoffs)
1800.09/1800.10	c   avg switch length:      12.10
1800.09/1800.10	c   switching time   :     801.74
1800.09/1800.10	c Solution           :
1800.09/1800.10	c   Solutions found  :         11 (8 improvements)
1800.09/1800.10	c   First Solution   : +9.78000000000000e+02   (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.09/1800.10	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 335379 nodes, 27.80 seconds, depth 59, found by <relaxation>)
1800.09/1800.10	c   Dual Bound       : +0.00000000000000e+00
1800.09/1800.10	c   Gap              :   infinite
1800.09/1800.10	c   Root Dual Bound  : +0.00000000000000e+00
1800.09/1800.10	c   Root Iterations  :          0

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694060-1277921956/watcher-2694060-1277921956 -o /tmp/evaluation-result-2694060-1277921956/solver-2694060-1277921956 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694060-1277921956.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15764
/proc/meminfo: memFree=29674932/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=8924 CPUtime=0
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 2076 0 0 0 0 0 0 0 23 0 1 0 133490779 9138176 1645 4089446400 4194304 7136930 140734298883904 18446744073709551615 6328631 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 2231 1649 289 719 0 1510 0

[startup+0.028459 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15764
/proc/meminfo: memFree=29674932/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=11788 CPUtime=0.02
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 2931 0 0 0 1 1 0 0 23 0 1 0 133490779 12070912 2243 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 2947 2243 390 719 0 2226 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11788

[startup+0.100456 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15764
/proc/meminfo: memFree=29674932/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=13280 CPUtime=0.09
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 3284 0 0 0 6 3 0 0 23 0 1 0 133490779 13598720 2596 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 3320 2596 390 719 0 2599 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13280

[startup+0.300411 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15764
/proc/meminfo: memFree=29674932/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=16308 CPUtime=0.29
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 4069 0 0 0 22 7 0 0 23 0 1 0 133490779 16699392 3381 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 4077 3381 390 719 0 3356 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16308

[startup+0.700335 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15764
/proc/meminfo: memFree=29674932/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=18560 CPUtime=0.69
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 4656 0 0 0 55 14 0 0 25 0 1 0 133490779 19005440 3968 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 4640 3968 390 719 0 3919 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18560

[startup+1.50021 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 15765
/proc/meminfo: memFree=29657936/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=23320 CPUtime=1.49
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 5852 0 0 0 117 32 0 0 25 0 1 0 133490779 23879680 5164 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 5830 5164 390 719 0 5109 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23320

[startup+3.10093 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 15765
/proc/meminfo: memFree=29648512/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=33060 CPUtime=3.09
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 8306 0 0 0 239 70 0 0 25 0 1 0 133490779 33853440 7618 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 8265 7618 390 719 0 7544 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33060

[startup+6.30036 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 15765
/proc/meminfo: memFree=29622412/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=57364 CPUtime=6.29
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 14021 0 0 0 473 156 0 0 25 0 1 0 133490779 58740736 13333 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 14341 13333 390 719 0 13620 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57364

[startup+12.7002 s]
/proc/loadavg: 2.17 2.03 2.01 3/179 15766
/proc/meminfo: memFree=29572572/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=93012 CPUtime=12.69
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 23160 0 0 0 969 300 0 0 25 0 1 0 133490779 95244288 22472 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 23253 22472 390 719 0 22532 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93012

[startup+25.5009 s]
/proc/loadavg: 2.13 2.03 2.01 3/179 15766
/proc/meminfo: memFree=29506276/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=134360 CPUtime=25.5
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 33724 0 0 0 2057 493 0 0 25 0 1 0 133490779 137584640 33036 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 33590 33036 390 719 0 32869 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 134360

[startup+51.1004 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 15766
/proc/meminfo: memFree=29356804/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=245596 CPUtime=51.09
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 61164 0 0 0 4129 980 0 0 25 0 1 0 133490779 251490304 60476 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 61399 60476 391 719 0 60678 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 245596

[startup+102.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 15768
/proc/meminfo: memFree=29082580/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=438788 CPUtime=102.3
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 108551 0 0 0 8418 1812 0 0 25 0 1 0 133490779 449318912 107863 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 109697 107863 391 719 0 108976 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 438788

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 15769
/proc/meminfo: memFree=28812568/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=611180 CPUtime=162.3
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 152517 0 0 0 13629 2601 0 0 25 0 1 0 133490779 625848320 151829 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 152795 151829 391 719 0 152074 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 611180

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15771
/proc/meminfo: memFree=28574552/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=758868 CPUtime=222.3
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 185877 0 0 0 19022 3208 0 0 25 0 1 0 133490779 777080832 185189 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 189717 185189 391 719 0 188996 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 758868

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15772
/proc/meminfo: memFree=28381168/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=855008 CPUtime=282.3
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 210005 0 0 0 24494 3736 0 0 25 0 1 0 133490779 875528192 209317 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 213752 209317 391 719 0 213031 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 855008

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15774
/proc/meminfo: memFree=28148096/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=989664 CPUtime=342.3
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 244559 0 0 0 29701 4529 0 0 25 0 1 0 133490779 1013415936 243871 4089446400 4194304 7136930 140734298883904 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15764/statm: 247416 243871 391 719 0 246695 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 989664

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15776
/proc/meminfo: memFree=27901400/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=1136276 CPUtime=402.3
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 282004 0 0 0 35003 5227 0 0 25 0 1 0 133490779 1163546624 281316 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15764/statm: 284069 281316 391 719 0 283348 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1136276

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15778
/proc/meminfo: memFree=27654816/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=1281256 CPUtime=462.3
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 318940 0 0 0 40353 5877 0 0 25 0 1 0 133490779 1312006144 318252 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15764/statm: 320314 318252 391 719 0 319593 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1281256

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15779
/proc/meminfo: memFree=27432904/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=1403900 CPUtime=522.29
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 350268 0 0 0 45778 6451 0 0 25 0 1 0 133490779 1437593600 349580 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15764/statm: 350975 349580 391 719 0 350254 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1403900

[startup+582.301 s]
/proc/loadavg: 2.13 2.03 2.01 3/179 15780
/proc/meminfo: memFree=27224384/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=1509544 CPUtime=582.3
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 377119 0 0 0 51227 7003 0 0 25 0 1 0 133490779 1545773056 376431 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15764/statm: 377386 376431 391 719 0 376665 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1509544

[startup+642.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 15782
/proc/meminfo: memFree=27009912/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=1656560 CPUtime=642.3
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 406381 0 0 0 56701 7529 0 0 25 0 1 0 133490779 1696317440 405693 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15764/statm: 414140 405693 391 719 0 413419 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 1656560

[startup+702.301 s]

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

/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 555649 0 0 0 89850 10380 0 0 25 0 1 0 133490779 2296717312 554961 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15764/statm: 560722 554961 391 719 0 560001 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 2242888

[startup+1062.3 s]
/proc/loadavg: 1.81 1.95 1.98 4/200 15939
/proc/meminfo: memFree=28800696/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2316632 CPUtime=1062.3
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 574009 0 0 0 95451 10779 0 0 25 0 1 0 133490779 2372231168 573321 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15764/statm: 579158 573321 391 719 0 578437 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 2316632

[startup+1122.3 s]
/proc/loadavg: 2.07 2.01 2.00 3/179 15973
/proc/meminfo: memFree=28891292/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2391704 CPUtime=1122.3
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 593150 0 0 0 101102 11128 0 0 25 0 1 0 133490779 2449104896 592462 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15764/statm: 597926 592462 391 719 0 597205 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 2391704

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 15974
/proc/meminfo: memFree=28816856/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2464928 CPUtime=1182.3
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 611803 0 0 0 106780 11450 0 0 25 0 1 0 133490779 2524086272 611115 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15764/statm: 616232 611115 391 719 0 615511 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 2464928

[startup+1242.3 s]
/proc/loadavg: 1.94 2.00 1.99 6/200 16040
/proc/meminfo: memFree=28668068/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2527272 CPUtime=1242.3
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 627693 0 0 0 112463 11767 0 0 25 0 1 0 133490779 2587926528 627005 4089446400 4194304 7136930 140734298883904 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15764/statm: 631818 627005 391 719 0 631097 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 2527272

[startup+1302.3 s]
/proc/loadavg: 1.96 2.00 1.99 3/200 16155
/proc/meminfo: memFree=28496704/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2598268 CPUtime=1302.28
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 645172 0 0 0 118152 12076 0 0 25 0 1 0 133490779 2660626432 644484 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15764/statm: 649567 644484 391 719 0 648846 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 2598268

[startup+1362.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/179 16215
/proc/meminfo: memFree=28570648/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2657076 CPUtime=1362.27
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 660109 0 0 0 124051 12176 0 0 25 0 1 0 133490779 2720845824 659421 4089446400 4194304 7136930 140734298883904 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15764/statm: 664269 659421 391 719 0 663548 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 2657076

[startup+1422.31 s]
/proc/loadavg: 2.06 2.05 2.01 3/179 16217
/proc/meminfo: memFree=28477712/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2703340 CPUtime=1422.28
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 671886 0 0 0 129959 12269 0 0 25 0 1 0 133490779 2768220160 671198 4089446400 4194304 7136930 140734298883904 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15764/statm: 675835 671198 391 719 0 675114 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 2703340

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 16218
/proc/meminfo: memFree=28401276/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2764220 CPUtime=1482.27
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 687350 0 0 0 135851 12376 0 0 25 0 1 0 133490779 2830561280 686662 4089446400 4194304 7136930 140734298883904 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15764/statm: 691055 686662 391 719 0 690334 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 2764220

[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 16220
/proc/meminfo: memFree=28318792/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2801780 CPUtime=1542.27
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 696910 0 0 0 141756 12471 0 0 25 0 1 0 133490779 2869022720 696222 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15764/statm: 700445 696222 391 719 0 699724 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 2801780

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 16222
/proc/meminfo: memFree=28263448/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2853844 CPUtime=1602.28
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 710112 0 0 0 147660 12568 0 0 25 0 1 0 133490779 2922336256 709424 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15764/statm: 713461 709424 391 719 0 712740 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 2853844

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 16224
/proc/meminfo: memFree=28204000/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2904428 CPUtime=1662.28
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 722943 0 0 0 153567 12661 0 0 25 0 1 0 133490779 2974134272 722255 4089446400 4194304 7136930 140734298883904 18446744073709551615 6123181 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15764/statm: 726107 722255 391 719 0 725386 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 2904428

[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 16225
/proc/meminfo: memFree=28147164/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2948216 CPUtime=1722.27
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 733335 0 0 0 159477 12750 0 0 25 0 1 0 133490779 3018973184 732647 4089446400 4194304 7136930 140734298883904 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15764/statm: 737054 732647 391 719 0 736333 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 2948216

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 16226
/proc/meminfo: memFree=28101352/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2968528 CPUtime=1782.28
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 751560 0 0 0 165350 12878 0 0 25 0 1 0 133490779 3039772672 737801 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15764/statm: 742132 737801 391 719 0 741411 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 2968528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 16227
/proc/meminfo: memFree=28095384/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2968528 CPUtime=1800.09
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 751560 0 0 0 167085 12924 0 0 25 0 1 0 133490779 3039772672 737801 4089446400 4194304 7136930 140734298883904 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15764/statm: 742132 737801 391 719 0 741411 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2968528

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -15764

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

[startup+1801.4 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 16228
/proc/meminfo: memFree=28095376/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2968528 CPUtime=1801.38
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 751566 0 0 0 167214 12924 0 0 25 0 1 0 133490779 3039772672 737807 4089446400 4194304 7136930 140734298883904 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15764/statm: 742132 737807 397 719 0 741411 0
Current children cumulated CPU time (s) 1801.38
Current children cumulated vsize (KiB) 2968528

[startup+1801.81 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 16228
/proc/meminfo: memFree=28095376/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=2968528 CPUtime=1801.79
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4202496 751566 0 0 0 167255 12924 0 0 25 0 1 0 133490779 3039772672 737807 4089446400 4194304 7136930 140734298883904 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15764/statm: 742132 737807 397 719 0 741411 0
Current children cumulated CPU time (s) 1801.79
Current children cumulated vsize (KiB) 2968528

[startup+1802.2 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 16228
/proc/meminfo: memFree=28095376/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=0 CPUtime=1802.18
/proc/15764/stat : 15764 (pbscip.linux.x8) R 15762 15764 14714 0 -1 4203524 751566 0 0 0 167285 12933 0 0 25 0 1 0 133490779 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/15764/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.21
CPU time (s): 1802.2
CPU user time (s): 1672.86
CPU system time (s): 129.338
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 3032856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1672.86
system time used= 129.338
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 751566
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2467

runsolver used 3.16252 second user time and 6.68698 second system time

The end

Launcher Data 

Begin job on node145 at 2010-06-30 20:19:16
IDJOB=2694060
IDBENCH=79178
IDSOLVER=1206
FILE ID=node145/2694060-1277921956
PBS_JOBID= 11197304
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694060-1277921956/watcher-2694060-1277921956 -o /tmp/evaluation-result-2694060-1277921956/solver-2694060-1277921956 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694060-1277921956.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 5c6d98aba4f4f2cf2db8cd0c78364d4c
RANDOM SEED=622062013

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29674840 kB
Buffers:        204160 kB
Cached:        1268384 kB
SwapCached:          0 kB
Active:        2138448 kB
Inactive:       987776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29674840 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3072 kB
Writeback:           0 kB
AnonPages:     1654696 kB
Mapped:          16532 kB
Slab:            80796 kB
PageTables:       7592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1852192 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node145 at 2010-06-30 20:49:18