Trace number 2700213

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverOPTIMUM 1023.32 1023.3

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh210_wcsp.wbo
MD5SUM208e691d0f47cfa792c689161068f479
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.148976
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints900
Number of soft constraints800
Number of constraints which are clauses800
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Top cost 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
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: Clp 1.11.1] [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-2700213-1278534442.wbo>
0.00/0.01	c original problem has 1800 variables (1000 bin, 0 int, 0 impl, 800 cont) and 1701 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	c presolving:
0.00/0.02	c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.03	c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.05	c    (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05	c presolving (3 rounds):
0.00/0.05	c  100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05	c  1000 implications, 0 cliques
0.00/0.05	c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.00/0.05	c     800 constraints of type <indicator>
0.00/0.05	c     800 constraints of type <linear>
0.00/0.05	c transformed objective value is always integral (scale: 1)
0.00/0.05	c Presolving Time: 0.04
0.00/0.05	c - non default parameters ----------------------------------------------------------------------
0.00/0.05	c # SCIP version 1.2.1.2
0.00/0.05	c 
0.00/0.05	c # frequency for displaying node information lines
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05	c display/freq = 10000
0.00/0.05	c 
0.00/0.05	c # maximal time in seconds to run
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05	c limits/time = 1799.99
0.00/0.05	c 
0.00/0.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05	c limits/memory = 3420
0.00/0.05	c 
0.00/0.05	c # should presolving try to simplify inequalities
0.00/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05	c constraints/linear/simplifyinequalities = TRUE
0.00/0.05	c 
0.00/0.05	c # should presolving try to simplify knapsacks
0.00/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05	c 
0.00/0.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05	c separating/rapidlearning/freq = 0
0.00/0.05	c 
0.00/0.05	c -----------------------------------------------------------------------------------------------
0.00/0.05	c start solving
0.00/0.05	c 
0.00/0.05	o 394238
0.00/0.05	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.05	c t 0.0s|     1 |     0 |     0 |     - |5797k|   0 |   - |1700 |1600 |   0 |   0 |   0 |   0 |   0 |      --      | 3.942380e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |     0 |     - |6169k|   0 |   0 |1700 |1600 |1700 |   0 |   0 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |    41 |     - |6206k|   0 |   0 |1700 |1600 |1700 |  62 |  62 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.00/0.06	c   0.1s|     1 |     0 |   127 |     - |6251k|   0 |  51 |1700 |1600 |1700 | 100 | 100 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.00/0.07	c   0.1s|     1 |     0 |   197 |     - |6417k|   0 |  62 |1700 |1600 |1700 | 151 | 151 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.00/0.09	c   0.1s|     1 |     0 |   222 |     - |6460k|   0 |  67 |1700 |1600 |1700 | 171 | 171 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.09/0.11	c   0.1s|     1 |     0 |   232 |     - |6486k|   0 |  65 |1700 |1600 |1700 | 173 | 173 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.09/0.13	c   0.1s|     1 |     0 |   247 |     - |6512k|   0 |  65 |1700 |1600 |1700 | 174 | 174 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.39/0.40	c   0.4s|     1 |     2 |   503 |     - |6564k|   0 |  65 |1700 |1600 |1700 | 174 | 174 |   0 |  33 | 0.000000e+00 | 3.942380e+05 |    Inf 
8.09/8.15	c   7.9s| 10000 |  9991 | 24328 |   2.4 |  18M| 579 |   0 |1700 |1627 |1700 | 262 |1909 |  27 | 753 | 0.000000e+00 | 3.942380e+05 |    Inf 
14.39/14.48	c  14.1s| 20000 | 19987 | 36796 |   1.8 |  28M| 579 |   0 |1700 |1640 |1700 | 234 |3413 |  40 | 778 | 0.000000e+00 | 3.942380e+05 |    Inf 
14.59/14.63	o 13332
14.59/14.63	c *14.2s| 20252 | 18230 | 37049 |   1.8 |  27M| 579 |   - |1700 |1640 |1700 | 236 |3446 |  40 | 778 | 0.000000e+00 | 1.333200e+04 |    Inf 
22.09/22.16	c  21.6s| 30000 | 27974 | 54806 |   1.8 |  36M| 579 |   0 |1700 |1650 |1700 | 207 |5718 |  50 | 780 | 0.000000e+00 | 1.333200e+04 |    Inf 
30.38/30.41	c  29.6s| 40000 | 37974 | 73869 |   1.8 |  46M| 579 |   0 |1700 |1650 |1700 | 221 |9028 |  50 | 782 | 0.000000e+00 | 1.333200e+04 |    Inf 
38.79/38.81	c  37.7s| 50000 | 47970 | 95879 |   1.9 |  56M| 579 |   0 |1700 |1670 |1700 | 210 |  13k|  70 | 783 | 0.000000e+00 | 1.333200e+04 |    Inf 
46.49/46.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
46.49/46.59	c  45.3s| 60000 | 57899 |115169 |   1.9 |  66M| 579 |   0 |1700 |1914 |1700 | 214 |  17k| 319 | 783 | 0.000000e+00 | 1.333200e+04 |    Inf 
47.49/47.56	o 13331
47.49/47.56	c *46.2s| 61397 | 59240 |116755 |   1.9 |  67M| 579 |   - |1700 |2154 |1700 | 217 |  17k| 562 | 783 | 0.000000e+00 | 1.333100e+04 |    Inf 
50.38/50.46	o 13327
50.38/50.46	c *49.0s| 65268 | 62955 |121261 |   1.9 |  71M| 579 |   - |1700 |2727 |1700 | 211 |  18k|1218 | 783 | 0.000000e+00 | 1.332700e+04 |    Inf 
51.70/51.75	o 13247
51.70/51.75	c *50.3s| 66941 | 64440 |123449 |   1.8 |  73M| 579 |   - |1700 |2857 |1700 | 218 |  19k|1575 | 784 | 0.000000e+00 | 1.324700e+04 |    Inf 
51.79/51.81	o 13096
51.79/51.81	c *50.3s| 67021 | 64272 |123601 |   1.8 |  73M| 579 |   - |1700 |2881 |1700 | 222 |  19k|1605 | 784 | 0.000000e+00 | 1.309600e+04 |    Inf 
51.79/51.82	o 13088
51.79/51.82	c *50.3s| 67022 | 64252 |123606 |   1.8 |  73M| 579 |   - |1700 |2881 |1700 | 222 |  19k|1605 | 784 | 0.000000e+00 | 1.308800e+04 |    Inf 
51.98/52.00	o 13086
51.98/52.00	c *50.5s| 67216 | 64404 |124184 |   1.8 |  73M| 579 |   - |1700 |3045 |1700 | 230 |  19k|1786 | 784 | 0.000000e+00 | 1.308600e+04 |    Inf 
51.98/52.01	o 12954
51.98/52.01	c *50.5s| 67221 | 64188 |124192 |   1.8 |  73M| 579 |   - |1700 |3045 |1700 | 230 |  19k|1786 | 784 | 0.000000e+00 | 1.295400e+04 |    Inf 
51.98/52.01	o 12929
51.98/52.01	c *50.5s| 67222 | 64143 |124193 |   1.8 |  73M| 579 |   - |1700 |3045 |1700 | 230 |  19k|1786 | 784 | 0.000000e+00 | 1.292900e+04 |    Inf 
52.58/52.60	o 12901
52.58/52.60	c *51.1s| 67988 | 64794 |125189 |   1.8 |  74M| 579 |   - |1700 |3205 |1700 | 217 |  19k|2053 | 784 | 0.000000e+00 | 1.290100e+04 |    Inf 
52.69/52.71	o 12806
52.69/52.71	c *51.2s| 68121 | 64741 |125398 |   1.8 |  74M| 579 |   - |1700 |3237 |1700 | 225 |  19k|2126 | 784 | 0.000000e+00 | 1.280600e+04 |    Inf 
52.69/52.71	o 12781
52.69/52.71	c *51.2s| 68122 | 64702 |125400 |   1.8 |  74M| 579 |   - |1700 |3237 |1700 | 225 |  19k|2126 | 784 | 0.000000e+00 | 1.278100e+04 |    Inf 
52.89/52.90	o 12602
52.89/52.90	c *51.4s| 68329 | 64590 |125829 |   1.8 |  74M| 579 |   - |1700 |3337 |1700 | 224 |  19k|2264 | 784 | 0.000000e+00 | 1.260200e+04 |    Inf 
52.89/52.91	o 12504
52.89/52.91	c *51.4s| 68334 | 64443 |125844 |   1.8 |  73M| 579 |   - |1700 |3337 |1700 | 224 |  19k|2264 | 784 | 0.000000e+00 | 1.250400e+04 |    Inf 
52.89/52.91	o 12290
52.89/52.91	c *51.4s| 68335 | 64052 |125846 |   1.8 |  73M| 579 |   - |1700 |3337 |1700 | 224 |  19k|2264 | 784 | 0.000000e+00 | 1.229000e+04 |    Inf 
53.39/53.41	o 12286
53.39/53.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
53.39/53.41	c *51.9s| 68894 | 64511 |127037 |   1.8 |  73M| 579 |   - |1700 |3579 |1700 | 220 |  19k|2706 | 784 | 0.000000e+00 | 1.228600e+04 |    Inf 
53.99/54.03	o 12245
53.99/54.03	c *52.5s| 69662 | 65072 |128337 |   1.8 |  74M| 579 |   - |1700 |3837 |1700 | 207 |  20k|3237 | 784 | 0.000000e+00 | 1.224500e+04 |    Inf 
53.99/54.03	o 12234
53.99/54.03	c *52.5s| 69663 | 65051 |128339 |   1.8 |  74M| 579 |   - |1700 |3837 |1700 | 207 |  20k|3237 | 784 | 0.000000e+00 | 1.223400e+04 |    Inf 
54.19/54.29	c  52.7s| 70000 | 65343 |128829 |   1.8 |  75M| 579 |   0 |1700 |3880 |1700 | 199 |  20k|3450 | 784 | 0.000000e+00 | 1.223400e+04 |    Inf 
57.09/57.15	o 12220
57.09/57.15	c *55.5s| 73710 | 68637 |134209 |   1.8 |  79M| 579 |   - |1700 |4221 |1700 | 218 |  21k|5383 | 785 | 0.000000e+00 | 1.222000e+04 |    Inf 
57.48/57.57	o 12150
57.48/57.57	c *55.9s| 74249 | 68953 |135258 |   1.8 |  80M| 579 |   - |1700 |4263 |1700 | 216 |  21k|5627 | 785 | 0.000000e+00 | 1.215000e+04 |    Inf 
57.48/57.58	o 12139
57.48/57.58	c *55.9s| 74250 | 68916 |135260 |   1.8 |  80M| 579 |   - |1700 |4263 |1700 | 216 |  21k|5627 | 785 | 0.000000e+00 | 1.213900e+04 |    Inf 
57.69/57.74	o 12042
57.69/57.74	c *56.1s| 74450 | 68866 |135601 |   1.8 |  80M| 579 |   - |1700 |4279 |1700 | 219 |  21k|5690 | 785 | 0.000000e+00 | 1.204200e+04 |    Inf 
57.69/57.78	o 11958
57.69/57.78	c *56.1s| 74498 | 68704 |135735 |   1.8 |  79M| 579 |   - |1700 |4283 |1700 | 221 |  21k|5700 | 785 | 0.000000e+00 | 1.195800e+04 |    Inf 
57.69/57.79	o 11933
57.69/57.79	c *56.1s| 74499 | 68634 |135737 |   1.8 |  79M| 579 |   - |1700 |4283 |1700 | 221 |  21k|5700 | 785 | 0.000000e+00 | 1.193300e+04 |    Inf 
57.79/57.84	o 11902
57.79/57.84	c *56.2s| 74556 | 68589 |135865 |   1.8 |  79M| 579 |   - |1700 |4307 |1700 | 225 |  21k|5730 | 785 | 0.000000e+00 | 1.190200e+04 |    Inf 
58.38/58.47	o 11868
58.38/58.47	c *56.8s| 75329 | 69169 |137329 |   1.8 |  80M| 579 |   - |1700 |4394 |1700 | 214 |  21k|6215 | 785 | 0.000000e+00 | 1.186800e+04 |    Inf 
58.38/58.47	o 11857
58.38/58.47	c *56.8s| 75330 | 69132 |137330 |   1.8 |  80M| 579 |   - |1700 |4394 |1700 | 214 |  21k|6215 | 785 | 0.000000e+00 | 1.185700e+04 |    Inf 
58.98/59.08	o 11839
58.98/59.08	c *57.4s| 76036 | 69710 |139051 |   1.8 |  81M| 579 |   - |1700 |4425 |1700 | 211 |  21k|6669 | 786 | 0.000000e+00 | 1.183900e+04 |    Inf 
58.98/59.08	o 11816
58.98/59.08	c *57.4s| 76037 | 69645 |139053 |   1.8 |  81M| 579 |   - |1700 |4425 |1700 | 211 |  21k|6669 | 786 | 0.000000e+00 | 1.181600e+04 |    Inf 
59.39/59.44	o 11728
59.39/59.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
59.39/59.44	c *57.7s| 76438 | 69744 |139960 |   1.8 |  81M| 579 |   - |1700 |4502 |1700 | 231 |  22k|6880 | 786 | 0.000000e+00 | 1.172800e+04 |    Inf 
59.69/59.75	o 11698
59.69/59.75	c *58.0s| 76773 | 69926 |140806 |   1.8 |  81M| 579 |   - |1700 |4626 |1700 | 224 |  22k|7116 | 786 | 0.000000e+00 | 1.169800e+04 |    Inf 
59.69/59.76	o 11687
59.69/59.76	c *58.0s| 76774 | 69874 |140807 |   1.8 |  81M| 579 |   - |1700 |4626 |1700 | 224 |  22k|7116 | 786 | 0.000000e+00 | 1.168700e+04 |    Inf 
59.69/59.79	o 11609
59.69/59.79	c *58.0s| 76806 | 69646 |140984 |   1.8 |  81M| 579 |   - |1700 |4623 |1700 | 222 |  22k|7116 | 786 | 0.000000e+00 | 1.160900e+04 |    Inf 
62.19/62.29	c  60.5s| 80000 | 72526 |146165 |   1.8 |  85M| 579 |   0 |1700 |4517 |1700 | 208 |  23k|8796 | 786 | 0.000000e+00 | 1.160900e+04 |    Inf 
64.68/64.80	o 11592
64.68/64.80	c *62.9s| 83182 | 75328 |151400 |   1.8 |  88M| 579 |   - |1700 |4656 |1700 | 221 |  24k|  10k| 786 | 0.000000e+00 | 1.159200e+04 |    Inf 
67.09/67.16	o 11540
67.09/67.16	c *65.2s| 86047 | 77618 |156623 |   1.8 |  92M| 579 |   - |1700 |5582 |1700 | 217 |  25k|  12k| 788 | 0.000000e+00 | 1.154000e+04 |    Inf 
67.09/67.16	o 11529
67.09/67.16	c *65.2s| 86048 | 77557 |156623 |   1.8 |  92M| 579 |   - |1700 |5582 |1700 | 217 |  25k|  12k| 788 | 0.000000e+00 | 1.152900e+04 |    Inf 
67.28/67.34	o 11527
67.28/67.34	c *65.4s| 86263 | 77747 |157155 |   1.8 |  92M| 579 |   - |1700 |5606 |1700 | 234 |  25k|  12k| 788 | 0.000000e+00 | 1.152700e+04 |    Inf 
67.28/67.35	o 11290
67.28/67.35	c *65.4s| 86264 | 76609 |157156 |   1.8 |  90M| 579 |   - |1700 |5606 |1700 | 234 |  25k|  12k| 788 | 0.000000e+00 | 1.129000e+04 |    Inf 
70.09/70.14	c  68.1s| 90000 | 80066 |162648 |   1.8 |  94M| 579 |   0 |1700 |4198 |1700 | 196 |  26k|  13k| 793 | 0.000000e+00 | 1.129000e+04 |    Inf 
70.59/70.67	o 11224
70.59/70.67	c *68.6s| 90768 | 80456 |163316 |   1.8 |  94M| 579 |   - |1700 |4186 |1700 | 211 |  26k|  14k| 793 | 0.000000e+00 | 1.122400e+04 |    Inf 
70.59/70.67	o 11213
70.59/70.67	c *68.6s| 90769 | 80400 |163317 |   1.8 |  94M| 579 |   - |1700 |4186 |1700 | 211 |  26k|  14k| 793 | 0.000000e+00 | 1.121300e+04 |    Inf 
77.29/77.33	c  75.1s|100000 | 89052 |174503 |   1.7 | 103M| 579 |   0 |1700 |3609 |1700 | 201 |  28k|  16k| 793 | 0.000000e+00 | 1.121300e+04 |    Inf 
84.49/84.50	c  82.1s|110000 | 98340 |187001 |   1.7 | 114M| 579 |   0 |1700 |3570 |1700 | 190 |  30k|  20k| 793 | 0.000000e+00 | 1.121300e+04 |    Inf 
91.49/91.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
91.49/91.50	c  88.9s|120000 |107800 |207751 |   1.7 | 124M| 579 |   0 |1700 |2822 |1700 | 180 |  32k|  22k| 793 | 0.000000e+00 | 1.121300e+04 |    Inf 
97.39/97.45	o 10918
97.39/97.45	c *94.7s|128642 |113918 |219591 |   1.7 | 130M| 579 |   - |1700 |3284 |1700 | 218 |  33k|  24k| 793 | 0.000000e+00 | 1.091800e+04 |    Inf 
97.39/97.45	o 10912
97.39/97.45	c *94.7s|128643 |113867 |219596 |   1.7 | 130M| 579 |   - |1700 |3284 |1700 | 218 |  33k|  24k| 793 | 0.000000e+00 | 1.091200e+04 |    Inf 
97.59/97.66	o 10869
97.59/97.66	c *94.9s|128921 |113754 |220131 |   1.7 | 130M| 579 |   - |1700 |3350 |1700 | 204 |  33k|  24k| 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
98.39/98.44	c  95.7s|130000 |114749 |221638 |   1.7 | 131M| 579 |   0 |1700 |3460 |1700 | 201 |  33k|  25k| 793 | 0.000000e+00 | 1.086900e+04 |    Inf 
105.38/105.41	c   102s|140000 |124065 |237931 |   1.7 | 141M| 579 |   0 |1700 |3678 |1700 | 191 |  35k|  28k| 803 | 0.000000e+00 | 1.086900e+04 |    Inf 
108.09/108.16	o 10839
108.09/108.16	c * 105s|143977 |127630 |243449 |   1.7 | 145M| 579 |   - |1700 |3364 |1700 | 210 |  36k|  28k| 808 | 0.000000e+00 | 1.083900e+04 |    Inf 
108.09/108.16	o 10828
108.09/108.16	c * 105s|143978 |127533 |243452 |   1.7 | 145M| 579 |   - |1700 |3364 |1700 | 210 |  36k|  28k| 808 | 0.000000e+00 | 1.082800e+04 |    Inf 
112.49/112.55	c   109s|150000 |132991 |251416 |   1.7 | 152M| 579 |   - |1700 |4203 |   0 |   0 |  37k|  31k| 821 | 0.000000e+00 | 1.082800e+04 |    Inf 
115.29/115.39	o 10771
115.29/115.39	c * 112s|153835 |135763 |256599 |   1.7 | 155M| 579 |   - |1700 |4709 |1700 | 221 |  38k|  33k| 824 | 0.000000e+00 | 1.077100e+04 |    Inf 
115.29/115.40	o 10757
115.29/115.40	c * 112s|153836 |135620 |256600 |   1.7 | 155M| 579 |   - |1700 |4709 |1700 | 221 |  38k|  33k| 824 | 0.000000e+00 | 1.075700e+04 |    Inf 
116.38/116.45	o 10727
116.38/116.45	c * 113s|155094 |136421 |259274 |   1.7 | 156M| 579 |   - |1700 |4883 |1700 | 219 |  38k|  34k| 827 | 0.000000e+00 | 1.072700e+04 |    Inf 
116.68/116.79	o 10715
116.68/116.79	c * 114s|155448 |136606 |260091 |   1.7 | 156M| 579 |   - |1700 |4928 |1700 | 216 |  38k|  34k| 827 | 0.000000e+00 | 1.071500e+04 |    Inf 
120.39/120.41	c   117s|160000 |140770 |268305 |   1.7 | 162M| 579 |   0 |1700 |5199 |1700 | 199 |  40k|  36k| 836 | 0.000000e+00 | 1.071500e+04 |    Inf 
120.58/120.61	o 10710
120.58/120.61	c * 117s|160251 |140957 |268796 |   1.7 | 162M| 579 |   - |1700 |5180 |1700 | 216 |  40k|  36k| 836 | 0.000000e+00 | 1.071000e+04 |    Inf 
120.58/120.61	o 10700
120.58/120.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
120.58/120.61	c * 117s|160252 |140855 |268797 |   1.7 | 162M| 579 |   - |1700 |5180 |1700 | 216 |  40k|  36k| 836 | 0.000000e+00 | 1.070000e+04 |    Inf 
120.79/120.81	o 10538
120.79/120.81	c * 117s|160466 |139203 |269315 |   1.7 | 159M| 579 |   - |1700 |5169 |1700 | 216 |  40k|  36k| 836 | 0.000000e+00 | 1.053800e+04 |    Inf 
120.79/120.81	o 10528
120.79/120.81	c * 117s|160467 |139096 |269319 |   1.7 | 159M| 579 |   - |1700 |5169 |1700 | 216 |  40k|  36k| 836 | 0.000000e+00 | 1.052800e+04 |    Inf 
121.09/121.13	o 10524
121.09/121.13	c * 118s|160863 |139422 |270079 |   1.7 | 159M| 579 |   - |1700 |5101 |1700 | 209 |  40k|  36k| 836 | 0.000000e+00 | 1.052400e+04 |    Inf 
124.09/124.20	o 10492
124.09/124.20	c * 121s|164753 |142572 |276565 |   1.7 | 164M| 579 |   - |1700 |5466 |1700 | 209 |  41k|  38k| 845 | 0.000000e+00 | 1.049200e+04 |    Inf 
124.30/124.39	o 10439
124.30/124.39	c * 121s|164960 |142058 |277131 |   1.7 | 163M| 579 |   - |1700 |5498 |1700 | 209 |  41k|  38k| 845 | 0.000000e+00 | 1.043900e+04 |    Inf 
127.29/127.30	o 10313
127.29/127.30	c * 124s|168739 |143955 |283269 |   1.7 | 164M| 579 |   - |1700 |4831 |1700 | 199 |  42k|  40k| 857 | 0.000000e+00 | 1.031300e+04 |    Inf 
127.29/127.33	o 10307
127.29/127.33	c * 124s|168772 |143894 |283470 |   1.7 | 164M| 579 |   - |1700 |4839 |1700 | 199 |  42k|  40k| 857 | 0.000000e+00 | 1.030700e+04 |    Inf 
127.59/127.65	o 10297
127.59/127.65	c * 124s|169100 |144054 |284312 |   1.7 | 165M| 579 |   - |1700 |4891 |1700 | 201 |  42k|  40k| 860 | 0.000000e+00 | 1.029700e+04 |    Inf 
128.39/128.46	c   125s|170000 |144804 |286238 |   1.7 | 166M| 579 |   0 |1700 |5166 |1700 | 196 |  43k|  41k| 860 | 0.000000e+00 | 1.029700e+04 |    Inf 
128.89/128.93	o 10167
128.89/128.93	c * 125s|170567 |143445 |287130 |   1.7 | 163M| 579 |   - |1700 |5126 |1700 | 214 |  43k|  41k| 860 | 0.000000e+00 | 1.016700e+04 |    Inf 
131.18/131.25	o 10103
131.18/131.25	c * 128s|173310 |144907 |292667 |   1.7 | 165M| 579 |   - |1700 |5481 |1700 | 226 |  44k|  42k| 863 | 0.000000e+00 | 1.010300e+04 |    Inf 
132.78/132.89	o 10004
132.78/132.89	c * 129s|175675 |145793 |294826 |   1.7 | 164M| 579 |   - |1700 |5036 |1700 | 194 |  44k|  43k| 873 | 0.000000e+00 | 1.000400e+04 |    Inf 
132.89/132.90	o 9770
132.89/132.90	c * 129s|175676 |142298 |294830 |   1.7 | 158M| 579 |   - |1700 |5036 |1700 | 194 |  44k|  43k| 873 | 0.000000e+00 | 9.770000e+03 |    Inf 
133.29/133.37	o 9751
133.29/133.37	c * 130s|176288 |142564 |296116 |   1.7 | 158M| 579 |   - |1700 |4948 |1700 | 197 |  44k|  43k| 890 | 0.000000e+00 | 9.751000e+03 |    Inf 
134.98/135.00	o 9746
134.98/135.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
134.98/135.00	c * 131s|178450 |144448 |300595 |   1.7 | 161M| 579 |   - |1700 |4485 |1700 | 199 |  45k|  44k| 899 | 0.000000e+00 | 9.746000e+03 |    Inf 
136.08/136.19	c   132s|180000 |145800 |303297 |   1.7 | 162M| 579 |   0 |1700 |4569 |1700 | 216 |  45k|  45k| 901 | 0.000000e+00 | 9.746000e+03 |    Inf 
143.39/143.47	c   139s|190000 |154991 |322373 |   1.7 | 173M| 579 |   0 |1700 |4179 |1700 | 195 |  47k|  49k| 954 | 0.000000e+00 | 9.746000e+03 |    Inf 
150.59/150.68	c   146s|200000 |163881 |339542 |   1.7 | 185M| 579 |   0 |1700 |4734 |1700 | 201 |  49k|  53k| 998 | 0.000000e+00 | 9.746000e+03 |    Inf 
157.99/158.03	c   154s|210000 |172762 |357244 |   1.7 | 196M| 579 |   0 |1700 |4956 |1700 | 195 |  51k|  58k|1044 | 0.000000e+00 | 9.746000e+03 |    Inf 
165.29/165.38	c   161s|220000 |181641 |374335 |   1.7 | 207M| 579 |   0 |1700 |4339 |1700 | 194 |  53k|  63k|1095 | 0.000000e+00 | 9.746000e+03 |    Inf 
165.49/165.56	o 9655
165.49/165.56	c * 161s|220250 |180283 |374642 |   1.7 | 205M| 579 |   - |1700 |4340 |1700 | 201 |  53k|  63k|1095 | 0.000000e+00 | 9.655000e+03 |    Inf 
165.59/165.61	o 9654
165.59/165.61	c * 161s|220306 |180316 |374887 |   1.7 | 205M| 579 |   - |1700 |4313 |1700 | 205 |  53k|  64k|1095 | 0.000000e+00 | 9.654000e+03 |    Inf 
172.60/172.68	c   168s|230000 |189098 |390817 |   1.7 | 216M| 579 |   0 |1700 |3899 |1700 | 198 |  55k|  67k|1106 | 0.000000e+00 | 9.654000e+03 |    Inf 
179.59/179.68	c   175s|240000 |198305 |406558 |   1.7 | 226M| 579 |   0 |1700 |4277 |1700 | 220 |  56k|  71k|1134 | 0.000000e+00 | 9.654000e+03 |    Inf 
186.58/186.69	c   182s|250000 |207080 |419581 |   1.7 | 238M| 579 |   0 |1700 |4768 |1700 | 197 |  58k|  76k|1142 | 0.000000e+00 | 9.654000e+03 |    Inf 
193.69/193.71	c   188s|260000 |216322 |433653 |   1.7 | 248M| 579 |   0 |1700 |4623 |1700 | 201 |  60k|  79k|1201 | 0.000000e+00 | 9.654000e+03 |    Inf 
195.09/195.11	o 9532
195.09/195.11	c * 190s|261949 |215444 |436931 |   1.7 | 247M| 579 |   - |1700 |5008 |1700 | 207 |  60k|  81k|1204 | 0.000000e+00 | 9.532000e+03 |    Inf 
195.09/195.12	o 9416
195.09/195.12	c * 190s|261950 |212855 |436938 |   1.7 | 243M| 579 |   - |1700 |5008 |1700 | 207 |  60k|  81k|1204 | 0.000000e+00 | 9.416000e+03 |    Inf 
200.69/200.79	c   195s|270000 |219931 |447228 |   1.7 | 251M| 579 |   0 |1700 |4464 |1700 | 208 |  61k|  84k|1225 | 0.000000e+00 | 9.416000e+03 |    Inf 
207.99/208.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
207.99/208.03	c   202s|280000 |229199 |463963 |   1.7 | 262M| 579 |   0 |1700 |3763 |1700 | 198 |  63k|  87k|1273 | 0.000000e+00 | 9.416000e+03 |    Inf 
215.49/215.53	c   210s|290000 |238219 |480996 |   1.7 | 273M| 579 |   0 |1700 |4929 |1700 | 206 |  66k|  92k|1297 | 0.000000e+00 | 9.416000e+03 |    Inf 
219.19/219.27	o 9384
219.19/219.27	c * 213s|295004 |241947 |488318 |   1.7 | 278M| 579 |   - |1700 |5182 |1700 | 210 |  67k|  94k|1329 | 0.000000e+00 | 9.384000e+03 |    Inf 
222.89/222.93	c   217s|300000 |246454 |495241 |   1.6 | 284M| 579 |   0 |1700 |4784 |1700 | 209 |  68k|  96k|1331 | 0.000000e+00 | 9.384000e+03 |    Inf 
223.89/223.91	o 9355
223.89/223.91	c * 218s|301299 |246828 |496826 |   1.6 | 285M| 579 |   - |1700 |4990 |1700 | 231 |  68k|  97k|1331 | 0.000000e+00 | 9.355000e+03 |    Inf 
223.89/223.91	o 9344
223.89/223.91	c * 218s|301300 |246532 |496826 |   1.6 | 284M| 579 |   - |1700 |4990 |1700 | 231 |  68k|  97k|1331 | 0.000000e+00 | 9.344000e+03 |    Inf 
226.19/226.22	o 9332
226.19/226.22	c * 220s|304206 |248707 |502139 |   1.6 | 287M| 579 |   - |1700 |5262 |1700 | 213 |  69k|  99k|1340 | 0.000000e+00 | 9.332000e+03 |    Inf 
230.39/230.50	c   224s|310000 |253886 |510303 |   1.6 | 293M| 579 |   0 |1700 |5095 |1700 | 229 |  70k| 101k|1360 | 0.000000e+00 | 9.332000e+03 |    Inf 
231.49/231.59	o 9243
231.49/231.59	c * 225s|311466 |252893 |512641 |   1.6 | 291M| 579 |   - |1700 |4859 |1700 | 210 |  70k| 102k|1401 | 0.000000e+00 | 9.243000e+03 |    Inf 
231.59/231.60	o 9176
231.59/231.60	c * 225s|311467 |251144 |512648 |   1.6 | 289M| 579 |   - |1700 |4859 |1700 | 210 |  70k| 102k|1401 | 0.000000e+00 | 9.176000e+03 |    Inf 
237.69/237.74	c   231s|320000 |258864 |523355 |   1.6 | 298M| 579 |   0 |1700 |4365 |1700 | 207 |  72k| 105k|1403 | 0.000000e+00 | 9.176000e+03 |    Inf 
241.49/241.59	o 9132
241.49/241.59	c * 235s|325302 |262248 |530284 |   1.6 | 303M| 579 |   - |1700 |5070 |1700 | 217 |  72k| 107k|1408 | 0.000000e+00 | 9.132000e+03 |    Inf 
245.08/245.16	c   238s|330000 |266324 |539457 |   1.6 | 308M| 579 |   - |1700 |4846 |   0 |   0 |  74k| 110k|1436 | 0.000000e+00 | 9.132000e+03 |    Inf 
252.59/252.65	c   246s|340000 |275122 |558255 |   1.6 | 319M| 579 |   0 |1700 |4793 |1700 | 188 |  76k| 115k|1464 | 0.000000e+00 | 9.132000e+03 |    Inf 
260.09/260.11	c   253s|350000 |284063 |576747 |   1.6 | 330M| 579 |   0 |1700 |4898 |1700 | 186 |  78k| 119k|1514 | 0.000000e+00 | 9.132000e+03 |    Inf 
265.89/265.97	o 9110
265.89/265.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
265.89/265.97	c * 259s|358094 |290717 |588521 |   1.6 | 338M| 579 |   - |1700 |4462 |1700 | 221 |  80k| 122k|1519 | 0.000000e+00 | 9.110000e+03 |    Inf 
267.29/267.38	c   260s|360000 |292555 |591761 |   1.6 | 340M| 579 |   0 |1700 |4227 |1700 | 197 |  80k| 123k|1519 | 0.000000e+00 | 9.110000e+03 |    Inf 
269.50/269.58	o 9096
269.50/269.58	c * 262s|362984 |294772 |597060 |   1.6 | 343M| 579 |   - |1700 |4593 |1700 | 196 |  81k| 124k|1519 | 0.000000e+00 | 9.096000e+03 |    Inf 
269.50/269.59	o 9076
269.50/269.59	c * 262s|362985 |294161 |597065 |   1.6 | 342M| 579 |   - |1700 |4593 |1700 | 196 |  81k| 124k|1519 | 0.000000e+00 | 9.076000e+03 |    Inf 
274.69/274.74	c   267s|370000 |300520 |609058 |   1.6 | 350M| 579 |   0 |1700 |4767 |1700 | 208 |  82k| 127k|1561 | 0.000000e+00 | 9.076000e+03 |    Inf 
276.09/276.16	o 9055
276.09/276.16	c * 269s|371850 |301493 |612557 |   1.6 | 351M| 579 |   - |1700 |4891 |1700 | 194 |  82k| 127k|1561 | 0.000000e+00 | 9.055000e+03 |    Inf 
276.09/276.18	o 9047
276.09/276.18	c * 269s|371867 |301251 |612641 |   1.6 | 351M| 579 |   - |1700 |4889 |1700 | 199 |  82k| 127k|1561 | 0.000000e+00 | 9.047000e+03 |    Inf 
276.09/276.20	o 8960
276.09/276.20	c * 269s|371882 |298423 |612651 |   1.6 | 347M| 579 |   - |1700 |4889 |1700 | 199 |  82k| 127k|1561 | 0.000000e+00 | 8.960000e+03 |    Inf 
276.19/276.21	o 8813
276.19/276.21	c * 269s|371883 |293493 |612652 |   1.6 | 339M| 579 |   - |1700 |4889 |1700 | 199 |  82k| 127k|1561 | 0.000000e+00 | 8.813000e+03 |    Inf 
280.89/280.95	o 8758
280.89/280.95	c * 273s|378418 |297360 |622794 |   1.6 | 342M| 579 |   - |1700 |3840 |1700 | 197 |  83k| 130k|1636 | 0.000000e+00 | 8.758000e+03 |    Inf 
280.89/280.95	o 8738
280.89/280.95	c * 273s|378419 |296651 |622802 |   1.6 | 341M| 579 |   - |1700 |3840 |1700 | 196 |  83k| 130k|1636 | 0.000000e+00 | 8.738000e+03 |    Inf 
281.19/281.25	o 8524
281.19/281.25	c * 274s|378792 |288991 |623374 |   1.6 | 326M| 579 |   - |1700 |3794 |1700 | 203 |  83k| 130k|1637 | 0.000000e+00 | 8.524000e+03 |    Inf 
282.09/282.18	c   275s|380000 |290076 |625345 |   1.6 | 327M| 579 |   0 |1700 |3849 |1700 | 200 |  84k| 130k|1637 | 0.000000e+00 | 8.524000e+03 |    Inf 
283.99/284.00	o 8493
283.99/284.00	c * 276s|382368 |290903 |629439 |   1.6 | 328M| 579 |   - |1700 |4358 |1700 | 204 |  84k| 132k|1639 | 0.000000e+00 | 8.493000e+03 |    Inf 
289.99/290.01	c   282s|390000 |297476 |646240 |   1.7 | 336M| 579 |   0 |1700 |4448 |1700 | 208 |  86k| 136k|1681 | 0.000000e+00 | 8.493000e+03 |    Inf 
297.39/297.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
297.39/297.48	c   289s|400000 |306737 |665042 |   1.7 | 347M| 579 |   0 |1700 |3977 |1700 | 205 |  89k| 139k|1687 | 0.000000e+00 | 8.493000e+03 |    Inf 
304.70/304.77	c   297s|410000 |316074 |682022 |   1.7 | 357M| 579 |   0 |1700 |4179 |1700 | 187 |  91k| 142k|1727 | 0.000000e+00 | 8.493000e+03 |    Inf 
312.00/312.05	c   304s|420000 |325297 |698576 |   1.7 | 368M| 579 |   0 |1700 |3715 |1700 | 196 |  92k| 145k|1774 | 0.000000e+00 | 8.493000e+03 |    Inf 
313.29/313.33	o 8430
313.29/313.33	c * 305s|421518 |324079 |704908 |   1.7 | 366M| 579 |   - |1700 |4181 |1700 | 238 |  93k| 146k|1792 | 0.000000e+00 | 8.430000e+03 |    Inf 
314.19/314.24	o 8138
314.19/314.24	c * 306s|422626 |313149 |707325 |   1.7 | 345M| 579 |   - |1700 |4463 |1700 | 235 |  93k| 146k|1816 | 0.000000e+00 | 8.138000e+03 |    Inf 
314.19/314.28	o 8113
314.19/314.28	c * 306s|422662 |311990 |707488 |   1.7 | 343M| 579 |   - |1700 |4516 |1700 | 235 |  93k| 146k|1816 | 0.000000e+00 | 8.113000e+03 |    Inf 
314.19/314.29	o 8112
314.19/314.29	c * 306s|422663 |311957 |707492 |   1.7 | 343M| 579 |   - |1700 |4516 |1700 | 235 |  93k| 146k|1816 | 0.000000e+00 | 8.112000e+03 |    Inf 
315.89/315.90	o 7936
315.89/315.90	c * 307s|424977 |306912 |709604 |   1.7 | 333M| 579 |   - |1700 |4078 |1700 | 199 |  93k| 147k|1820 | 0.000000e+00 | 7.936000e+03 |    Inf 
315.89/315.91	o 7840
315.89/315.91	c * 307s|424978 |303165 |709618 |   1.7 | 328M| 579 |   - |1700 |4078 |1700 | 199 |  93k| 147k|1820 | 0.000000e+00 | 7.840000e+03 |    Inf 
319.89/319.97	c   311s|430000 |307600 |722688 |   1.7 | 334M| 579 |   0 |1700 |4260 |1700 | 193 |  95k| 149k|1857 | 0.000000e+00 | 7.840000e+03 |    Inf 
327.99/328.04	c   319s|440000 |316278 |747470 |   1.7 | 346M| 579 |   0 |1700 |5046 |1700 | 211 |  98k| 154k|1908 | 0.000000e+00 | 7.840000e+03 |    Inf 
336.19/336.20	c   327s|450000 |325000 |771282 |   1.7 | 359M| 579 |   0 |1700 |5066 |1700 | 192 | 101k| 159k|1941 | 0.000000e+00 | 7.840000e+03 |    Inf 
344.10/344.20	c   335s|460000 |333532 |798424 |   1.7 | 371M| 579 |   - |1700 |5356 |   0 |   0 | 104k| 165k|2010 | 0.000000e+00 | 7.840000e+03 |    Inf 
351.80/351.86	c   342s|470000 |342042 |820699 |   1.7 | 383M| 579 |   0 |1700 |5790 |1700 | 185 | 106k| 171k|2062 | 0.000000e+00 | 7.840000e+03 |    Inf 
359.49/359.55	c   350s|480000 |351279 |842179 |   1.8 | 393M| 579 |   0 |1700 |4254 |1700 | 225 | 109k| 175k|2104 | 0.000000e+00 | 7.840000e+03 |    Inf 
366.90/366.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
366.90/366.97	c   357s|490000 |359971 |857425 |   1.7 | 404M| 579 |   0 |1700 |4481 |1700 | 196 | 111k| 179k|2132 | 0.000000e+00 | 7.840000e+03 |    Inf 
374.69/374.75	c   365s|500000 |368494 |878312 |   1.8 | 417M| 579 |   0 |1700 |5559 |1700 | 211 | 113k| 185k|2186 | 0.000000e+00 | 7.840000e+03 |    Inf 
382.19/382.23	c   372s|510000 |377234 |894533 |   1.8 | 428M| 579 |   0 |1700 |5689 |1700 | 217 | 115k| 190k|2201 | 0.000000e+00 | 7.840000e+03 |    Inf 
383.60/383.66	o 7777
383.60/383.66	c * 373s|511917 |376210 |897560 |   1.8 | 427M| 579 |   - |1700 |5633 |1700 | 214 | 116k| 191k|2201 | 0.000000e+00 | 7.777000e+03 |    Inf 
383.99/384.04	o 7725
383.99/384.04	c * 374s|512378 |374302 |898583 |   1.8 | 424M| 579 |   - |1700 |5687 |1700 | 210 | 116k| 191k|2207 | 0.000000e+00 | 7.725000e+03 |    Inf 
387.60/387.69	o 7695
387.60/387.69	c * 377s|517094 |376913 |906371 |   1.8 | 428M| 579 |   - |1700 |5976 |1700 | 215 | 117k| 194k|2217 | 0.000000e+00 | 7.695000e+03 |    Inf 
389.40/389.45	o 7672
389.40/389.45	c * 379s|519301 |377724 |910815 |   1.8 | 429M| 579 |   - |1700 |6357 |1700 | 206 | 117k| 195k|2225 | 0.000000e+00 | 7.672000e+03 |    Inf 
389.80/389.88	o 7662
389.80/389.88	c * 379s|519814 |377598 |911816 |   1.8 | 429M| 579 |   - |1700 |6281 |1700 | 205 | 117k| 195k|2227 | 0.000000e+00 | 7.662000e+03 |    Inf 
389.99/390.05	c   380s|520000 |377744 |912259 |   1.8 | 429M| 579 |   - |1700 |6340 |   0 |   0 | 117k| 195k|2227 | 0.000000e+00 | 7.662000e+03 |    Inf 
397.70/397.71	c   387s|530000 |386430 |930913 |   1.8 | 441M| 579 |   0 |1700 |5158 |1700 | 187 | 119k| 200k|2259 | 0.000000e+00 | 7.662000e+03 |    Inf 
404.00/404.02	o 7618
404.00/404.02	c * 393s|537733 |391093 |951441 |   1.8 | 447M| 579 |   - |1700 |5167 |1700 | 211 | 121k| 204k|2316 | 0.000000e+00 | 7.618000e+03 |    Inf 
404.00/404.03	o 7607
404.00/404.03	c * 393s|537734 |390515 |951450 |   1.8 | 446M| 579 |   - |1700 |5167 |1700 | 211 | 121k| 204k|2316 | 0.000000e+00 | 7.607000e+03 |    Inf 
405.69/405.72	c   395s|540000 |392499 |955285 |   1.8 | 449M| 579 |   0 |1700 |4804 |1700 | 196 | 122k| 204k|2321 | 0.000000e+00 | 7.607000e+03 |    Inf 
409.69/409.74	o 7597
409.69/409.74	c * 399s|545020 |396377 |965618 |   1.8 | 455M| 579 |   - |1700 |5031 |1700 | 224 | 123k| 207k|2334 | 0.000000e+00 | 7.597000e+03 |    Inf 
413.79/413.80	c   403s|550000 |400668 |976637 |   1.8 | 461M| 579 |   0 |1700 |5328 |1700 | 195 | 124k| 210k|2351 | 0.000000e+00 | 7.597000e+03 |    Inf 
414.09/414.17	o 7596
414.09/414.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
414.09/414.17	c * 403s|550489 |401012 |977400 |   1.8 | 461M| 579 |   - |1700 |5197 |1700 | 199 | 125k| 210k|2351 | 0.000000e+00 | 7.596000e+03 |    Inf 
421.09/421.16	c   410s|560000 |409235 |990838 |   1.8 | 472M| 579 |   0 |1700 |4672 |1700 | 209 | 126k| 214k|2378 | 0.000000e+00 | 7.596000e+03 |    Inf 
428.40/428.40	c   417s|570000 |417980 |  1005k|   1.8 | 483M| 579 |   0 |1700 |4263 |1700 | 207 | 128k| 218k|2421 | 0.000000e+00 | 7.596000e+03 |    Inf 
435.80/435.86	c   424s|580000 |426501 |  1022k|   1.8 | 495M| 579 |   0 |1700 |4574 |1700 | 211 | 130k| 224k|2467 | 0.000000e+00 | 7.596000e+03 |    Inf 
440.29/440.33	o 7463
440.29/440.33	c * 428s|585855 |423968 |  1035k|   1.8 | 491M| 579 |   - |1700 |4971 |1700 | 195 | 131k| 227k|2476 | 0.000000e+00 | 7.463000e+03 |    Inf 
440.29/440.35	o 7392
440.29/440.35	c * 428s|585856 |419843 |  1035k|   1.8 | 485M| 579 |   - |1700 |4971 |1700 | 195 | 131k| 227k|2476 | 0.000000e+00 | 7.392000e+03 |    Inf 
441.40/441.45	o 7387
441.40/441.45	c * 429s|587190 |420736 |  1038k|   1.8 | 486M| 579 |   - |1700 |5093 |1700 | 191 | 131k| 228k|2490 | 0.000000e+00 | 7.387000e+03 |    Inf 
443.59/443.67	c   432s|590000 |423152 |  1042k|   1.8 | 489M| 579 |   0 |1700 |5235 |1700 | 209 | 132k| 229k|2495 | 0.000000e+00 | 7.387000e+03 |    Inf 
449.29/449.36	o 7357
449.29/449.36	c * 437s|598025 |428445 |  1053k|   1.8 | 496M| 579 |   - |1700 |4918 |1700 | 194 | 133k| 232k|2498 | 0.000000e+00 | 7.357000e+03 |    Inf 
450.90/450.91	c   439s|600000 |430234 |  1056k|   1.8 | 498M| 579 |   0 |1700 |5050 |1700 | 200 | 134k| 232k|2498 | 0.000000e+00 | 7.357000e+03 |    Inf 
458.49/458.56	c   446s|610000 |438806 |  1074k|   1.8 | 510M| 579 |   0 |1700 |5382 |1700 | 214 | 136k| 238k|2514 | 0.000000e+00 | 7.357000e+03 |    Inf 
465.90/465.93	c   453s|620000 |447325 |  1088k|   1.8 | 522M| 579 |   0 |1700 |5163 |1700 | 199 | 138k| 243k|2540 | 0.000000e+00 | 7.357000e+03 |    Inf 
473.10/473.14	c   460s|630000 |455992 |  1100k|   1.7 | 533M| 579 |   0 |1700 |4746 |1700 | 205 | 139k| 247k|2550 | 0.000000e+00 | 7.357000e+03 |    Inf 
473.69/473.77	o 7323
473.69/473.77	c * 461s|630772 |454506 |  1101k|   1.7 | 531M| 579 |   - |1700 |5001 |1700 | 210 | 140k| 248k|2552 | 0.000000e+00 | 7.323000e+03 |    Inf 
473.69/473.78	o 7312
473.69/473.78	c * 461s|630776 |453838 |  1101k|   1.7 | 530M| 579 |   - |1700 |5001 |1700 | 210 | 140k| 248k|2552 | 0.000000e+00 | 7.312000e+03 |    Inf 
481.30/481.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
481.30/481.30	c   468s|640000 |461836 |  1123k|   1.8 | 541M| 579 |   0 |1700 |5176 |1700 | 196 | 142k| 253k|2580 | 0.000000e+00 | 7.312000e+03 |    Inf 
489.00/489.09	c   476s|650000 |470390 |  1141k|   1.8 | 553M| 579 |   0 |1700 |5155 |1700 | 208 | 145k| 258k|2606 | 0.000000e+00 | 7.312000e+03 |    Inf 
496.80/496.82	c   483s|660000 |479160 |  1163k|   1.8 | 565M| 579 |   0 |1700 |4808 |1700 | 207 | 147k| 262k|2642 | 0.000000e+00 | 7.312000e+03 |    Inf 
496.99/497.01	o 7302
496.99/497.01	c * 484s|660214 |478686 |  1164k|   1.8 | 564M| 579 |   - |1700 |4812 |1700 | 228 | 147k| 262k|2642 | 0.000000e+00 | 7.302000e+03 |    Inf 
496.99/497.02	o 7292
496.99/497.02	c * 484s|660215 |478015 |  1164k|   1.8 | 563M| 579 |   - |1700 |4812 |1700 | 228 | 147k| 262k|2642 | 0.000000e+00 | 7.292000e+03 |    Inf 
504.19/504.20	c   491s|670000 |486695 |  1179k|   1.8 | 574M| 579 |   0 |1700 |4399 |1700 | 197 | 149k| 266k|2662 | 0.000000e+00 | 7.292000e+03 |    Inf 
511.80/511.82	o 7252
511.80/511.82	c * 498s|679495 |492164 |  1202k|   1.8 | 582M| 579 |   - |1700 |4255 |1700 | 221 | 152k| 270k|2749 | 0.000000e+00 | 7.252000e+03 |    Inf 
511.80/511.83	o 7227
511.80/511.83	c * 498s|679496 |490465 |  1202k|   1.8 | 579M| 579 |   - |1700 |4255 |1700 | 221 | 152k| 270k|2749 | 0.000000e+00 | 7.227000e+03 |    Inf 
512.20/512.27	c   498s|680000 |490863 |  1203k|   1.8 | 580M| 579 |   0 |1700 |4443 |1700 | 194 | 152k| 271k|2749 | 0.000000e+00 | 7.227000e+03 |    Inf 
519.90/519.98	c   506s|690000 |499425 |  1223k|   1.8 | 592M| 579 |   0 |1700 |4793 |1700 | 211 | 155k| 276k|2803 | 0.000000e+00 | 7.227000e+03 |    Inf 
527.50/527.54	c   513s|700000 |508009 |  1238k|   1.8 | 604M| 579 |   0 |1700 |5638 |1700 | 205 | 157k| 281k|2818 | 0.000000e+00 | 7.227000e+03 |    Inf 
527.69/527.74	o 7224
527.69/527.74	c * 513s|700239 |507993 |  1238k|   1.8 | 604M| 579 |   - |1700 |5722 |1700 | 223 | 157k| 281k|2818 | 0.000000e+00 | 7.224000e+03 |    Inf 
535.50/535.55	c   521s|710000 |516448 |  1260k|   1.8 | 615M| 579 |   0 |1700 |5247 |1700 | 204 | 159k| 285k|2850 | 0.000000e+00 | 7.224000e+03 |    Inf 
537.00/537.05	o 7154
537.00/537.05	c * 522s|711834 |513227 |  1265k|   1.8 | 611M| 579 |   - |1700 |5215 |1700 | 222 | 160k| 286k|2860 | 0.000000e+00 | 7.154000e+03 |    Inf 
538.30/538.35	o 7145
538.30/538.35	c * 524s|713381 |513954 |  1269k|   1.8 | 612M| 579 |   - |1700 |5400 |1700 | 230 | 160k| 287k|2866 | 0.000000e+00 | 7.145000e+03 |    Inf 
538.30/538.38	o 6965
538.30/538.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
538.30/538.38	c * 524s|713382 |500243 |  1269k|   1.8 | 590M| 579 |   - |1700 |5400 |1700 | 230 | 160k| 287k|2866 | 0.000000e+00 | 6.965000e+03 |    Inf 
540.10/540.16	o 6943
540.10/540.16	c * 525s|715528 |500448 |  1274k|   1.8 | 590M| 579 |   - |1700 |5554 |1700 | 210 | 161k| 287k|2881 | 0.000000e+00 | 6.943000e+03 |    Inf 
544.09/544.15	c   529s|720000 |504223 |  1288k|   1.8 | 595M| 579 |   0 |1700 |6838 |1700 | 198 | 163k| 290k|2911 | 0.000000e+00 | 6.943000e+03 |    Inf 
552.10/552.11	c   537s|730000 |513128 |  1313k|   1.8 | 607M| 579 |   0 |1700 |4040 |1700 | 192 | 165k| 294k|2970 | 0.000000e+00 | 6.943000e+03 |    Inf 
559.50/559.56	c   544s|740000 |521947 |  1329k|   1.8 | 619M| 579 |   0 |1700 |4462 |1700 | 184 | 167k| 298k|2988 | 0.000000e+00 | 6.943000e+03 |    Inf 
561.20/561.24	o 6849
561.20/561.24	c * 546s|742181 |516009 |  1332k|   1.8 | 608M| 579 |   - |1700 |4118 |1700 | 199 | 168k| 299k|2989 | 0.000000e+00 | 6.849000e+03 |    Inf 
567.60/567.64	c   552s|750000 |522746 |  1351k|   1.8 | 617M| 579 |   0 |1700 |4350 |1700 | 198 | 170k| 302k|3047 | 0.000000e+00 | 6.849000e+03 |    Inf 
575.59/575.63	c   560s|760000 |531046 |  1374k|   1.8 | 630M| 579 |   0 |1700 |4789 |1700 | 207 | 173k| 308k|3065 | 0.000000e+00 | 6.849000e+03 |    Inf 
583.00/583.03	c   567s|770000 |539620 |  1390k|   1.8 | 641M| 579 |   0 |1700 |4672 |1700 | 198 | 174k| 313k|3088 | 0.000000e+00 | 6.849000e+03 |    Inf 
584.70/584.74	o 6844
584.70/584.74	c * 569s|772250 |541082 |  1395k|   1.8 | 644M| 579 |   - |1700 |5040 |1700 | 212 | 175k| 314k|3089 | 0.000000e+00 | 6.844000e+03 |    Inf 
591.10/591.17	c   575s|780000 |547432 |  1412k|   1.8 | 653M| 579 |   0 |1700 |6095 |1700 | 205 | 177k| 320k|3116 | 0.000000e+00 | 6.844000e+03 |    Inf 
599.00/599.00	c   583s|790000 |555923 |  1433k|   1.8 | 665M| 579 |   0 |1700 |5263 |1700 | 187 | 180k| 326k|3127 | 0.000000e+00 | 6.844000e+03 |    Inf 
604.50/604.55	o 6840
604.50/604.55	c * 588s|797165 |561598 |  1448k|   1.8 | 673M| 579 |   - |1700 |4506 |1700 | 221 | 182k| 329k|3166 | 0.000000e+00 | 6.840000e+03 |    Inf 
604.50/604.57	o 6743
604.50/604.57	c * 588s|797166 |553068 |  1448k|   1.8 | 658M| 579 |   - |1700 |4506 |1700 | 221 | 182k| 329k|3166 | 0.000000e+00 | 6.743000e+03 |    Inf 
607.00/607.09	c   591s|800000 |555480 |  1460k|   1.8 | 661M| 579 |   0 |1700 |4883 |1700 | 188 | 183k| 331k|3192 | 0.000000e+00 | 6.743000e+03 |    Inf 
609.41/609.42	o 6640
609.41/609.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
609.41/609.42	c * 593s|802773 |548430 |  1468k|   1.8 | 648M| 579 |   - |1700 |4674 |1700 | 225 | 184k| 332k|3207 | 0.000000e+00 | 6.640000e+03 |    Inf 
609.50/609.50	o 6338
609.50/609.50	c * 593s|802779 |520225 |  1468k|   1.8 | 594M| 579 |   - |1700 |4683 |1700 | 228 | 184k| 332k|3207 | 0.000000e+00 | 6.338000e+03 |    Inf 
609.50/609.51	o 6306
609.50/609.51	c * 593s|802780 |517143 |  1468k|   1.8 | 588M| 579 |   - |1700 |4683 |1700 | 228 | 184k| 332k|3207 | 0.000000e+00 | 6.306000e+03 |    Inf 
615.50/615.50	c   599s|810000 |523617 |  1485k|   1.8 | 596M| 579 |   - |1700 |4069 |   0 |   0 | 186k| 335k|3245 | 0.000000e+00 | 6.306000e+03 |    Inf 
620.50/620.53	o 6283
620.50/620.53	c * 604s|816501 |527142 |  1496k|   1.8 | 600M| 579 |   - |1700 |4968 |1700 | 230 | 188k| 338k|3263 | 0.000000e+00 | 6.283000e+03 |    Inf 
620.50/620.54	o 6248
620.50/620.54	c * 604s|816502 |523872 |  1496k|   1.8 | 594M| 579 |   - |1700 |4968 |1700 | 230 | 188k| 338k|3263 | 0.000000e+00 | 6.248000e+03 |    Inf 
623.50/623.54	c   607s|820000 |526711 |  1504k|   1.8 | 599M| 579 |   0 |1700 |5093 |1700 | 205 | 189k| 341k|3268 | 0.000000e+00 | 6.248000e+03 |    Inf 
631.31/631.39	c   614s|830000 |535321 |  1525k|   1.8 | 611M| 579 |   0 |1700 |5056 |1700 | 237 | 191k| 345k|3304 | 0.000000e+00 | 6.248000e+03 |    Inf 
639.00/639.02	o 6195
639.00/639.02	c * 622s|839415 |537970 |  1545k|   1.8 | 613M| 579 |   - |1700 |5688 |1700 | 222 | 193k| 350k|3326 | 0.000000e+00 | 6.195000e+03 |    Inf 
639.40/639.48	c   622s|840000 |538470 |  1546k|   1.8 | 614M| 579 |   0 |1700 |5846 |1700 | 216 | 193k| 350k|3329 | 0.000000e+00 | 6.195000e+03 |    Inf 
645.40/645.45	o 6190
645.40/645.45	c * 628s|847316 |543903 |  1559k|   1.8 | 623M| 579 |   - |1700 |5841 |1700 | 238 | 195k| 355k|3355 | 0.000000e+00 | 6.190000e+03 |    Inf 
645.40/645.47	o 6172
645.40/645.47	c * 628s|847317 |542270 |  1559k|   1.8 | 620M| 579 |   - |1700 |5841 |1700 | 238 | 195k| 355k|3355 | 0.000000e+00 | 6.172000e+03 |    Inf 
647.81/647.81	c   630s|850000 |544475 |  1566k|   1.8 | 623M| 579 |   0 |1700 |5899 |1700 | 196 | 195k| 356k|3367 | 0.000000e+00 | 6.172000e+03 |    Inf 
648.60/648.61	o 6107
648.60/648.61	c * 631s|850904 |538945 |  1568k|   1.8 | 614M| 579 |   - |1700 |5864 |1700 | 230 | 196k| 357k|3377 | 0.000000e+00 | 6.107000e+03 |    Inf 
648.60/648.62	o 6090
648.60/648.62	c * 631s|850905 |537382 |  1568k|   1.8 | 611M| 579 |   - |1700 |5864 |1700 | 230 | 196k| 357k|3377 | 0.000000e+00 | 6.090000e+03 |    Inf 
655.91/655.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
655.91/655.95	c   638s|860000 |544802 |  1585k|   1.8 | 623M| 579 |   0 |1700 |5117 |1700 | 190 | 198k| 362k|3401 | 0.000000e+00 | 6.090000e+03 |    Inf 
664.00/664.03	c   646s|870000 |553266 |  1606k|   1.8 | 635M| 579 |   0 |1700 |5689 |1700 | 212 | 200k| 367k|3432 | 0.000000e+00 | 6.090000e+03 |    Inf 
670.20/670.26	o 6041
670.20/670.26	c * 652s|877803 |554908 |  1623k|   1.8 | 637M| 579 |   - |1700 |5080 |1700 | 219 | 202k| 371k|3452 | 0.000000e+00 | 6.041000e+03 |    Inf 
671.20/671.30	o 6015
671.20/671.30	c * 653s|878982 |553408 |  1626k|   1.9 | 635M| 579 |   - |1700 |5211 |1700 | 220 | 202k| 372k|3456 | 0.000000e+00 | 6.015000e+03 |    Inf 
672.20/672.21	c   654s|880000 |554240 |  1629k|   1.9 | 636M| 579 |   0 |1700 |5418 |1700 | 202 | 203k| 372k|3456 | 0.000000e+00 | 6.015000e+03 |    Inf 
673.20/673.28	o 5981
673.20/673.28	c * 655s|881271 |551837 |  1632k|   1.9 | 631M| 579 |   - |1700 |5504 |1700 | 220 | 203k| 373k|3461 | 0.000000e+00 | 5.981000e+03 |    Inf 
673.30/673.31	o 5960
673.30/673.31	c * 655s|881278 |549597 |  1632k|   1.9 | 628M| 579 |   - |1700 |5501 |1700 | 227 | 203k| 373k|3461 | 0.000000e+00 | 5.960000e+03 |    Inf 
673.30/673.35	o 5818
673.30/673.35	c * 655s|881284 |535066 |  1632k|   1.9 | 603M| 579 |   - |1700 |5501 |1700 | 228 | 203k| 373k|3461 | 0.000000e+00 | 5.818000e+03 |    Inf 
673.30/673.36	o 5812
673.30/673.36	c * 655s|881285 |534424 |  1632k|   1.9 | 602M| 579 |   - |1700 |5501 |1700 | 228 | 203k| 373k|3461 | 0.000000e+00 | 5.812000e+03 |    Inf 
680.50/680.50	c   662s|890000 |541790 |  1652k|   1.9 | 613M| 579 |   0 |1700 |4776 |1700 | 220 | 205k| 377k|3489 | 0.000000e+00 | 5.812000e+03 |    Inf 
681.10/681.19	o 5802
681.10/681.19	c * 663s|890814 |541502 |  1654k|   1.9 | 612M| 579 |   - |1700 |4939 |1700 | 222 | 205k| 377k|3491 | 0.000000e+00 | 5.802000e+03 |    Inf 
689.00/689.02	c   670s|900000 |549122 |  1679k|   1.9 | 624M| 579 |   0 |1700 |4937 |1700 | 205 | 208k| 382k|3523 | 0.000000e+00 | 5.802000e+03 |    Inf 
691.80/691.82	o 5777
691.80/691.82	c * 673s|903244 |549164 |  1688k|   1.9 | 625M| 579 |   - |1700 |5870 |1700 | 212 | 209k| 384k|3533 | 0.000000e+00 | 5.777000e+03 |    Inf 
697.40/697.48	c   678s|910000 |554607 |  1703k|   1.9 | 634M| 579 |   0 |1700 |5971 |1700 | 205 | 211k| 388k|3560 | 0.000000e+00 | 5.777000e+03 |    Inf 
699.40/699.43	o 5654
699.40/699.43	c * 680s|912255 |543570 |  1709k|   1.9 | 618M| 579 |   - |1700 |6073 |1700 | 240 | 212k| 389k|3563 | 0.000000e+00 | 5.654000e+03 |    Inf 
699.40/699.44	o 5643
699.40/699.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
699.40/699.44	c * 680s|912256 |542343 |  1709k|   1.9 | 616M| 579 |   - |1700 |6073 |1700 | 240 | 212k| 389k|3563 | 0.000000e+00 | 5.643000e+03 |    Inf 
702.31/702.35	o 5622
702.31/702.35	c * 683s|915584 |542748 |  1717k|   1.9 | 617M| 579 |   - |1700 |5985 |1700 | 199 | 213k| 391k|3570 | 0.000000e+00 | 5.622000e+03 |    Inf 
706.00/706.09	c   687s|920000 |546371 |  1727k|   1.9 | 622M| 579 |   - |1700 |5275 |   0 |   0 | 214k| 393k|3587 | 0.000000e+00 | 5.622000e+03 |    Inf 
714.41/714.44	c   695s|930000 |554567 |  1753k|   1.9 | 636M| 579 |   0 |1700 |4923 |1700 | 206 | 217k| 398k|3614 | 0.000000e+00 | 5.622000e+03 |    Inf 
721.40/721.49	o 5602
721.40/721.49	c * 702s|938944 |560077 |  1768k|   1.9 | 644M| 579 |   - |1700 |5240 |1700 | 214 | 219k| 402k|3636 | 0.000000e+00 | 5.602000e+03 |    Inf 
721.51/721.50	o 5574
721.51/721.50	c * 702s|938946 |557171 |  1768k|   1.9 | 640M| 579 |   - |1700 |5240 |1700 | 214 | 219k| 402k|3636 | 0.000000e+00 | 5.574000e+03 |    Inf 
721.51/721.53	o 5492
721.51/721.53	c * 702s|938947 |548608 |  1768k|   1.9 | 628M| 579 |   - |1700 |5240 |1700 | 214 | 219k| 402k|3636 | 0.000000e+00 | 5.492000e+03 |    Inf 
722.41/722.46	c   703s|940000 |549449 |  1771k|   1.9 | 629M| 579 |   0 |1700 |5046 |1700 | 203 | 219k| 403k|3639 | 0.000000e+00 | 5.492000e+03 |    Inf 
730.41/730.45	c   711s|950000 |557671 |  1793k|   1.9 | 641M| 579 |   0 |1700 |4518 |1700 | 207 | 221k| 407k|3660 | 0.000000e+00 | 5.492000e+03 |    Inf 
736.40/736.44	o 5438
736.40/736.44	c * 716s|957148 |557902 |  1814k|   1.9 | 642M| 579 |   - |1700 |4440 |1700 | 214 | 223k| 411k|3691 | 0.000000e+00 | 5.438000e+03 |    Inf 
739.10/739.13	c   719s|960000 |560079 |  1826k|   1.9 | 646M| 579 |   0 |1700 |4875 |1700 | 188 | 225k| 413k|3718 | 0.000000e+00 | 5.438000e+03 |    Inf 
743.00/743.08	o 5355
743.00/743.08	c * 723s|964724 |555126 |  1838k|   1.9 | 639M| 579 |   - |1700 |4744 |1700 | 236 | 226k| 415k|3734 | 0.000000e+00 | 5.355000e+03 |    Inf 
743.00/743.09	o 5330
743.00/743.09	c * 723s|964725 |552360 |  1838k|   1.9 | 635M| 579 |   - |1700 |4744 |1700 | 236 | 226k| 415k|3734 | 0.000000e+00 | 5.330000e+03 |    Inf 
743.20/743.28	o 5291
743.20/743.28	c * 723s|964916 |548053 |  1839k|   1.9 | 629M| 579 |   - |1700 |4809 |1700 | 248 | 226k| 415k|3734 | 0.000000e+00 | 5.291000e+03 |    Inf 
747.70/747.74	c   727s|970000 |552006 |  1851k|   1.9 | 636M| 579 |   0 |1700 |5075 |1700 | 200 | 228k| 419k|3745 | 0.000000e+00 | 5.291000e+03 |    Inf 
750.50/750.53	o 5238
750.50/750.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
750.50/750.53	c * 730s|973192 |548593 |  1860k|   1.9 | 631M| 579 |   - |1700 |5038 |1700 | 211 | 229k| 420k|3760 | 0.000000e+00 | 5.238000e+03 |    Inf 
756.50/756.52	c   736s|980000 |554130 |  1882k|   1.9 | 641M| 579 |   0 |1700 |4990 |1700 | 202 | 231k| 424k|3788 | 0.000000e+00 | 5.238000e+03 |    Inf 
764.71/764.77	c   744s|990000 |562380 |  1906k|   1.9 | 654M| 579 |   0 |1700 |4679 |1700 | 192 | 234k| 428k|3826 | 0.000000e+00 | 5.238000e+03 |    Inf 
773.00/773.05	c   752s|  1000k|570652 |  1931k|   1.9 | 667M| 579 |   0 |1700 |5047 |1700 | 229 | 237k| 433k|3868 | 0.000000e+00 | 5.238000e+03 |    Inf 
781.40/781.48	c   760s|  1010k|578561 |  1957k|   1.9 | 681M| 579 |   0 |1700 |5278 |1700 | 227 | 240k| 438k|3887 | 0.000000e+00 | 5.238000e+03 |    Inf 
784.00/784.08	o 5220
784.00/784.08	c * 763s|  1012k|578806 |  1968k|   1.9 | 681M| 579 |   - |1700 |5134 |1700 | 227 | 241k| 440k|3905 | 0.000000e+00 | 5.220000e+03 |    Inf 
784.11/784.10	o 5195
784.11/784.10	c * 763s|  1012k|575819 |  1968k|   1.9 | 676M| 579 |   - |1700 |5134 |1700 | 227 | 241k| 440k|3905 | 0.000000e+00 | 5.195000e+03 |    Inf 
784.11/784.15	o 5177
784.11/784.15	c * 763s|  1012k|573517 |  1968k|   1.9 | 673M| 579 |   - |1700 |5169 |1700 | 219 | 241k| 440k|3905 | 0.000000e+00 | 5.177000e+03 |    Inf 
784.11/784.17	o 5144
784.11/784.17	c * 763s|  1012k|569555 |  1968k|   1.9 | 667M| 579 |   - |1700 |5169 |1700 | 219 | 241k| 440k|3905 | 0.000000e+00 | 5.144000e+03 |    Inf 
784.11/784.19	o 5098
784.11/784.19	c * 763s|  1012k|564143 |  1968k|   1.9 | 659M| 579 |   - |1700 |5169 |1700 | 219 | 241k| 440k|3905 | 0.000000e+00 | 5.098000e+03 |    Inf 
784.21/784.27	o 5067
784.21/784.27	c * 763s|  1013k|560428 |  1968k|   1.9 | 653M| 579 |   - |1700 |5203 |1700 | 226 | 241k| 440k|3905 | 0.000000e+00 | 5.067000e+03 |    Inf 
784.91/784.94	o 5058
784.91/784.94	c * 764s|  1013k|559910 |  1971k|   1.9 | 653M| 579 |   - |1700 |5197 |1700 | 233 | 241k| 440k|3912 | 0.000000e+00 | 5.058000e+03 |    Inf 
788.90/788.91	o 5002
788.90/788.91	c * 767s|  1018k|557181 |  1979k|   1.9 | 649M| 579 |   - |1700 |6286 |1700 | 245 | 242k| 443k|3923 | 0.000000e+00 | 5.002000e+03 |    Inf 
789.00/789.04	o 4909
789.00/789.04	c * 768s|  1018k|546140 |  1979k|   1.9 | 631M| 579 |   - |1700 |6256 |1700 | 241 | 242k| 443k|3923 | 0.000000e+00 | 4.909000e+03 |    Inf 
789.11/789.14	o 4865
789.11/789.14	c * 768s|  1018k|541059 |  1980k|   1.9 | 623M| 579 |   - |1700 |6261 |1700 | 248 | 242k| 443k|3923 | 0.000000e+00 | 4.865000e+03 |    Inf 
789.11/789.17	o 4826
789.11/789.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
789.11/789.17	c * 768s|  1018k|536462 |  1980k|   1.9 | 616M| 579 |   - |1700 |6261 |1700 | 248 | 242k| 443k|3923 | 0.000000e+00 | 4.826000e+03 |    Inf 
789.11/789.19	o 4778
789.11/789.19	c * 768s|  1018k|530572 |  1980k|   1.9 | 607M| 579 |   - |1700 |6261 |1700 | 248 | 242k| 443k|3923 | 0.000000e+00 | 4.778000e+03 |    Inf 
789.50/789.54	o 4733
789.50/789.54	c * 768s|  1018k|525398 |  1980k|   1.9 | 599M| 579 |   - |1700 |6428 |1700 | 257 | 242k| 443k|3923 | 0.000000e+00 | 4.733000e+03 |    Inf 
789.50/789.56	o 4685
789.50/789.56	c * 768s|  1018k|519775 |  1980k|   1.9 | 591M| 579 |   - |1700 |6428 |1700 | 257 | 242k| 443k|3923 | 0.000000e+00 | 4.685000e+03 |    Inf 
790.50/790.55	c   769s|  1020k|520550 |  1983k|   1.9 | 592M| 579 |   0 |1700 |6383 |1700 | 202 | 243k| 444k|3924 | 0.000000e+00 | 4.685000e+03 |    Inf 
797.80/797.81	o 4655
797.80/797.81	c * 776s|  1028k|523138 |  2014k|   2.0 | 597M| 579 |   - |1700 |4431 |1700 | 214 | 246k| 449k|3975 | 0.000000e+00 | 4.655000e+03 |    Inf 
797.90/797.96	o 4599
797.90/797.96	c * 776s|  1028k|516710 |  2015k|   2.0 | 587M| 579 |   - |1700 |4485 |1700 | 213 | 246k| 449k|3975 | 0.000000e+00 | 4.599000e+03 |    Inf 
797.90/797.99	o 4548
797.90/797.99	c * 776s|  1028k|510512 |  2015k|   2.0 | 577M| 579 |   - |1700 |4485 |1700 | 213 | 246k| 449k|3975 | 0.000000e+00 | 4.548000e+03 |    Inf 
799.50/799.55	c   778s|  1030k|511987 |  2019k|   2.0 | 580M| 579 |   0 |1700 |4714 |1700 | 206 | 246k| 450k|3978 | 0.000000e+00 | 4.548000e+03 |    Inf 
803.10/803.16	o 4501
803.10/803.16	c * 781s|  1034k|509665 |  2030k|   2.0 | 577M| 579 |   - |1700 |4725 |1700 | 227 | 247k| 452k|3982 | 0.000000e+00 | 4.501000e+03 |    Inf 
808.40/808.42	c   786s|  1040k|513982 |  2048k|   2.0 | 585M| 579 |   0 |1700 |4962 |1700 | 194 | 250k| 455k|4010 | 0.000000e+00 | 4.501000e+03 |    Inf 
810.71/810.74	o 4427
810.71/810.74	c * 789s|  1042k|506851 |  2057k|   2.0 | 574M| 579 |   - |1700 |4727 |1700 | 197 | 250k| 456k|4026 | 0.000000e+00 | 4.427000e+03 |    Inf 
810.71/810.75	o 4416
810.71/810.75	c * 789s|  1042k|505480 |  2057k|   2.0 | 572M| 579 |   - |1700 |4727 |1700 | 197 | 250k| 456k|4026 | 0.000000e+00 | 4.416000e+03 |    Inf 
811.00/811.09	o 4366
811.00/811.09	c * 789s|  1042k|499796 |  2058k|   2.0 | 563M| 579 |   - |1700 |4759 |1700 | 209 | 251k| 456k|4027 | 0.000000e+00 | 4.366000e+03 |    Inf 
811.10/811.13	o 4265
811.10/811.13	c * 789s|  1042k|487562 |  2058k|   2.0 | 545M| 579 |   - |1700 |4759 |1700 | 209 | 251k| 456k|4027 | 0.000000e+00 | 4.265000e+03 |    Inf 
817.81/817.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
817.81/817.88	c   796s|  1050k|493131 |  2083k|   2.0 | 556M| 579 |   0 |1700 |4535 |1700 | 212 | 253k| 460k|4059 | 0.000000e+00 | 4.265000e+03 |    Inf 
825.40/825.46	o 4167
825.40/825.46	c * 803s|  1058k|487298 |  2108k|   2.0 | 551M| 579 |   - |1700 |4835 |1700 | 208 | 256k| 465k|4068 | 0.000000e+00 | 4.167000e+03 |    Inf 
825.60/825.62	o 4146
825.60/825.62	c * 803s|  1058k|484832 |  2109k|   2.0 | 548M| 579 |   - |1700 |4868 |1700 | 230 | 256k| 465k|4074 | 0.000000e+00 | 4.146000e+03 |    Inf 
825.60/825.63	o 4121
825.60/825.63	c * 803s|  1058k|481735 |  2109k|   2.0 | 543M| 579 |   - |1700 |4868 |1700 | 230 | 256k| 465k|4074 | 0.000000e+00 | 4.121000e+03 |    Inf 
826.90/826.97	c   804s|  1060k|482797 |  2113k|   2.0 | 546M| 579 |   0 |1700 |5119 |1700 | 203 | 257k| 466k|4076 | 0.000000e+00 | 4.121000e+03 |    Inf 
829.90/829.94	o 4074
829.90/829.94	c * 807s|  1063k|479192 |  2121k|   2.0 | 542M| 579 |   - |1700 |5008 |1700 | 213 | 258k| 468k|4094 | 0.000000e+00 | 4.074000e+03 |    Inf 
830.80/830.85	o 3974
830.80/830.85	c * 808s|  1064k|467540 |  2125k|   2.0 | 528M| 579 |   - |1700 |4937 |1700 | 217 | 258k| 468k|4105 | 0.000000e+00 | 3.974000e+03 |    Inf 
830.80/830.88	o 3911
830.80/830.88	c * 808s|  1064k|459673 |  2125k|   2.0 | 518M| 579 |   - |1700 |4937 |1700 | 217 | 258k| 468k|4105 | 0.000000e+00 | 3.911000e+03 |    Inf 
836.10/836.11	o 3892
836.10/836.11	c * 813s|  1069k|461472 |  2144k|   2.0 | 523M| 579 |   - |1700 |4595 |1700 | 226 | 260k| 472k|4122 | 0.000000e+00 | 3.892000e+03 |    Inf 
836.30/836.39	c   814s|  1070k|461697 |  2145k|   2.0 | 524M| 579 |   - |1700 |4633 |   0 |   0 | 260k| 472k|4122 | 0.000000e+00 | 3.892000e+03 |    Inf 
838.90/838.99	o 3776
838.90/838.99	c * 816s|  1072k|448640 |  2158k|   2.0 | 509M| 579 |   - |1700 |4335 |1700 | 208 | 261k| 474k|4131 | 0.000000e+00 | 3.776000e+03 |    Inf 
846.41/846.40	c   823s|  1080k|454232 |  2190k|   2.0 | 521M| 579 |   0 |1700 |4485 |1700 | 207 | 265k| 478k|4186 | 0.000000e+00 | 3.776000e+03 |    Inf 
847.31/847.39	o 3764
847.31/847.39	c * 824s|  1081k|453542 |  2194k|   2.0 | 521M| 579 |   - |1700 |4733 |1700 | 224 | 265k| 478k|4188 | 0.000000e+00 | 3.764000e+03 |    Inf 
847.41/847.47	o 3663
847.41/847.47	c * 824s|  1081k|440889 |  2194k|   2.0 | 505M| 579 |   - |1700 |4758 |1700 | 222 | 265k| 479k|4188 | 0.000000e+00 | 3.663000e+03 |    Inf 
847.51/847.51	o 3580
847.51/847.51	c * 824s|  1081k|429927 |  2194k|   2.0 | 492M| 579 |   - |1700 |4758 |1700 | 222 | 265k| 479k|4188 | 0.000000e+00 | 3.580000e+03 |    Inf 
848.40/848.44	o 3484
848.40/848.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
848.40/848.44	c * 825s|  1082k|418584 |  2197k|   2.0 | 478M| 579 |   - |1700 |4877 |1700 | 212 | 265k| 479k|4188 | 0.000000e+00 | 3.484000e+03 |    Inf 
848.50/848.57	o 3439
848.50/848.57	c * 825s|  1082k|412808 |  2197k|   2.0 | 471M| 579 |   - |1700 |4921 |1700 | 230 | 265k| 479k|4188 | 0.000000e+00 | 3.439000e+03 |    Inf 
856.20/856.25	c   833s|  1090k|418666 |  2232k|   2.0 | 483M| 579 |   0 |1700 |4636 |1700 | 210 | 269k| 484k|4232 | 0.000000e+00 | 3.439000e+03 |    Inf 
865.40/865.48	o 3415
865.40/865.48	c * 842s|  1099k|422574 |  2270k|   2.1 | 494M| 579 |   - |1700 |4368 |1700 | 221 | 273k| 489k|4278 | 0.000000e+00 | 3.415000e+03 |    Inf 
866.01/866.05	c   842s|  1100k|423024 |  2272k|   2.1 | 495M| 579 |   0 |1700 |4482 |1700 | 212 | 274k| 489k|4278 | 0.000000e+00 | 3.415000e+03 |    Inf 
866.81/866.82	o 3305
866.81/866.82	c * 843s|  1100k|409259 |  2275k|   2.1 | 477M| 579 |   - |1700 |4541 |1700 | 209 | 274k| 490k|4279 | 0.000000e+00 | 3.305000e+03 |    Inf 
866.81/866.85	o 3238
866.81/866.85	c * 843s|  1100k|400422 |  2275k|   2.1 | 466M| 579 |   - |1700 |4541 |1700 | 209 | 274k| 490k|4279 | 0.000000e+00 | 3.238000e+03 |    Inf 
875.91/875.92	c   852s|  1110k|406765 |  2310k|   2.1 | 480M| 579 |   0 |1700 |4975 |1700 | 210 | 278k| 495k|4320 | 0.000000e+00 | 3.238000e+03 |    Inf 
877.61/877.60	o 3093
877.61/877.60	c * 854s|  1111k|388423 |  2317k|   2.1 | 457M| 579 |   - |1700 |4831 |1700 | 205 | 278k| 496k|4324 | 0.000000e+00 | 3.093000e+03 |    Inf 
885.81/885.88	c   862s|  1120k|394174 |  2353k|   2.1 | 470M| 579 |   0 |1700 |3973 |1700 | 215 | 282k| 501k|4385 | 0.000000e+00 | 3.093000e+03 |    Inf 
894.61/894.68	o 3083
894.61/894.68	c * 870s|  1128k|398962 |  2398k|   2.1 | 483M| 579 |   - |1700 |4270 |1700 | 235 | 286k| 506k|4433 | 0.000000e+00 | 3.083000e+03 |    Inf 
896.21/896.25	c   872s|  1130k|400030 |  2405k|   2.1 | 486M| 579 |   - |1700 |4041 |   0 |   0 | 287k| 507k|4445 | 0.000000e+00 | 3.083000e+03 |    Inf 
906.31/906.31	c   882s|  1140k|406912 |  2449k|   2.1 | 502M| 579 |   0 |1700 |4401 |1700 | 199 | 292k| 513k|4489 | 0.000000e+00 | 3.083000e+03 |    Inf 
908.91/908.97	o 3006
908.91/908.97	c * 884s|  1142k|398119 |  2463k|   2.2 | 493M| 579 |   - |1700 |4276 |1700 | 216 | 293k| 514k|4527 | 0.000000e+00 | 3.006000e+03 |    Inf 
908.91/908.98	o 2995
908.91/908.98	c * 884s|  1142k|396530 |  2463k|   2.2 | 490M| 579 |   - |1700 |4276 |1700 | 216 | 293k| 514k|4527 | 0.000000e+00 | 2.995000e+03 |    Inf 
917.21/917.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
917.21/917.23	c   892s|  1150k|401629 |  2509k|   2.2 | 503M| 579 |   0 |1700 |4480 |1700 | 209 | 298k| 519k|4570 | 0.000000e+00 | 2.995000e+03 |    Inf 
927.01/927.07	c   902s|  1160k|408557 |  2550k|   2.2 | 519M| 579 |   0 |1700 |3838 |1700 | 205 | 302k| 524k|4605 | 0.000000e+00 | 2.995000e+03 |    Inf 
937.00/937.09	c   911s|  1170k|415282 |  2600k|   2.2 | 534M| 579 |   0 |1700 |3728 |1700 | 219 | 307k| 530k|4665 | 0.000000e+00 | 2.995000e+03 |    Inf 
943.72/943.74	o 2908
943.72/943.74	c * 918s|  1177k|407451 |  2625k|   2.2 | 529M| 579 |   - |1700 |4017 |1700 | 211 | 310k| 533k|4679 | 0.000000e+00 | 2.908000e+03 |    Inf 
943.82/943.80	o 2902
943.82/943.80	c * 918s|  1177k|406404 |  2626k|   2.2 | 528M| 579 |   - |1700 |4019 |1700 | 231 | 310k| 533k|4682 | 0.000000e+00 | 2.902000e+03 |    Inf 
943.82/943.85	o 2868
943.82/943.85	c * 918s|  1177k|401495 |  2626k|   2.2 | 521M| 579 |   - |1700 |4011 |1700 | 205 | 310k| 533k|4682 | 0.000000e+00 | 2.868000e+03 |    Inf 
946.91/946.94	c   921s|  1180k|403344 |  2643k|   2.2 | 526M| 579 |   0 |1700 |3943 |1700 | 216 | 312k| 535k|4712 | 0.000000e+00 | 2.868000e+03 |    Inf 
957.10/957.15	c   931s|  1190k|409846 |  2687k|   2.3 | 543M| 579 |   0 |1700 |3932 |1700 | 201 | 316k| 541k|4752 | 0.000000e+00 | 2.868000e+03 |    Inf 
967.81/967.80	c   941s|  1200k|416233 |  2743k|   2.3 | 559M| 579 |   0 |1700 |4417 |1700 | 222 | 322k| 547k|4824 | 0.000000e+00 | 2.868000e+03 |    Inf 
971.71/971.78	o 2823
971.71/971.78	c * 945s|  1203k|411840 |  2761k|   2.3 | 556M| 579 |   - |1700 |4326 |1700 | 220 | 323k| 549k|4834 | 0.000000e+00 | 2.823000e+03 |    Inf 
976.31/976.32	o 2782
976.31/976.32	c * 950s|  1208k|408691 |  2781k|   2.3 | 556M| 579 |   - |1700 |4054 |1700 | 221 | 325k| 552k|4855 | 0.000000e+00 | 2.782000e+03 |    Inf 
976.31/976.35	o 2743
976.31/976.35	c * 950s|  1208k|402776 |  2781k|   2.3 | 548M| 579 |   - |1700 |4054 |1700 | 222 | 325k| 552k|4855 | 0.000000e+00 | 2.743000e+03 |    Inf 
976.51/976.53	o 2664
976.51/976.53	c * 950s|  1208k|390431 |  2782k|   2.3 | 532M| 579 |   - |1700 |4053 |1700 | 223 | 325k| 552k|4858 | 0.000000e+00 | 2.664000e+03 |    Inf 
978.21/978.29	c   952s|  1210k|391635 |  2790k|   2.3 | 535M| 579 |   0 |1700 |3829 |1700 | 198 | 326k| 553k|4879 | 0.000000e+00 | 2.664000e+03 |    Inf 
987.31/987.31	o 2625
987.31/987.31	c * 960s|  1218k|390831 |  2835k|   2.3 | 541M| 579 |   - |1700 |4087 |1700 | 246 | 330k| 558k|4924 | 0.000000e+00 | 2.625000e+03 |    Inf 
987.31/987.34	o 2595
987.31/987.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
987.31/987.34	c * 960s|  1218k|386036 |  2835k|   2.3 | 534M| 579 |   - |1700 |4087 |1700 | 247 | 330k| 558k|4924 | 0.000000e+00 | 2.595000e+03 |    Inf 
987.31/987.39	o 2494
987.31/987.39	c * 960s|  1218k|369889 |  2835k|   2.3 | 512M| 579 |   - |1700 |4087 |1700 | 247 | 330k| 558k|4924 | 0.000000e+00 | 2.494000e+03 |    Inf 
987.41/987.47	o 2334
987.41/987.47	c * 960s|  1218k|343512 |  2835k|   2.3 | 470M| 579 |   - |1700 |4087 |1700 | 247 | 330k| 558k|4924 | 0.000000e+00 | 2.334000e+03 |    Inf 
987.51/987.54	o 2327
987.51/987.54	c * 961s|  1218k|342232 |  2835k|   2.3 | 468M| 579 |   - |1700 |4167 |1700 | 243 | 330k| 558k|4924 | 0.000000e+00 | 2.327000e+03 |    Inf 
988.71/988.77	o 2126
988.71/988.77	c * 962s|  1219k|310225 |  2844k|   2.3 | 412M| 579 |   - |1700 |4176 |1700 | 243 | 331k| 559k|4934 | 0.000000e+00 | 2.126000e+03 |    Inf 
989.50/989.58	c   962s|  1220k|310635 |  2848k|   2.3 | 413M| 579 |   - |1700 |4043 |   0 |   0 | 331k| 559k|4942 | 0.000000e+00 | 2.126000e+03 |    Inf 
1001.01/1001.07	c   974s|  1230k|316681 |  2917k|   2.4 | 431M| 579 |   0 |1700 |4214 |1700 | 192 | 338k| 566k|5020 | 0.000000e+00 | 2.126000e+03 |    Inf 
1003.51/1003.55	o 2124
1003.51/1003.55	c * 976s|  1231k|317587 |  2935k|   2.4 | 434M| 579 |   - |1700 |4222 |1700 | 231 | 340k| 567k|5025 | 0.000000e+00 | 2.124000e+03 |    Inf 
1003.51/1003.59	o 2065
1003.51/1003.59	c * 976s|  1231k|307819 |  2935k|   2.4 | 415M| 579 |   - |1700 |4222 |1700 | 231 | 340k| 567k|5025 | 0.000000e+00 | 2.065000e+03 |    Inf 
1003.70/1003.76	o 1969
1003.70/1003.76	c * 976s|  1232k|290983 |  2936k|   2.4 | 384M| 579 |   - |1700 |4245 |1700 | 238 | 340k| 567k|5025 | 0.000000e+00 | 1.969000e+03 |    Inf 
1003.70/1003.78	o 1944
1003.70/1003.78	c * 976s|  1232k|287070 |  2936k|   2.4 | 377M| 579 |   - |1700 |4245 |1700 | 238 | 340k| 567k|5025 | 0.000000e+00 | 1.944000e+03 |    Inf 
1010.61/1010.66	o 1908
1010.61/1010.66	c * 983s|  1237k|285565 |  2979k|   2.4 | 380M| 579 |   - |1700 |3872 |1700 | 222 | 344k| 571k|5076 | 0.000000e+00 | 1.908000e+03 |    Inf 
1010.61/1010.70	o 1841
1010.61/1010.70	c * 983s|  1237k|274900 |  2979k|   2.4 | 363M| 579 |   - |1700 |3872 |1700 | 222 | 344k| 571k|5076 | 0.000000e+00 | 1.841000e+03 |    Inf 
1011.01/1011.08	o 1755
1011.01/1011.08	c * 983s|  1238k|260208 |  2983k|   2.4 | 341M| 579 |   - |1700 |3832 |1700 | 237 | 344k| 571k|5080 | 0.000000e+00 | 1.755000e+03 |    Inf 
1011.11/1011.17	o 1716
1011.11/1011.17	c * 983s|  1238k|253116 |  2984k|   2.4 | 329M| 579 |   - |1700 |3839 |1700 | 204 | 344k| 571k|5080 | 0.000000e+00 | 1.716000e+03 |    Inf 
1011.81/1011.82	o 1677
1011.81/1011.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1011.81/1011.82	c * 984s|  1238k|246151 |  2990k|   2.4 | 319M| 579 |   - |1700 |3874 |1700 | 208 | 344k| 571k|5084 | 0.000000e+00 | 1.677000e+03 |    Inf 
1012.71/1012.71	o 1599
1012.71/1012.71	c * 985s|  1239k|232809 |  2994k|   2.4 | 301M| 579 |   - |1700 |3930 |1700 | 227 | 345k| 571k|5087 | 0.000000e+00 | 1.599000e+03 |    Inf 
1013.31/1013.38	c   986s|  1240k|233168 |  2999k|   2.4 | 302M| 579 |   0 |1700 |4152 |1700 | 217 | 345k| 572k|5110 | 0.000000e+00 | 1.599000e+03 |    Inf 
1013.71/1013.72	o 1503
1013.71/1013.72	c * 986s|  1240k|217852 |  3000k|   2.4 | 282M| 579 |   - |1700 |4237 |1700 | 235 | 345k| 572k|5112 | 0.000000e+00 | 1.503000e+03 |    Inf 
1013.71/1013.76	o 1436
1013.71/1013.76	c * 986s|  1240k|206786 |  3000k|   2.4 | 267M| 579 |   - |1700 |4237 |1700 | 235 | 345k| 572k|5112 | 0.000000e+00 | 1.436000e+03 |    Inf 
1015.01/1015.04	o 1433
1015.01/1015.04	c * 987s|  1241k|206949 |  3009k|   2.4 | 269M| 579 |   - |1700 |4607 |1700 | 236 | 346k| 573k|5124 | 0.000000e+00 | 1.433000e+03 |    Inf 
1015.11/1015.10	o 1317
1015.11/1015.10	c * 987s|  1241k|186186 |  3009k|   2.4 | 241M| 579 |   - |1700 |4607 |1700 | 236 | 346k| 573k|5124 | 0.000000e+00 | 1.317000e+03 |    Inf 
1015.22/1015.30	o 1302
1015.22/1015.30	c * 987s|  1241k|184106 |  3010k|   2.4 | 238M| 579 |   - |1700 |4590 |1700 | 239 | 346k| 573k|5125 | 0.000000e+00 | 1.302000e+03 |    Inf 
1015.32/1015.31	o 1291
1015.32/1015.31	c * 987s|  1241k|182837 |  3010k|   2.4 | 237M| 579 |   - |1700 |4590 |1700 | 239 | 346k| 573k|5125 | 0.000000e+00 | 1.291000e+03 |    Inf 
1016.32/1016.38	o 1286
1016.32/1016.38	c * 989s|  1242k|182260 |  3017k|   2.4 | 237M| 579 |   - |1700 |4839 |1700 | 236 | 346k| 573k|5141 | 0.000000e+00 | 1.286000e+03 |    Inf 
1016.51/1016.53	o 1280
1016.51/1016.53	c * 989s|  1242k|181555 |  3018k|   2.4 | 237M| 579 |   - |1700 |4895 |1700 | 227 | 347k| 574k|5144 | 0.000000e+00 | 1.280000e+03 |    Inf 
1016.51/1016.57	o 1182
1016.51/1016.57	c * 989s|  1242k|167270 |  3018k|   2.4 | 219M| 579 |   - |1700 |4895 |1700 | 227 | 347k| 574k|5144 | 0.000000e+00 | 1.182000e+03 |    Inf 
1017.11/1017.15	o 1142
1017.11/1017.15	c * 989s|  1242k|162213 |  3021k|   2.4 | 213M| 579 |   - |1700 |4954 |1700 | 203 | 347k| 574k|5151 | 0.000000e+00 | 1.142000e+03 |    Inf 
1017.71/1017.77	o 1130
1017.71/1017.77	c * 990s|  1242k|160714 |  3024k|   2.4 | 212M| 579 |   - |1700 |4872 |1700 | 238 | 347k| 574k|5151 | 0.000000e+00 | 1.130000e+03 |    Inf 
1017.81/1017.80	o 1078
1017.81/1017.80	c * 990s|  1242k|152586 |  3024k|   2.4 | 202M| 579 |   - |1700 |4872 |1700 | 238 | 347k| 574k|5151 | 0.000000e+00 | 1.078000e+03 |    Inf 
1019.11/1019.11	o 1072
1019.11/1019.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1019.11/1019.11	c * 991s|  1243k|151957 |  3032k|   2.4 | 203M| 579 |   - |1700 |4606 |1700 | 251 | 348k| 575k|5158 | 0.000000e+00 | 1.072000e+03 |    Inf 
1019.41/1019.41	o 1068
1019.41/1019.41	c * 991s|  1244k|151671 |  3035k|   2.4 | 203M| 579 |   - |1700 |4564 |1700 | 233 | 348k| 575k|5158 | 0.000000e+00 | 1.068000e+03 |    Inf 
1019.41/1019.46	o 993
1019.41/1019.46	c * 991s|  1244k|139495 |  3035k|   2.4 | 187M| 579 |   - |1700 |4564 |1700 | 233 | 348k| 575k|5158 | 0.000000e+00 | 9.930000e+02 |    Inf 
1019.41/1019.46	o 982
1019.41/1019.46	c * 992s|  1244k|137851 |  3035k|   2.4 | 185M| 579 |   - |1700 |4564 |1700 | 233 | 348k| 575k|5158 | 0.000000e+00 | 9.820000e+02 |    Inf 
1019.51/1019.54	o 973
1019.51/1019.54	c * 992s|  1244k|134063 |  3035k|   2.4 | 181M| 579 |   - |1700 |4498 |1700 | 220 | 348k| 575k|5158 | 0.000000e+00 | 9.730000e+02 |    Inf 
1019.51/1019.57	o 920
1019.51/1019.57	c * 992s|  1244k|125361 |  3035k|   2.4 | 171M| 579 |   - |1700 |4498 |1700 | 220 | 348k| 575k|5158 | 0.000000e+00 | 9.200000e+02 |    Inf 
1020.10/1020.17	o 909
1020.10/1020.17	c * 992s|  1244k|124300 |  3041k|   2.4 | 170M| 579 |   - |1700 |3856 |1700 | 239 | 349k| 575k|5161 | 0.000000e+00 | 9.090000e+02 |    Inf 
1020.21/1020.20	o 884
1020.21/1020.20	c * 992s|  1244k|121009 |  3041k|   2.4 | 166M| 579 |   - |1700 |3813 |1700 | 239 | 349k| 575k|5161 | 0.000000e+00 | 8.840000e+02 |    Inf 
1020.21/1020.23	o 835
1020.21/1020.23	c * 992s|  1244k|109801 |  3041k|   2.4 | 153M| 579 |   - |1700 |3813 |1700 | 239 | 349k| 575k|5161 | 0.000000e+00 | 8.350000e+02 |    Inf 
1020.61/1020.64	o 821
1020.61/1020.64	c * 993s|  1244k|107982 |  3046k|   2.4 | 152M| 579 |   - |1700 |3604 |1700 | 241 | 349k| 576k|5163 | 0.000000e+00 | 8.210000e+02 |    Inf 
1020.61/1020.68	o 772
1020.61/1020.68	c * 993s|  1244k| 96537 |  3046k|   2.4 | 138M| 579 |   - |1700 |3604 |1700 | 241 | 349k| 576k|5163 | 0.000000e+00 | 7.720000e+02 |    Inf 
1021.40/1021.48	o 699
1021.40/1021.48	c * 993s|  1244k| 84738 |  3055k|   2.5 | 125M| 579 |   - |1700 |2680 |1700 | 243 | 349k| 576k|5171 | 0.000000e+00 | 6.990000e+02 |    Inf 
1021.51/1021.55	o 682
1021.51/1021.55	c * 994s|  1244k| 82375 |  3056k|   2.5 | 122M| 579 |   - |1700 |2602 |1700 | 223 | 349k| 576k|5171 | 0.000000e+00 | 6.820000e+02 |    Inf 
1021.51/1021.57	o 679
1021.51/1021.57	c * 994s|  1245k| 81966 |  3056k|   2.5 | 122M| 579 |   - |1700 |2561 |1700 | 223 | 349k| 576k|5171 | 0.000000e+00 | 6.790000e+02 |    Inf 
1021.51/1021.59	o 640
1021.51/1021.59	c * 994s|  1245k| 75992 |  3056k|   2.5 | 115M| 579 |   - |1700 |2561 |1700 | 223 | 349k| 576k|5171 | 0.000000e+00 | 6.400000e+02 |    Inf 
1021.81/1021.84	o 637
1021.81/1021.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1021.81/1021.84	c * 994s|  1245k| 75572 |  3058k|   2.5 | 115M| 579 |   - |1700 |2201 |1700 | 246 | 350k| 576k|5175 | 0.000000e+00 | 6.370000e+02 |    Inf 
1021.81/1021.87	o 613
1021.81/1021.87	c * 994s|  1245k| 69356 |  3058k|   2.5 | 108M| 579 |   - |1700 |2179 |1700 | 248 | 350k| 576k|5175 | 0.000000e+00 | 6.130000e+02 |    Inf 
1021.81/1021.88	o 603
1021.81/1021.88	c * 994s|  1245k| 67410 |  3058k|   2.5 | 106M| 579 |   - |1700 |2179 |1700 | 248 | 350k| 576k|5175 | 0.000000e+00 | 6.030000e+02 |    Inf 
1022.01/1022.09	o 596
1022.01/1022.09	c * 994s|  1245k| 66844 |  3060k|   2.5 | 106M| 579 |   - |1700 |2052 |1700 | 201 | 350k| 576k|5189 | 0.000000e+00 | 5.960000e+02 |    Inf 
1022.11/1022.10	o 574
1022.11/1022.10	c * 994s|  1245k| 65390 |  3060k|   2.5 | 104M| 579 |   - |1700 |2052 |1700 | 201 | 350k| 576k|5189 | 0.000000e+00 | 5.740000e+02 |    Inf 
1022.11/1022.17	o 491
1022.11/1022.17	c * 994s|  1245k| 58655 |  3061k|   2.5 |  96M| 579 |   - |1700 |2011 |1700 | 241 | 350k| 576k|5191 | 0.000000e+00 | 4.910000e+02 |    Inf 
1022.21/1022.20	o 484
1022.21/1022.20	c * 994s|  1245k| 58590 |  3062k|   2.5 |  96M| 579 |   - |1700 |1929 |1700 | 245 | 350k| 576k|5193 | 0.000000e+00 | 4.840000e+02 |    Inf 
1022.21/1022.21	o 445
1022.21/1022.21	c * 994s|  1245k| 54375 |  3062k|   2.5 |  91M| 579 |   - |1700 |1929 |1700 | 245 | 350k| 576k|5193 | 0.000000e+00 | 4.450000e+02 |    Inf 
1022.61/1022.68	o 347
1022.61/1022.68	c * 995s|  1245k| 39283 |  3067k|   2.5 |  73M| 579 |   - |1700 |1985 |1700 | 247 | 350k| 577k|5222 | 0.000000e+00 | 3.470000e+02 |    Inf 
1022.91/1022.93	o 298
1022.91/1022.93	c * 995s|  1245k| 31893 |  3070k|   2.5 |  65M| 579 |   - |1700 |1899 |1700 | 224 | 351k| 577k|5230 | 0.000000e+00 | 2.980000e+02 |    Inf 
1022.91/1022.97	o 297
1022.91/1022.97	c * 995s|  1245k| 31696 |  3070k|   2.5 |  64M| 579 |   - |1700 |1845 |1700 | 213 | 351k| 577k|5232 | 0.000000e+00 | 2.970000e+02 |    Inf 
1023.02/1023.06	o 242
1023.02/1023.06	c * 995s|  1245k| 28561 |  3071k|   2.5 |  59M| 579 |   - |1700 |1834 |1700 | 241 | 351k| 577k|5232 | 0.000000e+00 | 2.420000e+02 |    Inf 
1023.02/1023.08	o 127
1023.02/1023.08	c * 995s|  1245k| 22806 |  3071k|   2.5 |  52M| 579 |   - |1700 |1731 |1700 | 241 | 351k| 577k|5232 | 0.000000e+00 | 1.270000e+02 |    Inf 
1023.11/1023.13	o 98
1023.11/1023.13	c * 995s|  1245k| 14255 |  3071k|   2.5 |  41M| 579 |   - |1700 |1638 |1700 | 228 | 351k| 577k|5232 | 0.000000e+00 | 9.800000e+01 |    Inf 
1023.11/1023.14	o 11
1023.11/1023.14	c * 995s|  1245k| 12440 |  3071k|   2.5 |  38M| 579 |   - |1700 |1638 |1700 | 228 | 351k| 577k|5232 | 0.000000e+00 | 1.100000e+01 |    Inf 
1023.21/1023.25	o 0
1023.21/1023.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1023.21/1023.25	c * 995s|  1245k|     0 |  3071k|   2.5 |  11M| 579 |   - |1700 |1095 |1700 | 215 | 351k| 577k|5233 | 0.000000e+00 | 0.000000e+00 |   0.00%
1023.21/1023.25	c 
1023.21/1023.25	c SCIP Status        : problem is solved [optimal solution found]
1023.21/1023.25	c Solving Time (sec) : 995.19
1023.21/1023.25	c Solving Nodes      : 1245481
1023.21/1023.25	c Primal Bound       : +0.00000000000000e+00 (358 solutions)
1023.21/1023.25	c Dual Bound         : +0.00000000000000e+00
1023.21/1023.25	c Gap                : 0.00 %
1023.21/1023.25	s OPTIMUM FOUND
1023.21/1023.25	v -x200 x199 x198 -x197 -x196 x195 x194 -x193 -x192 x191 x190 -x189 -x188 x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177 
1023.21/1023.25	v x176 -x175 -x174 x173 x172 -x171 -x170 x169 x168 -x167 x166 -x165 -x164 x163 x162 -x161 x160 -x159 -x158 x157 x156 -x155 
1023.21/1023.25	v x154 -x153 x152 -x151 x150 -x149 -x148 x147 -x146 x145 x144 -x143 x142 -x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 x132 
1023.21/1023.25	v -x131 -x130 x129 x128 -x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109 
1023.21/1023.25	v -x108 x107 x106 -x105 x104 -x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 x90 -x89 -x88 x87 x86 -x85 x84 
1023.21/1023.25	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 x57 -x56 
1023.21/1023.25	v x55 -x54 x53 x52 -x51 x50 -x49 x48 -x47 x46 -x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 -x28 
1023.21/1023.25	v x27 -x26 x25 x24 -x23 -x22 x21 -x20 x19 -x18 x17 x16 -x15 -x14 x13 -x12 x11 x10 -x9 x8 -x7 -x6 x5 -x4 x3 x2 -x1 
1023.21/1023.25	c SCIP Status        : problem is solved [optimal solution found]
1023.21/1023.25	c Solving Time       :     995.19
1023.21/1023.25	c Original Problem   :
1023.21/1023.25	c   Problem name     : HOME/instance-2700213-1278534442.wbo
1023.21/1023.25	c   Variables        : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1023.21/1023.25	c   Constraints      : 1701 initial, 1701 maximal
1023.21/1023.25	c Presolved Problem  :
1023.21/1023.25	c   Problem name     : t_HOME/instance-2700213-1278534442.wbo
1023.21/1023.25	c   Variables        : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1023.21/1023.25	c   Constraints      : 1600 initial, 6903 maximal
1023.21/1023.25	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1023.21/1023.25	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1023.21/1023.25	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1023.21/1023.25	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1023.21/1023.25	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1023.21/1023.25	c   implics          :       0.00          0          0          0          0          0          0          0          0
1023.21/1023.25	c   probing          :       0.02          0          0          0          0          0          0          0          0
1023.21/1023.25	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1023.21/1023.25	c   linear           :       0.02          0        100          0        800          0        101          0          0
1023.21/1023.25	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1023.21/1023.25	c   root node        :          -        805          -          -       1599          -          -          -          -
1023.21/1023.25	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1023.21/1023.25	c   integral         :          0          0          0    1301222          0          0         40          0          0      15486
1023.21/1023.25	c   indicator        :        800          0    2466822    1293435          0       2350   19588197          0          0          0
1023.21/1023.25	c   linear           :        800          6    2463985    1293317          0      19469    1806704     351287          0          0
1023.21/1023.25	c   logicor          :          0+         0    1487220          0          0       1924     831268          0          0          0
1023.21/1023.25	c   countsols        :          0          0          0    1156974          0          0          0          0          0          0
1023.21/1023.25	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1023.21/1023.25	c   integral         :       5.83       0.00       0.00       5.83       0.00
1023.21/1023.25	c   indicator        :     104.96       0.06      37.55      67.35       0.00
1023.21/1023.25	c   linear           :      65.95       0.00      30.75      35.20       0.00
1023.21/1023.25	c   logicor          :      23.02       0.00      23.02       0.00       0.00
1023.21/1023.26	c   countsols        :       0.37       0.00       0.00       0.37       0.00
1023.21/1023.26	c Propagators        :       Time      Calls    Cutoffs    DomReds
1023.21/1023.26	c   vbounds          :       0.76          2          0          0
1023.21/1023.26	c   rootredcost      :       0.56        257          0        794
1023.21/1023.26	c   pseudoobj        :      56.41    2552691      86058   16459037
1023.21/1023.26	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1023.21/1023.26	c   propagation      :       5.51     107451     107404     461938       27.2     199134        3.7          -
1023.21/1023.26	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1023.21/1023.26	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1023.21/1023.26	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1023.21/1023.26	c   pseudo solution  :       0.04        268        268       1651       26.5        942        3.9          -
1023.21/1023.26	c   applied globally :          -          -          -     577355       17.9          -          -          -
1023.21/1023.26	c   applied locally  :          -          -          -          0        0.0          -          -          -
1023.21/1023.26	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1023.21/1023.26	c   cut pool         :       0.00          3          -          -          6          -    (maximal pool size: 29)
1023.21/1023.26	c   redcost          :      46.29    1327647          0    2624218          0          0
1023.21/1023.26	c   impliedbounds    :       0.00          4          0          0          0          0
1023.21/1023.26	c   intobj           :       0.00          0          0          0          0          0
1023.21/1023.26	c   cgmip            :       0.00          0          0          0          0          0
1023.21/1023.26	c   gomory           :       0.02          4          0          0         29          0
1023.21/1023.26	c   strongcg         :       0.00          4          0          0          0          0
1023.21/1023.26	c   cmir             :       0.00          4          0          0          0          0
1023.21/1023.26	c   flowcover        :       0.03          4          0          0          0          0
1023.21/1023.26	c   clique           :       0.00          1          0          0          0          0
1023.21/1023.26	c   zerohalf         :       0.00          0          0          0          0          0
1023.21/1023.26	c   mcf              :       0.00          1          0          0          0          0
1023.21/1023.26	c   rapidlearning    :       0.00          0          0          0          0          0
1023.21/1023.26	c Pricers            :       Time      Calls       Vars
1023.21/1023.26	c   problem variables:       0.00          0          0
1023.21/1023.26	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1023.21/1023.26	c   relpscost        :       5.36       7779          0         40          0          0      15486
1023.21/1023.26	c   pscost           :       0.00          0          0          0          0          0          0
1023.21/1023.26	c   inference        :      81.14    1156716          0          0          0          0    2313432
1023.21/1023.26	c   mostinf          :       0.00          0          0          0          0          0          0
1023.21/1023.26	c   leastinf         :       0.00          0          0          0          0          0          0
1023.21/1023.26	c   fullstrong       :       0.00          0          0          0          0          0          0
1023.21/1023.26	c   allfullstrong    :       0.00          0          0          0          0          0          0
1023.21/1023.26	c   random           :       0.00          0          0          0          0          0          0
1023.21/1023.26	c Primal Heuristics  :       Time      Calls      Found
1023.21/1023.26	c   LP solutions     :       3.54          -        258
1023.21/1023.26	c   pseudo solutions :       0.00          -          0
1023.21/1023.26	c   feaspump         :       0.00          0          0
1023.21/1023.26	c   oneopt           :       0.69        186          0
1023.21/1023.26	c   crossover        :       5.25        415          4
1023.21/1023.26	c   guideddiving     :       2.03       4227          0
1023.21/1023.26	c   coefdiving       :       2.13       4227          0
1023.21/1023.26	c   pscostdiving     :       1.84       4227          0
1023.21/1023.26	c   fracdiving       :       1.71       4227          0
1023.21/1023.26	c   veclendiving     :       2.20       4227          0
1023.21/1023.26	c   linesearchdiving :       1.84       4227          0
1023.21/1023.26	c   objpscostdiving  :       2.36       4227          0
1023.21/1023.26	c   rootsoldiving    :       2.19       4227          0
1023.21/1023.26	c   trivial          :       0.00          2          1
1023.21/1023.26	c   simplerounding   :       0.77       8734          0
1023.21/1023.26	c   zirounding       :       0.35       1000          0
1023.21/1023.26	c   rounding         :       0.49       1255          0
1023.21/1023.26	c   shifting         :       0.16        376          0
1023.21/1023.26	c   intshifting      :       0.01          3          0
1023.21/1023.26	c   twoopt           :       0.00          0          0
1023.21/1023.26	c   fixandinfer      :       0.00          0          0
1023.21/1023.26	c   intdiving        :       0.00          0          0
1023.21/1023.26	c   actconsdiving    :       0.00          0          0
1023.21/1023.26	c   octane           :       0.00          0          0
1023.21/1023.26	c   rens             :       0.01          1          0
1023.21/1023.26	c   rins             :       0.00          0          0
1023.21/1023.26	c   localbranching   :       0.00          0          0
1023.21/1023.26	c   mutation         :       0.00          0          0
1023.21/1023.26	c   dins             :       0.00          0          0
1023.21/1023.26	c   undercover       :       0.00          0          0
1023.21/1023.26	c   nlp              :       0.28          0          0
1023.21/1023.26	c   trysol           :       0.67       5308         95
1023.21/1023.26	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1023.21/1023.26	c   primal LP        :       0.00          0          0       0.00          -
1023.21/1023.26	c   dual LP          :     362.82     329255    3054942       9.28    8419.99
1023.21/1023.26	c   lex dual LP      :       0.00          0          0       0.00          -
1023.21/1023.26	c   barrier LP       :       0.00          0          0       0.00          -
1023.21/1023.26	c   diving/probing LP:       0.32        187      16736      89.50   52300.00
1023.21/1023.26	c   strong branching :       5.32       5233     102793      19.64   19321.99
1023.21/1023.26	c     (at root node) :          -         33       7455     225.91          -
1023.21/1023.26	c   conflict analysis:       0.00          0          0       0.00          -
1023.21/1023.26	c B&B Tree           :
1023.21/1023.26	c   number of runs   :          1
1023.21/1023.26	c   nodes            :    1245481
1023.21/1023.26	c   nodes (total)    :    1245481
1023.21/1023.26	c   nodes left       :          0
1023.21/1023.26	c   max depth        :        579
1023.21/1023.26	c   max depth (total):        579
1023.21/1023.26	c   backtracks       :      39949 (3.2%)
1023.21/1023.26	c   delayed cutoffs  :      33198
1023.21/1023.26	c   repropagations   :     177407 (10328321 domain reductions, 29305 cutoffs)
1023.21/1023.26	c   avg switch length:       3.11
1023.21/1023.26	c   switching time   :      62.24
1023.21/1023.26	c Solution           :
1023.21/1023.26	c   Solutions found  :        358 (259 improvements)
1023.21/1023.26	c   First Solution   : +3.94238000000000e+05   (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1023.21/1023.26	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 1245481 nodes, 995.13 seconds, depth 19, found by <relaxation>)
1023.21/1023.26	c   Dual Bound       : +0.00000000000000e+00
1023.21/1023.26	c   Gap              :       0.00 %
1023.21/1023.26	c   Root Dual Bound  : +0.00000000000000e+00
1023.21/1023.26	c   Root Iterations  :        247
1023.21/1023.29	c Time complete: 1023.3.

Verifier Data 

OK	0

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700213-1278534442/watcher-2700213-1278534442 -o /tmp/evaluation-result-2700213-1278534442/solver-2700213-1278534442 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700213-1278534442.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: 4.63 4.27 2.39 4/178 18735
/proc/meminfo: memFree=28378408/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=10980 CPUtime=0
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 1677 0 0 0 0 0 0 0 25 0 1 0 21658361 11243520 1597 4089446400 4194304 9819077 140734956406832 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18735/statm: 2745 1597 392 1374 0 1366 0

[startup+0.09869 s]
/proc/loadavg: 4.63 4.27 2.39 4/178 18735
/proc/meminfo: memFree=28378408/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=27768 CPUtime=0.09
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 6739 0 0 0 9 0 0 0 25 0 1 0 21658361 28434432 5477 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 6942 5477 674 1374 0 5563 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27768

[startup+0.100699 s]
/proc/loadavg: 4.63 4.27 2.39 4/178 18735
/proc/meminfo: memFree=28378408/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=27768 CPUtime=0.09
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 6739 0 0 0 9 0 0 0 25 0 1 0 21658361 28434432 5477 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 6942 5477 674 1374 0 5563 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27768

[startup+0.300653 s]
/proc/loadavg: 4.63 4.27 2.39 4/178 18735
/proc/meminfo: memFree=28378408/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=29752 CPUtime=0.29
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 11201 0 0 0 28 1 0 0 25 0 1 0 21658361 30466048 5657 4089446400 4194304 9819077 140734956406832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 7438 5657 695 1374 0 6059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29752

[startup+0.700583 s]
/proc/loadavg: 4.63 4.27 2.39 4/178 18735
/proc/meminfo: memFree=28378408/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=28540 CPUtime=0.69
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 15347 0 0 0 67 2 0 0 25 0 1 0 21658361 29224960 5642 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 7135 5642 695 1374 0 5756 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28540

[startup+1.50044 s]
/proc/loadavg: 4.63 4.27 2.39 3/179 18736
/proc/meminfo: memFree=28356236/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=29996 CPUtime=1.49
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 26146 0 0 0 144 5 0 0 25 0 1 0 21658361 30715904 5729 4089446400 4194304 9819077 140734956406832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 7499 5729 697 1374 0 6120 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29996

[startup+3.10017 s]
/proc/loadavg: 4.63 4.27 2.39 3/179 18736
/proc/meminfo: memFree=28349788/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=32708 CPUtime=3.09
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 41550 0 0 0 299 10 0 0 25 0 1 0 21658361 33492992 6848 4089446400 4194304 9819077 140734956406832 18446744073709551615 7220119 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 8177 6848 700 1374 0 6798 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32708

[startup+6.3006 s]
/proc/loadavg: 4.42 4.23 2.38 3/179 18736
/proc/meminfo: memFree=28340856/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=40308 CPUtime=6.3
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 55067 0 0 0 612 18 0 0 25 0 1 0 21658361 41275392 8544 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 10077 8544 704 1374 0 8698 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 40308

[startup+12.7005 s]
/proc/loadavg: 4.22 4.19 2.38 3/179 18736
/proc/meminfo: memFree=28320016/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=49920 CPUtime=12.69
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 74141 0 0 0 1233 36 0 0 25 0 1 0 21658361 51118080 10981 4089446400 4194304 9819077 140734956406832 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18735/statm: 12480 10981 704 1374 0 11101 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49920

[startup+25.5002 s]
/proc/loadavg: 3.73 4.08 2.37 3/179 18736
/proc/meminfo: memFree=28284852/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=65556 CPUtime=25.49
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 128232 0 0 0 2481 68 0 0 25 0 1 0 21658361 67129344 14958 4089446400 4194304 9819077 140734956406832 18446744073709551615 6628281 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18735/statm: 16389 14958 704 1374 0 15010 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65556

[startup+51.1007 s]
/proc/loadavg: 3.14 3.91 2.36 3/179 18737
/proc/meminfo: memFree=28215860/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=99968 CPUtime=51.09
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 253223 0 0 0 4964 145 0 0 25 0 1 0 21658361 102367232 23632 4089446400 4194304 9819077 140734956406832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 24992 23632 704 1374 0 23613 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99968

[startup+102.307 s]
/proc/loadavg: 2.49 3.62 2.34 3/179 18738
/proc/meminfo: memFree=28072696/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=176672 CPUtime=102.29
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 492702 0 0 0 9942 287 0 0 25 0 1 0 21658361 180912128 42396 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 44168 42396 704 1374 0 42789 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 176672

[startup+162.301 s]
/proc/loadavg: 2.18 3.32 2.32 3/179 18740
/proc/meminfo: memFree=27937372/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=252676 CPUtime=162.29
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 764686 0 0 0 15780 449 0 0 25 0 1 0 21658361 258740224 61364 4089446400 4194304 9819077 140734956406832 18446744073709551615 6670364 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 63169 61364 704 1374 0 61790 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 252676

[startup+222.3 s]
/proc/loadavg: 2.06 3.08 2.30 3/179 18742
/proc/meminfo: memFree=27800040/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=341368 CPUtime=222.29
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 985645 0 0 0 21622 607 0 0 25 0 1 0 21658361 349560832 82083 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 85342 82083 704 1374 0 83963 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 341368

[startup+282.301 s]
/proc/loadavg: 2.02 2.88 2.27 3/179 18743
/proc/meminfo: memFree=27645608/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=416712 CPUtime=282.29
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 1251124 0 0 0 27464 765 0 0 25 0 1 0 21658361 426713088 100633 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 104178 100633 704 1374 0 102799 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 416712

[startup+342.3 s]
/proc/loadavg: 2.01 2.72 2.25 3/179 18745
/proc/meminfo: memFree=27533324/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=457460 CPUtime=342.29
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 1491817 0 0 0 33303 926 0 0 25 0 1 0 21658361 468439040 110401 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 114365 110401 704 1374 0 112986 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 457460

[startup+402.301 s]
/proc/loadavg: 2.00 2.58 2.24 3/179 18746
/proc/meminfo: memFree=27381876/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=530072 CPUtime=402.29
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 1733428 0 0 0 39144 1085 0 0 25 0 1 0 21658361 542793728 128238 4089446400 4194304 9819077 140734956406832 18446744073709551615 6162091 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 132518 128238 704 1374 0 131139 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 530072

[startup+462.301 s]
/proc/loadavg: 2.00 2.47 2.22 3/179 18748
/proc/meminfo: memFree=27232284/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=601132 CPUtime=462.29
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 1986493 0 0 0 44982 1247 0 0 25 0 1 0 21658361 615559168 145362 4089446400 4194304 9819077 140734956406832 18446744073709551615 7816363 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 150283 145362 704 1374 0 148904 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 601132

[startup+522.3 s]
/proc/loadavg: 2.00 2.39 2.20 3/179 18750
/proc/meminfo: memFree=27078612/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=688416 CPUtime=522.3
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 2230693 0 0 0 50816 1414 0 0 25 0 1 0 21658361 704937984 164723 4089446400 4194304 9819077 140734956406832 18446744073709551615 7306954 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 172016 164718 704 1374 0 170637 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 688416

[startup+582.301 s]
/proc/loadavg: 2.00 2.31 2.18 3/179 18751
/proc/meminfo: memFree=26934844/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=746024 CPUtime=582.3
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 2482169 0 0 0 56642 1588 0 0 25 0 1 0 21658361 763928576 178551 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 186506 178551 704 1374 0 185127 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 746024

[startup+642.301 s]
/proc/loadavg: 2.00 2.25 2.17 3/179 18753
/proc/meminfo: memFree=26843008/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=782744 CPUtime=642.31
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 2711256 0 0 0 62483 1748 0 0 25 0 1 0 21658361 801529856 187290 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 195686 187290 704 1374 0 194307 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 782744

[startup+702.3 s]
/proc/loadavg: 2.00 2.20 2.16 3/179 18754
/proc/meminfo: memFree=26833412/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=791588 CPUtime=702.31
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 2983779 0 0 0 68316 1915 0 0 25 0 1 0 21658361 810586112 189101 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 197897 189101 704 1374 0 196518 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 791588

[startup+762.307 s]
/proc/loadavg: 2.00 2.16 2.15 3/179 18756
/proc/meminfo: memFree=26814136/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=803580 CPUtime=762.31
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 3234497 0 0 0 74155 2076 0 0 25 0 1 0 21658361 822865920 191765 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 200895 191765 704 1374 0 199516 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 803580

[startup+822.3 s]
/proc/loadavg: 2.00 2.13 2.14 3/179 18758
/proc/meminfo: memFree=26744016/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=828320 CPUtime=822.3
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 3504293 0 0 0 79987 2243 0 0 25 0 1 0 21658361 848199680 197458 4089446400 4194304 9819077 140734956406832 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 207080 197458 704 1374 0 205701 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 828320

[startup+882.301 s]
/proc/loadavg: 2.00 2.11 2.12 3/179 18759
/proc/meminfo: memFree=26663372/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=834780 CPUtime=882.31
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 3812640 0 0 0 85820 2411 0 0 25 0 1 0 21658361 854814720 198871 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 208695 198871 704 1374 0 207316 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 834780

[startup+942.301 s]
/proc/loadavg: 2.00 2.08 2.11 3/179 18761
/proc/meminfo: memFree=26597132/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=850584 CPUtime=942.31
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 4088536 0 0 0 91657 2574 0 0 25 0 1 0 21658361 870998016 201801 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 212646 201801 704 1374 0 211267 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 850584

[startup+1002.3 s]
/proc/loadavg: 2.00 2.07 2.10 3/179 18762
/proc/meminfo: memFree=26506172/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=875808 CPUtime=1002.31
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 4390875 0 0 0 97486 2745 0 0 25 0 1 0 21658361 896827392 206715 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 218952 206715 704 1374 0 217573 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 875808

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

[startup+1011.1 s]
/proc/loadavg: 2.00 2.06 2.10 3/179 18762
/proc/meminfo: memFree=26493892/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=878048 CPUtime=1011.11
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 4442150 0 0 0 98342 2769 0 0 25 0 1 0 21658361 899121152 207109 4089446400 4194304 9819077 140734956406832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 219512 207109 704 1374 0 218133 0
Current children cumulated CPU time (s) 1011.11
Current children cumulated vsize (KiB) 878048

[startup+1017.51 s]
/proc/loadavg: 2.00 2.06 2.10 3/179 18763
/proc/meminfo: memFree=26484588/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=879416 CPUtime=1017.52
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 4494791 0 0 0 98961 2791 0 0 25 0 1 0 21658361 900521984 207387 4089446400 4194304 9819077 140734956406832 18446744073709551615 4676204 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 219854 207387 704 1374 0 218475 0
Current children cumulated CPU time (s) 1017.52
Current children cumulated vsize (KiB) 879416

[startup+1020.7 s]
/proc/loadavg: 2.00 2.06 2.10 3/179 18763
/proc/meminfo: memFree=26480372/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=880052 CPUtime=1020.71
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 4521030 0 0 0 99272 2799 0 0 25 0 1 0 21658361 901173248 207584 4089446400 4194304 9819077 140734956406832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 220013 207584 704 1374 0 218634 0
Current children cumulated CPU time (s) 1020.71
Current children cumulated vsize (KiB) 880052

[startup+1022.3 s]
/proc/loadavg: 2.00 2.06 2.10 3/179 18763
/proc/meminfo: memFree=26478388/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=880240 CPUtime=1022.31
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 4531699 0 0 0 99427 2804 0 0 25 0 1 0 21658361 901365760 207626 4089446400 4194304 9819077 140734956406832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 220060 207626 705 1374 0 218681 0
Current children cumulated CPU time (s) 1022.31
Current children cumulated vsize (KiB) 880240

[startup+1022.7 s]
/proc/loadavg: 2.00 2.06 2.10 3/179 18763
/proc/meminfo: memFree=26478388/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=880264 CPUtime=1022.71
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 4534641 0 0 0 99466 2805 0 0 25 0 1 0 21658361 901390336 207627 4089446400 4194304 9819077 140734956406832 18446744073709551615 7816356 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 220066 207627 705 1374 0 218687 0
Current children cumulated CPU time (s) 1022.71
Current children cumulated vsize (KiB) 880264

[startup+1023.1 s]
/proc/loadavg: 2.00 2.06 2.10 3/179 18763
/proc/meminfo: memFree=26478264/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=880280 CPUtime=1023.11
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 4536608 0 0 0 99505 2806 0 0 25 0 1 0 21658361 901406720 207637 4089446400 4194304 9819077 140734956406832 18446744073709551615 6361147 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 220070 207637 705 1374 0 218691 0
Current children cumulated CPU time (s) 1023.11
Current children cumulated vsize (KiB) 880280

[startup+1023.2 s]
/proc/loadavg: 2.00 2.06 2.10 3/179 18763
/proc/meminfo: memFree=26478264/32951124 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=880040 CPUtime=1023.21
/proc/18735/stat : 18735 (pbscip.linux.x8) R 18733 18735 18070 0 -1 4202496 4536891 0 0 0 99515 2806 0 0 25 0 1 0 21658361 901160960 207582 4089446400 4194304 9819077 140734956406832 18446744073709551615 6179984 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18735/statm: 220010 207582 705 1374 0 218631 0
Current children cumulated CPU time (s) 1023.21
Current children cumulated vsize (KiB) 880040

Child status: 0
Real time (s): 1023.3
CPU time (s): 1023.32
CPU user time (s): 995.217
CPU system time (s): 28.0987
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 887736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 995.217
system time used= 28.0987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4536898
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= 1
involuntary context switches= 812

runsolver used 1.86672 second user time and 3.72143 second system time

The end

Launcher Data 

Begin job on node107 at 2010-07-07 22:27:22
IDJOB=2700213
IDBENCH=79409
IDSOLVER=1205
FILE ID=node107/2700213-1278534442
PBS_JOBID= 11239263
Free space on /tmp= 73648 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh210_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700213-1278534442/watcher-2700213-1278534442 -o /tmp/evaluation-result-2700213-1278534442/solver-2700213-1278534442 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700213-1278534442.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 208e691d0f47cfa792c689161068f479
RANDOM SEED=592914637

node107.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.788
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.57
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.788
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	: 5265.21
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.788
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.75
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.788
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.82
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.788
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.74
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.788
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.83
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.788
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.74
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.788
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28378812 kB
Buffers:        129140 kB
Cached:        3362736 kB
SwapCached:          0 kB
Active:        1714232 kB
Inactive:      2698116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28378812 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6220 kB
Writeback:           0 kB
AnonPages:      920748 kB
Mapped:          17404 kB
Slab:            94704 kB
PageTables:       6524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1075832 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= 73640 MiB
End job on node107 at 2010-07-07 22:44:25