Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | OPTIMUM | 106.069 | 106.068 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh16_wcsp.wbo |
| MD5SUM | 8941aeee87a1a646f79f1fa97035d3b2 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 0.042992 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 950 |
| Number of soft constraints | 850 |
| Number of constraints which are clauses | 850 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 420926 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 420925 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2700310-1278534701.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.03/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.03/0.06 c presolving (3 rounds):
0.03/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.06 c 1050 implications, 0 cliques
0.03/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.03/0.06 c 850 constraints of type <indicator>
0.03/0.06 c 850 constraints of type <linear>
0.03/0.06 c transformed objective value is always integral (scale: 1)
0.03/0.06 c Presolving Time: 0.04
0.03/0.06 c - non default parameters ----------------------------------------------------------------------
0.03/0.06 c # SCIP version 1.2.1.2
0.03/0.06 c
0.03/0.06 c # frequency for displaying node information lines
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.06 c display/freq = 10000
0.03/0.06 c
0.03/0.06 c # maximal time in seconds to run
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.06 c limits/time = 1799.99
0.03/0.06 c
0.03/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.06 c limits/memory = 3420
0.03/0.06 c
0.03/0.06 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.06 c lp/solvefreq = -1
0.03/0.06 c
0.03/0.06 c # should presolving try to simplify inequalities
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c constraints/linear/simplifyinequalities = TRUE
0.03/0.06 c
0.03/0.06 c # should presolving try to simplify knapsacks
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.06 c
0.03/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.06 c separating/rapidlearning/freq = 0
0.03/0.06 c
0.03/0.06 c -----------------------------------------------------------------------------------------------
0.03/0.06 c start solving
0.03/0.06 c
0.03/0.06 o 420925
0.03/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.06 c t 0.0s| 1 | 0 | 0 | - |6131k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.03/0.06 c 0.0s| 1 | 2 | 0 | - |6083k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.29/0.33 o 22584
0.29/0.33 c * 0.3s| 1988 | 1866 | 0 | 0.0 |7556k| 863 | - |1800 |2047 | 0 | 0 | 0 | 348 | 0 | 0.000000e+00 | 2.258400e+04 | Inf
0.29/0.33 o 22460
0.29/0.33 c * 0.3s| 1989 | 1865 | 0 | 0.0 |7641k| 863 | - |1800 |2047 | 0 | 0 | 0 | 348 | 0 | 0.000000e+00 | 2.246000e+04 | Inf
0.29/0.34 o 20206
0.29/0.34 c * 0.3s| 2067 | 1915 | 0 | 0.0 |7634k| 863 | - |1800 |2047 | 0 | 0 | 0 | 348 | 0 | 0.000000e+00 | 2.020600e+04 | Inf
0.29/0.38 o 20039
0.29/0.38 c * 0.3s| 2306 | 2141 | 0 | 0.0 |7841k| 863 | - |1800 |2077 | 0 | 0 | 0 | 378 | 0 | 0.000000e+00 | 2.003900e+04 | Inf
0.59/0.61 o 19651
0.59/0.61 c * 0.5s| 3368 | 3061 | 0 | 0.0 |8500k| 865 | - |1800 |2364 | 0 | 0 | 0 | 669 | 0 | 0.000000e+00 | 1.965100e+04 | Inf
0.59/0.64 o 19268
0.59/0.64 c * 0.5s| 3546 | 3215 | 0 | 0.0 |8608k| 865 | - |1800 |2394 | 0 | 0 | 0 | 699 | 0 | 0.000000e+00 | 1.926800e+04 | Inf
0.69/0.70 o 19008
0.69/0.70 c * 0.6s| 3858 | 3495 | 0 | 0.0 |8839k| 865 | - |1800 |2489 | 0 | 0 | 0 | 794 | 0 | 0.000000e+00 | 1.900800e+04 | Inf
0.69/0.70 o 18992
0.69/0.70 c * 0.6s| 3859 | 3492 | 0 | 0.0 |8884k| 865 | - |1800 |2489 | 0 | 0 | 0 | 794 | 0 | 0.000000e+00 | 1.899200e+04 | Inf
0.79/0.81 o 18663
0.79/0.81 c * 0.7s| 4430 | 4012 | 0 | 0.0 |9176k| 865 | - |1800 |2573 | 0 | 0 | 0 | 885 | 0 | 0.000000e+00 | 1.866300e+04 | Inf
0.89/0.92 o 18547
0.89/0.92 c * 0.8s| 5015 | 4557 | 0 | 0.0 |9536k| 865 | - |1800 |2674 | 0 | 0 | 0 | 988 | 0 | 0.000000e+00 | 1.854700e+04 | Inf
0.89/0.94 o 18477
0.89/0.94 c * 0.8s| 5159 | 4692 | 0 | 0.0 |9675k| 865 | - |1800 |2694 | 0 | 0 | 0 |1008 | 0 | 0.000000e+00 | 1.847700e+04 | Inf
1.79/1.80 c 1.5s| 10000 | 9407 | 0 | 0.0 | 12M| 865 | - |1800 |3022 | 0 | 0 | 0 |1610 | 0 | 0.000000e+00 | 1.847700e+04 | Inf
3.49/3.51 c 3.0s| 20000 | 19256 | 0 | 0.0 | 16M| 866 | - |1800 |2307 | 0 | 0 | 0 |2066 | 0 | 0.000000e+00 | 1.847700e+04 | Inf
4.49/4.53 o 18192
4.49/4.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.49/4.53 c * 3.9s| 26117 | 25219 | 0 | 0.0 | 19M| 866 | - |1800 |2407 | 0 | 0 | 0 |2358 | 0 | 0.000000e+00 | 1.819200e+04 | Inf
4.49/4.59 o 18188
4.49/4.59 c * 3.9s| 26401 | 25481 | 0 | 0.0 | 19M| 869 | - |1800 |2428 | 0 | 0 | 0 |2398 | 0 | 0.000000e+00 | 1.818800e+04 | Inf
4.89/4.96 o 18156
4.89/4.96 c * 4.3s| 28526 | 27520 | 0 | 0.0 | 20M| 869 | - |1800 |2546 | 0 | 0 | 0 |2658 | 0 | 0.000000e+00 | 1.815600e+04 | Inf
4.99/5.10 o 18055
4.99/5.10 c * 4.4s| 29273 | 28208 | 0 | 0.0 | 20M| 869 | - |1800 |2482 | 0 | 0 | 0 |2698 | 0 | 0.000000e+00 | 1.805500e+04 | Inf
5.19/5.22 c 4.5s| 30000 | 28929 | 0 | 0.0 | 21M| 869 | - |1800 |2475 | 0 | 0 | 0 |2738 | 0 | 0.000000e+00 | 1.805500e+04 | Inf
5.69/5.72 o 17959
5.69/5.72 c * 4.9s| 33043 | 31896 | 0 | 0.0 | 22M| 869 | - |1800 |2393 | 0 | 0 | 0 |2828 | 0 | 0.000000e+00 | 1.795900e+04 | Inf
5.69/5.73 o 17772
5.69/5.73 c * 4.9s| 33044 | 31741 | 0 | 0.0 | 22M| 869 | - |1800 |2393 | 0 | 0 | 0 |2828 | 0 | 0.000000e+00 | 1.777200e+04 | Inf
5.69/5.74 o 17656
5.69/5.74 c * 5.0s| 33117 | 31719 | 0 | 0.0 | 22M| 869 | - |1800 |2391 | 0 | 0 | 0 |2828 | 0 | 0.000000e+00 | 1.765600e+04 | Inf
5.89/5.96 o 17461
5.89/5.96 c * 5.2s| 34354 | 32669 | 0 | 0.0 | 22M| 869 | - |1800 |2533 | 0 | 0 | 0 |3026 | 0 | 0.000000e+00 | 1.746100e+04 | Inf
6.79/6.90 c 6.0s| 40000 | 38224 | 0 | 0.0 | 25M| 869 | - |1800 |2651 | 0 | 0 | 0 |3453 | 0 | 0.000000e+00 | 1.746100e+04 | Inf
7.09/7.11 o 17194
7.09/7.11 c * 6.1s| 41165 | 38880 | 0 | 0.0 | 26M| 869 | - |1800 |2757 | 0 | 0 | 0 |3671 | 0 | 0.000000e+00 | 1.719400e+04 | Inf
7.19/7.27 o 16989
7.19/7.27 c * 6.3s| 42002 | 39264 | 0 | 0.0 | 26M| 869 | - |1800 |2866 | 0 | 0 | 0 |3878 | 0 | 0.000000e+00 | 1.698900e+04 | Inf
7.29/7.30 o 16886
7.29/7.30 c * 6.3s| 42174 | 39193 | 0 | 0.0 | 26M| 869 | - |1800 |2867 | 0 | 0 | 0 |3888 | 0 | 0.000000e+00 | 1.688600e+04 | Inf
7.29/7.30 o 16666
7.29/7.30 c * 6.3s| 42175 | 38737 | 0 | 0.0 | 26M| 869 | - |1800 |2867 | 0 | 0 | 0 |3888 | 0 | 0.000000e+00 | 1.666600e+04 | Inf
7.99/8.05 o 16653
7.99/8.05 c * 7.0s| 46043 | 42366 | 0 | 0.0 | 28M| 869 | - |1800 |3105 | 0 | 0 | 0 |4759 | 0 | 0.000000e+00 | 1.665300e+04 | Inf
7.99/8.05 o 16536
7.99/8.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.99/8.05 c * 7.0s| 46044 | 42077 | 0 | 0.0 | 27M| 869 | - |1800 |3105 | 0 | 0 | 0 |4759 | 0 | 0.000000e+00 | 1.653600e+04 | Inf
8.49/8.54 o 16453
8.49/8.54 c * 7.4s| 48765 | 44517 | 0 | 0.0 | 29M| 869 | - |1800 |3020 | 0 | 0 | 0 |5060 | 0 | 0.000000e+00 | 1.645300e+04 | Inf
8.59/8.60 o 16144
8.59/8.60 c * 7.4s| 49090 | 44023 | 0 | 0.0 | 28M| 869 | - |1800 |3062 | 0 | 0 | 0 |5150 | 0 | 0.000000e+00 | 1.614400e+04 | Inf
8.59/8.60 o 16027
8.59/8.60 c * 7.4s| 49091 | 43721 | 0 | 0.0 | 28M| 869 | - |1800 |3062 | 0 | 0 | 0 |5150 | 0 | 0.000000e+00 | 1.602700e+04 | Inf
8.69/8.77 c 7.6s| 50000 | 44599 | 0 | 0.0 | 29M| 869 | - |1800 |3049 | 0 | 0 | 0 |5273 | 0 | 0.000000e+00 | 1.602700e+04 | Inf
8.99/9.08 o 16011
8.99/9.08 c * 7.8s| 51720 | 46242 | 0 | 0.0 | 30M| 869 | - |1800 |2950 | 0 | 0 | 0 |5424 | 0 | 0.000000e+00 | 1.601100e+04 | Inf
9.80/9.87 o 15758
9.80/9.87 c * 8.5s| 55772 | 49367 | 0 | 0.0 | 31M| 869 | - |1800 |3291 | 0 | 0 | 0 |6422 | 0 | 0.000000e+00 | 1.575800e+04 | Inf
9.80/9.87 o 15641
9.80/9.87 c * 8.5s| 55773 | 49045 | 0 | 0.0 | 31M| 869 | - |1800 |3291 | 0 | 0 | 0 |6422 | 0 | 0.000000e+00 | 1.564100e+04 | Inf
10.49/10.56 o 15551
10.49/10.56 c * 9.1s| 59422 | 52277 | 0 | 0.0 | 33M| 869 | - |1800 |3396 | 0 | 0 | 0 |7073 | 0 | 0.000000e+00 | 1.555100e+04 | Inf
10.60/10.67 c 9.2s| 60000 | 52826 | 0 | 0.0 | 33M| 869 | - |1800 |3390 | 0 | 0 | 0 |7211 | 0 | 0.000000e+00 | 1.555100e+04 | Inf
11.00/11.08 o 15485
11.00/11.08 c * 9.6s| 62266 | 54826 | 0 | 0.0 | 34M| 869 | - |1800 |3263 | 0 | 0 | 0 |7434 | 0 | 0.000000e+00 | 1.548500e+04 | Inf
11.00/11.09 o 15361
11.00/11.09 c * 9.6s| 62336 | 54496 | 0 | 0.0 | 34M| 869 | - |1800 |3247 | 0 | 0 | 0 |7434 | 0 | 0.000000e+00 | 1.536100e+04 | Inf
11.09/11.11 o 15292
11.09/11.11 c * 9.6s| 62402 | 54317 | 0 | 0.0 | 34M| 869 | - |1800 |3250 | 0 | 0 | 0 |7454 | 0 | 0.000000e+00 | 1.529200e+04 | Inf
11.19/11.25 o 15013
11.19/11.25 c * 9.7s| 63143 | 53965 | 0 | 0.0 | 34M| 869 | - |1800 |3316 | 0 | 0 | 0 |7652 | 0 | 0.000000e+00 | 1.501300e+04 | Inf
11.40/11.42 o 14818
11.40/11.42 c * 9.9s| 64000 | 53931 | 0 | 0.0 | 34M| 869 | - |1800 |3402 | 0 | 0 | 0 |7893 | 0 | 0.000000e+00 | 1.481800e+04 | Inf
11.40/11.43 o 14528
11.40/11.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.40/11.43 c * 9.9s| 64001 | 52748 | 0 | 0.0 | 33M| 869 | - |1800 |3402 | 0 | 0 | 0 |7893 | 0 | 0.000000e+00 | 1.452800e+04 | Inf
11.79/11.81 o 14132
11.79/11.81 c *10.2s| 65867 | 52726 | 0 | 0.0 | 33M| 869 | - |1800 |3696 | 0 | 0 | 0 |8544 | 0 | 0.000000e+00 | 1.413200e+04 | Inf
12.59/12.67 c 11.0s| 70000 | 56564 | 0 | 0.0 | 36M| 869 | - |1800 |4042 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.413200e+04 | Inf
12.79/12.83 o 14076
12.79/12.83 c *11.1s| 70842 | 57141 | 0 | 0.0 | 36M| 869 | - |1800 |4002 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.407600e+04 | Inf
12.79/12.84 o 13878
12.79/12.84 c *11.1s| 70851 | 56290 | 0 | 0.0 | 36M| 869 | - |1800 |4002 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.387800e+04 | Inf
12.99/13.02 o 13786
12.99/13.02 c *11.3s| 71802 | 56783 | 0 | 0.0 | 36M| 869 | - |1800 |3876 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.378600e+04 | Inf
13.50/13.56 o 13462
13.50/13.56 c *11.8s| 74431 | 57684 | 0 | 0.0 | 37M| 869 | - |1800 |3987 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.346200e+04 | Inf
13.79/13.81 o 13445
13.79/13.81 c *12.0s| 75663 | 58775 | 0 | 0.0 | 37M| 869 | - |1800 |3978 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.344500e+04 | Inf
13.79/13.88 o 13361
13.79/13.88 c *12.0s| 76011 | 58722 | 0 | 0.0 | 37M| 869 | - |1800 |4005 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.336100e+04 | Inf
13.79/13.88 o 13201
13.79/13.88 c *12.0s| 76012 | 57867 | 0 | 0.0 | 37M| 869 | - |1800 |4005 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.320100e+04 | Inf
13.89/13.93 o 13169
13.89/13.93 c *12.1s| 76232 | 57887 | 0 | 0.0 | 37M| 869 | - |1800 |3971 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.316900e+04 | Inf
14.19/14.21 o 12952
14.19/14.21 c *12.3s| 77606 | 58002 | 0 | 0.0 | 37M| 869 | - |1800 |4070 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.295200e+04 | Inf
14.19/14.28 o 12918
14.19/14.28 c *12.4s| 77955 | 58133 | 0 | 0.0 | 37M| 869 | - |1800 |4131 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.291800e+04 | Inf
14.39/14.42 o 12793
14.39/14.42 c *12.5s| 78638 | 58027 | 0 | 0.0 | 37M| 869 | - |1800 |4199 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.279300e+04 | Inf
14.49/14.58 o 12733
14.49/14.58 c *12.6s| 79441 | 58415 | 0 | 0.0 | 38M| 869 | - |1800 |4316 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.273300e+04 | Inf
14.59/14.60 o 12629
14.59/14.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.59/14.60 c *12.7s| 79521 | 57901 | 0 | 0.0 | 38M| 869 | - |1800 |4332 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.262900e+04 | Inf
14.69/14.71 c 12.8s| 80000 | 58334 | 0 | 0.0 | 38M| 869 | - |1800 |4422 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.262900e+04 | Inf
15.89/15.90 o 12623
15.89/15.90 c *13.8s| 86020 | 64015 | 0 | 0.0 | 41M| 869 | - |1800 |4211 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.262300e+04 | Inf
15.89/15.91 o 12402
15.89/15.91 c *13.8s| 86021 | 62746 | 0 | 0.0 | 40M| 869 | - |1800 |4211 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.240200e+04 | Inf
15.89/15.93 o 12356
15.89/15.93 c *13.9s| 86142 | 62615 | 0 | 0.0 | 40M| 869 | - |1800 |4197 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.235600e+04 | Inf
15.89/15.94 o 12289
15.89/15.94 c *13.9s| 86143 | 62192 | 0 | 0.0 | 40M| 869 | - |1800 |4197 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.228900e+04 | Inf
16.09/16.10 o 12212
16.09/16.10 c *14.0s| 86882 | 62483 | 0 | 0.0 | 40M| 869 | - |1800 |4317 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.221200e+04 | Inf
16.09/16.10 o 12196
16.09/16.10 c *14.0s| 86903 | 62416 | 0 | 0.0 | 40M| 869 | - |1800 |4316 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.219600e+04 | Inf
16.09/16.11 o 12102
16.09/16.11 c *14.0s| 86904 | 61942 | 0 | 0.0 | 40M| 869 | - |1800 |4316 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.210200e+04 | Inf
16.09/16.14 o 12099
16.09/16.14 c *14.1s| 87038 | 62049 | 0 | 0.0 | 40M| 869 | - |1800 |4319 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.209900e+04 | Inf
16.29/16.34 o 12065
16.29/16.34 c *14.2s| 87970 | 62735 | 0 | 0.0 | 40M| 869 | - |1800 |4404 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.206500e+04 | Inf
16.59/16.65 o 11998
16.59/16.65 c *14.5s| 89584 | 63892 | 0 | 0.0 | 41M| 869 | - |1800 |4256 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.199800e+04 | Inf
16.59/16.65 o 11994
16.59/16.65 c *14.5s| 89585 | 63874 | 0 | 0.0 | 41M| 869 | - |1800 |4256 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.199400e+04 | Inf
16.69/16.75 c 14.6s| 90000 | 64251 | 0 | 0.0 | 41M| 869 | - |1800 |4288 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.199400e+04 | Inf
16.79/16.88 o 11783
16.79/16.88 c *14.7s| 90608 | 63626 | 0 | 0.0 | 41M| 869 | - |1800 |4437 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.178300e+04 | Inf
16.79/16.89 o 11623
16.79/16.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.79/16.89 c *14.7s| 90609 | 62666 | 0 | 0.0 | 41M| 869 | - |1800 |4437 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.162300e+04 | Inf
17.29/17.34 o 11572
17.29/17.34 c *15.1s| 92553 | 64067 | 0 | 0.0 | 42M| 870 | - |1800 |4594 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.157200e+04 | Inf
17.29/17.34 o 11505
17.29/17.34 c *15.1s| 92554 | 63666 | 0 | 0.0 | 42M| 870 | - |1800 |4594 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.150500e+04 | Inf
17.79/17.87 o 11444
17.79/17.87 c *15.6s| 94845 | 65356 | 0 | 0.0 | 43M| 870 | - |1800 |4870 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.144400e+04 | Inf
18.60/18.62 o 11438
18.60/18.62 c *16.2s| 98051 | 68161 | 0 | 0.0 | 45M| 870 | - |1800 |5322 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.143800e+04 | Inf
18.60/18.62 o 11342
18.60/18.62 c *16.2s| 98052 | 67496 | 0 | 0.0 | 45M| 870 | - |1800 |5322 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.134200e+04 | Inf
18.89/18.91 o 11285
18.89/18.91 c *16.5s| 99203 | 68131 | 0 | 0.0 | 45M| 870 | - |1800 |5199 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.128500e+04 | Inf
19.09/19.10 c 16.7s|100000 | 68825 | 0 | 0.0 | 45M| 870 | - |1800 |5140 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.128500e+04 | Inf
19.50/19.56 o 11184
19.50/19.56 c *17.1s|102010 | 70021 | 0 | 0.0 | 46M| 870 | - |1800 |5166 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.118400e+04 | Inf
19.70/19.79 o 11143
19.70/19.79 c *17.3s|103189 | 70889 | 0 | 0.0 | 47M| 870 | - |1800 |5017 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.114300e+04 | Inf
19.89/19.98 o 11028
19.89/19.98 c *17.4s|104031 | 70866 | 0 | 0.0 | 47M| 870 | - |1800 |5093 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.102800e+04 | Inf
20.09/20.13 o 10894
20.09/20.13 c *17.6s|104638 | 70435 | 0 | 0.0 | 47M| 872 | - |1800 |5185 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.089400e+04 | Inf
20.09/20.13 o 10700
20.09/20.13 c *17.6s|104639 | 69176 | 0 | 0.0 | 46M| 872 | - |1800 |5185 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.070000e+04 | Inf
20.09/20.18 o 10659
20.09/20.18 c *17.6s|104905 | 69161 | 0 | 0.0 | 46M| 872 | - |1800 |5162 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.065900e+04 | Inf
20.49/20.51 o 10630
20.49/20.51 c *17.9s|106366 | 70334 | 0 | 0.0 | 47M| 872 | - |1800 |5255 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.063000e+04 | Inf
20.49/20.51 o 10567
20.49/20.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.49/20.51 c *17.9s|106367 | 69932 | 0 | 0.0 | 46M| 872 | - |1800 |5255 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.056700e+04 | Inf
20.60/20.69 o 10520
20.60/20.69 c *18.1s|107205 | 70415 | 0 | 0.0 | 47M| 872 | - |1800 |5378 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.052000e+04 | Inf
20.80/20.82 o 10508
20.80/20.82 c *18.2s|107817 | 70893 | 0 | 0.0 | 47M| 872 | - |1800 |5416 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 1.050800e+04 | Large
21.29/21.31 c 18.6s|110000 | 72869 | 0 | 0.0 | 49M| 872 | - |1800 |5668 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 1.050800e+04 | Large
21.40/21.49 o 10457
21.40/21.49 c *18.8s|110750 | 73170 | 0 | 0.0 | 49M| 872 | - |1800 |5799 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 1.045700e+04 | Large
21.60/21.66 o 10455
21.60/21.66 c *18.9s|111422 | 73745 | 0 | 0.0 | 50M| 872 | - |1800 |5897 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 1.045500e+04 | Large
22.00/22.04 o 10380
22.00/22.04 c *19.2s|112882 | 74477 | 0 | 0.0 | 50M| 872 | - |1800 |6172 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 1.038000e+04 | Large
22.09/22.16 o 10324
22.09/22.16 c *19.4s|113341 | 74442 | 0 | 0.0 | 50M| 872 | - |1800 |6261 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 1.032400e+04 | Large
22.39/22.44 o 10259
22.39/22.44 c *19.6s|114406 | 74881 | 0 | 0.0 | 51M| 872 | - |1800 |6245 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 1.025900e+04 | Large
22.39/22.44 o 10192
22.39/22.44 c *19.6s|114407 | 74400 | 0 | 0.0 | 50M| 872 | - |1800 |6245 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 1.019200e+04 | Large
22.69/22.77 o 10176
22.69/22.77 c *19.9s|115677 | 75358 | 0 | 0.0 | 51M| 872 | - |1800 |6492 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 1.017600e+04 | Large
22.79/22.89 o 9949
22.79/22.89 c *20.0s|116090 | 73966 | 0 | 0.0 | 50M| 872 | - |1800 |6581 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 9.949000e+03 | Large
23.00/23.03 o 9642
23.00/23.03 c *20.1s|116658 | 72214 | 0 | 0.0 | 49M| 872 | - |1800 |6637 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 9.642000e+03 | Large
23.10/23.12 o 9430
23.10/23.12 c *20.2s|116996 | 71048 | 0 | 0.0 | 48M| 872 | - |1800 |6592 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 9.430000e+03 | Large
23.29/23.30 o 9271
23.29/23.30 c *20.4s|117661 | 70491 | 0 | 0.0 | 48M| 872 | - |1800 |6784 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 9.271000e+03 | Large
23.59/23.60 o 9216
23.59/23.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.59/23.60 c *20.7s|118825 | 71108 | 0 | 0.0 | 49M| 872 | - |1800 |6970 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 9.216000e+03 | Large
23.79/23.86 o 8927
23.79/23.86 c *20.9s|119754 | 69847 | 0 | 0.0 | 48M| 872 | - |1800 |7017 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 8.927000e+03 | Large
23.89/23.93 c 20.9s|120000 | 70046 | 0 | 0.0 | 48M| 872 | - |1800 |7091 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 8.927000e+03 | Large
24.00/24.06 o 8914
24.00/24.06 c *21.1s|120445 | 70320 | 0 | 0.0 | 48M| 872 | - |1800 |7229 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 8.914000e+03 | Large
25.20/25.20 o 8860
25.20/25.20 c *22.1s|124499 | 73346 | 0 | 0.0 | 51M| 872 | - |1800 |8216 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 8.860000e+03 | Large
25.20/25.20 o 8778
25.20/25.20 c *22.1s|124500 | 72782 | 0 | 0.0 | 51M| 872 | - |1800 |8216 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 8.778000e+03 | Large
26.69/26.71 c 23.4s|130000 | 77431 | 0 | 0.0 | 54M| 872 | - |1800 |7974 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 8.778000e+03 | Large
27.69/27.77 o 8492
27.69/27.77 c *24.4s|133997 | 78799 | 0 | 0.0 | 55M| 872 | - |1800 |6924 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 8.492000e+03 | Large
28.39/28.41 o 8444
28.39/28.41 c *25.0s|136420 | 80540 | 0 | 0.0 | 56M| 872 | - |1800 |6838 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 8.444000e+03 | Large
28.39/28.41 o 8354
28.39/28.41 c *25.0s|136421 | 79844 | 0 | 0.0 | 56M| 872 | - |1800 |6838 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 8.354000e+03 | Large
28.99/29.09 o 8325
28.99/29.09 c *25.6s|139009 | 81911 | 0 | 0.0 | 57M| 872 | - |1800 |6893 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 8.325000e+03 | Large
29.29/29.35 c 25.8s|140000 | 82773 | 0 | 0.0 | 58M| 872 | - |1800 |6922 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 8.325000e+03 | Large
31.90/31.95 c 28.2s|150000 | 91515 | 0 | 0.0 | 64M| 872 | - |1800 |7280 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 8.325000e+03 | Large
32.19/32.25 o 8324
32.19/32.25 c *28.4s|151074 | 92430 | 0 | 0.0 | 65M| 872 | - |1800 |7236 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 8.324000e+03 | Large
32.69/32.74 o 8311
32.69/32.74 c *28.9s|152973 | 93956 | 0 | 0.0 | 66M| 872 | - |1800 |7438 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 8.311000e+03 | Large
33.39/33.42 o 8253
33.39/33.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.39/33.42 c *29.5s|155559 | 95708 | 0 | 0.0 | 67M| 872 | - |1800 |7529 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 8.253000e+03 | Large
33.69/33.77 o 8249
33.69/33.77 c *29.8s|156858 | 96818 | 0 | 0.0 | 68M| 872 | - |1800 |7301 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 8.249000e+03 | Large
33.89/33.94 o 7943
33.89/33.94 c *30.0s|157439 | 94805 | 0 | 0.0 | 66M| 872 | - |1800 |7301 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 7.943000e+03 | Large
34.59/34.67 c 30.6s|160000 | 96964 | 0 | 0.0 | 68M| 872 | - |1800 |7643 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 7.943000e+03 | Large
35.29/35.36 o 7859
35.29/35.36 c *31.3s|162547 | 98406 | 0 | 0.0 | 69M| 872 | - |1800 |7334 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 7.859000e+03 | Large
36.69/36.77 o 7855
36.69/36.77 c *32.5s|167557 |102602 | 0 | 0.0 | 72M| 872 | - |1800 |7798 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 7.855000e+03 | Large
37.30/37.35 o 7850
37.30/37.35 c *33.0s|169665 |104361 | 0 | 0.0 | 73M| 872 | - |1800 |7982 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 7.850000e+03 | Large
37.39/37.44 c 33.1s|170000 |104649 | 0 | 0.0 | 74M| 872 | - |1800 |8107 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 7.850000e+03 | Large
38.30/38.36 o 7814
38.30/38.36 c *34.0s|173305 |107132 | 0 | 0.0 | 76M| 872 | - |1800 |8114 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 7.814000e+03 | Large
40.19/40.25 c 35.7s|180000 |112814 | 0 | 0.0 | 80M| 872 | - |1800 |8244 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 7.814000e+03 | Large
40.79/40.84 o 7629
40.79/40.84 c *36.2s|182017 |112631 | 0 | 0.0 | 79M| 872 | - |1800 |8674 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 7.629000e+03 | Large
40.79/40.85 o 7562
40.79/40.85 c *36.2s|182018 |111988 | 0 | 0.0 | 79M| 872 | - |1800 |8674 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 7.562000e+03 | Large
41.29/41.39 o 7559
41.29/41.39 c *36.7s|183828 |113451 | 0 | 0.0 | 80M| 872 | - |1800 |9207 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 7.559000e+03 | Large
41.29/41.39 o 7498
41.29/41.39 c *36.7s|183829 |112847 | 0 | 0.0 | 79M| 872 | - |1800 |9207 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 7.498000e+03 | Large
42.10/42.13 o 7460
42.10/42.13 c *37.4s|186294 |114451 | 0 | 0.0 | 81M| 872 | - |1800 |9320 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 7.460000e+03 | Large
42.10/42.13 o 7410
42.10/42.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.10/42.13 c *37.4s|186302 |113942 | 0 | 0.0 | 80M| 872 | - |1800 |9320 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 7.410000e+03 | Large
42.10/42.14 o 7343
42.10/42.14 c *37.4s|186303 |113112 | 0 | 0.0 | 79M| 872 | - |1800 |9320 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 7.343000e+03 | Large
42.90/42.96 o 7279
42.90/42.96 c *38.1s|188983 |114611 | 0 | 0.0 | 80M| 872 | - |1800 |9672 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 7.279000e+03 | Large
43.19/43.26 c 38.4s|190000 |115459 | 0 | 0.0 | 81M| 872 | - |1800 |9711 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 7.279000e+03 | Large
43.90/44.00 o 7245
43.90/44.00 c *39.1s|192407 |116993 | 0 | 0.0 | 82M| 872 | - |1800 |9901 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 7.245000e+03 | Large
44.29/44.33 o 7106
44.29/44.33 c *39.4s|193390 |116073 | 0 | 0.0 | 81M| 872 | - |1800 |9943 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 7.106000e+03 | Large
44.29/44.33 o 7019
44.29/44.33 c *39.4s|193391 |114926 | 0 | 0.0 | 79M| 872 | - |1800 |9943 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 7.019000e+03 | Large
44.59/44.61 o 7001
44.59/44.61 c *39.6s|194252 |115404 | 0 | 0.0 | 80M| 872 | - |1800 | 10k| 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 7.001000e+03 | Large
44.69/44.73 o 6965
44.69/44.73 c *39.7s|194623 |115296 | 0 | 0.0 | 80M| 872 | - |1800 | 10k| 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 6.965000e+03 | Large
45.00/45.08 o 6931
45.00/45.08 c *40.0s|195681 |115653 | 0 | 0.0 | 80M| 872 | - |1800 | 10k| 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 6.931000e+03 | Large
45.49/45.50 o 6927
45.49/45.50 c *40.4s|196945 |116579 | 0 | 0.0 | 81M| 872 | - |1800 | 10k| 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 6.927000e+03 | Large
45.49/45.50 o 6860
45.49/45.50 c *40.4s|196946 |115664 | 0 | 0.0 | 80M| 872 | - |1800 | 10k| 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 6.860000e+03 | Large
45.79/45.83 o 6851
45.79/45.83 c *40.7s|197839 |116245 | 0 | 0.0 | 80M| 872 | - |1800 | 10k| 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 6.851000e+03 | Large
45.79/45.83 o 6831
45.79/45.83 c *40.7s|197844 |115936 | 0 | 0.0 | 80M| 872 | - |1800 | 10k| 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 6.831000e+03 | Large
45.79/45.84 o 6824
45.79/45.84 c *40.7s|197850 |115852 | 0 | 0.0 | 80M| 872 | - |1800 | 10k| 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 6.824000e+03 | Large
45.79/45.84 o 6688
45.79/45.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.79/45.84 c *40.8s|197851 |113941 | 0 | 0.0 | 78M| 872 | - |1800 | 10k| 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 6.688000e+03 | Large
46.49/46.55 c 41.4s|200000 |115708 | 0 | 0.0 | 79M| 872 | - |1800 | 10k| 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 6.688000e+03 | Large
46.59/46.60 o 6602
46.59/46.60 c *41.4s|200128 |114567 | 0 | 0.0 | 78M| 872 | - |1800 | 10k| 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 6.602000e+03 | Large
46.89/46.95 o 6582
46.89/46.95 c *41.7s|201163 |115183 | 0 | 0.0 | 78M| 872 | - |1800 |9648 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 6.582000e+03 | Large
46.89/46.95 o 6557
46.89/46.95 c *41.7s|201164 |114885 | 0 | 0.0 | 78M| 872 | - |1800 |9648 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 6.557000e+03 | Large
46.89/46.98 o 6480
46.89/46.98 c *41.8s|201272 |113938 | 0 | 0.0 | 77M| 872 | - |1800 |9576 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 6.480000e+03 | Large
46.89/46.99 o 6459
46.89/46.99 c *41.8s|201274 |113662 | 0 | 0.0 | 77M| 872 | - |1800 |9576 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 6.459000e+03 | Large
47.00/47.06 o 6434
47.00/47.06 c *41.8s|201502 |113495 | 0 | 0.0 | 77M| 872 | - |1800 |9457 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 6.434000e+03 | Large
47.30/47.39 o 6421
47.30/47.39 c *42.1s|202592 |114246 | 0 | 0.0 | 77M| 872 | - |1800 |9321 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | 6.421000e+03 | Large
47.79/47.83 o 6313
47.79/47.83 c *42.5s|204051 |114016 | 0 | 0.0 | 77M| 872 | - |1800 |9160 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 6.313000e+03 | Large
49.49/49.58 c 44.1s|210000 |119115 | 0 | 0.0 | 81M| 872 | - |1800 |8528 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 6.313000e+03 | Large
52.59/52.66 c 47.0s|220000 |127380 | 0 | 0.0 | 88M| 872 | - |1800 |9672 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 6.313000e+03 | Large
53.09/53.12 o 6305
53.09/53.12 c *47.4s|221426 |128434 | 0 | 0.0 | 89M| 872 | - |1800 |9765 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 6.305000e+03 | Large
53.29/53.33 o 6174
53.29/53.33 c *47.5s|222136 |127189 | 0 | 0.0 | 88M| 872 | - |1800 |9899 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 6.174000e+03 | Large
53.29/53.33 o 6125
53.29/53.33 c *47.5s|222137 |126477 | 0 | 0.0 | 87M| 872 | - |1800 |9899 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 6.125000e+03 | Large
53.29/53.36 o 6097
53.29/53.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.29/53.36 c *47.6s|222240 |126214 | 0 | 0.0 | 87M| 872 | - |1800 |9891 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 6.097000e+03 | Large
54.09/54.19 o 6064
54.09/54.19 c *48.3s|224804 |127872 | 0 | 0.0 | 89M| 872 | - |1800 | 10k| 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 6.064000e+03 | Large
54.19/54.21 o 6019
54.19/54.21 c *48.3s|224849 |127227 | 0 | 0.0 | 88M| 872 | - |1800 | 10k| 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 6.019000e+03 | Large
54.19/54.21 o 5964
54.19/54.21 c *48.4s|224857 |126421 | 0 | 0.0 | 87M| 872 | - |1800 | 10k| 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 5.964000e+03 | Large
55.00/55.08 o 5954
55.00/55.08 c *49.1s|227531 |128428 | 0 | 0.0 | 89M| 872 | - |1800 | 10k| 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 5.954000e+03 | Large
55.89/55.93 c 49.9s|230000 |130386 | 0 | 0.0 | 91M| 872 | - |1800 | 10k| 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 5.954000e+03 | Large
57.30/57.32 o 5883
57.30/57.32 c *51.2s|234315 |132882 | 0 | 0.0 | 93M| 872 | - |1800 | 10k| 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 5.883000e+03 | Large
57.30/57.33 o 5792
57.30/57.33 c *51.2s|234316 |131453 | 0 | 0.0 | 92M| 872 | - |1800 | 10k| 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 5.792000e+03 | Large
59.09/59.14 o 5750
59.09/59.14 c *52.9s|239758 |135164 | 0 | 0.0 | 96M| 872 | - |1800 | 11k| 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 5.750000e+03 | Large
59.19/59.23 c 52.9s|240000 |135348 | 0 | 0.0 | 96M| 872 | - |1800 | 11k| 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 5.750000e+03 | Large
59.30/59.37 o 5726
59.30/59.37 c *53.1s|240410 |135277 | 0 | 0.0 | 96M| 872 | - |1800 | 11k| 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 5.726000e+03 | Large
59.49/59.50 o 5670
59.49/59.50 c *53.2s|240770 |134654 | 0 | 0.0 | 95M| 872 | - |1800 | 11k| 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 5.670000e+03 | Large
59.49/59.53 o 5601
59.49/59.53 c *53.2s|240840 |133613 | 0 | 0.0 | 95M| 872 | - |1800 | 11k| 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 5.601000e+03 | Large
59.60/59.68 o 5512
59.60/59.68 c *53.4s|241251 |132526 | 0 | 0.0 | 94M| 872 | - |1800 | 11k| 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 5.512000e+03 | Large
59.69/59.71 o 5508
59.69/59.71 c *53.4s|241333 |132530 | 0 | 0.0 | 94M| 872 | - |1800 | 11k| 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 5.508000e+03 | Large
60.39/60.44 o 5477
60.39/60.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.39/60.44 c *54.0s|243434 |133611 | 0 | 0.0 | 95M| 872 | - |1800 | 11k| 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 5.477000e+03 | Large
61.19/61.21 o 5441
61.19/61.21 c *54.8s|245660 |134836 | 0 | 0.0 | 96M| 872 | - |1800 | 11k| 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 5.441000e+03 | Large
62.70/62.78 c 56.2s|250000 |138159 | 0 | 0.0 | 99M| 872 | - |1800 | 12k| 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | 5.441000e+03 | Large
63.19/63.24 o 5171
63.19/63.24 c *56.6s|251353 |134456 | 0 | 0.0 | 95M| 872 | - |1800 | 12k| 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 5.171000e+03 | Large
65.59/65.64 o 5109
65.59/65.64 c *58.8s|257294 |137585 | 0 | 0.0 | 98M| 872 | - |1800 | 13k| 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | 5.109000e+03 | Large
65.59/65.68 o 5036
65.59/65.68 c *58.9s|257397 |136277 | 0 | 0.0 | 97M| 872 | - |1800 | 13k| 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | 5.036000e+03 | Large
66.69/66.71 c 59.8s|260000 |138181 | 0 | 0.0 | 99M| 872 | - |1800 | 13k| 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 5.036000e+03 | Large
68.20/68.25 o 4477
68.20/68.25 c *61.2s|263963 |129961 | 0 | 0.0 | 91M| 872 | - |1800 | 14k| 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 4.477000e+03 | Large
69.79/69.84 o 4424
69.79/69.84 c *62.7s|267548 |131438 | 0 | 0.0 | 92M| 872 | - |1800 | 13k| 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 4.424000e+03 | Large
70.30/70.39 o 4242
70.30/70.39 c *63.2s|269120 |129006 | 0 | 0.0 | 89M| 872 | - |1800 | 12k| 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 4.242000e+03 | Large
70.30/70.39 o 4175
70.30/70.39 c *63.2s|269121 |127582 | 0 | 0.0 | 88M| 872 | - |1800 | 12k| 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 4.175000e+03 | Large
70.69/70.74 c 63.5s|270000 |128290 | 0 | 0.0 | 88M| 872 | - |1800 | 11k| 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 4.175000e+03 | Large
70.90/70.98 o 4129
70.90/70.98 c *63.7s|270720 |127977 | 0 | 0.0 | 88M| 872 | - |1800 | 10k| 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 4.129000e+03 | Large
71.09/71.18 o 4128
71.09/71.18 c *63.9s|271199 |128328 | 0 | 0.0 | 88M| 872 | - |1800 | 10k| 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 4.128000e+03 | Large
71.40/71.46 o 3834
71.40/71.46 c *64.2s|271919 |122436 | 0 | 0.0 | 84M| 872 | - |1800 | 10k| 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 3.834000e+03 | Large
71.40/71.47 o 3767
71.40/71.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.40/71.47 c *64.2s|271920 |121012 | 0 | 0.0 | 83M| 872 | - |1800 | 10k| 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 3.767000e+03 | Large
71.50/71.54 o 3745
71.50/71.54 c *64.2s|272073 |120604 | 0 | 0.0 | 83M| 872 | - |1800 | 10k| 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | 3.745000e+03 | Large
71.50/71.54 o 3736
71.50/71.54 c *64.2s|272074 |120385 | 0 | 0.0 | 82M| 872 | - |1800 | 10k| 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | 3.736000e+03 | Large
71.69/71.70 o 3727
71.69/71.70 c *64.4s|272537 |120528 | 0 | 0.0 | 83M| 872 | - |1800 | 10k| 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | 3.727000e+03 | Large
71.99/72.02 o 3661
71.99/72.02 c *64.7s|273327 |119543 | 0 | 0.0 | 82M| 872 | - |1800 | 10k| 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 3.661000e+03 | Large
72.29/72.32 o 3608
72.29/72.32 c *65.0s|274089 |118943 | 0 | 0.0 | 82M| 872 | - |1800 | 10k| 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 3.608000e+03 | Large
72.29/72.32 o 3535
72.29/72.32 c *65.0s|274090 |117359 | 0 | 0.0 | 81M| 872 | - |1800 | 10k| 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 3.535000e+03 | Large
73.89/73.98 o 3383
73.89/73.98 c *66.5s|278362 |117053 | 0 | 0.0 | 82M| 872 | - |1800 | 10k| 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 3.383000e+03 | Large
74.19/74.21 o 3371
74.19/74.21 c *66.7s|278949 |117187 | 0 | 0.0 | 82M| 872 | - |1800 | 10k| 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 3.371000e+03 | Large
74.59/74.61 c 67.1s|280000 |118006 | 0 | 0.0 | 83M| 872 | - |1800 | 10k| 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 3.371000e+03 | Large
74.70/74.77 o 3304
74.70/74.77 c *67.2s|280352 |116651 | 0 | 0.0 | 83M| 872 | - |1800 | 10k| 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 3.304000e+03 | Large
74.80/74.87 o 3279
74.80/74.87 c *67.3s|280592 |116204 | 0 | 0.0 | 82M| 872 | - |1800 | 10k| 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 3.279000e+03 | Large
74.80/74.88 o 3270
74.80/74.88 c *67.3s|280593 |115953 | 0 | 0.0 | 82M| 872 | - |1800 | 10k| 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 3.270000e+03 | Large
76.50/76.55 o 3252
76.50/76.55 c *68.9s|285077 |119108 | 0 | 0.0 | 86M| 872 | - |1800 | 10k| 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 3.252000e+03 | Large
76.79/76.87 o 3247
76.79/76.87 c *69.2s|285908 |119589 | 0 | 0.0 | 87M| 872 | - |1800 | 10k| 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 3.247000e+03 | Large
76.90/76.93 o 3240
76.90/76.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.90/76.93 c *69.2s|286041 |119541 | 0 | 0.0 | 87M| 872 | - |1800 | 10k| 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 3.240000e+03 | Large
77.19/77.23 o 3134
77.19/77.23 c *69.5s|286720 |117402 | 0 | 0.0 | 86M| 872 | - |1800 | 10k| 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 3.134000e+03 | Large
77.69/77.73 o 3076
77.69/77.73 c *70.0s|287946 |116778 | 0 | 0.0 | 86M| 872 | - |1800 | 11k| 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 3.076000e+03 | Large
77.69/77.74 o 3003
77.69/77.74 c *70.0s|287954 |114861 | 0 | 0.0 | 85M| 872 | - |1800 | 11k| 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 3.003000e+03 | Large
77.69/77.77 o 2812
77.69/77.77 c *70.0s|287991 |109859 | 0 | 0.0 | 81M| 872 | - |1800 | 11k| 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 2.812000e+03 | Large
77.69/77.77 o 2758
77.69/77.77 c *70.0s|287993 |108295 | 0 | 0.0 | 80M| 872 | - |1800 | 11k| 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 2.758000e+03 | Large
77.79/77.88 o 2752
77.79/77.88 c *70.1s|288255 |108326 | 0 | 0.0 | 80M| 872 | - |1800 | 11k| 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 2.752000e+03 | Large
77.79/77.88 o 2685
77.79/77.88 c *70.1s|288256 |106420 | 0 | 0.0 | 78M| 872 | - |1800 | 11k| 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 2.685000e+03 | Large
78.49/78.54 o 2653
78.49/78.54 c *70.7s|289619 |106561 | 0 | 0.0 | 79M| 872 | - |1800 | 10k| 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 2.653000e+03 | Large
78.49/78.54 o 2650
78.49/78.54 c *70.7s|289620 |106473 | 0 | 0.0 | 79M| 872 | - |1800 | 10k| 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 2.650000e+03 | Large
78.69/78.71 c 70.9s|290000 |106752 | 0 | 0.0 | 79M| 872 | - |1800 | 10k| 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 2.650000e+03 | Large
78.89/78.99 o 2621
78.89/78.99 c *71.1s|290686 |106393 | 0 | 0.0 | 79M| 872 | - |1800 | 10k| 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 2.621000e+03 | Large
79.49/79.51 o 2603
79.49/79.51 c *71.6s|291902 |106791 | 0 | 0.0 | 80M| 872 | - |1800 | 11k| 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | 2.603000e+03 | Large
80.00/80.05 o 2566
80.00/80.05 c *72.1s|293172 |106553 | 0 | 0.0 | 81M| 872 | - |1800 | 11k| 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 2.566000e+03 | Large
80.39/80.45 o 2555
80.39/80.45 c *72.5s|294070 |106879 | 0 | 0.0 | 81M| 872 | - |1800 | 11k| 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 2.555000e+03 | Large
80.39/80.45 o 2495
80.39/80.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.39/80.45 c *72.5s|294072 |104986 | 0 | 0.0 | 80M| 872 | - |1800 | 11k| 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 2.495000e+03 | Large
80.99/81.00 o 2494
80.99/81.00 c *73.0s|295179 |105708 | 0 | 0.0 | 81M| 872 | - |1800 | 11k| 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 2.494000e+03 | Large
80.99/81.00 o 2479
80.99/81.00 c *73.0s|295182 |105305 | 0 | 0.0 | 81M| 872 | - |1800 | 11k| 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 2.479000e+03 | Large
80.99/81.01 o 2419
80.99/81.01 c *73.0s|295190 |103417 | 0 | 0.0 | 79M| 872 | - |1800 | 11k| 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 2.419000e+03 | Large
80.99/81.01 o 2416
80.99/81.01 c *73.0s|295191 |103348 | 0 | 0.0 | 79M| 872 | - |1800 | 11k| 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 2.416000e+03 | Large
81.60/81.62 o 2369
81.60/81.62 c *73.6s|296523 |102791 | 0 | 0.0 | 79M| 872 | - |1800 | 11k| 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 2.369000e+03 | Large
81.79/81.84 o 2327
81.79/81.84 c *73.8s|297028 |101738 | 0 | 0.0 | 79M| 872 | - |1800 | 10k| 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 2.327000e+03 | Large
81.99/82.09 o 2320
81.99/82.09 c *74.0s|297618 |101990 | 0 | 0.0 | 79M| 872 | - |1800 | 11k| 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 2.320000e+03 | Large
82.09/82.18 o 2274
82.09/82.18 c *74.1s|297802 |100671 | 0 | 0.0 | 78M| 872 | - |1800 | 11k| 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 2.274000e+03 | Large
82.09/82.18 o 2207
82.09/82.18 c *74.1s|297803 | 98290 | 0 | 0.0 | 76M| 872 | - |1800 | 11k| 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 2.207000e+03 | Large
82.69/82.74 o 2171
82.69/82.74 c *74.6s|298939 | 97753 | 0 | 0.0 | 77M| 872 | - |1800 | 11k| 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 2.171000e+03 | Large
82.69/82.75 o 2141
82.69/82.75 c *74.6s|298940 | 96721 | 0 | 0.0 | 76M| 872 | - |1800 | 11k| 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 2.141000e+03 | Large
83.19/83.28 c 75.1s|300000 | 97401 | 0 | 0.0 | 77M| 872 | - |1800 | 11k| 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 2.141000e+03 | Large
83.50/83.53 o 2120
83.50/83.53 c *75.3s|300371 | 96907 | 0 | 0.0 | 77M| 872 | - |1800 | 11k| 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 2.120000e+03 | Large
83.59/83.69 o 1985
83.59/83.69 c *75.5s|300640 | 92382 | 0 | 0.0 | 74M| 872 | - |1800 | 11k| 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 1.985000e+03 | Large
84.10/84.10 o 1983
84.10/84.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.10/84.10 c *75.9s|301357 | 92756 | 0 | 0.0 | 75M| 872 | - |1800 | 11k| 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 1.983000e+03 | Large
84.10/84.10 o 1977
84.10/84.10 c *75.9s|301358 | 92578 | 0 | 0.0 | 74M| 872 | - |1800 | 11k| 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 1.977000e+03 | Large
84.30/84.34 o 1916
84.30/84.34 c *76.1s|301819 | 90725 | 0 | 0.0 | 73M| 872 | - |1800 | 11k| 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 1.916000e+03 | Large
84.50/84.59 o 1905
84.50/84.59 c *76.3s|302276 | 90701 | 0 | 0.0 | 73M| 872 | - |1800 | 11k| 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | 1.905000e+03 | Large
85.29/85.36 o 1869
85.29/85.36 c *77.0s|303709 | 90255 | 0 | 0.0 | 74M| 872 | - |1800 | 11k| 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 1.869000e+03 | Large
85.59/85.62 o 1849
85.59/85.62 c *77.3s|304210 | 89923 | 0 | 0.0 | 74M| 872 | - |1800 | 11k| 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 1.849000e+03 | Large
85.59/85.62 o 1838
85.59/85.62 c *77.3s|304213 | 89431 | 0 | 0.0 | 74M| 872 | - |1800 | 11k| 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 1.838000e+03 | Large
86.89/86.95 o 1837
86.89/86.95 c *78.5s|306544 | 90866 | 0 | 0.0 | 78M| 872 | - |1800 | 11k| 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | 1.837000e+03 | Large
87.19/87.21 o 1822
87.19/87.21 c *78.8s|307024 | 90609 | 0 | 0.0 | 79M| 872 | - |1800 | 11k| 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 1.822000e+03 | Large
87.49/87.58 o 1726
87.49/87.58 c *79.1s|307707 | 87329 | 0 | 0.0 | 77M| 872 | - |1800 | 11k| 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 1.726000e+03 | Large
87.49/87.59 o 1659
87.49/87.59 c *79.1s|307708 | 84466 | 0 | 0.0 | 74M| 872 | - |1800 | 11k| 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 1.659000e+03 | Large
87.59/87.62 o 1634
87.59/87.62 c *79.2s|307748 | 83491 | 0 | 0.0 | 73M| 872 | - |1800 | 11k| 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 1.634000e+03 | Large
88.89/88.90 c 80.4s|310000 | 84916 | 0 | 0.0 | 76M| 872 | - |1800 | 11k| 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | 1.634000e+03 | Large
88.89/88.92 o 1600
88.89/88.92 c *80.4s|310029 | 83693 | 0 | 0.0 | 76M| 872 | - |1800 | 11k| 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | 1.600000e+03 | Large
90.40/90.47 o 1579
90.40/90.47 c *81.8s|312437 | 84369 | 0 | 0.0 | 80M| 872 | - |1800 | 11k| 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 1.579000e+03 | Large
90.40/90.49 o 1578
90.40/90.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.40/90.49 c *81.9s|312456 | 84309 | 0 | 0.0 | 80M| 872 | - |1800 | 11k| 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 1.578000e+03 | Large
90.49/90.56 o 1571
90.49/90.56 c *81.9s|312587 | 84195 | 0 | 0.0 | 80M| 872 | - |1800 | 11k| 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 1.571000e+03 | Large
91.20/91.22 o 1488
91.20/91.22 c *82.5s|313508 | 81198 | 0 | 0.0 | 78M| 872 | - |1800 | 11k| 0 | 0 | 0 | 216k| 0 | 1.000000e+00 | 1.488000e+03 | Large
91.30/91.33 o 1448
91.30/91.33 c *82.7s|313659 | 78782 | 0 | 0.0 | 76M| 872 | - |1800 | 11k| 0 | 0 | 0 | 216k| 0 | 1.000000e+00 | 1.448000e+03 | Large
93.00/93.09 o 1395
93.00/93.09 c *84.3s|316033 | 77189 | 0 | 0.0 | 78M| 872 | - |1800 | 11k| 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 1.395000e+03 | Large
93.10/93.10 o 1287
93.10/93.10 c *84.3s|316034 | 72429 | 0 | 0.0 | 73M| 872 | - |1800 | 11k| 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 1.287000e+03 | Large
94.00/94.04 o 1219
94.00/94.04 c *85.2s|317419 | 69804 | 0 | 0.0 | 72M| 872 | - |1800 | 11k| 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | 1.219000e+03 | Large
94.00/94.04 o 1205
94.00/94.04 c *85.2s|317420 | 69420 | 0 | 0.0 | 72M| 872 | - |1800 | 11k| 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | 1.205000e+03 | Large
94.49/94.51 o 1161
94.49/94.51 c *85.7s|318004 | 68111 | 0 | 0.0 | 71M| 872 | - |1800 | 11k| 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 1.161000e+03 | Large
94.60/94.61 o 1102
94.60/94.61 c *85.8s|318126 | 65836 | 0 | 0.0 | 69M| 872 | - |1800 | 11k| 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 1.102000e+03 | Large
95.40/95.41 o 1064
95.40/95.41 c *86.5s|319058 | 64847 | 0 | 0.0 | 69M| 872 | - |1800 | 11k| 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 1.064000e+03 | Large
95.40/95.48 o 1047
95.40/95.48 c *86.6s|319165 | 63884 | 0 | 0.0 | 68M| 872 | - |1800 | 11k| 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 1.047000e+03 | Large
95.40/95.49 o 980
95.40/95.49 c *86.6s|319166 | 60463 | 0 | 0.0 | 64M| 872 | - |1800 | 11k| 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 9.800000e+02 | Large
95.80/95.88 o 958
95.80/95.88 c *87.0s|319543 | 59624 | 0 | 0.0 | 65M| 872 | - |1800 | 11k| 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 9.580000e+02 | Large
96.29/96.38 c 87.4s|320000 | 59766 | 0 | 0.0 | 66M| 872 | - |1800 | 11k| 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | 9.580000e+02 | Large
96.70/96.72 o 909
96.70/96.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.70/96.72 c *87.8s|320316 | 54880 | 0 | 0.0 | 62M| 872 | - |1800 | 11k| 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | 9.090000e+02 | Large
98.29/98.34 o 883
98.29/98.34 c *89.3s|321884 | 54832 | 0 | 0.0 | 67M| 872 | - |1800 | 10k| 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | 8.830000e+02 | Large
99.30/99.37 o 806
99.30/99.37 c *90.3s|322951 | 52506 | 0 | 0.0 | 68M| 872 | - |1800 | 11k| 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | 8.060000e+02 | Large
99.79/99.83 o 804
99.79/99.83 c *90.7s|323370 | 52523 | 0 | 0.0 | 70M| 872 | - |1800 | 11k| 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | 8.040000e+02 | Large
100.49/100.59 o 797
100.49/100.59 c *91.5s|323975 | 52570 | 0 | 0.0 | 72M| 872 | - |1800 | 11k| 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 7.970000e+02 | Large
101.50/101.59 o 784
101.50/101.59 c *92.4s|324918 | 52452 | 0 | 0.0 | 75M| 872 | - |1800 | 11k| 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | 7.840000e+02 | Large
101.59/101.61 o 717
101.59/101.61 c *92.4s|324919 | 45127 | 0 | 0.0 | 68M| 872 | - |1800 | 11k| 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | 7.170000e+02 | Large
102.60/102.63 o 700
102.60/102.63 c *93.4s|325614 | 44380 | 0 | 0.0 | 69M| 872 | - |1800 |8217 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 7.000000e+02 | Large
102.60/102.65 o 553
102.60/102.65 c *93.4s|325615 | 38035 | 0 | 0.0 | 63M| 872 | - |1800 |8217 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 5.530000e+02 | Large
103.09/103.15 o 552
103.09/103.15 c *93.9s|325747 | 37683 | 0 | 0.0 | 66M| 872 | - |1800 |7762 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 5.520000e+02 | Large
103.09/103.16 o 503
103.09/103.16 c *93.9s|325755 | 33471 | 0 | 0.0 | 61M| 872 | - |1800 |7762 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 5.030000e+02 | Large
103.09/103.17 o 436
103.09/103.17 c *93.9s|325756 | 28787 | 0 | 0.0 | 57M| 872 | - |1800 |7762 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 4.360000e+02 | Large
103.29/103.34 o 397
103.29/103.34 c *94.1s|325852 | 27731 | 0 | 0.0 | 57M| 872 | - |1800 |7997 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 3.970000e+02 | Large
103.29/103.40 o 395
103.29/103.40 c *94.1s|325936 | 27559 | 0 | 0.0 | 57M| 872 | - |1800 |7994 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 3.950000e+02 | Large
103.40/103.44 o 368
103.40/103.44 c *94.2s|325991 | 25976 | 0 | 0.0 | 55M| 872 | - |1800 |8034 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 3.680000e+02 | Large
103.60/103.64 o 348
103.60/103.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.60/103.64 c *94.3s|326240 | 24872 | 0 | 0.0 | 54M| 872 | - |1800 |8097 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 3.480000e+02 | Large
103.60/103.69 o 331
103.60/103.69 c *94.4s|326300 | 24841 | 0 | 0.0 | 54M| 872 | - |1800 |8146 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 3.310000e+02 | Large
103.60/103.69 o 295
103.60/103.69 c *94.4s|326301 | 24301 | 0 | 0.0 | 53M| 872 | - |1800 |8146 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 2.950000e+02 | Large
103.70/103.75 o 218
103.70/103.75 c *94.5s|326353 | 21783 | 0 | 0.0 | 50M| 872 | - |1800 |8126 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 2.180000e+02 | Large
103.79/103.88 o 207
103.79/103.88 c *94.6s|326440 | 18508 | 0 | 0.0 | 43M| 872 | - |1800 |8099 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 2.070000e+02 | Large
103.79/103.88 o 201
103.79/103.88 c *94.6s|326441 | 18458 | 0 | 0.0 | 43M| 872 | - |1800 |8099 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 2.010000e+02 | Large
103.89/103.94 o 192
103.89/103.94 c *94.6s|326470 | 17911 | 0 | 0.0 | 43M| 872 | - |1800 |8056 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 1.920000e+02 | Large
103.89/103.94 o 191
103.89/103.94 c *94.6s|326474 | 17913 | 0 | 0.0 | 43M| 872 | - |1800 |8056 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 1.910000e+02 | Large
103.89/103.94 o 156
103.89/103.94 c *94.6s|326475 | 17579 | 0 | 0.0 | 42M| 872 | - |1800 |8056 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 1.560000e+02 | Large
104.10/104.15 o 134
104.10/104.15 c *94.8s|326584 | 17000 | 0 | 0.0 | 42M| 872 | - |1800 |7985 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 1.340000e+02 | Large
104.10/104.15 o 104
104.10/104.15 c *94.8s|326585 | 16969 | 0 | 0.0 | 42M| 872 | - |1800 |7985 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 1.040000e+02 | Large
104.10/104.15 o 82
104.10/104.15 c *94.8s|326594 | 16812 | 0 | 0.0 | 41M| 872 | - |1800 |7981 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
104.29/104.33 o 65
104.29/104.33 c *95.0s|326632 | 16413 | 0 | 0.0 | 42M| 872 | - |1800 |7780 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
104.59/104.60 o 51
104.59/104.60 c *95.3s|326716 | 15138 | 0 | 0.0 | 42M| 872 | - |1800 |7589 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 5.100000e+01 |5000.00%
104.59/104.60 o 42
104.59/104.60 c *95.3s|326717 | 15131 | 0 | 0.0 | 42M| 872 | - |1800 |7589 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
104.59/104.63 o 37
104.59/104.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.59/104.63 c *95.3s|326723 | 14271 | 0 | 0.0 | 42M| 872 | - |1800 |7585 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 3.700000e+01 |3600.00%
104.70/104.79 o 6
104.70/104.79 c *95.4s|326826 | 8809 | 0 | 0.0 | 36M| 872 | - |1800 |7540 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
105.99/106.04 c
105.99/106.04 c SCIP Status : problem is solved [optimal solution found]
105.99/106.04 c Solving Time (sec) : 96.62
105.99/106.04 c Solving Nodes : 327414
105.99/106.04 c Primal Bound : +6.00000000000000e+00 (270 solutions)
105.99/106.04 c Dual Bound : +6.00000000000000e+00
105.99/106.04 c Gap : 0.00 %
105.99/106.04 s OPTIMUM FOUND
105.99/106.04 v -x200 x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 -x190 x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 -x178
105.99/106.04 v x177 x176 -x175 x174 -x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 x164 -x163 -x162 x161 x160 -x159 -x158 x157 x156 -x155
105.99/106.04 v -x154 x153 -x152 x151 x150 -x149 -x148 x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 -x138 x137 x136 -x135 x134 -x133 -x132
105.99/106.04 v x131 x130 -x129 -x128 x127 -x126 x125 -x124 x123 x122 -x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 x112 -x111 x110 -x109
105.99/106.04 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
105.99/106.04 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
105.99/106.04 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
105.99/106.04 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
105.99/106.04 c SCIP Status : problem is solved [optimal solution found]
105.99/106.04 c Solving Time : 96.62
105.99/106.04 c Original Problem :
105.99/106.04 c Problem name : HOME/instance-2700310-1278534701.wbo
105.99/106.04 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
105.99/106.04 c Constraints : 1801 initial, 1801 maximal
105.99/106.04 c Presolved Problem :
105.99/106.04 c Problem name : t_HOME/instance-2700310-1278534701.wbo
105.99/106.04 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
105.99/106.04 c Constraints : 1700 initial, 14628 maximal
105.99/106.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
105.99/106.04 c trivial : 0.00 0 0 0 0 0 0 0 0
105.99/106.04 c dualfix : 0.00 0 0 0 0 0 0 0 0
105.99/106.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
105.99/106.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
105.99/106.04 c implics : 0.00 0 0 0 0 0 0 0 0
105.99/106.04 c probing : 0.02 0 0 0 0 0 0 0 0
105.99/106.04 c indicator : 0.00 0 0 0 0 0 0 0 0
105.99/106.04 c linear : 0.01 0 100 0 850 0 101 0 0
105.99/106.04 c logicor : 0.00 0 0 0 0 0 0 0 0
105.99/106.04 c root node : - 185 - - 370 - - - -
105.99/106.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
105.99/106.04 c integral : 0 0 0 0 0 0 0 0 0 0
105.99/106.04 c indicator : 850 0 705405 0 304796 506 4594777 0 0 0
105.99/106.04 c linear : 850 0 709122 0 305281 6208 620431 0 0 0
105.99/106.04 c logicor : 0+ 0 443769 0 0 1736 309555 0 0 0
105.99/106.04 c countsols : 0 0 0 0 305442 0 0 0 0 0
105.99/106.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
105.99/106.04 c integral : 0.00 0.00 0.00 0.00 0.00
105.99/106.04 c indicator : 17.02 0.00 7.66 0.00 9.36
105.99/106.04 c linear : 11.30 0.00 11.26 0.00 0.04
105.99/106.04 c logicor : 12.64 0.00 12.64 0.00 0.00
105.99/106.04 c countsols : 0.00 0.00 0.00 0.00 0.00
105.99/106.04 c Propagators : Time Calls Cutoffs DomReds
105.99/106.04 c vbounds : 0.00 2 0 0
105.99/106.04 c rootredcost : 0.00 0 0 0
105.99/106.04 c pseudoobj : 16.50 732842 22940 4484917
105.99/106.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
105.99/106.04 c propagation : 2.78 30884 30844 251256 38.3 95238 4.0 -
105.99/106.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
105.99/106.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
105.99/106.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
105.99/106.04 c pseudo solution : 0.09 233 233 2559 44.2 1217 4.3 -
105.99/106.04 c applied globally : - - - 241407 20.9 - - -
105.99/106.04 c applied locally : - - - 34 120.6 - - -
105.99/106.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
105.99/106.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
105.99/106.04 c redcost : 0.00 0 0 0 0 0
105.99/106.04 c impliedbounds : 0.00 0 0 0 0 0
105.99/106.04 c intobj : 0.00 0 0 0 0 0
105.99/106.04 c cgmip : 0.00 0 0 0 0 0
105.99/106.04 c gomory : 0.00 0 0 0 0 0
105.99/106.04 c strongcg : 0.00 0 0 0 0 0
105.99/106.04 c cmir : 0.00 0 0 0 0 0
105.99/106.04 c flowcover : 0.00 0 0 0 0 0
105.99/106.04 c clique : 0.00 0 0 0 0 0
105.99/106.04 c zerohalf : 0.00 0 0 0 0 0
105.99/106.04 c mcf : 0.00 0 0 0 0 0
105.99/106.04 c rapidlearning : 0.00 0 0 0 0 0
105.99/106.04 c Pricers : Time Calls Vars
105.99/106.04 c problem variables: 0.00 0 0
105.99/106.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
105.99/106.04 c relpscost : 0.00 0 0 0 0 0 0
105.99/106.04 c pscost : 0.00 0 0 0 0 0 0
105.99/106.04 c inference : 16.61 305174 0 0 0 0 610348
105.99/106.04 c mostinf : 0.00 0 0 0 0 0 0
105.99/106.04 c leastinf : 0.00 0 0 0 0 0 0
105.99/106.04 c fullstrong : 0.00 0 0 0 0 0 0
105.99/106.04 c allfullstrong : 0.00 0 0 0 0 0 0
105.99/106.04 c random : 0.00 0 0 0 0 0 0
105.99/106.04 c Primal Heuristics : Time Calls Found
105.99/106.04 c LP solutions : 0.00 - 0
105.99/106.04 c pseudo solutions : 0.65 - 268
105.99/106.04 c oneopt : 0.00 0 0
105.99/106.04 c trivial : 0.01 2 1
105.99/106.04 c simplerounding : 0.00 0 0
105.99/106.04 c zirounding : 0.00 0 0
105.99/106.04 c rounding : 0.00 0 0
105.99/106.04 c shifting : 0.00 0 0
105.99/106.04 c intshifting : 0.00 0 0
105.99/106.04 c twoopt : 0.00 0 0
105.99/106.04 c fixandinfer : 0.00 0 0
105.99/106.04 c feaspump : 0.00 0 0
105.99/106.04 c coefdiving : 0.00 0 0
105.99/106.04 c pscostdiving : 0.00 0 0
105.99/106.04 c fracdiving : 0.00 0 0
105.99/106.04 c veclendiving : 0.00 0 0
105.99/106.04 c intdiving : 0.00 0 0
105.99/106.04 c actconsdiving : 0.00 0 0
105.99/106.04 c objpscostdiving : 0.00 0 0
105.99/106.04 c rootsoldiving : 0.00 0 0
105.99/106.04 c linesearchdiving : 0.00 0 0
105.99/106.04 c guideddiving : 0.00 0 0
105.99/106.04 c octane : 0.00 0 0
105.99/106.04 c rens : 0.00 0 0
105.99/106.04 c rins : 0.00 0 0
105.99/106.04 c localbranching : 0.00 0 0
105.99/106.04 c mutation : 0.00 0 0
105.99/106.04 c crossover : 0.00 0 0
105.99/106.04 c dins : 0.00 0 0
105.99/106.04 c undercover : 0.00 0 0
105.99/106.04 c nlp : 0.00 0 0
105.99/106.04 c trysol : 0.00 1 1
105.99/106.04 c LP : Time Calls Iterations Iter/call Iter/sec
105.99/106.04 c primal LP : 0.00 0 0 0.00 -
105.99/106.04 c dual LP : 0.00 0 0 0.00 -
105.99/106.04 c lex dual LP : 0.00 0 0 0.00 -
105.99/106.04 c barrier LP : 0.00 0 0 0.00 -
105.99/106.04 c diving/probing LP: 0.00 0 0 0.00 -
105.99/106.04 c strong branching : 0.00 0 0 0.00 -
105.99/106.04 c (at root node) : - 0 0 0.00 -
105.99/106.04 c conflict analysis: 0.00 0 0 0.00 -
105.99/106.04 c B&B Tree :
105.99/106.04 c number of runs : 1
105.99/106.04 c nodes : 327414
105.99/106.04 c nodes (total) : 327414
105.99/106.04 c nodes left : 0
105.99/106.04 c max depth : 872
105.99/106.04 c max depth (total): 872
105.99/106.04 c backtracks : 11871 (3.6%)
105.99/106.04 c delayed cutoffs : 26035
105.99/106.04 c repropagations : 48744 (2653015 domain reductions, 9651 cutoffs)
105.99/106.04 c avg switch length: 3.67
105.99/106.04 c switching time : 16.32
105.99/106.04 c Solution :
105.99/106.04 c Solutions found : 270 (269 improvements)
105.99/106.04 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
105.99/106.04 c Primal Bound : +6.00000000000000e+00 (in run 1, after 326826 nodes, 95.43 seconds, depth 714, found by <relaxation>)
105.99/106.04 c Dual Bound : +6.00000000000000e+00
105.99/106.04 c Gap : 0.00 %
105.99/106.04 c Root Dual Bound : +0.00000000000000e+00
105.99/106.04 c Root Iterations : 0
105.99/106.06 c Time complete: 106.06.
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700310-1278534701/watcher-2700310-1278534701 -o /tmp/evaluation-result-2700310-1278534701/solver-2700310-1278534701 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700310-1278534701.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: 2.40 3.34 2.12 3/177 15847 /proc/meminfo: memFree=29712772/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=8136 CPUtime=0 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 1522 0 0 0 0 0 0 0 20 0 1 0 21617312 8331264 1446 4089446400 4194304 7136930 140733670420224 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15847/statm: 2034 1463 275 719 0 1313 0 [startup+0.043055 s] /proc/loadavg: 2.40 3.34 2.12 3/177 15847 /proc/meminfo: memFree=29712772/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=18972 CPUtime=0.03 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 5182 0 0 0 3 0 0 0 21 0 1 0 21617312 19427328 3980 4089446400 4194304 7136930 140733670420224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15847/statm: 4743 3980 353 719 0 4022 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 18972 [startup+0.101042 s] /proc/loadavg: 2.40 3.34 2.12 3/177 15847 /proc/meminfo: memFree=29712772/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=20560 CPUtime=0.09 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 5600 0 0 0 9 0 0 0 21 0 1 0 21617312 21053440 4398 4089446400 4194304 7136930 140733670420224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15847/statm: 5140 4398 387 719 0 4419 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20560 [startup+0.301006 s] /proc/loadavg: 2.40 3.34 2.12 3/177 15847 /proc/meminfo: memFree=29712772/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=21536 CPUtime=0.29 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 5858 0 0 0 25 4 0 0 21 0 1 0 21617312 22052864 4656 4089446400 4194304 7136930 140733670420224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15847/statm: 5384 4656 393 719 0 4663 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21536 [startup+0.70093 s] /proc/loadavg: 2.40 3.34 2.12 3/177 15847 /proc/meminfo: memFree=29712772/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=24036 CPUtime=0.69 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 6462 0 0 0 59 10 0 0 22 0 1 0 21617312 24612864 5260 4089446400 4194304 7136930 140733670420224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15847/statm: 6009 5260 394 719 0 5288 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24036 [startup+1.50078 s] /proc/loadavg: 2.37 3.32 2.12 3/178 15848 /proc/meminfo: memFree=29690236/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=27428 CPUtime=1.49 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 7336 0 0 0 127 22 0 0 25 0 1 0 21617312 28086272 6134 4089446400 4194304 7136930 140733670420224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15847/statm: 6857 6134 394 719 0 6136 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27428 [startup+3.10047 s] /proc/loadavg: 2.37 3.32 2.12 3/178 15848 /proc/meminfo: memFree=29684656/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=33428 CPUtime=3.09 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 8877 0 0 0 264 45 0 0 25 0 1 0 21617312 34230272 7675 4089446400 4194304 7136930 140733670420224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15847/statm: 8357 7675 394 719 0 7636 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33428 [startup+6.30086 s] /proc/loadavg: 2.37 3.32 2.12 3/178 15848 /proc/meminfo: memFree=29670332/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=41896 CPUtime=6.29 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 11030 0 0 0 546 83 0 0 25 0 1 0 21617312 42901504 9828 4089446400 4194304 7136930 140733670420224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15847/statm: 10474 9828 394 719 0 9753 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41896 [startup+12.7006 s] /proc/loadavg: 2.31 3.28 2.12 3/178 15849 /proc/meminfo: memFree=29643416/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=60136 CPUtime=12.69 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 15596 0 0 0 1101 168 0 0 25 0 1 0 21617312 61579264 14394 4089446400 4194304 7136930 140733670420224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15847/statm: 15034 14394 394 719 0 14313 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60136 [startup+25.5012 s] /proc/loadavg: 2.26 3.23 2.12 3/178 15850 /proc/meminfo: memFree=29603864/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=90772 CPUtime=25.49 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 22638 0 0 0 2238 311 0 0 25 0 1 0 21617312 92950528 21436 4089446400 4194304 7136930 140733670420224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15847/statm: 22693 21436 394 719 0 21972 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 90772 [startup+51.1003 s] /proc/loadavg: 2.17 3.13 2.11 3/178 15850 /proc/meminfo: memFree=29560256/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=135244 CPUtime=51.09 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 33311 0 0 0 4554 555 0 0 25 0 1 0 21617312 138489856 32109 4089446400 4194304 7136930 140733670420224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15847/statm: 33811 32109 394 719 0 33090 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 135244 [startup+102.306 s] /proc/loadavg: 2.07 2.94 2.10 3/178 15852 /proc/meminfo: memFree=29490736/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=194064 CPUtime=102.3 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 46130 0 0 0 9310 920 0 0 25 0 1 0 21617312 198721536 44928 4089446400 4194304 7136930 140733670420224 18446744073709551615 5000112 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15847/statm: 48516 44928 394 719 0 47795 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 194064 Solver just ended. Dumping a history of the last processes samples [startup+103.901 s] /proc/loadavg: 2.07 2.94 2.10 3/178 15852 /proc/meminfo: memFree=29487264/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=196356 CPUtime=103.89 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 46614 0 0 0 9461 928 0 0 25 0 1 0 21617312 201068544 45412 4089446400 4194304 7136930 140733670420224 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15847/statm: 49089 45412 394 719 0 48368 0 Current children cumulated CPU time (s) 103.89 Current children cumulated vsize (KiB) 196356 [startup+104.701 s] /proc/loadavg: 2.07 2.94 2.10 3/178 15852 /proc/meminfo: memFree=29484900/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=197320 CPUtime=104.7 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 46775 0 0 0 9537 933 0 0 25 0 1 0 21617312 202055680 45573 4089446400 4194304 7136930 140733670420224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15847/statm: 49330 45573 394 719 0 48609 0 Current children cumulated CPU time (s) 104.7 Current children cumulated vsize (KiB) 197320 [startup+105.501 s] /proc/loadavg: 2.07 2.94 2.10 3/178 15852 /proc/meminfo: memFree=29482420/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=198348 CPUtime=105.5 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 46948 0 0 0 9612 938 0 0 25 0 1 0 21617312 203108352 45746 4089446400 4194304 7136930 140733670420224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15847/statm: 49587 45746 394 719 0 48866 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 198348 [startup+105.901 s] /proc/loadavg: 2.07 2.94 2.10 3/178 15852 /proc/meminfo: memFree=29482420/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=198492 CPUtime=105.89 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 46984 0 0 0 9649 940 0 0 25 0 1 0 21617312 203255808 45782 4089446400 4194304 7136930 140733670420224 18446744073709551615 4209197 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15847/statm: 49623 45782 394 719 0 48902 0 Current children cumulated CPU time (s) 105.89 Current children cumulated vsize (KiB) 198492 [startup+106.001 s] /proc/loadavg: 2.07 2.94 2.10 3/178 15852 /proc/meminfo: memFree=29482420/32950928 swapFree=67111528/67111528 [pid=15847] ppid=15845 vsize=198492 CPUtime=105.99 /proc/15847/stat : 15847 (pbscip.linux.x8) R 15845 15847 15410 0 -1 4202496 46984 0 0 0 9658 941 0 0 25 0 1 0 21617312 203255808 45782 4089446400 4194304 7136930 140733670420224 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15847/statm: 49623 45782 394 719 0 48902 0 Current children cumulated CPU time (s) 105.99 Current children cumulated vsize (KiB) 198492 Child status: 0 Real time (s): 106.068 CPU time (s): 106.069 CPU user time (s): 96.6433 CPU system time (s): 9.42557 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 198492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 96.6433 system time used= 9.42557 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46999 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 171 runsolver used 0.156976 second user time and 0.345947 second system time The end
Begin job on node115 at 2010-07-07 22:31:41 IDJOB=2700310 IDBENCH=79417 IDSOLVER=1206 FILE ID=node115/2700310-1278534701 PBS_JOBID= 11239248 Free space on /tmp= 73620 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh16_wcsp.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700310-1278534701/watcher-2700310-1278534701 -o /tmp/evaluation-result-2700310-1278534701/solver-2700310-1278534701 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700310-1278534701.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8941aeee87a1a646f79f1fa97035d3b2 RANDOM SEED=1292945687 node115.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.812 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.62 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.812 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 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.812 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.812 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 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.812 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.75 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.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29713424 kB Buffers: 124580 kB Cached: 2106540 kB SwapCached: 0 kB Active: 1720624 kB Inactive: 1373956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29713424 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3132 kB Writeback: 0 kB AnonPages: 864144 kB Mapped: 17492 kB Slab: 77288 kB PageTables: 6816 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1069364 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= 73620 MiB End job on node115 at 2010-07-07 22:33:27