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.13 | 1802.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo |
| MD5SUM | f08844d42f277d14946ba79cfba06e67 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 107.679 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 1788 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 89002 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 89001 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 671 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-2694097-1277905172.wbo>
0.02/0.03 c original problem has 3807 variables (2019 bin, 0 int, 0 impl, 1788 cont) and 4496 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/0.03 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.02/0.05 c presolving:
0.02/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1928 impls, 11 clqs
0.02/0.09 c (round 2) 0 del vars, 71 del conss, 1788 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1928 impls, 11 clqs
0.09/0.10 c (round 3) 54 del vars, 152 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 0 upgd conss, 1928 impls, 11 clqs
0.09/0.11 c (round 4) 126 del vars, 170 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 894 upgd conss, 1928 impls, 11 clqs
0.09/0.12 c (round 5) 144 del vars, 170 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 894 upgd conss, 1928 impls, 11 clqs
0.09/0.18 c (0.1s) probing: 101/1947 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (6 rounds):
0.09/0.18 c 144 deleted vars, 170 deleted constraints, 1806 tightened bounds, 0 added holes, 81 changed sides, 0 changed coefficients
0.09/0.18 c 1928 implications, 11 cliques
0.09/0.18 c presolved problem has 3663 variables (1947 bin, 0 int, 0 impl, 1716 cont) and 4326 constraints
0.09/0.18 c 1716 constraints of type <indicator>
0.09/0.18 c 11 constraints of type <setppc>
0.09/0.18 c 1716 constraints of type <linear>
0.09/0.18 c 883 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3663 |4326 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.47 o 730
1.39/1.47 c * 1.4s| 4982 | 4518 | 0 | 0.0 | 16M|1895 | - |3663 |5047 | 0 | 0 | 0 | 968 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
2.79/2.86 c 2.8s| 10000 | 9200 | 0 | 0.0 | 19M|1895 | - |3663 |5223 | 0 | 0 | 0 |2009 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
5.79/5.81 c 5.6s| 20000 | 17325 | 0 | 0.0 | 28M|1895 | - |3663 |6036 | 0 | 0 | 0 |8016 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
10.09/10.12 c 9.8s| 30000 | 23536 | 0 | 0.0 | 39M|1895 | - |3663 |8417 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.300000e+02 | Inf
13.69/13.78 c 13.4s| 40000 | 33004 | 0 | 0.0 | 42M|1895 | - |3663 |5965 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 7.300000e+02 | Inf
16.89/16.97 o 482
16.89/16.97 c *16.6s| 49885 | 36399 | 0 | 0.0 | 44M|1895 | - |3663 |5419 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.820000e+02 | Inf
16.89/16.97 o 399
16.89/16.97 c *16.6s| 49886 | 34315 | 0 | 0.0 | 43M|1895 | - |3663 |5419 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.990000e+02 | Inf
16.99/17.01 c 16.6s| 50000 | 34429 | 0 | 0.0 | 43M|1895 | - |3663 |5399 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.990000e+02 | Inf
17.29/17.37 o 388
17.29/17.37 c *16.9s| 50945 | 35089 | 0 | 0.0 | 44M|1895 | - |3663 |5372 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.880000e+02 | Inf
17.40/17.42 o 366
17.40/17.42 c *17.0s| 51054 | 34781 | 0 | 0.0 | 44M|1895 | - |3663 |5373 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.660000e+02 | Inf
17.40/17.44 o 365
17.40/17.44 c *17.0s| 51077 | 34783 | 0 | 0.0 | 44M|1895 | - |3663 |5372 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.650000e+02 | Inf
17.40/17.49 o 327
17.40/17.49 c *17.1s| 51223 | 34001 | 0 | 0.0 | 44M|1895 | - |3663 |5372 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.270000e+02 | Inf
17.40/17.50 o 232
17.40/17.50 c *17.1s| 51224 | 31422 | 0 | 0.0 | 42M|1895 | - |3663 |5372 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
17.50/17.54 o 184
17.50/17.54 c *17.1s| 51325 | 30770 | 0 | 0.0 | 42M|1895 | - |3663 |5357 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
17.69/17.74 o 158
17.69/17.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.69/17.74 c *17.3s| 51794 | 30337 | 0 | 0.0 | 42M|1895 | - |3663 |5380 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.580000e+02 | Inf
17.69/17.74 o 144
17.69/17.74 c *17.3s| 51795 | 30225 | 0 | 0.0 | 42M|1895 | - |3663 |5380 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
18.19/18.26 o 129
18.19/18.26 c *17.8s| 52930 | 31197 | 0 | 0.0 | 44M|1895 | - |3663 |5486 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.290000e+02 | Inf
18.19/18.29 o 124
18.19/18.29 c *17.9s| 52983 | 31122 | 0 | 0.0 | 44M|1895 | - |3663 |5491 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
18.29/18.34 o 118
18.29/18.34 c *17.9s| 53084 | 31129 | 0 | 0.0 | 44M|1895 | - |3663 |5471 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
18.29/18.34 o 103
18.29/18.34 c *17.9s| 53085 | 30759 | 0 | 0.0 | 44M|1895 | - |3663 |5471 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
18.39/18.43 o 67
18.39/18.43 c *18.0s| 53265 | 28095 | 0 | 0.0 | 42M|1895 | - |3663 |5462 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
18.39/18.49 o 51
18.39/18.49 c *18.1s| 53426 | 27899 | 0 | 0.0 | 42M|1895 | - |3663 |5427 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
18.49/18.52 o 44
18.49/18.52 c *18.1s| 53515 | 27774 | 0 | 0.0 | 42M|1895 | - |3663 |5421 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
18.49/18.53 o 35
18.49/18.53 c *18.1s| 53516 | 27497 | 0 | 0.0 | 42M|1895 | - |3663 |5421 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
18.49/18.55 o 30
18.49/18.55 c *18.1s| 53584 | 27418 | 0 | 0.0 | 42M|1895 | - |3663 |5399 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
18.49/18.55 o 27
18.49/18.55 c *18.1s| 53585 | 27295 | 0 | 0.0 | 42M|1895 | - |3663 |5399 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
18.49/18.58 o 15
18.49/18.58 c *18.1s| 53657 | 26896 | 0 | 0.0 | 43M|1895 | - |3663 |5383 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
18.49/18.58 o 12
18.49/18.58 c *18.1s| 53658 | 26741 | 0 | 0.0 | 42M|1895 | - |3663 |5383 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
21.58/21.60 c 21.1s| 60000 | 32121 | 0 | 0.0 | 76M|1895 | - |3663 |5999 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
25.29/25.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.29/25.32 c 24.7s| 70000 | 40492 | 0 | 0.0 | 102M|1895 | - |3663 |6508 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
28.78/28.88 c 28.2s| 80000 | 47993 | 0 | 0.0 | 112M|1895 | - |3663 |8426 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
32.79/32.84 c 32.1s| 90000 | 55145 | 0 | 0.0 | 122M|1895 | - |3663 |8906 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
36.89/36.93 c 36.0s|100000 | 62133 | 0 | 0.0 | 131M|1895 | - |3663 |9462 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
41.29/41.35 c 40.4s|110000 | 68736 | 0 | 0.0 | 140M|1895 | - |3663 |9351 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
45.99/46.07 c 45.0s|120000 | 75038 | 0 | 0.0 | 149M|1895 | - |3663 |9641 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
51.09/51.13 c 50.0s|130000 | 80911 | 0 | 0.0 | 159M|1895 | - |3663 | 10k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
56.39/56.40 c 55.1s|140000 | 86493 | 0 | 0.0 | 169M|1895 | - |3663 | 10k| 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
61.59/61.69 c 60.3s|150000 | 92105 | 0 | 0.0 | 179M|1895 | - |3663 | 10k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
67.49/67.56 c 66.1s|160000 | 97209 | 0 | 0.0 | 189M|1895 | - |3663 | 12k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
73.99/74.00 c 72.4s|170000 |101986 | 0 | 0.0 | 198M|1895 | - |3663 | 12k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
81.39/81.43 c 79.7s|180000 |105863 | 0 | 0.0 | 209M|1895 | - |3663 | 16k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
90.99/91.04 c 89.2s|190000 |107802 | 0 | 0.0 | 217M|1895 | - |3663 | 12k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
95.39/95.49 c 93.5s|200000 |116211 | 0 | 0.0 | 228M|1895 | - |3663 |6874 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
99.99/100.01 c 97.9s|210000 |124344 | 0 | 0.0 | 237M|1895 | - |3663 |7624 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
106.09/106.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.09/106.10 c 104s|220000 |131534 | 0 | 0.0 | 248M|1895 | - |3663 |8765 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
114.39/114.43 c 112s|230000 |137404 | 0 | 0.0 | 261M|1895 | - |3663 | 10k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
123.79/123.85 c 121s|240000 |142915 | 0 | 0.0 | 279M|1895 | - |3663 |8925 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
129.59/129.69 c 127s|250000 |149948 | 0 | 0.0 | 291M|1895 | - |3663 |9505 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
131.09/131.16 o 4
131.09/131.16 c * 128s|252314 |147804 | 0 | 0.0 | 284M|1895 | - |3663 |9500 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
136.10/136.19 c 133s|260000 |153359 | 0 | 0.0 | 302M|1895 | - |3663 |9573 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
142.79/142.88 c 140s|270000 |160207 | 0 | 0.0 | 317M|1895 | - |3663 |6268 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
146.89/146.96 c 144s|280000 |167175 | 0 | 0.0 | 325M|1895 | - |3663 |5824 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
150.89/150.95 c 148s|290000 |174346 | 0 | 0.0 | 333M|1895 | - |3663 |5811 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
154.79/154.87 c 152s|300000 |181603 | 0 | 0.0 | 341M|1895 | - |3663 |5949 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
158.80/158.89 c 156s|310000 |188768 | 0 | 0.0 | 349M|1895 | - |3663 |6030 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
162.99/163.09 c 160s|320000 |195703 | 0 | 0.0 | 357M|1895 | - |3663 |6433 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
166.49/166.51 c 163s|330000 |203658 | 0 | 0.0 | 365M|1895 | - |3663 |6049 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
171.40/171.48 c 168s|340000 |209561 | 0 | 0.0 | 374M|1895 | - |3663 |8399 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
174.69/174.78 c 171s|350000 |217727 | 0 | 0.0 | 381M|1895 | - |3663 |6161 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
179.09/179.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.09/179.13 c 175s|360000 |224419 | 0 | 0.0 | 391M|1895 | - |3663 |8010 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
182.99/183.05 c 179s|370000 |231677 | 0 | 0.0 | 398M|1895 | - |3663 |6751 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
186.90/186.95 c 183s|380000 |238843 | 0 | 0.0 | 406M|1895 | - |3663 |6457 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
190.40/190.41 c 186s|390000 |246400 | 0 | 0.0 | 413M|1895 | - |3663 |6214 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
193.89/193.98 c 190s|400000 |253824 | 0 | 0.0 | 421M|1895 | - |3663 |6126 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
197.09/197.11 c 193s|410000 |261880 | 0 | 0.0 | 429M|1895 | - |3663 |6484 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
201.40/201.47 c 197s|420000 |268222 | 0 | 0.0 | 437M|1895 | - |3663 |6330 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
204.70/204.72 c 200s|430000 |276342 | 0 | 0.0 | 444M|1895 | - |3663 |4403 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
207.59/207.64 c 203s|440000 |284734 | 0 | 0.0 | 452M|1895 | - |3663 |4373 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
211.50/211.52 c 207s|450000 |291838 | 0 | 0.0 | 460M|1895 | - |3663 |5545 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
216.20/216.27 c 211s|460000 |297966 | 0 | 0.0 | 469M|1895 | - |3663 |6291 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
220.79/220.87 c 216s|470000 |304290 | 0 | 0.0 | 478M|1895 | - |3663 |6935 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
225.79/225.84 c 221s|480000 |310280 | 0 | 0.0 | 487M|1895 | - |3663 |7252 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
231.09/231.11 c 226s|490000 |315960 | 0 | 0.0 | 496M|1895 | - |3663 |7731 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
236.29/236.40 c 231s|500000 |321699 | 0 | 0.0 | 504M|1895 | - |3663 |7679 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
242.50/242.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.50/242.55 c 237s|510000 |326432 | 0 | 0.0 | 514M|1895 | - |3663 |8312 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
248.50/248.52 c 243s|520000 |331402 | 0 | 0.0 | 523M|1895 | - |3663 |8382 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
254.69/254.78 c 249s|530000 |336135 | 0 | 0.0 | 532M|1895 | - |3663 |8603 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
261.40/261.41 c 256s|540000 |340415 | 0 | 0.0 | 541M|1895 | - |3663 |8960 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
267.99/268.04 c 262s|550000 |344623 | 0 | 0.0 | 550M|1895 | - |3663 |9055 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
274.90/274.91 c 269s|560000 |348634 | 0 | 0.0 | 558M|1895 | - |3663 |8661 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
281.50/281.58 c 276s|570000 |352765 | 0 | 0.0 | 566M|1895 | - |3663 |8061 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
288.10/288.17 c 282s|580000 |356941 | 0 | 0.0 | 574M|1895 | - |3663 |7614 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
294.71/294.71 c 288s|590000 |361025 | 0 | 0.0 | 583M|1895 | - |3663 |7959 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
301.20/301.24 c 295s|600000 |365111 | 0 | 0.0 | 592M|1895 | - |3663 |8357 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
307.79/307.80 c 301s|610000 |369098 | 0 | 0.0 | 600M|1895 | - |3663 |8601 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
314.40/314.47 c 308s|620000 |372866 | 0 | 0.0 | 608M|1895 | - |3663 |8913 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
321.10/321.13 c 314s|630000 |376759 | 0 | 0.0 | 616M|1895 | - |3663 |8781 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
327.50/327.57 c 321s|640000 |380910 | 0 | 0.0 | 623M|1895 | - |3663 |8544 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
334.00/334.00 c 327s|650000 |385209 | 0 | 0.0 | 631M|1895 | - |3663 |7978 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
340.80/340.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.80/340.80 c 334s|660000 |388869 | 0 | 0.0 | 639M|1895 | - |3663 |9442 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
347.80/347.87 c 341s|670000 |392288 | 0 | 0.0 | 647M|1895 | - |3663 |9668 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
355.21/355.22 c 348s|680000 |395478 | 0 | 0.0 | 654M|1895 | - |3663 |9893 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
362.60/362.62 c 355s|690000 |398677 | 0 | 0.0 | 661M|1895 | - |3663 |7723 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
370.00/370.05 c 362s|700000 |400941 | 0 | 0.0 | 668M|1895 | - |3663 |8696 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
378.80/378.89 c 371s|710000 |401413 | 0 | 0.0 | 675M|1895 | - |3663 | 10k| 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
388.60/388.68 c 381s|720000 |400968 | 0 | 0.0 | 680M|1895 | - |3663 | 11k| 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
399.40/399.45 c 391s|730000 |399221 | 0 | 0.0 | 683M|1895 | - |3663 | 12k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
411.70/411.75 c 404s|740000 |395997 | 0 | 0.0 | 683M|1895 | - |3663 | 15k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
422.41/422.43 c 414s|750000 |396364 | 0 | 0.0 | 678M|1895 | - |3663 |7155 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
426.10/426.13 c 418s|760000 |404284 | 0 | 0.0 | 685M|1895 | - |3663 |5015 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
429.60/429.68 c 421s|770000 |412178 | 0 | 0.0 | 693M|1895 | - |3663 |5295 | 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
433.10/433.16 c 425s|780000 |420111 | 0 | 0.0 | 701M|1895 | - |3663 |5592 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
436.71/436.78 c 428s|790000 |427852 | 0 | 0.0 | 708M|1895 | - |3663 |5744 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
440.50/440.56 c 432s|800000 |435454 | 0 | 0.0 | 716M|1895 | - |3663 |6045 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
444.41/444.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.41/444.43 c 436s|810000 |442885 | 0 | 0.0 | 724M|1895 | - |3663 |6294 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
448.71/448.79 c 440s|820000 |449828 | 0 | 0.0 | 732M|1895 | - |3663 |6781 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
453.21/453.21 c 444s|830000 |456696 | 0 | 0.0 | 741M|1895 | - |3663 |6991 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
458.01/458.07 c 449s|840000 |463087 | 0 | 0.0 | 750M|1895 | - |3663 |7416 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
463.01/463.10 c 454s|850000 |469284 | 0 | 0.0 | 759M|1895 | - |3663 |7866 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
468.91/468.94 c 459s|860000 |474677 | 0 | 0.0 | 768M|1895 | - |3663 |8360 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
474.60/474.68 c 465s|870000 |480237 | 0 | 0.0 | 778M|1895 | - |3663 |8470 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
481.10/481.10 c 471s|880000 |485018 | 0 | 0.0 | 787M|1895 | - |3663 |8891 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
487.51/487.51 c 478s|890000 |489905 | 0 | 0.0 | 797M|1895 | - |3663 |9058 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
494.70/494.70 c 485s|900000 |493971 | 0 | 0.0 | 806M|1895 | - |3663 |9705 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
502.61/502.66 c 492s|910000 |497284 | 0 | 0.0 | 815M|1895 | - |3663 | 10k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
511.41/511.41 c 501s|920000 |499931 | 0 | 0.0 | 824M|1895 | - |3663 | 11k| 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
521.30/521.31 c 511s|930000 |501725 | 0 | 0.0 | 832M|1895 | - |3663 | 12k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
532.31/532.39 c 522s|940000 |502704 | 0 | 0.0 | 839M|1895 | - |3663 | 13k| 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
546.91/546.96 c 536s|950000 |501028 | 0 | 0.0 | 844M|1895 | - |3663 | 14k| 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
553.50/553.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.50/553.54 c 543s|960000 |506402 | 0 | 0.0 | 848M|1895 | - |3663 |6857 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
557.71/557.74 c 547s|970000 |513507 | 0 | 0.0 | 856M|1895 | - |3663 |7173 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
562.01/562.03 c 551s|980000 |520440 | 0 | 0.0 | 864M|1895 | - |3663 |8191 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
567.30/567.35 c 556s|990000 |526447 | 0 | 0.0 | 873M|1895 | - |3663 |9294 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
574.01/574.08 c 563s| 1000k|531072 | 0 | 0.0 | 884M|1895 | - |3663 | 10k| 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
581.51/581.54 c 570s| 1010k|535138 | 0 | 0.0 | 894M|1895 | - |3663 | 12k| 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
589.61/589.69 c 578s| 1020k|538678 | 0 | 0.0 | 903M|1895 | - |3663 | 13k| 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
596.81/596.82 c 585s| 1030k|543456 | 0 | 0.0 | 910M|1895 | - |3663 | 11k| 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
602.91/602.90 c 591s| 1040k|549085 | 0 | 0.0 | 917M|1895 | - |3663 |9701 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
608.32/608.32 c 596s| 1050k|555175 | 0 | 0.0 | 925M|1895 | - |3663 |9215 | 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
613.50/613.52 c 601s| 1060k|561405 | 0 | 0.0 | 933M|1895 | - |3663 |9771 | 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
619.01/619.00 c 607s| 1070k|567478 | 0 | 0.0 | 941M|1895 | - |3663 | 10k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
624.20/624.26 c 612s| 1080k|573636 | 0 | 0.0 | 949M|1895 | - |3663 | 10k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
629.81/629.87 c 617s| 1090k|579493 | 0 | 0.0 | 957M|1895 | - |3663 | 10k| 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
635.51/635.53 c 623s| 1100k|585269 | 0 | 0.0 | 966M|1895 | - |3663 | 11k| 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
641.41/641.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
641.41/641.46 c 629s| 1110k|590915 | 0 | 0.0 | 974M|1895 | - |3663 | 11k| 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
647.01/647.05 c 634s| 1120k|596906 | 0 | 0.0 | 982M|1895 | - |3663 | 12k| 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
653.01/653.03 c 640s| 1130k|602728 | 0 | 0.0 | 990M|1895 | - |3663 | 13k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
659.21/659.21 c 646s| 1140k|608495 | 0 | 0.0 | 999M|1895 | - |3663 | 14k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
666.31/666.34 c 653s| 1150k|613555 | 0 | 0.0 |1008M|1895 | - |3663 | 17k| 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
676.11/676.18 c 663s| 1160k|616872 | 0 | 0.0 |1017M|1895 | - |3663 | 21k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
683.61/683.68 c 670s| 1170k|623052 | 0 | 0.0 |1022M|1895 | - |3663 | 18k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
688.91/688.97 c 675s| 1180k|630500 | 0 | 0.0 |1029M|1895 | - |3663 | 16k| 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
694.02/694.07 c 680s| 1190k|637622 | 0 | 0.0 |1037M|1895 | - |3663 | 15k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
699.41/699.44 c 686s| 1200k|644348 | 0 | 0.0 |1044M|1895 | - |3663 | 15k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
704.51/704.54 o 2
704.51/704.54 c * 691s| 1208k|626002 | 0 | 0.0 |1024M|1895 | - |3663 | 16k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
705.41/705.48 c 692s| 1210k|626473 | 0 | 0.0 |1026M|1895 | - |3663 | 16k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
713.92/713.96 c 700s| 1220k|631392 | 0 | 0.0 |1038M|1895 | - |3663 | 18k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
725.30/725.39 c 711s| 1230k|634411 | 0 | 0.0 |1050M|1895 | - |3663 | 21k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
733.81/733.88 c 720s| 1240k|640307 | 0 | 0.0 |1058M|1895 | - |3663 | 20k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
739.81/739.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.81/739.87 c 726s| 1250k|647719 | 0 | 0.0 |1067M|1895 | - |3663 | 18k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
746.21/746.27 c 732s| 1260k|654413 | 0 | 0.0 |1078M|1895 | - |3663 | 17k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
753.61/753.66 c 739s| 1270k|660106 | 0 | 0.0 |1089M|1895 | - |3663 | 18k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
761.71/761.74 c 747s| 1280k|665164 | 0 | 0.0 |1101M|1895 | - |3663 | 19k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
771.61/771.61 c 757s| 1290k|669138 | 0 | 0.0 |1112M|1895 | - |3663 | 21k| 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
783.12/783.19 c 768s| 1300k|672254 | 0 | 0.0 |1121M|1895 | - |3663 | 23k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
789.31/789.32 c 774s| 1310k|679851 | 0 | 0.0 |1130M|1895 | - |3663 | 20k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
795.41/795.49 c 780s| 1320k|686872 | 0 | 0.0 |1139M|1895 | - |3663 | 18k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
802.71/802.71 c 787s| 1330k|692836 | 0 | 0.0 |1151M|1895 | - |3663 | 18k| 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
810.62/810.70 c 795s| 1340k|698160 | 0 | 0.0 |1162M|1895 | - |3663 | 20k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
819.52/819.57 c 804s| 1350k|702852 | 0 | 0.0 |1174M|1895 | - |3663 | 21k| 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
831.01/831.03 c 815s| 1360k|705931 | 0 | 0.0 |1185M|1895 | - |3663 | 24k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
840.11/840.14 c 824s| 1370k|711543 | 0 | 0.0 |1192M|1895 | - |3663 | 21k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
846.11/846.17 c 830s| 1380k|718878 | 0 | 0.0 |1201M|1895 | - |3663 | 19k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
852.52/852.52 c 836s| 1390k|725635 | 0 | 0.0 |1211M|1895 | - |3663 | 19k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
859.32/859.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
859.32/859.36 c 843s| 1400k|731946 | 0 | 0.0 |1222M|1895 | - |3663 | 20k| 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
867.21/867.20 c 851s| 1410k|737519 | 0 | 0.0 |1233M|1895 | - |3663 | 21k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
877.62/877.68 c 861s| 1420k|741113 | 0 | 0.0 |1244M|1895 | - |3663 | 23k| 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
887.41/887.45 c 871s| 1430k|745919 | 0 | 0.0 |1252M|1895 | - |3663 | 21k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
893.42/893.47 c 877s| 1440k|753164 | 0 | 0.0 |1260M|1895 | - |3663 | 17k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
899.11/899.17 c 882s| 1450k|760202 | 0 | 0.0 |1269M|1895 | - |3663 | 16k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
905.12/905.10 c 888s| 1460k|766897 | 0 | 0.0 |1280M|1895 | - |3663 | 16k| 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
911.72/911.74 c 894s| 1470k|773007 | 0 | 0.0 |1290M|1895 | - |3663 | 17k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
918.42/918.49 c 901s| 1480k|779081 | 0 | 0.0 |1300M|1895 | - |3663 | 17k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
925.72/925.79 c 908s| 1490k|784695 | 0 | 0.0 |1311M|1895 | - |3663 | 18k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
933.52/933.53 c 916s| 1500k|790095 | 0 | 0.0 |1322M|1895 | - |3663 | 19k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
942.11/942.13 c 924s| 1510k|795038 | 0 | 0.0 |1333M|1895 | - |3663 | 20k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
951.22/951.20 c 933s| 1520k|799664 | 0 | 0.0 |1343M|1895 | - |3663 | 21k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
961.62/961.61 c 944s| 1530k|803531 | 0 | 0.0 |1354M|1895 | - |3663 | 22k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
972.82/972.88 c 955s| 1540k|806978 | 0 | 0.0 |1364M|1895 | - |3663 | 24k| 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
984.81/984.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.81/984.89 c 967s| 1550k|810602 | 0 | 0.0 |1370M|1895 | - |3663 | 23k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
990.51/990.50 c 972s| 1560k|818387 | 0 | 0.0 |1377M|1895 | - |3663 | 18k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
995.81/995.84 c 977s| 1570k|825867 | 0 | 0.0 |1386M|1895 | - |3663 | 17k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1001.22/1001.22 c 982s| 1580k|833173 | 0 | 0.0 |1395M|1895 | - |3663 | 17k| 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1006.61/1006.68 c 988s| 1590k|840313 | 0 | 0.0 |1403M|1895 | - |3663 | 17k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1012.31/1012.32 c 993s| 1600k|847285 | 0 | 0.0 |1413M|1895 | - |3663 | 18k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1018.92/1018.95 c 1000s| 1610k|853512 | 0 | 0.0 |1422M|1895 | - |3663 | 18k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1026.12/1026.17 c 1007s| 1620k|859285 | 0 | 0.0 |1432M|1895 | - |3663 | 19k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1033.72/1033.70 c 1014s| 1630k|864851 | 0 | 0.0 |1442M|1895 | - |3663 | 20k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1042.02/1042.05 c 1023s| 1640k|870024 | 0 | 0.0 |1452M|1895 | - |3663 | 21k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1050.62/1050.69 c 1031s| 1650k|875075 | 0 | 0.0 |1461M|1895 | - |3663 | 22k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1060.02/1060.03 c 1040s| 1660k|879796 | 0 | 0.0 |1470M|1895 | - |3663 | 23k| 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1070.82/1070.82 c 1051s| 1670k|883666 | 0 | 0.0 |1480M|1895 | - |3663 | 25k| 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1083.92/1083.98 c 1064s| 1680k|886108 | 0 | 0.0 |1488M|1895 | - |3663 | 28k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1091.32/1091.34 c 1071s| 1690k|893123 | 0 | 0.0 |1494M|1895 | - |3663 | 20k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1097.52/1097.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1097.52/1097.53 c 1077s| 1700k|900006 | 0 | 0.0 |1503M|1895 | - |3663 | 18k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1104.02/1104.01 c 1084s| 1710k|906311 | 0 | 0.0 |1514M|1895 | - |3663 | 19k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1111.12/1111.18 c 1091s| 1720k|912081 | 0 | 0.0 |1524M|1895 | - |3663 | 20k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1119.32/1119.34 c 1099s| 1730k|917124 | 0 | 0.0 |1535M|1895 | - |3663 | 22k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1130.32/1130.34 c 1110s| 1740k|920444 | 0 | 0.0 |1544M|1895 | - |3663 | 25k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1139.72/1139.73 c 1119s| 1750k|925507 | 0 | 0.0 |1551M|1895 | - |3663 | 22k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1145.62/1145.64 c 1125s| 1760k|932747 | 0 | 0.0 |1559M|1895 | - |3663 | 19k| 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1151.53/1151.54 c 1130s| 1770k|939561 | 0 | 0.0 |1568M|1895 | - |3663 | 19k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1158.03/1158.08 c 1137s| 1780k|945890 | 0 | 0.0 |1577M|1895 | - |3663 | 21k| 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1165.72/1165.76 c 1144s| 1790k|951459 | 0 | 0.0 |1587M|1895 | - |3663 | 22k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1174.93/1174.96 c 1154s| 1800k|956039 | 0 | 0.0 |1597M|1895 | - |3663 | 24k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1186.83/1186.82 c 1165s| 1810k|958829 | 0 | 0.0 |1605M|1895 | - |3663 | 26k| 0 | 0 | 0 |1475k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1193.62/1193.61 c 1172s| 1820k|965846 | 0 | 0.0 |1611M|1895 | - |3663 | 20k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1199.03/1199.00 c 1177s| 1830k|973074 | 0 | 0.0 |1618M|1895 | - |3663 | 18k| 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1204.73/1204.77 c 1183s| 1840k|979652 | 0 | 0.0 |1627M|1895 | - |3663 | 18k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1211.22/1211.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.22/1211.22 c 1189s| 1850k|985740 | 0 | 0.0 |1636M|1895 | - |3663 | 19k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1218.42/1218.46 c 1196s| 1860k|991252 | 0 | 0.0 |1646M|1895 | - |3663 | 20k| 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1226.62/1226.60 c 1204s| 1870k|996107 | 0 | 0.0 |1655M|1895 | - |3663 | 21k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1235.83/1235.81 c 1213s| 1880k| 1000k| 0 | 0.0 |1664M|1895 | - |3663 | 23k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1247.93/1247.99 c 1225s| 1890k| 1002k| 0 | 0.0 |1671M|1895 | - |3663 | 25k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1253.52/1253.50 c 1231s| 1900k| 1010k| 0 | 0.0 |1677M|1895 | - |3663 | 19k| 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1258.33/1258.40 c 1236s| 1910k| 1017k| 0 | 0.0 |1684M|1895 | - |3663 | 17k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1263.03/1263.04 c 1240s| 1920k| 1025k| 0 | 0.0 |1692M|1895 | - |3663 | 17k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1267.82/1267.88 c 1245s| 1930k| 1033k| 0 | 0.0 |1699M|1895 | - |3663 | 17k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1272.74/1272.77 c 1250s| 1940k| 1040k| 0 | 0.0 |1707M|1895 | - |3663 | 18k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1277.83/1277.81 c 1255s| 1950k| 1047k| 0 | 0.0 |1715M|1895 | - |3663 | 18k| 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1283.43/1283.47 c 1260s| 1960k| 1054k| 0 | 0.0 |1723M|1895 | - |3663 | 19k| 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1290.53/1290.58 c 1267s| 1970k| 1060k| 0 | 0.0 |1732M|1895 | - |3663 | 20k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1298.13/1298.10 c 1275s| 1980k| 1066k| 0 | 0.0 |1740M|1895 | - |3663 | 22k| 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1306.93/1306.94 c 1283s| 1990k| 1071k| 0 | 0.0 |1749M|1895 | - |3663 | 23k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1316.23/1316.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.23/1316.28 c 1293s| 2000k| 1075k| 0 | 0.0 |1758M|1895 | - |3663 | 24k| 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1327.23/1327.23 c 1303s| 2010k| 1079k| 0 | 0.0 |1767M|1895 | - |3663 | 25k| 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1339.42/1339.44 c 1315s| 2020k| 1082k| 0 | 0.0 |1774M|1895 | - |3663 | 26k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1353.33/1353.39 c 1329s| 2030k| 1084k| 0 | 0.0 |1781M|1895 | - |3663 | 28k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1367.23/1367.27 c 1343s| 2040k| 1086k| 0 | 0.0 |1785M|1895 | - |3663 | 23k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1380.73/1380.75 c 1356s| 2050k| 1089k| 0 | 0.0 |1794M|1895 | - |3663 | 24k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1397.13/1397.17 c 1372s| 2060k| 1092k| 0 | 0.0 |1802M|1895 | - |3663 | 26k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1414.54/1414.59 c 1390s| 2070k| 1094k| 0 | 0.0 |1810M|1895 | - |3663 | 28k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1433.33/1433.35 c 1408s| 2080k| 1096k| 0 | 0.0 |1818M|1895 | - |3663 | 29k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1451.83/1451.84 c 1426s| 2090k| 1098k| 0 | 0.0 |1827M|1895 | - |3663 | 30k| 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1471.74/1471.71 c 1446s| 2100k| 1100k| 0 | 0.0 |1833M|1895 | - |3663 | 30k| 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1493.03/1493.01 c 1466s| 2110k| 1102k| 0 | 0.0 |1840M|1895 | - |3663 | 32k| 0 | 0 | 0 |1727k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1513.24/1513.22 c 1486s| 2120k| 1104k| 0 | 0.0 |1848M|1895 | - |3663 | 33k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1536.93/1536.93 c 1510s| 2130k| 1105k| 0 | 0.0 |1854M|1895 | - |3663 | 33k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1557.83/1557.82 c 1530s| 2140k| 1107k| 0 | 0.0 |1863M|1895 | - |3663 | 35k| 0 | 0 | 0 |1768k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1583.14/1583.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.14/1583.12 c 1555s| 2150k| 1108k| 0 | 0.0 |1868M|1895 | - |3663 | 36k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1607.34/1607.30 c 1579s| 2160k| 1110k| 0 | 0.0 |1873M|1895 | - |3663 | 36k| 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1631.94/1631.94 c 1603s| 2170k| 1111k| 0 | 0.0 |1881M|1895 | - |3663 | 38k| 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1658.64/1658.68 c 1629s| 2180k| 1112k| 0 | 0.0 |1884M|1895 | - |3663 | 36k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1683.24/1683.27 c 1653s| 2190k| 1113k| 0 | 0.0 |1892M|1895 | - |3663 | 37k| 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1711.54/1711.53 c 1681s| 2200k| 1113k| 0 | 0.0 |1896M|1895 | - |3663 | 37k| 0 | 0 | 0 |1861k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1738.23/1738.23 c 1708s| 2210k| 1114k| 0 | 0.0 |1900M|1895 | - |3663 | 37k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1764.74/1764.72 c 1734s| 2220k| 1115k| 0 | 0.0 |1906M|1895 | - |3663 | 36k| 0 | 0 | 0 |1893k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1792.84/1792.82 c 1761s| 2230k| 1115k| 0 | 0.0 |1909M|1895 | - |3663 | 36k| 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1768.36
1800.05/1800.00 c Solving Nodes : 2232667
1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (25 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.04 s SATISFIABLE
1800.05/1800.04 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210
1800.05/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189
1800.05/1800.04 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.04 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.04 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.05/1800.04 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.05/1800.04 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.04 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54
1800.05/1800.04 v -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
1800.05/1800.04 v -x28 -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
1800.05/1800.04 v -x1
1800.05/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.04 c Solving Time : 1768.36
1800.05/1800.04 c Original Problem :
1800.05/1800.04 c Problem name : HOME/instance-2694097-1277905172.wbo
1800.05/1800.04 c Variables : 3807 (2019 binary, 0 integer, 0 implicit integer, 1788 continuous)
1800.05/1800.04 c Constraints : 4496 initial, 4496 maximal
1800.05/1800.04 c Presolved Problem :
1800.05/1800.04 c Problem name : t_HOME/instance-2694097-1277905172.wbo
1800.05/1800.04 c Variables : 3663 (1947 binary, 0 integer, 0 implicit integer, 1716 continuous)
1800.05/1800.04 c Constraints : 4326 initial, 38171 maximal
1800.05/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.04 c trivial : 0.00 72 0 0 0 0 0 0 0
1800.05/1800.04 c dualfix : 0.00 72 0 0 0 0 0 0 0
1800.05/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.04 c indicator : 0.00 0 0 0 0 0 72 0 0
1800.05/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c linear : 0.07 0 0 0 1806 0 98 81 0
1800.05/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c root node : - 1654 - - 3308 - - - -
1800.05/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.04 c indicator : 1716 0 4546137 0 1311580 17 2252122 0 0 0
1800.05/1800.04 c setppc : 11 0 6971017 0 1831341 53088 4066063 0 0 0
1800.05/1800.04 c linear : 1716 0 6929000 0 1841063 362315 34346084 0 0 0
1800.05/1800.04 c logicor : 883+ 0 4319258 0 1841071 217695 7918531 0 0 0
1800.05/1800.04 c bounddisjunction : 0+ 0 16786 0 0 0 5 0 0 0
1800.05/1800.04 c countsols : 0 0 0 0 1841071 0 0 0 0 0
1800.05/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.04 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.04 c indicator : 10.50 0.00 5.43 0.00 5.07
1800.05/1800.04 c setppc : 27.38 0.00 24.39 0.00 2.99
1800.05/1800.04 c linear : 284.04 0.00 282.80 0.00 1.24
1800.05/1800.04 c logicor : 511.14 0.00 460.51 0.00 50.63
1800.05/1800.04 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.05/1800.04 c countsols : 0.32 0.00 0.00 0.00 0.32
1800.05/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.04 c vbounds : 1.60 2 0 0
1800.05/1800.04 c rootredcost : 1.38 0 0 0
1800.05/1800.04 c pseudoobj : 222.78 6982550 601 2233959
1800.05/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.04 c propagation : 32.17 633699 633628 2995150 20.7 221577 11.5 -
1800.05/1800.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c pseudo solution : 0.00 9 9 43 15.3 22 10.1 -
1800.05/1800.04 c applied globally : - - - 1914624 18.6 - - -
1800.05/1800.04 c applied locally : - - - 34 204.6 - - -
1800.05/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.04 c redcost : 0.00 0 0 0 0 0
1800.05/1800.04 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.04 c intobj : 0.00 0 0 0 0 0
1800.05/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.04 c gomory : 0.00 0 0 0 0 0
1800.05/1800.04 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.04 c cmir : 0.00 0 0 0 0 0
1800.05/1800.04 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.04 c clique : 0.00 0 0 0 0 0
1800.05/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.04 c mcf : 0.00 0 0 0 0 0
1800.05/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.04 c Pricers : Time Calls Vars
1800.05/1800.04 c problem variables: 0.00 0 0
1800.05/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.04 c inference : 28.85 1841046 0 0 0 0 3682092
1800.05/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c random : 0.00 0 0 0 0 0 0
1800.05/1800.04 c Primal Heuristics : Time Calls Found
1800.05/1800.04 c LP solutions : 0.00 - 0
1800.05/1800.04 c pseudo solutions : 0.09 - 25
1800.05/1800.04 c oneopt : 0.92 0 0
1800.05/1800.04 c trivial : 0.01 2 0
1800.05/1800.04 c simplerounding : 0.00 0 0
1800.05/1800.04 c zirounding : 0.00 0 0
1800.05/1800.04 c rounding : 0.00 0 0
1800.05/1800.04 c shifting : 0.00 0 0
1800.05/1800.04 c intshifting : 0.00 0 0
1800.05/1800.04 c twoopt : 0.00 0 0
1800.05/1800.04 c fixandinfer : 0.00 0 0
1800.05/1800.04 c feaspump : 0.00 0 0
1800.05/1800.04 c coefdiving : 0.00 0 0
1800.05/1800.04 c pscostdiving : 0.00 0 0
1800.05/1800.04 c fracdiving : 0.00 0 0
1800.05/1800.04 c veclendiving : 0.00 0 0
1800.05/1800.04 c intdiving : 0.00 0 0
1800.05/1800.04 c actconsdiving : 0.00 0 0
1800.05/1800.04 c objpscostdiving : 0.00 0 0
1800.05/1800.04 c rootsoldiving : 0.00 0 0
1800.05/1800.04 c linesearchdiving : 0.00 0 0
1800.05/1800.04 c guideddiving : 0.00 0 0
1800.05/1800.04 c octane : 0.00 0 0
1800.05/1800.04 c rens : 0.00 0 0
1800.05/1800.04 c rins : 0.00 0 0
1800.05/1800.04 c localbranching : 0.00 0 0
1800.05/1800.04 c mutation : 0.00 0 0
1800.05/1800.04 c crossover : 0.00 0 0
1800.05/1800.04 c dins : 0.00 0 0
1800.05/1800.04 c undercover : 0.00 0 0
1800.05/1800.04 c nlp : 0.50 0 0
1800.05/1800.04 c trysol : 0.43 1 0
1800.05/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.04 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.04 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.04 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.04 c (at root node) : - 0 0 0.00 -
1800.05/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.04 c B&B Tree :
1800.05/1800.04 c number of runs : 1
1800.05/1800.04 c nodes : 2232667
1800.05/1800.04 c nodes (total) : 2232667
1800.05/1800.04 c nodes left : 1115218
1800.05/1800.04 c max depth : 1895
1800.05/1800.04 c max depth (total): 1895
1800.05/1800.04 c backtracks : 350916 (15.7%)
1800.05/1800.04 c delayed cutoffs : 286588
1800.05/1800.04 c repropagations : 1196986 (14778234 domain reductions, 242129 cutoffs)
1800.05/1800.04 c avg switch length: 27.38
1800.05/1800.04 c switching time : 526.23
1800.05/1800.04 c Solution :
1800.05/1800.04 c Solutions found : 25 (25 improvements)
1800.05/1800.04 c First Solution : +7.30000000000000e+02 (in run 1, after 4982 nodes, 1.40 seconds, depth 214, found by <relaxation>)
1800.05/1800.04 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1208934 nodes, 690.66 seconds, depth 340, found by <relaxation>)
1800.05/1800.04 c Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Gap : infinite
1800.05/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694097-1277905172/watcher-2694097-1277905172 -o /tmp/evaluation-result-2694097-1277905172/solver-2694097-1277905172 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694097-1277905172.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.99 2.00 4/178 15680 /proc/meminfo: memFree=30856744/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=8412 CPUtime=0 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 1580 0 0 0 0 0 0 0 25 0 1 0 131813089 8613888 1502 4089446400 4194304 7136930 140735547493392 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15680/statm: 2103 1503 275 719 0 1382 0 [startup+0.0301881 s] /proc/loadavg: 2.00 1.99 2.00 4/178 15680 /proc/meminfo: memFree=30856744/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=14888 CPUtime=0.02 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 3216 0 0 0 2 0 0 0 25 0 1 0 131813089 15245312 3138 4089446400 4194304 7136930 140735547493392 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15680/statm: 3722 3138 275 719 0 3001 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14888 [startup+0.101174 s] /proc/loadavg: 2.00 1.99 2.00 4/178 15680 /proc/meminfo: memFree=30856744/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=27708 CPUtime=0.09 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 7353 0 0 0 8 1 0 0 25 0 1 0 131813089 28372992 6150 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15680/statm: 6927 6150 354 719 0 6206 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27708 [startup+0.301135 s] /proc/loadavg: 2.00 1.99 2.00 4/178 15680 /proc/meminfo: memFree=30856744/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=29536 CPUtime=0.29 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 10172 0 0 0 27 2 0 0 25 0 1 0 131813089 30244864 6656 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15680/statm: 7384 6656 391 719 0 6663 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29536 [startup+0.701061 s] /proc/loadavg: 2.00 1.99 2.00 4/178 15680 /proc/meminfo: memFree=30856744/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=31624 CPUtime=0.69 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 10696 0 0 0 66 3 0 0 25 0 1 0 131813089 32382976 7180 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15680/statm: 7906 7180 395 719 0 7185 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31624 [startup+1.50092 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15681 /proc/meminfo: memFree=30828092/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=34108 CPUtime=1.49 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 11301 0 0 0 144 5 0 0 25 0 1 0 131813089 34926592 7785 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15680/statm: 8527 7785 395 719 0 7806 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34108 [startup+3.10063 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15681 /proc/meminfo: memFree=30825488/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=38460 CPUtime=3.09 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 12434 0 0 0 299 10 0 0 25 0 1 0 131813089 39383040 8918 4089446400 4194304 7136930 140735547493392 18446744073709551615 4431762 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15680/statm: 9615 8918 395 719 0 8894 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38460 [startup+6.30105 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15681 /proc/meminfo: memFree=30812356/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=50684 CPUtime=6.29 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 15469 0 0 0 610 19 0 0 25 0 1 0 131813089 51900416 11953 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15680/statm: 12671 11953 395 719 0 11950 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50684 [startup+12.7009 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15681 /proc/meminfo: memFree=30792628/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=67844 CPUtime=12.69 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 19771 0 0 0 1238 31 0 0 25 0 1 0 131813089 69472256 16255 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15680/statm: 16961 16255 395 719 0 16240 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 67844 [startup+25.5006 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15682 /proc/meminfo: memFree=30723152/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=144936 CPUtime=25.49 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 37192 0 0 0 2490 59 0 0 25 0 1 0 131813089 148414464 33676 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 36234 33676 396 719 0 35513 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 144936 [startup+51.1009 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15682 /proc/meminfo: memFree=30661732/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=207836 CPUtime=51.09 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 52524 0 0 0 4996 113 0 0 25 0 1 0 131813089 212824064 49008 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 51959 49008 396 719 0 51238 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 207836 [startup+102.307 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15684 /proc/meminfo: memFree=30564972/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=302532 CPUtime=102.3 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 75714 0 0 0 10020 210 0 0 25 0 1 0 131813089 309792768 72198 4089446400 4194304 7136930 140735547493392 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 75633 72198 398 719 0 74912 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 302532 [startup+162.301 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15685 /proc/meminfo: memFree=30423444/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=453436 CPUtime=162.29 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 111316 0 0 0 15897 332 0 0 25 0 1 0 131813089 464318464 107800 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 113359 107800 398 719 0 112638 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 453436 [startup+222.301 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15687 /proc/meminfo: memFree=30283656/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=592736 CPUtime=222.3 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 145265 0 0 0 21739 491 0 0 25 0 1 0 131813089 606961664 141749 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 148184 141749 398 719 0 147463 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 592736 [startup+282.301 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15688 /proc/meminfo: memFree=30195568/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=681752 CPUtime=282.29 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 167598 0 0 0 27627 602 0 0 25 0 1 0 131813089 698114048 164082 4089446400 4194304 7136930 140735547493392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 170438 164082 398 719 0 169717 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 681752 [startup+342.301 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15690 /proc/meminfo: memFree=30111072/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=761656 CPUtime=342.3 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 187539 0 0 0 33519 711 0 0 25 0 1 0 131813089 779935744 184023 4089446400 4194304 7136930 140735547493392 18446744073709551615 4210324 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 190414 184023 398 719 0 189693 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 761656 [startup+402.3 s] /proc/loadavg: 2.07 2.00 2.00 3/179 15692 /proc/meminfo: memFree=30063292/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=809436 CPUtime=402.3 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 199343 0 0 0 39425 805 0 0 25 0 1 0 131813089 828862464 195827 4089446400 4194304 7136930 140735547493392 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 202359 195827 398 719 0 201638 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 809436 [startup+462.3 s] /proc/loadavg: 2.02 2.00 2.00 3/179 15693 /proc/meminfo: memFree=29983012/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=897964 CPUtime=462.3 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 219388 0 0 0 45296 934 0 0 25 0 1 0 131813089 919515136 215845 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 224491 215845 398 719 0 223770 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 897964 [startup+522.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 15695 /proc/meminfo: memFree=29905348/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=974368 CPUtime=522.31 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 238490 0 0 0 51184 1047 0 0 25 0 1 0 131813089 997752832 234947 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 243592 234947 398 719 0 242871 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 974368 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15696 /proc/meminfo: memFree=29838480/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=1041428 CPUtime=582.3 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 255055 0 0 0 57076 1154 0 0 25 0 1 0 131813089 1066422272 251512 4089446400 4194304 7136930 140735547493392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 260357 251512 398 719 0 259636 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1041428 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15698 /proc/meminfo: memFree=29750388/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=1125160 CPUtime=642.32 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 275596 0 0 0 62960 1272 0 0 25 0 1 0 131813089 1152163840 272053 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 281290 272053 398 719 0 280569 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1125160 [startup+702.301 s] ################ # More data... # ################ /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 382615 0 0 0 98358 1874 0 0 25 0 1 0 131813089 1589022720 379072 4089446400 4194304 7136930 140735547493392 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 387945 379072 398 719 0 387224 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1551780 [startup+1062.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 15709 /proc/meminfo: memFree=29240416/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=1627392 CPUtime=1062.32 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 401691 0 0 0 104261 1971 0 0 25 0 1 0 131813089 1666449408 398148 4089446400 4194304 7136930 140735547493392 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 406848 398148 398 719 0 406127 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1627392 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15711 /proc/meminfo: memFree=29172548/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=1692816 CPUtime=1122.32 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 418212 0 0 0 110166 2066 0 0 25 0 1 0 131813089 1733443584 414669 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 423204 414669 398 719 0 422483 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1692816 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15712 /proc/meminfo: memFree=29106544/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=1757652 CPUtime=1182.32 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 434611 0 0 0 116078 2154 0 0 25 0 1 0 131813089 1799835648 431068 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 439413 431068 398 719 0 438692 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1757652 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15714 /proc/meminfo: memFree=29042272/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=1836856 CPUtime=1242.32 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 450526 0 0 0 121987 2245 0 0 25 0 1 0 131813089 1880940544 446983 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 459214 446983 398 719 0 458493 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1836856 [startup+1302.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 15725 /proc/meminfo: memFree=28967248/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=1909516 CPUtime=1302.33 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 468905 0 0 0 127881 2352 0 0 25 0 1 0 131813089 1955344384 465362 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 477379 465362 398 719 0 476658 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1909516 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 15726 /proc/meminfo: memFree=28928660/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=1947592 CPUtime=1362.33 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 478521 0 0 0 133811 2422 0 0 25 0 1 0 131813089 1994334208 474978 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15680/statm: 486898 474978 398 719 0 486177 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1947592 [startup+1422.31 s] /proc/loadavg: 2.30 2.07 2.02 4/200 15789 /proc/meminfo: memFree=28933892/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=1984560 CPUtime=1422.34 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 487835 0 0 0 139711 2523 0 0 25 0 1 0 131813089 2032189440 484292 4089446400 4194304 7136930 140735547493392 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15680/statm: 496140 484292 398 719 0 495419 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1984560 [startup+1482.3 s] /proc/loadavg: 2.70 2.22 2.07 4/200 15790 /proc/meminfo: memFree=28897996/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=2003568 CPUtime=1482.33 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 492475 0 0 0 145599 2634 0 0 25 0 1 0 131813089 2051653632 488932 4089446400 4194304 7136930 140735547493392 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15680/statm: 500892 488932 398 719 0 500171 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2003568 [startup+1542.3 s] /proc/loadavg: 2.85 2.35 2.12 3/200 15792 /proc/meminfo: memFree=28866432/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=2024224 CPUtime=1542.33 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 497672 0 0 0 151492 2741 0 0 25 0 1 0 131813089 2072805376 494129 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15680/statm: 506056 494129 398 719 0 505335 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2024224 [startup+1602.3 s] /proc/loadavg: 2.91 2.45 2.17 3/200 15794 /proc/meminfo: memFree=28844544/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=2039988 CPUtime=1602.33 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 501664 0 0 0 157385 2848 0 0 25 0 1 0 131813089 2088947712 498121 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15680/statm: 509997 498121 398 719 0 509276 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2039988 [startup+1662.3 s] /proc/loadavg: 2.92 2.53 2.21 4/200 15795 /proc/meminfo: memFree=28825268/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=2052736 CPUtime=1662.34 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 504847 0 0 0 163285 2949 0 0 25 0 1 0 131813089 2102001664 501304 4089446400 4194304 7136930 140735547493392 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15680/statm: 513184 501304 398 719 0 512463 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2052736 [startup+1722.3 s] /proc/loadavg: 2.80 2.57 2.24 4/200 15797 /proc/meminfo: memFree=28801268/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=2068708 CPUtime=1722.34 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 508894 0 0 0 169187 3047 0 0 25 0 1 0 131813089 2118356992 505351 4089446400 4194304 7136930 140735547493392 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15680/statm: 517177 505351 398 719 0 516456 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2068708 [startup+1782.3 s] /proc/loadavg: 2.85 2.63 2.28 4/200 15798 /proc/meminfo: memFree=28784716/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=2079920 CPUtime=1782.34 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 511623 0 0 0 175093 3141 0 0 25 0 1 0 131813089 2129838080 508080 4089446400 4194304 7136930 140735547493392 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15680/statm: 519980 508080 398 719 0 519259 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2079920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.89 2.65 2.30 3/200 15799 /proc/meminfo: memFree=28783708/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=2079920 CPUtime=1800.05 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 511631 0 0 0 176838 3167 0 0 25 0 1 0 131813089 2129838080 508088 4089446400 4194304 7136930 140735547493392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/15680/statm: 519980 508088 398 719 0 519259 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2079920 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15680 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.89 2.65 2.30 4/201 15800 /proc/meminfo: memFree=28783328/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=2080016 CPUtime=1801.45 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 511661 0 0 0 176978 3167 0 0 20 0 1 0 131813089 2129936384 508118 4089446400 4194304 7136930 140735547493392 18446744073709551615 4212479 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15680/statm: 520004 508118 403 719 0 519283 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 2080016 [startup+1801.81 s] /proc/loadavg: 2.89 2.65 2.30 4/201 15800 /proc/meminfo: memFree=28783328/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=2080016 CPUtime=1801.85 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 511661 0 0 0 177018 3167 0 0 20 0 1 0 131813089 2129936384 508118 4089446400 4194304 7136930 140735547493392 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15680/statm: 520004 508118 403 719 0 519283 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2080016 [startup+1802 s] /proc/loadavg: 2.89 2.65 2.30 4/201 15800 /proc/meminfo: memFree=28783328/32951124 swapFree=67111528/67111528 [pid=15680] ppid=15678 vsize=2080016 CPUtime=1802.05 /proc/15680/stat : 15680 (pbscip.linux.x8) R 15678 15680 14951 0 -1 4202496 511661 0 0 0 177038 3167 0 0 21 0 1 0 131813089 2129936384 508118 4089446400 4194304 7136930 140735547493392 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15680/statm: 520004 508118 403 719 0 519283 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 2080016 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.13 CPU user time (s): 1770.39 CPU system time (s): 31.7392 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2080016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.39 system time used= 31.7392 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 511661 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 15548 runsolver used 2.44663 second user time and 5.82311 second system time The end
Begin job on node138 at 2010-06-30 15:39:32 IDJOB=2694097 IDBENCH=78927 IDSOLVER=1206 FILE ID=node138/2694097-1277905172 PBS_JOBID= 11197236 Free space on /tmp= 74132 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574864--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694097-1277905172/watcher-2694097-1277905172 -o /tmp/evaluation-result-2694097-1277905172/solver-2694097-1277905172 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694097-1277905172.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f08844d42f277d14946ba79cfba06e67 RANDOM SEED=1428967684 node138.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.860 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.72 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.860 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 : 5226.08 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.860 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 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.80 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.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30857272 kB Buffers: 191484 kB Cached: 1476684 kB SwapCached: 0 kB Active: 931860 kB Inactive: 1016588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30857272 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3148 kB Writeback: 0 kB AnonPages: 280116 kB Mapped: 17280 kB Slab: 82228 kB PageTables: 5584 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 431868 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= 74136 MiB End job on node138 at 2010-06-30 16:09:34