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.14 | 1802.05 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546417--soft-66-100-0.wbo |
| MD5SUM | 23ad99b063b4d7278daca47962cd4526 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 108.034 |
| 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 | 930 |
| 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 | 46532 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46531 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 689 |
| 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-2694025-1277900354.wbo>
0.00/0.02 c original problem has 2091 variables (1161 bin, 0 int, 0 impl, 930 cont) and 3638 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.00/0.07 c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.00/0.08 c (round 3) 57 del vars, 168 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.00/0.09 c (round 4) 115 del vars, 229 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.00/0.10 c (round 5) 132 del vars, 266 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.10/0.11 c (round 6) 155 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.10/0.12 c (round 7) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.10/0.16 c (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.16 c presolving (8 rounds):
0.10/0.16 c 162 deleted vars, 273 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients
0.10/0.16 c 1142 implications, 14 cliques
0.10/0.16 c presolved problem has 1929 variables (1080 bin, 0 int, 0 impl, 849 cont) and 3365 constraints
0.10/0.16 c 849 constraints of type <indicator>
0.10/0.16 c 1 constraints of type <knapsack>
0.10/0.16 c 14 constraints of type <setppc>
0.10/0.16 c 849 constraints of type <linear>
0.10/0.16 c 1652 constraints of type <logicor>
0.10/0.16 c transformed objective value is always integral (scale: 1)
0.10/0.16 c Presolving Time: 0.11
0.10/0.16 c - non default parameters ----------------------------------------------------------------------
0.10/0.16 c # SCIP version 1.2.1.2
0.10/0.16 c
0.10/0.16 c # frequency for displaying node information lines
0.10/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.16 c display/freq = 10000
0.10/0.16 c
0.10/0.16 c # maximal time in seconds to run
0.10/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.16 c limits/time = 1799.98
0.10/0.16 c
0.10/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.16 c limits/memory = 3420
0.10/0.16 c
0.10/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.16 c lp/solvefreq = -1
0.10/0.16 c
0.10/0.16 c # should presolving try to simplify inequalities
0.10/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.16 c constraints/linear/simplifyinequalities = TRUE
0.10/0.16 c
0.10/0.16 c # should presolving try to simplify knapsacks
0.10/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.16 c
0.10/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.16 c separating/rapidlearning/freq = 0
0.10/0.16 c
0.10/0.16 c -----------------------------------------------------------------------------------------------
0.10/0.16 c start solving
0.10/0.16 c
0.10/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.10/0.17 c 0.1s| 1 | 2 | 0 | - |7608k| 0 | - |1929 |3365 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.59/2.65 c 2.3s| 10000 | 8399 | 0 | 0.0 | 14M|1040 | - |1929 |4683 | 0 | 0 | 0 |3431 | 0 | 0.000000e+00 | -- | Inf
5.50/5.57 c 4.9s| 20000 | 15918 | 0 | 0.0 | 21M|1040 | - |1929 |5502 | 0 | 0 | 0 |9846 | 0 | 0.000000e+00 | -- | Inf
7.89/7.96 o 485
7.89/7.96 c * 7.1s| 25867 | 19162 | 0 | 0.0 | 26M|1040 | - |1929 |6714 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 4.850000e+02 | Inf
7.99/8.07 o 465
7.99/8.07 c * 7.2s| 26320 | 19571 | 0 | 0.0 | 26M|1040 | - |1929 |6554 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 4.650000e+02 | Inf
8.09/8.10 o 420
8.09/8.10 c * 7.2s| 26419 | 19614 | 0 | 0.0 | 26M|1040 | - |1929 |6502 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 4.200000e+02 | Inf
8.19/8.29 o 375
8.19/8.29 c * 7.4s| 27165 | 20267 | 0 | 0.0 | 26M|1040 | - |1929 |6246 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.750000e+02 | Inf
8.19/8.29 o 344
8.19/8.29 c * 7.4s| 27166 | 20207 | 0 | 0.0 | 26M|1040 | - |1929 |6246 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.440000e+02 | Inf
8.29/8.33 o 320
8.29/8.33 c * 7.4s| 27321 | 20317 | 0 | 0.0 | 26M|1040 | - |1929 |6146 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.200000e+02 | Inf
8.29/8.36 o 231
8.29/8.36 c * 7.4s| 27401 | 20163 | 0 | 0.0 | 26M|1040 | - |1929 |6130 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.310000e+02 | Inf
8.39/8.47 o 222
8.39/8.47 c * 7.5s| 27828 | 20557 | 0 | 0.0 | 27M|1040 | - |1929 |5836 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
8.50/8.58 o 210
8.50/8.58 c * 7.6s| 28182 | 20821 | 0 | 0.0 | 27M|1040 | - |1929 |5654 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.100000e+02 | Inf
8.59/8.60 o 201
8.59/8.60 c * 7.7s| 28258 | 20885 | 0 | 0.0 | 27M|1040 | - |1929 |5622 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
8.59/8.64 o 195
8.59/8.64 c * 7.7s| 28426 | 21015 | 0 | 0.0 | 27M|1040 | - |1929 |5533 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.950000e+02 | Inf
8.79/8.81 o 177
8.79/8.81 c * 7.8s| 29046 | 21537 | 0 | 0.0 | 27M|1040 | - |1929 |5396 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
8.79/8.89 o 159
8.79/8.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.79/8.89 c * 7.9s| 29311 | 21636 | 0 | 0.0 | 27M|1040 | - |1929 |5319 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
8.99/9.09 c 8.1s| 30000 | 22262 | 0 | 0.0 | 28M|1040 | - |1929 |5253 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
9.69/9.73 o 156
9.69/9.73 c * 8.7s| 32230 | 24181 | 0 | 0.0 | 30M|1040 | - |1929 |4912 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
11.79/11.85 c 10.5s| 40000 | 30411 | 0 | 0.0 | 35M|1040 | - |1929 |5689 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
14.79/14.82 c 13.1s| 50000 | 38103 | 0 | 0.0 | 42M|1040 | - |1929 |6391 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
17.79/17.89 c 15.9s| 60000 | 45572 | 0 | 0.0 | 49M|1040 | - |1929 |6409 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
21.09/21.14 c 18.8s| 70000 | 52607 | 0 | 0.0 | 56M|1040 | - |1929 |6430 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
24.49/24.55 c 21.8s| 80000 | 59137 | 0 | 0.0 | 64M|1040 | - |1929 |7564 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
28.19/28.21 c 25.1s| 90000 | 65093 | 0 | 0.0 | 71M|1040 | - |1929 |8392 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
32.59/32.69 c 29.2s|100000 | 69354 | 0 | 0.0 | 79M|1040 | - |1929 |9478 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
38.60/38.63 o 152
38.60/38.63 c *34.8s|109394 | 66506 | 0 | 0.0 | 81M|1040 | - |1929 | 12k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
38.79/38.85 c 35.0s|110000 | 67064 | 0 | 0.0 | 81M|1040 | - |1929 | 11k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
39.99/40.03 o 126
39.99/40.03 c *36.0s|113341 | 69877 | 0 | 0.0 | 82M|1040 | - |1929 |7135 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
39.99/40.09 o 76
39.99/40.09 c *36.1s|113526 | 68518 | 0 | 0.0 | 80M|1040 | - |1929 |7031 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
41.30/41.34 o 56
41.30/41.34 c *37.2s|117314 | 70714 | 0 | 0.0 | 82M|1040 | - |1929 |5774 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
41.49/41.50 o 48
41.49/41.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.49/41.50 c *37.4s|117785 | 71022 | 0 | 0.0 | 83M|1040 | - |1929 |5608 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
41.99/42.08 o 28
41.99/42.08 c *37.9s|119588 | 72172 | 0 | 0.0 | 84M|1040 | - |1929 |5565 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
42.20/42.21 c 38.0s|120000 | 72527 | 0 | 0.0 | 85M|1040 | - |1929 |5550 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
42.69/42.73 o 15
42.69/42.73 c *38.5s|121549 | 73551 | 0 | 0.0 | 87M|1040 | - |1929 |5623 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
42.69/42.74 o 7
42.69/42.74 c *38.5s|121550 | 73384 | 0 | 0.0 | 87M|1040 | - |1929 |5623 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
45.60/45.65 c 41.1s|130000 | 79986 | 0 | 0.0 | 96M|1040 | - |1929 |6798 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
51.30/51.30 c 46.3s|140000 | 85129 | 0 | 0.0 | 106M|1040 | - |1929 | 11k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
55.30/55.36 c 49.9s|150000 | 92452 | 0 | 0.0 | 127M|1040 | - |1929 |8591 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
59.70/59.71 c 53.9s|160000 | 99362 | 0 | 0.0 | 148M|1040 | - |1929 |9219 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
63.70/63.77 c 57.5s|170000 |106318 | 0 | 0.0 | 163M|1040 | - |1929 | 10k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
67.10/67.12 c 60.4s|180000 |113932 | 0 | 0.0 | 171M|1040 | - |1929 | 10k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
71.60/71.64 c 64.5s|190000 |120131 | 0 | 0.0 | 181M|1040 | - |1929 |9443 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
75.59/75.69 c 68.2s|200000 |126717 | 0 | 0.0 | 194M|1040 | - |1929 |8585 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
80.09/80.10 c 72.3s|210000 |132779 | 0 | 0.0 | 201M|1040 | - |1929 |9665 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
84.70/84.75 c 76.6s|220000 |138630 | 0 | 0.0 | 208M|1040 | - |1929 | 10k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
89.70/89.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.70/89.78 c 81.2s|230000 |144089 | 0 | 0.0 | 216M|1040 | - |1929 | 11k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
94.70/94.76 c 85.8s|240000 |149749 | 0 | 0.0 | 223M|1040 | - |1929 | 11k| 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
99.69/99.79 c 90.4s|250000 |155342 | 0 | 0.0 | 230M|1040 | - |1929 | 12k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
104.80/104.86 c 95.1s|260000 |160870 | 0 | 0.0 | 237M|1040 | - |1929 | 12k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
109.90/110.00 c 99.8s|270000 |166322 | 0 | 0.0 | 245M|1040 | - |1929 | 12k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
115.10/115.19 c 105s|280000 |171795 | 0 | 0.0 | 252M|1040 | - |1929 | 13k| 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
120.60/120.65 c 110s|290000 |176939 | 0 | 0.0 | 258M|1040 | - |1929 | 13k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
126.40/126.43 c 115s|300000 |181772 | 0 | 0.0 | 265M|1040 | - |1929 | 13k| 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
132.30/132.36 c 121s|310000 |186518 | 0 | 0.0 | 273M|1040 | - |1929 | 13k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
138.50/138.58 c 126s|320000 |190979 | 0 | 0.0 | 280M|1040 | - |1929 | 14k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
144.69/144.72 c 132s|330000 |195514 | 0 | 0.0 | 286M|1040 | - |1929 | 14k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
151.00/151.04 c 138s|340000 |199814 | 0 | 0.0 | 293M|1040 | - |1929 | 14k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
157.60/157.65 c 144s|350000 |203906 | 0 | 0.0 | 300M|1040 | - |1929 | 14k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
164.40/164.48 c 151s|360000 |207757 | 0 | 0.0 | 307M|1040 | - |1929 | 14k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
171.39/171.46 c 157s|370000 |211434 | 0 | 0.0 | 313M|1040 | - |1929 | 13k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
178.80/178.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.80/178.81 c 164s|380000 |214650 | 0 | 0.0 | 319M|1040 | - |1929 | 13k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
186.60/186.65 c 172s|390000 |217238 | 0 | 0.0 | 326M|1040 | - |1929 | 14k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
194.40/194.48 c 179s|400000 |220146 | 0 | 0.0 | 332M|1040 | - |1929 | 14k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
202.90/202.98 c 187s|410000 |222354 | 0 | 0.0 | 337M|1040 | - |1929 | 14k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
212.20/212.24 c 196s|420000 |223806 | 0 | 0.0 | 343M|1040 | - |1929 | 16k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
223.31/223.39 c 206s|430000 |223993 | 0 | 0.0 | 348M|1040 | - |1929 | 19k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
233.21/233.25 c 216s|440000 |226407 | 0 | 0.0 | 347M|1040 | - |1929 | 12k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
237.30/237.35 c 220s|450000 |233987 | 0 | 0.0 | 353M|1040 | - |1929 |9631 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
241.31/241.34 c 223s|460000 |241519 | 0 | 0.0 | 360M|1040 | - |1929 | 10k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
242.21/242.27 o 4
242.21/242.27 c * 224s|462326 |241788 | 0 | 0.0 | 359M|1040 | - |1929 | 10k| 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
245.60/245.62 c 227s|470000 |247360 | 0 | 0.0 | 365M|1040 | - |1929 |9668 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
250.00/250.09 c 231s|480000 |254497 | 0 | 0.0 | 374M|1040 | - |1929 | 10k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
254.60/254.60 c 235s|490000 |261639 | 0 | 0.0 | 382M|1040 | - |1929 | 10k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
259.21/259.26 c 239s|500000 |268719 | 0 | 0.0 | 390M|1040 | - |1929 | 10k| 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
264.11/264.19 c 244s|510000 |275528 | 0 | 0.0 | 398M|1040 | - |1929 | 11k| 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
269.10/269.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.10/269.11 c 249s|520000 |282385 | 0 | 0.0 | 407M|1040 | - |1929 | 11k| 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
274.50/274.56 c 254s|530000 |288851 | 0 | 0.0 | 415M|1040 | - |1929 | 12k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
280.10/280.15 c 259s|540000 |295338 | 0 | 0.0 | 424M|1040 | - |1929 | 12k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
285.90/285.93 c 264s|550000 |301712 | 0 | 0.0 | 433M|1040 | - |1929 | 13k| 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
292.31/292.39 c 270s|560000 |307602 | 0 | 0.0 | 441M|1040 | - |1929 | 13k| 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
298.81/298.81 c 276s|570000 |313503 | 0 | 0.0 | 450M|1040 | - |1929 | 14k| 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
306.11/306.15 c 283s|580000 |318721 | 0 | 0.0 | 459M|1040 | - |1929 | 15k| 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
314.40/314.45 c 291s|590000 |323415 | 0 | 0.0 | 468M|1040 | - |1929 | 16k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
323.91/323.94 c 300s|600000 |327325 | 0 | 0.0 | 476M|1040 | - |1929 | 18k| 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
335.21/335.26 c 310s|610000 |330076 | 0 | 0.0 | 484M|1040 | - |1929 | 22k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
346.62/346.66 c 321s|620000 |333928 | 0 | 0.0 | 491M|1040 | - |1929 | 19k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
351.71/351.71 c 326s|630000 |341479 | 0 | 0.0 | 499M|1040 | - |1929 | 16k| 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
356.41/356.48 c 330s|640000 |348849 | 0 | 0.0 | 508M|1040 | - |1929 | 16k| 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
361.31/361.34 c 335s|650000 |356117 | 0 | 0.0 | 517M|1040 | - |1929 | 17k| 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
366.61/366.69 c 340s|660000 |363037 | 0 | 0.0 | 526M|1040 | - |1929 | 18k| 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
372.31/372.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.31/372.36 c 345s|670000 |369739 | 0 | 0.0 | 536M|1040 | - |1929 | 19k| 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
378.61/378.65 c 351s|680000 |376018 | 0 | 0.0 | 546M|1040 | - |1929 | 20k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
386.91/386.93 c 359s|690000 |381106 | 0 | 0.0 | 556M|1040 | - |1929 | 23k| 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
398.41/398.49 c 370s|700000 |384445 | 0 | 0.0 | 567M|1040 | - |1929 | 28k| 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
407.41/407.48 c 378s|710000 |390268 | 0 | 0.0 | 573M|1040 | - |1929 | 24k| 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
412.41/412.46 c 383s|720000 |398043 | 0 | 0.0 | 580M|1040 | - |1929 | 21k| 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
417.31/417.39 c 388s|730000 |405511 | 0 | 0.0 | 589M|1040 | - |1929 | 22k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
422.81/422.83 c 393s|740000 |412543 | 0 | 0.0 | 598M|1040 | - |1929 | 24k| 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
429.11/429.17 c 398s|750000 |419061 | 0 | 0.0 | 608M|1040 | - |1929 | 26k| 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
429.21/429.25 o 3
429.21/429.25 c * 399s|750137 |418633 | 0 | 0.0 | 607M|1040 | - |1929 | 26k| 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
436.31/436.36 c 405s|760000 |424681 | 0 | 0.0 | 616M|1040 | - |1929 | 28k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
445.21/445.23 c 414s|770000 |429900 | 0 | 0.0 | 627M|1040 | - |1929 | 32k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
458.82/458.88 c 427s|780000 |432822 | 0 | 0.0 | 637M|1040 | - |1929 | 39k| 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
466.12/466.13 c 434s|790000 |440361 | 0 | 0.0 | 640M|1040 | - |1929 | 29k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
471.71/471.74 c 439s|800000 |447994 | 0 | 0.0 | 646M|1040 | - |1929 | 26k| 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
477.31/477.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.31/477.34 c 444s|810000 |455310 | 0 | 0.0 | 652M|1040 | - |1929 | 27k| 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
483.51/483.53 c 450s|820000 |462187 | 0 | 0.0 | 659M|1040 | - |1929 | 28k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
489.62/489.62 c 456s|830000 |469175 | 0 | 0.0 | 667M|1040 | - |1929 | 28k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
496.01/496.08 c 462s|840000 |475917 | 0 | 0.0 | 674M|1040 | - |1929 | 29k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
503.01/503.00 c 468s|850000 |482434 | 0 | 0.0 | 681M|1040 | - |1929 | 29k| 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
510.21/510.29 c 475s|860000 |488671 | 0 | 0.0 | 688M|1040 | - |1929 | 30k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
517.71/517.77 c 482s|870000 |494825 | 0 | 0.0 | 695M|1040 | - |1929 | 31k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
525.82/525.82 c 490s|880000 |500739 | 0 | 0.0 | 701M|1040 | - |1929 | 31k| 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
534.32/534.35 c 498s|890000 |506333 | 0 | 0.0 | 708M|1040 | - |1929 | 32k| 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
543.12/543.12 c 506s|900000 |511820 | 0 | 0.0 | 715M|1040 | - |1929 | 33k| 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
552.82/552.82 c 515s|910000 |516803 | 0 | 0.0 | 722M|1040 | - |1929 | 35k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
564.32/564.34 c 526s|920000 |520712 | 0 | 0.0 | 729M|1040 | - |1929 | 39k| 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
575.32/575.34 c 537s|930000 |525877 | 0 | 0.0 | 725M|1040 | - |1929 | 13k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
580.02/580.02 c 541s|940000 |533656 | 0 | 0.0 | 731M|1040 | - |1929 |9804 | 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
586.52/586.51 c 547s|950000 |539839 | 0 | 0.0 | 740M|1040 | - |1929 | 12k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
591.02/591.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
591.02/591.08 c 552s|960000 |546999 | 0 | 0.0 | 747M|1040 | - |1929 | 12k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
595.12/595.11 c 555s|970000 |554508 | 0 | 0.0 | 755M|1040 | - |1929 | 12k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
603.51/603.59 c 563s|980000 |557647 | 0 | 0.0 | 762M|1040 | - |1929 | 16k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
613.22/613.29 c 573s|990000 |560799 | 0 | 0.0 | 769M|1040 | - |1929 | 18k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
623.92/623.90 c 583s| 1000k|563672 | 0 | 0.0 | 775M|1040 | - |1929 | 19k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
634.83/634.82 c 593s| 1010k|566652 | 0 | 0.0 | 781M|1040 | - |1929 | 20k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
645.73/645.73 c 604s| 1020k|569690 | 0 | 0.0 | 787M|1040 | - |1929 | 20k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
656.83/656.81 c 614s| 1030k|572715 | 0 | 0.0 | 793M|1040 | - |1929 | 21k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
666.92/666.94 c 624s| 1040k|576539 | 0 | 0.0 | 799M|1040 | - |1929 | 22k| 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
678.42/678.46 c 635s| 1050k|579337 | 0 | 0.0 | 805M|1040 | - |1929 | 22k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
690.83/690.83 c 647s| 1060k|581713 | 0 | 0.0 | 810M|1040 | - |1929 | 23k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
702.22/702.21 c 658s| 1070k|584904 | 0 | 0.0 | 817M|1040 | - |1929 | 24k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
715.03/715.09 c 670s| 1080k|587174 | 0 | 0.0 | 822M|1040 | - |1929 | 24k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
727.93/727.96 c 683s| 1090k|589600 | 0 | 0.0 | 827M|1040 | - |1929 | 24k| 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
740.62/740.66 c 695s| 1100k|592268 | 0 | 0.0 | 834M|1040 | - |1929 | 25k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
755.13/755.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.13/755.16 c 709s| 1110k|593743 | 0 | 0.0 | 838M|1040 | - |1929 | 26k| 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
768.52/768.57 c 722s| 1120k|596197 | 0 | 0.0 | 844M|1040 | - |1929 | 25k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
783.43/783.48 c 737s| 1130k|597474 | 0 | 0.0 | 848M|1040 | - |1929 | 26k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
797.13/797.15 c 750s| 1140k|599652 | 0 | 0.0 | 854M|1040 | - |1929 | 25k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
812.63/812.63 c 765s| 1150k|600486 | 0 | 0.0 | 858M|1040 | - |1929 | 26k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
826.73/826.74 c 779s| 1160k|602323 | 0 | 0.0 | 863M|1040 | - |1929 | 25k| 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
842.83/842.83 c 795s| 1170k|602837 | 0 | 0.0 | 868M|1040 | - |1929 | 26k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
856.73/856.77 c 808s| 1180k|604643 | 0 | 0.0 | 871M|1040 | - |1929 | 24k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
871.83/871.84 c 823s| 1190k|605796 | 0 | 0.0 | 876M|1040 | - |1929 | 26k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
886.84/886.88 c 837s| 1200k|606375 | 0 | 0.0 | 880M|1040 | - |1929 | 26k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
902.04/902.08 c 852s| 1210k|607700 | 0 | 0.0 | 885M|1040 | - |1929 | 25k| 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
918.64/918.60 c 868s| 1220k|607463 | 0 | 0.0 | 888M|1040 | - |1929 | 27k| 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
933.33/933.36 c 883s| 1230k|608973 | 0 | 0.0 | 892M|1040 | - |1929 | 24k| 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
950.54/950.52 c 899s| 1240k|608753 | 0 | 0.0 | 896M|1040 | - |1929 | 27k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
967.63/967.64 c 916s| 1250k|608351 | 0 | 0.0 | 898M|1040 | - |1929 | 28k| 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
984.34/984.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.34/984.37 c 932s| 1260k|608940 | 0 | 0.0 | 901M|1040 | - |1929 | 25k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1002.14/1002.11 c 950s| 1270k|608733 | 0 | 0.0 | 904M|1040 | - |1929 | 26k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1020.64/1020.67 c 968s| 1280k|607690 | 0 | 0.0 | 907M|1040 | - |1929 | 28k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1039.44/1039.48 c 986s| 1290k|606490 | 0 | 0.0 | 908M|1040 | - |1929 | 27k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1057.55/1057.58 c 1004s| 1300k|605479 | 0 | 0.0 | 909M|1040 | - |1929 | 26k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1075.95/1075.96 c 1022s| 1310k|604559 | 0 | 0.0 | 911M|1040 | - |1929 | 27k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1096.54/1096.58 c 1042s| 1320k|602406 | 0 | 0.0 | 911M|1040 | - |1929 | 28k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1117.44/1117.44 c 1062s| 1330k|600569 | 0 | 0.0 | 911M|1040 | - |1929 | 29k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1139.85/1139.83 c 1084s| 1340k|598094 | 0 | 0.0 | 910M|1040 | - |1929 | 32k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1164.45/1164.45 c 1108s| 1350k|595117 | 0 | 0.0 | 907M|1040 | - |1929 | 34k| 0 | 0 | 0 |1868k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1174.05/1174.06 c 1118s| 1360k|601538 | 0 | 0.0 | 909M|1040 | - |1929 | 18k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1181.64/1181.66 c 1125s| 1370k|607741 | 0 | 0.0 | 916M|1040 | - |1929 | 17k| 0 | 0 | 0 |1885k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1188.84/1188.84 c 1132s| 1380k|614014 | 0 | 0.0 | 923M|1040 | - |1929 | 16k| 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1196.45/1196.40 c 1139s| 1390k|619964 | 0 | 0.0 | 931M|1040 | - |1929 | 17k| 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1203.94/1203.98 c 1146s| 1400k|625846 | 0 | 0.0 | 939M|1040 | - |1929 | 18k| 0 | 0 | 0 |1914k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1211.75/1211.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.75/1211.78 c 1153s| 1410k|631703 | 0 | 0.0 | 947M|1040 | - |1929 | 18k| 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1220.25/1220.25 c 1161s| 1420k|637094 | 0 | 0.0 | 955M|1040 | - |1929 | 18k| 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1229.05/1229.02 c 1170s| 1430k|642322 | 0 | 0.0 | 963M|1040 | - |1929 | 18k| 0 | 0 | 0 |1946k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1237.85/1237.83 c 1178s| 1440k|647446 | 0 | 0.0 | 971M|1040 | - |1929 | 17k| 0 | 0 | 0 |1957k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1247.15/1247.17 c 1187s| 1450k|652257 | 0 | 0.0 | 975M|1040 | - |1929 |7563 | 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1252.96/1252.97 c 1192s| 1460k|657512 | 0 | 0.0 | 982M|1040 | - |1929 |6537 | 0 | 0 | 0 |1975k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1258.75/1258.77 c 1197s| 1470k|662094 | 0 | 0.0 | 988M|1040 | - |1929 |7944 | 0 | 0 | 0 |1983k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1264.75/1264.72 c 1203s| 1480k|666725 | 0 | 0.0 | 995M|1040 | - |1929 |8548 | 0 | 0 | 0 |1990k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1270.96/1270.91 c 1209s| 1490k|671456 | 0 | 0.0 |1001M|1040 | - |1929 |7305 | 0 | 0 | 0 |1998k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1276.85/1276.89 c 1214s| 1500k|676019 | 0 | 0.0 |1007M|1040 | - |1929 |8251 | 0 | 0 | 0 |2006k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1283.25/1283.24 c 1220s| 1510k|680260 | 0 | 0.0 |1013M|1040 | - |1929 |8038 | 0 | 0 | 0 |2015k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1289.36/1289.36 c 1226s| 1520k|684662 | 0 | 0.0 |1018M|1040 | - |1929 |8295 | 0 | 0 | 0 |2023k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1295.86/1295.89 c 1232s| 1530k|688627 | 0 | 0.0 |1024M|1040 | - |1929 |8533 | 0 | 0 | 0 |2032k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1302.26/1302.24 c 1238s| 1540k|692870 | 0 | 0.0 |1029M|1040 | - |1929 |8450 | 0 | 0 | 0 |2040k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1309.06/1309.07 c 1244s| 1550k|696481 | 0 | 0.0 |1035M|1040 | - |1929 |9003 | 0 | 0 | 0 |2050k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1315.36/1315.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.36/1315.36 c 1250s| 1560k|700847 | 0 | 0.0 |1040M|1040 | - |1929 |8979 | 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1322.26/1322.23 c 1256s| 1570k|704490 | 0 | 0.0 |1045M|1040 | - |1929 |9202 | 0 | 0 | 0 |2068k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1328.55/1328.56 c 1262s| 1580k|708871 | 0 | 0.0 |1051M|1040 | - |1929 |9427 | 0 | 0 | 0 |2076k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1335.65/1335.67 c 1269s| 1590k|712325 | 0 | 0.0 |1056M|1040 | - |1929 |9360 | 0 | 0 | 0 |2086k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1342.26/1342.23 c 1275s| 1600k|716463 | 0 | 0.0 |1062M|1040 | - |1929 |9571 | 0 | 0 | 0 |2095k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1349.15/1349.15 c 1281s| 1610k|720396 | 0 | 0.0 |1067M|1040 | - |1929 |8818 | 0 | 0 | 0 |2105k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1355.96/1355.95 c 1287s| 1620k|724120 | 0 | 0.0 |1073M|1040 | - |1929 |9892 | 0 | 0 | 0 |2114k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1362.96/1362.93 c 1294s| 1630k|727850 | 0 | 0.0 |1078M|1040 | - |1929 |9577 | 0 | 0 | 0 |2124k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1370.15/1370.13 c 1301s| 1640k|731203 | 0 | 0.0 |1083M|1040 | - |1929 | 10k| 0 | 0 | 0 |2134k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1377.16/1377.19 c 1307s| 1650k|734959 | 0 | 0.0 |1089M|1040 | - |1929 | 10k| 0 | 0 | 0 |2144k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1384.46/1384.47 c 1314s| 1660k|738282 | 0 | 0.0 |1094M|1040 | - |1929 | 10k| 0 | 0 | 0 |2155k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1391.57/1391.60 c 1320s| 1670k|742019 | 0 | 0.0 |1100M|1040 | - |1929 | 10k| 0 | 0 | 0 |2165k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1399.46/1399.45 c 1328s| 1680k|744923 | 0 | 0.0 |1105M|1040 | - |1929 | 10k| 0 | 0 | 0 |2176k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1406.96/1406.91 c 1335s| 1690k|748347 | 0 | 0.0 |1110M|1040 | - |1929 | 11k| 0 | 0 | 0 |2186k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1414.86/1414.87 c 1342s| 1700k|751400 | 0 | 0.0 |1115M|1040 | - |1929 | 10k| 0 | 0 | 0 |2197k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1422.66/1422.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.66/1422.62 c 1350s| 1710k|754385 | 0 | 0.0 |1120M|1040 | - |1929 | 11k| 0 | 0 | 0 |2208k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1430.46/1430.43 c 1357s| 1720k|757560 | 0 | 0.0 |1126M|1040 | - |1929 | 11k| 0 | 0 | 0 |2219k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1438.36/1438.39 c 1364s| 1730k|760446 | 0 | 0.0 |1130M|1040 | - |1929 | 12k| 0 | 0 | 0 |2231k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1446.57/1446.51 c 1372s| 1740k|763501 | 0 | 0.0 |1135M|1040 | - |1929 | 12k| 0 | 0 | 0 |2242k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1454.96/1454.96 c 1380s| 1750k|766007 | 0 | 0.0 |1139M|1040 | - |1929 | 12k| 0 | 0 | 0 |2254k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1462.86/1462.87 c 1387s| 1760k|769328 | 0 | 0.0 |1144M|1040 | - |1929 | 13k| 0 | 0 | 0 |2265k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1471.56/1471.51 c 1395s| 1770k|771813 | 0 | 0.0 |1148M|1040 | - |1929 | 13k| 0 | 0 | 0 |2278k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1479.76/1479.75 c 1403s| 1780k|775036 | 0 | 0.0 |1153M|1040 | - |1929 | 13k| 0 | 0 | 0 |2289k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1488.86/1488.81 c 1412s| 1790k|777371 | 0 | 0.0 |1157M|1040 | - |1929 | 13k| 0 | 0 | 0 |2302k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1497.76/1497.73 c 1420s| 1800k|779952 | 0 | 0.0 |1161M|1040 | - |1929 | 14k| 0 | 0 | 0 |2315k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1506.46/1506.44 c 1428s| 1810k|782859 | 0 | 0.0 |1166M|1040 | - |1929 | 15k| 0 | 0 | 0 |2327k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1516.56/1516.51 c 1438s| 1820k|784675 | 0 | 0.0 |1170M|1040 | - |1929 | 15k| 0 | 0 | 0 |2341k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1526.77/1526.78 c 1448s| 1830k|786632 | 0 | 0.0 |1174M|1040 | - |1929 | 16k| 0 | 0 | 0 |2355k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1537.56/1537.51 c 1458s| 1840k|788348 | 0 | 0.0 |1177M|1040 | - |1929 | 17k| 0 | 0 | 0 |2370k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1549.17/1549.14 c 1469s| 1850k|789672 | 0 | 0.0 |1180M|1040 | - |1929 | 19k| 0 | 0 | 0 |2386k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1561.86/1561.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1561.86/1561.82 c 1481s| 1860k|790505 | 0 | 0.0 |1184M|1040 | - |1929 | 21k| 0 | 0 | 0 |2403k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1576.37/1576.33 c 1495s| 1870k|790596 | 0 | 0.0 |1186M|1040 | - |1929 | 23k| 0 | 0 | 0 |2422k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1592.07/1592.09 c 1510s| 1880k|790678 | 0 | 0.0 |1183M|1040 | - |1929 | 15k| 0 | 0 | 0 |2440k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1597.37/1597.33 c 1515s| 1890k|797185 | 0 | 0.0 |1188M|1040 | - |1929 | 11k| 0 | 0 | 0 |2446k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1602.67/1602.64 c 1520s| 1900k|803116 | 0 | 0.0 |1194M|1040 | - |1929 | 11k| 0 | 0 | 0 |2452k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1608.17/1608.11 c 1525s| 1910k|808922 | 0 | 0.0 |1200M|1040 | - |1929 | 11k| 0 | 0 | 0 |2459k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1613.88/1613.84 c 1530s| 1920k|814467 | 0 | 0.0 |1206M|1040 | - |1929 | 12k| 0 | 0 | 0 |2465k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1619.97/1619.98 c 1536s| 1930k|819750 | 0 | 0.0 |1212M|1040 | - |1929 | 12k| 0 | 0 | 0 |2473k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1626.37/1626.35 c 1542s| 1940k|824743 | 0 | 0.0 |1218M|1040 | - |1929 | 13k| 0 | 0 | 0 |2480k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1632.87/1632.80 c 1548s| 1950k|829740 | 0 | 0.0 |1224M|1040 | - |1929 | 13k| 0 | 0 | 0 |2488k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1639.56/1639.52 c 1554s| 1960k|834581 | 0 | 0.0 |1230M|1040 | - |1929 | 14k| 0 | 0 | 0 |2496k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1646.37/1646.37 c 1560s| 1970k|839278 | 0 | 0.0 |1236M|1040 | - |1929 | 14k| 0 | 0 | 0 |2504k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1653.47/1653.48 c 1567s| 1980k|843734 | 0 | 0.0 |1242M|1040 | - |1929 | 15k| 0 | 0 | 0 |2513k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1660.77/1660.76 c 1574s| 1990k|848163 | 0 | 0.0 |1248M|1040 | - |1929 | 15k| 0 | 0 | 0 |2521k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1668.27/1668.23 c 1581s| 2000k|852480 | 0 | 0.0 |1254M|1040 | - |1929 | 15k| 0 | 0 | 0 |2530k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1676.07/1676.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1676.07/1676.02 c 1588s| 2010k|856458 | 0 | 0.0 |1259M|1040 | - |1929 | 15k| 0 | 0 | 0 |2539k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1683.97/1683.91 c 1595s| 2020k|860336 | 0 | 0.0 |1265M|1040 | - |1929 | 15k| 0 | 0 | 0 |2548k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1692.07/1692.04 c 1603s| 2030k|864012 | 0 | 0.0 |1271M|1040 | - |1929 | 16k| 0 | 0 | 0 |2558k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1700.38/1700.31 c 1611s| 2040k|867500 | 0 | 0.0 |1277M|1040 | - |1929 | 16k| 0 | 0 | 0 |2569k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1708.98/1708.98 c 1619s| 2050k|870701 | 0 | 0.0 |1283M|1040 | - |1929 | 17k| 0 | 0 | 0 |2579k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1718.08/1718.00 c 1628s| 2060k|873804 | 0 | 0.0 |1289M|1040 | - |1929 | 17k| 0 | 0 | 0 |2589k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1727.27/1727.20 c 1636s| 2070k|876629 | 0 | 0.0 |1294M|1040 | - |1929 | 17k| 0 | 0 | 0 |2600k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1736.68/1736.66 c 1645s| 2080k|879397 | 0 | 0.0 |1300M|1040 | - |1929 | 18k| 0 | 0 | 0 |2611k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1746.68/1746.62 c 1655s| 2090k|881944 | 0 | 0.0 |1305M|1040 | - |1929 | 19k| 0 | 0 | 0 |2622k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1756.88/1756.89 c 1664s| 2100k|884316 | 0 | 0.0 |1309M|1040 | - |1929 | 20k| 0 | 0 | 0 |2634k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1767.68/1767.70 c 1675s| 2110k|886533 | 0 | 0.0 |1314M|1040 | - |1929 | 22k| 0 | 0 | 0 |2647k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1780.87/1780.85 c 1687s| 2120k|887544 | 0 | 0.0 |1317M|1040 | - |1929 | 24k| 0 | 0 | 0 |2661k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1795.28/1795.29 c 1701s| 2130k|888365 | 0 | 0.0 |1320M|1040 | - |1929 | 26k| 0 | 0 | 0 |2677k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.08/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.00 c
1800.08/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.00 c Solving Time (sec) : 1705.80
1800.08/1800.00 c Solving Nodes : 2132969
1800.08/1800.00 c Primal Bound : +3.00000000000000e+00 (24 solutions)
1800.08/1800.00 c Dual Bound : +0.00000000000000e+00
1800.08/1800.00 c Gap : infinite
1800.08/1800.01 s SATISFIABLE
1800.08/1800.01 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.08/1800.01 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.08/1800.01 v x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.08/1800.01 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.08/1800.01 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1800.08/1800.01 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.08/1800.01 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.08/1800.01 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.08/1800.01 v -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29
1800.08/1800.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2
1800.08/1800.01 v -x1
1800.08/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.01 c Solving Time : 1705.80
1800.08/1800.01 c Original Problem :
1800.08/1800.01 c Problem name : HOME/instance-2694025-1277900354.wbo
1800.08/1800.01 c Variables : 2091 (1161 binary, 0 integer, 0 implicit integer, 930 continuous)
1800.08/1800.01 c Constraints : 3638 initial, 3638 maximal
1800.08/1800.01 c Presolved Problem :
1800.08/1800.01 c Problem name : t_HOME/instance-2694025-1277900354.wbo
1800.08/1800.01 c Variables : 1929 (1080 binary, 0 integer, 0 implicit integer, 849 continuous)
1800.08/1800.01 c Constraints : 3365 initial, 43644 maximal
1800.08/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.01 c trivial : 0.00 81 0 0 0 0 0 0 0
1800.08/1800.01 c dualfix : 0.00 81 0 0 0 0 0 0 0
1800.08/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.08/1800.01 c indicator : 0.00 0 0 0 0 0 81 0 0
1800.08/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c linear : 0.06 0 0 0 954 0 192 139 0
1800.08/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c root node : - 839 - - 1678 - - - -
1800.08/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.01 c indicator : 849 0 4302598 0 1117251 27 1645064 0 0 0
1800.08/1800.01 c knapsack : 1 0 7007410 0 1680472 139158 21564170 0 0 0
1800.08/1800.01 c setppc : 14 0 6884559 0 1680180 89605 4787994 0 0 0
1800.08/1800.01 c linear : 849 0 6795716 0 1680507 108214 8795131 0 0 0
1800.08/1800.01 c logicor : 1652+ 0 5273926 0 1680527 369566 13630602 0 0 0
1800.08/1800.01 c bounddisjunction : 0+ 0 41221 0 0 0 3 0 0 0
1800.08/1800.01 c countsols : 0 0 0 0 1680516 0 0 0 0 0
1800.08/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.01 c indicator : 2.21 0.00 1.34 0.00 0.87
1800.08/1800.01 c knapsack : 82.06 0.00 79.74 0.00 2.32
1800.08/1800.01 c setppc : 22.96 0.00 20.60 0.00 2.36
1800.08/1800.01 c linear : 109.94 0.00 109.37 0.00 0.57
1800.08/1800.01 c logicor : 644.68 0.00 572.58 0.00 72.10
1800.08/1800.01 c bounddisjunction : 0.05 0.00 0.05 0.00 0.00
1800.08/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.01 c vbounds : 0.00 2 0 0
1800.08/1800.01 c rootredcost : 0.00 0 0 0
1800.08/1800.01 c pseudoobj : 110.98 7024764 350 1637838
1800.08/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.01 c propagation : 33.00 706893 706775 3859282 27.6 321285 8.9 -
1800.08/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.01 c pseudo solution : 0.01 20 20 113 23.0 38 9.9 -
1800.08/1800.01 c applied globally : - - - 2682330 23.1 - - -
1800.08/1800.01 c applied locally : - - - 17 125.1 - - -
1800.08/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.01 c redcost : 0.00 0 0 0 0 0
1800.08/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.01 c intobj : 0.00 0 0 0 0 0
1800.08/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.01 c gomory : 0.00 0 0 0 0 0
1800.08/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.01 c cmir : 0.00 0 0 0 0 0
1800.08/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.01 c clique : 0.00 0 0 0 0 0
1800.08/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.01 c mcf : 0.00 0 0 0 0 0
1800.08/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.01 c Pricers : Time Calls Vars
1800.08/1800.01 c problem variables: 0.00 0 0
1800.08/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.01 c inference : 20.64 1680492 0 0 0 0 3360984
1800.08/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.01 c random : 0.00 0 0 0 0 0 0
1800.08/1800.01 c Primal Heuristics : Time Calls Found
1800.08/1800.01 c LP solutions : 0.00 - 0
1800.08/1800.01 c pseudo solutions : 0.03 - 24
1800.08/1800.01 c oneopt : 0.02 0 0
1800.08/1800.01 c trivial : 0.00 2 0
1800.08/1800.01 c simplerounding : 0.00 0 0
1800.08/1800.01 c zirounding : 0.00 0 0
1800.08/1800.01 c rounding : 0.00 0 0
1800.08/1800.01 c shifting : 0.00 0 0
1800.08/1800.01 c intshifting : 0.00 0 0
1800.08/1800.01 c twoopt : 0.00 0 0
1800.08/1800.01 c fixandinfer : 0.00 0 0
1800.08/1800.01 c feaspump : 0.00 0 0
1800.08/1800.01 c coefdiving : 0.00 0 0
1800.08/1800.01 c pscostdiving : 0.00 0 0
1800.08/1800.01 c fracdiving : 0.00 0 0
1800.08/1800.01 c veclendiving : 0.00 0 0
1800.08/1800.01 c intdiving : 0.00 0 0
1800.08/1800.01 c actconsdiving : 0.00 0 0
1800.08/1800.01 c objpscostdiving : 0.00 0 0
1800.08/1800.01 c rootsoldiving : 0.00 0 0
1800.08/1800.01 c linesearchdiving : 0.00 0 0
1800.08/1800.01 c guideddiving : 0.00 0 0
1800.08/1800.01 c octane : 0.00 0 0
1800.08/1800.01 c rens : 0.00 0 0
1800.08/1800.01 c rins : 0.00 0 0
1800.08/1800.01 c localbranching : 0.00 0 0
1800.08/1800.01 c mutation : 0.00 0 0
1800.08/1800.01 c crossover : 0.00 0 0
1800.08/1800.01 c dins : 0.00 0 0
1800.08/1800.01 c undercover : 0.00 0 0
1800.08/1800.01 c nlp : 0.00 0 0
1800.08/1800.01 c trysol : 0.01 1 0
1800.08/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.01 c (at root node) : - 0 0 0.00 -
1800.08/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.01 c B&B Tree :
1800.08/1800.01 c number of runs : 1
1800.08/1800.01 c nodes : 2132969
1800.08/1800.01 c nodes (total) : 2132969
1800.08/1800.01 c nodes left : 888445
1800.08/1800.01 c max depth : 1040
1800.08/1800.01 c max depth (total): 1040
1800.08/1800.01 c backtracks : 447356 (21.0%)
1800.08/1800.01 c delayed cutoffs : 332970
1800.08/1800.01 c repropagations : 1496887 (14788383 domain reductions, 254487 cutoffs)
1800.08/1800.01 c avg switch length: 23.06
1800.08/1800.01 c switching time : 551.66
1800.08/1800.01 c Solution :
1800.08/1800.01 c Solutions found : 24 (24 improvements)
1800.08/1800.01 c First Solution : +4.85000000000000e+02 (in run 1, after 25867 nodes, 7.07 seconds, depth 361, found by <relaxation>)
1800.08/1800.01 c Primal Bound : +3.00000000000000e+00 (in run 1, after 750137 nodes, 398.54 seconds, depth 722, found by <relaxation>)
1800.08/1800.01 c Dual Bound : +0.00000000000000e+00
1800.08/1800.01 c Gap : infinite
1800.08/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.01 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694025-1277900354/watcher-2694025-1277900354 -o /tmp/evaluation-result-2694025-1277900354/solver-2694025-1277900354 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694025-1277900354.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.97 1.99 3/196 13991 /proc/meminfo: memFree=30816320/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=8148 CPUtime=0 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 1544 0 0 0 0 0 0 0 21 0 1 0 131330255 8343552 1466 4089446400 4194304 7136930 140736461065152 18446744073709551615 6339971 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13991/statm: 2037 1466 275 719 0 1316 0 [startup+0.105563 s] /proc/loadavg: 1.99 1.97 1.99 3/196 13991 /proc/meminfo: memFree=30816320/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=21304 CPUtime=0.1 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 7308 0 0 0 8 2 0 0 21 0 1 0 131330255 21815296 4563 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 5326 4563 354 719 0 4605 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 21304 [startup+0.200563 s] /proc/loadavg: 1.99 1.97 1.99 3/196 13991 /proc/meminfo: memFree=30816320/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=23480 CPUtime=0.19 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 10460 0 0 0 16 3 0 0 21 0 1 0 131330255 24043520 5145 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 5870 5145 399 719 0 5149 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 23480 [startup+0.300546 s] /proc/loadavg: 1.99 1.97 1.99 3/196 13991 /proc/meminfo: memFree=30816320/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=24300 CPUtime=0.29 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 10644 0 0 0 25 4 0 0 21 0 1 0 131330255 24883200 5329 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 6075 5329 399 719 0 5354 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24300 [startup+0.70046 s] /proc/loadavg: 1.99 1.97 1.99 3/196 13991 /proc/meminfo: memFree=30816320/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=26148 CPUtime=0.69 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 11139 0 0 0 59 10 0 0 22 0 1 0 131330255 26775552 5824 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 6537 5824 404 719 0 5816 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26148 [startup+1.5003 s] /proc/loadavg: 1.99 1.97 1.99 3/197 13992 /proc/meminfo: memFree=30794040/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=28228 CPUtime=1.49 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 11669 0 0 0 130 19 0 0 25 0 1 0 131330255 28905472 6354 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 7057 6354 404 719 0 6336 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28228 [startup+3.10099 s] /proc/loadavg: 1.99 1.97 1.99 3/197 13992 /proc/meminfo: memFree=30790072/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=33700 CPUtime=3.09 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 13058 0 0 0 272 37 0 0 25 0 1 0 131330255 34508800 7743 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 8425 7743 404 719 0 7704 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33700 [startup+6.30035 s] /proc/loadavg: 1.99 1.97 1.99 3/197 13992 /proc/meminfo: memFree=30779232/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=44324 CPUtime=6.29 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 15707 0 0 0 560 69 0 0 25 0 1 0 131330255 45387776 10392 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 11081 10392 404 719 0 10360 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44324 [startup+12.7011 s] /proc/loadavg: 1.99 1.97 1.99 3/197 13992 /proc/meminfo: memFree=30760772/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=63856 CPUtime=12.69 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 20603 0 0 0 1128 141 0 0 25 0 1 0 131330255 65388544 15288 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 15964 15288 407 719 0 15243 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63856 [startup+25.5005 s] /proc/loadavg: 1.99 1.97 1.99 3/197 13992 /proc/meminfo: memFree=30722740/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=99676 CPUtime=25.5 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 29653 0 0 0 2271 279 0 0 25 0 1 0 131330255 102068224 24338 4089446400 4194304 7136930 140736461065152 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 24919 24338 407 719 0 24198 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 99676 [startup+51.1004 s] /proc/loadavg: 2.07 1.99 1.99 3/197 13992 /proc/meminfo: memFree=30676988/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=148032 CPUtime=51.1 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 40894 0 0 0 4611 499 0 0 25 0 1 0 131330255 151584768 35579 4089446400 4194304 7136930 140736461065152 18446744073709551615 4661006 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 37008 35579 407 719 0 36287 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 148032 [startup+102.301 s] /proc/loadavg: 2.03 1.99 1.99 4/197 13994 /proc/meminfo: memFree=30534100/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=302628 CPUtime=102.3 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 76242 0 0 0 9274 956 0 0 25 0 1 0 131330255 309891072 70927 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 75657 70927 407 719 0 74936 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 302628 [startup+162.3 s] /proc/loadavg: 1.97 1.97 1.99 3/179 14026 /proc/meminfo: memFree=30760020/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=391864 CPUtime=162.3 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 97578 0 0 0 14867 1363 0 0 25 0 1 0 131330255 401268736 92263 4089446400 4194304 7136930 140736461065152 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 97966 92263 407 719 0 97245 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 391864 [startup+222.306 s] /proc/loadavg: 1.99 1.97 1.99 3/179 14028 /proc/meminfo: memFree=30591088/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=436788 CPUtime=222.3 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 108772 0 0 0 20545 1685 0 0 25 0 1 0 131330255 447270912 103457 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 109197 103457 407 719 0 108476 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 436788 [startup+282.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 14029 /proc/meminfo: memFree=30386544/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=533740 CPUtime=282.3 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 133202 0 0 0 26068 2162 0 0 25 0 1 0 131330255 546549760 127887 4089446400 4194304 7136930 140736461065152 18446744073709551615 4219812 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 133435 127887 407 719 0 132714 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 533740 [startup+342.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 14030 /proc/meminfo: memFree=30249604/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=593504 CPUtime=342.3 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 148089 0 0 0 31726 2504 0 0 25 0 1 0 131330255 607748096 142774 4089446400 4194304 7136930 140736461065152 18446744073709551615 5000163 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 148376 142774 407 719 0 147655 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 593504 [startup+402.301 s] /proc/loadavg: 2.05 1.99 1.99 3/179 14032 /proc/meminfo: memFree=30093552/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=682548 CPUtime=402.31 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 169229 0 0 0 37348 2883 0 0 25 0 1 0 131330255 698929152 163914 4089446400 4194304 7136930 140736461065152 18446744073709551615 4923501 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 170637 163914 407 719 0 169916 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 682548 [startup+462.301 s] /proc/loadavg: 2.02 1.99 1.99 3/179 14034 /proc/meminfo: memFree=29972364/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=762852 CPUtime=462.31 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 188014 0 0 0 43000 3231 0 0 25 0 1 0 131330255 781160448 182699 4089446400 4194304 7136930 140736461065152 18446744073709551615 4221316 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 190713 182699 407 719 0 189992 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 762852 [startup+522.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 14036 /proc/meminfo: memFree=29880420/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=832076 CPUtime=522.32 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 203477 0 0 0 48640 3592 0 0 25 0 1 0 131330255 852045824 198162 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 208019 198162 407 719 0 207298 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 832076 [startup+582.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 14037 /proc/meminfo: memFree=29742836/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=886732 CPUtime=582.32 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 217212 0 0 0 54347 3885 0 0 25 0 1 0 131330255 908013568 211897 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 221683 211897 407 719 0 220962 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 886732 [startup+642.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 14038 /proc/meminfo: memFree=29644828/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=931412 CPUtime=642.32 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 228256 0 0 0 60040 4192 0 0 25 0 1 0 131330255 953765888 222941 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 232853 222941 407 719 0 232132 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 931412 [startup+702.301 s] ################ # More data... # ################ /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 257729 0 0 0 100863 5371 0 0 25 0 1 0 131330255 1074110464 252414 4089446400 4194304 7136930 140736461065152 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 262234 252414 407 719 0 261513 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 1048936 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14055 /proc/meminfo: memFree=28976048/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1053716 CPUtime=1122.35 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 258956 0 0 0 106724 5511 0 0 25 0 1 0 131330255 1079005184 253641 4089446400 4194304 7136930 140736461065152 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 263429 253641 407 719 0 262708 0 Current children cumulated CPU time (s) 1122.35 Current children cumulated vsize (KiB) 1053716 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14056 /proc/meminfo: memFree=28898376/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1064384 CPUtime=1182.35 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 261609 0 0 0 112551 5684 0 0 25 0 1 0 131330255 1089929216 256294 4089446400 4194304 7136930 140736461065152 18446744073709551615 4210101 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 266096 256294 407 719 0 265375 0 Current children cumulated CPU time (s) 1182.35 Current children cumulated vsize (KiB) 1064384 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14057 /proc/meminfo: memFree=28764652/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1120612 CPUtime=1242.35 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 275620 0 0 0 118218 6017 0 0 25 0 1 0 131330255 1147506688 270305 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 280153 270305 407 719 0 279432 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 1120612 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14059 /proc/meminfo: memFree=28671592/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1178148 CPUtime=1302.35 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 290112 0 0 0 123766 6469 0 0 25 0 1 0 131330255 1206423552 284797 4089446400 4194304 7136930 140736461065152 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 294537 284797 407 719 0 293816 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 1178148 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14061 /proc/meminfo: memFree=28603084/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1222264 CPUtime=1362.36 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 301251 0 0 0 129324 6912 0 0 25 0 1 0 131330255 1251598336 295936 4089446400 4194304 7136930 140736461065152 18446744073709551615 4210331 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 305566 295936 407 719 0 304845 0 Current children cumulated CPU time (s) 1362.36 Current children cumulated vsize (KiB) 1222264 [startup+1422.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 14063 /proc/meminfo: memFree=28523916/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1275260 CPUtime=1422.36 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 314591 0 0 0 134924 7312 0 0 25 0 1 0 131330255 1305866240 309276 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 318815 309276 407 719 0 318094 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 1275260 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14064 /proc/meminfo: memFree=28482212/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1305496 CPUtime=1482.37 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 322230 0 0 0 140564 7673 0 0 25 0 1 0 131330255 1336827904 316915 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 326374 316915 407 719 0 325653 0 Current children cumulated CPU time (s) 1482.37 Current children cumulated vsize (KiB) 1305496 [startup+1542.31 s] /proc/loadavg: 2.04 2.02 2.00 3/179 14065 /proc/meminfo: memFree=28461848/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1325692 CPUtime=1542.37 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 327314 0 0 0 146244 7993 0 0 25 0 1 0 131330255 1357508608 321999 4089446400 4194304 7136930 140736461065152 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 331423 321999 407 719 0 330702 0 Current children cumulated CPU time (s) 1542.37 Current children cumulated vsize (KiB) 1325692 [startup+1602.3 s] /proc/loadavg: 2.05 2.03 2.00 3/179 14067 /proc/meminfo: memFree=28441724/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1347240 CPUtime=1602.36 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 332704 0 0 0 151954 8282 0 0 25 0 1 0 131330255 1379573760 327389 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 336810 327389 407 719 0 336089 0 Current children cumulated CPU time (s) 1602.36 Current children cumulated vsize (KiB) 1347240 [startup+1662.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 14069 /proc/meminfo: memFree=28382652/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1400388 CPUtime=1662.37 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 346119 0 0 0 157527 8710 0 0 25 0 1 0 131330255 1433997312 340804 4089446400 4194304 7136930 140736461065152 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 350097 340804 407 719 0 349376 0 Current children cumulated CPU time (s) 1662.37 Current children cumulated vsize (KiB) 1400388 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 14071 /proc/meminfo: memFree=28306468/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1442832 CPUtime=1722.38 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 356740 0 0 0 163165 9073 0 0 25 0 1 0 131330255 1477459968 351425 4089446400 4194304 7136930 140736461065152 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 360708 351425 407 719 0 359987 0 Current children cumulated CPU time (s) 1722.38 Current children cumulated vsize (KiB) 1442832 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 14072 /proc/meminfo: memFree=28225312/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1469996 CPUtime=1782.37 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 363498 0 0 0 168876 9361 0 0 25 0 1 0 131330255 1505275904 358183 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 367499 358183 407 719 0 366778 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 1469996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 3/179 14073 /proc/meminfo: memFree=28202848/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1473956 CPUtime=1800.08 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 364516 0 0 0 170582 9426 0 0 25 0 1 0 131330255 1509330944 359201 4089446400 4194304 7136930 140736461065152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13991/statm: 368489 359201 407 719 0 367768 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1473956 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13991 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.00 2.01 2.00 3/180 14074 /proc/meminfo: memFree=28200360/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1473956 CPUtime=1800.78 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 364525 0 0 0 170652 9426 0 0 25 0 1 0 131330255 1509330944 359210 4089446400 4194304 7136930 140736461065152 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13991/statm: 368489 359210 412 719 0 367768 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (KiB) 1473956 [startup+1801.5 s] /proc/loadavg: 2.00 2.01 2.00 3/180 14074 /proc/meminfo: memFree=28200360/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1472924 CPUtime=1801.57 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 364525 0 0 0 170731 9426 0 0 25 0 1 0 131330255 1508274176 358952 4089446400 4194304 7136930 140736461065152 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13991/statm: 368231 358952 412 719 0 367510 0 Current children cumulated CPU time (s) 1801.57 Current children cumulated vsize (KiB) 1472924 [startup+1801.91 s] /proc/loadavg: 2.00 2.01 2.00 3/180 14074 /proc/meminfo: memFree=28205816/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1451032 CPUtime=1801.98 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 364525 0 0 0 170772 9426 0 0 25 0 1 0 131330255 1485856768 353480 4089446400 4194304 7136930 140736461065152 18446744073709551615 5003457 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13991/statm: 362758 353480 412 719 0 362037 0 Current children cumulated CPU time (s) 1801.98 Current children cumulated vsize (KiB) 1451032 [startup+1802 s] /proc/loadavg: 2.00 2.01 2.00 3/180 14074 /proc/meminfo: memFree=28205816/32950928 swapFree=67111528/67111528 [pid=13991] ppid=13989 vsize=1437640 CPUtime=1802.07 /proc/13991/stat : 13991 (pbscip.linux.x8) R 13989 13991 13929 0 -1 4202496 364525 0 0 0 170781 9426 0 0 25 0 1 0 131330255 1472143360 350132 4089446400 4194304 7136930 140736461065152 18446744073709551615 6165639 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13991/statm: 359410 350132 412 719 0 358689 0 Current children cumulated CPU time (s) 1802.07 Current children cumulated vsize (KiB) 1437640 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.05 CPU time (s): 1802.14 CPU user time (s): 1707.82 CPU system time (s): 94.3157 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 1473956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1707.82 system time used= 94.3157 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 364525 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3366 runsolver used 2.47362 second user time and 5.79612 second system time The end
Begin job on node149 at 2010-06-30 14:19:14 IDJOB=2694025 IDBENCH=78881 IDSOLVER=1206 FILE ID=node149/2694025-1277900354 PBS_JOBID= 11197229 Free space on /tmp= 74212 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.1900546417--soft-66-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-2694025-1277900354/watcher-2694025-1277900354 -o /tmp/evaluation-result-2694025-1277900354/solver-2694025-1277900354 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694025-1277900354.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 23ad99b063b4d7278daca47962cd4526 RANDOM SEED=938696081 node149.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.831 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.66 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.68 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30817096 kB Buffers: 188276 kB Cached: 1267212 kB SwapCached: 0 kB Active: 975848 kB Inactive: 1011592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30817096 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3132 kB Writeback: 0 kB AnonPages: 531616 kB Mapped: 20412 kB Slab: 81884 kB PageTables: 5800 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1658188 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= 74204 MiB End job on node149 at 2010-06-30 14:49:16