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.12 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-66-100-0.wbo |
| MD5SUM | fe999950861349ecbc6e2ee50c3d0e04 |
| 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 | 212.558 |
| 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 | 911 |
| 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 | 45526 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45525 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 671 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2694063-1277903459.wbo>
0.00/0.02 c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 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.03 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, 1131 impls, 16 clqs
0.03/0.07 c (round 2) 0 del vars, 116 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.03/0.09 c (round 3) 50 del vars, 249 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.09/0.10 c (round 4) 115 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.11 c (round 5) 130 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.15 c (0.1s) probing: 101/1077 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 130 deleted vars, 264 deleted constraints, 926 tightened bounds, 0 added holes, 133 changed sides, 0 changed coefficients
0.09/0.15 c 1131 implications, 16 cliques
0.09/0.15 c presolved problem has 1923 variables (1077 bin, 0 int, 0 impl, 846 cont) and 3355 constraints
0.09/0.15 c 846 constraints of type <indicator>
0.09/0.15 c 16 constraints of type <setppc>
0.09/0.15 c 846 constraints of type <linear>
0.09/0.15 c 1647 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.12
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 2 | 0 | - |7508k| 0 | - |1923 |3355 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.93 o 395
0.89/0.93 c * 0.9s| 3710 | 2153 | 0 | 0.0 |9145k| 975 | - |1923 |3575 | 0 | 0 | 0 | 225 | 0 | 0.000000e+00 | 3.950000e+02 | Inf
2.29/2.38 c 2.3s| 10000 | 7687 | 0 | 0.0 | 13M| 975 | - |1923 |4739 | 0 | 0 | 0 |2649 | 0 | 0.000000e+00 | 3.950000e+02 | Inf
4.69/4.70 o 258
4.69/4.70 c * 4.5s| 17812 | 12536 | 0 | 0.0 | 19M| 975 | - |1923 |6884 | 0 | 0 | 0 |9126 | 0 | 0.000000e+00 | 2.580000e+02 | Inf
4.69/4.70 o 221
4.69/4.70 c * 4.5s| 17813 | 12519 | 0 | 0.0 | 19M| 975 | - |1923 |6884 | 0 | 0 | 0 |9126 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
4.80/4.86 o 212
4.80/4.86 c * 4.7s| 18287 | 12968 | 0 | 0.0 | 20M| 975 | - |1923 |6682 | 0 | 0 | 0 |9186 | 0 | 0.000000e+00 | 2.120000e+02 | Inf
4.89/4.91 o 197
4.89/4.91 c * 4.7s| 18433 | 13107 | 0 | 0.0 | 20M| 975 | - |1923 |6569 | 0 | 0 | 0 |9197 | 0 | 0.000000e+00 | 1.970000e+02 | Inf
4.89/4.91 o 169
4.89/4.91 c * 4.7s| 18434 | 13097 | 0 | 0.0 | 20M| 975 | - |1923 |6569 | 0 | 0 | 0 |9197 | 0 | 0.000000e+00 | 1.690000e+02 | Inf
4.89/4.93 o 168
4.89/4.93 c * 4.8s| 18516 | 13168 | 0 | 0.0 | 20M| 975 | - |1923 |6511 | 0 | 0 | 0 |9201 | 0 | 0.000000e+00 | 1.680000e+02 | Inf
5.19/5.20 o 142
5.19/5.20 c * 5.0s| 19298 | 13801 | 0 | 0.0 | 20M| 975 | - |1923 |5686 | 0 | 0 | 0 |9355 | 0 | 0.000000e+00 | 1.420000e+02 | Inf
5.19/5.20 o 141
5.19/5.20 c * 5.0s| 19299 | 13799 | 0 | 0.0 | 20M| 975 | - |1923 |5686 | 0 | 0 | 0 |9355 | 0 | 0.000000e+00 | 1.410000e+02 | Inf
5.40/5.40 o 80
5.40/5.40 c * 5.2s| 19909 | 14037 | 0 | 0.0 | 20M| 975 | - |1923 |5256 | 0 | 0 | 0 |9493 | 0 | 0.000000e+00 | 8.000000e+01 | Inf
5.40/5.40 o 68
5.40/5.40 c * 5.2s| 19910 | 13834 | 0 | 0.0 | 20M| 975 | - |1923 |5256 | 0 | 0 | 0 |9493 | 0 | 0.000000e+00 | 6.800000e+01 | Inf
5.40/5.42 o 65
5.40/5.42 c * 5.2s| 19958 | 13806 | 0 | 0.0 | 20M| 975 | - |1923 |5214 | 0 | 0 | 0 |9497 | 0 | 0.000000e+00 | 6.500000e+01 | Inf
5.40/5.44 c 5.2s| 20000 | 13845 | 0 | 0.0 | 20M| 975 | - |1923 |5103 | 0 | 0 | 0 |9501 | 0 | 0.000000e+00 | 6.500000e+01 | Inf
6.29/6.31 o 58
6.29/6.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.29/6.31 c * 6.1s| 22291 | 15598 | 0 | 0.0 | 23M| 975 | - |1923 |5348 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
7.39/7.47 o 57
7.39/7.47 c * 7.2s| 25694 | 18448 | 0 | 0.0 | 28M| 975 | - |1923 |5694 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
8.80/8.81 c 8.5s| 30000 | 22160 | 0 | 0.0 | 32M| 975 | - |1923 |5380 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
11.49/11.58 c 11.2s| 40000 | 30513 | 0 | 0.0 | 40M| 975 | - |1923 |5913 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
14.20/14.22 c 13.8s| 50000 | 38462 | 0 | 0.0 | 47M| 975 | - |1923 |7769 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
16.99/17.04 c 16.5s| 60000 | 46208 | 0 | 0.0 | 54M| 975 | - |1923 |8566 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
19.99/20.05 c 19.4s| 70000 | 53781 | 0 | 0.0 | 62M| 975 | - |1923 |9359 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
23.19/23.25 c 22.5s| 80000 | 61150 | 0 | 0.0 | 69M| 975 | - |1923 |9823 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
26.89/26.91 c 26.1s| 90000 | 67957 | 0 | 0.0 | 77M| 975 | - |1923 | 10k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
31.10/31.19 c 30.3s|100000 | 74048 | 0 | 0.0 | 85M| 975 | - |1923 | 12k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
36.30/36.32 c 35.3s|110000 | 79326 | 0 | 0.0 | 93M| 975 | - |1923 | 13k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
42.19/42.23 c 41.1s|120000 | 83780 | 0 | 0.0 | 101M| 975 | - |1923 | 16k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
49.59/49.63 c 48.4s|130000 | 87457 | 0 | 0.0 | 104M| 975 | - |1923 |7718 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
50.50/50.60 o 56
50.50/50.60 c *49.3s|132599 | 89718 | 0 | 0.0 | 106M| 975 | - |1923 |4890 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
51.60/51.67 o 39
51.60/51.67 c *50.4s|135685 | 91656 | 0 | 0.0 | 106M| 975 | - |1923 |4281 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
53.10/53.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.10/53.11 c 51.8s|140000 | 95277 | 0 | 0.0 | 110M| 975 | - |1923 |4670 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
56.60/56.61 c 55.2s|150000 |103333 | 0 | 0.0 | 119M| 975 | - |1923 |5175 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
56.79/56.80 o 18
56.79/56.80 c *55.4s|150512 |102125 | 0 | 0.0 | 112M| 975 | - |1923 |5277 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
60.89/60.99 c 59.4s|160000 |108076 | 0 | 0.0 | 122M| 975 | - |1923 |7783 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
64.29/64.33 o 16
64.29/64.33 c *62.7s|168209 |113526 | 0 | 0.0 | 126M| 975 | - |1923 |5244 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
64.80/64.88 c 63.2s|170000 |115028 | 0 | 0.0 | 127M| 975 | - |1923 |5327 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
68.00/68.08 c 66.3s|180000 |123174 | 0 | 0.0 | 134M| 975 | - |1923 |6381 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
69.20/69.30 o 15
69.20/69.30 c *67.5s|183421 |125496 | 0 | 0.0 | 136M| 975 | - |1923 |6732 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
69.89/69.91 o 6
69.89/69.91 c *68.1s|185009 |125751 | 0 | 0.0 | 136M| 975 | - |1923 |6955 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
72.09/72.14 c 70.2s|190000 |128906 | 0 | 0.0 | 140M| 975 | - |1923 |8319 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
75.99/76.07 c 74.1s|200000 |135470 | 0 | 0.0 | 145M| 975 | - |1923 |6911 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
79.39/79.45 c 77.4s|210000 |143082 | 0 | 0.0 | 153M| 975 | - |1923 |7553 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
83.10/83.15 c 81.0s|220000 |150130 | 0 | 0.0 | 159M| 975 | - |1923 |7661 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
84.09/84.11 o 4
84.09/84.11 c *81.9s|222644 |151457 | 0 | 0.0 | 160M| 975 | - |1923 |7883 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
86.90/86.94 c 84.6s|230000 |156569 | 0 | 0.0 | 165M| 975 | - |1923 |8362 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
90.69/90.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.69/90.78 c 88.3s|240000 |163147 | 0 | 0.0 | 171M| 975 | - |1923 |7551 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
94.09/94.10 c 91.6s|250000 |170676 | 0 | 0.0 | 179M| 975 | - |1923 |9392 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
97.49/97.55 c 94.9s|260000 |178029 | 0 | 0.0 | 185M| 975 | - |1923 |8790 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
101.29/101.37 c 98.6s|270000 |184717 | 0 | 0.0 | 192M| 975 | - |1923 |8710 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
104.50/104.55 c 102s|280000 |192491 | 0 | 0.0 | 199M| 975 | - |1923 | 10k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
108.19/108.22 c 105s|290000 |199760 | 0 | 0.0 | 206M| 975 | - |1923 |9436 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
111.99/112.04 c 109s|300000 |206584 | 0 | 0.0 | 213M| 975 | - |1923 |9889 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
115.19/115.24 c 112s|310000 |214222 | 0 | 0.0 | 220M| 975 | - |1923 | 11k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
118.60/118.69 c 115s|320000 |221767 | 0 | 0.0 | 225M| 975 | - |1923 |6193 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
121.80/121.83 c 118s|330000 |229486 | 0 | 0.0 | 232M| 975 | - |1923 |6930 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
125.40/125.43 c 122s|340000 |236260 | 0 | 0.0 | 239M| 975 | - |1923 |8394 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
129.09/129.11 c 126s|350000 |243110 | 0 | 0.0 | 245M| 975 | - |1923 |8937 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
132.89/132.93 c 129s|360000 |249759 | 0 | 0.0 | 252M| 975 | - |1923 | 10k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
136.89/136.97 c 133s|370000 |256265 | 0 | 0.0 | 259M| 975 | - |1923 | 11k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
141.10/141.18 c 137s|380000 |262613 | 0 | 0.0 | 266M| 975 | - |1923 | 11k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
145.40/145.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.40/145.49 c 142s|390000 |268885 | 0 | 0.0 | 273M| 975 | - |1923 | 12k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
150.20/150.22 c 146s|400000 |274849 | 0 | 0.0 | 280M| 975 | - |1923 | 12k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
155.00/155.10 c 151s|410000 |280623 | 0 | 0.0 | 286M| 975 | - |1923 | 13k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
160.10/160.12 c 156s|420000 |286365 | 0 | 0.0 | 293M| 975 | - |1923 | 13k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
165.10/165.19 c 161s|430000 |292191 | 0 | 0.0 | 300M| 975 | - |1923 | 12k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
170.59/170.62 c 166s|440000 |297575 | 0 | 0.0 | 307M| 975 | - |1923 | 14k| 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
176.20/176.27 c 172s|450000 |302792 | 0 | 0.0 | 314M| 975 | - |1923 | 15k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
182.10/182.13 c 177s|460000 |307913 | 0 | 0.0 | 321M| 975 | - |1923 | 15k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
188.10/188.19 c 183s|470000 |312932 | 0 | 0.0 | 327M| 975 | - |1923 | 15k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
194.60/194.66 c 190s|480000 |317537 | 0 | 0.0 | 334M| 975 | - |1923 | 16k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
201.40/201.45 c 196s|490000 |321940 | 0 | 0.0 | 341M| 975 | - |1923 | 17k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
208.30/208.35 c 203s|500000 |326345 | 0 | 0.0 | 347M| 975 | - |1923 | 16k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
215.29/215.30 c 210s|510000 |330668 | 0 | 0.0 | 354M| 975 | - |1923 | 17k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
222.90/222.90 c 217s|520000 |334409 | 0 | 0.0 | 360M| 975 | - |1923 | 18k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
230.80/230.85 c 225s|530000 |337931 | 0 | 0.0 | 366M| 975 | - |1923 | 18k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
239.00/239.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.00/239.07 c 233s|540000 |341184 | 0 | 0.0 | 372M| 975 | - |1923 | 18k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
247.60/247.61 c 242s|550000 |344199 | 0 | 0.0 | 378M| 975 | - |1923 | 18k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
256.50/256.56 c 251s|560000 |346854 | 0 | 0.0 | 384M| 975 | - |1923 | 19k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
266.10/266.12 c 260s|570000 |349221 | 0 | 0.0 | 390M| 975 | - |1923 | 20k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
275.80/275.85 c 270s|580000 |351559 | 0 | 0.0 | 395M| 975 | - |1923 | 19k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
286.70/286.75 c 280s|590000 |352650 | 0 | 0.0 | 400M| 975 | - |1923 | 21k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
297.90/297.98 c 292s|600000 |353920 | 0 | 0.0 | 405M| 975 | - |1923 | 23k| 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
310.51/310.50 c 304s|610000 |354538 | 0 | 0.0 | 410M| 975 | - |1923 | 24k| 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
325.61/325.67 c 319s|620000 |353449 | 0 | 0.0 | 414M| 975 | - |1923 | 27k| 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
335.00/335.09 c 328s|630000 |357765 | 0 | 0.0 | 413M| 975 | - |1923 |7293 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
338.60/338.69 c 332s|640000 |365591 | 0 | 0.0 | 424M| 975 | - |1923 |7054 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
342.50/342.54 c 335s|650000 |373213 | 0 | 0.0 | 441M| 975 | - |1923 |7603 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
346.51/346.55 c 339s|660000 |380743 | 0 | 0.0 | 461M| 975 | - |1923 |8157 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
350.70/350.74 c 343s|670000 |388150 | 0 | 0.0 | 481M| 975 | - |1923 |8622 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
354.50/354.58 o 2
354.50/354.58 c * 347s|678546 |381218 | 0 | 0.0 | 489M| 975 | - |1923 |9108 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
355.31/355.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.31/355.32 c 348s|680000 |382196 | 0 | 0.0 | 492M| 975 | - |1923 |9132 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
360.30/360.34 c 353s|690000 |389148 | 0 | 0.0 | 516M| 975 | - |1923 |9724 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
365.50/365.51 c 358s|700000 |395952 | 0 | 0.0 | 539M| 975 | - |1923 | 10k| 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
371.00/371.01 c 363s|710000 |402586 | 0 | 0.0 | 563M| 975 | - |1923 | 10k| 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
376.61/376.62 c 369s|720000 |409101 | 0 | 0.0 | 586M| 975 | - |1923 | 11k| 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
382.81/382.84 c 375s|730000 |415044 | 0 | 0.0 | 610M| 975 | - |1923 | 12k| 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
389.41/389.42 c 381s|740000 |420913 | 0 | 0.0 | 633M| 975 | - |1923 | 12k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
396.40/396.40 c 388s|750000 |426285 | 0 | 0.0 | 651M| 975 | - |1923 | 13k| 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
403.61/403.62 c 395s|760000 |431381 | 0 | 0.0 | 666M| 975 | - |1923 | 15k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
411.41/411.43 c 403s|770000 |436236 | 0 | 0.0 | 681M| 975 | - |1923 | 16k| 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
420.21/420.22 c 412s|780000 |440508 | 0 | 0.0 | 696M| 975 | - |1923 | 17k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
430.81/430.83 c 422s|790000 |443783 | 0 | 0.0 | 710M| 975 | - |1923 | 19k| 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
443.21/443.29 c 434s|800000 |446145 | 0 | 0.0 | 723M| 975 | - |1923 | 22k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
456.60/456.68 c 448s|810000 |448458 | 0 | 0.0 | 730M| 975 | - |1923 | 19k| 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
461.01/461.02 c 452s|820000 |456419 | 0 | 0.0 | 739M| 975 | - |1923 | 11k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
465.00/465.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.00/465.00 c 456s|830000 |464235 | 0 | 0.0 | 752M| 975 | - |1923 | 11k| 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
469.21/469.22 c 460s|840000 |471912 | 0 | 0.0 | 765M| 975 | - |1923 | 12k| 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
473.50/473.58 c 464s|850000 |479469 | 0 | 0.0 | 778M| 975 | - |1923 | 12k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
478.11/478.11 c 469s|860000 |486855 | 0 | 0.0 | 791M| 975 | - |1923 | 13k| 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
482.81/482.83 c 473s|870000 |494146 | 0 | 0.0 | 803M| 975 | - |1923 | 13k| 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
487.71/487.76 c 478s|880000 |501256 | 0 | 0.0 | 816M| 975 | - |1923 | 14k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
493.21/493.25 c 483s|890000 |508005 | 0 | 0.0 | 830M| 975 | - |1923 | 14k| 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
499.10/499.12 c 489s|900000 |514533 | 0 | 0.0 | 844M| 975 | - |1923 | 15k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
505.50/505.51 c 495s|910000 |520624 | 0 | 0.0 | 858M| 975 | - |1923 | 16k| 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
512.21/512.23 c 502s|920000 |526572 | 0 | 0.0 | 872M| 975 | - |1923 | 16k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
519.41/519.41 c 509s|930000 |532221 | 0 | 0.0 | 885M| 975 | - |1923 | 17k| 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
527.41/527.49 c 517s|940000 |537291 | 0 | 0.0 | 899M| 975 | - |1923 | 18k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
536.21/536.24 c 525s|950000 |542014 | 0 | 0.0 | 911M| 975 | - |1923 | 19k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
545.70/545.74 c 535s|960000 |546291 | 0 | 0.0 | 922M| 975 | - |1923 | 21k| 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
556.71/556.73 c 546s|970000 |549803 | 0 | 0.0 | 933M| 975 | - |1923 | 23k| 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
570.71/570.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.71/570.71 c 559s|980000 |551546 | 0 | 0.0 | 941M| 975 | - |1923 | 26k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
579.91/579.92 c 569s|990000 |556855 | 0 | 0.0 | 944M| 975 | - |1923 | 18k| 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
584.41/584.43 c 573s| 1000k|564592 | 0 | 0.0 | 952M| 975 | - |1923 | 17k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
589.01/589.03 c 577s| 1010k|572057 | 0 | 0.0 | 961M| 975 | - |1923 | 17k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
594.02/594.07 c 582s| 1020k|579043 | 0 | 0.0 | 970M| 975 | - |1923 | 18k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
599.61/599.62 c 588s| 1030k|585633 | 0 | 0.0 | 979M| 975 | - |1923 | 19k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
605.71/605.77 c 594s| 1040k|591759 | 0 | 0.0 | 988M| 975 | - |1923 | 21k| 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
611.91/611.99 c 600s| 1050k|597645 | 0 | 0.0 | 995M| 975 | - |1923 | 19k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
618.41/618.49 c 606s| 1060k|603470 | 0 | 0.0 |1002M| 975 | - |1923 | 20k| 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
625.61/625.65 c 613s| 1070k|609009 | 0 | 0.0 |1010M| 975 | - |1923 | 21k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
632.71/632.70 c 620s| 1080k|614648 | 0 | 0.0 |1017M| 975 | - |1923 | 21k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
639.51/639.59 c 627s| 1090k|620508 | 0 | 0.0 |1025M| 975 | - |1923 | 21k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
646.21/646.29 c 634s| 1100k|626583 | 0 | 0.0 |1033M| 975 | - |1923 | 21k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
653.11/653.11 c 640s| 1110k|632623 | 0 | 0.0 |1042M| 975 | - |1923 | 22k| 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
660.11/660.19 c 647s| 1120k|638560 | 0 | 0.0 |1051M| 975 | - |1923 | 22k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
667.72/667.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.72/667.70 c 655s| 1130k|644178 | 0 | 0.0 |1060M| 975 | - |1923 | 22k| 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
675.11/675.15 c 662s| 1140k|649821 | 0 | 0.0 |1069M| 975 | - |1923 | 23k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
682.72/682.74 c 669s| 1150k|655531 | 0 | 0.0 |1077M| 975 | - |1923 | 22k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
690.72/690.80 c 677s| 1160k|660817 | 0 | 0.0 |1085M| 975 | - |1923 | 22k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
698.31/698.37 c 685s| 1170k|666425 | 0 | 0.0 |1092M| 975 | - |1923 | 22k| 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
705.62/705.69 c 692s| 1180k|672177 | 0 | 0.0 |1100M| 975 | - |1923 | 22k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
713.02/713.04 c 699s| 1190k|677876 | 0 | 0.0 |1107M| 975 | - |1923 | 23k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
720.32/720.34 c 706s| 1200k|683560 | 0 | 0.0 |1115M| 975 | - |1923 | 24k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
728.51/728.58 c 714s| 1210k|688532 | 0 | 0.0 |1122M| 975 | - |1923 | 26k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
738.71/738.75 c 724s| 1220k|692348 | 0 | 0.0 |1130M| 975 | - |1923 | 29k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
752.21/752.28 c 738s| 1230k|694873 | 0 | 0.0 |1134M| 975 | - |1923 | 27k| 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
757.51/757.54 c 743s| 1240k|702668 | 0 | 0.0 |1139M| 975 | - |1923 | 20k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
762.41/762.49 c 748s| 1250k|710090 | 0 | 0.0 |1146M| 975 | - |1923 | 21k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
767.82/767.83 c 753s| 1260k|717177 | 0 | 0.0 |1154M| 975 | - |1923 | 22k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
773.51/773.57 c 759s| 1270k|723928 | 0 | 0.0 |1162M| 975 | - |1923 | 23k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
779.71/779.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.71/779.75 c 765s| 1280k|730387 | 0 | 0.0 |1170M| 975 | - |1923 | 23k| 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
786.52/786.52 c 771s| 1290k|736339 | 0 | 0.0 |1178M| 975 | - |1923 | 25k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.22/794.29 c 779s| 1300k|741694 | 0 | 0.0 |1186M| 975 | - |1923 | 26k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
803.52/803.56 c 788s| 1310k|746010 | 0 | 0.0 |1194M| 975 | - |1923 | 28k| 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
815.61/815.68 c 800s| 1320k|748546 | 0 | 0.0 |1200M| 975 | - |1923 | 31k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
823.52/823.59 c 808s| 1330k|754987 | 0 | 0.0 |1204M| 975 | - |1923 | 24k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
828.81/828.84 c 813s| 1340k|762551 | 0 | 0.0 |1211M| 975 | - |1923 | 23k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
834.02/834.03 c 818s| 1350k|769939 | 0 | 0.0 |1218M| 975 | - |1923 | 23k| 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
839.81/839.84 c 824s| 1360k|776839 | 0 | 0.0 |1226M| 975 | - |1923 | 25k| 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
846.32/846.30 c 830s| 1370k|783394 | 0 | 0.0 |1234M| 975 | - |1923 | 26k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
853.63/853.65 c 837s| 1380k|789349 | 0 | 0.0 |1243M| 975 | - |1923 | 29k| 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
862.32/862.37 c 846s| 1390k|794600 | 0 | 0.0 |1251M| 975 | - |1923 | 31k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
872.82/872.88 c 856s| 1400k|798907 | 0 | 0.0 |1259M| 975 | - |1923 | 33k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
887.52/887.52 c 871s| 1410k|800974 | 0 | 0.0 |1266M| 975 | - |1923 | 39k| 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
895.22/895.29 c 879s| 1420k|808146 | 0 | 0.0 |1269M| 975 | - |1923 | 27k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
900.82/900.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.82/900.88 c 884s| 1430k|815769 | 0 | 0.0 |1275M| 975 | - |1923 | 26k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
906.42/906.47 c 889s| 1440k|823192 | 0 | 0.0 |1283M| 975 | - |1923 | 27k| 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
912.41/912.49 c 895s| 1450k|830260 | 0 | 0.0 |1290M| 975 | - |1923 | 28k| 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
918.92/918.93 c 902s| 1460k|837000 | 0 | 0.0 |1298M| 975 | - |1923 | 29k| 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
926.13/926.11 c 909s| 1470k|843201 | 0 | 0.0 |1306M| 975 | - |1923 | 31k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
934.42/934.48 c 917s| 1480k|848748 | 0 | 0.0 |1313M| 975 | - |1923 | 32k| 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
944.32/944.35 c 927s| 1490k|853499 | 0 | 0.0 |1321M| 975 | - |1923 | 34k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
956.93/956.95 c 939s| 1500k|856715 | 0 | 0.0 |1328M| 975 | - |1923 | 37k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
968.92/968.90 c 951s| 1510k|861180 | 0 | 0.0 |1331M| 975 | - |1923 | 31k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
974.72/974.70 c 957s| 1520k|868934 | 0 | 0.0 |1337M| 975 | - |1923 | 27k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
980.42/980.41 c 962s| 1530k|876328 | 0 | 0.0 |1343M| 975 | - |1923 | 27k| 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
986.42/986.46 c 968s| 1540k|883333 | 0 | 0.0 |1350M| 975 | - |1923 | 29k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
992.92/992.95 c 975s| 1550k|890098 | 0 | 0.0 |1358M| 975 | - |1923 | 30k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1000.22/1000.28 c 982s| 1560k|896325 | 0 | 0.0 |1365M| 975 | - |1923 | 32k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1008.92/1008.96 c 990s| 1570k|901677 | 0 | 0.0 |1372M| 975 | - |1923 | 34k| 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1019.52/1019.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.52/1019.51 c 1001s| 1580k|906013 | 0 | 0.0 |1380M| 975 | - |1923 | 37k| 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1035.22/1035.21 c 1016s| 1590k|907734 | 0 | 0.0 |1386M| 975 | - |1923 | 44k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1043.02/1043.01 c 1024s| 1600k|915192 | 0 | 0.0 |1388M| 975 | - |1923 | 30k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1049.02/1049.00 c 1030s| 1610k|922630 | 0 | 0.0 |1394M| 975 | - |1923 | 29k| 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1054.83/1054.89 c 1036s| 1620k|929850 | 0 | 0.0 |1401M| 975 | - |1923 | 30k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1061.62/1061.64 c 1042s| 1630k|936506 | 0 | 0.0 |1408M| 975 | - |1923 | 32k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1069.23/1069.26 c 1050s| 1640k|942672 | 0 | 0.0 |1416M| 975 | - |1923 | 34k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1078.03/1078.02 c 1059s| 1650k|948198 | 0 | 0.0 |1423M| 975 | - |1923 | 36k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1088.03/1088.04 c 1068s| 1660k|952815 | 0 | 0.0 |1430M| 975 | - |1923 | 39k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1102.02/1102.01 c 1082s| 1670k|955472 | 0 | 0.0 |1437M| 975 | - |1923 | 45k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1116.62/1116.68 c 1097s| 1680k|959398 | 0 | 0.0 |1440M| 975 | - |1923 | 40k| 0 | 0 | 0 |1616k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1128.63/1128.62 c 1109s| 1690k|964311 | 0 | 0.0 |1446M| 975 | - |1923 | 41k| 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1141.02/1141.07 c 1121s| 1700k|969121 | 0 | 0.0 |1453M| 975 | - |1923 | 42k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1154.02/1154.07 c 1134s| 1710k|973815 | 0 | 0.0 |1459M| 975 | - |1923 | 44k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1167.82/1167.87 c 1148s| 1720k|978267 | 0 | 0.0 |1466M| 975 | - |1923 | 45k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1181.63/1181.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.63/1181.61 c 1161s| 1730k|982713 | 0 | 0.0 |1472M| 975 | - |1923 | 47k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1196.12/1196.10 c 1176s| 1740k|987286 | 0 | 0.0 |1479M| 975 | - |1923 | 48k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1211.83/1211.87 c 1191s| 1750k|991239 | 0 | 0.0 |1485M| 975 | - |1923 | 50k| 0 | 0 | 0 |1704k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1228.82/1228.87 c 1208s| 1760k|995067 | 0 | 0.0 |1491M| 975 | - |1923 | 52k| 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1244.93/1244.90 c 1224s| 1770k|999301 | 0 | 0.0 |1497M| 975 | - |1923 | 52k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1262.43/1262.44 c 1241s| 1780k| 1002k| 0 | 0.0 |1503M| 975 | - |1923 | 54k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1279.53/1279.57 c 1258s| 1790k| 1006k| 0 | 0.0 |1509M| 975 | - |1923 | 54k| 0 | 0 | 0 |1758k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1299.04/1299.04 c 1278s| 1800k| 1010k| 0 | 0.0 |1515M| 975 | - |1923 | 56k| 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1317.63/1317.67 c 1296s| 1810k| 1013k| 0 | 0.0 |1521M| 975 | - |1923 | 57k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1339.74/1339.72 c 1318s| 1820k| 1016k| 0 | 0.0 |1527M| 975 | - |1923 | 59k| 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1359.04/1359.07 c 1338s| 1830k| 1020k| 0 | 0.0 |1533M| 975 | - |1923 | 59k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1382.83/1382.82 c 1361s| 1840k| 1022k| 0 | 0.0 |1538M| 975 | - |1923 | 61k| 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1405.43/1405.48 c 1384s| 1850k| 1025k| 0 | 0.0 |1544M| 975 | - |1923 | 61k| 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1428.23/1428.21 c 1406s| 1860k| 1028k| 0 | 0.0 |1550M| 975 | - |1923 | 62k| 0 | 0 | 0 |1865k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1454.74/1454.77 c 1433s| 1870k| 1030k| 0 | 0.0 |1555M| 975 | - |1923 | 64k| 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1478.54/1478.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.54/1478.59 c 1456s| 1880k| 1033k| 0 | 0.0 |1561M| 975 | - |1923 | 63k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1506.14/1506.12 c 1484s| 1890k| 1034k| 0 | 0.0 |1566M| 975 | - |1923 | 66k| 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1532.03/1532.03 c 1509s| 1900k| 1037k| 0 | 0.0 |1571M| 975 | - |1923 | 65k| 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1555.84/1555.83 c 1533s| 1910k| 1040k| 0 | 0.0 |1576M| 975 | - |1923 | 64k| 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1585.94/1585.93 c 1563s| 1920k| 1040k| 0 | 0.0 |1581M| 975 | - |1923 | 67k| 0 | 0 | 0 |1970k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1611.34/1611.38 c 1588s| 1930k| 1043k| 0 | 0.0 |1586M| 975 | - |1923 | 66k| 0 | 0 | 0 |1987k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1639.64/1639.68 c 1617s| 1940k| 1044k| 0 | 0.0 |1590M| 975 | - |1923 | 68k| 0 | 0 | 0 |2005k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1668.75/1668.77 c 1646s| 1950k| 1046k| 0 | 0.0 |1596M| 975 | - |1923 | 70k| 0 | 0 | 0 |2025k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1694.94/1694.98 c 1672s| 1960k| 1048k| 0 | 0.0 |1601M| 975 | - |1923 | 68k| 0 | 0 | 0 |2041k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1727.84/1727.84 c 1704s| 1970k| 1049k| 0 | 0.0 |1604M| 975 | - |1923 | 72k| 0 | 0 | 0 |2062k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1756.65/1756.64 c 1733s| 1980k| 1051k| 0 | 0.0 |1609M| 975 | - |1923 | 71k| 0 | 0 | 0 |2080k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1787.15/1787.10 c 1763s| 1990k| 1052k| 0 | 0.0 |1613M| 975 | - |1923 | 71k| 0 | 0 | 0 |2099k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time (sec) : 1776.21
1800.05/1800.01 c Solving Nodes : 1993200
1800.05/1800.01 c Primal Bound : +2.00000000000000e+00 (22 solutions)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.02 s SATISFIABLE
1800.05/1800.02 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.05/1800.02 v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.02 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.02 v -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.02 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1800.05/1800.02 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.02 v -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.02 v -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54
1800.05/1800.02 v -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.05/1800.02 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.05/1800.02 v -x1
1800.05/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.02 c Solving Time : 1776.21
1800.05/1800.02 c Original Problem :
1800.05/1800.02 c Problem name : HOME/instance-2694063-1277903459.wbo
1800.05/1800.02 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.05/1800.02 c Constraints : 3619 initial, 3619 maximal
1800.05/1800.02 c Presolved Problem :
1800.05/1800.02 c Problem name : t_HOME/instance-2694063-1277903459.wbo
1800.05/1800.02 c Variables : 1923 (1077 binary, 0 integer, 0 implicit integer, 846 continuous)
1800.05/1800.02 c Constraints : 3355 initial, 73786 maximal
1800.05/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.02 c trivial : 0.00 65 0 0 0 0 0 0 0
1800.05/1800.02 c dualfix : 0.00 65 0 0 0 0 0 0 0
1800.05/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 0.00 0 0 0 0 0 65 0 0
1800.05/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c linear : 0.05 0 0 0 926 0 199 133 0
1800.05/1800.02 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c root node : - 342 - - 684 - - - -
1800.05/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 846 0 3547737 0 1053937 45 3950909 0 0 0
1800.05/1800.02 c setppc : 16 0 6140565 0 1653462 114147 4818960 0 0 0
1800.05/1800.02 c linear : 846 0 6029648 0 1655484 212215 22279252 0 0 0
1800.05/1800.02 c logicor : 1647+ 0 4464705 0 1655498 218822 11588248 0 0 0
1800.05/1800.02 c bounddisjunction : 0+ 0 114867 0 0 0 32 0 0 0
1800.05/1800.02 c countsols : 0 0 0 0 1655494 0 0 0 0 0
1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c indicator : 5.87 0.00 4.11 0.00 1.76
1800.05/1800.02 c setppc : 32.58 0.00 28.78 0.00 3.80
1800.05/1800.02 c linear : 132.15 0.00 130.37 0.00 1.78
1800.05/1800.02 c logicor : 729.85 0.00 660.60 0.00 69.25
1800.05/1800.02 c bounddisjunction : 0.14 0.00 0.14 0.00 0.00
1800.05/1800.02 c countsols : 0.38 0.00 0.00 0.00 0.38
1800.05/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.02 c vbounds : 1.40 2 0 0
1800.05/1800.02 c rootredcost : 1.63 0 0 0
1800.05/1800.02 c pseudoobj : 123.68 6144164 458 3945423
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 31.92 545642 545274 3086059 25.4 179200 7.3 -
1800.05/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c pseudo solution : 0.00 17 17 43 22.1 10 7.3 -
1800.05/1800.02 c applied globally : - - - 2106950 21.5 - - -
1800.05/1800.02 c applied locally : - - - 0 0.0 - - -
1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.02 c redcost : 0.00 0 0 0 0 0
1800.05/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.02 c intobj : 0.00 0 0 0 0 0
1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.02 c gomory : 0.00 0 0 0 0 0
1800.05/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.02 c cmir : 0.00 0 0 0 0 0
1800.05/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.02 c clique : 0.00 0 0 0 0 0
1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.02 c mcf : 0.00 0 0 0 0 0
1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.02 c Pricers : Time Calls Vars
1800.05/1800.02 c problem variables: 0.00 0 0
1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c inference : 21.87 1655472 0 0 0 0 3310944
1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c random : 0.00 0 0 0 0 0 0
1800.05/1800.02 c Primal Heuristics : Time Calls Found
1800.05/1800.02 c LP solutions : 0.00 - 0
1800.05/1800.02 c pseudo solutions : 0.03 - 22
1800.05/1800.02 c oneopt : 0.73 0 0
1800.05/1800.02 c trivial : 0.00 2 0
1800.05/1800.02 c simplerounding : 0.00 0 0
1800.05/1800.02 c zirounding : 0.00 0 0
1800.05/1800.02 c rounding : 0.00 0 0
1800.05/1800.02 c shifting : 0.00 0 0
1800.05/1800.02 c intshifting : 0.00 0 0
1800.05/1800.02 c twoopt : 0.00 0 0
1800.05/1800.02 c fixandinfer : 0.00 0 0
1800.05/1800.02 c feaspump : 0.00 0 0
1800.05/1800.02 c coefdiving : 0.00 0 0
1800.05/1800.02 c pscostdiving : 0.00 0 0
1800.05/1800.02 c fracdiving : 0.00 0 0
1800.05/1800.02 c veclendiving : 0.00 0 0
1800.05/1800.02 c intdiving : 0.00 0 0
1800.05/1800.02 c actconsdiving : 0.00 0 0
1800.05/1800.02 c objpscostdiving : 0.00 0 0
1800.05/1800.02 c rootsoldiving : 0.00 0 0
1800.05/1800.02 c linesearchdiving : 0.00 0 0
1800.05/1800.02 c guideddiving : 0.00 0 0
1800.05/1800.02 c octane : 0.00 0 0
1800.05/1800.02 c rens : 0.00 0 0
1800.05/1800.02 c rins : 0.00 0 0
1800.05/1800.02 c localbranching : 0.00 0 0
1800.05/1800.02 c mutation : 0.00 0 0
1800.05/1800.02 c crossover : 0.00 0 0
1800.05/1800.02 c dins : 0.00 0 0
1800.05/1800.02 c undercover : 0.00 0 0
1800.05/1800.02 c nlp : 0.43 0 0
1800.05/1800.02 c trysol : 0.38 1 0
1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.02 c (at root node) : - 0 0 0.00 -
1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.02 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 1993200
1800.05/1800.02 c nodes (total) : 1993200
1800.05/1800.02 c nodes left : 1052134
1800.05/1800.02 c max depth : 975
1800.05/1800.02 c max depth (total): 975
1800.05/1800.02 c backtracks : 314093 (15.8%)
1800.05/1800.02 c delayed cutoffs : 245551
1800.05/1800.02 c repropagations : 1064549 (12438240 domain reductions, 207998 cutoffs)
1800.05/1800.02 c avg switch length: 18.43
1800.05/1800.02 c switching time : 522.38
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 22 (22 improvements)
1800.05/1800.02 c First Solution : +3.95000000000000e+02 (in run 1, after 3710 nodes, 0.87 seconds, depth 621, found by <relaxation>)
1800.05/1800.02 c Primal Bound : +2.00000000000000e+00 (in run 1, after 678546 nodes, 347.18 seconds, depth 50, found by <relaxation>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694063-1277903459/watcher-2694063-1277903459 -o /tmp/evaluation-result-2694063-1277903459/solver-2694063-1277903459 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694063-1277903459.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.01 2.33 2.34 4/178 9814 /proc/meminfo: memFree=31256820/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=8296 CPUtime=0 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 1553 0 0 0 0 0 0 0 25 0 1 0 131643452 8495104 1476 4089446400 4194304 7136930 140733260905088 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/9814/statm: 2074 1476 275 719 0 1353 0 [startup+0.0493759 s] /proc/loadavg: 2.01 2.33 2.34 4/178 9814 /proc/meminfo: memFree=31256820/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=21304 CPUtime=0.03 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 5495 0 0 0 3 0 0 0 25 0 1 0 131643452 21815296 4550 4089446400 4194304 7136930 140733260905088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 5326 4550 348 719 0 4605 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21304 [startup+0.100354 s] /proc/loadavg: 2.01 2.33 2.34 4/178 9814 /proc/meminfo: memFree=31256820/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=22188 CPUtime=0.09 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 6729 0 0 0 8 1 0 0 25 0 1 0 131643452 22720512 4756 4089446400 4194304 7136930 140733260905088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 5547 4756 359 719 0 4826 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22188 [startup+0.300315 s] /proc/loadavg: 2.01 2.33 2.34 4/178 9814 /proc/meminfo: memFree=31256820/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=24144 CPUtime=0.29 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 9067 0 0 0 28 1 0 0 25 0 1 0 131643452 24723456 5295 4089446400 4194304 7136930 140733260905088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 6036 5295 391 719 0 5315 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24144 [startup+0.700244 s] /proc/loadavg: 2.01 2.33 2.34 4/178 9814 /proc/meminfo: memFree=31256820/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=25972 CPUtime=0.69 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 9541 0 0 0 67 2 0 0 25 0 1 0 131643452 26595328 5769 4089446400 4194304 7136930 140733260905088 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 6493 5769 395 719 0 5772 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25972 [startup+1.5011 s] /proc/loadavg: 2.01 2.32 2.33 3/179 9815 /proc/meminfo: memFree=31232632/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=27308 CPUtime=1.49 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 9907 0 0 0 144 5 0 0 25 0 1 0 131643452 27963392 6135 4089446400 4194304 7136930 140733260905088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 6827 6135 395 719 0 6106 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27308 [startup+3.10082 s] /proc/loadavg: 2.01 2.32 2.33 3/179 9815 /proc/meminfo: memFree=31226432/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=33796 CPUtime=3.09 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 11523 0 0 0 298 11 0 0 25 0 1 0 131643452 34607104 7751 4089446400 4194304 7136930 140733260905088 18446744073709551615 5000058 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 8449 7751 395 719 0 7728 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33796 [startup+6.30023 s] /proc/loadavg: 2.01 2.32 2.33 3/179 9816 /proc/meminfo: memFree=31209872/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=47268 CPUtime=6.29 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 14812 0 0 0 610 19 0 0 25 0 1 0 131643452 48402432 11040 4089446400 4194304 7136930 140733260905088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 11817 11040 398 719 0 11096 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47268 [startup+12.7011 s] /proc/loadavg: 2.00 2.31 2.33 3/179 9816 /proc/meminfo: memFree=31172792/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=72960 CPUtime=12.69 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 20930 0 0 0 1230 39 0 0 25 0 1 0 131643452 74711040 17158 4089446400 4194304 7136930 140733260905088 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 18240 17158 398 719 0 17519 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 72960 [startup+25.5007 s] /proc/loadavg: 2.00 2.30 2.33 3/179 9816 /proc/meminfo: memFree=31106664/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=115384 CPUtime=25.49 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 31136 0 0 0 2472 77 0 0 25 0 1 0 131643452 118153216 27364 4089446400 4194304 7136930 140733260905088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 28846 27364 398 719 0 28125 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 115384 [startup+51.1011 s] /proc/loadavg: 2.00 2.27 2.32 3/179 9816 /proc/meminfo: memFree=31025944/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=159752 CPUtime=51.1 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 42203 0 0 0 4984 126 0 0 25 0 1 0 131643452 163586048 38403 4089446400 4194304 7136930 140733260905088 18446744073709551615 4982335 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 39938 38403 398 719 0 39217 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 159752 [startup+102.307 s] /proc/loadavg: 2.00 2.23 2.29 3/179 9818 /proc/meminfo: memFree=30837892/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=266776 CPUtime=102.3 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 68842 0 0 0 9951 279 0 0 25 0 1 0 131643452 273178624 65042 4089446400 4194304 7136930 140733260905088 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 66694 65042 398 719 0 65973 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 266776 [startup+162.301 s] /proc/loadavg: 2.00 2.18 2.27 3/179 9820 /proc/meminfo: memFree=30653820/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=378248 CPUtime=162.29 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 95963 0 0 0 15800 429 0 0 25 0 1 0 131643452 387325952 92163 4089446400 4194304 7136930 140733260905088 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 94562 92163 398 719 0 93841 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 378248 [startup+222.301 s] /proc/loadavg: 2.00 2.15 2.25 3/179 9821 /proc/meminfo: memFree=30537692/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=447972 CPUtime=222.29 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 113608 0 0 0 21689 540 0 0 25 0 1 0 131643452 458723328 109808 4089446400 4194304 7136930 140733260905088 18446744073709551615 4923491 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 111993 109808 398 719 0 111272 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 447972 [startup+282.301 s] /proc/loadavg: 2.00 2.12 2.24 3/179 9822 /proc/meminfo: memFree=30445008/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=484956 CPUtime=282.3 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 122878 0 0 0 27606 624 0 0 25 0 1 0 131643452 496594944 119078 4089446400 4194304 7136930 140733260905088 18446744073709551615 4210602 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 121239 119078 398 719 0 120518 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 484956 [startup+342.301 s] /proc/loadavg: 2.00 2.09 2.22 3/179 9824 /proc/meminfo: memFree=30372668/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=539728 CPUtime=342.3 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 134949 0 0 0 33526 704 0 0 25 0 1 0 131643452 552681472 131149 4089446400 4194304 7136930 140733260905088 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 134932 131149 398 719 0 134211 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 539728 [startup+402.301 s] /proc/loadavg: 2.00 2.07 2.20 5/179 9826 /proc/meminfo: memFree=30078492/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=794660 CPUtime=402.3 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 191675 0 0 0 39396 834 0 0 25 0 1 0 131643452 813731840 187875 4089446400 4194304 7136930 140733260905088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 198665 187875 398 719 0 197944 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 794660 [startup+462.3 s] /proc/loadavg: 2.00 2.06 2.18 3/179 9828 /proc/meminfo: memFree=29868008/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=912480 CPUtime=462.3 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 216436 0 0 0 45312 918 0 0 25 0 1 0 131643452 934379520 212636 4089446400 4194304 7136930 140733260905088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 228120 212636 398 719 0 227399 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 912480 [startup+522.3 s] /proc/loadavg: 2.00 2.05 2.17 3/179 9829 /proc/meminfo: memFree=29668552/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1061724 CPUtime=522.31 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 250935 0 0 0 51175 1056 0 0 25 0 1 0 131643452 1087205376 247135 4089446400 4194304 7136930 140733260905088 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 265431 247135 398 719 0 264710 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1061724 [startup+582.3 s] /proc/loadavg: 2.04 2.05 2.16 3/179 9830 /proc/meminfo: memFree=29500356/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1129756 CPUtime=582.31 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 267604 0 0 0 57087 1144 0 0 25 0 1 0 131643452 1156870144 263804 4089446400 4194304 7136930 140733260905088 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 282439 263804 398 719 0 281718 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1129756 [startup+642.3 s] /proc/loadavg: 2.01 2.04 2.15 3/179 9832 /proc/meminfo: memFree=29331280/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1214492 CPUtime=642.31 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 288901 0 0 0 62969 1262 0 0 25 0 1 0 131643452 1243639808 285101 4089446400 4194304 7136930 140733260905088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 303623 285101 398 719 0 302902 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1214492 [startup+702.3 s] ################ # More data... # ################ /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 372365 0 0 0 98392 1840 0 0 25 0 1 0 131643452 1582415872 368565 4089446400 4194304 7136930 140733260905088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 386332 368565 398 719 0 385611 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1545328 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 9844 /proc/meminfo: memFree=28406936/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1588264 CPUtime=1062.33 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 383350 0 0 0 104313 1920 0 0 25 0 1 0 131643452 1626382336 379550 4089446400 4194304 7136930 140733260905088 18446744073709551615 4660974 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 397066 379550 398 719 0 396345 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1588264 [startup+1122.3 s] /proc/loadavg: 2.05 2.01 2.08 3/179 9845 /proc/meminfo: memFree=28301348/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1627584 CPUtime=1122.33 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 393041 0 0 0 110245 1988 0 0 25 0 1 0 131643452 1666646016 389241 4089446400 4194304 7136930 140733260905088 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 406896 389241 398 719 0 406175 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1627584 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.07 3/179 9846 /proc/meminfo: memFree=28211904/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1653456 CPUtime=1182.32 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 399487 0 0 0 116192 2040 0 0 25 0 1 0 131643452 1693138944 395687 4089446400 4194304 7136930 140733260905088 18446744073709551615 4661018 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 413364 395687 398 719 0 412643 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1653456 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 9851 /proc/meminfo: memFree=28132840/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1692496 CPUtime=1242.32 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 405132 0 0 0 122149 2083 0 0 25 0 1 0 131643452 1733115904 401332 4089446400 4194304 7136930 140733260905088 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 423124 401332 398 719 0 422403 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1692496 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 9853 /proc/meminfo: memFree=28048068/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1715640 CPUtime=1302.33 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 410927 0 0 0 128111 2122 0 0 25 0 1 0 131643452 1756815360 407127 4089446400 4194304 7136930 140733260905088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 428910 407127 398 719 0 428189 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1715640 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 9855 /proc/meminfo: memFree=27982180/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1733568 CPUtime=1362.33 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 415416 0 0 0 134073 2160 0 0 25 0 1 0 131643452 1775173632 411616 4089446400 4194304 7136930 140733260905088 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 433392 411616 398 719 0 432671 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1733568 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.05 3/179 9856 /proc/meminfo: memFree=27914564/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1756176 CPUtime=1422.34 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 421102 0 0 0 140038 2196 0 0 25 0 1 0 131643452 1798324224 417302 4089446400 4194304 7136930 140733260905088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 439044 417302 398 719 0 438323 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1756176 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 9857 /proc/meminfo: memFree=27838504/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1767424 CPUtime=1482.34 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 423935 0 0 0 146004 2230 0 0 25 0 1 0 131643452 1809842176 420135 4089446400 4194304 7136930 140733260905088 18446744073709551615 4624874 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 441856 420135 398 719 0 441135 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1767424 [startup+1542.3 s] /proc/loadavg: 2.06 2.02 2.04 3/179 9887 /proc/meminfo: memFree=30106768/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1780880 CPUtime=1542.34 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 427169 0 0 0 151972 2262 0 0 25 0 1 0 131643452 1823621120 423369 4089446400 4194304 7136930 140733260905088 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 445220 423369 398 719 0 444499 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1780880 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.04 3/179 9889 /proc/meminfo: memFree=30050720/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1787872 CPUtime=1602.34 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 428976 0 0 0 157943 2291 0 0 25 0 1 0 131643452 1830780928 425176 4089446400 4194304 7136930 140733260905088 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 446968 425176 398 719 0 446247 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1787872 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.03 3/179 9891 /proc/meminfo: memFree=30026996/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1799656 CPUtime=1662.34 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 431733 0 0 0 163917 2317 0 0 25 0 1 0 131643452 1842847744 427933 4089446400 4194304 7136930 140733260905088 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 449914 427933 398 719 0 449193 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1799656 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 9892 /proc/meminfo: memFree=30009736/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1807044 CPUtime=1722.34 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 433668 0 0 0 169888 2346 0 0 25 0 1 0 131643452 1850413056 429868 4089446400 4194304 7136930 140733260905088 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 451761 429868 398 719 0 451040 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1807044 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 9893 /proc/meminfo: memFree=29991052/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1820236 CPUtime=1782.35 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 437021 0 0 0 175860 2375 0 0 25 0 1 0 131643452 1863921664 433221 4089446400 4194304 7136930 140733260905088 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 455059 433221 398 719 0 454338 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1820236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.02 3/179 9894 /proc/meminfo: memFree=29984472/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1824124 CPUtime=1800.05 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 437978 0 0 0 177623 2382 0 0 25 0 1 0 131643452 1867902976 434178 4089446400 4194304 7136930 140733260905088 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/9814/statm: 456031 434178 398 719 0 455310 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1824124 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -9814 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.02 3/180 9895 /proc/meminfo: memFree=29983720/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1824636 CPUtime=1801.45 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 438162 0 0 0 177762 2383 0 0 25 0 1 0 131643452 1868427264 434297 4089446400 4194304 7136930 140733260905088 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/9814/statm: 456159 434297 403 719 0 455438 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 1824636 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.02 3/180 9895 /proc/meminfo: memFree=29985084/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1820772 CPUtime=1801.86 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 438162 0 0 0 177803 2383 0 0 25 0 1 0 131643452 1864470528 433331 4089446400 4194304 7136930 140733260905088 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/9814/statm: 455193 433331 403 719 0 454472 0 Current children cumulated CPU time (s) 1801.86 Current children cumulated vsize (KiB) 1820772 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.02 3/180 9895 /proc/meminfo: memFree=29985084/32951124 swapFree=67111528/67111528 [pid=9814] ppid=9812 vsize=1812812 CPUtime=1802.05 /proc/9814/stat : 9814 (pbscip.linux.x8) R 9812 9814 9397 0 -1 4202496 438162 0 0 0 177822 2383 0 0 25 0 1 0 131643452 1856319488 431341 4089446400 4194304 7136930 140733260905088 18446744073709551615 6165663 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/9814/statm: 453203 431341 403 719 0 452482 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 1812812 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.12 CPU user time (s): 1778.23 CPU system time (s): 23.8864 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1824896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.23 system time used= 23.8864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 438162 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= 3086 runsolver used 2.37364 second user time and 5.85011 second system time The end
Begin job on node104 at 2010-06-30 15:10:59 IDJOB=2694063 IDBENCH=78910 IDSOLVER=1206 FILE ID=node104/2694063-1277903459 PBS_JOBID= 11197227 Free space on /tmp= 74208 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.1900576927--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-2694063-1277903459/watcher-2694063-1277903459 -o /tmp/evaluation-result-2694063-1277903459/solver-2694063-1277903459 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694063-1277903459.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fe999950861349ecbc6e2ee50c3d0e04 RANDOM SEED=267711370 node104.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 : 5226.12 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.84 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.75 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31257348 kB Buffers: 181672 kB Cached: 698160 kB SwapCached: 0 kB Active: 1021112 kB Inactive: 532752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31257348 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3132 kB Writeback: 0 kB AnonPages: 673796 kB Mapped: 16092 kB Slab: 76440 kB PageTables: 5616 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 826268 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= 74200 MiB End job on node104 at 2010-06-30 15:41:01