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 | MSAT (TO) | 1802.11 | 1802.04 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh19_wcsp.wbo |
| MD5SUM | af72756a7b8194161c8db176c46da286 |
| 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 | 166 |
| Best CPU time to get the best result obtained on this benchmark | 1.02984 |
| 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-2700082-1278533953.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.02 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.00/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1050 implications, 0 cliques
0.00/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06 c 850 constraints of type <indicator>
0.00/0.06 c 850 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.03
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c lp/solvefreq = -1
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 o 420925
0.00/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.00/0.06 c t 0.0s| 1 | 0 | 0 | - |6129k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.06 c 0.0s| 1 | 2 | 0 | - |6081k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.69/0.70 o 17686
0.69/0.70 c * 0.7s| 5605 | 4922 | 0 | 0.0 |8638k| 863 | - |1800 |1805 | 0 | 0 | 0 | 105 | 0 | 0.000000e+00 | 1.768600e+04 | Inf
1.10/1.16 o 17600
1.10/1.16 c * 1.1s| 8322 | 7591 | 0 | 0.0 | 10M| 863 | - |1800 |1872 | 0 | 0 | 0 | 173 | 0 | 0.000000e+00 | 1.760000e+04 | Inf
1.39/1.44 c 1.4s| 10000 | 9262 | 0 | 0.0 | 10M| 863 | - |1800 |1883 | 0 | 0 | 0 | 187 | 0 | 1.000000e+00 | 1.760000e+04 | Large
3.09/3.10 c 3.0s| 20000 | 19242 | 0 | 0.0 | 15M| 863 | - |1800 |1932 | 0 | 0 | 0 | 277 | 0 | 1.000000e+00 | 1.760000e+04 | Large
4.69/4.76 c 4.6s| 30000 | 29236 | 0 | 0.0 | 19M| 863 | - |1800 |1882 | 0 | 0 | 0 | 297 | 0 | 1.000000e+00 | 1.760000e+04 | Large
5.19/5.29 o 17516
5.19/5.29 c * 5.1s| 33183 | 32388 | 0 | 0.0 | 21M| 863 | - |1800 |1836 | 0 | 0 | 0 | 317 | 0 | 1.000000e+00 | 1.751600e+04 | Large
5.39/5.40 o 17406
5.39/5.40 c * 5.2s| 33804 | 32967 | 0 | 0.0 | 21M| 863 | - |1800 |1849 | 0 | 0 | 0 | 337 | 0 | 1.000000e+00 | 1.740600e+04 | Large
5.39/5.40 o 17198
5.39/5.40 c * 5.2s| 33805 | 32881 | 0 | 0.0 | 21M| 863 | - |1800 |1849 | 0 | 0 | 0 | 337 | 0 | 1.000000e+00 | 1.719800e+04 | Large
6.39/6.47 c 6.2s| 40000 | 38936 | 0 | 0.0 | 24M| 863 | - |1800 |2433 | 0 | 0 | 0 |1029 | 0 | 1.000000e+00 | 1.719800e+04 | Large
6.60/6.61 o 17184
6.60/6.61 c * 6.3s| 40792 | 39712 | 0 | 0.0 | 24M| 863 | - |1800 |2428 | 0 | 0 | 0 |1029 | 0 | 1.000000e+00 | 1.718400e+04 | Large
6.60/6.61 o 17033
6.60/6.61 c * 6.3s| 40794 | 39624 | 0 | 0.0 | 24M| 863 | - |1800 |2428 | 0 | 0 | 0 |1029 | 0 | 1.000000e+00 | 1.703300e+04 | Large
7.49/7.50 o 17023
7.49/7.50 c * 7.2s| 45179 | 43664 | 0 | 0.0 | 27M| 863 | - |1800 |3540 | 0 | 0 | 0 |2824 | 0 | 1.000000e+00 | 1.702300e+04 | Large
7.49/7.52 o 17020
7.49/7.52 c * 7.2s| 45238 | 43720 | 0 | 0.0 | 27M| 863 | - |1800 |3525 | 0 | 0 | 0 |2824 | 0 | 1.000000e+00 | 1.702000e+04 | Large
7.49/7.52 o 16996
7.49/7.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.49/7.52 c * 7.2s| 45240 | 43699 | 0 | 0.0 | 27M| 863 | - |1800 |3525 | 0 | 0 | 0 |2824 | 0 | 1.000000e+00 | 1.699600e+04 | Large
7.59/7.65 o 16939
7.59/7.65 c * 7.3s| 45834 | 44180 | 0 | 0.0 | 28M| 863 | - |1800 |3655 | 0 | 0 | 0 |3114 | 0 | 1.000000e+00 | 1.693900e+04 | Large
7.59/7.65 o 16777
7.59/7.65 c * 7.3s| 45835 | 43984 | 0 | 0.0 | 28M| 863 | - |1800 |3655 | 0 | 0 | 0 |3114 | 0 | 1.000000e+00 | 1.677700e+04 | Large
7.59/7.66 o 16634
7.59/7.66 c * 7.3s| 45907 | 43855 | 0 | 0.0 | 28M| 863 | - |1800 |3670 | 0 | 0 | 0 |3134 | 0 | 1.000000e+00 | 1.663400e+04 | Large
7.69/7.70 o 16604
7.69/7.70 c * 7.4s| 46081 | 43986 | 0 | 0.0 | 28M| 863 | - |1800 |3692 | 0 | 0 | 0 |3184 | 0 | 1.000000e+00 | 1.660400e+04 | Large
7.69/7.70 o 16557
7.69/7.70 c * 7.4s| 46082 | 43934 | 0 | 0.0 | 28M| 863 | - |1800 |3692 | 0 | 0 | 0 |3184 | 0 | 1.000000e+00 | 1.655700e+04 | Large
8.49/8.57 c 8.2s| 50000 | 47486 | 0 | 0.0 | 30M| 863 | - |1800 |4158 | 0 | 0 | 0 |5211 | 0 | 1.000000e+00 | 1.655700e+04 | Large
8.49/8.58 o 16552
8.49/8.58 c * 8.2s| 50053 | 47531 | 0 | 0.0 | 30M| 863 | - |1800 |4166 | 0 | 0 | 0 |5221 | 0 | 1.000000e+00 | 1.655200e+04 | Large
8.89/8.91 o 16471
8.89/8.91 c * 8.5s| 51518 | 48776 | 0 | 0.0 | 31M| 863 | - |1800 |4387 | 0 | 0 | 0 |6021 | 0 | 1.000000e+00 | 1.647100e+04 | Large
8.89/8.98 o 16446
8.89/8.98 c * 8.6s| 51841 | 49043 | 0 | 0.0 | 31M| 863 | - |1800 |4423 | 0 | 0 | 0 |6201 | 0 | 1.000000e+00 | 1.644600e+04 | Large
10.80/10.83 c 10.4s| 60000 | 56443 | 0 | 0.0 | 36M| 863 | - |1800 |4992 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 1.644600e+04 | Large
10.80/10.84 o 16382
10.80/10.84 c *10.4s| 60074 | 56415 | 0 | 0.0 | 36M| 863 | - |1800 |5012 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 1.638200e+04 | Large
11.19/11.23 o 16377
11.19/11.23 c *10.8s| 61745 | 57887 | 0 | 0.0 | 37M| 863 | - |1800 |5396 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 1.637700e+04 | Large
11.19/11.23 o 16307
11.19/11.23 c *10.8s| 61746 | 57786 | 0 | 0.0 | 37M| 863 | - |1800 |5396 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 1.630700e+04 | Large
11.89/11.93 o 16047
11.89/11.93 c *11.5s| 64731 | 60051 | 0 | 0.0 | 38M| 863 | - |1800 |5841 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 1.604700e+04 | Large
12.29/12.30 o 15652
12.29/12.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.29/12.30 c *11.8s| 66283 | 60855 | 0 | 0.0 | 39M| 863 | - |1800 |6007 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 1.565200e+04 | Large
12.29/12.30 o 15613
12.29/12.30 c *11.8s| 66284 | 60806 | 0 | 0.0 | 39M| 863 | - |1800 |6007 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 1.561300e+04 | Large
12.89/12.91 o 15471
12.89/12.91 c *12.4s| 68876 | 62875 | 0 | 0.0 | 40M| 863 | - |1800 |5680 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 1.547100e+04 | Large
12.89/12.99 o 15265
12.89/12.99 c *12.5s| 69251 | 62784 | 0 | 0.0 | 39M| 863 | - |1800 |5618 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 1.526500e+04 | Large
13.09/13.18 c 12.7s| 70000 | 63446 | 0 | 0.0 | 40M| 863 | - |1800 |5654 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 1.526500e+04 | Large
13.49/13.52 o 15243
13.49/13.52 c *13.0s| 71490 | 64742 | 0 | 0.0 | 40M| 863 | - |1800 |5581 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 1.524300e+04 | Large
13.49/13.58 o 15186
13.49/13.58 c *13.1s| 71727 | 64794 | 0 | 0.0 | 41M| 863 | - |1800 |5586 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 1.518600e+04 | Large
14.49/14.53 o 15170
14.49/14.53 c *14.0s| 75639 | 68239 | 0 | 0.0 | 43M| 863 | - |1800 |5410 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 1.517000e+04 | Large
14.49/14.55 o 14934
14.49/14.55 c *14.0s| 75704 | 67580 | 0 | 0.0 | 42M| 863 | - |1800 |5447 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 1.493400e+04 | Large
14.49/14.56 o 14894
14.49/14.56 c *14.0s| 75766 | 67509 | 0 | 0.0 | 42M| 863 | - |1800 |5460 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 1.489400e+04 | Large
15.50/15.59 c 15.0s| 80000 | 71265 | 0 | 0.0 | 45M| 863 | - |1800 |5968 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 1.489400e+04 | Large
15.59/15.68 o 14769
15.59/15.68 c *15.1s| 80405 | 71202 | 0 | 0.0 | 45M| 863 | - |1800 |6036 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 1.476900e+04 | Large
17.79/17.80 o 14679
17.79/17.80 c *17.2s| 89133 | 78670 | 0 | 0.0 | 50M| 863 | - |1800 |5457 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 1.467900e+04 | Large
17.99/18.01 c 17.4s| 90000 | 79451 | 0 | 0.0 | 50M| 863 | - |1800 |5490 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 1.467900e+04 | Large
18.09/18.14 o 14610
18.09/18.14 c *17.5s| 90559 | 79677 | 0 | 0.0 | 50M| 863 | - |1800 |5457 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 1.461000e+04 | Large
18.99/19.01 o 14533
18.99/19.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.99/19.01 c *18.3s| 94102 | 82500 | 0 | 0.0 | 52M| 863 | - |1800 |5626 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 1.453300e+04 | Large
18.99/19.06 o 14406
18.99/19.06 c *18.4s| 94333 | 82231 | 0 | 0.0 | 52M| 863 | - |1800 |5545 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 1.440600e+04 | Large
18.99/19.07 o 14236
18.99/19.07 c *18.4s| 94334 | 81570 | 0 | 0.0 | 51M| 863 | - |1800 |5545 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 1.423600e+04 | Large
19.10/19.18 o 14129
19.10/19.18 c *18.5s| 94807 | 81575 | 0 | 0.0 | 51M| 863 | - |1800 |5556 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 1.412900e+04 | Large
19.10/19.19 o 13935
19.10/19.19 c *18.5s| 94808 | 80824 | 0 | 0.0 | 51M| 863 | - |1800 |5556 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 1.393500e+04 | Large
20.09/20.19 o 13765
20.09/20.19 c *19.5s| 99014 | 83902 | 0 | 0.0 | 52M| 863 | - |1800 |5822 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 1.376500e+04 | Large
20.19/20.22 o 13702
20.19/20.22 c *19.5s| 99130 | 83774 | 0 | 0.0 | 52M| 863 | - |1800 |5843 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 1.370200e+04 | Large
20.39/20.43 c 19.7s|100000 | 84547 | 0 | 0.0 | 53M| 863 | - |1800 |5940 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 1.370200e+04 | Large
21.89/21.94 o 13684
21.89/21.94 c *21.2s|106259 | 90054 | 0 | 0.0 | 56M| 863 | - |1800 |6350 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 1.368400e+04 | Large
21.89/21.95 o 13549
21.89/21.95 c *21.2s|106260 | 89543 | 0 | 0.0 | 56M| 863 | - |1800 |6350 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 1.354900e+04 | Large
22.79/22.87 c 22.1s|110000 | 92855 | 0 | 0.0 | 58M| 863 | - |1800 |6724 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 1.354900e+04 | Large
22.99/23.10 o 13343
22.99/23.10 c *22.3s|110903 | 92838 | 0 | 0.0 | 58M| 863 | - |1800 |6865 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 1.334300e+04 | Large
23.39/23.41 o 13326
23.39/23.41 c *22.6s|112144 | 93856 | 0 | 0.0 | 58M| 863 | - |1800 |6955 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | 1.332600e+04 | Large
25.19/25.26 o 13284
25.19/25.26 c *24.4s|119600 |100277 | 0 | 0.0 | 63M| 863 | - |1800 |7490 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 1.328400e+04 | Large
25.30/25.36 c 24.5s|120000 |100631 | 0 | 0.0 | 63M| 863 | - |1800 |7543 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 1.328400e+04 | Large
25.59/25.66 o 13182
25.59/25.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.59/25.66 c *24.8s|121206 |101285 | 0 | 0.0 | 64M| 863 | - |1800 |7611 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 1.318200e+04 | Large
25.90/25.91 o 13093
25.90/25.91 c *25.0s|122173 |101776 | 0 | 0.0 | 64M| 863 | - |1800 |7750 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 1.309300e+04 | Large
26.40/26.43 o 13089
26.40/26.43 c *25.6s|124285 |103652 | 0 | 0.0 | 65M| 863 | - |1800 |7962 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 1.308900e+04 | Large
26.90/26.91 o 12677
26.90/26.91 c *26.0s|126147 |103450 | 0 | 0.0 | 65M| 863 | - |1800 |8159 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 1.267700e+04 | Large
27.39/27.46 o 12622
27.39/27.46 c *26.5s|128191 |104958 | 0 | 0.0 | 66M| 863 | - |1800 |8632 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 1.262200e+04 | Large
27.39/27.47 o 12531
27.39/27.47 c *26.6s|128206 |104533 | 0 | 0.0 | 65M| 863 | - |1800 |8671 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 1.253100e+04 | Large
27.89/27.94 c 27.0s|130000 |106106 | 0 | 0.0 | 67M| 863 | - |1800 |8850 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 1.253100e+04 | Large
30.49/30.51 o 12450
30.49/30.51 c *29.5s|139734 |114078 | 0 | 0.0 | 72M| 863 | - |1800 | 10k| 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 1.245000e+04 | Large
30.49/30.58 c 29.6s|140000 |114308 | 0 | 0.0 | 73M| 863 | - |1800 | 10k| 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 1.245000e+04 | Large
31.49/31.52 o 12295
31.49/31.52 c *30.5s|143520 |116473 | 0 | 0.0 | 74M| 863 | - |1800 | 10k| 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 1.229500e+04 | Large
33.20/33.27 c 32.2s|150000 |122188 | 0 | 0.0 | 77M| 863 | - |1800 |9418 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 1.229500e+04 | Large
33.70/33.77 o 12115
33.70/33.77 c *32.7s|151866 |122681 | 0 | 0.0 | 77M| 863 | - |1800 |9511 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 1.211500e+04 | Large
35.30/35.37 o 12071
35.30/35.37 c *34.2s|157871 |127703 | 0 | 0.0 | 81M| 863 | - |1800 |9926 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 1.207100e+04 | Large
35.89/35.93 c 34.8s|160000 |129590 | 0 | 0.0 | 82M| 863 | - |1800 | 10k| 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 1.207100e+04 | Large
35.99/36.00 o 11817
35.99/36.00 c *34.8s|160291 |128347 | 0 | 0.0 | 81M| 863 | - |1800 | 10k| 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 1.181700e+04 | Large
35.99/36.00 o 11745
35.99/36.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.99/36.00 c *34.8s|160292 |127931 | 0 | 0.0 | 81M| 863 | - |1800 | 10k| 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 1.174500e+04 | Large
38.60/38.69 c 37.4s|170000 |136289 | 0 | 0.0 | 87M| 863 | - |1800 | 11k| 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 1.174500e+04 | Large
40.99/41.05 o 11540
40.99/41.05 c *39.7s|178414 |142180 | 0 | 0.0 | 90M| 863 | - |1800 | 11k| 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 1.154000e+04 | Large
41.39/41.40 o 11221
41.39/41.40 c *40.1s|179798 |141053 | 0 | 0.0 | 88M| 863 | - |1800 | 10k| 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 1.122100e+04 | Large
41.39/41.46 c 40.1s|180000 |141239 | 0 | 0.0 | 88M| 863 | - |1800 | 10k| 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 1.122100e+04 | Large
42.59/42.65 o 11096
42.59/42.65 c *41.3s|184581 |144402 | 0 | 0.0 | 89M| 863 | - |1800 | 10k| 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 1.109600e+04 | Large
43.79/43.85 o 10956
43.79/43.85 c *42.5s|188958 |147171 | 0 | 0.0 | 91M| 863 | - |1800 | 10k| 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 1.095600e+04 | Large
44.09/44.15 c 42.8s|190000 |148059 | 0 | 0.0 | 92M| 863 | - |1800 | 11k| 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 1.095600e+04 | Large
46.79/46.86 c 45.4s|200000 |156751 | 0 | 0.0 | 97M| 863 | - |1800 | 11k| 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 1.095600e+04 | Large
49.59/49.64 c 48.1s|210000 |165344 | 0 | 0.0 | 103M| 863 | - |1800 | 12k| 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 1.095600e+04 | Large
51.00/51.07 o 10835
51.00/51.07 c *49.5s|215002 |168613 | 0 | 0.0 | 105M| 863 | - |1800 | 12k| 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 1.083500e+04 | Large
51.59/51.60 o 10561
51.59/51.60 c *50.0s|216842 |167709 | 0 | 0.0 | 104M| 863 | - |1800 | 12k| 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 1.056100e+04 | Large
52.49/52.52 c 50.9s|220000 |170408 | 0 | 0.0 | 105M| 863 | - |1800 | 12k| 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | 1.056100e+04 | Large
55.29/55.38 c 53.7s|230000 |179100 | 0 | 0.0 | 111M| 863 | - |1800 | 13k| 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 1.056100e+04 | Large
56.20/56.24 o 10549
56.20/56.24 c *54.6s|232987 |181596 | 0 | 0.0 | 113M| 863 | - |1800 | 13k| 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 1.054900e+04 | Large
56.20/56.25 o 10479
56.20/56.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.20/56.25 c *54.6s|232988 |180976 | 0 | 0.0 | 112M| 863 | - |1800 | 13k| 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 1.047900e+04 | Large
58.19/58.28 c 56.5s|240000 |187029 | 0 | 0.0 | 117M| 863 | - |1800 | 14k| 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 1.047900e+04 | Large
61.20/61.26 c 59.5s|250000 |195520 | 0 | 0.0 | 123M| 863 | - |1800 | 15k| 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 1.047900e+04 | Large
62.70/62.71 o 10359
62.70/62.71 c *60.9s|254806 |198475 | 0 | 0.0 | 125M| 863 | - |1800 | 15k| 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 1.035900e+04 | Large
64.29/64.33 c 62.4s|260000 |202881 | 0 | 0.0 | 128M| 863 | - |1800 | 16k| 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 1.035900e+04 | Large
66.39/66.41 o 10355
66.39/66.41 c *64.5s|266733 |208546 | 0 | 0.0 | 132M| 863 | - |1800 | 16k| 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 1.035500e+04 | Large
66.39/66.42 o 10070
66.39/66.42 c *64.5s|266734 |205517 | 0 | 0.0 | 129M| 863 | - |1800 | 16k| 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 1.007000e+04 | Large
67.49/67.50 c 65.5s|270000 |208248 | 0 | 0.0 | 131M| 863 | - |1800 | 16k| 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 1.007000e+04 | Large
69.49/69.55 o 10008
69.49/69.55 c *67.5s|276412 |212978 | 0 | 0.0 | 134M| 863 | - |1800 | 17k| 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 1.000800e+04 | Large
70.69/70.70 c 68.6s|280000 |216023 | 0 | 0.0 | 136M| 863 | - |1800 | 17k| 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 1.000800e+04 | Large
72.50/72.54 o 9934
72.50/72.54 c *70.4s|285800 |219920 | 0 | 0.0 | 139M| 863 | - |1800 | 18k| 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 9.934000e+03 | Large
72.79/72.84 o 9924
72.79/72.84 c *70.7s|286651 |220507 | 0 | 0.0 | 139M| 863 | - |1800 | 18k| 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 9.924000e+03 | Large
73.90/73.92 c 71.8s|290000 |223337 | 0 | 0.0 | 141M| 863 | - |1800 | 18k| 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 9.924000e+03 | Large
77.20/77.20 c 75.0s|300000 |231818 | 0 | 0.0 | 147M| 863 | - |1800 | 19k| 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 9.924000e+03 | Large
80.49/80.56 c 78.3s|310000 |240246 | 0 | 0.0 | 154M| 863 | - |1800 | 21k| 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 9.924000e+03 | Large
81.20/81.28 o 9635
81.20/81.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.20/81.28 c *79.0s|312005 |238190 | 0 | 0.0 | 151M| 863 | - |1800 | 22k| 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 9.635000e+03 | Large
84.09/84.14 c 81.8s|320000 |244914 | 0 | 0.0 | 156M| 863 | - |1800 | 23k| 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 9.635000e+03 | Large
87.70/87.74 c 85.3s|330000 |253484 | 0 | 0.0 | 161M| 863 | - |1800 | 21k| 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | 9.635000e+03 | Large
88.40/88.48 o 9501
88.40/88.48 c *86.0s|332033 |253239 | 0 | 0.0 | 160M| 863 | - |1800 | 20k| 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 9.501000e+03 | Large
91.20/91.20 c 88.7s|340000 |260091 | 0 | 0.0 | 165M| 863 | - |1800 | 19k| 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 9.501000e+03 | Large
94.60/94.65 c 92.1s|350000 |268630 | 0 | 0.0 | 171M| 863 | - |1800 | 20k| 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | 9.501000e+03 | Large
95.59/95.62 o 9482
95.59/95.62 c *93.0s|352772 |270646 | 0 | 0.0 | 172M| 863 | - |1800 | 20k| 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 9.482000e+03 | Large
95.59/95.63 o 9440
95.59/95.63 c *93.0s|352773 |269952 | 0 | 0.0 | 171M| 863 | - |1800 | 20k| 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 9.440000e+03 | Large
98.09/98.18 c 95.5s|360000 |276062 | 0 | 0.0 | 176M| 863 | - |1800 | 21k| 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 9.440000e+03 | Large
101.70/101.71 c 99.0s|370000 |284476 | 0 | 0.0 | 182M| 863 | - |1800 | 22k| 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | 9.440000e+03 | Large
105.30/105.36 c 103s|380000 |292854 | 0 | 0.0 | 188M| 863 | - |1800 | 24k| 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | 9.440000e+03 | Large
105.99/106.03 o 9197
105.99/106.03 c * 103s|381664 |290317 | 0 | 0.0 | 185M| 863 | - |1800 | 24k| 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 9.197000e+03 | Large
109.30/109.35 c 106s|390000 |297200 | 0 | 0.0 | 190M| 863 | - |1800 | 25k| 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 9.197000e+03 | Large
113.40/113.46 c 110s|400000 |305363 | 0 | 0.0 | 196M| 863 | - |1800 | 27k| 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 9.197000e+03 | Large
113.79/113.86 o 9101
113.79/113.86 c * 111s|400948 |304529 | 0 | 0.0 | 195M| 863 | - |1800 | 27k| 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | 9.101000e+03 | Large
117.80/117.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.80/117.85 c 115s|410000 |311943 | 0 | 0.0 | 201M| 863 | - |1800 | 29k| 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | 9.101000e+03 | Large
122.40/122.44 c 119s|420000 |320272 | 0 | 0.0 | 205M| 863 | - |1800 | 25k| 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | 9.101000e+03 | Large
125.89/125.92 c 123s|430000 |329044 | 0 | 0.0 | 210M| 863 | - |1800 | 23k| 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 9.101000e+03 | Large
129.40/129.42 c 126s|440000 |337655 | 0 | 0.0 | 216M| 863 | - |1800 | 24k| 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | 9.101000e+03 | Large
132.99/133.05 c 130s|450000 |346257 | 0 | 0.0 | 221M| 863 | - |1800 | 24k| 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | 9.101000e+03 | Large
136.50/136.59 c 133s|460000 |354823 | 0 | 0.0 | 227M| 863 | - |1800 | 25k| 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | 9.101000e+03 | Large
136.80/136.87 o 9049
136.80/136.87 c * 133s|460658 |354260 | 0 | 0.0 | 226M| 863 | - |1800 | 25k| 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | 9.049000e+03 | Large
139.70/139.72 o 8942
139.70/139.72 c * 136s|468566 |358910 | 0 | 0.0 | 228M| 863 | - |1800 | 25k| 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | 8.942000e+03 | Large
140.20/140.23 c 137s|470000 |360133 | 0 | 0.0 | 229M| 863 | - |1800 | 26k| 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 8.942000e+03 | Large
143.30/143.31 o 8914
143.30/143.31 c * 140s|478098 |366444 | 0 | 0.0 | 233M| 863 | - |1800 | 26k| 0 | 0 | 0 | 343k| 0 | 1.000000e+00 | 8.914000e+03 | Large
144.00/144.01 c 140s|480000 |368054 | 0 | 0.0 | 234M| 863 | - |1800 | 26k| 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 8.914000e+03 | Large
145.10/145.14 o 8869
145.10/145.14 c * 142s|482976 |369611 | 0 | 0.0 | 234M| 863 | - |1800 | 26k| 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 8.869000e+03 | Large
145.10/145.14 o 8827
145.10/145.14 c * 142s|482977 |368761 | 0 | 0.0 | 234M| 863 | - |1800 | 26k| 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 8.827000e+03 | Large
147.70/147.77 c 144s|490000 |374703 | 0 | 0.0 | 238M| 863 | - |1800 | 27k| 0 | 0 | 0 | 353k| 0 | 1.000000e+00 | 8.827000e+03 | Large
148.89/148.92 o 8807
148.89/148.92 c * 145s|492866 |376626 | 0 | 0.0 | 239M| 863 | - |1800 | 27k| 0 | 0 | 0 | 356k| 0 | 1.000000e+00 | 8.807000e+03 | Large
149.70/149.78 o 8744
149.70/149.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.70/149.78 c * 146s|495157 |377223 | 0 | 0.0 | 238M| 863 | - |1800 | 27k| 0 | 0 | 0 | 357k| 0 | 1.000000e+00 | 8.744000e+03 | Large
149.70/149.79 o 8654
149.70/149.79 c * 146s|495158 |375196 | 0 | 0.0 | 235M| 863 | - |1800 | 27k| 0 | 0 | 0 | 357k| 0 | 1.000000e+00 | 8.654000e+03 | Large
151.59/151.69 c 148s|500000 |379348 | 0 | 0.0 | 238M| 863 | - |1800 | 27k| 0 | 0 | 0 | 361k| 0 | 1.000000e+00 | 8.654000e+03 | Large
153.70/153.75 o 8584
153.70/153.75 c * 150s|505444 |382328 | 0 | 0.0 | 239M| 863 | - |1800 | 28k| 0 | 0 | 0 | 366k| 0 | 1.000000e+00 | 8.584000e+03 | Large
153.70/153.77 o 8391
153.70/153.77 c * 150s|505445 |377868 | 0 | 0.0 | 233M| 863 | - |1800 | 28k| 0 | 0 | 0 | 366k| 0 | 1.000000e+00 | 8.391000e+03 | Large
155.50/155.56 c 152s|510000 |381682 | 0 | 0.0 | 236M| 863 | - |1800 | 28k| 0 | 0 | 0 | 370k| 0 | 1.000000e+00 | 8.391000e+03 | Large
157.69/157.77 o 8337
157.69/157.77 c * 154s|515102 |384612 | 0 | 0.0 | 237M| 863 | - |1800 | 28k| 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | 8.337000e+03 | Large
159.79/159.83 c 156s|520000 |388735 | 0 | 0.0 | 240M| 863 | - |1800 | 29k| 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | 8.337000e+03 | Large
163.90/163.90 c 160s|530000 |397132 | 0 | 0.0 | 247M| 863 | - |1800 | 30k| 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 8.337000e+03 | Large
164.60/164.61 o 8219
164.60/164.61 c * 161s|531826 |395429 | 0 | 0.0 | 244M| 863 | - |1800 | 30k| 0 | 0 | 0 | 389k| 0 | 1.000000e+00 | 8.219000e+03 | Large
168.20/168.21 c 164s|540000 |402278 | 0 | 0.0 | 248M| 863 | - |1800 | 30k| 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | 8.219000e+03 | Large
169.00/169.03 o 8182
169.00/169.03 c * 165s|541859 |402820 | 0 | 0.0 | 248M| 863 | - |1800 | 30k| 0 | 0 | 0 | 398k| 0 | 1.000000e+00 | 8.182000e+03 | Large
172.50/172.55 c 168s|550000 |409725 | 0 | 0.0 | 253M| 863 | - |1800 | 31k| 0 | 0 | 0 | 405k| 0 | 1.000000e+00 | 8.182000e+03 | Large
173.50/173.51 o 8152
173.50/173.51 c * 169s|552161 |410799 | 0 | 0.0 | 253M| 863 | - |1800 | 31k| 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 8.152000e+03 | Large
176.79/176.81 c 173s|560000 |417374 | 0 | 0.0 | 258M| 863 | - |1800 | 31k| 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 8.152000e+03 | Large
177.40/177.41 o 8046
177.40/177.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.40/177.41 c * 173s|561412 |415432 | 0 | 0.0 | 254M| 863 | - |1800 | 31k| 0 | 0 | 0 | 415k| 0 | 1.000000e+00 | 8.046000e+03 | Large
181.09/181.19 c 177s|570000 |422588 | 0 | 0.0 | 260M| 863 | - |1800 | 32k| 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 8.046000e+03 | Large
185.70/185.78 c 181s|580000 |430940 | 0 | 0.0 | 265M| 863 | - |1800 | 30k| 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | 8.046000e+03 | Large
190.20/190.27 o 7900
190.20/190.27 c * 186s|589921 |434850 | 0 | 0.0 | 266M| 863 | - |1800 | 32k| 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 7.900000e+03 | Large
190.20/190.30 c 186s|590000 |434917 | 0 | 0.0 | 266M| 863 | - |1800 | 32k| 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 7.900000e+03 | Large
194.90/194.99 c 190s|600000 |443319 | 0 | 0.0 | 272M| 863 | - |1800 | 33k| 0 | 0 | 0 | 450k| 0 | 1.000000e+00 | 7.900000e+03 | Large
199.70/199.70 c 195s|610000 |451628 | 0 | 0.0 | 278M| 863 | - |1800 | 31k| 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 7.900000e+03 | Large
204.30/204.34 c 200s|620000 |459983 | 0 | 0.0 | 284M| 863 | - |1800 | 32k| 0 | 0 | 0 | 468k| 0 | 1.000000e+00 | 7.900000e+03 | Large
209.10/209.19 c 204s|630000 |468291 | 0 | 0.0 | 290M| 863 | - |1800 | 32k| 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 7.900000e+03 | Large
209.60/209.70 o 7717
209.60/209.70 c * 205s|631095 |463461 | 0 | 0.0 | 285M| 863 | - |1800 | 33k| 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 7.717000e+03 | Large
214.00/214.04 c 209s|640000 |470819 | 0 | 0.0 | 290M| 863 | - |1800 | 33k| 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | 7.717000e+03 | Large
218.90/218.98 c 214s|650000 |479099 | 0 | 0.0 | 296M| 863 | - |1800 | 33k| 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 7.717000e+03 | Large
223.60/223.69 c 219s|660000 |487339 | 0 | 0.0 | 302M| 863 | - |1800 | 34k| 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 7.717000e+03 | Large
228.80/228.83 c 224s|670000 |495559 | 0 | 0.0 | 308M| 863 | - |1800 | 34k| 0 | 0 | 0 | 516k| 0 | 1.000000e+00 | 7.717000e+03 | Large
233.60/233.61 c 228s|680000 |503890 | 0 | 0.0 | 315M| 863 | - |1800 | 35k| 0 | 0 | 0 | 525k| 0 | 1.000000e+00 | 7.717000e+03 | Large
238.70/238.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.70/238.77 c 233s|690000 |512116 | 0 | 0.0 | 321M| 863 | - |1800 | 36k| 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 7.717000e+03 | Large
243.60/243.68 c 238s|700000 |520444 | 0 | 0.0 | 327M| 863 | - |1800 | 38k| 0 | 0 | 0 | 544k| 0 | 1.000000e+00 | 7.717000e+03 | Large
248.90/248.95 c 243s|710000 |528682 | 0 | 0.0 | 334M| 863 | - |1800 | 39k| 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 7.717000e+03 | Large
253.70/253.79 o 7447
253.70/253.79 c * 248s|718698 |526130 | 0 | 0.0 | 329M| 863 | - |1800 | 41k| 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | 7.447000e+03 | Large
253.90/253.98 o 7436
253.90/253.98 c * 248s|719046 |525989 | 0 | 0.0 | 329M| 863 | - |1800 | 41k| 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | 7.436000e+03 | Large
254.40/254.49 c 249s|720000 |526771 | 0 | 0.0 | 330M| 863 | - |1800 | 41k| 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 7.436000e+03 | Large
258.51/258.59 o 7408
258.51/258.59 c * 253s|727140 |531409 | 0 | 0.0 | 334M| 863 | - |1800 | 43k| 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 7.408000e+03 | Large
260.20/260.25 c 255s|730000 |533723 | 0 | 0.0 | 336M| 863 | - |1800 | 44k| 0 | 0 | 0 | 575k| 0 | 1.000000e+00 | 7.408000e+03 | Large
266.50/266.56 c 261s|740000 |541646 | 0 | 0.0 | 342M| 863 | - |1800 | 44k| 0 | 0 | 0 | 586k| 0 | 1.000000e+00 | 7.408000e+03 | Large
272.01/272.04 o 7379
272.01/272.04 c * 266s|749184 |547863 | 0 | 0.0 | 347M| 863 | - |1800 | 44k| 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 7.379000e+03 | Large
272.50/272.54 c 267s|750000 |548558 | 0 | 0.0 | 347M| 863 | - |1800 | 43k| 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 7.379000e+03 | Large
278.60/278.63 c 273s|760000 |556724 | 0 | 0.0 | 353M| 863 | - |1800 | 43k| 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 7.379000e+03 | Large
284.60/284.65 c 279s|770000 |564962 | 0 | 0.0 | 359M| 863 | - |1800 | 41k| 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 7.379000e+03 | Large
290.31/290.35 c 284s|780000 |573253 | 0 | 0.0 | 365M| 863 | - |1800 | 41k| 0 | 0 | 0 | 626k| 0 | 1.000000e+00 | 7.379000e+03 | Large
296.10/296.12 c 290s|790000 |581553 | 0 | 0.0 | 372M| 863 | - |1800 | 42k| 0 | 0 | 0 | 636k| 0 | 1.000000e+00 | 7.379000e+03 | Large
302.00/302.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.00/302.07 c 296s|800000 |589859 | 0 | 0.0 | 378M| 863 | - |1800 | 43k| 0 | 0 | 0 | 645k| 0 | 1.000000e+00 | 7.379000e+03 | Large
307.50/307.55 c 301s|810000 |598253 | 0 | 0.0 | 384M| 863 | - |1800 | 44k| 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 7.379000e+03 | Large
313.51/313.51 c 307s|820000 |606619 | 0 | 0.0 | 391M| 863 | - |1800 | 45k| 0 | 0 | 0 | 663k| 0 | 1.000000e+00 | 7.379000e+03 | Large
319.81/319.82 c 313s|830000 |614890 | 0 | 0.0 | 397M| 863 | - |1800 | 47k| 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 7.379000e+03 | Large
320.70/320.78 o 7324
320.70/320.78 c * 314s|831414 |613845 | 0 | 0.0 | 395M| 863 | - |1800 | 47k| 0 | 0 | 0 | 674k| 0 | 1.000000e+00 | 7.324000e+03 | Large
321.40/321.47 o 7283
321.40/321.47 c * 315s|832363 |613077 | 0 | 0.0 | 394M| 863 | - |1800 | 47k| 0 | 0 | 0 | 675k| 0 | 1.000000e+00 | 7.283000e+03 | Large
321.40/321.48 o 7274
321.40/321.48 c * 315s|832364 |612702 | 0 | 0.0 | 394M| 863 | - |1800 | 47k| 0 | 0 | 0 | 675k| 0 | 1.000000e+00 | 7.274000e+03 | Large
326.30/326.39 c 320s|840000 |619013 | 0 | 0.0 | 399M| 863 | - |1800 | 48k| 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | 7.274000e+03 | Large
329.50/329.53 o 7257
329.50/329.53 c * 323s|844826 |622255 | 0 | 0.0 | 401M| 863 | - |1800 | 49k| 0 | 0 | 0 | 688k| 0 | 1.000000e+00 | 7.257000e+03 | Large
329.50/329.54 o 7222
329.50/329.54 c * 323s|844829 |620875 | 0 | 0.0 | 400M| 863 | - |1800 | 49k| 0 | 0 | 0 | 688k| 0 | 1.000000e+00 | 7.222000e+03 | Large
333.10/333.13 c 326s|850000 |625091 | 0 | 0.0 | 403M| 863 | - |1800 | 49k| 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 7.222000e+03 | Large
339.80/339.86 c 333s|860000 |633301 | 0 | 0.0 | 409M| 863 | - |1800 | 51k| 0 | 0 | 0 | 703k| 0 | 1.000000e+00 | 7.222000e+03 | Large
346.80/346.82 c 340s|870000 |641418 | 0 | 0.0 | 416M| 863 | - |1800 | 53k| 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 7.222000e+03 | Large
354.10/354.17 c 347s|880000 |649510 | 0 | 0.0 | 422M| 863 | - |1800 | 53k| 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | 7.222000e+03 | Large
361.20/361.21 c 354s|890000 |657773 | 0 | 0.0 | 428M| 863 | - |1800 | 54k| 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 7.222000e+03 | Large
369.30/369.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.30/369.30 c 362s|900000 |665825 | 0 | 0.0 | 434M| 863 | - |1800 | 56k| 0 | 0 | 0 | 745k| 0 | 1.000000e+00 | 7.222000e+03 | Large
376.90/376.98 c 370s|910000 |673930 | 0 | 0.0 | 441M| 863 | - |1800 | 57k| 0 | 0 | 0 | 756k| 0 | 1.000000e+00 | 7.222000e+03 | Large
384.50/384.58 c 377s|920000 |681971 | 0 | 0.0 | 447M| 863 | - |1800 | 58k| 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 7.222000e+03 | Large
384.60/384.60 o 7217
384.60/384.60 c * 377s|920042 |681784 | 0 | 0.0 | 447M| 863 | - |1800 | 58k| 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 7.217000e+03 | Large
392.20/392.25 c 385s|930000 |689703 | 0 | 0.0 | 454M| 863 | - |1800 | 60k| 0 | 0 | 0 | 778k| 0 | 1.000000e+00 | 7.217000e+03 | Large
400.20/400.22 c 393s|940000 |697653 | 0 | 0.0 | 461M| 863 | - |1800 | 61k| 0 | 0 | 0 | 790k| 0 | 1.000000e+00 | 7.217000e+03 | Large
406.41/406.41 o 7080
406.41/406.41 c * 399s|947068 |696767 | 0 | 0.0 | 457M| 863 | - |1800 | 63k| 0 | 0 | 0 | 798k| 0 | 1.000000e+00 | 7.080000e+03 | Large
409.30/409.32 c 402s|950000 |699007 | 0 | 0.0 | 459M| 863 | - |1800 | 63k| 0 | 0 | 0 | 802k| 0 | 1.000000e+00 | 7.080000e+03 | Large
410.91/410.92 o 7003
410.91/410.92 c * 403s|951621 |696301 | 0 | 0.0 | 455M| 863 | - |1800 | 64k| 0 | 0 | 0 | 804k| 0 | 1.000000e+00 | 7.003000e+03 | Large
419.31/419.36 o 5854
419.31/419.36 c * 412s|959415 |626202 | 0 | 0.0 | 366M| 863 | - |1800 | 64k| 0 | 0 | 0 | 815k| 0 | 1.000000e+00 | 5.854000e+03 | Large
419.51/419.57 o 3978
419.51/419.57 c * 412s|959422 |491467 | 0 | 0.0 | 292M| 863 | - |1800 | 64k| 0 | 0 | 0 | 815k| 0 | 1.000000e+00 | 3.978000e+03 | Large
419.61/419.65 o 3548
419.61/419.65 c * 412s|959423 |455813 | 0 | 0.0 | 274M| 863 | - |1800 | 64k| 0 | 0 | 0 | 815k| 0 | 1.000000e+00 | 3.548000e+03 | Large
421.20/421.22 c 414s|960000 |456141 | 0 | 0.0 | 272M| 863 | - |1800 | 58k| 0 | 0 | 0 | 816k| 0 | 1.000000e+00 | 3.548000e+03 | Large
428.10/428.17 c 420s|970000 |464151 | 0 | 0.0 | 277M| 863 | - |1800 | 51k| 0 | 0 | 0 | 823k| 0 | 1.000000e+00 | 3.548000e+03 | Large
435.70/435.72 c 428s|980000 |471895 | 0 | 0.0 | 285M| 863 | - |1800 | 51k| 0 | 0 | 0 | 832k| 0 | 1.000000e+00 | 3.548000e+03 | Large
443.10/443.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.10/443.19 c 435s|990000 |479580 | 0 | 0.0 | 294M| 863 | - |1800 | 52k| 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | 3.548000e+03 | Large
445.80/445.87 o 3493
445.80/445.87 c * 438s|993235 |476993 | 0 | 0.0 | 294M| 863 | - |1800 | 52k| 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 3.493000e+03 | Large
451.20/451.29 c 443s| 1000k|481975 | 0 | 0.0 | 299M| 863 | - |1800 | 52k| 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 3.493000e+03 | Large
459.10/459.17 c 451s| 1010k|489446 | 0 | 0.0 | 309M| 863 | - |1800 | 52k| 0 | 0 | 0 | 859k| 0 | 1.000000e+00 | 3.493000e+03 | Large
466.91/466.96 o 3411
466.91/466.96 c * 459s| 1019k|488455 | 0 | 0.0 | 313M| 863 | - |1800 | 52k| 0 | 0 | 0 | 868k| 0 | 1.000000e+00 | 3.411000e+03 | Large
466.91/466.97 o 3402
466.91/466.97 c * 459s| 1019k|487592 | 0 | 0.0 | 313M| 863 | - |1800 | 52k| 0 | 0 | 0 | 868k| 0 | 1.000000e+00 | 3.402000e+03 | Large
467.61/467.60 c 459s| 1020k|488191 | 0 | 0.0 | 313M| 863 | - |1800 | 52k| 0 | 0 | 0 | 869k| 0 | 1.000000e+00 | 3.402000e+03 | Large
476.00/476.08 c 468s| 1030k|495641 | 0 | 0.0 | 322M| 863 | - |1800 | 53k| 0 | 0 | 0 | 878k| 0 | 1.000000e+00 | 3.402000e+03 | Large
484.91/484.95 c 477s| 1040k|502870 | 0 | 0.0 | 331M| 863 | - |1800 | 53k| 0 | 0 | 0 | 889k| 0 | 1.000000e+00 | 3.402000e+03 | Large
493.41/493.47 c 485s| 1050k|510220 | 0 | 0.0 | 339M| 863 | - |1800 | 54k| 0 | 0 | 0 | 899k| 0 | 1.000000e+00 | 3.402000e+03 | Large
502.00/502.08 o 3352
502.00/502.08 c * 494s| 1059k|511467 | 0 | 0.0 | 345M| 863 | - |1800 | 54k| 0 | 0 | 0 | 908k| 0 | 1.000000e+00 | 3.352000e+03 | Large
502.91/502.98 c 494s| 1060k|512111 | 0 | 0.0 | 346M| 863 | - |1800 | 54k| 0 | 0 | 0 | 909k| 0 | 1.000000e+00 | 3.352000e+03 | Large
512.00/512.01 c 503s| 1070k|519465 | 0 | 0.0 | 354M| 863 | - |1800 | 54k| 0 | 0 | 0 | 919k| 0 | 1.000000e+00 | 3.352000e+03 | Large
521.11/521.16 c 513s| 1080k|526682 | 0 | 0.0 | 364M| 863 | - |1800 | 55k| 0 | 0 | 0 | 929k| 0 | 1.000000e+00 | 3.352000e+03 | Large
530.91/530.97 c 522s| 1090k|533718 | 0 | 0.0 | 372M| 863 | - |1800 | 55k| 0 | 0 | 0 | 940k| 0 | 1.000000e+00 | 3.352000e+03 | Large
534.91/534.91 o 3333
534.91/534.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.91/534.91 c * 526s| 1093k|534092 | 0 | 0.0 | 374M| 863 | - |1800 | 55k| 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 3.333000e+03 | Large
540.51/540.58 c 532s| 1100k|538642 | 0 | 0.0 | 379M| 863 | - |1800 | 56k| 0 | 0 | 0 | 951k| 0 | 1.000000e+00 | 3.333000e+03 | Large
549.40/549.43 o 3277
549.40/549.43 c * 540s| 1108k|538946 | 0 | 0.0 | 383M| 863 | - |1800 | 56k| 0 | 0 | 0 | 960k| 0 | 1.000000e+00 | 3.277000e+03 | Large
550.31/550.35 c 541s| 1110k|539777 | 0 | 0.0 | 384M| 863 | - |1800 | 56k| 0 | 0 | 0 | 961k| 0 | 1.000000e+00 | 3.277000e+03 | Large
551.40/551.43 o 3276
551.40/551.43 c * 542s| 1111k|540461 | 0 | 0.0 | 385M| 863 | - |1800 | 56k| 0 | 0 | 0 | 962k| 0 | 1.000000e+00 | 3.276000e+03 | Large
560.21/560.29 c 551s| 1120k|546808 | 0 | 0.0 | 393M| 863 | - |1800 | 57k| 0 | 0 | 0 | 972k| 0 | 1.000000e+00 | 3.276000e+03 | Large
570.21/570.27 c 561s| 1130k|553783 | 0 | 0.0 | 402M| 863 | - |1800 | 56k| 0 | 0 | 0 | 982k| 0 | 1.000000e+00 | 3.276000e+03 | Large
579.82/579.85 c 571s| 1140k|560993 | 0 | 0.0 | 410M| 863 | - |1800 | 56k| 0 | 0 | 0 | 993k| 0 | 1.000000e+00 | 3.276000e+03 | Large
590.11/590.13 c 581s| 1150k|568004 | 0 | 0.0 | 419M| 863 | - |1800 | 57k| 0 | 0 | 0 |1004k| 0 | 1.000000e+00 | 3.276000e+03 | Large
600.71/600.73 c 591s| 1160k|574942 | 0 | 0.0 | 428M| 863 | - |1800 | 58k| 0 | 0 | 0 |1014k| 0 | 1.000000e+00 | 3.276000e+03 | Large
611.31/611.39 c 602s| 1170k|581859 | 0 | 0.0 | 437M| 863 | - |1800 | 58k| 0 | 0 | 0 |1025k| 0 | 1.000000e+00 | 3.276000e+03 | Large
622.72/622.76 c 613s| 1180k|588873 | 0 | 0.0 | 446M| 863 | - |1800 | 59k| 0 | 0 | 0 |1036k| 0 | 1.000000e+00 | 3.276000e+03 | Large
633.51/633.56 c 624s| 1190k|595863 | 0 | 0.0 | 456M| 863 | - |1800 | 60k| 0 | 0 | 0 |1047k| 0 | 1.000000e+00 | 3.276000e+03 | Large
645.11/645.17 c 635s| 1200k|602715 | 0 | 0.0 | 463M| 863 | - |1800 | 55k| 0 | 0 | 0 |1058k| 0 | 1.000000e+00 | 3.276000e+03 | Large
656.41/656.41 c 646s| 1210k|609732 | 0 | 0.0 | 472M| 863 | - |1800 | 56k| 0 | 0 | 0 |1069k| 0 | 1.000000e+00 | 3.276000e+03 | Large
667.51/667.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.51/667.50 c 657s| 1220k|616664 | 0 | 0.0 | 481M| 863 | - |1800 | 56k| 0 | 0 | 0 |1080k| 0 | 1.000000e+00 | 3.276000e+03 | Large
679.22/679.25 c 669s| 1230k|623425 | 0 | 0.0 | 490M| 863 | - |1800 | 56k| 0 | 0 | 0 |1091k| 0 | 1.000000e+00 | 3.276000e+03 | Large
690.31/690.38 o 3266
690.31/690.38 c * 680s| 1239k|628866 | 0 | 0.0 | 497M| 863 | - |1800 | 55k| 0 | 0 | 0 |1103k| 0 | 1.000000e+00 | 3.266000e+03 | Large
690.31/690.39 o 3261
690.31/690.39 c * 680s| 1239k|628200 | 0 | 0.0 | 497M| 863 | - |1800 | 55k| 0 | 0 | 0 |1103k| 0 | 1.000000e+00 | 3.261000e+03 | Large
690.51/690.59 c 680s| 1240k|628319 | 0 | 0.0 | 497M| 863 | - |1800 | 55k| 0 | 0 | 0 |1103k| 0 | 1.000000e+00 | 3.261000e+03 | Large
702.32/702.37 c 692s| 1250k|635019 | 0 | 0.0 | 506M| 863 | - |1800 | 55k| 0 | 0 | 0 |1114k| 0 | 1.000000e+00 | 3.261000e+03 | Large
714.62/714.62 c 704s| 1260k|641754 | 0 | 0.0 | 515M| 863 | - |1800 | 57k| 0 | 0 | 0 |1126k| 0 | 1.000000e+00 | 3.261000e+03 | Large
726.81/726.89 c 716s| 1270k|648350 | 0 | 0.0 | 524M| 863 | - |1800 | 58k| 0 | 0 | 0 |1138k| 0 | 1.000000e+00 | 3.261000e+03 | Large
740.22/740.21 c 730s| 1280k|654767 | 0 | 0.0 | 534M| 863 | - |1800 | 60k| 0 | 0 | 0 |1151k| 0 | 1.000000e+00 | 3.261000e+03 | Large
752.42/752.45 c 742s| 1290k|661393 | 0 | 0.0 | 543M| 863 | - |1800 | 61k| 0 | 0 | 0 |1163k| 0 | 1.000000e+00 | 3.261000e+03 | Large
763.21/763.26 o 3213
763.21/763.26 c * 752s| 1297k|659821 | 0 | 0.0 | 545M| 863 | - |1800 | 63k| 0 | 0 | 0 |1173k| 0 | 1.000000e+00 | 3.213000e+03 | Large
763.21/763.27 o 3197
763.21/763.27 c * 752s| 1297k|657553 | 0 | 0.0 | 544M| 863 | - |1800 | 63k| 0 | 0 | 0 |1173k| 0 | 1.000000e+00 | 3.197000e+03 | Large
766.12/766.17 c 755s| 1300k|658947 | 0 | 0.0 | 546M| 863 | - |1800 | 63k| 0 | 0 | 0 |1176k| 0 | 1.000000e+00 | 3.197000e+03 | Large
780.91/780.93 c 770s| 1310k|665285 | 0 | 0.0 | 555M| 863 | - |1800 | 65k| 0 | 0 | 0 |1189k| 0 | 1.000000e+00 | 3.197000e+03 | Large
794.72/794.73 c 784s| 1320k|671587 | 0 | 0.0 | 563M| 863 | - |1800 | 65k| 0 | 0 | 0 |1203k| 0 | 1.000000e+00 | 3.197000e+03 | Large
808.32/808.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
808.32/808.37 c 797s| 1330k|677983 | 0 | 0.0 | 572M| 863 | - |1800 | 64k| 0 | 0 | 0 |1216k| 0 | 1.000000e+00 | 3.197000e+03 | Large
821.52/821.55 c 810s| 1340k|684440 | 0 | 0.0 | 580M| 863 | - |1800 | 62k| 0 | 0 | 0 |1229k| 0 | 1.000000e+00 | 3.197000e+03 | Large
822.12/822.14 o 3179
822.12/822.14 c * 811s| 1340k|682062 | 0 | 0.0 | 578M| 863 | - |1800 | 63k| 0 | 0 | 0 |1230k| 0 | 1.000000e+00 | 3.179000e+03 | Large
834.42/834.42 c 823s| 1350k|688278 | 0 | 0.0 | 587M| 863 | - |1800 | 63k| 0 | 0 | 0 |1242k| 0 | 1.000000e+00 | 3.179000e+03 | Large
845.42/845.44 o 3171
845.42/845.44 c * 834s| 1359k|693347 | 0 | 0.0 | 593M| 863 | - |1800 | 63k| 0 | 0 | 0 |1253k| 0 | 1.000000e+00 | 3.171000e+03 | Large
845.42/845.46 o 3103
845.42/845.46 c * 834s| 1359k|683472 | 0 | 0.0 | 586M| 863 | - |1800 | 63k| 0 | 0 | 0 |1253k| 0 | 1.000000e+00 | 3.103000e+03 | Large
846.42/846.48 c 835s| 1360k|683980 | 0 | 0.0 | 586M| 863 | - |1800 | 63k| 0 | 0 | 0 |1254k| 0 | 1.000000e+00 | 3.103000e+03 | Large
858.82/858.87 c 847s| 1370k|690972 | 0 | 0.0 | 594M| 863 | - |1800 | 63k| 0 | 0 | 0 |1266k| 0 | 1.000000e+00 | 3.103000e+03 | Large
871.52/871.57 c 860s| 1380k|698048 | 0 | 0.0 | 604M| 863 | - |1800 | 64k| 0 | 0 | 0 |1277k| 0 | 1.000000e+00 | 3.103000e+03 | Large
883.82/883.86 c 872s| 1390k|705077 | 0 | 0.0 | 613M| 863 | - |1800 | 66k| 0 | 0 | 0 |1289k| 0 | 1.000000e+00 | 3.103000e+03 | Large
896.22/896.27 c 884s| 1400k|712109 | 0 | 0.0 | 622M| 863 | - |1800 | 67k| 0 | 0 | 0 |1301k| 0 | 1.000000e+00 | 3.103000e+03 | Large
908.82/908.81 c 897s| 1410k|718997 | 0 | 0.0 | 631M| 863 | - |1800 | 69k| 0 | 0 | 0 |1313k| 0 | 1.000000e+00 | 3.103000e+03 | Large
920.73/920.75 c 909s| 1420k|726056 | 0 | 0.0 | 640M| 863 | - |1800 | 70k| 0 | 0 | 0 |1324k| 0 | 1.000000e+00 | 3.103000e+03 | Large
930.03/930.02 o 3077
930.03/930.02 c * 918s| 1427k|727017 | 0 | 0.0 | 644M| 863 | - |1800 | 71k| 0 | 0 | 0 |1333k| 0 | 1.000000e+00 | 3.077000e+03 | Large
933.03/933.02 c 921s| 1430k|728875 | 0 | 0.0 | 646M| 863 | - |1800 | 71k| 0 | 0 | 0 |1336k| 0 | 1.000000e+00 | 3.077000e+03 | Large
946.32/946.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.32/946.33 c 934s| 1440k|735740 | 0 | 0.0 | 655M| 863 | - |1800 | 73k| 0 | 0 | 0 |1348k| 0 | 1.000000e+00 | 3.077000e+03 | Large
960.13/960.10 c 948s| 1450k|742635 | 0 | 0.0 | 664M| 863 | - |1800 | 74k| 0 | 0 | 0 |1360k| 0 | 1.000000e+00 | 3.077000e+03 | Large
973.82/973.83 c 961s| 1460k|749398 | 0 | 0.0 | 673M| 863 | - |1800 | 75k| 0 | 0 | 0 |1372k| 0 | 1.000000e+00 | 3.077000e+03 | Large
988.83/988.80 c 976s| 1470k|756193 | 0 | 0.0 | 682M| 863 | - |1800 | 76k| 0 | 0 | 0 |1385k| 0 | 1.000000e+00 | 3.077000e+03 | Large
1001.43/1001.43 o 3064
1001.43/1001.43 c * 989s| 1478k|759613 | 0 | 0.0 | 689M| 863 | - |1800 | 78k| 0 | 0 | 0 |1395k| 0 | 1.000000e+00 | 3.064000e+03 | Large
1003.43/1003.46 c 991s| 1480k|760713 | 0 | 0.0 | 690M| 863 | - |1800 | 78k| 0 | 0 | 0 |1397k| 0 | 1.000000e+00 | 3.064000e+03 | Large
1019.43/1019.46 c 1007s| 1490k|767275 | 0 | 0.0 | 699M| 863 | - |1800 | 80k| 0 | 0 | 0 |1411k| 0 | 1.000000e+00 | 3.064000e+03 | Large
1027.62/1027.64 o 3043
1027.62/1027.64 c *1015s| 1494k|767093 | 0 | 0.0 | 701M| 863 | - |1800 | 81k| 0 | 0 | 0 |1417k| 0 | 1.000000e+00 | 3.043000e+03 | Large
1035.83/1035.83 c 1023s| 1500k|770552 | 0 | 0.0 | 705M| 863 | - |1800 | 81k| 0 | 0 | 0 |1423k| 0 | 1.000000e+00 | 3.043000e+03 | Large
1050.64/1050.69 c 1038s| 1510k|777241 | 0 | 0.0 | 713M| 863 | - |1800 | 82k| 0 | 0 | 0 |1436k| 0 | 1.000000e+00 | 3.043000e+03 | Large
1067.93/1067.95 c 1055s| 1520k|783752 | 0 | 0.0 | 723M| 863 | - |1800 | 84k| 0 | 0 | 0 |1449k| 0 | 1.000000e+00 | 3.043000e+03 | Large
1084.53/1084.50 c 1071s| 1530k|790329 | 0 | 0.0 | 732M| 863 | - |1800 | 85k| 0 | 0 | 0 |1462k| 0 | 1.000000e+00 | 3.043000e+03 | Large
1101.53/1101.55 c 1088s| 1540k|796720 | 0 | 0.0 | 742M| 863 | - |1800 | 87k| 0 | 0 | 0 |1476k| 0 | 1.000000e+00 | 3.043000e+03 | Large
1119.63/1119.63 c 1106s| 1550k|803187 | 0 | 0.0 | 751M| 863 | - |1800 | 88k| 0 | 0 | 0 |1489k| 0 | 1.000000e+00 | 3.043000e+03 | Large
1136.94/1136.94 c 1124s| 1560k|809577 | 0 | 0.0 | 760M| 863 | - |1800 | 90k| 0 | 0 | 0 |1503k| 0 | 1.000000e+00 | 3.043000e+03 | Large
1157.43/1157.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.43/1157.46 c 1144s| 1570k|815897 | 0 | 0.0 | 769M| 863 | - |1800 | 92k| 0 | 0 | 0 |1517k| 0 | 1.000000e+00 | 3.043000e+03 | Large
1177.14/1177.19 c 1164s| 1580k|822392 | 0 | 0.0 | 778M| 863 | - |1800 | 94k| 0 | 0 | 0 |1531k| 0 | 1.000000e+00 | 3.043000e+03 | Large
1198.63/1198.69 c 1185s| 1590k|828548 | 0 | 0.0 | 788M| 863 | - |1800 | 96k| 0 | 0 | 0 |1545k| 0 | 1.000000e+00 | 3.043000e+03 | Large
1210.14/1210.14 o 2994
1210.14/1210.14 c *1196s| 1595k|823547 | 0 | 0.0 | 785M| 863 | - |1800 | 97k| 0 | 0 | 0 |1554k| 0 | 1.000000e+00 | 2.994000e+03 | Large
1220.23/1220.23 c 1206s| 1600k|826111 | 0 | 0.0 | 789M| 863 | - |1800 | 97k| 0 | 0 | 0 |1560k| 0 | 1.000000e+00 | 2.994000e+03 | Large
1243.14/1243.13 c 1229s| 1610k|832209 | 0 | 0.0 | 799M| 863 | - |1800 | 100k| 0 | 0 | 0 |1575k| 0 | 1.000000e+00 | 2.994000e+03 | Large
1267.25/1267.27 c 1253s| 1620k|838038 | 0 | 0.0 | 808M| 863 | - |1800 | 102k| 0 | 0 | 0 |1590k| 0 | 1.000000e+00 | 2.994000e+03 | Large
1277.53/1277.50 o 2992
1277.53/1277.50 c *1263s| 1624k|840218 | 0 | 0.0 | 812M| 863 | - |1800 | 103k| 0 | 0 | 0 |1597k| 0 | 1.000000e+00 | 2.992000e+03 | Large
1277.53/1277.52 o 2983
1277.53/1277.52 c *1263s| 1624k|838541 | 0 | 0.0 | 810M| 863 | - |1800 | 103k| 0 | 0 | 0 |1597k| 0 | 1.000000e+00 | 2.983000e+03 | Large
1292.44/1292.40 c 1278s| 1630k|841640 | 0 | 0.0 | 815M| 863 | - |1800 | 104k| 0 | 0 | 0 |1606k| 0 | 1.000000e+00 | 2.983000e+03 | Large
1320.83/1320.81 c 1307s| 1640k|847208 | 0 | 0.0 | 825M| 863 | - |1800 | 107k| 0 | 0 | 0 |1623k| 0 | 1.000000e+00 | 2.983000e+03 | Large
1350.14/1350.10 c 1336s| 1650k|852599 | 0 | 0.0 | 833M| 863 | - |1800 | 103k| 0 | 0 | 0 |1640k| 0 | 1.000000e+00 | 2.983000e+03 | Large
1360.44/1360.49 c 1346s| 1660k|860417 | 0 | 0.0 | 838M| 863 | - |1800 | 93k| 0 | 0 | 0 |1648k| 0 | 1.000000e+00 | 2.983000e+03 | Large
1373.14/1373.12 c 1359s| 1670k|867932 | 0 | 0.0 | 847M| 863 | - |1800 | 92k| 0 | 0 | 0 |1656k| 0 | 1.000000e+00 | 2.983000e+03 | Large
1385.55/1385.58 c 1371s| 1680k|875366 | 0 | 0.0 | 856M| 863 | - |1800 | 93k| 0 | 0 | 0 |1665k| 0 | 1.000000e+00 | 2.983000e+03 | Large
1398.84/1398.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.84/1398.88 c 1384s| 1690k|882711 | 0 | 0.0 | 866M| 863 | - |1800 | 94k| 0 | 0 | 0 |1673k| 0 | 1.000000e+00 | 2.983000e+03 | Large
1412.65/1412.68 c 1398s| 1700k|889983 | 0 | 0.0 | 875M| 863 | - |1800 | 94k| 0 | 0 | 0 |1683k| 0 | 1.000000e+00 | 2.983000e+03 | Large
1426.25/1426.24 c 1411s| 1710k|897269 | 0 | 0.0 | 884M| 863 | - |1800 | 94k| 0 | 0 | 0 |1692k| 0 | 1.000000e+00 | 2.983000e+03 | Large
1439.74/1439.79 o 2892
1439.74/1439.79 c *1425s| 1719k|886356 | 0 | 0.0 | 875M| 863 | - |1800 | 95k| 0 | 0 | 0 |1702k| 0 | 1.000000e+00 | 2.892000e+03 | Large
1439.95/1439.94 c 1425s| 1720k|886437 | 0 | 0.0 | 875M| 863 | - |1800 | 95k| 0 | 0 | 0 |1702k| 0 | 1.000000e+00 | 2.892000e+03 | Large
1454.14/1454.14 c 1439s| 1730k|893589 | 0 | 0.0 | 884M| 863 | - |1800 | 95k| 0 | 0 | 0 |1712k| 0 | 1.000000e+00 | 2.892000e+03 | Large
1468.65/1468.69 c 1453s| 1740k|900822 | 0 | 0.0 | 893M| 863 | - |1800 | 95k| 0 | 0 | 0 |1722k| 0 | 1.000000e+00 | 2.892000e+03 | Large
1483.65/1483.62 c 1468s| 1750k|907946 | 0 | 0.0 | 903M| 863 | - |1800 | 95k| 0 | 0 | 0 |1732k| 0 | 1.000000e+00 | 2.892000e+03 | Large
1497.85/1497.82 o 2830
1497.85/1497.82 c *1482s| 1759k|901593 | 0 | 0.0 | 899M| 863 | - |1800 | 96k| 0 | 0 | 0 |1741k| 0 | 1.000000e+00 | 2.830000e+03 | Large
1497.85/1497.87 c 1483s| 1760k|901636 | 0 | 0.0 | 899M| 863 | - |1800 | 96k| 0 | 0 | 0 |1741k| 0 | 1.000000e+00 | 2.830000e+03 | Large
1513.44/1513.46 c 1498s| 1770k|908590 | 0 | 0.0 | 909M| 863 | - |1800 | 96k| 0 | 0 | 0 |1751k| 0 | 1.000000e+00 | 2.830000e+03 | Large
1528.85/1528.80 c 1513s| 1780k|915568 | 0 | 0.0 | 918M| 863 | - |1800 | 96k| 0 | 0 | 0 |1762k| 0 | 1.000000e+00 | 2.830000e+03 | Large
1544.34/1544.33 c 1529s| 1790k|922457 | 0 | 0.0 | 927M| 863 | - |1800 | 97k| 0 | 0 | 0 |1772k| 0 | 1.000000e+00 | 2.830000e+03 | Large
1559.96/1559.94 c 1544s| 1800k|929392 | 0 | 0.0 | 937M| 863 | - |1800 | 97k| 0 | 0 | 0 |1782k| 0 | 1.000000e+00 | 2.830000e+03 | Large
1576.15/1576.14 c 1560s| 1810k|936179 | 0 | 0.0 | 947M| 863 | - |1800 | 96k| 0 | 0 | 0 |1793k| 0 | 1.000000e+00 | 2.830000e+03 | Large
1593.45/1593.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.45/1593.47 c 1578s| 1820k|943028 | 0 | 0.0 | 956M| 863 | - |1800 | 96k| 0 | 0 | 0 |1804k| 0 | 1.000000e+00 | 2.830000e+03 | Large
1608.65/1608.61 o 2753
1608.65/1608.61 c *1593s| 1829k|932117 | 0 | 0.0 | 944M| 863 | - |1800 | 97k| 0 | 0 | 0 |1813k| 0 | 1.000000e+00 | 2.753000e+03 | Large
1609.65/1609.62 c 1594s| 1830k|932504 | 0 | 0.0 | 945M| 863 | - |1800 | 97k| 0 | 0 | 0 |1814k| 0 | 1.000000e+00 | 2.753000e+03 | Large
1626.45/1626.41 c 1610s| 1840k|939289 | 0 | 0.0 | 954M| 863 | - |1800 | 97k| 0 | 0 | 0 |1825k| 0 | 1.000000e+00 | 2.753000e+03 | Large
1644.56/1644.52 c 1628s| 1850k|945965 | 0 | 0.0 | 964M| 863 | - |1800 | 97k| 0 | 0 | 0 |1836k| 0 | 1.000000e+00 | 2.753000e+03 | Large
1649.66/1649.63 o 2642
1649.66/1649.63 c *1633s| 1852k|920187 | 0 | 0.0 | 930M| 863 | - |1800 | 97k| 0 | 0 | 0 |1839k| 0 | 1.000000e+00 | 2.642000e+03 | Large
1649.66/1649.65 o 2636
1649.66/1649.65 c *1633s| 1852k|918733 | 0 | 0.0 | 927M| 863 | - |1800 | 97k| 0 | 0 | 0 |1839k| 0 | 1.000000e+00 | 2.636000e+03 | Large
1660.75/1660.75 o 2595
1660.75/1660.75 c *1644s| 1858k|911617 | 0 | 0.0 | 914M| 863 | - |1800 | 97k| 0 | 0 | 0 |1846k| 0 | 1.000000e+00 | 2.595000e+03 | Large
1663.45/1663.43 c 1647s| 1860k|912461 | 0 | 0.0 | 915M| 863 | - |1800 | 97k| 0 | 0 | 0 |1847k| 0 | 1.000000e+00 | 2.595000e+03 | Large
1680.96/1680.92 c 1664s| 1870k|919290 | 0 | 0.0 | 924M| 863 | - |1800 | 98k| 0 | 0 | 0 |1858k| 0 | 1.000000e+00 | 2.595000e+03 | Large
1698.95/1698.92 c 1682s| 1880k|925831 | 0 | 0.0 | 933M| 863 | - |1800 | 99k| 0 | 0 | 0 |1869k| 0 | 1.000000e+00 | 2.595000e+03 | Large
1718.85/1718.88 c 1702s| 1890k|932172 | 0 | 0.0 | 943M| 863 | - |1800 | 99k| 0 | 0 | 0 |1881k| 0 | 1.000000e+00 | 2.595000e+03 | Large
1739.76/1739.79 c 1723s| 1900k|938569 | 0 | 0.0 | 953M| 863 | - |1800 | 100k| 0 | 0 | 0 |1893k| 0 | 1.000000e+00 | 2.595000e+03 | Large
1747.15/1747.17 o 2569
1747.15/1747.17 c *1730s| 1903k|933204 | 0 | 0.0 | 944M| 863 | - |1800 | 100k| 0 | 0 | 0 |1897k| 0 | 1.000000e+00 | 2.569000e+03 | Large
1759.96/1759.96 c 1743s| 1910k|937459 | 0 | 0.0 | 951M| 863 | - |1800 | 101k| 0 | 0 | 0 |1905k| 0 | 1.000000e+00 | 2.569000e+03 | Large
1780.26/1780.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.26/1780.23 c 1763s| 1920k|943757 | 0 | 0.0 | 961M| 863 | - |1800 | 102k| 0 | 0 | 0 |1917k| 0 | 1.000000e+00 | 2.569000e+03 | Large
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.01 c
1800.06/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.01 c Solving Time (sec) : 1783.03
1800.06/1800.01 c Solving Nodes : 1929236
1800.06/1800.01 c Primal Bound : +2.56900000000000e+03 (139 solutions)
1800.06/1800.01 c Dual Bound : +1.00000000000000e+00
1800.06/1800.01 c Gap : 256800.00 %
1800.06/1800.02 s SATISFIABLE
1800.06/1800.02 v -x200 x199 -x198 x197 x196 -x195 x194 -x193 x192 -x191 -x190 x189 -x188 x187 x186 -x185 -x184 x183 -x182 x181 -x180 x179 -x178
1800.06/1800.02 v x177 -x176 x175 -x174 x173 x172 -x171 -x170 x169 x168 -x167 -x166 x165 -x164 x163 -x162 x161 x160 -x159 -x158 x157 -x156 x155
1800.06/1800.02 v x154 -x153 x152 -x151 x150 -x149 -x148 x147 x146 -x145 -x144 x143 x142 -x141 -x140 x139 x138 -x137 x136 -x135 -x134 x133 x132
1800.06/1800.02 v -x131 x130 -x129 -x128 x127 x126 -x125 x124 -x123 -x122 x121 x120 -x119 -x118 x117 -x116 x115 x114 -x113 x112 -x111 -x110 x109
1800.06/1800.02 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
1800.06/1800.02 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
1800.06/1800.02 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
1800.06/1800.02 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
1800.06/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.02 c Solving Time : 1783.03
1800.06/1800.02 c Original Problem :
1800.06/1800.02 c Problem name : HOME/instance-2700082-1278533953.wbo
1800.06/1800.02 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.06/1800.02 c Constraints : 1801 initial, 1801 maximal
1800.06/1800.02 c Presolved Problem :
1800.06/1800.02 c Problem name : t_HOME/instance-2700082-1278533953.wbo
1800.06/1800.02 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.06/1800.02 c Constraints : 1700 initial, 109769 maximal
1800.06/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.02 c probing : 0.02 0 0 0 0 0 0 0 0
1800.06/1800.02 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.02 c linear : 0.01 0 100 0 850 0 101 0 0
1800.06/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.02 c root node : - 0 - - 0 - - - -
1800.06/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.02 c indicator : 850 0 4337633 0 1745107 3628 32982301 0 0 0
1800.06/1800.02 c linear : 850 0 4334037 0 1745057 37892 4229748 0 0 0
1800.06/1800.02 c logicor : 0+ 0 2913707 0 0 7609 2190136 0 0 0
1800.06/1800.02 c countsols : 0 0 0 0 1745159 0 0 0 0 0
1800.06/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.02 c indicator : 128.13 0.00 63.76 0.00 64.37
1800.06/1800.02 c linear : 104.36 0.00 103.08 0.00 1.28
1800.06/1800.02 c logicor : 641.87 0.00 641.87 0.00 0.00
1800.06/1800.02 c countsols : 0.32 0.00 0.00 0.00 0.32
1800.06/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.02 c vbounds : 0.98 2 0 0
1800.06/1800.02 c rootredcost : 0.91 0 0 0
1800.06/1800.02 c pseudoobj : 122.03 4549764 211938 32509991
1800.06/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.02 c propagation : 18.01 257439 257436 1717769 37.6 850930 3.8 -
1800.06/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.02 c pseudo solution : 0.27 1134 1134 9919 39.3 4818 4.1 -
1800.06/1800.02 c applied globally : - - - 1929267 19.3 - - -
1800.06/1800.02 c applied locally : - - - 12 114.7 - - -
1800.06/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.02 c redcost : 0.00 0 0 0 0 0
1800.06/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.02 c intobj : 0.00 0 0 0 0 0
1800.06/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.02 c gomory : 0.00 0 0 0 0 0
1800.06/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.02 c cmir : 0.00 0 0 0 0 0
1800.06/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.02 c clique : 0.00 0 0 0 0 0
1800.06/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.02 c mcf : 0.00 0 0 0 0 0
1800.06/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.02 c Pricers : Time Calls Vars
1800.06/1800.02 c problem variables: 0.00 0 0
1800.06/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.02 c inference : 109.92 1745022 0 0 0 0 3490044
1800.06/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.02 c random : 0.00 0 0 0 0 0 0
1800.06/1800.02 c Primal Heuristics : Time Calls Found
1800.06/1800.02 c LP solutions : 0.00 - 0
1800.06/1800.02 c pseudo solutions : 1.37 - 137
1800.06/1800.02 c oneopt : 0.76 0 0
1800.06/1800.02 c trivial : 0.00 2 1
1800.06/1800.02 c simplerounding : 0.00 0 0
1800.06/1800.02 c zirounding : 0.00 0 0
1800.06/1800.02 c rounding : 0.00 0 0
1800.06/1800.02 c shifting : 0.00 0 0
1800.06/1800.02 c intshifting : 0.00 0 0
1800.06/1800.02 c twoopt : 0.00 0 0
1800.06/1800.02 c fixandinfer : 0.00 0 0
1800.06/1800.02 c feaspump : 0.00 0 0
1800.06/1800.02 c coefdiving : 0.00 0 0
1800.06/1800.02 c pscostdiving : 0.00 0 0
1800.06/1800.02 c fracdiving : 0.00 0 0
1800.06/1800.02 c veclendiving : 0.00 0 0
1800.06/1800.02 c intdiving : 0.00 0 0
1800.06/1800.02 c actconsdiving : 0.00 0 0
1800.06/1800.02 c objpscostdiving : 0.00 0 0
1800.06/1800.02 c rootsoldiving : 0.00 0 0
1800.06/1800.02 c linesearchdiving : 0.00 0 0
1800.06/1800.02 c guideddiving : 0.00 0 0
1800.06/1800.02 c octane : 0.00 0 0
1800.06/1800.02 c rens : 0.00 0 0
1800.06/1800.02 c rins : 0.00 0 0
1800.06/1800.02 c localbranching : 0.00 0 0
1800.06/1800.02 c mutation : 0.00 0 0
1800.06/1800.02 c crossover : 0.00 0 0
1800.06/1800.02 c dins : 0.00 0 0
1800.06/1800.02 c undercover : 0.00 0 0
1800.06/1800.02 c nlp : 0.57 0 0
1800.06/1800.02 c trysol : 0.46 1 1
1800.06/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.02 c (at root node) : - 0 0 0.00 -
1800.06/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.02 c B&B Tree :
1800.06/1800.02 c number of runs : 1
1800.06/1800.02 c nodes : 1929236
1800.06/1800.02 c nodes (total) : 1929236
1800.06/1800.02 c nodes left : 949540
1800.06/1800.02 c max depth : 863
1800.06/1800.02 c max depth (total): 863
1800.06/1800.02 c backtracks : 84931 (4.4%)
1800.06/1800.02 c delayed cutoffs : 78185
1800.06/1800.02 c repropagations : 336719 (19057370 domain reductions, 78124 cutoffs)
1800.06/1800.02 c avg switch length: 4.01
1800.06/1800.02 c switching time : 422.28
1800.06/1800.02 c Solution :
1800.06/1800.02 c Solutions found : 139 (138 improvements)
1800.06/1800.02 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.06/1800.02 c Primal Bound : +2.56900000000000e+03 (in run 1, after 1903367 nodes, 1730.40 seconds, depth 227, found by <relaxation>)
1800.06/1800.02 c Dual Bound : +1.00000000000000e+00
1800.06/1800.02 c Gap : 256800.00 %
1800.06/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.02 c Root Iterations : 0
OK 2568
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700082-1278533953/watcher-2700082-1278533953 -o /tmp/evaluation-result-2700082-1278533953/solver-2700082-1278533953 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700082-1278533953.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.61 0.57 0.20 4/178 19633 /proc/meminfo: memFree=28726220/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=8272 CPUtime=0 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 1554 0 0 0 0 0 0 0 24 0 1 0 21610078 8470528 1477 4089446400 4194304 7136930 140735296522512 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19633/statm: 2068 1477 275 719 0 1347 0 [startup+0.104742 s] /proc/loadavg: 1.61 0.57 0.20 4/178 19633 /proc/meminfo: memFree=28726220/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=20504 CPUtime=0.09 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 5608 0 0 0 9 0 0 0 24 0 1 0 21610078 20996096 4406 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 5126 4406 387 719 0 4405 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20504 [startup+0.200722 s] /proc/loadavg: 1.61 0.57 0.20 4/178 19633 /proc/meminfo: memFree=28726220/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=21076 CPUtime=0.19 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 5744 0 0 0 18 1 0 0 24 0 1 0 21610078 21581824 4542 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 5269 4542 393 719 0 4548 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 21076 [startup+0.300711 s] /proc/loadavg: 1.61 0.57 0.20 4/178 19633 /proc/meminfo: memFree=28726220/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=21828 CPUtime=0.29 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 5934 0 0 0 28 1 0 0 25 0 1 0 21610078 22351872 4732 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 5457 4732 393 719 0 4736 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21828 [startup+0.700643 s] /proc/loadavg: 1.61 0.57 0.20 4/178 19633 /proc/meminfo: memFree=28726220/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=23424 CPUtime=0.69 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 6350 0 0 0 66 3 0 0 25 0 1 0 21610078 23986176 5148 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 5856 5148 393 719 0 5135 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23424 [startup+1.50049 s] /proc/loadavg: 1.61 0.57 0.20 3/179 19634 /proc/meminfo: memFree=28705184/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=26784 CPUtime=1.49 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 7187 0 0 0 143 6 0 0 25 0 1 0 21610078 27426816 5985 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 6696 5985 394 719 0 5975 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26784 [startup+3.10019 s] /proc/loadavg: 1.61 0.57 0.20 3/179 19634 /proc/meminfo: memFree=28701960/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=32208 CPUtime=3.09 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 8600 0 0 0 297 12 0 0 25 0 1 0 21610078 32980992 7398 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 8052 7398 394 719 0 7331 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32208 [startup+6.30057 s] /proc/loadavg: 1.64 0.59 0.21 3/179 19634 /proc/meminfo: memFree=28691668/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=41132 CPUtime=6.3 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 10896 0 0 0 605 25 0 0 25 0 1 0 21610078 42119168 9694 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 10283 9694 394 719 0 9562 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 41132 [startup+12.7003 s] /proc/loadavg: 1.67 0.62 0.22 3/179 19634 /proc/meminfo: memFree=28667200/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=63972 CPUtime=12.69 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 16595 0 0 0 1222 47 0 0 25 0 1 0 21610078 65507328 15393 4089446400 4194304 7136930 140735296522512 18446744073709551615 4652809 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 15993 15393 394 719 0 15272 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63972 [startup+25.5009 s] /proc/loadavg: 1.74 0.68 0.25 3/179 19635 /proc/meminfo: memFree=28635572/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=97468 CPUtime=25.5 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 24462 0 0 0 2465 85 0 0 25 0 1 0 21610078 99807232 23260 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 24367 23260 394 719 0 23646 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 97468 [startup+51.101 s] /proc/loadavg: 1.83 0.79 0.29 3/179 19636 /proc/meminfo: memFree=28585728/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=146900 CPUtime=51.09 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 36692 0 0 0 4956 153 0 0 25 0 1 0 21610078 150425600 35490 4089446400 4194304 7136930 140735296522512 18446744073709551615 6166194 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 36725 35490 394 719 0 36004 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 146900 [startup+102.3 s] /proc/loadavg: 1.92 0.97 0.38 3/179 19637 /proc/meminfo: memFree=28497388/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=239824 CPUtime=102.3 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 58455 0 0 0 9956 274 0 0 25 0 1 0 21610078 245579776 57253 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 59956 57253 394 719 0 59235 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 239824 [startup+162.301 s] /proc/loadavg: 1.97 1.16 0.48 3/179 19638 /proc/meminfo: memFree=28423408/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=314320 CPUtime=162.3 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 76923 0 0 0 15834 396 0 0 25 0 1 0 21610078 321863680 75721 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 78580 75721 394 719 0 77859 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 314320 [startup+222.305 s] /proc/loadavg: 1.99 1.31 0.57 3/179 19640 /proc/meminfo: memFree=28363204/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=382976 CPUtime=222.3 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 91839 0 0 0 21726 504 0 0 25 0 1 0 21610078 392167424 90637 4089446400 4194304 7136930 140735296522512 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 95744 90637 394 719 0 95023 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 382976 [startup+282.301 s] /proc/loadavg: 1.99 1.43 0.66 3/179 19642 /proc/meminfo: memFree=28307208/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=440168 CPUtime=282.3 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 105859 0 0 0 27634 596 0 0 25 0 1 0 21610078 450732032 104657 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 110042 104657 394 719 0 109321 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 440168 [startup+342.301 s] /proc/loadavg: 1.99 1.53 0.74 3/179 19758 /proc/meminfo: memFree=28202108/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=493836 CPUtime=342.3 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 119098 0 0 0 33553 677 0 0 25 0 1 0 21610078 505688064 117896 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 123459 117896 394 719 0 122738 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 493836 [startup+402.3 s] /proc/loadavg: 1.99 1.61 0.81 3/179 19760 /proc/meminfo: memFree=28095800/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=551676 CPUtime=402.3 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 132955 0 0 0 39484 746 0 0 25 0 1 0 21610078 564916224 131753 4089446400 4194304 7136930 140735296522512 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 137919 131753 394 719 0 137198 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 551676 [startup+462.301 s] /proc/loadavg: 1.99 1.68 0.88 3/179 19761 /proc/meminfo: memFree=28031884/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=566172 CPUtime=462.3 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 136218 0 0 0 45424 806 0 0 25 0 1 0 21610078 579760128 135016 4089446400 4194304 7136930 140735296522512 18446744073709551615 4999777 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 141543 135016 394 719 0 140822 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 566172 [startup+522.3 s] /proc/loadavg: 2.07 1.75 0.96 3/179 19763 /proc/meminfo: memFree=27974548/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=581728 CPUtime=522.3 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 139424 0 0 0 51364 866 0 0 25 0 1 0 21610078 595689472 138222 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 145432 138222 394 719 0 144711 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 581728 [startup+582.301 s] /proc/loadavg: 2.02 1.80 1.02 3/179 19765 /proc/meminfo: memFree=27913252/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=607936 CPUtime=582.31 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 144374 0 0 0 57307 924 0 0 25 0 1 0 21610078 622526464 143172 4089446400 4194304 7136930 140735296522512 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 151984 143172 394 719 0 151263 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 607936 [startup+642.3 s] /proc/loadavg: 2.01 1.83 1.08 3/179 19766 /proc/meminfo: memFree=27858156/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=637416 CPUtime=642.31 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 150695 0 0 0 63253 978 0 0 25 0 1 0 21610078 652713984 149493 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 159354 149493 394 719 0 158633 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 637416 [startup+702.301 s] ################ # More data... # ################ /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 208596 0 0 0 104936 1297 0 0 25 0 1 0 21610078 926937088 207394 4089446400 4194304 7136930 140735296522512 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 226303 207394 394 719 0 225582 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 905212 [startup+1122.3 s] /proc/loadavg: 2.00 1.96 1.44 3/179 19779 /proc/meminfo: memFree=27234716/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=943292 CPUtime=1122.33 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 216607 0 0 0 110902 1331 0 0 25 0 1 0 21610078 965931008 215405 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 235823 215405 394 719 0 235102 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 943292 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.47 3/179 19781 /proc/meminfo: memFree=27169568/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=972988 CPUtime=1182.33 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 223397 0 0 0 116870 1363 0 0 25 0 1 0 21610078 996339712 222195 4089446400 4194304 7136930 140735296522512 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 243247 222195 394 719 0 242526 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 972988 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.50 3/179 19782 /proc/meminfo: memFree=27087688/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1001284 CPUtime=1242.34 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 229463 0 0 0 122840 1394 0 0 25 0 1 0 21610078 1025314816 228261 4089446400 4194304 7136930 140735296522512 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 250321 228261 394 719 0 249600 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 1001284 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.53 3/179 19784 /proc/meminfo: memFree=27028256/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1021416 CPUtime=1302.34 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 234016 0 0 0 128812 1422 0 0 25 0 1 0 21610078 1045929984 232814 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 255354 232814 394 719 0 254633 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1021416 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.56 3/179 19785 /proc/meminfo: memFree=26952204/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1048948 CPUtime=1362.34 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 240056 0 0 0 134784 1450 0 0 25 0 1 0 21610078 1074122752 238854 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 262237 238854 394 719 0 261516 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1048948 [startup+1422.3 s] /proc/loadavg: 2.00 1.97 1.58 3/179 19787 /proc/meminfo: memFree=26846388/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1102040 CPUtime=1422.35 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 251630 0 0 0 140741 1494 0 0 25 0 1 0 21610078 1128488960 250428 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 275510 250428 394 719 0 274789 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 1102040 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.60 3/179 19789 /proc/meminfo: memFree=26783112/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1134668 CPUtime=1482.34 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 258466 0 0 0 146703 1531 0 0 25 0 1 0 21610078 1161900032 257264 4089446400 4194304 7136930 140735296522512 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 283667 257264 394 719 0 282946 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1134668 [startup+1542.31 s] /proc/loadavg: 2.00 1.97 1.63 3/179 19790 /proc/meminfo: memFree=26714256/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1171008 CPUtime=1542.36 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 265721 0 0 0 152669 1567 0 0 25 0 1 0 21610078 1199112192 264519 4089446400 4194304 7136930 140735296522512 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 292752 264519 394 719 0 292031 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 1171008 [startup+1602.3 s] /proc/loadavg: 2.00 1.97 1.65 3/179 19792 /proc/meminfo: memFree=26638688/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1207480 CPUtime=1602.35 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 273916 0 0 0 158632 1603 0 0 25 0 1 0 21610078 1236459520 272714 4089446400 4194304 7136930 140735296522512 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 301870 272714 394 719 0 301149 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 1207480 [startup+1662.3 s] /proc/loadavg: 2.00 1.97 1.66 3/179 19793 /proc/meminfo: memFree=26576524/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1227412 CPUtime=1662.36 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 278154 0 0 0 164600 1636 0 0 25 0 1 0 21610078 1256869888 276952 4089446400 4194304 7136930 140735296522512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 306853 276952 394 719 0 306132 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 1227412 [startup+1722.3 s] /proc/loadavg: 2.00 1.97 1.68 3/179 19795 /proc/meminfo: memFree=26534696/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1234312 CPUtime=1722.35 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 279593 0 0 0 170566 1669 0 0 25 0 1 0 21610078 1263935488 278391 4089446400 4194304 7136930 140735296522512 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 308578 278391 394 719 0 307857 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 1234312 [startup+1782.3 s] /proc/loadavg: 2.00 1.97 1.70 3/179 19797 /proc/meminfo: memFree=26464216/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1247384 CPUtime=1782.35 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 282299 0 0 0 176539 1696 0 0 25 0 1 0 21610078 1277321216 281097 4089446400 4194304 7136930 140735296522512 18446744073709551615 4209068 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 311846 281097 394 719 0 311125 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1247384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 1.99 1.71 3/179 19797 /proc/meminfo: memFree=26445736/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1249124 CPUtime=1800.06 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 282762 0 0 0 178303 1703 0 0 25 0 1 0 21610078 1279102976 281560 4089446400 4194304 7136930 140735296522512 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19633/statm: 312281 281560 394 719 0 311560 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1249124 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -19633 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.06 1.99 1.71 3/180 19798 /proc/meminfo: memFree=26445104/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1249124 CPUtime=1800.76 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 282768 0 0 0 178373 1703 0 0 25 0 1 0 21610078 1279102976 281566 4089446400 4194304 7136930 140735296522512 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19633/statm: 312281 281566 400 719 0 311560 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (KiB) 1249124 [startup+1801.5 s] /proc/loadavg: 2.06 1.99 1.71 3/180 19798 /proc/meminfo: memFree=26445104/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1249124 CPUtime=1801.56 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 282768 0 0 0 178453 1703 0 0 25 0 1 0 21610078 1279102976 281566 4089446400 4194304 7136930 140735296522512 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19633/statm: 312281 281566 400 719 0 311560 0 Current children cumulated CPU time (s) 1801.56 Current children cumulated vsize (KiB) 1249124 [startup+1801.91 s] /proc/loadavg: 2.06 1.99 1.71 3/180 19798 /proc/meminfo: memFree=26444236/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1161220 CPUtime=1801.96 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 282768 0 0 0 178493 1703 0 0 25 0 1 0 21610078 1189089280 259590 4089446400 4194304 7136930 140735296522512 18446744073709551615 4383992 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19633/statm: 290305 259590 400 719 0 289584 0 Current children cumulated CPU time (s) 1801.96 Current children cumulated vsize (KiB) 1161220 [startup+1802 s] /proc/loadavg: 2.06 1.99 1.71 3/180 19798 /proc/meminfo: memFree=26444236/32950928 swapFree=67111528/67111528 [pid=19633] ppid=19631 vsize=1156888 CPUtime=1802.05 /proc/19633/stat : 19633 (pbscip.linux.x8) R 19631 19633 19069 0 -1 4202496 282768 0 0 0 178502 1703 0 0 25 0 1 0 21610078 1184653312 258507 4089446400 4194304 7136930 140735296522512 18446744073709551615 6165654 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19633/statm: 289222 258507 400 719 0 288501 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 1156888 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.04 CPU time (s): 1802.11 CPU user time (s): 1785.03 CPU system time (s): 17.0754 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 1249124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.03 system time used= 17.0754 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282768 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= 1755 runsolver used 2.54861 second user time and 5.81712 second system time The end
Begin job on node114 at 2010-07-07 22:19:13 IDJOB=2700082 IDBENCH=79398 IDSOLVER=1206 FILE ID=node114/2700082-1278533953 PBS_JOBID= 11239249 Free space on /tmp= 73160 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh19_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-2700082-1278533953/watcher-2700082-1278533953 -o /tmp/evaluation-result-2700082-1278533953/solver-2700082-1278533953 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700082-1278533953.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= af72756a7b8194161c8db176c46da286 RANDOM SEED=666712955 node114.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.824 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.64 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.824 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 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.83 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.824 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.81 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.824 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 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.824 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.824 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: 28726748 kB Buffers: 134052 kB Cached: 3859064 kB SwapCached: 0 kB Active: 1279384 kB Inactive: 2786816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28726748 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3148 kB Writeback: 0 kB AnonPages: 73264 kB Mapped: 15560 kB Slab: 96100 kB PageTables: 4760 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 215220 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= 73156 MiB End job on node114 at 2010-07-07 22:49:15