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.11 | 1802.05 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900579996--soft-66-100-0.wbo |
| MD5SUM | 088560862f81f380de0695aae8f2f503 |
| 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 | 373.059 |
| 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 | 899 |
| 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 | 46330 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46329 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 677 |
| 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-2694061-1277903340.wbo>
0.00/0.02 c original problem has 2029 variables (1130 bin, 0 int, 0 impl, 899 cont) and 3607 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.04/0.07 c (round 2) 0 del vars, 110 del conss, 899 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.04/0.09 c (round 3) 51 del vars, 242 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.10 c (round 4) 118 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs
0.09/0.11 c (round 5) 134 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs
0.09/0.15 c (0.1s) probing: 101/1063 (9.5%) - 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 134 deleted vars, 258 deleted constraints, 915 tightened bounds, 0 added holes, 132 changed sides, 0 changed coefficients
0.09/0.15 c 1117 implications, 11 cliques
0.09/0.15 c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3349 constraints
0.09/0.15 c 832 constraints of type <indicator>
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 11 constraints of type <setppc>
0.09/0.15 c 832 constraints of type <linear>
0.09/0.15 c 1673 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.10
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 | - |7441k| 0 | - |1895 |3349 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.99 o 571
0.89/0.99 c * 0.8s| 3793 | 3330 | 0 | 0.0 |9907k| 998 | - |1895 |3960 | 0 | 0 | 0 | 988 | 0 | 0.000000e+00 | 5.710000e+02 | Inf
2.39/2.46 c 2.1s| 10000 | 8687 | 0 | 0.0 | 14M| 998 | - |1895 |4711 | 0 | 0 | 0 |3942 | 0 | 0.000000e+00 | 5.710000e+02 | Inf
5.09/5.14 o 565
5.09/5.14 c * 4.6s| 18822 | 13992 | 0 | 0.0 | 21M| 998 | - |1895 |6873 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 5.650000e+02 | Inf
5.09/5.14 o 514
5.09/5.14 c * 4.6s| 18823 | 13956 | 0 | 0.0 | 21M| 998 | - |1895 |6873 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 5.140000e+02 | Inf
5.09/5.17 o 494
5.09/5.17 c * 4.6s| 18923 | 14052 | 0 | 0.0 | 21M| 998 | - |1895 |6842 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 4.940000e+02 | Inf
5.19/5.20 o 363
5.19/5.20 c * 4.6s| 19033 | 14147 | 0 | 0.0 | 21M| 998 | - |1895 |6814 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.630000e+02 | Inf
5.19/5.25 o 329
5.19/5.25 c * 4.7s| 19222 | 14316 | 0 | 0.0 | 21M| 998 | - |1895 |6771 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.290000e+02 | Inf
5.19/5.28 o 325
5.19/5.28 c * 4.7s| 19318 | 14406 | 0 | 0.0 | 21M| 998 | - |1895 |6732 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.250000e+02 | Inf
5.29/5.35 o 312
5.29/5.35 c * 4.8s| 19529 | 14600 | 0 | 0.0 | 21M| 998 | - |1895 |6624 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.120000e+02 | Inf
5.40/5.49 c 4.9s| 20000 | 15046 | 0 | 0.0 | 21M| 998 | - |1895 |6364 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.120000e+02 | Inf
5.50/5.52 o 267
5.50/5.52 c * 4.9s| 20101 | 15048 | 0 | 0.0 | 21M| 998 | - |1895 |6321 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.670000e+02 | Inf
5.50/5.56 o 250
5.50/5.56 c * 5.0s| 20240 | 15174 | 0 | 0.0 | 21M| 998 | - |1895 |6260 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.500000e+02 | Inf
5.50/5.56 o 226
5.50/5.56 c * 5.0s| 20241 | 14880 | 0 | 0.0 | 21M| 998 | - |1895 |6260 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
5.60/5.62 o 194
5.60/5.62 c * 5.0s| 20452 | 14997 | 0 | 0.0 | 21M| 998 | - |1895 |6160 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
5.99/6.05 o 191
5.99/6.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.99/6.05 c * 5.4s| 21964 | 16398 | 0 | 0.0 | 22M| 998 | - |1895 |5183 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
5.99/6.05 o 190
5.99/6.05 c * 5.4s| 21965 | 16396 | 0 | 0.0 | 22M| 998 | - |1895 |5183 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
6.09/6.11 o 172
6.09/6.11 c * 5.5s| 22215 | 16457 | 0 | 0.0 | 22M| 998 | - |1895 |5145 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.720000e+02 | Inf
6.09/6.15 o 171
6.09/6.15 c * 5.5s| 22357 | 16579 | 0 | 0.0 | 22M| 998 | - |1895 |5138 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
6.39/6.41 o 163
6.39/6.41 c * 5.8s| 23311 | 17445 | 0 | 0.0 | 23M| 998 | - |1895 |4891 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
6.49/6.50 o 161
6.49/6.50 c * 5.8s| 23672 | 17764 | 0 | 0.0 | 23M| 998 | - |1895 |4886 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
6.49/6.51 o 152
6.49/6.51 c * 5.8s| 23676 | 17742 | 0 | 0.0 | 23M| 998 | - |1895 |4886 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
6.49/6.51 o 128
6.49/6.51 c * 5.8s| 23677 | 17556 | 0 | 0.0 | 23M| 998 | - |1895 |4886 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
8.09/8.18 c 7.3s| 30000 | 22952 | 0 | 0.0 | 27M| 998 | - |1895 |5540 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
10.89/10.93 c 9.8s| 40000 | 30997 | 0 | 0.0 | 34M| 998 | - |1895 |5643 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
13.79/13.87 c 12.4s| 50000 | 38606 | 0 | 0.0 | 41M| 998 | - |1895 |5766 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
16.79/16.84 c 15.1s| 60000 | 46104 | 0 | 0.0 | 48M| 998 | - |1895 |6597 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
19.89/19.91 c 17.8s| 70000 | 53513 | 0 | 0.0 | 56M| 998 | - |1895 |7257 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
23.10/23.14 c 20.8s| 80000 | 60700 | 0 | 0.0 | 63M| 998 | - |1895 |7877 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
26.40/26.49 c 23.8s| 90000 | 67734 | 0 | 0.0 | 70M| 998 | - |1895 |8904 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
30.09/30.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.09/30.18 c 27.2s|100000 | 74383 | 0 | 0.0 | 78M| 998 | - |1895 | 10k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
34.30/34.39 c 31.0s|110000 | 80446 | 0 | 0.0 | 86M| 998 | - |1895 | 10k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
39.30/39.30 c 35.6s|120000 | 85807 | 0 | 0.0 | 94M| 998 | - |1895 | 12k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
45.89/45.90 c 41.8s|130000 | 89601 | 0 | 0.0 | 102M| 998 | - |1895 | 14k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
51.39/51.43 o 109
51.39/51.43 c *47.0s|137581 | 92497 | 0 | 0.0 | 107M| 998 | - |1895 | 12k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
52.29/52.34 c 47.9s|140000 | 94655 | 0 | 0.0 | 107M| 998 | - |1895 |9010 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
53.00/53.00 o 69
53.00/53.00 c *48.5s|141910 | 94583 | 0 | 0.0 | 105M| 998 | - |1895 |7380 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
55.69/55.73 c 50.9s|150000 |101585 | 0 | 0.0 | 112M| 998 | - |1895 |4946 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
56.29/56.38 o 43
56.29/56.38 c *51.5s|152014 |102763 | 0 | 0.0 | 112M| 998 | - |1895 |5039 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
58.69/58.75 o 34
58.69/58.75 c *53.6s|158615 |106733 | 0 | 0.0 | 117M| 998 | - |1895 |6098 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
59.19/59.23 c 54.0s|160000 |107849 | 0 | 0.0 | 118M| 998 | - |1895 |5382 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
61.90/61.90 o 32
61.90/61.90 c *56.4s|169463 |115500 | 0 | 0.0 | 123M| 998 | - |1895 |4982 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
61.99/62.05 c 56.5s|170000 |115951 | 0 | 0.0 | 123M| 998 | - |1895 |5047 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
65.29/65.31 c 59.4s|180000 |123690 | 0 | 0.0 | 131M| 998 | - |1895 |5530 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
67.00/67.09 o 12
67.00/67.09 c *61.0s|186207 |127388 | 0 | 0.0 | 132M| 998 | - |1895 |6000 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
68.20/68.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.20/68.28 c 62.1s|190000 |130367 | 0 | 0.0 | 135M| 998 | - |1895 |6604 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
71.29/71.39 c 64.9s|200000 |138260 | 0 | 0.0 | 142M| 998 | - |1895 |6626 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
74.70/74.73 c 67.9s|210000 |145621 | 0 | 0.0 | 150M| 998 | - |1895 |8291 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
77.69/77.79 c 70.6s|220000 |153646 | 0 | 0.0 | 156M| 998 | - |1895 |8315 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
81.40/81.44 c 73.9s|230000 |160764 | 0 | 0.0 | 163M| 998 | - |1895 |7844 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
84.99/85.02 c 77.1s|240000 |167835 | 0 | 0.0 | 169M| 998 | - |1895 |8620 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
88.00/88.06 c 79.8s|250000 |175787 | 0 | 0.0 | 176M| 998 | - |1895 |9329 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
91.69/91.74 c 83.2s|260000 |183019 | 0 | 0.0 | 182M| 998 | - |1895 |4734 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
94.79/94.87 c 86.0s|270000 |190806 | 0 | 0.0 | 189M| 998 | - |1895 |5101 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
98.19/98.27 c 89.0s|280000 |197943 | 0 | 0.0 | 196M| 998 | - |1895 |5691 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
101.79/101.85 c 92.3s|290000 |204830 | 0 | 0.0 | 204M| 998 | - |1895 |5954 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
105.79/105.83 c 95.9s|300000 |211208 | 0 | 0.0 | 211M| 998 | - |1895 |6191 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
109.80/109.86 c 99.6s|310000 |217479 | 0 | 0.0 | 218M| 998 | - |1895 |6390 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
113.90/113.95 c 103s|320000 |223618 | 0 | 0.0 | 226M| 998 | - |1895 |6530 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
117.89/117.90 c 107s|330000 |229877 | 0 | 0.0 | 233M| 998 | - |1895 |6651 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
121.89/121.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.89/121.97 c 111s|340000 |236083 | 0 | 0.0 | 240M| 998 | - |1895 |6979 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
126.09/126.17 c 115s|350000 |242092 | 0 | 0.0 | 247M| 998 | - |1895 |7675 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
130.39/130.45 c 118s|360000 |247948 | 0 | 0.0 | 254M| 998 | - |1895 |7779 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
134.69/134.76 c 122s|370000 |253806 | 0 | 0.0 | 260M| 998 | - |1895 |7843 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
138.99/139.05 c 126s|380000 |259712 | 0 | 0.0 | 267M| 998 | - |1895 |7841 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
143.49/143.50 c 130s|390000 |265363 | 0 | 0.0 | 274M| 998 | - |1895 |9193 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
148.29/148.31 c 135s|400000 |270765 | 0 | 0.0 | 281M| 998 | - |1895 |9635 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
153.10/153.13 c 139s|410000 |276188 | 0 | 0.0 | 287M| 998 | - |1895 |9915 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
157.79/157.84 c 144s|420000 |281761 | 0 | 0.0 | 294M| 998 | - |1895 |9167 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
162.69/162.75 c 148s|430000 |286965 | 0 | 0.0 | 301M| 998 | - |1895 | 10k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
168.00/168.00 c 153s|440000 |291997 | 0 | 0.0 | 307M| 998 | - |1895 | 11k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
172.99/173.09 c 158s|450000 |297333 | 0 | 0.0 | 314M| 998 | - |1895 | 11k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
178.60/178.63 c 163s|460000 |302173 | 0 | 0.0 | 321M| 998 | - |1895 | 12k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
184.20/184.29 c 168s|470000 |307086 | 0 | 0.0 | 327M| 998 | - |1895 | 11k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
189.79/189.83 c 174s|480000 |311998 | 0 | 0.0 | 333M| 998 | - |1895 | 12k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
195.79/195.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.79/195.81 c 179s|490000 |316473 | 0 | 0.0 | 340M| 998 | - |1895 | 13k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
201.60/201.69 c 185s|500000 |321270 | 0 | 0.0 | 347M| 998 | - |1895 | 13k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
207.99/208.07 c 191s|510000 |325481 | 0 | 0.0 | 353M| 998 | - |1895 | 14k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
214.59/214.69 c 197s|520000 |329657 | 0 | 0.0 | 359M| 998 | - |1895 | 14k| 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
221.19/221.28 c 203s|530000 |333973 | 0 | 0.0 | 366M| 998 | - |1895 | 15k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
228.40/228.49 c 210s|540000 |337593 | 0 | 0.0 | 372M| 998 | - |1895 | 16k| 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
236.10/236.11 c 217s|550000 |341115 | 0 | 0.0 | 379M| 998 | - |1895 | 16k| 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
243.70/243.79 c 225s|560000 |344832 | 0 | 0.0 | 386M| 998 | - |1895 | 17k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
252.00/252.05 c 232s|570000 |347933 | 0 | 0.0 | 392M| 998 | - |1895 | 18k| 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
261.10/261.17 c 241s|580000 |350489 | 0 | 0.0 | 398M| 998 | - |1895 | 19k| 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
270.79/270.82 c 250s|590000 |352883 | 0 | 0.0 | 404M| 998 | - |1895 | 20k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
281.09/281.13 c 260s|600000 |354970 | 0 | 0.0 | 410M| 998 | - |1895 | 21k| 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
292.39/292.43 c 271s|610000 |356657 | 0 | 0.0 | 416M| 998 | - |1895 | 23k| 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
305.40/305.48 c 284s|620000 |357445 | 0 | 0.0 | 421M| 998 | - |1895 | 24k| 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
319.90/319.99 c 298s|630000 |357785 | 0 | 0.0 | 427M| 998 | - |1895 | 27k| 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
337.61/337.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.61/337.65 c 315s|640000 |357093 | 0 | 0.0 | 431M| 998 | - |1895 | 30k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
353.30/353.38 c 330s|650000 |358425 | 0 | 0.0 | 429M| 998 | - |1895 | 15k| 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
357.30/357.38 c 334s|660000 |366412 | 0 | 0.0 | 437M| 998 | - |1895 |6463 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
360.90/360.98 c 337s|670000 |374271 | 0 | 0.0 | 447M| 998 | - |1895 |6767 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
364.50/364.52 c 340s|680000 |382023 | 0 | 0.0 | 455M| 998 | - |1895 |7081 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
367.90/367.96 c 344s|690000 |389696 | 0 | 0.0 | 462M| 998 | - |1895 |7859 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
371.50/371.52 c 347s|700000 |397220 | 0 | 0.0 | 469M| 998 | - |1895 |8747 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
375.20/375.25 c 350s|710000 |404681 | 0 | 0.0 | 475M| 998 | - |1895 |9632 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
379.10/379.15 c 354s|720000 |411959 | 0 | 0.0 | 482M| 998 | - |1895 | 10k| 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
383.30/383.35 c 358s|730000 |418996 | 0 | 0.0 | 489M| 998 | - |1895 | 11k| 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
387.90/387.97 c 362s|740000 |425687 | 0 | 0.0 | 497M| 998 | - |1895 | 13k| 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
393.10/393.15 c 367s|750000 |432010 | 0 | 0.0 | 506M| 998 | - |1895 | 14k| 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
398.90/398.92 c 372s|760000 |438024 | 0 | 0.0 | 516M| 998 | - |1895 | 16k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
405.81/405.83 c 378s|770000 |443271 | 0 | 0.0 | 525M| 998 | - |1895 | 18k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
413.70/413.75 c 386s|780000 |448012 | 0 | 0.0 | 535M| 998 | - |1895 | 20k| 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
424.61/424.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.61/424.66 c 396s|790000 |450587 | 0 | 0.0 | 544M| 998 | - |1895 | 23k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
429.50/429.52 c 401s|800000 |458396 | 0 | 0.0 | 550M| 998 | - |1895 | 13k| 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
433.00/433.06 c 404s|810000 |466405 | 0 | 0.0 | 557M| 998 | - |1895 |9324 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
436.30/436.38 c 407s|820000 |474185 | 0 | 0.0 | 564M| 998 | - |1895 | 11k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
439.80/439.84 c 410s|830000 |481877 | 0 | 0.0 | 571M| 998 | - |1895 | 12k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
443.40/443.48 c 414s|840000 |489476 | 0 | 0.0 | 578M| 998 | - |1895 | 13k| 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
447.50/447.54 c 417s|850000 |496772 | 0 | 0.0 | 585M| 998 | - |1895 | 14k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
451.70/451.79 c 421s|860000 |503960 | 0 | 0.0 | 592M| 998 | - |1895 | 14k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
456.30/456.32 c 425s|870000 |510841 | 0 | 0.0 | 599M| 998 | - |1895 | 16k| 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
461.21/461.26 c 430s|880000 |517442 | 0 | 0.0 | 607M| 998 | - |1895 | 17k| 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
466.61/466.67 c 435s|890000 |523789 | 0 | 0.0 | 615M| 998 | - |1895 | 18k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
473.01/473.07 c 441s|900000 |529436 | 0 | 0.0 | 624M| 998 | - |1895 | 21k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
480.71/480.78 c 448s|910000 |534295 | 0 | 0.0 | 632M| 998 | - |1895 | 23k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
491.20/491.23 c 458s|920000 |537148 | 0 | 0.0 | 640M| 998 | - |1895 | 28k| 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
496.11/496.13 c 463s|930000 |545303 | 0 | 0.0 | 646M| 998 | - |1895 | 17k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
499.91/499.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.91/499.97 c 466s|940000 |553419 | 0 | 0.0 | 653M| 998 | - |1895 | 11k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
503.20/503.21 c 469s|950000 |561363 | 0 | 0.0 | 660M| 998 | - |1895 | 13k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
506.81/506.88 c 473s|960000 |569091 | 0 | 0.0 | 667M| 998 | - |1895 | 15k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
510.80/510.88 c 476s|970000 |576529 | 0 | 0.0 | 674M| 998 | - |1895 | 16k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
515.30/515.32 c 480s|980000 |583687 | 0 | 0.0 | 682M| 998 | - |1895 | 18k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
520.00/520.05 c 485s|990000 |590652 | 0 | 0.0 | 689M| 998 | - |1895 | 19k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
520.31/520.37 o 11
520.31/520.37 c * 485s|990639 |590667 | 0 | 0.0 | 688M| 998 | - |1895 | 19k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
520.31/520.38 o 10
520.31/520.38 c * 485s|990640 |590502 | 0 | 0.0 | 688M| 998 | - |1895 | 19k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
525.21/525.27 c 490s| 1000k|596771 | 0 | 0.0 | 696M| 998 | - |1895 | 20k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
531.10/531.10 c 495s| 1010k|603076 | 0 | 0.0 | 704M| 998 | - |1895 | 21k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
537.60/537.63 c 501s| 1020k|608946 | 0 | 0.0 | 712M| 998 | - |1895 | 23k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
544.70/544.79 c 508s| 1030k|614444 | 0 | 0.0 | 720M| 998 | - |1895 | 25k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
553.91/553.90 c 517s| 1040k|618792 | 0 | 0.0 | 729M| 998 | - |1895 | 28k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
560.01/560.04 c 522s| 1050k|625991 | 0 | 0.0 | 732M| 998 | - |1895 | 19k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
564.11/564.18 c 526s| 1060k|633910 | 0 | 0.0 | 738M| 998 | - |1895 | 17k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
564.61/564.64 o 7
564.61/564.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
564.61/564.64 c * 527s| 1060k|584033 | 0 | 0.0 | 674M| 998 | - |1895 | 17k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
568.71/568.71 c 530s| 1070k|590839 | 0 | 0.0 | 681M| 998 | - |1895 | 18k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
573.41/573.49 c 535s| 1080k|598011 | 0 | 0.0 | 690M| 998 | - |1895 | 19k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
578.80/578.82 c 540s| 1090k|604860 | 0 | 0.0 | 698M| 998 | - |1895 | 20k| 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
584.81/584.86 c 546s| 1100k|611221 | 0 | 0.0 | 707M| 998 | - |1895 | 22k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
591.61/591.65 c 552s| 1110k|617096 | 0 | 0.0 | 716M| 998 | - |1895 | 24k| 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
600.01/600.03 c 560s| 1120k|622148 | 0 | 0.0 | 725M| 998 | - |1895 | 26k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
611.00/611.08 c 570s| 1130k|625528 | 0 | 0.0 | 733M| 998 | - |1895 | 30k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
620.81/620.89 c 580s| 1140k|630740 | 0 | 0.0 | 738M| 998 | - |1895 | 25k| 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
625.71/625.75 c 584s| 1150k|638638 | 0 | 0.0 | 743M| 998 | - |1895 | 21k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
630.41/630.46 c 589s| 1160k|646235 | 0 | 0.0 | 750M| 998 | - |1895 | 21k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
635.41/635.40 c 593s| 1170k|653458 | 0 | 0.0 | 758M| 998 | - |1895 | 22k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
641.01/641.03 c 599s| 1180k|660302 | 0 | 0.0 | 766M| 998 | - |1895 | 24k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
647.21/647.27 c 605s| 1190k|666660 | 0 | 0.0 | 774M| 998 | - |1895 | 26k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
654.61/654.68 c 612s| 1200k|672372 | 0 | 0.0 | 783M| 998 | - |1895 | 29k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
662.61/662.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
662.61/662.62 c 619s| 1210k|677841 | 0 | 0.0 | 791M| 998 | - |1895 | 31k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
672.71/672.71 c 629s| 1220k|682222 | 0 | 0.0 | 800M| 998 | - |1895 | 34k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
687.61/687.63 c 643s| 1230k|684327 | 0 | 0.0 | 807M| 998 | - |1895 | 38k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
693.31/693.39 c 649s| 1240k|692484 | 0 | 0.0 | 810M| 998 | - |1895 | 28k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
698.61/698.66 c 654s| 1250k|700316 | 0 | 0.0 | 816M| 998 | - |1895 | 27k| 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
703.92/703.97 c 659s| 1260k|707815 | 0 | 0.0 | 823M| 998 | - |1895 | 27k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
709.61/709.64 c 664s| 1270k|714976 | 0 | 0.0 | 831M| 998 | - |1895 | 28k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
715.91/715.99 c 670s| 1280k|721686 | 0 | 0.0 | 839M| 998 | - |1895 | 30k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
723.31/723.31 c 677s| 1290k|727824 | 0 | 0.0 | 846M| 998 | - |1895 | 32k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
731.72/731.73 c 685s| 1300k|733318 | 0 | 0.0 | 854M| 998 | - |1895 | 33k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
742.31/742.35 c 695s| 1310k|737597 | 0 | 0.0 | 862M| 998 | - |1895 | 37k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
756.91/756.94 c 709s| 1320k|739979 | 0 | 0.0 | 869M| 998 | - |1895 | 41k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
765.11/765.11 c 717s| 1330k|746923 | 0 | 0.0 | 870M| 998 | - |1895 | 27k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
769.92/769.99 c 722s| 1340k|754658 | 0 | 0.0 | 876M| 998 | - |1895 | 25k| 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
774.81/774.83 c 726s| 1350k|762202 | 0 | 0.0 | 883M| 998 | - |1895 | 25k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
780.01/780.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.01/780.03 c 731s| 1360k|769441 | 0 | 0.0 | 890M| 998 | - |1895 | 27k| 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
785.61/785.67 c 736s| 1370k|776392 | 0 | 0.0 | 897M| 998 | - |1895 | 28k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
792.11/792.12 c 742s| 1380k|782807 | 0 | 0.0 | 904M| 998 | - |1895 | 30k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
799.11/799.14 c 749s| 1390k|788997 | 0 | 0.0 | 912M| 998 | - |1895 | 32k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
807.42/807.42 c 757s| 1400k|794370 | 0 | 0.0 | 919M| 998 | - |1895 | 34k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
817.22/817.21 c 766s| 1410k|798857 | 0 | 0.0 | 926M| 998 | - |1895 | 36k| 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
830.82/830.82 c 780s| 1420k|801268 | 0 | 0.0 | 933M| 998 | - |1895 | 39k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
837.61/837.69 c 786s| 1430k|807945 | 0 | 0.0 | 928M| 998 | - |1895 |7511 | 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
841.52/841.57 c 790s| 1440k|815568 | 0 | 0.0 | 936M| 998 | - |1895 |6855 | 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
845.22/845.25 c 793s| 1450k|823477 | 0 | 0.0 | 944M| 998 | - |1895 |7977 | 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
850.02/850.07 c 797s| 1460k|830278 | 0 | 0.0 | 953M| 998 | - |1895 | 11k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
854.22/854.26 c 801s| 1470k|837864 | 0 | 0.0 | 960M| 998 | - |1895 |8258 | 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
857.93/857.91 c 804s| 1480k|845776 | 0 | 0.0 | 968M| 998 | - |1895 |9481 | 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
862.91/862.90 c 809s| 1490k|852288 | 0 | 0.0 | 976M| 998 | - |1895 | 13k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
866.62/866.64 c 813s| 1500k|860407 | 0 | 0.0 | 982M| 998 | - |1895 |9245 | 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
870.03/870.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.03/870.10 c 816s| 1510k|868613 | 0 | 0.0 | 990M| 998 | - |1895 |9901 | 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
874.02/874.09 c 819s| 1520k|876240 | 0 | 0.0 | 997M| 998 | - |1895 | 11k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
879.92/879.92 c 825s| 1530k|882478 | 0 | 0.0 |1006M| 998 | - |1895 | 15k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
885.22/885.25 c 830s| 1540k|889486 | 0 | 0.0 |1010M| 998 | - |1895 |6511 | 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
889.83/889.88 c 834s| 1550k|895630 | 0 | 0.0 |1018M| 998 | - |1895 |8906 | 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
895.51/895.57 c 839s| 1560k|900890 | 0 | 0.0 |1026M| 998 | - |1895 | 10k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
901.72/901.71 c 845s| 1570k|906048 | 0 | 0.0 |1033M| 998 | - |1895 | 11k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
908.22/908.25 c 851s| 1580k|911028 | 0 | 0.0 |1040M| 998 | - |1895 | 13k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
914.92/914.94 c 858s| 1590k|915929 | 0 | 0.0 |1048M| 998 | - |1895 | 13k| 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
921.73/921.72 c 864s| 1600k|920620 | 0 | 0.0 |1055M| 998 | - |1895 | 14k| 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
928.82/928.85 c 871s| 1610k|925003 | 0 | 0.0 |1061M| 998 | - |1895 | 14k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
936.32/936.33 c 878s| 1620k|929259 | 0 | 0.0 |1067M| 998 | - |1895 | 13k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
943.41/943.46 c 885s| 1630k|933794 | 0 | 0.0 |1074M| 998 | - |1895 | 15k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
951.32/951.35 c 892s| 1640k|937715 | 0 | 0.0 |1080M| 998 | - |1895 | 15k| 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
959.32/959.38 c 900s| 1650k|941665 | 0 | 0.0 |1087M| 998 | - |1895 | 16k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
968.21/968.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.21/968.29 c 908s| 1660k|945028 | 0 | 0.0 |1094M| 998 | - |1895 | 17k| 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
977.32/977.37 c 917s| 1670k|948455 | 0 | 0.0 |1100M| 998 | - |1895 | 17k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
986.42/986.40 c 926s| 1680k|952016 | 0 | 0.0 |1106M| 998 | - |1895 | 18k| 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
996.02/996.04 c 935s| 1690k|955329 | 0 | 0.0 |1112M| 998 | - |1895 | 18k| 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1006.12/1006.14 c 945s| 1700k|958536 | 0 | 0.0 |1119M| 998 | - |1895 | 20k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1015.33/1015.39 c 954s| 1710k|962417 | 0 | 0.0 |1126M| 998 | - |1895 | 21k| 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1027.12/1027.17 c 965s| 1720k|964861 | 0 | 0.0 |1131M| 998 | - |1895 | 22k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1037.62/1037.67 c 975s| 1730k|968369 | 0 | 0.0 |1138M| 998 | - |1895 | 22k| 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1050.33/1050.37 c 988s| 1740k|970600 | 0 | 0.0 |1144M| 998 | - |1895 | 24k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1061.82/1061.88 c 999s| 1750k|973954 | 0 | 0.0 |1150M| 998 | - |1895 | 25k| 0 | 0 | 0 |1916k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1074.92/1074.98 c 1011s| 1760k|976453 | 0 | 0.0 |1155M| 998 | - |1895 | 25k| 0 | 0 | 0 |1935k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1088.12/1088.16 c 1024s| 1770k|978879 | 0 | 0.0 |1162M| 998 | - |1895 | 26k| 0 | 0 | 0 |1954k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1100.23/1100.25 c 1036s| 1780k|982183 | 0 | 0.0 |1168M| 998 | - |1895 | 27k| 0 | 0 | 0 |1972k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1116.22/1116.25 c 1052s| 1790k|983385 | 0 | 0.0 |1173M| 998 | - |1895 | 29k| 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1130.02/1130.00 c 1065s| 1800k|986250 | 0 | 0.0 |1179M| 998 | - |1895 | 29k| 0 | 0 | 0 |2012k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1145.52/1145.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.52/1145.56 c 1080s| 1810k|988159 | 0 | 0.0 |1183M| 998 | - |1895 | 30k| 0 | 0 | 0 |2032k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1161.72/1161.79 c 1096s| 1820k|990188 | 0 | 0.0 |1190M| 998 | - |1895 | 32k| 0 | 0 | 0 |2053k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1177.32/1177.39 c 1111s| 1830k|992838 | 0 | 0.0 |1196M| 998 | - |1895 | 34k| 0 | 0 | 0 |2072k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1196.83/1196.82 c 1130s| 1840k|993858 | 0 | 0.0 |1200M| 998 | - |1895 | 35k| 0 | 0 | 0 |2094k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1213.73/1213.73 c 1147s| 1850k|996229 | 0 | 0.0 |1206M| 998 | - |1895 | 35k| 0 | 0 | 0 |2114k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1230.03/1230.04 c 1163s| 1860k|999114 | 0 | 0.0 |1212M| 998 | - |1895 | 35k| 0 | 0 | 0 |2132k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1250.63/1250.62 c 1183s| 1870k|999958 | 0 | 0.0 |1215M| 998 | - |1895 | 37k| 0 | 0 | 0 |2155k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1269.33/1269.36 c 1201s| 1880k| 1001k| 0 | 0.0 |1222M| 998 | - |1895 | 39k| 0 | 0 | 0 |2176k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1287.33/1287.34 c 1219s| 1890k| 1004k| 0 | 0.0 |1227M| 998 | - |1895 | 39k| 0 | 0 | 0 |2195k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1310.53/1310.52 c 1242s| 1900k| 1005k| 0 | 0.0 |1232M| 998 | - |1895 | 43k| 0 | 0 | 0 |2219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1332.43/1332.47 c 1263s| 1910k| 1006k| 0 | 0.0 |1237M| 998 | - |1895 | 43k| 0 | 0 | 0 |2240k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1352.83/1352.86 c 1283s| 1920k| 1009k| 0 | 0.0 |1243M| 998 | - |1895 | 43k| 0 | 0 | 0 |2260k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1378.73/1378.73 c 1309s| 1930k| 1009k| 0 | 0.0 |1247M| 998 | - |1895 | 46k| 0 | 0 | 0 |2285k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1403.03/1403.06 c 1332s| 1940k| 1010k| 0 | 0.0 |1252M| 998 | - |1895 | 46k| 0 | 0 | 0 |2307k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1424.83/1424.87 c 1354s| 1950k| 1013k| 0 | 0.0 |1258M| 998 | - |1895 | 46k| 0 | 0 | 0 |2327k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1453.24/1453.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.24/1453.23 c 1382s| 1960k| 1012k| 0 | 0.0 |1260M| 998 | - |1895 | 46k| 0 | 0 | 0 |2353k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1477.84/1477.89 c 1406s| 1970k| 1014k| 0 | 0.0 |1266M| 998 | - |1895 | 48k| 0 | 0 | 0 |2375k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1501.24/1501.23 c 1429s| 1980k| 1016k| 0 | 0.0 |1272M| 998 | - |1895 | 49k| 0 | 0 | 0 |2396k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1530.15/1530.13 c 1457s| 1990k| 1015k| 0 | 0.0 |1272M| 998 | - |1895 | 46k| 0 | 0 | 0 |2422k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1555.04/1555.08 c 1482s| 2000k| 1016k| 0 | 0.0 |1278M| 998 | - |1895 | 47k| 0 | 0 | 0 |2446k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1579.54/1579.51 c 1506s| 2010k| 1018k| 0 | 0.0 |1284M| 998 | - |1895 | 48k| 0 | 0 | 0 |2467k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1611.64/1611.64 c 1538s| 2020k| 1017k| 0 | 0.0 |1286M| 998 | - |1895 | 52k| 0 | 0 | 0 |2495k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1639.94/1639.96 c 1566s| 2030k| 1018k| 0 | 0.0 |1292M| 998 | - |1895 | 52k| 0 | 0 | 0 |2519k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1668.24/1668.26 c 1594s| 2040k| 1019k| 0 | 0.0 |1296M| 998 | - |1895 | 52k| 0 | 0 | 0 |2542k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1703.14/1703.14 c 1628s| 2050k| 1018k| 0 | 0.0 |1299M| 998 | - |1895 | 55k| 0 | 0 | 0 |2571k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1733.25/1733.22 c 1658s| 2060k| 1019k| 0 | 0.0 |1304M| 998 | - |1895 | 54k| 0 | 0 | 0 |2595k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1769.35/1769.31 c 1693s| 2070k| 1017k| 0 | 0.0 |1305M| 998 | - |1895 | 57k| 0 | 0 | 0 |2623k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1723.59
1800.05/1800.00 c Solving Nodes : 2078681
1800.05/1800.00 c Primal Bound : +7.00000000000000e+00 (29 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 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
1800.05/1800.02 v -x125 -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
1800.05/1800.02 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.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 : 1723.59
1800.05/1800.02 c Original Problem :
1800.05/1800.02 c Problem name : HOME/instance-2694061-1277903340.wbo
1800.05/1800.02 c Variables : 2029 (1130 binary, 0 integer, 0 implicit integer, 899 continuous)
1800.05/1800.02 c Constraints : 3607 initial, 3607 maximal
1800.05/1800.02 c Presolved Problem :
1800.05/1800.02 c Problem name : t_HOME/instance-2694061-1277903340.wbo
1800.05/1800.02 c Variables : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.05/1800.02 c Constraints : 3349 initial, 58284 maximal
1800.05/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.02 c trivial : 0.00 67 0 0 0 0 0 0 0
1800.05/1800.02 c dualfix : 0.00 67 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.03 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 0.00 0 0 0 0 0 67 0 0
1800.05/1800.02 c knapsack : 0.00 0 0 0 0 0 0 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.04 0 0 0 915 0 191 132 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 : - 260 - - 520 - - - -
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 : 832 0 2640640 0 892526 84 1096037 0 0 0
1800.05/1800.02 c knapsack : 1 0 6153482 0 1711069 133466 15350847 0 0 0
1800.05/1800.02 c setppc : 11 0 6020507 0 1710682 34518 2989361 0 0 0
1800.05/1800.02 c linear : 832 0 5989892 0 1711090 116609 9596811 0 0 0
1800.05/1800.02 c logicor : 1673+ 0 4633191 0 1711112 303304 12731753 0 0 0
1800.05/1800.02 c bounddisjunction : 0+ 0 107743 0 0 59 3628 0 0 0
1800.05/1800.02 c countsols : 0 0 0 0 1711111 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 : 3.12 0.00 1.29 0.00 1.83
1800.05/1800.02 c knapsack : 66.27 0.00 63.78 0.00 2.49
1800.05/1800.02 c setppc : 15.89 0.00 14.04 0.00 1.85
1800.05/1800.02 c linear : 100.47 0.00 99.65 0.00 0.82
1800.05/1800.02 c logicor : 712.00 0.00 640.41 0.00 71.59
1800.05/1800.02 c bounddisjunction : 0.11 0.00 0.11 0.00 0.00
1800.05/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.02 c vbounds : 0.00 2 0 0
1800.05/1800.02 c rootredcost : 0.00 0 0 0
1800.05/1800.02 c pseudoobj : 113.40 6158508 633 1051145
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 29.15 588589 588408 3200577 28.3 434982 9.0 -
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 26 26 151 27.4 29 9.9 -
1800.05/1800.02 c applied globally : - - - 2647238 23.3 - - -
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 : 22.47 1711082 0 0 0 0 3422164
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.17 - 29
1800.05/1800.02 c oneopt : 0.07 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.00 0 0
1800.05/1800.02 c trysol : 0.00 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 : 2078681
1800.05/1800.02 c nodes (total) : 2078681
1800.05/1800.02 c nodes left : 1017725
1800.05/1800.02 c max depth : 998
1800.05/1800.02 c max depth (total): 998
1800.05/1800.02 c backtracks : 349973 (16.8%)
1800.05/1800.02 c delayed cutoffs : 267875
1800.05/1800.02 c repropagations : 1109550 (12367156 domain reductions, 221129 cutoffs)
1800.05/1800.02 c avg switch length: 14.40
1800.05/1800.02 c switching time : 510.16
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 29 (29 improvements)
1800.05/1800.02 c First Solution : +5.71000000000000e+02 (in run 1, after 3793 nodes, 0.85 seconds, depth 623, found by <relaxation>)
1800.05/1800.02 c Primal Bound : +7.00000000000000e+00 (in run 1, after 1060896 nodes, 526.56 seconds, depth 599, 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 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694061-1277903340/watcher-2694061-1277903340 -o /tmp/evaluation-result-2694061-1277903340/solver-2694061-1277903340 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694061-1277903340.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.06 2.03 2.00 3/182 12901 /proc/meminfo: memFree=31261788/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=8304 CPUtime=0 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 1552 0 0 0 0 0 0 0 22 0 1 0 131629599 8503296 1474 4089446400 4194304 7136930 140736499866208 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12901/statm: 2076 1475 275 719 0 1355 0 [startup+0.048539 s] /proc/loadavg: 2.06 2.03 2.00 3/182 12901 /proc/meminfo: memFree=31261788/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=22204 CPUtime=0.04 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 5473 0 0 0 4 0 0 0 23 0 1 0 131629599 22736896 4784 4089446400 4194304 7136930 140736499866208 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12901/statm: 5551 4784 346 719 0 4830 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 22204 [startup+0.100527 s] /proc/loadavg: 2.06 2.03 2.00 3/182 12901 /proc/meminfo: memFree=31261788/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=22080 CPUtime=0.09 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 6716 0 0 0 8 1 0 0 23 0 1 0 131629599 22609920 4742 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12901/statm: 5520 4742 360 719 0 4799 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22080 [startup+0.300491 s] /proc/loadavg: 2.06 2.03 2.00 3/182 12901 /proc/meminfo: memFree=31261788/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=24040 CPUtime=0.29 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 9588 0 0 0 26 3 0 0 23 0 1 0 131629599 24616960 5301 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12901/statm: 6010 5301 399 719 0 5289 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24040 [startup+0.700417 s] /proc/loadavg: 2.06 2.03 2.00 3/182 12901 /proc/meminfo: memFree=31261788/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=26184 CPUtime=0.69 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 10129 0 0 0 61 8 0 0 25 0 1 0 131629599 26812416 5842 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12901/statm: 6546 5842 404 719 0 5825 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26184 [startup+1.50027 s] /proc/loadavg: 2.06 2.03 2.00 3/183 12902 /proc/meminfo: memFree=31238964/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=28340 CPUtime=1.49 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 10681 0 0 0 132 17 0 0 25 0 1 0 131629599 29020160 6394 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12901/statm: 7085 6394 404 719 0 6364 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28340 [startup+3.10097 s] /proc/loadavg: 2.06 2.03 2.00 3/183 12902 /proc/meminfo: memFree=31234872/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=34268 CPUtime=3.09 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 12185 0 0 0 273 36 0 0 25 0 1 0 131629599 35090432 7898 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12901/statm: 8567 7898 404 719 0 7846 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34268 [startup+6.30038 s] /proc/loadavg: 2.06 2.03 2.00 3/183 12902 /proc/meminfo: memFree=31222860/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=45576 CPUtime=6.29 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 14950 0 0 0 566 63 0 0 25 0 1 0 131629599 46669824 10663 4089446400 4194304 7136930 140736499866208 18446744073709551615 4414760 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12901/statm: 11394 10663 407 719 0 10673 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45576 [startup+12.7002 s] /proc/loadavg: 2.12 2.04 2.01 3/183 12902 /proc/meminfo: memFree=31204888/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=64268 CPUtime=12.69 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 19659 0 0 0 1136 133 0 0 25 0 1 0 131629599 65810432 15372 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12901/statm: 16067 15372 407 719 0 15346 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64268 [startup+25.5008 s] /proc/loadavg: 2.10 2.04 2.01 3/183 12902 /proc/meminfo: memFree=31166944/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=104152 CPUtime=25.49 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 29199 0 0 0 2289 260 0 0 25 0 1 0 131629599 106651648 24912 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12901/statm: 26038 24912 407 719 0 25317 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 104152 [startup+51.1011 s] /proc/loadavg: 2.07 2.03 2.00 3/183 12903 /proc/meminfo: memFree=31119048/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=151944 CPUtime=51.09 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 41191 0 0 0 4673 436 0 0 25 0 1 0 131629599 155590656 36876 4089446400 4194304 7136930 140736499866208 18446744073709551615 4223182 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12901/statm: 37986 36876 407 719 0 37265 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 151944 [startup+102.307 s] /proc/loadavg: 2.14 2.06 2.01 3/183 12904 /proc/meminfo: memFree=30996008/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=277656 CPUtime=102.3 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 71555 0 0 0 9270 960 0 0 25 0 1 0 131629599 284319744 67240 4089446400 4194304 7136930 140736499866208 18446744073709551615 4209068 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12901/statm: 69414 67240 407 719 0 68693 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 277656 [startup+162.3 s] /proc/loadavg: 2.20 2.08 2.02 3/183 12906 /proc/meminfo: memFree=30895280/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=377220 CPUtime=162.29 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 96701 0 0 0 14792 1437 0 0 25 0 1 0 131629599 386273280 92386 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 94305 92386 407 719 0 93584 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 377220 [startup+222.3 s] /proc/loadavg: 2.07 2.06 2.01 3/183 12908 /proc/meminfo: memFree=30819956/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=450852 CPUtime=222.29 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 115336 0 0 0 20419 1810 0 0 25 0 1 0 131629599 461672448 111021 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 112713 111021 407 719 0 111992 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 450852 [startup+282.3 s] /proc/loadavg: 2.17 2.08 2.01 3/183 12909 /proc/meminfo: memFree=30773288/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=497856 CPUtime=282.3 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 126999 0 0 0 26146 2084 0 0 25 0 1 0 131629599 509804544 122684 4089446400 4194304 7136930 140736499866208 18446744073709551615 6166266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 124464 122684 407 719 0 123743 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 497856 [startup+342.301 s] /proc/loadavg: 2.06 2.06 2.01 3/183 12911 /proc/meminfo: memFree=30751932/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=519180 CPUtime=342.3 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 132277 0 0 0 31960 2270 0 0 25 0 1 0 131629599 531640320 127962 4089446400 4194304 7136930 140736499866208 18446744073709551615 5957535 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 129795 127962 407 719 0 129074 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 519180 [startup+402.301 s] /proc/loadavg: 2.02 2.05 2.00 3/183 12912 /proc/meminfo: memFree=30655044/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=619652 CPUtime=402.3 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 157014 0 0 0 37511 2719 0 0 25 0 1 0 131629599 634523648 152699 4089446400 4194304 7136930 140736499866208 18446744073709551615 5004398 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 154913 152699 407 719 0 154192 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 619652 [startup+462.301 s] /proc/loadavg: 2.09 2.05 2.01 3/183 12914 /proc/meminfo: memFree=30567208/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=713160 CPUtime=462.31 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 178241 0 0 0 43090 3141 0 0 25 0 1 0 131629599 730275840 173926 4089446400 4194304 7136930 140736499866208 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 178290 173926 407 719 0 177569 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 713160 [startup+522.301 s] /proc/loadavg: 2.03 2.04 2.00 3/183 12916 /proc/meminfo: memFree=30481232/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=799792 CPUtime=522.3 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 199825 0 0 0 48685 3545 0 0 25 0 1 0 131629599 818987008 195510 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 199948 195510 407 719 0 199227 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 799792 [startup+582.301 s] /proc/loadavg: 2.01 2.03 2.00 3/183 12917 /proc/meminfo: memFree=30426384/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=852552 CPUtime=582.31 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 213014 0 0 0 54311 3920 0 0 25 0 1 0 131629599 873013248 208699 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 213138 208699 407 719 0 212417 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 852552 [startup+642.301 s] /proc/loadavg: 2.05 2.04 2.00 3/183 12919 /proc/meminfo: memFree=30390248/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=885600 CPUtime=642.31 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 221347 0 0 0 59993 4238 0 0 25 0 1 0 131629599 906854400 217032 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 221400 217032 407 719 0 220679 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 885600 [startup+702.301 s] ################ # More data... # ################ /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 306871 0 0 0 94109 6123 0 0 25 0 1 0 131629599 1252855808 302556 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 305873 302556 407 719 0 305152 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1223492 [startup+1062.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 12958 /proc/meminfo: memFree=30080440/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1263556 CPUtime=1062.33 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 317034 0 0 0 99910 6323 0 0 25 0 1 0 131629599 1293881344 312719 4089446400 4194304 7136930 140736499866208 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 315889 312719 407 719 0 315168 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1263556 [startup+1122.3 s] /proc/loadavg: 2.14 2.04 2.01 3/183 12960 /proc/meminfo: memFree=29994100/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1302720 CPUtime=1122.33 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 322820 0 0 0 105739 6494 0 0 25 0 1 0 131629599 1333985280 318505 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 325680 318505 407 719 0 324959 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1302720 [startup+1182.3 s] /proc/loadavg: 2.05 2.03 2.00 3/183 12961 /proc/meminfo: memFree=29910484/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1326432 CPUtime=1182.33 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 328607 0 0 0 111594 6639 0 0 25 0 1 0 131629599 1358266368 324292 4089446400 4194304 7136930 140736499866208 18446744073709551615 4209726 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 331608 324292 407 719 0 330887 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1326432 [startup+1242.3 s] /proc/loadavg: 2.06 2.03 2.00 3/183 12963 /proc/meminfo: memFree=29834056/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1342300 CPUtime=1242.33 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 332659 0 0 0 117462 6771 0 0 25 0 1 0 131629599 1374515200 328344 4089446400 4194304 7136930 140736499866208 18446744073709551615 5000293 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 335575 328344 407 719 0 334854 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1342300 [startup+1302.3 s] /proc/loadavg: 2.12 2.05 2.01 3/183 12964 /proc/meminfo: memFree=29763456/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1360708 CPUtime=1302.34 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 337263 0 0 0 123348 6886 0 0 25 0 1 0 131629599 1393364992 332948 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 340177 332948 407 719 0 339456 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1360708 [startup+1362.3 s] /proc/loadavg: 2.22 2.09 2.02 3/183 12966 /proc/meminfo: memFree=29708368/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1371636 CPUtime=1362.33 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 339996 0 0 0 129237 6996 0 0 25 0 1 0 131629599 1404555264 335681 4089446400 4194304 7136930 140736499866208 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 342909 335681 407 719 0 342188 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1371636 [startup+1422.31 s] /proc/loadavg: 2.11 2.08 2.02 3/183 12971 /proc/meminfo: memFree=29649656/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1377936 CPUtime=1422.34 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 341564 0 0 0 135133 7101 0 0 25 0 1 0 131629599 1411006464 337249 4089446400 4194304 7136930 140736499866208 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 344484 337249 407 719 0 343763 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1377936 [startup+1482.3 s] /proc/loadavg: 2.08 2.08 2.02 3/183 12972 /proc/meminfo: memFree=29636108/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1385980 CPUtime=1482.33 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 343568 0 0 0 141035 7198 0 0 25 0 1 0 131629599 1419243520 339253 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 346495 339253 407 719 0 345774 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1385980 [startup+1542.3 s] /proc/loadavg: 2.06 2.08 2.02 3/183 12974 /proc/meminfo: memFree=29626388/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1394704 CPUtime=1542.34 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 345733 0 0 0 146940 7294 0 0 25 0 1 0 131629599 1428176896 341418 4089446400 4194304 7136930 140736499866208 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 348676 341418 407 719 0 347955 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1394704 [startup+1602.3 s] /proc/loadavg: 2.02 2.06 2.01 3/183 12975 /proc/meminfo: memFree=29615688/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1402796 CPUtime=1602.34 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 347816 0 0 0 152852 7382 0 0 25 0 1 0 131629599 1436463104 343501 4089446400 4194304 7136930 140736499866208 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 350699 343501 407 719 0 349978 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1402796 [startup+1662.3 s] /proc/loadavg: 2.01 2.05 2.00 3/183 12977 /proc/meminfo: memFree=29603992/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1411168 CPUtime=1662.34 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 349724 0 0 0 158765 7469 0 0 25 0 1 0 131629599 1445036032 345409 4089446400 4194304 7136930 140736499866208 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 352792 345409 407 719 0 352071 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1411168 [startup+1722.3 s] /proc/loadavg: 2.00 2.04 2.00 3/183 12979 /proc/meminfo: memFree=29593416/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1420868 CPUtime=1722.34 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 352076 0 0 0 164685 7549 0 0 25 0 1 0 131629599 1454968832 347761 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 355217 347761 407 719 0 354496 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1420868 [startup+1782.3 s] /proc/loadavg: 2.06 2.04 2.00 3/183 12980 /proc/meminfo: memFree=29585452/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1427356 CPUtime=1782.35 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 353691 0 0 0 170614 7621 0 0 25 0 1 0 131629599 1461612544 349376 4089446400 4194304 7136930 140736499866208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 356839 349376 407 719 0 356118 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1427356 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.05 2.04 2.00 3/183 12981 /proc/meminfo: memFree=29580732/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1430936 CPUtime=1800.05 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 354587 0 0 0 172361 7644 0 0 25 0 1 0 131629599 1465278464 350272 4089446400 4194304 7136930 140736499866208 18446744073709551615 4210441 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12901/statm: 357734 350272 407 719 0 357013 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1430936 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12901 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.04 2.04 2.00 3/184 12982 /proc/meminfo: memFree=29580228/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1429700 CPUtime=1801.45 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 354710 0 0 0 172501 7644 0 0 25 0 1 0 131629599 1464012800 349943 4089446400 4194304 7136930 140736499866208 18446744073709551615 4212320 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12901/statm: 357425 349943 412 719 0 356704 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 1429700 [startup+1801.81 s] /proc/loadavg: 2.04 2.04 2.00 3/184 12982 /proc/meminfo: memFree=29602300/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1397768 CPUtime=1801.85 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 354710 0 0 0 172541 7644 0 0 25 0 1 0 131629599 1431314432 341961 4089446400 4194304 7136930 140736499866208 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12901/statm: 349442 341961 412 719 0 348721 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1397768 [startup+1802 s] /proc/loadavg: 2.04 2.04 2.00 3/184 12982 /proc/meminfo: memFree=29602300/32951124 swapFree=67111528/67111528 [pid=12901] ppid=12899 vsize=1366744 CPUtime=1802.04 /proc/12901/stat : 12901 (pbscip.linux.x8) R 12899 12901 12353 0 -1 4202496 354710 0 0 0 172560 7644 0 0 25 0 1 0 131629599 1399545856 334205 4089446400 4194304 7136930 140736499866208 18446744073709551615 4615790 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12901/statm: 341686 334205 412 719 0 340965 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1366744 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.05 CPU time (s): 1802.11 CPU user time (s): 1725.61 CPU system time (s): 76.4924 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1431508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1725.61 system time used= 76.4924 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 354710 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= 2926 runsolver used 2.85457 second user time and 6.99694 second system time The end
Begin job on node135 at 2010-06-30 15:09:00 IDJOB=2694061 IDBENCH=78909 IDSOLVER=1206 FILE ID=node135/2694061-1277903340 PBS_JOBID= 11197222 Free space on /tmp= 74132 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900579996--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-2694061-1277903340/watcher-2694061-1277903340 -o /tmp/evaluation-result-2694061-1277903340/solver-2694061-1277903340 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694061-1277903340.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 088560862f81f380de0695aae8f2f503 RANDOM SEED=1270620731 node135.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.857 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.71 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.857 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.75 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.857 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.857 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 : 7186.14 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.857 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.75 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.857 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.75 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.857 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.857 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: 31262688 kB Buffers: 185348 kB Cached: 1107484 kB SwapCached: 0 kB Active: 727480 kB Inactive: 815508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31262688 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3156 kB Writeback: 0 kB AnonPages: 249496 kB Mapped: 17480 kB Slab: 80624 kB PageTables: 5280 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 405496 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74132 MiB End job on node135 at 2010-06-30 15:39:02