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.08 | 1802.07 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo |
| MD5SUM | c6df963ff1848506ee15e7c5bdbc3c3f |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 61.5106 |
| 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 | 2707 |
| 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 | 136180 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136179 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 779 |
| 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-2693579-1277925017.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.12 o 136179
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.361790e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.19 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.19 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.361790e+05 | Inf
2.39/2.48 o 436
2.39/2.48 c * 2.4s| 7617 | 7237 | 0 | 0.0 | 23M|2816 | - |5645 |6634 | 0 | 0 | 0 |1220 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
3.29/3.34 c 3.2s| 10000 | 9620 | 0 | 0.0 | 24M|2816 | - |5645 |6634 | 0 | 0 | 0 |1220 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
6.89/6.92 c 6.8s| 20000 | 17975 | 0 | 0.0 | 35M|2816 | - |5645 |7915 | 0 | 0 | 0 |7380 | 0 | 0.000000e+00 | 4.360000e+02 | Inf
12.29/12.33 c 12.1s| 30000 | 24028 | 0 | 0.0 | 47M|2816 | - |5645 |9240 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.360000e+02 | Inf
16.40/16.48 c 16.2s| 40000 | 34017 | 0 | 0.0 | 51M|2816 | - |5645 |8241 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.360000e+02 | Inf
18.49/18.58 o 419
18.49/18.58 c *18.2s| 45239 | 39236 | 0 | 0.0 | 53M|2816 | - |5645 |8106 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.190000e+02 | Inf
18.49/18.59 o 387
18.49/18.59 c *18.2s| 45240 | 38514 | 0 | 0.0 | 53M|2816 | - |5645 |8106 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.870000e+02 | Inf
18.59/18.65 o 386
18.59/18.65 c *18.3s| 45325 | 38541 | 0 | 0.0 | 53M|2816 | - |5645 |8090 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.860000e+02 | Inf
18.69/18.70 o 377
18.69/18.70 c *18.4s| 45418 | 38291 | 0 | 0.0 | 53M|2816 | - |5645 |8079 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.770000e+02 | Inf
18.99/19.02 o 356
18.99/19.02 c *18.7s| 45964 | 37956 | 0 | 0.0 | 54M|2816 | - |5645 |8171 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.560000e+02 | Inf
19.09/19.14 o 336
19.09/19.14 c *18.8s| 46317 | 37011 | 0 | 0.0 | 54M|2816 | - |5645 |8182 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.360000e+02 | Inf
19.20/19.22 o 332
19.20/19.22 c *18.9s| 46438 | 36884 | 0 | 0.0 | 54M|2816 | - |5645 |8190 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
19.29/19.32 o 325
19.29/19.32 c *19.0s| 46575 | 36616 | 0 | 0.0 | 54M|2816 | - |5645 |8212 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.250000e+02 | Inf
19.29/19.38 o 309
19.29/19.38 c *19.0s| 46657 | 35670 | 0 | 0.0 | 54M|2816 | - |5645 |8231 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.090000e+02 | Inf
19.29/19.39 o 301
19.29/19.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.29/19.39 c *19.0s| 46658 | 35055 | 0 | 0.0 | 53M|2816 | - |5645 |8231 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.010000e+02 | Inf
19.49/19.50 o 295
19.49/19.50 c *19.1s| 46809 | 34960 | 0 | 0.0 | 53M|2816 | - |5645 |8266 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.950000e+02 | Inf
19.59/19.70 o 264
19.59/19.70 c *19.3s| 47057 | 33980 | 0 | 0.0 | 53M|2816 | - |5645 |8396 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
19.79/19.82 o 231
19.79/19.82 c *19.5s| 47223 | 32701 | 0 | 0.0 | 52M|2816 | - |5645 |8494 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.310000e+02 | Inf
19.79/19.88 o 222
19.79/19.88 c *19.5s| 47295 | 32430 | 0 | 0.0 | 52M|2816 | - |5645 |8520 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.220000e+02 | Inf
19.89/19.90 o 210
19.89/19.90 c *19.5s| 47303 | 31915 | 0 | 0.0 | 52M|2816 | - |5645 |8517 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.100000e+02 | Inf
19.89/19.98 o 203
19.89/19.98 c *19.6s| 47396 | 31696 | 0 | 0.0 | 53M|2816 | - |5645 |8581 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.030000e+02 | Inf
20.69/20.75 o 172
20.69/20.75 c *20.4s| 48700 | 30201 | 0 | 0.0 | 53M|2816 | - |5645 |8308 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.720000e+02 | Inf
21.49/21.59 c 21.2s| 50000 | 31407 | 0 | 0.0 | 54M|2816 | - |5645 |8131 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.720000e+02 | Inf
21.79/21.87 o 149
21.79/21.87 c *21.5s| 50387 | 29633 | 0 | 0.0 | 54M|2816 | - |5645 |8172 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
22.69/22.71 o 141
22.69/22.71 c *22.3s| 51636 | 30025 | 0 | 0.0 | 55M|2816 | - |5645 |7897 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
23.29/23.35 o 140
23.29/23.35 c *22.9s| 52530 | 30731 | 0 | 0.0 | 57M|2816 | - |5645 |7935 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
24.69/24.71 o 134
24.69/24.71 c *24.3s| 54511 | 31960 | 0 | 0.0 | 60M|2816 | - |5645 |7903 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
24.69/24.71 o 130
24.69/24.71 c *24.3s| 54512 | 31644 | 0 | 0.0 | 60M|2816 | - |5645 |7903 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
24.99/25.01 o 128
24.99/25.01 c *24.6s| 54899 | 31806 | 0 | 0.0 | 60M|2816 | - |5645 |7959 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
25.09/25.11 o 119
25.09/25.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.09/25.11 c *24.7s| 55043 | 31151 | 0 | 0.0 | 59M|2816 | - |5645 |7963 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
26.78/26.89 o 118
26.78/26.89 c *26.4s| 57813 | 33548 | 0 | 0.0 | 64M|2816 | - |5645 |7903 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
26.88/26.90 o 114
26.88/26.90 c *26.5s| 57816 | 33182 | 0 | 0.0 | 63M|2816 | - |5645 |7903 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
28.19/28.28 c 27.8s| 60000 | 35097 | 0 | 0.0 | 67M|2816 | - |5645 |8250 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
32.39/32.47 o 90
32.39/32.47 c *31.9s| 67479 | 39501 | 0 | 0.0 | 74M|2816 | - |5645 |8673 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
34.29/34.30 c 33.8s| 70000 | 41566 | 0 | 0.0 | 84M|2816 | - |5645 |9700 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
34.29/34.38 o 86
34.29/34.38 c *33.8s| 70161 | 41131 | 0 | 0.0 | 83M|2816 | - |5645 |9646 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
35.10/35.14 o 71
35.10/35.14 c *34.6s| 71178 | 40282 | 0 | 0.0 | 74M|2816 | - |5645 |9676 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
40.48/40.52 c 39.9s| 80000 | 47823 | 0 | 0.0 | 85M|2816 | - |5645 |9233 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
42.79/42.82 o 65
42.79/42.82 c *42.1s| 83772 | 50390 | 0 | 0.0 | 88M|2816 | - |5645 |9687 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
45.89/45.96 c 45.2s| 90000 | 55675 | 0 | 0.0 | 94M|2816 | - |5645 |7648 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
51.39/51.41 c 50.5s|100000 | 62861 | 0 | 0.0 | 105M|2816 | - |5645 |8397 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
57.39/57.45 c 56.5s|110000 | 69503 | 0 | 0.0 | 117M|2816 | - |5645 |9202 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
64.59/64.68 c 63.6s|120000 | 75196 | 0 | 0.0 | 128M|2816 | - |5645 | 10k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
72.68/72.71 c 71.6s|130000 | 80315 | 0 | 0.0 | 140M|2816 | - |5645 | 11k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
81.48/81.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.48/81.52 c 80.3s|140000 | 84843 | 0 | 0.0 | 152M|2816 | - |5645 | 12k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
92.18/92.28 c 90.9s|150000 | 88046 | 0 | 0.0 | 164M|2816 | - |5645 | 13k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
105.59/105.63 c 104s|160000 | 89480 | 0 | 0.0 | 174M|2816 | - |5645 | 16k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
109.79/109.89 o 55
109.79/109.89 c * 108s|164319 | 91162 | 0 | 0.0 | 172M|2816 | - |5645 |8752 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
114.19/114.24 c 113s|170000 | 96174 | 0 | 0.0 | 178M|2816 | - |5645 |6289 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
117.89/117.93 o 51
117.89/117.93 c * 116s|174176 | 99321 | 0 | 0.0 | 182M|2816 | - |5645 |6241 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
123.69/123.75 c 122s|180000 |103885 | 0 | 0.0 | 196M|2816 | - |5645 |6554 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
124.09/124.14 o 48
124.09/124.14 c * 122s|180414 |103987 | 0 | 0.0 | 195M|2816 | - |5645 |6576 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
124.09/124.15 o 47
124.09/124.15 c * 122s|180415 |103888 | 0 | 0.0 | 195M|2816 | - |5645 |6576 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
127.59/127.65 o 24
127.59/127.65 c * 126s|183276 |103494 | 0 | 0.0 | 189M|2816 | - |5645 |7027 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
136.69/136.74 c 135s|190000 |106207 | 0 | 0.0 | 202M|2816 | - |5645 |7063 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
143.29/143.36 c 141s|200000 |113913 | 0 | 0.0 | 215M|2816 | - |5645 |8320 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
151.89/151.90 c 150s|210000 |119909 | 0 | 0.0 | 227M|2816 | - |5645 |7217 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
160.19/160.22 c 158s|220000 |126226 | 0 | 0.0 | 242M|2816 | - |5645 |9842 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
166.69/166.76 c 164s|230000 |133432 | 0 | 0.0 | 252M|2816 | - |5645 |8239 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
174.99/175.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.99/175.07 c 173s|240000 |139256 | 0 | 0.0 | 264M|2816 | - |5645 |7851 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
178.69/178.71 o 23
178.69/178.71 c * 176s|246195 |143995 | 0 | 0.0 | 270M|2816 | - |5645 |8898 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
181.89/181.90 c 179s|250000 |146558 | 0 | 0.0 | 275M|2816 | - |5645 | 10k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
189.09/189.13 c 186s|260000 |153081 | 0 | 0.0 | 286M|2816 | - |5645 |8938 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
196.69/196.73 c 194s|270000 |159815 | 0 | 0.0 | 299M|2816 | - |5645 | 11k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
202.99/203.05 c 200s|280000 |167236 | 0 | 0.0 | 309M|2816 | - |5645 |9663 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
209.09/209.17 c 206s|290000 |175270 | 0 | 0.0 | 319M|2816 | - |5645 | 10k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
217.29/217.31 c 214s|300000 |182216 | 0 | 0.0 | 331M|2816 | - |5645 | 11k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
218.99/219.07 o 21
218.99/219.07 c * 216s|301847 |182753 | 0 | 0.0 | 329M|2816 | - |5645 | 10k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
226.99/227.03 c 224s|310000 |187328 | 0 | 0.0 | 338M|2816 | - |5645 | 10k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
230.79/230.80 o 20
230.79/230.80 c * 228s|314632 |189711 | 0 | 0.0 | 341M|2816 | - |5645 |9141 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
234.79/234.83 c 232s|320000 |192595 | 0 | 0.0 | 346M|2816 | - |5645 |8285 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
239.99/240.00 c 237s|330000 |200536 | 0 | 0.0 | 356M|2816 | - |5645 |9294 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
240.29/240.36 o 14
240.29/240.36 c * 237s|330545 |198686 | 0 | 0.0 | 340M|2816 | - |5645 |9485 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
240.29/240.37 o 12
240.29/240.37 c * 237s|330546 |198249 | 0 | 0.0 | 337M|2816 | - |5645 |9485 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
246.69/246.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.69/246.73 c 243s|340000 |204426 | 0 | 0.0 | 347M|2816 | - |5645 |8881 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
253.39/253.45 c 250s|350000 |210803 | 0 | 0.0 | 357M|2816 | - |5645 |9963 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
258.59/258.64 c 255s|360000 |218604 | 0 | 0.0 | 367M|2816 | - |5645 | 10k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
265.09/265.15 c 261s|370000 |225215 | 0 | 0.0 | 377M|2816 | - |5645 |9706 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
272.09/272.13 c 268s|380000 |231475 | 0 | 0.0 | 387M|2816 | - |5645 |9789 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
278.89/278.98 c 275s|390000 |237702 | 0 | 0.0 | 398M|2816 | - |5645 | 12k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
284.19/284.25 c 280s|400000 |245557 | 0 | 0.0 | 408M|2816 | - |5645 | 11k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
290.79/290.84 c 287s|410000 |252048 | 0 | 0.0 | 418M|2816 | - |5645 | 10k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
297.80/297.86 c 294s|420000 |258363 | 0 | 0.0 | 428M|2816 | - |5645 | 10k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
304.60/304.69 c 300s|430000 |264857 | 0 | 0.0 | 439M|2816 | - |5645 | 11k| 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
311.60/311.64 c 307s|440000 |271498 | 0 | 0.0 | 450M|2816 | - |5645 | 11k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
318.59/318.61 c 314s|450000 |278130 | 0 | 0.0 | 461M|2816 | - |5645 | 11k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
324.79/324.87 c 320s|460000 |285332 | 0 | 0.0 | 472M|2816 | - |5645 | 11k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
332.10/332.18 c 327s|470000 |291797 | 0 | 0.0 | 479M|2816 | - |5645 |5547 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
336.69/336.78 c 332s|480000 |299771 | 0 | 0.0 | 490M|2816 | - |5645 |5126 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
340.90/340.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.90/340.95 c 336s|490000 |307948 | 0 | 0.0 | 500M|2816 | - |5645 |5337 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
347.80/347.80 c 343s|500000 |313730 | 0 | 0.0 | 511M|2816 | - |5645 |6946 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
357.29/357.39 c 352s|510000 |317405 | 0 | 0.0 | 521M|2816 | - |5645 |8038 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
366.90/366.93 c 362s|520000 |321115 | 0 | 0.0 | 532M|2816 | - |5645 |8608 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
376.60/376.67 c 371s|530000 |324668 | 0 | 0.0 | 541M|2816 | - |5645 |8682 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
387.20/387.25 c 382s|540000 |327463 | 0 | 0.0 | 551M|2816 | - |5645 |9284 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
398.30/398.34 c 393s|550000 |329898 | 0 | 0.0 | 560M|2816 | - |5645 |9817 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
409.59/409.64 c 404s|560000 |332208 | 0 | 0.0 | 568M|2816 | - |5645 | 10k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
420.69/420.77 c 415s|570000 |334755 | 0 | 0.0 | 577M|2816 | - |5645 | 10k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
431.80/431.83 c 426s|580000 |337323 | 0 | 0.0 | 585M|2816 | - |5645 | 10k| 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
443.80/443.87 c 438s|590000 |339201 | 0 | 0.0 | 593M|2816 | - |5645 | 11k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
456.50/456.55 c 450s|600000 |340787 | 0 | 0.0 | 600M|2816 | - |5645 | 12k| 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
470.19/470.26 c 464s|610000 |341741 | 0 | 0.0 | 608M|2816 | - |5645 | 12k| 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
485.70/485.75 c 479s|620000 |341616 | 0 | 0.0 | 613M|2816 | - |5645 | 13k| 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
496.50/496.51 c 490s|630000 |341035 | 0 | 0.0 | 604M|2816 | - |5645 |5999 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
501.40/501.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.40/501.48 c 495s|640000 |349021 | 0 | 0.0 | 614M|2816 | - |5645 |6002 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
506.50/506.53 c 500s|650000 |356857 | 0 | 0.0 | 624M|2816 | - |5645 |6512 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
512.40/512.47 c 506s|660000 |364060 | 0 | 0.0 | 634M|2816 | - |5645 |7505 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
519.40/519.41 c 512s|670000 |370681 | 0 | 0.0 | 646M|2816 | - |5645 |8528 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
527.80/527.85 c 521s|680000 |376422 | 0 | 0.0 | 658M|2816 | - |5645 |9261 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
528.30/528.36 o 11
528.30/528.36 c * 521s|680556 |376535 | 0 | 0.0 | 658M|2816 | - |5645 |9341 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
539.50/539.59 c 532s|690000 |380604 | 0 | 0.0 | 673M|2816 | - |5645 | 10k| 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
553.00/553.07 c 546s|700000 |383693 | 0 | 0.0 | 687M|2816 | - |5645 | 11k| 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
562.01/562.07 o 5
562.01/562.07 c * 554s|705636 |380965 | 0 | 0.0 | 676M|2816 | - |5645 | 12k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
572.90/572.92 c 565s|710000 |378858 | 0 | 0.0 | 686M|2816 | - |5645 | 14k| 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
583.60/583.67 c 576s|720000 |382268 | 0 | 0.0 | 687M|2816 | - |5645 |9096 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
590.30/590.38 c 582s|730000 |389400 | 0 | 0.0 | 698M|2816 | - |5645 | 10k| 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
599.20/599.23 c 591s|740000 |395206 | 0 | 0.0 | 709M|2816 | - |5645 | 12k| 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
610.90/610.94 c 603s|750000 |399482 | 0 | 0.0 | 721M|2816 | - |5645 | 13k| 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
625.00/625.08 c 617s|760000 |402446 | 0 | 0.0 | 732M|2816 | - |5645 | 16k| 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
646.30/646.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
646.30/646.33 c 638s|770000 |401724 | 0 | 0.0 | 740M|2816 | - |5645 | 17k| 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
653.41/653.41 c 645s|780000 |408777 | 0 | 0.0 | 747M|2816 | - |5645 | 11k| 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
660.60/660.60 c 652s|790000 |415391 | 0 | 0.0 | 758M|2816 | - |5645 | 12k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
669.20/669.26 c 660s|800000 |421091 | 0 | 0.0 | 769M|2816 | - |5645 | 13k| 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
680.90/680.96 c 672s|810000 |425100 | 0 | 0.0 | 780M|2816 | - |5645 | 15k| 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
696.00/696.02 c 687s|820000 |427400 | 0 | 0.0 | 791M|2816 | - |5645 | 18k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
712.90/712.95 c 704s|830000 |428774 | 0 | 0.0 | 795M|2816 | - |5645 | 12k| 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
720.10/720.12 c 711s|840000 |435624 | 0 | 0.0 | 805M|2816 | - |5645 | 13k| 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
728.50/728.58 c 719s|850000 |441651 | 0 | 0.0 | 816M|2816 | - |5645 | 14k| 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
737.61/737.64 c 728s|860000 |447178 | 0 | 0.0 | 826M|2816 | - |5645 | 15k| 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
748.50/748.55 c 739s|870000 |451781 | 0 | 0.0 | 836M|2816 | - |5645 | 16k| 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
761.21/761.27 c 751s|880000 |455366 | 0 | 0.0 | 846M|2816 | - |5645 | 17k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
779.81/779.86 c 770s|890000 |455631 | 0 | 0.0 | 853M|2816 | - |5645 | 20k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
787.91/787.94 c 778s|900000 |462330 | 0 | 0.0 | 861M|2816 | - |5645 | 14k| 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
795.81/795.85 c 786s|910000 |468956 | 0 | 0.0 | 873M|2816 | - |5645 | 15k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
805.01/805.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.01/805.02 c 795s|920000 |474819 | 0 | 0.0 | 884M|2816 | - |5645 | 16k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
815.30/815.36 c 805s|930000 |479983 | 0 | 0.0 | 896M|2816 | - |5645 | 18k| 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
827.01/827.07 c 817s|940000 |484306 | 0 | 0.0 | 907M|2816 | - |5645 | 19k| 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
841.60/841.61 c 831s|950000 |487240 | 0 | 0.0 | 917M|2816 | - |5645 | 21k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
860.50/860.59 c 850s|960000 |487164 | 0 | 0.0 | 920M|2816 | - |5645 | 14k| 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
866.71/866.78 c 856s|970000 |494678 | 0 | 0.0 | 929M|2816 | - |5645 | 12k| 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
873.31/873.40 c 862s|980000 |501693 | 0 | 0.0 | 939M|2816 | - |5645 | 13k| 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
880.70/880.79 c 870s|990000 |508144 | 0 | 0.0 | 949M|2816 | - |5645 | 14k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
888.81/888.88 c 878s| 1000k|514020 | 0 | 0.0 | 959M|2816 | - |5645 | 14k| 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
898.11/898.12 c 887s| 1010k|519094 | 0 | 0.0 | 969M|2816 | - |5645 | 15k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
908.71/908.74 c 897s| 1020k|523088 | 0 | 0.0 | 979M|2816 | - |5645 | 14k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
920.41/920.45 c 909s| 1030k|526156 | 0 | 0.0 | 988M|2816 | - |5645 | 16k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
937.31/937.32 c 925s| 1040k|525710 | 0 | 0.0 | 993M|2816 | - |5645 | 19k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
943.41/943.49 c 932s| 1050k|533331 | 0 | 0.0 |1001M|2816 | - |5645 | 12k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
949.91/949.91 c 938s| 1060k|540548 | 0 | 0.0 |1010M|2816 | - |5645 | 13k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
956.41/956.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.41/956.48 c 944s| 1070k|547602 | 0 | 0.0 |1020M|2816 | - |5645 | 13k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
963.41/963.42 c 951s| 1080k|554406 | 0 | 0.0 |1029M|2816 | - |5645 | 14k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
970.81/970.89 c 958s| 1090k|560875 | 0 | 0.0 |1039M|2816 | - |5645 | 14k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
978.62/978.69 c 966s| 1100k|567128 | 0 | 0.0 |1048M|2816 | - |5645 | 14k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
986.92/986.99 c 974s| 1110k|573045 | 0 | 0.0 |1058M|2816 | - |5645 | 15k| 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
995.91/995.90 c 983s| 1120k|578576 | 0 | 0.0 |1068M|2816 | - |5645 | 15k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1005.32/1005.32 c 992s| 1130k|583757 | 0 | 0.0 |1077M|2816 | - |5645 | 15k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1015.61/1015.61 c 1003s| 1140k|588317 | 0 | 0.0 |1087M|2816 | - |5645 | 16k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1026.62/1026.67 c 1014s| 1150k|592558 | 0 | 0.0 |1096M|2816 | - |5645 | 17k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1039.12/1039.17 c 1026s| 1160k|595822 | 0 | 0.0 |1105M|2816 | - |5645 | 17k| 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1052.81/1052.83 c 1039s| 1170k|598299 | 0 | 0.0 |1112M|2816 | - |5645 | 17k| 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1066.32/1066.32 c 1053s| 1180k|600789 | 0 | 0.0 |1119M|2816 | - |5645 | 16k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1076.92/1076.96 c 1063s| 1190k|604972 | 0 | 0.0 |1124M|2816 | - |5645 | 15k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1085.01/1085.03 c 1071s| 1200k|610822 | 0 | 0.0 |1131M|2816 | - |5645 | 14k| 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1093.52/1093.56 c 1080s| 1210k|616528 | 0 | 0.0 |1141M|2816 | - |5645 | 15k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1103.32/1103.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.32/1103.34 c 1089s| 1220k|621433 | 0 | 0.0 |1150M|2816 | - |5645 | 16k| 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1115.21/1115.26 c 1101s| 1230k|625047 | 0 | 0.0 |1161M|2816 | - |5645 | 17k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1130.41/1130.49 c 1116s| 1240k|626532 | 0 | 0.0 |1169M|2816 | - |5645 | 19k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1141.11/1141.15 c 1127s| 1250k|631197 | 0 | 0.0 |1174M|2816 | - |5645 | 13k| 0 | 0 | 0 |1213k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1147.91/1147.96 c 1134s| 1260k|638183 | 0 | 0.0 |1184M|2816 | - |5645 | 13k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1155.71/1155.71 c 1141s| 1270k|644558 | 0 | 0.0 |1194M|2816 | - |5645 | 14k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1164.41/1164.42 c 1150s| 1280k|650219 | 0 | 0.0 |1204M|2816 | - |5645 | 15k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1174.02/1174.07 c 1159s| 1290k|655285 | 0 | 0.0 |1215M|2816 | - |5645 | 15k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1184.63/1184.68 c 1170s| 1300k|659629 | 0 | 0.0 |1225M|2816 | - |5645 | 16k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1197.21/1197.28 c 1182s| 1310k|662542 | 0 | 0.0 |1235M|2816 | - |5645 | 17k| 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1212.11/1212.17 c 1197s| 1320k|663512 | 0 | 0.0 |1240M|2816 | - |5645 | 14k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1218.20/1218.26 c 1203s| 1330k|670914 | 0 | 0.0 |1250M|2816 | - |5645 | 13k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1224.59/1224.67 c 1209s| 1340k|677747 | 0 | 0.0 |1260M|2816 | - |5645 | 14k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1232.00/1232.01 c 1216s| 1350k|683861 | 0 | 0.0 |1270M|2816 | - |5645 | 15k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1240.09/1240.16 c 1224s| 1360k|689349 | 0 | 0.0 |1280M|2816 | - |5645 | 15k| 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1249.09/1249.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1249.09/1249.12 c 1233s| 1370k|694199 | 0 | 0.0 |1291M|2816 | - |5645 | 16k| 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1259.30/1259.39 c 1243s| 1380k|698127 | 0 | 0.0 |1300M|2816 | - |5645 | 17k| 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1272.39/1272.44 c 1256s| 1390k|700222 | 0 | 0.0 |1308M|2816 | - |5645 | 19k| 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1281.00/1281.06 c 1265s| 1400k|705767 | 0 | 0.0 |1315M|2816 | - |5645 | 13k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1287.00/1287.08 c 1271s| 1410k|712879 | 0 | 0.0 |1325M|2816 | - |5645 | 14k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1294.30/1294.38 c 1278s| 1420k|719338 | 0 | 0.0 |1335M|2816 | - |5645 | 15k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1303.29/1303.32 c 1287s| 1430k|724796 | 0 | 0.0 |1345M|2816 | - |5645 | 15k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1313.40/1313.48 c 1297s| 1440k|729449 | 0 | 0.0 |1356M|2816 | - |5645 | 16k| 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1324.70/1324.73 c 1308s| 1450k|733265 | 0 | 0.0 |1367M|2816 | - |5645 | 17k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1338.50/1338.53 c 1322s| 1460k|735200 | 0 | 0.0 |1376M|2816 | - |5645 | 18k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1347.20/1347.24 c 1330s| 1470k|740916 | 0 | 0.0 |1382M|2816 | - |5645 | 14k| 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1354.20/1354.21 c 1337s| 1480k|747660 | 0 | 0.0 |1392M|2816 | - |5645 | 14k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1361.90/1361.92 c 1345s| 1490k|753865 | 0 | 0.0 |1402M|2816 | - |5645 | 15k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1370.60/1370.62 c 1353s| 1500k|759388 | 0 | 0.0 |1412M|2816 | - |5645 | 15k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1380.70/1380.75 c 1363s| 1510k|763883 | 0 | 0.0 |1422M|2816 | - |5645 | 16k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1392.40/1392.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.40/1392.43 c 1375s| 1520k|767211 | 0 | 0.0 |1432M|2816 | - |5645 | 17k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1405.90/1405.90 c 1388s| 1530k|769647 | 0 | 0.0 |1437M|2816 | - |5645 | 14k| 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1412.40/1412.48 c 1395s| 1540k|776820 | 0 | 0.0 |1447M|2816 | - |5645 | 14k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1420.01/1420.05 c 1402s| 1550k|783229 | 0 | 0.0 |1457M|2816 | - |5645 | 15k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1428.70/1428.76 c 1411s| 1560k|788910 | 0 | 0.0 |1468M|2816 | - |5645 | 16k| 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1438.50/1438.51 c 1420s| 1570k|793846 | 0 | 0.0 |1478M|2816 | - |5645 | 17k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1449.70/1449.74 c 1431s| 1580k|797749 | 0 | 0.0 |1488M|2816 | - |5645 | 17k| 0 | 0 | 0 |1472k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1464.11/1464.15 c 1446s| 1590k|799565 | 0 | 0.0 |1493M|2816 | - |5645 | 16k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1470.80/1470.89 c 1452s| 1600k|806724 | 0 | 0.0 |1503M|2816 | - |5645 | 14k| 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1478.31/1478.31 c 1460s| 1610k|813234 | 0 | 0.0 |1514M|2816 | - |5645 | 15k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1486.80/1486.88 c 1468s| 1620k|818990 | 0 | 0.0 |1524M|2816 | - |5645 | 16k| 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1496.80/1496.81 c 1478s| 1630k|823804 | 0 | 0.0 |1535M|2816 | - |5645 | 16k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1508.01/1508.09 c 1489s| 1640k|827738 | 0 | 0.0 |1545M|2816 | - |5645 | 17k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1523.01/1523.04 c 1504s| 1650k|829123 | 0 | 0.0 |1553M|2816 | - |5645 | 19k| 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1530.11/1530.12 c 1511s| 1660k|836132 | 0 | 0.0 |1560M|2816 | - |5645 | 14k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1536.80/1536.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.80/1536.81 c 1517s| 1670k|843138 | 0 | 0.0 |1570M|2816 | - |5645 | 15k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1544.70/1544.72 c 1525s| 1680k|849311 | 0 | 0.0 |1580M|2816 | - |5645 | 16k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1554.60/1554.61 c 1535s| 1690k|854287 | 0 | 0.0 |1591M|2816 | - |5645 | 17k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1566.00/1566.02 c 1546s| 1700k|858157 | 0 | 0.0 |1601M|2816 | - |5645 | 17k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1580.71/1580.74 c 1561s| 1710k|859919 | 0 | 0.0 |1609M|2816 | - |5645 | 19k| 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1588.60/1588.66 c 1569s| 1720k|866350 | 0 | 0.0 |1616M|2816 | - |5645 | 15k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1595.50/1595.55 c 1576s| 1730k|873264 | 0 | 0.0 |1626M|2816 | - |5645 | 15k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1604.10/1604.16 c 1584s| 1740k|879068 | 0 | 0.0 |1636M|2816 | - |5645 | 16k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1614.90/1614.91 c 1595s| 1750k|883483 | 0 | 0.0 |1647M|2816 | - |5645 | 17k| 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1627.80/1627.89 c 1607s| 1760k|886424 | 0 | 0.0 |1657M|2816 | - |5645 | 19k| 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1640.30/1640.36 c 1620s| 1770k|890049 | 0 | 0.0 |1663M|2816 | - |5645 | 15k| 0 | 0 | 0 |1627k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1647.30/1647.34 c 1627s| 1780k|897081 | 0 | 0.0 |1673M|2816 | - |5645 | 15k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1654.80/1654.85 c 1634s| 1790k|903739 | 0 | 0.0 |1682M|2816 | - |5645 | 16k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1665.60/1665.66 c 1645s| 1800k|908282 | 0 | 0.0 |1693M|2816 | - |5645 | 18k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1677.90/1677.96 c 1657s| 1810k|912071 | 0 | 0.0 |1702M|2816 | - |5645 | 17k| 0 | 0 | 0 |1655k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1686.80/1686.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1686.80/1686.83 c 1666s| 1820k|917915 | 0 | 0.0 |1711M|2816 | - |5645 | 16k| 0 | 0 | 0 |1662k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1696.50/1696.56 c 1675s| 1830k|923054 | 0 | 0.0 |1722M|2816 | - |5645 | 18k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1709.41/1709.45 c 1688s| 1840k|926293 | 0 | 0.0 |1733M|2816 | - |5645 | 21k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1718.40/1718.45 c 1697s| 1850k|932287 | 0 | 0.0 |1740M|2816 | - |5645 | 16k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1725.80/1725.81 c 1704s| 1860k|939014 | 0 | 0.0 |1749M|2816 | - |5645 | 17k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1736.00/1736.01 c 1714s| 1870k|944032 | 0 | 0.0 |1760M|2816 | - |5645 | 19k| 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1749.80/1749.87 c 1728s| 1880k|946704 | 0 | 0.0 |1769M|2816 | - |5645 | 23k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1756.61/1756.64 c 1735s| 1890k|954211 | 0 | 0.0 |1776M|2816 | - |5645 | 16k| 0 | 0 | 0 |1716k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1763.10/1763.20 c 1741s| 1900k|961459 | 0 | 0.0 |1786M|2816 | - |5645 | 16k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1770.01/1770.03 c 1748s| 1910k|968492 | 0 | 0.0 |1796M|2816 | - |5645 | 16k| 0 | 0 | 0 |1725k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1777.40/1777.40 c 1755s| 1920k|975145 | 0 | 0.0 |1806M|2816 | - |5645 | 17k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1786.20/1786.23 c 1764s| 1930k|980887 | 0 | 0.0 |1816M|2816 | - |5645 | 18k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1798.90/1798.93 c 1777s| 1940k|984744 | 0 | 0.0 |1826M|2816 | - |5645 | 20k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time (sec) : 1777.61
1800.01/1800.00 c Solving Nodes : 1940894
1800.01/1800.00 c Primal Bound : +5.00000000000000e+00 (46 solutions)
1800.01/1800.00 c Dual Bound : +0.00000000000000e+00
1800.01/1800.00 c Gap : infinite
1800.01/1800.09 s SATISFIABLE
1800.01/1800.09 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.01/1800.09 v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189
1800.01/1800.09 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.01/1800.09 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.01/1800.09 v x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.01/1800.09 v x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105
1800.01/1800.09 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.01/1800.09 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
1800.01/1800.09 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29
1800.01/1800.09 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.01/1800.09 v -x1
1800.01/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.09 c Solving Time : 1777.61
1800.01/1800.09 c Original Problem :
1800.01/1800.09 c Problem name : HOME/instance-2693579-1277925017.wbo
1800.01/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.01/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.01/1800.09 c Presolved Problem :
1800.01/1800.09 c Problem name : t_HOME/instance-2693579-1277925017.wbo
1800.01/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.01/1800.09 c Constraints : 5414 initial, 24010 maximal
1800.01/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.09 c probing : 0.04 0 0 0 0 0 0 0 0
1800.01/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.09 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.01/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.09 c root node : - 2596 - - 5192 - - - -
1800.01/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.09 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.09 c indicator : 2707 0 5357971 0 1406839 437 3003632 0 0 0
1800.01/1800.09 c linear : 2707 0 6414525 0 1606864 475779 41316377 0 0 0
1800.01/1800.09 c logicor : 0+ 0 2887046 0 0 62132 1862564 0 0 0
1800.01/1800.09 c countsols : 0 0 0 0 1606895 0 0 0 0 0
1800.01/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.09 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.09 c indicator : 36.08 0.00 15.62 0.00 20.46
1800.01/1800.09 c linear : 443.76 0.00 441.83 0.00 1.93
1800.01/1800.09 c logicor : 281.83 0.00 281.83 0.00 0.00
1800.01/1800.09 c countsols : 0.38 0.00 0.00 0.00 0.38
1800.01/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.09 c vbounds : 1.63 2 0 0
1800.01/1800.09 c rootredcost : 1.22 0 0 0
1800.01/1800.09 c pseudoobj : 357.86 6421274 6079 2935880
1800.01/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.09 c propagation : 34.58 543990 543989 2316626 20.2 214497 10.3 -
1800.01/1800.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.09 c pseudo solution : 0.12 282 282 1012 20.1 768 9.4 -
1800.01/1800.09 c applied globally : - - - 1747757 17.7 - - -
1800.01/1800.09 c applied locally : - - - 2 364.0 - - -
1800.01/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.09 c redcost : 0.00 0 0 0 0 0
1800.01/1800.09 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.09 c intobj : 0.00 0 0 0 0 0
1800.01/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.09 c gomory : 0.00 0 0 0 0 0
1800.01/1800.09 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.09 c cmir : 0.00 0 0 0 0 0
1800.01/1800.09 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.09 c clique : 0.00 0 0 0 0 0
1800.01/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.09 c mcf : 0.00 0 0 0 0 0
1800.01/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.09 c Pricers : Time Calls Vars
1800.01/1800.09 c problem variables: 0.00 0 0
1800.01/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.09 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.09 c inference : 49.19 1606852 0 0 0 0 3213704
1800.01/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.09 c random : 0.00 0 0 0 0 0 0
1800.01/1800.09 c Primal Heuristics : Time Calls Found
1800.01/1800.09 c LP solutions : 0.00 - 0
1800.01/1800.09 c pseudo solutions : 0.12 - 43
1800.01/1800.09 c oneopt : 0.78 0 0
1800.01/1800.09 c trivial : 0.07 2 2
1800.01/1800.09 c simplerounding : 0.00 0 0
1800.01/1800.09 c zirounding : 0.00 0 0
1800.01/1800.09 c rounding : 0.00 0 0
1800.01/1800.09 c shifting : 0.00 0 0
1800.01/1800.09 c intshifting : 0.00 0 0
1800.01/1800.09 c twoopt : 0.00 0 0
1800.01/1800.09 c fixandinfer : 0.00 0 0
1800.01/1800.09 c feaspump : 0.00 0 0
1800.01/1800.09 c coefdiving : 0.00 0 0
1800.01/1800.09 c pscostdiving : 0.00 0 0
1800.01/1800.09 c fracdiving : 0.00 0 0
1800.01/1800.09 c veclendiving : 0.00 0 0
1800.01/1800.09 c intdiving : 0.00 0 0
1800.01/1800.09 c actconsdiving : 0.00 0 0
1800.01/1800.09 c objpscostdiving : 0.00 0 0
1800.01/1800.09 c rootsoldiving : 0.00 0 0
1800.01/1800.09 c linesearchdiving : 0.00 0 0
1800.01/1800.09 c guideddiving : 0.00 0 0
1800.01/1800.09 c octane : 0.00 0 0
1800.01/1800.09 c rens : 0.00 0 0
1800.01/1800.09 c rins : 0.00 0 0
1800.01/1800.09 c localbranching : 0.00 0 0
1800.01/1800.09 c mutation : 0.00 0 0
1800.01/1800.09 c crossover : 0.00 0 0
1800.01/1800.09 c dins : 0.00 0 0
1800.01/1800.09 c undercover : 0.00 0 0
1800.01/1800.09 c nlp : 0.57 0 0
1800.01/1800.09 c trysol : 0.50 1 1
1800.01/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.09 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.09 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.09 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.09 c (at root node) : - 0 0 0.00 -
1800.01/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.09 c B&B Tree :
1800.01/1800.09 c number of runs : 1
1800.01/1800.09 c nodes : 1940894
1800.01/1800.09 c nodes (total) : 1940894
1800.01/1800.09 c nodes left : 985095
1800.01/1800.09 c max depth : 2816
1800.01/1800.09 c max depth (total): 2816
1800.01/1800.09 c backtracks : 298483 (15.4%)
1800.01/1800.09 c delayed cutoffs : 253226
1800.01/1800.09 c repropagations : 1258994 (15590829 domain reductions, 210710 cutoffs)
1800.01/1800.09 c avg switch length: 49.53
1800.01/1800.09 c switching time : 485.79
1800.01/1800.09 c Solution :
1800.01/1800.09 c Solutions found : 46 (44 improvements)
1800.01/1800.09 c First Solution : +1.36179000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.01/1800.09 c Primal Bound : +5.00000000000000e+00 (in run 1, after 705636 nodes, 554.45 seconds, depth 134, found by <relaxation>)
1800.01/1800.09 c Dual Bound : +0.00000000000000e+00
1800.01/1800.09 c Gap : infinite
1800.01/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.09 c Root Iterations : 0
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693579-1277925017/watcher-2693579-1277925017 -o /tmp/evaluation-result-2693579-1277925017/solver-2693579-1277925017 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693579-1277925017.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.07 2.02 2.00 4/196 20349 /proc/meminfo: memFree=30854444/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=8600 CPUtime=0 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 1630 0 0 0 0 0 0 0 25 0 1 0 133796408 8806400 1552 4089446400 4194304 7136930 140735297568016 18446744073709551615 6164590 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/20349/statm: 2150 1552 275 719 0 1429 0 [startup+0.0434349 s] /proc/loadavg: 2.07 2.02 2.00 4/196 20349 /proc/meminfo: memFree=30854444/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=24552 CPUtime=0.03 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 5991 0 0 0 3 0 0 0 25 0 1 0 133796408 25141248 5559 4089446400 4194304 7136930 140735297568016 18446744073709551615 4913901 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20349/statm: 6171 5571 289 719 0 5450 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 24552 [startup+0.100424 s] /proc/loadavg: 2.07 2.02 2.00 4/196 20349 /proc/meminfo: memFree=30854444/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=33676 CPUtime=0.09 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 7968 0 0 0 9 0 0 0 25 0 1 0 133796408 34484224 7536 4089446400 4194304 7136930 140735297568016 18446744073709551615 4830866 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20349/statm: 8419 7536 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300402 s] /proc/loadavg: 2.07 2.02 2.00 4/196 20349 /proc/meminfo: memFree=30854444/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=36496 CPUtime=0.29 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 9242 0 0 0 28 1 0 0 25 0 1 0 133796408 37371904 8296 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20349/statm: 9124 8296 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700318 s] /proc/loadavg: 2.07 2.02 2.00 4/196 20349 /proc/meminfo: memFree=30854444/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=37636 CPUtime=0.69 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 9517 0 0 0 67 2 0 0 25 0 1 0 133796408 38539264 8571 4089446400 4194304 7136930 140735297568016 18446744073709551615 4697099 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20349/statm: 9409 8571 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50017 s] /proc/loadavg: 2.07 2.02 2.00 3/197 20350 /proc/meminfo: memFree=30819592/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=42884 CPUtime=1.49 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 10846 0 0 0 145 4 0 0 25 0 1 0 133796408 43913216 9900 4089446400 4194304 7136930 140735297568016 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20349/statm: 10721 9900 390 719 0 10000 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42884 [startup+3.10089 s] /proc/loadavg: 2.06 2.02 2.00 3/197 20350 /proc/meminfo: memFree=30815872/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=44404 CPUtime=3.09 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 11253 0 0 0 302 7 0 0 25 0 1 0 133796408 45469696 10307 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20349/statm: 11101 10307 390 719 0 10380 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44404 [startup+6.30032 s] /proc/loadavg: 2.06 2.02 2.00 3/197 20350 /proc/meminfo: memFree=30807088/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=55488 CPUtime=6.29 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 13965 0 0 0 616 13 0 0 25 0 1 0 133796408 56819712 13019 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20349/statm: 13872 13019 390 719 0 13151 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 55488 [startup+12.7002 s] /proc/loadavg: 2.05 2.01 2.00 3/197 20351 /proc/meminfo: memFree=30783144/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=77932 CPUtime=12.69 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 19446 0 0 0 1246 23 0 0 25 0 1 0 133796408 79802368 18500 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20349/statm: 19483 18500 390 719 0 18762 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77932 [startup+25.5009 s] /proc/loadavg: 2.04 2.01 2.00 3/197 20351 /proc/meminfo: memFree=30754344/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=107316 CPUtime=25.49 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 26654 0 0 0 2510 39 0 0 25 0 1 0 133796408 109891584 25708 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20349/statm: 26829 25708 391 719 0 26108 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 107316 [startup+51.1003 s] /proc/loadavg: 2.03 2.01 2.00 3/197 20351 /proc/meminfo: memFree=30673388/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=185320 CPUtime=51.08 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 45462 0 0 0 5027 81 0 0 25 0 1 0 133796408 189767680 44516 4089446400 4194304 7136930 140735297568016 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 46330 44516 391 719 0 45609 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 185320 [startup+102.306 s] /proc/loadavg: 2.01 2.01 2.00 3/197 20353 /proc/meminfo: memFree=30593992/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=260768 CPUtime=102.3 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 63980 0 0 0 10088 142 0 0 25 0 1 0 133796408 267026432 63034 4089446400 4194304 7136930 140735297568016 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 65192 63034 391 719 0 64471 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 260768 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 20355 /proc/meminfo: memFree=30489396/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=374252 CPUtime=162.28 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 90286 0 0 0 16009 219 0 0 25 0 1 0 133796408 383234048 89340 4089446400 4194304 7136930 140735297568016 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 93563 89340 391 719 0 92842 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 374252 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 20356 /proc/meminfo: memFree=30383664/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=480644 CPUtime=222.29 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 116049 0 0 0 21921 308 0 0 25 0 1 0 133796408 492179456 115103 4089446400 4194304 7136930 140735297568016 18446744073709551615 4660054 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 120161 115103 391 719 0 119440 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 480644 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 20357 /proc/meminfo: memFree=30291736/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=576744 CPUtime=282.29 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 138963 0 0 0 27826 403 0 0 25 0 1 0 133796408 590585856 138017 4089446400 4194304 7136930 140735297568016 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 144186 138017 391 719 0 143465 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 576744 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 20359 /proc/meminfo: memFree=30164816/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=687536 CPUtime=342.3 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 166705 0 0 0 33729 501 0 0 25 0 1 0 133796408 704036864 165759 4089446400 4194304 7136930 140735297568016 18446744073709551615 4978047 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 171884 165759 391 719 0 171163 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 687536 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 20361 /proc/meminfo: memFree=30108724/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=743336 CPUtime=402.29 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 180865 0 0 0 39657 572 0 0 25 0 1 0 133796408 761176064 179919 4089446400 4194304 7136930 140735297568016 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 185834 179919 391 719 0 185113 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 743336 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 20363 /proc/meminfo: memFree=30057836/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=786176 CPUtime=462.29 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 191539 0 0 0 45595 634 0 0 25 0 1 0 133796408 805044224 190593 4089446400 4194304 7136930 140735297568016 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 196544 190593 391 719 0 195823 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 786176 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 20364 /proc/meminfo: memFree=29987720/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=837864 CPUtime=522.3 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 204158 0 0 0 51522 708 0 0 25 0 1 0 133796408 857972736 203212 4089446400 4194304 7136930 140735297568016 18446744073709551615 5506516 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 209466 203212 391 719 0 208745 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 837864 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 20365 /proc/meminfo: memFree=29927148/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=888444 CPUtime=582.3 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 216240 0 0 0 57449 781 0 0 25 0 1 0 133796408 909766656 215294 4089446400 4194304 7136930 140735297568016 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 222111 215294 391 719 0 221390 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 888444 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 20367 /proc/meminfo: memFree=29871532/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=942832 CPUtime=642.31 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 229925 0 0 0 63384 847 0 0 25 0 1 0 133796408 965459968 228979 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 235708 228979 391 719 0 234987 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 942832 [startup+702.301 s] ################ # More data... # ################ /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 313366 0 0 0 98949 1282 0 0 25 0 1 0 133796408 1313820672 312420 4089446400 4194304 7136930 140735297568016 18446744073709551615 4999792 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 320757 312420 391 719 0 320036 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1283028 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 20379 /proc/meminfo: memFree=29477240/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=1330300 CPUtime=1062.31 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 325044 0 0 0 104886 1345 0 0 25 0 1 0 133796408 1362227200 324098 4089446400 4194304 7136930 140735297568016 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 332575 324098 391 719 0 331854 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1330300 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 20380 /proc/meminfo: memFree=29425348/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=1382232 CPUtime=1122.31 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 338014 0 0 0 110819 1412 0 0 25 0 1 0 133796408 1415405568 337068 4089446400 4194304 7136930 140735297568016 18446744073709551615 4676347 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 345558 337068 391 719 0 344837 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1382232 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 20381 /proc/meminfo: memFree=29372112/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=1433800 CPUtime=1182.32 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 351191 0 0 0 116745 1487 0 0 25 0 1 0 133796408 1468211200 350245 4089446400 4194304 7136930 140735297568016 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/20349/statm: 358450 350245 391 719 0 357729 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1433800 [startup+1242.3 s] /proc/loadavg: 2.10 2.00 2.00 4/200 20466 /proc/meminfo: memFree=29508164/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=1496676 CPUtime=1242.3 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 366896 0 0 0 122659 1571 0 0 25 0 1 0 133796408 1532596224 365950 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/20349/statm: 374169 365950 391 719 0 373448 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 1496676 [startup+1302.3 s] /proc/loadavg: 2.76 2.20 2.06 4/200 20471 /proc/meminfo: memFree=29427148/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=1557448 CPUtime=1302.3 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 382006 0 0 0 128580 1650 0 0 25 0 1 0 133796408 1594826752 381060 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/20349/statm: 389362 381060 391 719 0 388641 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 1557448 [startup+1362.3 s] /proc/loadavg: 2.88 2.34 2.12 4/200 20473 /proc/meminfo: memFree=29354468/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=1621840 CPUtime=1362.3 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 398151 0 0 0 134509 1721 0 0 25 0 1 0 133796408 1660764160 397205 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/20349/statm: 405460 397205 391 719 0 404739 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 1621840 [startup+1422.31 s] /proc/loadavg: 2.76 2.41 2.16 4/200 20474 /proc/meminfo: memFree=29287812/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=1678636 CPUtime=1422.31 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 412476 0 0 0 140441 1790 0 0 25 0 1 0 133796408 1718923264 411530 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/20349/statm: 419659 411530 391 719 0 418938 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 1678636 [startup+1482.3 s] /proc/loadavg: 2.69 2.45 2.19 4/200 20475 /proc/meminfo: memFree=29222540/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=1736076 CPUtime=1482.3 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 426992 0 0 0 146366 1864 0 0 25 0 1 0 133796408 1777741824 426046 4089446400 4194304 7136930 140735297568016 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/20349/statm: 434019 426046 391 719 0 433298 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 1736076 [startup+1542.3 s] /proc/loadavg: 2.69 2.50 2.22 3/200 20477 /proc/meminfo: memFree=29155044/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=1796072 CPUtime=1542.3 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 442046 0 0 0 152291 1939 0 0 25 0 1 0 133796408 1839177728 441100 4089446400 4194304 7136930 140735297568016 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/20349/statm: 449018 441100 391 719 0 448297 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 1796072 [startup+1602.3 s] /proc/loadavg: 2.84 2.58 2.26 3/200 20479 /proc/meminfo: memFree=29096052/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=1849132 CPUtime=1602.3 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 455575 0 0 0 158220 2010 0 0 25 0 1 0 133796408 1893511168 454629 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/20349/statm: 462283 454629 391 719 0 461562 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 1849132 [startup+1662.3 s] /proc/loadavg: 2.78 2.60 2.29 4/200 20481 /proc/meminfo: memFree=29037132/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=1902420 CPUtime=1662.3 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 469049 0 0 0 164148 2082 0 0 25 0 1 0 133796408 1948078080 468103 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/20349/statm: 475605 468103 391 719 0 474884 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 1902420 [startup+1722.3 s] /proc/loadavg: 2.88 2.66 2.32 4/200 20482 /proc/meminfo: memFree=28975924/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=1958568 CPUtime=1722.3 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 482924 0 0 0 170082 2148 0 0 25 0 1 0 133796408 2005573632 481978 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/20349/statm: 489642 481978 391 719 0 488921 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 1958568 [startup+1782.3 s] /proc/loadavg: 2.84 2.67 2.35 4/200 20483 /proc/meminfo: memFree=28909248/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=2021540 CPUtime=1782.3 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 498762 0 0 0 176013 2217 0 0 25 0 1 0 133796408 2070056960 497816 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/20349/statm: 505385 497816 391 719 0 504664 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 2021540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.81 2.67 2.35 4/200 20484 /proc/meminfo: memFree=28891492/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=2052500 CPUtime=1800.01 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 502511 0 0 0 177764 2237 0 0 25 0 1 0 133796408 2101760000 501565 4089446400 4194304 7136930 140735297568016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/20349/statm: 513125 501565 391 719 0 512404 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 2052500 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -20349 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.81 2.67 2.35 4/201 20485 /proc/meminfo: memFree=28891360/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=2052500 CPUtime=1801.4 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 502533 0 0 0 177903 2237 0 0 25 0 1 0 133796408 2101760000 501587 4089446400 4194304 7136930 140735297568016 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/20349/statm: 513125 501587 397 719 0 512404 0 Current children cumulated CPU time (s) 1801.4 Current children cumulated vsize (KiB) 2052500 [startup+1801.81 s] /proc/loadavg: 2.82 2.68 2.35 3/201 20485 /proc/meminfo: memFree=28891360/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=2052500 CPUtime=1801.81 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 502533 0 0 0 177944 2237 0 0 25 0 1 0 133796408 2101760000 501587 4089446400 4194304 7136930 140735297568016 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/20349/statm: 513125 501587 397 719 0 512404 0 Current children cumulated CPU time (s) 1801.81 Current children cumulated vsize (KiB) 2052500 [startup+1802 s] /proc/loadavg: 2.82 2.68 2.35 3/201 20485 /proc/meminfo: memFree=28891360/32951124 swapFree=67111528/67111528 [pid=20349] ppid=20347 vsize=2052500 CPUtime=1802 /proc/20349/stat : 20349 (pbscip.linux.x8) R 20347 20349 16986 0 -1 4202496 502533 0 0 0 177963 2237 0 0 25 0 1 0 133796408 2101760000 501587 4089446400 4194304 7136930 140735297568016 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/20349/statm: 513125 501587 397 719 0 512404 0 Current children cumulated CPU time (s) 1802 Current children cumulated vsize (KiB) 2052500 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.08 CPU user time (s): 1779.64 CPU system time (s): 22.4396 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 2052500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.64 system time used= 22.4396 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 502533 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= 2259 runsolver used 2.73458 second user time and 6.01109 second system time The end
Begin job on node146 at 2010-06-30 21:10:18 IDJOB=2693579 IDBENCH=79256 IDSOLVER=1206 FILE ID=node146/2693579-1277925017 PBS_JOBID= 11197264 Free space on /tmp= 74180 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552423--soft-0-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-2693579-1277925017/watcher-2693579-1277925017 -o /tmp/evaluation-result-2693579-1277925017/solver-2693579-1277925017 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693579-1277925017.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c6df963ff1848506ee15e7c5bdbc3c3f RANDOM SEED=1181563908 node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30854972 kB Buffers: 214588 kB Cached: 1330824 kB SwapCached: 0 kB Active: 820928 kB Inactive: 1127408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30854972 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3184 kB Writeback: 0 kB AnonPages: 403376 kB Mapped: 20248 kB Slab: 83796 kB PageTables: 5928 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655084 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74176 MiB End job on node146 at 2010-06-30 21:40:20