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.09 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo |
| MD5SUM | 908c51b3c7715396d94712713af78fd9 |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 435.305 |
| 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 | 1868 |
| 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 | 94981 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 94980 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 709 |
| 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-2694206-1277910936.wbo>
0.00/0.03 c original problem has 3967 variables (2099 bin, 0 int, 0 impl, 1868 cont) and 4576 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/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.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.00/0.09 c (round 2) 0 del vars, 67 del conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.10 c (round 3) 49 del vars, 134 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.11 c (round 4) 106 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2042 (4.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 114 deleted vars, 142 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.16 c 2006 implications, 5 cliques
0.09/0.16 c presolved problem has 3853 variables (2042 bin, 0 int, 0 impl, 1811 cont) and 4434 constraints
0.09/0.16 c 1811 constraints of type <indicator>
0.09/0.16 c 5 constraints of type <setppc>
0.09/0.16 c 1811 constraints of type <linear>
0.09/0.16 c 807 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.09
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 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.17 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3853 |4434 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.43 c 2.2s| 10000 | 9770 | 0 | 0.0 | 17M|1959 | - |3853 |4779 | 0 | 0 | 0 | 406 | 0 | 0.000000e+00 | -- | Inf
2.69/2.76 o 466
2.69/2.76 c * 2.5s| 11853 | 4801 | 0 | 0.0 | 16M|1959 | - |3853 |4774 | 0 | 0 | 0 | 406 | 0 | 0.000000e+00 | 4.660000e+02 | Inf
2.79/2.81 o 411
2.79/2.81 c * 2.5s| 12028 | 4862 | 0 | 0.0 | 16M|1959 | - |3853 |4779 | 0 | 0 | 0 | 414 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
2.79/2.81 o 407
2.79/2.81 c * 2.5s| 12035 | 4853 | 0 | 0.0 | 16M|1959 | - |3853 |4779 | 0 | 0 | 0 | 414 | 0 | 0.000000e+00 | 4.070000e+02 | Inf
2.79/2.85 o 401
2.79/2.85 c * 2.5s| 12166 | 4974 | 0 | 0.0 | 16M|1959 | - |3853 |4776 | 0 | 0 | 0 | 414 | 0 | 0.000000e+00 | 4.010000e+02 | Inf
2.99/3.02 o 359
2.99/3.02 c * 2.7s| 12872 | 5264 | 0 | 0.0 | 16M|1959 | - |3853 |4754 | 0 | 0 | 0 | 420 | 0 | 0.000000e+00 | 3.590000e+02 | Inf
4.89/4.98 c 4.5s| 20000 | 11270 | 0 | 0.0 | 23M|1959 | - |3853 |6425 | 0 | 0 | 0 |5170 | 0 | 0.000000e+00 | 3.590000e+02 | Inf
6.69/6.73 o 348
6.69/6.73 c * 6.1s| 24319 | 13882 | 0 | 0.0 | 28M|1959 | - |3853 |8620 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.480000e+02 | Inf
6.69/6.78 o 339
6.69/6.78 c * 6.2s| 24426 | 13875 | 0 | 0.0 | 28M|1959 | - |3853 |8563 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.390000e+02 | Inf
6.69/6.78 o 338
6.69/6.78 c * 6.2s| 24427 | 13865 | 0 | 0.0 | 28M|1959 | - |3853 |8563 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.380000e+02 | Inf
6.79/6.83 o 320
6.79/6.83 c * 6.2s| 24542 | 13798 | 0 | 0.0 | 28M|1959 | - |3853 |8520 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.200000e+02 | Inf
6.99/7.01 o 319
6.99/7.01 c * 6.4s| 25036 | 14270 | 0 | 0.0 | 29M|1959 | - |3853 |8294 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.190000e+02 | Inf
6.99/7.01 o 312
6.99/7.01 c * 6.4s| 25037 | 14208 | 0 | 0.0 | 29M|1959 | - |3853 |8294 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.120000e+02 | Inf
7.09/7.10 o 311
7.09/7.10 c * 6.5s| 25244 | 14405 | 0 | 0.0 | 29M|1959 | - |3853 |8143 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
7.29/7.38 o 303
7.29/7.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.29/7.38 c * 6.7s| 25982 | 15046 | 0 | 0.0 | 29M|1959 | - |3853 |7793 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.030000e+02 | Inf
7.39/7.46 o 262
7.39/7.46 c * 6.8s| 26189 | 15001 | 0 | 0.0 | 29M|1959 | - |3853 |7682 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
7.49/7.56 o 236
7.49/7.56 c * 6.9s| 26442 | 15123 | 0 | 0.0 | 29M|1959 | - |3853 |7597 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.360000e+02 | Inf
7.49/7.56 o 234
7.49/7.56 c * 6.9s| 26443 | 15119 | 0 | 0.0 | 29M|1959 | - |3853 |7597 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.340000e+02 | Inf
8.49/8.56 o 230
8.49/8.56 c * 7.8s| 29003 | 17517 | 0 | 0.0 | 31M|1959 | - |3853 |6937 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
8.49/8.56 o 228
8.49/8.56 c * 7.8s| 29004 | 17511 | 0 | 0.0 | 31M|1959 | - |3853 |6937 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.280000e+02 | Inf
8.49/8.59 o 215
8.49/8.59 c * 7.8s| 29081 | 17520 | 0 | 0.0 | 31M|1959 | - |3853 |6902 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.150000e+02 | Inf
8.49/8.59 o 211
8.49/8.59 c * 7.8s| 29083 | 17056 | 0 | 0.0 | 31M|1959 | - |3853 |6902 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
8.59/8.67 o 175
8.59/8.67 c * 7.9s| 29286 | 16916 | 0 | 0.0 | 30M|1959 | - |3853 |6852 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
8.59/8.67 o 104
8.59/8.67 c * 7.9s| 29287 | 15803 | 0 | 0.0 | 29M|1959 | - |3853 |6852 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
8.89/8.96 c 8.2s| 30000 | 16458 | 0 | 0.0 | 30M|1959 | - |3853 |6767 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
9.19/9.24 o 96
9.19/9.24 c * 8.4s| 30654 | 16896 | 0 | 0.0 | 31M|1959 | - |3853 |6763 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
9.69/9.73 o 90
9.69/9.73 c * 8.9s| 31728 | 17622 | 0 | 0.0 | 32M|1959 | - |3853 |6647 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
11.09/11.13 o 83
11.09/11.13 c *10.2s| 34770 | 19755 | 0 | 0.0 | 35M|1959 | - |3853 |6411 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
11.09/11.13 o 74
11.09/11.13 c *10.2s| 34771 | 19258 | 0 | 0.0 | 34M|1959 | - |3853 |6411 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
11.19/11.26 o 60
11.19/11.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.19/11.26 c *10.3s| 35084 | 18915 | 0 | 0.0 | 34M|1959 | - |3853 |6399 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
11.19/11.26 o 52
11.19/11.26 c *10.3s| 35085 | 18496 | 0 | 0.0 | 33M|1959 | - |3853 |6399 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
11.49/11.52 o 47
11.49/11.52 c *10.6s| 35805 | 18931 | 0 | 0.0 | 34M|1959 | - |3853 |6368 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
11.59/11.64 o 43
11.59/11.64 c *10.7s| 36112 | 19115 | 0 | 0.0 | 34M|1959 | - |3853 |6412 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
11.59/11.64 o 36
11.59/11.64 c *10.7s| 36113 | 18863 | 0 | 0.0 | 34M|1959 | - |3853 |6412 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
11.59/11.65 o 17
11.59/11.65 c *10.7s| 36161 | 18260 | 0 | 0.0 | 33M|1959 | - |3853 |6411 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
11.69/11.72 o 10
11.69/11.72 c *10.8s| 36354 | 17884 | 0 | 0.0 | 33M|1959 | - |3853 |6413 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
12.79/12.82 c 11.8s| 40000 | 21121 | 0 | 0.0 | 37M|1959 | - |3853 |6775 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
15.99/16.00 c 14.7s| 50000 | 29881 | 0 | 0.0 | 48M|1959 | - |3853 |7656 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
19.00/19.07 c 17.4s| 60000 | 38340 | 0 | 0.0 | 58M|1959 | - |3853 |7514 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
22.49/22.50 c 20.6s| 70000 | 46380 | 0 | 0.0 | 67M|1959 | - |3853 |7919 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
26.09/26.19 c 23.9s| 80000 | 54039 | 0 | 0.0 | 76M|1959 | - |3853 |8655 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
30.29/30.31 c 27.7s| 90000 | 61246 | 0 | 0.0 | 85M|1959 | - |3853 |9505 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
34.79/34.81 c 31.9s|100000 | 68042 | 0 | 0.0 | 95M|1959 | - |3853 | 10k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
39.69/39.77 c 36.6s|110000 | 74402 | 0 | 0.0 | 105M|1959 | - |3853 | 11k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
45.59/45.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.59/45.64 c 42.1s|120000 | 79923 | 0 | 0.0 | 114M|1959 | - |3853 | 13k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
53.69/53.79 c 49.9s|130000 | 83469 | 0 | 0.0 | 123M|1959 | - |3853 | 16k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
58.49/58.52 c 54.3s|140000 | 91012 | 0 | 0.0 | 129M|1959 | - |3853 |8752 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
63.59/63.67 c 59.1s|150000 | 98467 | 0 | 0.0 | 142M|1959 | - |3853 |8580 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
68.39/68.45 c 63.5s|160000 |106715 | 0 | 0.0 | 160M|1959 | - |3853 |8245 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
72.69/72.75 c 67.5s|170000 |115009 | 0 | 0.0 | 172M|1959 | - |3853 |4952 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
76.29/76.35 c 70.8s|180000 |122998 | 0 | 0.0 | 181M|1959 | - |3853 |5158 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
80.29/80.35 c 74.4s|190000 |130449 | 0 | 0.0 | 191M|1959 | - |3853 |5615 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
84.70/84.77 c 78.4s|200000 |137422 | 0 | 0.0 | 202M|1959 | - |3853 |5160 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
88.79/88.83 c 82.1s|210000 |144528 | 0 | 0.0 | 211M|1959 | - |3853 |5522 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
93.40/93.46 c 86.4s|220000 |150896 | 0 | 0.0 | 222M|1959 | - |3853 |6614 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
96.70/96.71 c 89.3s|230000 |159260 | 0 | 0.0 | 230M|1959 | - |3853 |5791 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
100.49/100.59 c 92.8s|240000 |166822 | 0 | 0.0 | 239M|1959 | - |3853 |5371 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
104.19/104.26 c 96.2s|250000 |174565 | 0 | 0.0 | 248M|1959 | - |3853 |7184 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
107.49/107.56 c 99.2s|260000 |182813 | 0 | 0.0 | 256M|1959 | - |3853 |6328 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
111.19/111.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.19/111.23 c 103s|270000 |190598 | 0 | 0.0 | 265M|1959 | - |3853 |6106 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
115.09/115.11 c 106s|280000 |198062 | 0 | 0.0 | 274M|1959 | - |3853 |8011 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
118.30/118.36 c 109s|290000 |206429 | 0 | 0.0 | 282M|1959 | - |3853 |6716 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
121.80/121.84 c 112s|300000 |214540 | 0 | 0.0 | 290M|1959 | - |3853 |6436 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
125.19/125.26 c 115s|310000 |222696 | 0 | 0.0 | 298M|1959 | - |3853 |6715 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
128.89/128.92 c 119s|320000 |230637 | 0 | 0.0 | 307M|1959 | - |3853 |7397 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
132.89/132.99 c 122s|330000 |238000 | 0 | 0.0 | 315M|1959 | - |3853 |8288 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
137.69/137.72 c 127s|340000 |244661 | 0 | 0.0 | 324M|1959 | - |3853 |7232 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
141.29/141.39 c 130s|350000 |252486 | 0 | 0.0 | 333M|1959 | - |3853 |8184 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
145.10/145.11 c 133s|360000 |260276 | 0 | 0.0 | 341M|1959 | - |3853 |7707 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
148.79/148.89 c 137s|370000 |267980 | 0 | 0.0 | 349M|1959 | - |3853 |7452 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
152.29/152.34 c 140s|380000 |276082 | 0 | 0.0 | 357M|1959 | - |3853 |7983 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
156.70/156.74 c 144s|390000 |283068 | 0 | 0.0 | 366M|1959 | - |3853 |9683 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
160.60/160.62 c 148s|400000 |290691 | 0 | 0.0 | 374M|1959 | - |3853 |8393 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
164.59/164.65 c 151s|410000 |297982 | 0 | 0.0 | 381M|1959 | - |3853 |7370 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
167.80/167.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.80/167.88 c 154s|420000 |306320 | 0 | 0.0 | 389M|1959 | - |3853 |7534 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
171.29/171.31 c 157s|430000 |314367 | 0 | 0.0 | 397M|1959 | - |3853 |7918 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
175.10/175.14 c 161s|440000 |321894 | 0 | 0.0 | 406M|1959 | - |3853 |8953 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
179.79/179.86 c 165s|450000 |328482 | 0 | 0.0 | 415M|1959 | - |3853 | 10k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
184.70/184.75 c 170s|460000 |334999 | 0 | 0.0 | 421M|1959 | - |3853 |8794 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
189.09/189.15 c 174s|470000 |341872 | 0 | 0.0 | 429M|1959 | - |3853 |8052 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
192.79/192.87 c 177s|480000 |349519 | 0 | 0.0 | 437M|1959 | - |3853 |9649 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
196.69/196.75 c 181s|490000 |357220 | 0 | 0.0 | 443M|1959 | - |3853 |4268 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
199.89/199.97 c 183s|500000 |365489 | 0 | 0.0 | 452M|1959 | - |3853 |4275 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
203.19/203.24 c 186s|510000 |373457 | 0 | 0.0 | 459M|1959 | - |3853 |4668 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
207.20/207.25 c 190s|520000 |380516 | 0 | 0.0 | 468M|1959 | - |3853 |5650 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
211.49/211.51 c 194s|530000 |387375 | 0 | 0.0 | 476M|1959 | - |3853 |6116 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
215.79/215.87 c 198s|540000 |394107 | 0 | 0.0 | 484M|1959 | - |3853 |6492 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
220.30/220.31 c 202s|550000 |400777 | 0 | 0.0 | 493M|1959 | - |3853 |7106 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
225.09/225.14 c 207s|560000 |407087 | 0 | 0.0 | 501M|1959 | - |3853 |7274 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
230.10/230.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.10/230.19 c 211s|570000 |413170 | 0 | 0.0 | 509M|1959 | - |3853 |8166 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
235.30/235.39 c 216s|580000 |419169 | 0 | 0.0 | 517M|1959 | - |3853 |8689 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
240.80/240.82 c 221s|590000 |424941 | 0 | 0.0 | 525M|1959 | - |3853 |8925 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
246.19/246.29 c 226s|600000 |430650 | 0 | 0.0 | 533M|1959 | - |3853 |9156 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
251.90/251.98 c 232s|610000 |436247 | 0 | 0.0 | 541M|1959 | - |3853 |9365 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
257.60/257.69 c 237s|620000 |441823 | 0 | 0.0 | 548M|1959 | - |3853 |9039 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
263.70/263.79 c 243s|630000 |446989 | 0 | 0.0 | 556M|1959 | - |3853 |9429 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
270.09/270.16 c 249s|640000 |451898 | 0 | 0.0 | 564M|1959 | - |3853 | 10k| 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
276.69/276.78 c 255s|650000 |456578 | 0 | 0.0 | 572M|1959 | - |3853 | 10k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
283.80/283.84 c 262s|660000 |460930 | 0 | 0.0 | 579M|1959 | - |3853 | 10k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
291.09/291.11 c 269s|670000 |465038 | 0 | 0.0 | 587M|1959 | - |3853 | 10k| 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
299.20/299.29 c 277s|680000 |468140 | 0 | 0.0 | 594M|1959 | - |3853 | 10k| 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
307.19/307.25 c 284s|690000 |471393 | 0 | 0.0 | 602M|1959 | - |3853 | 11k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
315.49/315.60 c 292s|700000 |474493 | 0 | 0.0 | 609M|1959 | - |3853 | 11k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
324.99/325.03 c 301s|710000 |476581 | 0 | 0.0 | 615M|1959 | - |3853 | 12k| 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
334.89/334.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.89/334.98 c 311s|720000 |478293 | 0 | 0.0 | 622M|1959 | - |3853 | 13k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
345.99/346.09 c 321s|730000 |479014 | 0 | 0.0 | 627M|1959 | - |3853 | 13k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
359.10/359.11 c 334s|740000 |477958 | 0 | 0.0 | 629M|1959 | - |3853 | 15k| 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
368.19/368.23 c 343s|750000 |481425 | 0 | 0.0 | 630M|1959 | - |3853 |4495 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
371.80/371.81 c 346s|760000 |489483 | 0 | 0.0 | 638M|1959 | - |3853 |4822 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
375.30/375.39 c 349s|770000 |497527 | 0 | 0.0 | 647M|1959 | - |3853 |5169 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
379.29/379.33 c 353s|780000 |505219 | 0 | 0.0 | 656M|1959 | - |3853 |5603 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
383.39/383.49 c 356s|790000 |512668 | 0 | 0.0 | 665M|1959 | - |3853 |6206 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
387.80/387.86 c 360s|800000 |519935 | 0 | 0.0 | 675M|1959 | - |3853 |6718 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
392.49/392.54 c 365s|810000 |526944 | 0 | 0.0 | 685M|1959 | - |3853 |7326 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
397.49/397.58 c 369s|820000 |533612 | 0 | 0.0 | 694M|1959 | - |3853 |8101 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
403.09/403.12 c 375s|830000 |539739 | 0 | 0.0 | 704M|1959 | - |3853 |8525 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
409.40/409.47 c 380s|840000 |545236 | 0 | 0.0 | 715M|1959 | - |3853 |9910 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
416.39/416.41 c 387s|850000 |550334 | 0 | 0.0 | 727M|1959 | - |3853 | 11k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
424.40/424.41 c 394s|860000 |554817 | 0 | 0.0 | 737M|1959 | - |3853 | 10k| 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
429.60/429.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.60/429.68 c 399s|870000 |561349 | 0 | 0.0 | 744M|1959 | - |3853 |5284 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
433.70/433.78 c 403s|880000 |568942 | 0 | 0.0 | 753M|1959 | - |3853 |5039 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
437.60/437.67 c 407s|890000 |576712 | 0 | 0.0 | 761M|1959 | - |3853 |5174 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
441.49/441.50 c 410s|900000 |584475 | 0 | 0.0 | 770M|1959 | - |3853 |5451 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
442.21/442.30 o 9
442.21/442.30 c * 411s|901849 |573858 | 0 | 0.0 | 740M|1959 | - |3853 |5560 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
445.70/445.70 c 414s|910000 |580120 | 0 | 0.0 | 748M|1959 | - |3853 |5823 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
450.10/450.19 c 418s|920000 |587568 | 0 | 0.0 | 758M|1959 | - |3853 |6054 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
454.49/454.58 c 422s|930000 |595011 | 0 | 0.0 | 768M|1959 | - |3853 |6380 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
459.10/459.19 c 426s|940000 |602232 | 0 | 0.0 | 777M|1959 | - |3853 |6433 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
463.70/463.74 c 430s|950000 |609502 | 0 | 0.0 | 787M|1959 | - |3853 |6957 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
468.40/468.48 c 435s|960000 |616606 | 0 | 0.0 | 797M|1959 | - |3853 |6845 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
473.20/473.23 c 439s|970000 |623689 | 0 | 0.0 | 807M|1959 | - |3853 |7328 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
478.00/478.04 c 444s|980000 |630680 | 0 | 0.0 | 817M|1959 | - |3853 |7823 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
483.30/483.39 c 449s|990000 |637184 | 0 | 0.0 | 827M|1959 | - |3853 |8913 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
488.80/488.82 c 454s| 1000k|643726 | 0 | 0.0 | 837M|1959 | - |3853 |9425 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
494.30/494.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.30/494.32 c 459s| 1010k|650272 | 0 | 0.0 | 847M|1959 | - |3853 |9631 | 0 | 0 | 0 | 755k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
500.00/500.10 c 464s| 1020k|656649 | 0 | 0.0 | 857M|1959 | - |3853 | 10k| 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
505.90/505.94 c 470s| 1030k|663022 | 0 | 0.0 | 867M|1959 | - |3853 | 10k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
512.00/512.04 c 475s| 1040k|669211 | 0 | 0.0 | 877M|1959 | - |3853 | 10k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
518.59/518.63 c 482s| 1050k|674933 | 0 | 0.0 | 887M|1959 | - |3853 | 11k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
525.30/525.35 c 488s| 1060k|680691 | 0 | 0.0 | 897M|1959 | - |3853 | 11k| 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
532.10/532.12 c 494s| 1070k|686549 | 0 | 0.0 | 907M|1959 | - |3853 | 11k| 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
539.10/539.13 c 501s| 1080k|692107 | 0 | 0.0 | 916M|1959 | - |3853 | 11k| 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
546.30/546.34 c 508s| 1090k|697561 | 0 | 0.0 | 927M|1959 | - |3853 | 12k| 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
553.70/553.75 c 515s| 1100k|702920 | 0 | 0.0 | 937M|1959 | - |3853 | 12k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
561.00/561.07 c 522s| 1110k|708318 | 0 | 0.0 | 947M|1959 | - |3853 | 12k| 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
568.80/568.82 c 529s| 1120k|713484 | 0 | 0.0 | 957M|1959 | - |3853 | 13k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
576.10/576.14 c 536s| 1130k|719142 | 0 | 0.0 | 967M|1959 | - |3853 | 12k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
583.80/583.84 c 543s| 1140k|724419 | 0 | 0.0 | 976M|1959 | - |3853 | 13k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
591.50/591.50 c 550s| 1150k|729846 | 0 | 0.0 | 986M|1959 | - |3853 | 12k| 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
599.00/599.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.00/599.00 c 557s| 1160k|735158 | 0 | 0.0 | 995M|1959 | - |3853 | 13k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
605.80/605.83 c 564s| 1170k|741091 | 0 | 0.0 |1004M|1959 | - |3853 | 11k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
612.30/612.32 c 570s| 1180k|747178 | 0 | 0.0 |1013M|1959 | - |3853 | 11k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
618.30/618.33 c 576s| 1190k|753678 | 0 | 0.0 |1023M|1959 | - |3853 | 10k| 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
624.20/624.22 c 581s| 1200k|760202 | 0 | 0.0 |1033M|1959 | - |3853 | 11k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
629.90/629.91 c 586s| 1210k|766969 | 0 | 0.0 |1042M|1959 | - |3853 | 12k| 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
635.71/635.79 c 592s| 1220k|773602 | 0 | 0.0 |1052M|1959 | - |3853 | 12k| 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
641.91/641.95 c 597s| 1230k|780054 | 0 | 0.0 |1063M|1959 | - |3853 | 13k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
648.70/648.73 c 604s| 1240k|786101 | 0 | 0.0 |1073M|1959 | - |3853 | 15k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
656.50/656.59 c 611s| 1250k|791525 | 0 | 0.0 |1085M|1959 | - |3853 | 17k| 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
666.70/666.77 c 621s| 1260k|795686 | 0 | 0.0 |1096M|1959 | - |3853 | 21k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
681.90/681.92 c 636s| 1270k|797530 | 0 | 0.0 |1105M|1959 | - |3853 | 23k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
687.10/687.15 c 641s| 1280k|805690 | 0 | 0.0 |1111M|1959 | - |3853 | 13k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
691.81/691.81 c 645s| 1290k|813524 | 0 | 0.0 |1119M|1959 | - |3853 | 12k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
696.60/696.66 c 649s| 1300k|821150 | 0 | 0.0 |1129M|1959 | - |3853 | 13k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
701.81/701.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.81/701.83 c 654s| 1310k|828487 | 0 | 0.0 |1139M|1959 | - |3853 | 13k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
707.50/707.55 c 660s| 1320k|835376 | 0 | 0.0 |1149M|1959 | - |3853 | 15k| 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
710.61/710.63 o 8
710.61/710.63 c * 662s| 1324k|818183 | 0 | 0.0 |1102M|1959 | - |3853 | 15k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
714.01/714.00 c 666s| 1330k|821563 | 0 | 0.0 |1107M|1959 | - |3853 | 13k| 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
720.80/720.87 c 672s| 1340k|827494 | 0 | 0.0 |1117M|1959 | - |3853 | 16k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
729.51/729.50 c 680s| 1350k|832456 | 0 | 0.0 |1127M|1959 | - |3853 | 18k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
740.41/740.46 c 691s| 1360k|836199 | 0 | 0.0 |1136M|1959 | - |3853 | 21k| 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
752.71/752.75 c 703s| 1370k|839677 | 0 | 0.0 |1142M|1959 | - |3853 | 17k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
757.71/757.75 c 707s| 1380k|847700 | 0 | 0.0 |1149M|1959 | - |3853 |9756 | 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
761.80/761.88 c 711s| 1390k|855534 | 0 | 0.0 |1158M|1959 | - |3853 | 10k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
766.21/766.27 c 715s| 1400k|863133 | 0 | 0.0 |1166M|1959 | - |3853 | 11k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
770.91/770.92 c 719s| 1410k|870426 | 0 | 0.0 |1175M|1959 | - |3853 | 11k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
775.91/775.95 c 724s| 1420k|877355 | 0 | 0.0 |1184M|1959 | - |3853 | 12k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
781.30/781.34 c 729s| 1430k|883873 | 0 | 0.0 |1193M|1959 | - |3853 | 12k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
787.41/787.47 c 735s| 1440k|889728 | 0 | 0.0 |1202M|1959 | - |3853 | 13k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
794.90/794.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.90/794.94 c 742s| 1450k|894507 | 0 | 0.0 |1211M|1959 | - |3853 | 15k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
805.21/805.22 c 752s| 1460k|897068 | 0 | 0.0 |1218M|1959 | - |3853 | 16k| 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
810.51/810.59 c 757s| 1470k|904106 | 0 | 0.0 |1224M|1959 | - |3853 | 10k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
814.61/814.68 c 760s| 1480k|912002 | 0 | 0.0 |1232M|1959 | - |3853 | 10k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
819.00/819.03 c 764s| 1490k|919583 | 0 | 0.0 |1241M|1959 | - |3853 | 11k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
823.61/823.69 c 769s| 1500k|926857 | 0 | 0.0 |1250M|1959 | - |3853 | 12k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
828.71/828.71 c 773s| 1510k|933826 | 0 | 0.0 |1259M|1959 | - |3853 | 13k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
834.31/834.40 c 779s| 1520k|940185 | 0 | 0.0 |1267M|1959 | - |3853 | 13k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
840.61/840.69 c 785s| 1530k|946056 | 0 | 0.0 |1276M|1959 | - |3853 | 14k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
847.80/847.84 c 791s| 1540k|951182 | 0 | 0.0 |1284M|1959 | - |3853 | 15k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
856.41/856.45 c 800s| 1550k|955130 | 0 | 0.0 |1292M|1959 | - |3853 | 17k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
864.51/864.52 c 807s| 1560k|960094 | 0 | 0.0 |1297M|1959 | - |3853 | 10k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
868.41/868.47 c 811s| 1570k|968197 | 0 | 0.0 |1306M|1959 | - |3853 | 11k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
872.71/872.73 c 815s| 1580k|975934 | 0 | 0.0 |1315M|1959 | - |3853 | 12k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
877.21/877.24 c 819s| 1590k|983455 | 0 | 0.0 |1324M|1959 | - |3853 | 12k| 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
882.11/882.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.11/882.10 c 823s| 1600k|990656 | 0 | 0.0 |1333M|1959 | - |3853 | 13k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
887.51/887.53 c 828s| 1610k|997320 | 0 | 0.0 |1341M|1959 | - |3853 | 14k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
893.61/893.67 c 834s| 1620k| 1003k| 0 | 0.0 |1350M|1959 | - |3853 | 15k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
900.60/900.63 c 841s| 1630k| 1008k| 0 | 0.0 |1359M|1959 | - |3853 | 16k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
908.90/908.97 c 849s| 1640k| 1013k| 0 | 0.0 |1367M|1959 | - |3853 | 18k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
918.21/918.24 c 857s| 1650k| 1017k| 0 | 0.0 |1371M|1959 | - |3853 | 12k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
922.31/922.33 c 861s| 1660k| 1025k| 0 | 0.0 |1379M|1959 | - |3853 | 11k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
926.51/926.52 c 865s| 1670k| 1033k| 0 | 0.0 |1388M|1959 | - |3853 | 12k| 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
930.90/930.90 c 869s| 1680k| 1040k| 0 | 0.0 |1396M|1959 | - |3853 | 12k| 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
935.51/935.56 c 873s| 1690k| 1048k| 0 | 0.0 |1405M|1959 | - |3853 | 13k| 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
940.61/940.69 c 878s| 1700k| 1055k| 0 | 0.0 |1413M|1959 | - |3853 | 13k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
946.11/946.12 c 883s| 1710k| 1061k| 0 | 0.0 |1421M|1959 | - |3853 | 13k| 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
951.71/951.70 c 888s| 1720k| 1068k| 0 | 0.0 |1429M|1959 | - |3853 | 13k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
957.31/957.39 c 894s| 1730k| 1074k| 0 | 0.0 |1437M|1959 | - |3853 | 12k| 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
963.01/963.08 c 899s| 1740k| 1081k| 0 | 0.0 |1445M|1959 | - |3853 | 12k| 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
968.61/968.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.61/968.69 c 904s| 1750k| 1087k| 0 | 0.0 |1453M|1959 | - |3853 | 12k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
973.91/973.98 c 909s| 1760k| 1094k| 0 | 0.0 |1460M|1959 | - |3853 | 12k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
979.02/979.02 c 914s| 1770k| 1101k| 0 | 0.0 |1468M|1959 | - |3853 | 12k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
984.01/984.09 c 919s| 1780k| 1108k| 0 | 0.0 |1476M|1959 | - |3853 | 12k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
989.11/989.12 c 923s| 1790k| 1115k| 0 | 0.0 |1484M|1959 | - |3853 | 12k| 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
993.91/993.96 c 928s| 1800k| 1122k| 0 | 0.0 |1492M|1959 | - |3853 | 12k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
998.62/998.70 c 932s| 1810k| 1130k| 0 | 0.0 |1500M|1959 | - |3853 | 12k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1003.62/1003.66 c 937s| 1820k| 1137k| 0 | 0.0 |1509M|1959 | - |3853 | 13k| 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1008.61/1008.65 c 941s| 1830k| 1144k| 0 | 0.0 |1517M|1959 | - |3853 | 13k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1013.61/1013.69 c 946s| 1840k| 1151k| 0 | 0.0 |1525M|1959 | - |3853 | 13k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1018.81/1018.89 c 951s| 1850k| 1159k| 0 | 0.0 |1534M|1959 | - |3853 | 13k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1024.22/1024.21 c 956s| 1860k| 1165k| 0 | 0.0 |1542M|1959 | - |3853 | 13k| 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1029.71/1029.78 c 961s| 1870k| 1172k| 0 | 0.0 |1551M|1959 | - |3853 | 14k| 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1035.52/1035.50 c 967s| 1880k| 1179k| 0 | 0.0 |1559M|1959 | - |3853 | 14k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1041.31/1041.33 c 972s| 1890k| 1185k| 0 | 0.0 |1567M|1959 | - |3853 | 14k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1047.51/1047.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1047.51/1047.52 c 978s| 1900k| 1192k| 0 | 0.0 |1576M|1959 | - |3853 | 15k| 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1053.82/1053.87 c 984s| 1910k| 1198k| 0 | 0.0 |1584M|1959 | - |3853 | 16k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1060.51/1060.50 c 990s| 1920k| 1204k| 0 | 0.0 |1592M|1959 | - |3853 | 16k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1067.31/1067.35 c 997s| 1930k| 1210k| 0 | 0.0 |1601M|1959 | - |3853 | 16k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1075.02/1075.05 c 1004s| 1940k| 1215k| 0 | 0.0 |1608M|1959 | - |3853 | 16k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1082.91/1082.93 c 1011s| 1950k| 1220k| 0 | 0.0 |1616M|1959 | - |3853 | 18k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1091.71/1091.70 c 1020s| 1960k| 1225k| 0 | 0.0 |1624M|1959 | - |3853 | 18k| 0 | 0 | 0 |1472k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1101.31/1101.38 c 1029s| 1970k| 1229k| 0 | 0.0 |1631M|1959 | - |3853 | 18k| 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1112.02/1112.05 c 1039s| 1980k| 1232k| 0 | 0.0 |1639M|1959 | - |3853 | 20k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1124.22/1124.25 c 1051s| 1990k| 1235k| 0 | 0.0 |1645M|1959 | - |3853 | 21k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1134.51/1134.58 c 1061s| 2000k| 1238k| 0 | 0.0 |1649M|1959 | - |3853 | 14k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1141.12/1141.10 c 1067s| 2010k| 1244k| 0 | 0.0 |1654M|1959 | - |3853 | 13k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1145.81/1145.81 c 1071s| 2020k| 1252k| 0 | 0.0 |1662M|1959 | - |3853 | 13k| 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1150.52/1150.56 c 1076s| 2030k| 1259k| 0 | 0.0 |1670M|1959 | - |3853 | 13k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1155.52/1155.59 c 1080s| 2040k| 1266k| 0 | 0.0 |1679M|1959 | - |3853 | 14k| 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1161.32/1161.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.32/1161.31 c 1086s| 2050k| 1273k| 0 | 0.0 |1687M|1959 | - |3853 | 15k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1167.82/1167.86 c 1092s| 2060k| 1279k| 0 | 0.0 |1696M|1959 | - |3853 | 16k| 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1175.41/1175.46 c 1099s| 2070k| 1284k| 0 | 0.0 |1705M|1959 | - |3853 | 18k| 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1185.12/1185.19 c 1109s| 2080k| 1288k| 0 | 0.0 |1713M|1959 | - |3853 | 21k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1196.22/1196.26 c 1119s| 2090k| 1292k| 0 | 0.0 |1716M|1959 | - |3853 | 13k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1200.52/1200.55 c 1123s| 2100k| 1300k| 0 | 0.0 |1724M|1959 | - |3853 | 12k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1204.92/1204.96 c 1127s| 2110k| 1308k| 0 | 0.0 |1732M|1959 | - |3853 | 13k| 0 | 0 | 0 |1600k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1209.61/1209.64 c 1132s| 2120k| 1315k| 0 | 0.0 |1741M|1959 | - |3853 | 14k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1214.52/1214.55 c 1136s| 2130k| 1322k| 0 | 0.0 |1749M|1959 | - |3853 | 14k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1219.83/1219.83 c 1141s| 2140k| 1329k| 0 | 0.0 |1758M|1959 | - |3853 | 15k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1225.92/1225.96 c 1147s| 2150k| 1336k| 0 | 0.0 |1766M|1959 | - |3853 | 16k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1232.91/1232.95 c 1154s| 2160k| 1341k| 0 | 0.0 |1774M|1959 | - |3853 | 16k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1240.11/1240.17 c 1161s| 2170k| 1347k| 0 | 0.0 |1780M|1959 | - |3853 | 15k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1246.12/1246.18 c 1166s| 2180k| 1353k| 0 | 0.0 |1787M|1959 | - |3853 | 13k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1251.31/1251.34 c 1171s| 2190k| 1360k| 0 | 0.0 |1795M|1959 | - |3853 | 13k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1256.31/1256.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.31/1256.33 c 1176s| 2200k| 1367k| 0 | 0.0 |1803M|1959 | - |3853 | 13k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1261.22/1261.28 c 1180s| 2210k| 1375k| 0 | 0.0 |1812M|1959 | - |3853 | 13k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1266.22/1266.20 c 1185s| 2220k| 1382k| 0 | 0.0 |1820M|1959 | - |3853 | 13k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1271.22/1271.28 c 1190s| 2230k| 1389k| 0 | 0.0 |1829M|1959 | - |3853 | 14k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1276.62/1276.67 c 1195s| 2240k| 1396k| 0 | 0.0 |1838M|1959 | - |3853 | 14k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1282.22/1282.25 c 1200s| 2250k| 1403k| 0 | 0.0 |1846M|1959 | - |3853 | 14k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1288.02/1288.06 c 1205s| 2260k| 1410k| 0 | 0.0 |1855M|1959 | - |3853 | 15k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1294.32/1294.31 c 1211s| 2270k| 1416k| 0 | 0.0 |1863M|1959 | - |3853 | 15k| 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1300.82/1300.86 c 1217s| 2280k| 1422k| 0 | 0.0 |1872M|1959 | - |3853 | 16k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1308.12/1308.14 c 1224s| 2290k| 1427k| 0 | 0.0 |1880M|1959 | - |3853 | 17k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1316.02/1316.06 c 1232s| 2300k| 1433k| 0 | 0.0 |1888M|1959 | - |3853 | 18k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1325.12/1325.12 c 1241s| 2310k| 1437k| 0 | 0.0 |1896M|1959 | - |3853 | 19k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1335.22/1335.29 c 1250s| 2320k| 1441k| 0 | 0.0 |1904M|1959 | - |3853 | 20k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1350.12/1350.16 c 1265s| 2330k| 1442k| 0 | 0.0 |1908M|1959 | - |3853 | 23k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1355.23/1355.25 c 1269s| 2340k| 1449k| 0 | 0.0 |1913M|1959 | - |3853 | 12k| 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1360.22/1360.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.22/1360.21 c 1274s| 2350k| 1457k| 0 | 0.0 |1922M|1959 | - |3853 | 13k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1365.62/1365.60 c 1279s| 2360k| 1464k| 0 | 0.0 |1931M|1959 | - |3853 | 14k| 0 | 0 | 0 |1778k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1371.32/1371.36 c 1284s| 2370k| 1470k| 0 | 0.0 |1939M|1959 | - |3853 | 15k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1378.42/1378.44 c 1291s| 2380k| 1476k| 0 | 0.0 |1947M|1959 | - |3853 | 17k| 0 | 0 | 0 |1793k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1386.82/1386.86 c 1299s| 2390k| 1481k| 0 | 0.0 |1955M|1959 | - |3853 | 19k| 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1397.52/1397.53 c 1310s| 2400k| 1484k| 0 | 0.0 |1962M|1959 | - |3853 | 22k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1405.73/1405.78 c 1317s| 2410k| 1489k| 0 | 0.0 |1965M|1959 | - |3853 | 12k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1410.42/1410.41 c 1322s| 2420k| 1497k| 0 | 0.0 |1974M|1959 | - |3853 | 12k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1415.13/1415.16 c 1326s| 2430k| 1504k| 0 | 0.0 |1982M|1959 | - |3853 | 12k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1420.03/1420.04 c 1331s| 2440k| 1512k| 0 | 0.0 |1990M|1959 | - |3853 | 12k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1424.72/1424.80 c 1335s| 2450k| 1519k| 0 | 0.0 |1998M|1959 | - |3853 | 13k| 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1429.93/1429.94 c 1340s| 2460k| 1526k| 0 | 0.0 |2007M|1959 | - |3853 | 13k| 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1435.02/1435.01 c 1344s| 2470k| 1533k| 0 | 0.0 |2015M|1959 | - |3853 | 13k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1440.33/1440.34 c 1349s| 2480k| 1540k| 0 | 0.0 |2023M|1959 | - |3853 | 13k| 0 | 0 | 0 |1860k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1445.72/1445.74 c 1355s| 2490k| 1547k| 0 | 0.0 |2031M|1959 | - |3853 | 13k| 0 | 0 | 0 |1866k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1451.22/1451.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.22/1451.30 c 1360s| 2500k| 1553k| 0 | 0.0 |2039M|1959 | - |3853 | 13k| 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1457.32/1457.38 c 1365s| 2510k| 1560k| 0 | 0.0 |2047M|1959 | - |3853 | 13k| 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1463.22/1463.23 c 1371s| 2520k| 1566k| 0 | 0.0 |2055M|1959 | - |3853 | 14k| 0 | 0 | 0 |1885k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1469.13/1469.13 c 1376s| 2530k| 1572k| 0 | 0.0 |2063M|1959 | - |3853 | 14k| 0 | 0 | 0 |1892k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1475.43/1475.41 c 1382s| 2540k| 1579k| 0 | 0.0 |2071M|1959 | - |3853 | 14k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1481.92/1481.93 c 1389s| 2550k| 1584k| 0 | 0.0 |2079M|1959 | - |3853 | 15k| 0 | 0 | 0 |1907k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1488.52/1488.58 c 1395s| 2560k| 1590k| 0 | 0.0 |2086M|1959 | - |3853 | 15k| 0 | 0 | 0 |1915k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1495.42/1495.43 c 1401s| 2570k| 1596k| 0 | 0.0 |2094M|1959 | - |3853 | 15k| 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1502.63/1502.64 c 1408s| 2580k| 1601k| 0 | 0.0 |2101M|1959 | - |3853 | 16k| 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1510.02/1510.02 c 1415s| 2590k| 1607k| 0 | 0.0 |2109M|1959 | - |3853 | 16k| 0 | 0 | 0 |1941k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1517.63/1517.69 c 1422s| 2600k| 1612k| 0 | 0.0 |2117M|1959 | - |3853 | 17k| 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1526.02/1526.07 c 1430s| 2610k| 1617k| 0 | 0.0 |2124M|1959 | - |3853 | 17k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1534.93/1534.95 c 1439s| 2620k| 1622k| 0 | 0.0 |2131M|1959 | - |3853 | 18k| 0 | 0 | 0 |1971k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1544.23/1544.23 c 1448s| 2630k| 1626k| 0 | 0.0 |2138M|1959 | - |3853 | 19k| 0 | 0 | 0 |1981k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1554.72/1554.76 c 1458s| 2640k| 1630k| 0 | 0.0 |2145M|1959 | - |3853 | 20k| 0 | 0 | 0 |1993k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1565.92/1565.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.92/1565.90 c 1469s| 2650k| 1633k| 0 | 0.0 |2151M|1959 | - |3853 | 20k| 0 | 0 | 0 |2006k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1577.73/1577.75 c 1480s| 2660k| 1637k| 0 | 0.0 |2156M|1959 | - |3853 | 19k| 0 | 0 | 0 |2019k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1588.53/1588.55 c 1490s| 2670k| 1640k| 0 | 0.0 |2161M|1959 | - |3853 | 18k| 0 | 0 | 0 |2032k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1597.33/1597.30 c 1499s| 2680k| 1645k| 0 | 0.0 |2166M|1959 | - |3853 | 15k| 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1604.43/1604.45 c 1505s| 2690k| 1650k| 0 | 0.0 |2172M|1959 | - |3853 | 15k| 0 | 0 | 0 |2051k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1611.02/1611.05 c 1512s| 2700k| 1657k| 0 | 0.0 |2180M|1959 | - |3853 | 16k| 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1618.43/1618.49 c 1519s| 2710k| 1662k| 0 | 0.0 |2189M|1959 | - |3853 | 17k| 0 | 0 | 0 |2066k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1627.94/1627.99 c 1528s| 2720k| 1667k| 0 | 0.0 |2197M|1959 | - |3853 | 20k| 0 | 0 | 0 |2077k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1641.32/1641.35 c 1541s| 2730k| 1669k| 0 | 0.0 |2204M|1959 | - |3853 | 25k| 0 | 0 | 0 |2092k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1649.83/1649.87 c 1549s| 2740k| 1674k| 0 | 0.0 |2206M|1959 | - |3853 | 13k| 0 | 0 | 0 |2100k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1654.73/1654.79 c 1553s| 2750k| 1682k| 0 | 0.0 |2215M|1959 | - |3853 | 14k| 0 | 0 | 0 |2105k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1660.23/1660.23 c 1559s| 2760k| 1689k| 0 | 0.0 |2223M|1959 | - |3853 | 15k| 0 | 0 | 0 |2111k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1666.63/1666.64 c 1565s| 2770k| 1695k| 0 | 0.0 |2232M|1959 | - |3853 | 17k| 0 | 0 | 0 |2118k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1674.73/1674.73 c 1572s| 2780k| 1701k| 0 | 0.0 |2240M|1959 | - |3853 | 19k| 0 | 0 | 0 |2127k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1684.73/1684.75 c 1582s| 2790k| 1705k| 0 | 0.0 |2248M|1959 | - |3853 | 22k| 0 | 0 | 0 |2139k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1698.03/1698.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.03/1698.08 c 1595s| 2800k| 1707k| 0 | 0.0 |2254M|1959 | - |3853 | 26k| 0 | 0 | 0 |2153k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1704.53/1704.56 c 1601s| 2810k| 1714k| 0 | 0.0 |2254M|1959 | - |3853 |4996 | 0 | 0 | 0 |2159k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1708.03/1708.09 c 1604s| 2820k| 1722k| 0 | 0.0 |2262M|1959 | - |3853 |5562 | 0 | 0 | 0 |2162k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1712.53/1712.59 c 1608s| 2830k| 1729k| 0 | 0.0 |2271M|1959 | - |3853 |7104 | 0 | 0 | 0 |2167k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1718.03/1718.01 c 1613s| 2840k| 1736k| 0 | 0.0 |2279M|1959 | - |3853 |5626 | 0 | 0 | 0 |2173k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1722.93/1722.96 c 1618s| 2850k| 1743k| 0 | 0.0 |2288M|1959 | - |3853 |7151 | 0 | 0 | 0 |2179k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1726.73/1726.78 c 1621s| 2860k| 1751k| 0 | 0.0 |2296M|1959 | - |3853 |5036 | 0 | 0 | 0 |2182k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1731.23/1731.24 c 1626s| 2870k| 1758k| 0 | 0.0 |2305M|1959 | - |3853 |5254 | 0 | 0 | 0 |2187k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1735.63/1735.60 c 1630s| 2880k| 1765k| 0 | 0.0 |2313M|1959 | - |3853 |6728 | 0 | 0 | 0 |2193k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1740.63/1740.66 c 1634s| 2890k| 1772k| 0 | 0.0 |2321M|1959 | - |3853 |5034 | 0 | 0 | 0 |2199k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1745.13/1745.10 c 1638s| 2900k| 1779k| 0 | 0.0 |2329M|1959 | - |3853 |5881 | 0 | 0 | 0 |2204k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1748.83/1748.87 c 1642s| 2910k| 1787k| 0 | 0.0 |2338M|1959 | - |3853 |6544 | 0 | 0 | 0 |2208k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1753.03/1753.06 c 1646s| 2920k| 1794k| 0 | 0.0 |2346M|1959 | - |3853 |5665 | 0 | 0 | 0 |2213k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1757.53/1757.56 c 1650s| 2930k| 1801k| 0 | 0.0 |2355M|1959 | - |3853 |6066 | 0 | 0 | 0 |2219k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1761.14/1761.12 c 1653s| 2940k| 1809k| 0 | 0.0 |2363M|1959 | - |3853 |6725 | 0 | 0 | 0 |2223k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1765.13/1765.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.13/1765.12 c 1657s| 2950k| 1816k| 0 | 0.0 |2371M|1959 | - |3853 |6192 | 0 | 0 | 0 |2227k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1770.63/1770.66 c 1662s| 2960k| 1822k| 0 | 0.0 |2381M|1959 | - |3853 |9886 | 0 | 0 | 0 |2235k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1774.33/1774.35 c 1665s| 2970k| 1830k| 0 | 0.0 |2388M|1959 | - |3853 |6875 | 0 | 0 | 0 |2239k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1778.43/1778.40 c 1669s| 2980k| 1838k| 0 | 0.0 |2397M|1959 | - |3853 |6945 | 0 | 0 | 0 |2243k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1783.33/1783.36 c 1674s| 2990k| 1845k| 0 | 0.0 |2406M|1959 | - |3853 |9609 | 0 | 0 | 0 |2250k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1787.73/1787.70 c 1678s| 3000k| 1852k| 0 | 0.0 |2414M|1959 | - |3853 |7229 | 0 | 0 | 0 |2254k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1791.63/1791.63 c 1681s| 3010k| 1859k| 0 | 0.0 |2421M|1959 | - |3853 |6819 | 0 | 0 | 0 |2259k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1795.93/1795.92 c 1685s| 3020k| 1867k| 0 | 0.0 |2429M|1959 | - |3853 |7167 | 0 | 0 | 0 |2264k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1799.54/1799.53 c 1689s| 3030k| 1874k| 0 | 0.0 |2437M|1959 | - |3853 |7305 | 0 | 0 | 0 |2268k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1689.02
1800.04/1800.00 c Solving Nodes : 3031145
1800.04/1800.00 c Primal Bound : +8.00000000000000e+00 (35 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/1800.04 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126
1800.04/1800.04 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.04 v -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81
1800.04/1800.04 v -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 -x55
1800.04/1800.04 v -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
1800.04/1800.04 v -x29 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
1800.04/1800.04 v -x2 -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1689.02
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2694206-1277910936.wbo
1800.04/1800.04 c Variables : 3967 (2099 binary, 0 integer, 0 implicit integer, 1868 continuous)
1800.04/1800.04 c Constraints : 4576 initial, 4576 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2694206-1277910936.wbo
1800.04/1800.04 c Variables : 3853 (2042 binary, 0 integer, 0 implicit integer, 1811 continuous)
1800.04/1800.04 c Constraints : 4434 initial, 28031 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.04/1800.05 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.04/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.04/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c linear : 0.05 0 0 0 1876 0 85 67 0
1800.04/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c root node : - 1676 - - 3352 - - - -
1800.04/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 1811 0 7610205 0 2322344 457 2523223 0 0 0
1800.04/1800.05 c setppc : 5 0 8640302 0 2559965 1534 1447885 0 0 0
1800.04/1800.05 c linear : 1811 0 8970213 0 2625836 395127 44157086 0 0 0
1800.04/1800.05 c logicor : 807+ 0 5585211 0 2625849 262374 8048891 0 0 0
1800.04/1800.05 c bounddisjunction : 0+ 0 492080 0 0 129 4915 0 0 0
1800.04/1800.05 c countsols : 0 0 0 0 2625848 0 0 0 0 0
1800.04/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c indicator : 16.49 0.00 6.61 0.00 9.88
1800.04/1800.05 c setppc : 7.76 0.00 6.84 0.00 0.92
1800.04/1800.05 c linear : 327.31 0.00 325.99 0.00 1.32
1800.04/1800.05 c logicor : 389.80 0.00 321.53 0.00 68.27
1800.04/1800.05 c bounddisjunction : 0.21 0.00 0.21 0.00 0.00
1800.04/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.05 c vbounds : 0.00 2 0 0
1800.04/1800.05 c rootredcost : 0.00 0 0 0
1800.04/1800.05 c pseudoobj : 308.07 8978400 6317 2300614
1800.04/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.05 c propagation : 37.07 665481 665404 3597536 22.1 190312 9.9 -
1800.04/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c pseudo solution : 0.02 99 99 446 20.3 144 8.8 -
1800.04/1800.05 c applied globally : - - - 2269101 18.8 - - -
1800.04/1800.05 c applied locally : - - - 0 0.0 - - -
1800.04/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.05 c redcost : 0.00 0 0 0 0 0
1800.04/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.05 c intobj : 0.00 0 0 0 0 0
1800.04/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.05 c gomory : 0.00 0 0 0 0 0
1800.04/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.05 c cmir : 0.00 0 0 0 0 0
1800.04/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.05 c clique : 0.00 0 0 0 0 0
1800.04/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.05 c mcf : 0.00 0 0 0 0 0
1800.04/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.05 c Pricers : Time Calls Vars
1800.04/1800.05 c problem variables: 0.00 0 0
1800.04/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c inference : 45.25 2625813 0 0 0 0 5251626
1800.04/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c random : 0.00 0 0 0 0 0 0
1800.04/1800.05 c Primal Heuristics : Time Calls Found
1800.04/1800.05 c LP solutions : 0.00 - 0
1800.04/1800.05 c pseudo solutions : 0.12 - 35
1800.04/1800.05 c oneopt : 0.01 0 0
1800.04/1800.05 c trivial : 0.02 2 0
1800.04/1800.05 c simplerounding : 0.00 0 0
1800.04/1800.05 c zirounding : 0.00 0 0
1800.04/1800.05 c rounding : 0.00 0 0
1800.04/1800.05 c shifting : 0.00 0 0
1800.04/1800.05 c intshifting : 0.00 0 0
1800.04/1800.05 c twoopt : 0.00 0 0
1800.04/1800.05 c fixandinfer : 0.00 0 0
1800.04/1800.05 c feaspump : 0.00 0 0
1800.04/1800.05 c coefdiving : 0.00 0 0
1800.04/1800.05 c pscostdiving : 0.00 0 0
1800.04/1800.05 c fracdiving : 0.00 0 0
1800.04/1800.05 c veclendiving : 0.00 0 0
1800.04/1800.05 c intdiving : 0.00 0 0
1800.04/1800.05 c actconsdiving : 0.00 0 0
1800.04/1800.05 c objpscostdiving : 0.00 0 0
1800.04/1800.05 c rootsoldiving : 0.00 0 0
1800.04/1800.05 c linesearchdiving : 0.00 0 0
1800.04/1800.05 c guideddiving : 0.00 0 0
1800.04/1800.05 c octane : 0.00 0 0
1800.04/1800.05 c rens : 0.00 0 0
1800.04/1800.05 c rins : 0.00 0 0
1800.04/1800.05 c localbranching : 0.00 0 0
1800.04/1800.05 c mutation : 0.00 0 0
1800.04/1800.05 c crossover : 0.00 0 0
1800.04/1800.05 c dins : 0.00 0 0
1800.04/1800.05 c undercover : 0.00 0 0
1800.04/1800.05 c nlp : 0.00 0 0
1800.04/1800.05 c trysol : 0.00 1 0
1800.04/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.05 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.05 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.05 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.05 c (at root node) : - 0 0 0.00 -
1800.04/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.05 c B&B Tree :
1800.04/1800.05 c number of runs : 1
1800.04/1800.05 c nodes : 3031145
1800.04/1800.05 c nodes (total) : 3031145
1800.04/1800.05 c nodes left : 1875797
1800.04/1800.05 c max depth : 1959
1800.04/1800.05 c max depth (total): 1959
1800.04/1800.05 c backtracks : 372327 (12.3%)
1800.04/1800.05 c delayed cutoffs : 297672
1800.04/1800.05 c repropagations : 1507149 (17746468 domain reductions, 260740 cutoffs)
1800.04/1800.05 c avg switch length: 23.55
1800.04/1800.05 c switching time : 481.32
1800.04/1800.05 c Solution :
1800.04/1800.05 c Solutions found : 35 (35 improvements)
1800.04/1800.05 c First Solution : +4.66000000000000e+02 (in run 1, after 11853 nodes, 2.46 seconds, depth 1878, found by <relaxation>)
1800.04/1800.05 c Primal Bound : +8.00000000000000e+00 (in run 1, after 1324761 nodes, 662.40 seconds, depth 784, found by <relaxation>)
1800.04/1800.05 c Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Gap : infinite
1800.04/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Root Iterations : 0
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694206-1277910936/watcher-2694206-1277910936 -o /tmp/evaluation-result-2694206-1277910936/solver-2694206-1277910936 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694206-1277910936.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.43 2.69 2.51 4/178 17011 /proc/meminfo: memFree=30346880/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=8408 CPUtime=0 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 1596 0 0 0 0 0 0 0 18 0 1 0 132388234 8609792 1518 4089446400 4194304 7136930 140736421540368 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/17011/statm: 2150 1521 275 719 0 1429 0 [startup+0.099043 s] /proc/loadavg: 2.43 2.69 2.51 4/178 17011 /proc/meminfo: memFree=30346880/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=28308 CPUtime=0.09 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 7469 0 0 0 7 2 0 0 21 0 1 0 132388234 28987392 6266 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17011/statm: 7077 6266 354 719 0 6356 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28308 [startup+0.101045 s] /proc/loadavg: 2.43 2.69 2.51 4/178 17011 /proc/meminfo: memFree=30346880/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=28308 CPUtime=0.09 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 7727 0 0 0 7 2 0 0 21 0 1 0 132388234 28987392 6267 4089446400 4194304 7136930 140736421540368 18446744073709551615 6331534 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17011/statm: 7077 6267 354 719 0 6356 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28308 [startup+0.301023 s] /proc/loadavg: 2.43 2.69 2.51 4/178 17011 /proc/meminfo: memFree=30346880/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=30320 CPUtime=0.29 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 10347 0 0 0 25 4 0 0 21 0 1 0 132388234 31047680 6831 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17011/statm: 7580 6831 391 719 0 6859 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30320 [startup+0.700941 s] /proc/loadavg: 2.43 2.69 2.51 4/178 17011 /proc/meminfo: memFree=30346880/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=32108 CPUtime=0.69 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 10816 0 0 0 62 7 0 0 22 0 1 0 132388234 32878592 7300 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17011/statm: 8027 7300 395 719 0 7306 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32108 [startup+1.5008 s] /proc/loadavg: 2.40 2.68 2.51 3/179 17012 /proc/meminfo: memFree=30317856/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=34336 CPUtime=1.49 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 11360 0 0 0 134 15 0 0 25 0 1 0 132388234 35160064 7844 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17011/statm: 8584 7844 395 719 0 7863 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34336 [startup+3.10049 s] /proc/loadavg: 2.40 2.68 2.51 3/179 17012 /proc/meminfo: memFree=30313648/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=37884 CPUtime=3.09 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 12298 0 0 0 280 29 0 0 25 0 1 0 132388234 38793216 8782 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17011/statm: 9471 8782 396 719 0 8750 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37884 [startup+6.30095 s] /proc/loadavg: 2.40 2.68 2.51 3/179 17012 /proc/meminfo: memFree=30300956/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=50520 CPUtime=6.29 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 15424 0 0 0 573 56 0 0 25 0 1 0 132388234 51732480 11908 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17011/statm: 12630 11908 396 719 0 11909 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50520 [startup+12.7008 s] /proc/loadavg: 2.33 2.65 2.50 3/179 17012 /proc/meminfo: memFree=30279644/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=73712 CPUtime=12.69 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 20826 0 0 0 1166 103 0 0 25 0 1 0 132388234 75481088 17310 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17011/statm: 18428 17310 398 719 0 17707 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 73712 [startup+25.5005 s] /proc/loadavg: 2.28 2.63 2.50 3/179 17012 /proc/meminfo: memFree=30233780/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=115644 CPUtime=25.49 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 31197 0 0 0 2333 216 0 0 25 0 1 0 132388234 118419456 27681 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17011/statm: 28911 27681 398 719 0 28190 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 115644 [startup+51.1009 s] /proc/loadavg: 2.18 2.58 2.48 3/179 17013 /proc/meminfo: memFree=30175756/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=171336 CPUtime=51.09 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 44678 0 0 0 4735 374 0 0 25 0 1 0 132388234 175448064 41162 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17011/statm: 42834 41162 398 719 0 42113 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 171336 [startup+102.307 s] /proc/loadavg: 2.07 2.48 2.45 3/179 17014 /proc/meminfo: memFree=30037324/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=311368 CPUtime=102.3 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 78545 0 0 0 9439 791 0 0 25 0 1 0 132388234 318840832 75029 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17011/statm: 77842 75029 398 719 0 77121 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 311368 [startup+162.301 s] /proc/loadavg: 2.02 2.39 2.42 3/179 17016 /proc/meminfo: memFree=29866516/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=460104 CPUtime=162.3 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 114804 0 0 0 14906 1324 0 0 25 0 1 0 132388234 471146496 111288 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17011/statm: 115026 111288 398 719 0 114305 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 460104 [startup+222.3 s] /proc/loadavg: 2.01 2.32 2.39 3/179 17018 /proc/meminfo: memFree=29686392/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=581684 CPUtime=222.29 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 145673 0 0 0 20405 1824 0 0 25 0 1 0 132388234 595644416 142157 4089446400 4194304 7136930 140736421540368 18446744073709551615 6166544 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17011/statm: 145421 142157 398 719 0 144700 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 581684 [startup+282.301 s] /proc/loadavg: 2.00 2.26 2.36 3/179 17019 /proc/meminfo: memFree=29559716/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=678000 CPUtime=282.3 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 167832 0 0 0 26044 2186 0 0 25 0 1 0 132388234 694272000 164316 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17011/statm: 169500 164316 398 719 0 168779 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 678000 [startup+342.301 s] /proc/loadavg: 2.00 2.21 2.34 3/179 17020 /proc/meminfo: memFree=29485140/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=729620 CPUtime=342.29 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 180851 0 0 0 31767 2462 0 0 25 0 1 0 132388234 747130880 177335 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 182405 177335 398 719 0 181684 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 729620 [startup+402.301 s] /proc/loadavg: 2.00 2.17 2.32 3/179 17022 /proc/meminfo: memFree=29388460/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=810572 CPUtime=402.3 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 200679 0 0 0 37379 2851 0 0 25 0 1 0 132388234 830025728 197163 4089446400 4194304 7136930 140736421540368 18446744073709551615 4221902 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 202643 197163 398 719 0 201922 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 810572 [startup+462.3 s] /proc/loadavg: 2.00 2.13 2.29 3/179 17024 /proc/meminfo: memFree=29256820/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=912404 CPUtime=462.3 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 225478 0 0 0 42917 3313 0 0 25 0 1 0 132388234 934301696 221962 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 228101 221962 398 719 0 227380 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 912404 [startup+522.301 s] /proc/loadavg: 2.00 2.11 2.27 3/179 17026 /proc/meminfo: memFree=29099876/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=1020576 CPUtime=522.3 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 252809 0 0 0 48505 3725 0 0 25 0 1 0 132388234 1045069824 249293 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 255144 249293 398 719 0 254423 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1020576 [startup+582.301 s] /proc/loadavg: 2.07 2.11 2.26 3/179 17027 /proc/meminfo: memFree=28990064/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=1100964 CPUtime=582.3 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 273132 0 0 0 54162 4068 0 0 25 0 1 0 132388234 1127387136 269616 4089446400 4194304 7136930 140736421540368 18446744073709551615 4408841 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 275241 269616 398 719 0 274520 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1100964 [startup+642.3 s] /proc/loadavg: 2.02 2.09 2.24 3/179 17028 /proc/meminfo: memFree=28864380/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=1193400 CPUtime=642.31 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 296025 0 0 0 59784 4447 0 0 25 0 1 0 132388234 1222041600 292509 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 298350 292509 398 719 0 297629 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1193400 [startup+702.3 s] ################ # More data... # ################ /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 410204 0 0 0 93554 6677 0 0 25 0 1 0 132388234 1705078784 406688 4089446400 4194304 7136930 140736421540368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 416279 406688 398 719 0 415558 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1665116 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.14 3/197 17089 /proc/meminfo: memFree=29252340/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=1755580 CPUtime=1062.31 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 433086 0 0 0 99183 7048 0 0 25 0 1 0 132388234 1797713920 429570 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 438895 429570 398 719 0 438174 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1755580 [startup+1122.3 s] /proc/loadavg: 2.05 2.02 2.14 3/197 17091 /proc/meminfo: memFree=29177012/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=1803760 CPUtime=1122.32 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 445024 0 0 0 104915 7317 0 0 25 0 1 0 132388234 1847050240 441508 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 450940 441508 398 719 0 450219 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1803760 [startup+1182.3 s] /proc/loadavg: 2.02 2.02 2.12 3/197 17092 /proc/meminfo: memFree=29090488/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=1867636 CPUtime=1182.32 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 461319 0 0 0 110586 7646 0 0 25 0 1 0 132388234 1912459264 457803 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 466909 457803 398 719 0 466188 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1867636 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.11 3/197 17093 /proc/meminfo: memFree=29006844/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=1939428 CPUtime=1242.31 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 479441 0 0 0 116258 7973 0 0 25 0 1 0 132388234 1985974272 475925 4089446400 4194304 7136930 140736421540368 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 484857 475925 398 719 0 484136 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1939428 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.10 3/197 17095 /proc/meminfo: memFree=28892424/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=2028808 CPUtime=1302.32 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 502194 0 0 0 121882 8350 0 0 25 0 1 0 132388234 2077499392 498678 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 507202 498678 398 719 0 506481 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 2028808 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.09 3/197 17097 /proc/meminfo: memFree=28823052/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=2074016 CPUtime=1362.32 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 513774 0 0 0 127591 8641 0 0 25 0 1 0 132388234 2123792384 510258 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 518504 510258 398 719 0 517783 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2074016 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.08 3/197 17099 /proc/meminfo: memFree=28724928/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=2146244 CPUtime=1422.33 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 531843 0 0 0 133269 8964 0 0 25 0 1 0 132388234 2197753856 528327 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 536561 528327 398 719 0 535840 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2146244 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.08 3/197 17100 /proc/meminfo: memFree=28607680/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=2227352 CPUtime=1482.32 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 552419 0 0 0 138891 9341 0 0 25 0 1 0 132388234 2280808448 548903 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 556838 548903 398 719 0 556117 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2227352 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.07 3/197 17101 /proc/meminfo: memFree=28519700/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=2289520 CPUtime=1542.32 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 568048 0 0 0 144586 9646 0 0 25 0 1 0 132388234 2344468480 564532 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 572380 564532 398 719 0 571659 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2289520 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 2.07 3/197 17103 /proc/meminfo: memFree=28479464/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=2319480 CPUtime=1602.32 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 575533 0 0 0 150340 9892 0 0 25 0 1 0 132388234 2375147520 572017 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 579870 572017 398 719 0 579149 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2319480 [startup+1662.3 s] /proc/loadavg: 2.08 2.02 2.07 3/197 17105 /proc/meminfo: memFree=28398156/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=2374860 CPUtime=1662.33 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 589516 0 0 0 156053 10180 0 0 25 0 1 0 132388234 2431856640 586000 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 593715 586000 398 719 0 592994 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2374860 [startup+1722.3 s] /proc/loadavg: 2.43 2.12 2.10 3/197 17107 /proc/meminfo: memFree=28313508/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=2438944 CPUtime=1722.34 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 605605 0 0 0 161741 10493 0 0 25 0 1 0 132388234 2497478656 602089 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 609736 602089 398 719 0 609015 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2438944 [startup+1782.3 s] /proc/loadavg: 2.16 2.10 2.09 3/197 17108 /proc/meminfo: memFree=28179140/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=2549956 CPUtime=1782.33 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 633712 0 0 0 167275 10958 0 0 25 0 1 0 132388234 2611154944 630196 4089446400 4194304 7136930 140736421540368 18446744073709551615 4221601 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 637489 630196 398 719 0 636768 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2549956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.12 2.09 2.09 3/197 17109 /proc/meminfo: memFree=28142532/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=2580616 CPUtime=1800.04 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 641500 0 0 0 168904 11100 0 0 25 0 1 0 132388234 2642550784 637984 4089446400 4194304 7136930 140736421540368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17011/statm: 645154 637984 398 719 0 644433 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2580616 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17011 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.11 2.09 2.09 3/198 17110 /proc/meminfo: memFree=28142028/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=2580616 CPUtime=1801.44 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 641516 0 0 0 169044 11100 0 0 25 0 1 0 132388234 2642550784 638000 4089446400 4194304 7136930 140736421540368 18446744073709551615 6165668 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17011/statm: 645154 638000 403 719 0 644433 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2580616 [startup+1801.81 s] /proc/loadavg: 2.11 2.09 2.09 3/198 17110 /proc/meminfo: memFree=28141036/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=2580616 CPUtime=1801.84 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 641516 0 0 0 169084 11100 0 0 25 0 1 0 132388234 2642550784 638000 4089446400 4194304 7136930 140736421540368 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17011/statm: 645154 638000 403 719 0 644433 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2580616 [startup+1802 s] /proc/loadavg: 2.11 2.09 2.09 3/198 17110 /proc/meminfo: memFree=28141036/32951124 swapFree=67111528/67111528 [pid=17011] ppid=17009 vsize=2580616 CPUtime=1802.04 /proc/17011/stat : 17011 (pbscip.linux.x8) R 17009 17011 16986 0 -1 4202496 641516 0 0 0 169104 11100 0 0 25 0 1 0 132388234 2642550784 638000 4089446400 4194304 7136930 140736421540368 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17011/statm: 645154 638000 403 719 0 644433 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2580616 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.13 CPU user time (s): 1691.05 CPU system time (s): 111.083 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2580616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1691.05 system time used= 111.083 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 641516 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= 1522 runsolver used 2.93255 second user time and 6.49001 second system time The end
Begin job on node146 at 2010-06-30 17:15:36 IDJOB=2694206 IDBENCH=78982 IDSOLVER=1206 FILE ID=node146/2694206-1277910936 PBS_JOBID= 11197264 Free space on /tmp= 74176 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.1900557362--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-2694206-1277910936/watcher-2694206-1277910936 -o /tmp/evaluation-result-2694206-1277910936/solver-2694206-1277910936 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694206-1277910936.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 908c51b3c7715396d94712713af78fd9 RANDOM SEED=1644490651 node146.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.839 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.67 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.839 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.83 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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 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.83 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.839 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.67 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.839 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.82 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.839 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30347408 kB Buffers: 199632 kB Cached: 1328640 kB SwapCached: 0 kB Active: 1343952 kB Inactive: 1111144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30347408 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3288 kB Writeback: 0 kB AnonPages: 926416 kB Mapped: 16096 kB Slab: 83248 kB PageTables: 6396 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1092940 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= 74176 MiB End job on node146 at 2010-06-30 17:45:38