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.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo |
| MD5SUM | 7129b2638275c1b1b14ce0a3da71735e |
| 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 | 12 |
| Best CPU time to get the best result obtained on this benchmark | 323.561 |
| 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 | 927 |
| 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 | 45360 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45359 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 755 |
| 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-2694163-1277908603.wbo>
0.00/0.03 c original problem has 2085 variables (1158 bin, 0 int, 0 impl, 927 cont) and 3635 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.03/0.04 c presolving:
0.03/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.03/0.08 c (round 2) 0 del vars, 112 del conss, 927 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.03/0.09 c (round 3) 54 del vars, 168 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.08/0.10 c (round 4) 110 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs
0.08/0.11 c (round 5) 112 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs
0.08/0.16 c (0.1s) probing: 101/1102 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.16 c presolving (6 rounds):
0.08/0.16 c 112 deleted vars, 170 deleted constraints, 929 tightened bounds, 0 added holes, 56 changed sides, 0 changed coefficients
0.08/0.16 c 1141 implications, 14 cliques
0.08/0.16 c presolved problem has 1973 variables (1102 bin, 0 int, 0 impl, 871 cont) and 3465 constraints
0.08/0.16 c 871 constraints of type <indicator>
0.08/0.16 c 1 constraints of type <knapsack>
0.08/0.16 c 14 constraints of type <setppc>
0.08/0.16 c 871 constraints of type <linear>
0.08/0.16 c 1708 constraints of type <logicor>
0.08/0.16 c transformed objective value is always integral (scale: 1)
0.08/0.16 c Presolving Time: 0.11
0.08/0.16 c - non default parameters ----------------------------------------------------------------------
0.08/0.16 c # SCIP version 1.2.1.2
0.08/0.16 c
0.08/0.16 c # frequency for displaying node information lines
0.08/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.16 c display/freq = 10000
0.08/0.16 c
0.08/0.16 c # maximal time in seconds to run
0.08/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.16 c limits/time = 1799.98
0.08/0.16 c
0.08/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.16 c limits/memory = 3420
0.08/0.16 c
0.08/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.08/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.08/0.16 c lp/solvefreq = -1
0.08/0.16 c
0.08/0.16 c # should presolving try to simplify inequalities
0.08/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.16 c constraints/linear/simplifyinequalities = TRUE
0.08/0.16 c
0.08/0.16 c # should presolving try to simplify knapsacks
0.08/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.16 c
0.08/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.16 c separating/rapidlearning/freq = 0
0.08/0.16 c
0.08/0.16 c -----------------------------------------------------------------------------------------------
0.08/0.16 c start solving
0.08/0.16 c
0.08/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.16 c 0.1s| 1 | 2 | 0 | - |7624k| 0 | - |1973 |3465 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.12 o 310
1.10/1.12 c * 1.0s| 3524 | 3031 | 0 | 0.0 |9986k|1058 | - |1973 |4073 | 0 | 0 | 0 | 912 | 0 | 0.000000e+00 | 3.100000e+02 | Inf
3.09/3.12 c 3.0s| 10000 | 8221 | 0 | 0.0 | 14M|1058 | - |1973 |4880 | 0 | 0 | 0 |4613 | 0 | 0.000000e+00 | 3.100000e+02 | Inf
7.60/7.62 c 7.3s| 20000 | 13980 | 0 | 0.0 | 23M|1058 | - |1973 |6867 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.100000e+02 | Inf
8.09/8.14 o 298
8.09/8.14 c * 7.8s| 21254 | 14937 | 0 | 0.0 | 24M|1058 | - |1973 |6376 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.980000e+02 | Inf
8.29/8.34 o 175
8.29/8.34 c * 8.0s| 21925 | 15258 | 0 | 0.0 | 24M|1058 | - |1973 |6164 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
9.29/9.31 o 108
9.29/9.31 c * 9.0s| 24854 | 17370 | 0 | 0.0 | 26M|1058 | - |1973 |6140 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
11.00/11.06 c 10.7s| 30000 | 21575 | 0 | 0.0 | 29M|1058 | - |1973 |5424 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
14.59/14.65 c 14.1s| 40000 | 28977 | 0 | 0.0 | 36M|1058 | - |1973 |6762 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
18.70/18.79 c 18.1s| 50000 | 35705 | 0 | 0.0 | 44M|1058 | - |1973 |8247 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
23.59/23.67 c 22.9s| 60000 | 41545 | 0 | 0.0 | 52M|1058 | - |1973 |8913 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
29.19/29.26 c 28.4s| 70000 | 46596 | 0 | 0.0 | 60M|1058 | - |1973 |9830 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
35.79/35.85 c 34.8s| 80000 | 50580 | 0 | 0.0 | 69M|1058 | - |1973 | 11k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
43.19/43.23 c 42.1s| 90000 | 53798 | 0 | 0.0 | 77M|1058 | - |1973 | 12k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
52.49/52.51 c 51.2s|100000 | 55488 | 0 | 0.0 | 85M|1058 | - |1973 | 16k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
56.59/56.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.59/56.69 c 55.3s|110000 | 64420 | 0 | 0.0 | 90M|1058 | - |1973 |7508 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
57.39/57.44 o 104
57.39/57.44 c *56.0s|111889 | 65968 | 0 | 0.0 | 92M|1058 | - |1973 |7431 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
58.50/58.50 o 80
58.50/58.50 c *57.0s|114574 | 67074 | 0 | 0.0 | 92M|1058 | - |1973 |7561 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
58.50/58.50 o 76
58.50/58.50 c *57.0s|114575 | 65618 | 0 | 0.0 | 90M|1058 | - |1973 |7561 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
60.99/61.06 c 59.5s|120000 | 69839 | 0 | 0.0 | 97M|1058 | - |1973 |6555 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
62.29/62.39 o 67
62.29/62.39 c *60.8s|122877 | 71799 | 0 | 0.0 | 100M|1058 | - |1973 |6758 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
65.79/65.81 c 64.2s|130000 | 76885 | 0 | 0.0 | 107M|1058 | - |1973 |5821 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
69.70/69.74 c 68.0s|140000 | 84841 | 0 | 0.0 | 116M|1058 | - |1973 |6617 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
74.10/74.13 o 54
74.10/74.13 c *72.2s|149917 | 91229 | 0 | 0.0 | 122M|1058 | - |1973 |6726 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
74.10/74.17 c 72.3s|150000 | 91292 | 0 | 0.0 | 122M|1058 | - |1973 |6727 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
78.89/78.96 c 76.9s|160000 | 98004 | 0 | 0.0 | 130M|1058 | - |1973 |4826 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
82.79/82.89 c 80.8s|170000 |105499 | 0 | 0.0 | 137M|1058 | - |1973 |5542 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
88.09/88.18 c 85.9s|180000 |110933 | 0 | 0.0 | 145M|1058 | - |1973 |7291 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
93.80/93.80 c 91.3s|190000 |115974 | 0 | 0.0 | 153M|1058 | - |1973 |8425 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
99.79/99.88 c 97.3s|200000 |120623 | 0 | 0.0 | 160M|1058 | - |1973 |8993 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
106.49/106.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.49/106.52 c 104s|210000 |124624 | 0 | 0.0 | 168M|1058 | - |1973 |9658 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
113.60/113.67 c 111s|220000 |128038 | 0 | 0.0 | 175M|1058 | - |1973 |9342 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
121.00/121.05 c 118s|230000 |131144 | 0 | 0.0 | 182M|1058 | - |1973 | 10k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
129.29/129.36 c 126s|240000 |133426 | 0 | 0.0 | 188M|1058 | - |1973 | 10k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
137.89/137.96 c 135s|250000 |135479 | 0 | 0.0 | 195M|1058 | - |1973 | 10k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
146.60/146.68 c 143s|260000 |137372 | 0 | 0.0 | 200M|1058 | - |1973 | 10k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
155.89/155.94 c 152s|270000 |138611 | 0 | 0.0 | 205M|1058 | - |1973 | 11k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
165.30/165.35 c 162s|280000 |139901 | 0 | 0.0 | 211M|1058 | - |1973 | 12k| 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
175.49/175.55 c 172s|290000 |140452 | 0 | 0.0 | 215M|1058 | - |1973 | 12k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
186.90/186.98 c 183s|300000 |139948 | 0 | 0.0 | 219M|1058 | - |1973 | 15k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
200.30/200.30 c 196s|310000 |138547 | 0 | 0.0 | 221M|1058 | - |1973 | 17k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
210.99/211.02 c 207s|320000 |140999 | 0 | 0.0 | 222M|1058 | - |1973 |9277 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
215.60/215.69 c 211s|330000 |148992 | 0 | 0.0 | 232M|1058 | - |1973 |6295 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
220.00/220.00 c 215s|340000 |156996 | 0 | 0.0 | 243M|1058 | - |1973 |6491 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
224.30/224.39 c 220s|350000 |164862 | 0 | 0.0 | 253M|1058 | - |1973 |6591 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
228.89/228.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.89/228.90 c 224s|360000 |172624 | 0 | 0.0 | 264M|1058 | - |1973 |6906 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
233.60/233.68 c 229s|370000 |180117 | 0 | 0.0 | 275M|1058 | - |1973 |7134 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
235.60/235.66 o 41
235.60/235.66 c * 231s|373938 |180200 | 0 | 0.0 | 264M|1058 | - |1973 |7203 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
238.80/238.89 c 234s|380000 |184286 | 0 | 0.0 | 271M|1058 | - |1973 |6365 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
243.89/243.95 c 239s|390000 |190865 | 0 | 0.0 | 281M|1058 | - |1973 |6489 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
249.00/249.02 c 244s|400000 |197375 | 0 | 0.0 | 290M|1058 | - |1973 |6949 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
254.40/254.49 c 249s|410000 |203478 | 0 | 0.0 | 300M|1058 | - |1973 |7520 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
260.10/260.16 c 254s|420000 |209280 | 0 | 0.0 | 309M|1058 | - |1973 |7190 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
266.10/266.14 c 260s|430000 |214722 | 0 | 0.0 | 319M|1058 | - |1973 |8271 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
267.80/267.82 o 26
267.80/267.82 c * 262s|432439 |213162 | 0 | 0.0 | 304M|1058 | - |1973 |8330 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
273.70/273.77 c 268s|440000 |215619 | 0 | 0.0 | 311M|1058 | - |1973 |9627 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
283.09/283.13 c 277s|450000 |217538 | 0 | 0.0 | 320M|1058 | - |1973 | 12k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
292.20/292.28 c 286s|460000 |220152 | 0 | 0.0 | 327M|1058 | - |1973 | 10k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
295.80/295.90 c 289s|470000 |228270 | 0 | 0.0 | 334M|1058 | - |1973 |9685 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
299.49/299.60 c 293s|480000 |236207 | 0 | 0.0 | 341M|1058 | - |1973 | 10k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
303.30/303.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.30/303.36 c 297s|490000 |244055 | 0 | 0.0 | 348M|1058 | - |1973 | 10k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
307.49/307.54 c 301s|500000 |251472 | 0 | 0.0 | 355M|1058 | - |1973 | 11k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
312.10/312.14 c 305s|510000 |258611 | 0 | 0.0 | 361M|1058 | - |1973 | 11k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
316.90/316.90 c 310s|520000 |265540 | 0 | 0.0 | 369M|1058 | - |1973 | 12k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
322.10/322.17 c 315s|530000 |272119 | 0 | 0.0 | 377M|1058 | - |1973 | 14k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
329.00/329.07 c 322s|540000 |277341 | 0 | 0.0 | 385M|1058 | - |1973 | 15k| 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
337.99/338.07 c 331s|550000 |281091 | 0 | 0.0 | 393M|1058 | - |1973 | 19k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
349.40/349.40 c 342s|560000 |283850 | 0 | 0.0 | 402M|1058 | - |1973 | 18k| 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
355.20/355.25 c 347s|570000 |290990 | 0 | 0.0 | 416M|1058 | - |1973 | 15k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
361.40/361.47 c 354s|580000 |297419 | 0 | 0.0 | 433M|1058 | - |1973 | 16k| 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
369.51/369.51 c 361s|590000 |302482 | 0 | 0.0 | 452M|1058 | - |1973 | 19k| 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
380.10/380.11 c 372s|600000 |306017 | 0 | 0.0 | 470M|1058 | - |1973 | 23k| 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
391.20/391.21 c 383s|610000 |310028 | 0 | 0.0 | 475M|1058 | - |1973 |5386 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
395.00/395.00 c 386s|620000 |317882 | 0 | 0.0 | 483M|1058 | - |1973 |4571 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
399.10/399.14 c 391s|630000 |325261 | 0 | 0.0 | 492M|1058 | - |1973 |5088 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
403.40/403.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.40/403.46 c 395s|640000 |332345 | 0 | 0.0 | 500M|1058 | - |1973 |4716 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
407.10/407.15 c 398s|650000 |340211 | 0 | 0.0 | 508M|1058 | - |1973 |5101 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
411.30/411.40 c 402s|660000 |347209 | 0 | 0.0 | 516M|1058 | - |1973 |6028 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
415.40/415.40 c 406s|670000 |354492 | 0 | 0.0 | 523M|1058 | - |1973 |5403 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
419.70/419.76 c 411s|680000 |361228 | 0 | 0.0 | 531M|1058 | - |1973 |5753 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
423.10/423.18 c 414s|690000 |369282 | 0 | 0.0 | 537M|1058 | - |1973 |5823 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
427.10/427.15 c 418s|700000 |376444 | 0 | 0.0 | 544M|1058 | - |1973 |6484 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
431.50/431.50 c 422s|710000 |383242 | 0 | 0.0 | 550M|1058 | - |1973 |6212 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
435.41/435.47 c 426s|720000 |390400 | 0 | 0.0 | 556M|1058 | - |1973 |6328 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
439.50/439.52 c 430s|730000 |397678 | 0 | 0.0 | 562M|1058 | - |1973 |4129 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
443.80/443.86 c 434s|740000 |404286 | 0 | 0.0 | 568M|1058 | - |1973 |5935 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
451.70/451.70 c 442s|750000 |406613 | 0 | 0.0 | 574M|1058 | - |1973 |9024 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
461.30/461.39 c 451s|760000 |407690 | 0 | 0.0 | 580M|1058 | - |1973 | 11k| 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
473.01/473.03 c 463s|770000 |407592 | 0 | 0.0 | 585M|1058 | - |1973 | 12k| 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
484.80/484.86 c 474s|780000 |407733 | 0 | 0.0 | 590M|1058 | - |1973 | 11k| 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
497.21/497.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.21/497.28 c 486s|790000 |406945 | 0 | 0.0 | 593M|1058 | - |1973 | 12k| 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
509.61/509.68 c 499s|800000 |406567 | 0 | 0.0 | 597M|1058 | - |1973 | 13k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
522.51/522.51 c 511s|810000 |405745 | 0 | 0.0 | 597M|1058 | - |1973 | 12k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
536.30/536.38 c 525s|820000 |404083 | 0 | 0.0 | 597M|1058 | - |1973 | 13k| 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
550.40/550.47 c 539s|830000 |401806 | 0 | 0.0 | 595M|1058 | - |1973 | 12k| 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
564.90/564.91 c 553s|840000 |398607 | 0 | 0.0 | 592M|1058 | - |1973 | 12k| 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
580.10/580.12 c 568s|850000 |394832 | 0 | 0.0 | 587M|1058 | - |1973 | 13k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
596.40/596.49 c 584s|860000 |388594 | 0 | 0.0 | 576M|1058 | - |1973 | 12k| 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
607.70/607.78 c 595s|870000 |384440 | 0 | 0.0 | 558M|1058 | - |1973 |7335 | 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
612.50/612.55 c 600s|880000 |391440 | 0 | 0.0 | 566M|1058 | - |1973 |6674 | 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
617.61/617.65 c 605s|890000 |398108 | 0 | 0.0 | 574M|1058 | - |1973 |5968 | 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
622.80/622.86 c 610s|900000 |404550 | 0 | 0.0 | 583M|1058 | - |1973 |6818 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
628.11/628.12 c 615s|910000 |411075 | 0 | 0.0 | 592M|1058 | - |1973 |7558 | 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
633.51/633.56 c 621s|920000 |417379 | 0 | 0.0 | 601M|1058 | - |1973 |8092 | 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
638.91/638.92 c 626s|930000 |423781 | 0 | 0.0 | 609M|1058 | - |1973 |8195 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
639.60/639.69 o 24
639.60/639.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.60/639.69 c * 627s|931565 |424371 | 0 | 0.0 | 608M|1058 | - |1973 |8295 | 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
644.61/644.65 c 631s|940000 |429453 | 0 | 0.0 | 616M|1058 | - |1973 |8406 | 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
650.31/650.39 c 637s|950000 |435611 | 0 | 0.0 | 624M|1058 | - |1973 |8352 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
655.71/655.79 c 642s|960000 |442092 | 0 | 0.0 | 632M|1058 | - |1973 |8143 | 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
661.71/661.79 c 648s|970000 |447860 | 0 | 0.0 | 640M|1058 | - |1973 |8934 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
668.21/668.28 c 654s|980000 |453052 | 0 | 0.0 | 648M|1058 | - |1973 |8992 | 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
675.01/675.02 c 661s|990000 |457858 | 0 | 0.0 | 655M|1058 | - |1973 |8989 | 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
676.41/676.48 o 19
676.41/676.48 c * 662s|992630 |449803 | 0 | 0.0 | 628M|1058 | - |1973 |9200 | 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
682.80/682.81 c 669s| 1000k|452575 | 0 | 0.0 | 639M|1058 | - |1973 |9461 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
690.31/690.36 c 676s| 1010k|457192 | 0 | 0.0 | 650M|1058 | - |1973 |9022 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
697.91/697.90 c 683s| 1020k|461581 | 0 | 0.0 | 659M|1058 | - |1973 |9756 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
705.51/705.58 c 691s| 1030k|465628 | 0 | 0.0 | 667M|1058 | - |1973 | 10k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
713.71/713.72 c 699s| 1040k|469332 | 0 | 0.0 | 674M|1058 | - |1973 | 10k| 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
721.31/721.34 c 706s| 1050k|473443 | 0 | 0.0 | 682M|1058 | - |1973 | 10k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
729.90/729.99 c 715s| 1060k|476721 | 0 | 0.0 | 688M|1058 | - |1973 | 10k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
738.90/738.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
738.90/738.96 c 724s| 1070k|479665 | 0 | 0.0 | 695M|1058 | - |1973 | 11k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
747.81/747.83 c 732s| 1080k|482681 | 0 | 0.0 | 702M|1058 | - |1973 | 11k| 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
757.11/757.16 c 742s| 1090k|485354 | 0 | 0.0 | 709M|1058 | - |1973 | 11k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
767.31/767.35 c 752s| 1100k|487277 | 0 | 0.0 | 715M|1058 | - |1973 | 12k| 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
777.72/777.72 c 762s| 1110k|489109 | 0 | 0.0 | 721M|1058 | - |1973 | 12k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
788.41/788.43 c 772s| 1120k|490736 | 0 | 0.0 | 727M|1058 | - |1973 | 12k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
799.51/799.57 c 783s| 1130k|492013 | 0 | 0.0 | 732M|1058 | - |1973 | 12k| 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
810.82/810.83 c 794s| 1140k|493132 | 0 | 0.0 | 738M|1058 | - |1973 | 13k| 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
822.51/822.52 c 806s| 1150k|494078 | 0 | 0.0 | 743M|1058 | - |1973 | 13k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
834.61/834.68 c 818s| 1160k|494652 | 0 | 0.0 | 747M|1058 | - |1973 | 14k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
847.21/847.28 c 830s| 1170k|495069 | 0 | 0.0 | 753M|1058 | - |1973 | 14k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
860.91/860.94 c 844s| 1180k|494394 | 0 | 0.0 | 755M|1058 | - |1973 | 15k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
875.31/875.30 c 858s| 1190k|493520 | 0 | 0.0 | 757M|1058 | - |1973 | 16k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
891.21/891.28 c 874s| 1200k|491686 | 0 | 0.0 | 758M|1058 | - |1973 | 17k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
909.12/909.10 c 891s| 1210k|488460 | 0 | 0.0 | 757M|1058 | - |1973 | 20k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
919.62/919.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.62/919.62 c 902s| 1220k|491618 | 0 | 0.0 | 756M|1058 | - |1973 | 12k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
924.71/924.77 c 907s| 1230k|498633 | 0 | 0.0 | 761M|1058 | - |1973 | 11k| 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
929.92/929.93 c 912s| 1240k|505486 | 0 | 0.0 | 768M|1058 | - |1973 | 12k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
935.41/935.48 c 917s| 1250k|512040 | 0 | 0.0 | 775M|1058 | - |1973 | 12k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
941.11/941.17 c 923s| 1260k|518518 | 0 | 0.0 | 781M|1058 | - |1973 | 12k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
947.02/947.02 c 928s| 1270k|524914 | 0 | 0.0 | 787M|1058 | - |1973 | 13k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
953.11/953.12 c 934s| 1280k|531157 | 0 | 0.0 | 794M|1058 | - |1973 | 13k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
959.12/959.11 c 940s| 1290k|537505 | 0 | 0.0 | 800M|1058 | - |1973 | 14k| 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
965.42/965.46 c 946s| 1300k|543558 | 0 | 0.0 | 806M|1058 | - |1973 | 14k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
971.81/971.86 c 953s| 1310k|549621 | 0 | 0.0 | 812M|1058 | - |1973 | 15k| 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
978.51/978.52 c 959s| 1320k|555476 | 0 | 0.0 | 818M|1058 | - |1973 | 15k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
985.92/985.94 c 967s| 1330k|560694 | 0 | 0.0 | 824M|1058 | - |1973 | 16k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
994.82/994.80 c 975s| 1340k|564891 | 0 | 0.0 | 830M|1058 | - |1973 | 16k| 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1003.61/1003.70 c 984s| 1350k|569229 | 0 | 0.0 | 836M|1058 | - |1973 | 16k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1013.02/1013.01 c 993s| 1360k|573245 | 0 | 0.0 | 842M|1058 | - |1973 | 18k| 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1023.12/1023.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.12/1023.13 c 1003s| 1370k|576894 | 0 | 0.0 | 848M|1058 | - |1973 | 18k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1033.31/1033.37 c 1013s| 1380k|580275 | 0 | 0.0 | 854M|1058 | - |1973 | 18k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1044.52/1044.51 c 1024s| 1390k|583089 | 0 | 0.0 | 859M|1058 | - |1973 | 19k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1055.71/1055.71 c 1035s| 1400k|585725 | 0 | 0.0 | 865M|1058 | - |1973 | 19k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1066.71/1066.76 c 1046s| 1410k|588737 | 0 | 0.0 | 870M|1058 | - |1973 | 20k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1078.12/1078.13 c 1057s| 1420k|591494 | 0 | 0.0 | 875M|1058 | - |1973 | 20k| 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1091.02/1091.06 c 1070s| 1430k|593368 | 0 | 0.0 | 880M|1058 | - |1973 | 20k| 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1104.11/1104.15 c 1083s| 1440k|595019 | 0 | 0.0 | 884M|1058 | - |1973 | 21k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1117.02/1117.07 c 1096s| 1450k|596916 | 0 | 0.0 | 889M|1058 | - |1973 | 21k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1129.92/1129.99 c 1108s| 1460k|598916 | 0 | 0.0 | 894M|1058 | - |1973 | 22k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1144.82/1144.90 c 1123s| 1470k|599868 | 0 | 0.0 | 898M|1058 | - |1973 | 23k| 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1160.12/1160.10 c 1138s| 1480k|600851 | 0 | 0.0 | 902M|1058 | - |1973 | 24k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
1175.52/1175.54 o 16
1175.52/1175.54 c *1154s| 1489k|589910 | 0 | 0.0 | 868M|1058 | - |1973 | 25k| 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1176.92/1176.96 c 1155s| 1490k|589851 | 0 | 0.0 | 870M|1058 | - |1973 | 26k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1199.72/1199.74 c 1178s| 1500k|586799 | 0 | 0.0 | 870M|1058 | - |1973 | 31k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1211.92/1211.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.92/1211.90 c 1190s| 1510k|590871 | 0 | 0.0 | 871M|1058 | - |1973 | 20k| 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1220.02/1220.02 c 1198s| 1520k|596548 | 0 | 0.0 | 878M|1058 | - |1973 | 18k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1228.12/1228.17 c 1206s| 1530k|601983 | 0 | 0.0 | 885M|1058 | - |1973 | 19k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1236.12/1236.11 c 1213s| 1540k|607519 | 0 | 0.0 | 891M|1058 | - |1973 | 19k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1244.12/1244.18 c 1221s| 1550k|612769 | 0 | 0.0 | 898M|1058 | - |1973 | 20k| 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1252.42/1252.45 c 1229s| 1560k|617889 | 0 | 0.0 | 905M|1058 | - |1973 | 20k| 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1260.92/1260.90 c 1238s| 1570k|622844 | 0 | 0.0 | 911M|1058 | - |1973 | 20k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1270.72/1270.76 c 1247s| 1580k|626796 | 0 | 0.0 | 916M|1058 | - |1973 | 21k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1282.02/1282.04 c 1259s| 1590k|629689 | 0 | 0.0 | 921M|1058 | - |1973 | 22k| 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1293.22/1293.20 c 1270s| 1600k|632804 | 0 | 0.0 | 927M|1058 | - |1973 | 22k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1306.82/1306.86 c 1283s| 1610k|634365 | 0 | 0.0 | 930M|1058 | - |1973 | 24k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1322.43/1322.40 c 1298s| 1620k|634891 | 0 | 0.0 | 933M|1058 | - |1973 | 27k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1340.42/1340.50 c 1316s| 1630k|634383 | 0 | 0.0 | 932M|1058 | - |1973 | 30k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1354.82/1354.88 c 1331s| 1640k|637238 | 0 | 0.0 | 929M|1058 | - |1973 | 12k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1360.22/1360.28 c 1336s| 1650k|644458 | 0 | 0.0 | 940M|1058 | - |1973 |7362 | 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1365.32/1365.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1365.32/1365.32 c 1341s| 1660k|651434 | 0 | 0.0 | 953M|1058 | - |1973 |7375 | 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1370.53/1370.52 c 1346s| 1670k|658175 | 0 | 0.0 | 965M|1058 | - |1973 |7748 | 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1376.73/1376.77 c 1352s| 1680k|664076 | 0 | 0.0 | 980M|1058 | - |1973 |8464 | 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1383.53/1383.59 c 1358s| 1690k|669477 | 0 | 0.0 | 994M|1058 | - |1973 |8506 | 0 | 0 | 0 |1695k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1390.43/1390.48 c 1365s| 1700k|674737 | 0 | 0.0 |1009M|1058 | - |1973 |8557 | 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1397.43/1397.47 c 1372s| 1710k|679916 | 0 | 0.0 |1022M|1058 | - |1973 |8899 | 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1404.63/1404.66 c 1379s| 1720k|684971 | 0 | 0.0 |1036M|1058 | - |1973 |9248 | 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1412.02/1412.06 c 1386s| 1730k|689762 | 0 | 0.0 |1048M|1058 | - |1973 |9510 | 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1419.12/1419.17 c 1393s| 1740k|694871 | 0 | 0.0 |1062M|1058 | - |1973 |9850 | 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1426.83/1426.89 c 1401s| 1750k|699416 | 0 | 0.0 |1075M|1058 | - |1973 | 10k| 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1436.03/1436.06 c 1410s| 1760k|702849 | 0 | 0.0 |1088M|1058 | - |1973 | 12k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1444.73/1444.77 c 1418s| 1770k|707084 | 0 | 0.0 |1097M|1058 | - |1973 | 11k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1449.33/1449.39 c 1423s| 1780k|714658 | 0 | 0.0 |1106M|1058 | - |1973 |9016 | 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1454.13/1454.12 c 1427s| 1790k|721855 | 0 | 0.0 |1117M|1058 | - |1973 |9197 | 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1459.83/1459.83 c 1433s| 1800k|728098 | 0 | 0.0 |1129M|1058 | - |1973 |9975 | 0 | 0 | 0 |1778k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1466.34/1466.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.34/1466.31 c 1439s| 1810k|733709 | 0 | 0.0 |1142M|1058 | - |1973 | 10k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1473.13/1473.19 c 1446s| 1820k|738725 | 0 | 0.0 |1154M|1058 | - |1973 | 10k| 0 | 0 | 0 |1793k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1480.33/1480.31 c 1453s| 1830k|743638 | 0 | 0.0 |1166M|1058 | - |1973 | 11k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1487.63/1487.60 c 1460s| 1840k|748444 | 0 | 0.0 |1178M|1058 | - |1973 | 11k| 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1495.23/1495.21 c 1468s| 1850k|753071 | 0 | 0.0 |1190M|1058 | - |1973 | 12k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1503.74/1503.77 c 1476s| 1860k|756880 | 0 | 0.0 |1202M|1058 | - |1973 | 12k| 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1513.13/1513.13 c 1485s| 1870k|760019 | 0 | 0.0 |1214M|1058 | - |1973 | 14k| 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1523.33/1523.36 c 1495s| 1880k|762296 | 0 | 0.0 |1225M|1058 | - |1973 | 16k| 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1530.73/1530.70 c 1502s| 1890k|767855 | 0 | 0.0 |1232M|1058 | - |1973 | 12k| 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1535.43/1535.49 c 1507s| 1900k|775142 | 0 | 0.0 |1241M|1058 | - |1973 | 11k| 0 | 0 | 0 |1862k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1541.33/1541.34 c 1513s| 1910k|781392 | 0 | 0.0 |1252M|1058 | - |1973 | 12k| 0 | 0 | 0 |1868k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1548.13/1548.11 c 1519s| 1920k|786744 | 0 | 0.0 |1263M|1058 | - |1973 | 13k| 0 | 0 | 0 |1875k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1555.52/1555.53 c 1527s| 1930k|791126 | 0 | 0.0 |1270M|1058 | - |1973 | 10k| 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1563.82/1563.83 c 1535s| 1940k|793741 | 0 | 0.0 |1277M|1058 | - |1973 | 11k| 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1571.03/1571.09 c 1542s| 1950k|797590 | 0 | 0.0 |1281M|1058 | - |1973 |8978 | 0 | 0 | 0 |1903k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1575.23/1575.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.23/1575.27 c 1546s| 1960k|804908 | 0 | 0.0 |1287M|1058 | - |1973 |9748 | 0 | 0 | 0 |1907k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1580.23/1580.26 c 1551s| 1970k|811412 | 0 | 0.0 |1293M|1058 | - |1973 | 10k| 0 | 0 | 0 |1912k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1585.93/1585.90 c 1556s| 1980k|817217 | 0 | 0.0 |1300M|1058 | - |1973 | 10k| 0 | 0 | 0 |1918k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1592.23/1592.23 c 1563s| 1990k|822235 | 0 | 0.0 |1306M|1058 | - |1973 | 10k| 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1598.73/1598.71 c 1569s| 2000k|826967 | 0 | 0.0 |1312M|1058 | - |1973 | 10k| 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1605.63/1605.66 c 1576s| 2010k|831170 | 0 | 0.0 |1318M|1058 | - |1973 | 10k| 0 | 0 | 0 |1940k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1612.73/1612.77 c 1583s| 2020k|835365 | 0 | 0.0 |1324M|1058 | - |1973 | 11k| 0 | 0 | 0 |1948k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1620.13/1620.10 c 1590s| 2030k|839314 | 0 | 0.0 |1330M|1058 | - |1973 | 11k| 0 | 0 | 0 |1956k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1627.43/1627.47 c 1597s| 2040k|843178 | 0 | 0.0 |1335M|1058 | - |1973 | 12k| 0 | 0 | 0 |1965k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1635.33/1635.33 c 1605s| 2050k|846816 | 0 | 0.0 |1341M|1058 | - |1973 | 13k| 0 | 0 | 0 |1974k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1643.63/1643.65 c 1613s| 2060k|850246 | 0 | 0.0 |1345M|1058 | - |1973 |9855 | 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1648.13/1648.12 c 1617s| 2070k|857375 | 0 | 0.0 |1350M|1058 | - |1973 | 10k| 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1653.93/1653.94 c 1623s| 2080k|863025 | 0 | 0.0 |1357M|1058 | - |1973 | 11k| 0 | 0 | 0 |1995k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1660.94/1660.92 c 1630s| 2090k|867724 | 0 | 0.0 |1363M|1058 | - |1973 | 13k| 0 | 0 | 0 |2002k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1668.84/1668.86 c 1638s| 2100k|871724 | 0 | 0.0 |1369M|1058 | - |1973 | 15k| 0 | 0 | 0 |2011k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1678.64/1678.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.64/1678.68 c 1647s| 2110k|874352 | 0 | 0.0 |1373M|1058 | - |1973 | 15k| 0 | 0 | 0 |2023k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1683.53/1683.51 c 1652s| 2120k|881493 | 0 | 0.0 |1378M|1058 | - |1973 | 10k| 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1689.03/1689.02 c 1657s| 2130k|887623 | 0 | 0.0 |1384M|1058 | - |1973 | 11k| 0 | 0 | 0 |2033k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1695.63/1695.64 c 1664s| 2140k|892740 | 0 | 0.0 |1390M|1058 | - |1973 | 12k| 0 | 0 | 0 |2040k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1703.53/1703.54 c 1672s| 2150k|896540 | 0 | 0.0 |1396M|1058 | - |1973 | 14k| 0 | 0 | 0 |2049k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1711.54/1711.56 c 1679s| 2160k|900608 | 0 | 0.0 |1397M|1058 | - |1973 |4938 | 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1715.73/1715.73 c 1683s| 2170k|907732 | 0 | 0.0 |1404M|1058 | - |1973 |4980 | 0 | 0 | 0 |2062k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1720.73/1720.77 c 1688s| 2180k|913782 | 0 | 0.0 |1411M|1058 | - |1973 |4806 | 0 | 0 | 0 |2068k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1725.13/1725.14 c 1693s| 2190k|920586 | 0 | 0.0 |1417M|1058 | - |1973 |4797 | 0 | 0 | 0 |2072k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1729.63/1729.64 c 1697s| 2200k|927236 | 0 | 0.0 |1424M|1058 | - |1973 |5199 | 0 | 0 | 0 |2077k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1734.13/1734.16 c 1701s| 2210k|933840 | 0 | 0.0 |1430M|1058 | - |1973 |4801 | 0 | 0 | 0 |2082k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1738.43/1738.46 c 1705s| 2220k|940617 | 0 | 0.0 |1436M|1058 | - |1973 |5573 | 0 | 0 | 0 |2087k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1742.63/1742.62 c 1710s| 2230k|947712 | 0 | 0.0 |1442M|1058 | - |1973 |4513 | 0 | 0 | 0 |2091k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1746.53/1746.51 c 1713s| 2240k|954945 | 0 | 0.0 |1449M|1058 | - |1973 |5821 | 0 | 0 | 0 |2095k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1750.84/1750.89 c 1718s| 2250k|961541 | 0 | 0.0 |1455M|1058 | - |1973 |5270 | 0 | 0 | 0 |2100k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1755.23/1755.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.23/1755.22 c 1722s| 2260k|968046 | 0 | 0.0 |1461M|1058 | - |1973 |5874 | 0 | 0 | 0 |2105k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1759.13/1759.14 c 1726s| 2270k|975440 | 0 | 0.0 |1466M|1058 | - |1973 |3805 | 0 | 0 | 0 |2110k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1770.44/1770.43 c 1737s| 2280k|973864 | 0 | 0.0 |1462M|1058 | - |1973 |9616 | 0 | 0 | 0 |2127k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1787.83/1787.86 c 1754s| 2290k|967926 | 0 | 0.0 |1450M|1058 | - |1973 | 14k| 0 | 0 | 0 |2151k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1765.93
1800.04/1800.00 c Solving Nodes : 2295755
1800.04/1800.00 c Primal Bound : +1.60000000000000e+01 (14 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.02 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/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.04/1800.02 v x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.02 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.04/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.04/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.04/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.04/1800.02 v -x1
1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.02 c Solving Time : 1765.93
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-2694163-1277908603.wbo
1800.04/1800.02 c Variables : 2085 (1158 binary, 0 integer, 0 implicit integer, 927 continuous)
1800.04/1800.02 c Constraints : 3635 initial, 3635 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-2694163-1277908603.wbo
1800.04/1800.02 c Variables : 1973 (1102 binary, 0 integer, 0 implicit integer, 871 continuous)
1800.04/1800.02 c Constraints : 3465 initial, 33465 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 56 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 56 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 0.00 0 0 0 0 0 56 0 0
1800.04/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.07 0 0 0 929 0 114 56 0
1800.04/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 741 - - 1482 - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 871 0 5823537 0 1539090 953 5633325 0 0 0
1800.04/1800.02 c knapsack : 1 0 7673808 0 1822851 162894 24231549 0 0 0
1800.04/1800.02 c setppc : 14 0 7544404 0 1823057 134290 4479174 0 0 0
1800.04/1800.02 c linear : 871 0 7410630 0 1823208 118195 9953468 0 0 0
1800.04/1800.02 c logicor : 1708+ 0 5389341 0 1823222 308244 14311200 0 0 0
1800.04/1800.02 c bounddisjunction : 0+ 0 173270 0 0 20 1001 0 0 0
1800.04/1800.02 c countsols : 0 0 0 0 1823214 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c indicator : 25.44 0.00 14.54 0.00 10.90
1800.04/1800.02 c knapsack : 90.56 0.00 86.81 0.00 3.75
1800.04/1800.02 c setppc : 29.01 0.00 25.21 0.00 3.80
1800.04/1800.02 c linear : 147.64 0.00 145.56 0.00 2.08
1800.04/1800.02 c logicor : 554.38 0.00 445.93 0.00 108.45
1800.04/1800.02 c bounddisjunction : 0.45 0.00 0.45 0.00 0.00
1800.04/1800.02 c countsols : 0.29 0.00 0.00 0.00 0.29
1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.02 c vbounds : 2.13 2 0 0
1800.04/1800.02 c rootredcost : 2.11 0 0 0
1800.04/1800.02 c pseudoobj : 167.68 7716456 7792 5557061
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 29.34 731435 731293 3365325 22.0 165861 10.6 -
1800.04/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.02 187 187 934 21.6 122 9.5 -
1800.04/1800.02 c applied globally : - - - 2165999 19.2 - - -
1800.04/1800.02 c applied locally : - - - 28 130.9 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.02 c redcost : 0.00 0 0 0 0 0
1800.04/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.00 0 0 0 0 0
1800.04/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.02 c cmir : 0.00 0 0 0 0 0
1800.04/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.02 c clique : 0.00 0 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 0 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 41.47 1823200 0 0 0 0 3646400
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.00 - 0
1800.04/1800.02 c pseudo solutions : 0.10 - 14
1800.04/1800.02 c oneopt : 0.74 0 0
1800.04/1800.02 c trivial : 0.01 2 0
1800.04/1800.02 c simplerounding : 0.00 0 0
1800.04/1800.02 c zirounding : 0.00 0 0
1800.04/1800.02 c rounding : 0.00 0 0
1800.04/1800.02 c shifting : 0.00 0 0
1800.04/1800.02 c intshifting : 0.00 0 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c feaspump : 0.00 0 0
1800.04/1800.02 c coefdiving : 0.00 0 0
1800.04/1800.02 c pscostdiving : 0.00 0 0
1800.04/1800.02 c fracdiving : 0.00 0 0
1800.04/1800.02 c veclendiving : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c objpscostdiving : 0.00 0 0
1800.04/1800.02 c rootsoldiving : 0.00 0 0
1800.04/1800.02 c linesearchdiving : 0.00 0 0
1800.04/1800.02 c guideddiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.00 0 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c crossover : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c nlp : 0.70 0 0
1800.04/1800.02 c trysol : 0.59 1 0
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.02 c (at root node) : - 0 0 0.00 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 2295755
1800.04/1800.02 c nodes (total) : 2295755
1800.04/1800.02 c nodes left : 963849
1800.04/1800.02 c max depth : 1058
1800.04/1800.02 c max depth (total): 1058
1800.04/1800.02 c backtracks : 464763 (20.2%)
1800.04/1800.02 c delayed cutoffs : 355864
1800.04/1800.02 c repropagations : 1823087 (18794406 domain reductions, 260034 cutoffs)
1800.04/1800.02 c avg switch length: 25.63
1800.04/1800.02 c switching time : 519.98
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 14 (14 improvements)
1800.04/1800.02 c First Solution : +3.10000000000000e+02 (in run 1, after 3524 nodes, 1.04 seconds, depth 703, found by <relaxation>)
1800.04/1800.02 c Primal Bound : +1.60000000000000e+01 (in run 1, after 1489243 nodes, 1153.50 seconds, depth 445, found by <relaxation>)
1800.04/1800.02 c Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Root Iterations : 0
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694163-1277908603/watcher-2694163-1277908603 -o /tmp/evaluation-result-2694163-1277908603/solver-2694163-1277908603 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694163-1277908603.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.44 2.12 2.03 4/178 16072 /proc/meminfo: memFree=30966536/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=8160 CPUtime=0 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 1544 0 0 0 0 0 0 0 25 0 1 0 132154824 8355840 1466 4089446400 4194304 7136930 140733872924080 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16072/statm: 2040 1466 275 719 0 1319 0 [startup+0.036777 s] /proc/loadavg: 2.44 2.12 2.03 4/178 16072 /proc/meminfo: memFree=30966536/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=17656 CPUtime=0.03 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 4259 0 0 0 3 0 0 0 25 0 1 0 132154824 18079744 3827 4089446400 4194304 7136930 140733872924080 18446744073709551615 4214039 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 4414 3859 289 719 0 3693 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 17656 [startup+0.100752 s] /proc/loadavg: 2.44 2.12 2.03 4/178 16072 /proc/meminfo: memFree=30966536/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=22212 CPUtime=0.08 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 6483 0 0 0 8 0 0 0 25 0 1 0 132154824 22745088 4766 4089446400 4194304 7136930 140733872924080 18446744073709551615 4222490 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 5553 4766 359 719 0 4832 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 22212 [startup+0.300728 s] /proc/loadavg: 2.44 2.12 2.03 4/178 16072 /proc/meminfo: memFree=30966536/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=24212 CPUtime=0.29 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 9606 0 0 0 27 2 0 0 25 0 1 0 132154824 24793088 5319 4089446400 4194304 7136930 140733872924080 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 6053 5319 399 719 0 5332 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24212 [startup+0.700645 s] /proc/loadavg: 2.44 2.12 2.03 4/178 16072 /proc/meminfo: memFree=30966536/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=25232 CPUtime=0.69 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 9874 0 0 0 65 4 0 0 25 0 1 0 132154824 25837568 5587 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 6308 5587 404 719 0 5587 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25232 [startup+1.5005 s] /proc/loadavg: 2.44 2.12 2.03 3/179 16073 /proc/meminfo: memFree=30943960/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=28064 CPUtime=1.49 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 10598 0 0 0 143 6 0 0 25 0 1 0 132154824 28737536 6311 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 7016 6311 404 719 0 6295 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28064 [startup+3.10022 s] /proc/loadavg: 2.44 2.12 2.03 3/179 16073 /proc/meminfo: memFree=30940860/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=32696 CPUtime=3.09 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 11765 0 0 0 297 12 0 0 25 0 1 0 132154824 33480704 7478 4089446400 4194304 7136930 140733872924080 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 8174 7478 404 719 0 7453 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32696 [startup+6.30066 s] /proc/loadavg: 2.41 2.12 2.03 3/179 16073 /proc/meminfo: memFree=30932656/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=41676 CPUtime=6.29 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 13994 0 0 0 609 20 0 0 25 0 1 0 132154824 42676224 9707 4089446400 4194304 7136930 140733872924080 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 10419 9707 404 719 0 9698 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41676 [startup+12.7005 s] /proc/loadavg: 2.37 2.12 2.03 3/179 16074 /proc/meminfo: memFree=30913256/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=59432 CPUtime=12.69 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 18449 0 0 0 1229 40 0 0 25 0 1 0 132154824 60858368 14162 4089446400 4194304 7136930 140733872924080 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 14858 14162 405 719 0 14137 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59432 [startup+25.5003 s] /proc/loadavg: 2.29 2.11 2.03 3/179 16074 /proc/meminfo: memFree=30887028/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=84548 CPUtime=25.49 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 24779 0 0 0 2471 78 0 0 25 0 1 0 132154824 86577152 20492 4089446400 4194304 7136930 140733872924080 18446744073709551615 4923049 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 21137 20492 405 719 0 20416 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 84548 [startup+51.1007 s] /proc/loadavg: 2.19 2.10 2.03 3/179 16075 /proc/meminfo: memFree=30844160/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=124736 CPUtime=51.09 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 34777 0 0 0 4984 125 0 0 25 0 1 0 132154824 127729664 30490 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 31184 30490 405 719 0 30463 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 124736 [startup+102.307 s] /proc/loadavg: 2.08 2.08 2.02 3/179 16076 /proc/meminfo: memFree=30736736/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=234392 CPUtime=102.29 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 60762 0 0 0 9970 259 0 0 25 0 1 0 132154824 240017408 56475 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 58598 56475 407 719 0 57877 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 234392 [startup+162.301 s] /proc/loadavg: 2.03 2.07 2.02 3/179 16078 /proc/meminfo: memFree=30680032/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=284336 CPUtime=162.29 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 73193 0 0 0 15865 364 0 0 25 0 1 0 132154824 291160064 68906 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 71084 68906 407 719 0 70363 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 284336 [startup+222.301 s] /proc/loadavg: 2.06 2.07 2.02 3/179 16079 /proc/meminfo: memFree=30634468/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=330692 CPUtime=222.3 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 83928 0 0 0 21767 463 0 0 25 0 1 0 132154824 338628608 79641 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 82673 79641 407 719 0 81952 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 330692 [startup+282.301 s] /proc/loadavg: 2.02 2.05 2.01 3/179 16081 /proc/meminfo: memFree=30525040/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=450376 CPUtime=282.3 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 111366 0 0 0 27617 613 0 0 25 0 1 0 132154824 461185024 107079 4089446400 4194304 7136930 140733872924080 18446744073709551615 4218794 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 112594 107079 407 719 0 111873 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 450376 [startup+342.3 s] /proc/loadavg: 2.00 2.04 2.01 3/179 16083 /proc/meminfo: memFree=30445380/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=529132 CPUtime=342.29 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 130948 0 0 0 33480 749 0 0 25 0 1 0 132154824 541831168 126661 4089446400 4194304 7136930 140733872924080 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 132283 126661 407 719 0 131562 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 529132 [startup+402.301 s] /proc/loadavg: 2.00 2.03 2.00 3/179 16084 /proc/meminfo: memFree=30339304/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=647368 CPUtime=402.3 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 157823 0 0 0 39360 870 0 0 25 0 1 0 132154824 662904832 153536 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 161842 153536 407 719 0 161121 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 647368 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 16086 /proc/meminfo: memFree=30253560/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=731516 CPUtime=462.3 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 178760 0 0 0 45201 1029 0 0 25 0 1 0 132154824 749072384 174473 4089446400 4194304 7136930 140733872924080 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 182879 174473 407 719 0 182158 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 731516 [startup+522.301 s] /proc/loadavg: 2.07 2.03 2.00 3/179 16087 /proc/meminfo: memFree=30228944/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=755740 CPUtime=522.3 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 184831 0 0 0 51119 1111 0 0 25 0 1 0 132154824 773877760 180544 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 188935 180544 407 719 0 188214 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 755740 [startup+582.301 s] /proc/loadavg: 1.98 2.01 2.00 3/179 16117 /proc/meminfo: memFree=30494020/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=758812 CPUtime=582.3 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 185608 0 0 0 57042 1188 0 0 25 0 1 0 132154824 777023488 181321 4089446400 4194304 7136930 140733872924080 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 189703 181321 407 719 0 188982 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 758812 [startup+642.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 16119 /proc/meminfo: memFree=30466316/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=780900 CPUtime=642.31 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 190836 0 0 0 62911 1320 0 0 25 0 1 0 132154824 799641600 186549 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 195225 186549 407 719 0 194504 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 780900 [startup+702.301 s] ################ # More data... # ################ /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 251006 0 0 0 98266 1965 0 0 25 0 1 0 132154824 1061449728 246719 4089446400 4194304 7136930 140733872924080 18446744073709551615 4431762 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 259143 246719 407 719 0 258422 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1036572 [startup+1062.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 16130 /proc/meminfo: memFree=30182572/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1061660 CPUtime=1062.31 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 257486 0 0 0 104174 2057 0 0 25 0 1 0 132154824 1087139840 253199 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 265415 253199 407 719 0 264694 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1061660 [startup+1122.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 16131 /proc/meminfo: memFree=30152640/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1089724 CPUtime=1122.32 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 264370 0 0 0 110092 2140 0 0 25 0 1 0 132154824 1115877376 260083 4089446400 4194304 7136930 140733872924080 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 272431 260083 407 719 0 271710 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1089724 [startup+1182.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 16133 /proc/meminfo: memFree=30138168/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1103912 CPUtime=1182.32 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 267909 0 0 0 116024 2208 0 0 25 0 1 0 132154824 1130405888 263622 4089446400 4194304 7136930 140733872924080 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 275978 263622 407 719 0 275257 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1103912 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16135 /proc/meminfo: memFree=30123860/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1117312 CPUtime=1242.33 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 271131 0 0 0 121946 2287 0 0 25 0 1 0 132154824 1144127488 266844 4089446400 4194304 7136930 140733872924080 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 279328 266844 407 719 0 278607 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1117312 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16136 /proc/meminfo: memFree=30097616/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1141512 CPUtime=1302.33 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 277300 0 0 0 127854 2379 0 0 25 0 1 0 132154824 1168908288 273013 4089446400 4194304 7136930 140733872924080 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 285378 273013 407 719 0 284657 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1141512 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16138 /proc/meminfo: memFree=30069532/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1168968 CPUtime=1362.33 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 284270 0 0 0 133775 2458 0 0 25 0 1 0 132154824 1197023232 279983 4089446400 4194304 7136930 140733872924080 18446744073709551615 4697099 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 292242 279983 407 719 0 291521 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1168968 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16139 /proc/meminfo: memFree=29964700/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1274908 CPUtime=1422.33 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 309579 0 0 0 139637 2596 0 0 25 0 1 0 132154824 1305505792 305292 4089446400 4194304 7136930 140733872924080 18446744073709551615 4431478 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 318727 305292 407 719 0 318006 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1274908 [startup+1482.3 s] /proc/loadavg: 2.08 2.02 2.01 3/179 16150 /proc/meminfo: memFree=29860340/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1377168 CPUtime=1482.33 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 334744 0 0 0 145500 2733 0 0 25 0 1 0 132154824 1410220032 330457 4089446400 4194304 7136930 140733872924080 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 344292 330457 407 719 0 343571 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1377168 [startup+1542.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 16152 /proc/meminfo: memFree=29761580/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1474092 CPUtime=1542.33 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 357924 0 0 0 151377 2856 0 0 25 0 1 0 132154824 1509470208 353637 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 368523 353637 407 719 0 367802 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1474092 [startup+1602.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 16153 /proc/meminfo: memFree=29705116/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1529356 CPUtime=1602.33 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 371983 0 0 0 157239 2994 0 0 25 0 1 0 132154824 1566060544 367696 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 382339 367696 407 719 0 381618 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1529356 [startup+1662.3 s] /proc/loadavg: 2.05 2.02 2.00 3/179 16155 /proc/meminfo: memFree=29653356/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1578964 CPUtime=1662.33 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 384621 0 0 0 163109 3124 0 0 25 0 1 0 132154824 1616859136 380334 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 394741 380334 407 719 0 394020 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1578964 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 16156 /proc/meminfo: memFree=29606912/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1624160 CPUtime=1722.33 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 396275 0 0 0 168983 3250 0 0 25 0 1 0 132154824 1663139840 391988 4089446400 4194304 7136930 140733872924080 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 406040 391988 407 719 0 405319 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1624160 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16158 /proc/meminfo: memFree=29551540/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1673960 CPUtime=1782.34 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 409097 0 0 0 174843 3391 0 0 25 0 1 0 132154824 1714135040 404810 4089446400 4194304 7136930 140733872924080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 418490 404810 407 719 0 417769 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1673960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16158 /proc/meminfo: memFree=29550776/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1674924 CPUtime=1800.04 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 409342 0 0 0 176594 3410 0 0 25 0 1 0 132154824 1715122176 405055 4089446400 4194304 7136930 140733872924080 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/16072/statm: 418731 405055 407 719 0 418010 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1674924 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16072 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16159 /proc/meminfo: memFree=29550520/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1674924 CPUtime=1801.44 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 409347 0 0 0 176734 3410 0 0 25 0 1 0 132154824 1715122176 405060 4089446400 4194304 7136930 140733872924080 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16072/statm: 418731 405060 412 719 0 418010 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 1674924 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16159 /proc/meminfo: memFree=29550520/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1674924 CPUtime=1801.85 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 409347 0 0 0 176775 3410 0 0 25 0 1 0 132154824 1715122176 405060 4089446400 4194304 7136930 140733872924080 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16072/statm: 418731 405060 412 719 0 418010 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1674924 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16159 /proc/meminfo: memFree=29550520/32951124 swapFree=67111528/67111528 [pid=16072] ppid=16070 vsize=1674924 CPUtime=1802.04 /proc/16072/stat : 16072 (pbscip.linux.x8) R 16070 16072 14210 0 -1 4202496 409347 0 0 0 176794 3410 0 0 25 0 1 0 132154824 1715122176 405060 4089446400 4194304 7136930 140733872924080 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/16072/statm: 418731 405060 412 719 0 418010 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1674924 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.11 CPU user time (s): 1767.95 CPU system time (s): 34.1598 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1674924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1767.95 system time used= 34.1598 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 409347 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= 2 involuntary context switches= 2841 runsolver used 2.93555 second user time and 6.04408 second system time The end
Begin job on node140 at 2010-06-30 16:36:43 IDJOB=2694163 IDBENCH=78960 IDSOLVER=1206 FILE ID=node140/2694163-1277908603 PBS_JOBID= 11197170 Free space on /tmp= 74196 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.1900567024--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-2694163-1277908603/watcher-2694163-1277908603 -o /tmp/evaluation-result-2694163-1277908603/solver-2694163-1277908603 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694163-1277908603.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7129b2638275c1b1b14ce0a3da71735e RANDOM SEED=1336636877 node140.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.790 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.58 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.790 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 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.790 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.790 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.89 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.790 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 : 5421.15 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.790 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.790 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30967188 kB Buffers: 192484 kB Cached: 1282372 kB SwapCached: 0 kB Active: 1115936 kB Inactive: 723588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30967188 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3136 kB Writeback: 0 kB AnonPages: 364412 kB Mapped: 17468 kB Slab: 79992 kB PageTables: 5432 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 517336 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= 74192 MiB End job on node140 at 2010-06-30 17:06:46