Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.14 | 1802.05 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571761--soft-66-100-0.wbo |
| MD5SUM | e6a38cb3cbe3360d46534c568351a60a |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 377.992 |
| 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 | 900 |
| 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 | 45741 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45740 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 713 |
| 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-2694075-1277903995.wbo>
0.00/0.02 c original problem has 2031 variables (1131 bin, 0 int, 0 impl, 900 cont) and 3608 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.00/0.07 c (round 2) 0 del vars, 115 del conss, 900 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.00/0.08 c (round 3) 53 del vars, 258 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.00/0.10 c (round 4) 122 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs
0.09/0.11 c (round 5) 138 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs
0.09/0.15 c (0.1s) probing: 101/1062 (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 138 deleted vars, 274 deleted constraints, 916 tightened bounds, 0 added holes, 143 changed sides, 0 changed coefficients
0.09/0.15 c 1116 implications, 15 cliques
0.09/0.15 c presolved problem has 1893 variables (1062 bin, 0 int, 0 impl, 831 cont) and 3334 constraints
0.09/0.15 c 831 constraints of type <indicator>
0.09/0.15 c 15 constraints of type <setppc>
0.09/0.15 c 831 constraints of type <linear>
0.09/0.15 c 1657 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 | - |7445k| 0 | - |1893 |3334 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.09 o 396
0.99/1.09 c * 1.0s| 4159 | 3576 | 0 | 0.0 | 10M|1025 | - |1893 |3921 | 0 | 0 | 0 | 704 | 0 | 0.000000e+00 | 3.960000e+02 | Inf
2.49/2.56 c 2.5s| 10000 | 8359 | 0 | 0.0 | 14M|1025 | - |1893 |4685 | 0 | 0 | 0 |2916 | 0 | 0.000000e+00 | 3.960000e+02 | Inf
5.59/5.62 c 5.4s| 20000 | 15439 | 0 | 0.0 | 21M|1025 | - |1893 |5706 | 0 | 0 | 0 |9264 | 0 | 0.000000e+00 | 3.960000e+02 | Inf
7.59/7.67 o 311
7.59/7.67 c * 7.4s| 24648 | 17407 | 0 | 0.0 | 25M|1025 | - |1893 |6815 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
7.70/7.72 o 287
7.70/7.72 c * 7.4s| 24808 | 17559 | 0 | 0.0 | 25M|1025 | - |1893 |6684 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.870000e+02 | Inf
7.70/7.72 o 256
7.70/7.72 c * 7.5s| 24809 | 17554 | 0 | 0.0 | 25M|1025 | - |1893 |6684 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
7.79/7.87 o 248
7.79/7.87 c * 7.6s| 25340 | 17985 | 0 | 0.0 | 26M|1025 | - |1893 |6293 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
7.79/7.87 o 218
7.79/7.87 c * 7.6s| 25341 | 17970 | 0 | 0.0 | 26M|1025 | - |1893 |6293 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
7.89/7.95 o 117
7.89/7.95 c * 7.7s| 25630 | 18070 | 0 | 0.0 | 26M|1025 | - |1893 |6152 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
7.89/7.95 o 95
7.89/7.95 c * 7.7s| 25631 | 18006 | 0 | 0.0 | 26M|1025 | - |1893 |6152 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
7.99/8.02 o 91
7.99/8.02 c * 7.7s| 25869 | 18181 | 0 | 0.0 | 26M|1025 | - |1893 |5998 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
8.59/8.66 o 61
8.59/8.66 c * 8.4s| 28000 | 19556 | 0 | 0.0 | 27M|1025 | - |1893 |5178 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
8.59/8.66 o 53
8.59/8.66 c * 8.4s| 28001 | 19336 | 0 | 0.0 | 27M|1025 | - |1893 |5178 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
9.40/9.42 c 9.1s| 30000 | 20818 | 0 | 0.0 | 29M|1025 | - |1893 |5030 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
12.19/12.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.19/12.27 c 11.9s| 40000 | 28772 | 0 | 0.0 | 37M|1025 | - |1893 |6380 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
15.59/15.64 c 15.1s| 50000 | 35864 | 0 | 0.0 | 44M|1025 | - |1893 |7888 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
19.20/19.28 c 18.7s| 60000 | 42573 | 0 | 0.0 | 52M|1025 | - |1893 |8374 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
23.49/23.57 c 22.9s| 70000 | 48421 | 0 | 0.0 | 60M|1025 | - |1893 |9067 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
27.99/28.06 c 27.2s| 80000 | 53988 | 0 | 0.0 | 68M|1025 | - |1893 |9862 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
32.79/32.84 c 31.9s| 90000 | 59212 | 0 | 0.0 | 76M|1025 | - |1893 | 10k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
37.89/37.98 c 36.9s|100000 | 64045 | 0 | 0.0 | 84M|1025 | - |1893 | 11k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
43.40/43.49 c 42.4s|110000 | 68498 | 0 | 0.0 | 93M|1025 | - |1893 | 12k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
49.30/49.37 c 48.1s|120000 | 72436 | 0 | 0.0 | 100M|1025 | - |1893 | 11k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
57.90/57.90 c 56.5s|130000 | 73436 | 0 | 0.0 | 108M|1025 | - |1893 | 17k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
61.39/61.47 c 60.0s|140000 | 81956 | 0 | 0.0 | 111M|1025 | - |1893 |7604 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
65.20/65.20 c 63.6s|150000 | 90024 | 0 | 0.0 | 119M|1025 | - |1893 |5183 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
68.79/68.86 c 67.1s|160000 | 97676 | 0 | 0.0 | 128M|1025 | - |1893 |5384 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
72.69/72.79 c 70.9s|170000 |104885 | 0 | 0.0 | 138M|1025 | - |1893 |5883 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
77.00/77.07 c 75.1s|180000 |111356 | 0 | 0.0 | 148M|1025 | - |1893 |7303 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
80.69/80.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.69/80.74 c 78.7s|190000 |118816 | 0 | 0.0 | 156M|1025 | - |1893 |5598 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
80.80/80.89 o 44
80.80/80.89 c *78.8s|190465 |118234 | 0 | 0.0 | 151M|1025 | - |1893 |5658 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
81.20/81.26 o 41
81.20/81.26 c *79.2s|191542 |118845 | 0 | 0.0 | 151M|1025 | - |1893 |5823 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
84.49/84.57 c 82.4s|200000 |124489 | 0 | 0.0 | 158M|1025 | - |1893 |5784 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
87.89/87.91 c 85.6s|210000 |132088 | 0 | 0.0 | 166M|1025 | - |1893 |6242 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
91.49/91.58 c 89.2s|220000 |138842 | 0 | 0.0 | 173M|1025 | - |1893 |6239 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
95.20/95.26 c 92.7s|230000 |146006 | 0 | 0.0 | 179M|1025 | - |1893 |3761 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
98.40/98.42 c 95.8s|240000 |153781 | 0 | 0.0 | 186M|1025 | - |1893 |4678 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
102.49/102.53 c 99.8s|250000 |159848 | 0 | 0.0 | 193M|1025 | - |1893 |6099 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
106.90/106.92 c 104s|260000 |165519 | 0 | 0.0 | 200M|1025 | - |1893 |7005 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
112.20/112.27 c 109s|270000 |169887 | 0 | 0.0 | 207M|1025 | - |1893 |8138 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
118.00/118.08 c 115s|280000 |173930 | 0 | 0.0 | 215M|1025 | - |1893 |8393 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
123.69/123.76 c 121s|290000 |178149 | 0 | 0.0 | 222M|1025 | - |1893 |9206 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
129.60/129.64 c 126s|300000 |182105 | 0 | 0.0 | 229M|1025 | - |1893 |9870 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
135.60/135.64 c 132s|310000 |186095 | 0 | 0.0 | 236M|1025 | - |1893 |9754 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
141.50/141.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.50/141.59 c 138s|320000 |190112 | 0 | 0.0 | 242M|1025 | - |1893 |9265 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
147.90/147.93 c 144s|330000 |193624 | 0 | 0.0 | 249M|1025 | - |1893 |9501 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
154.01/154.08 c 150s|340000 |197347 | 0 | 0.0 | 255M|1025 | - |1893 |9593 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
160.10/160.15 c 156s|350000 |201072 | 0 | 0.0 | 262M|1025 | - |1893 | 10k| 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
166.20/166.27 c 162s|360000 |204851 | 0 | 0.0 | 269M|1025 | - |1893 | 11k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
172.50/172.54 c 168s|370000 |208527 | 0 | 0.0 | 275M|1025 | - |1893 | 11k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
178.70/178.78 c 175s|380000 |212334 | 0 | 0.0 | 281M|1025 | - |1893 | 10k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
185.70/185.71 c 181s|390000 |215113 | 0 | 0.0 | 287M|1025 | - |1893 | 12k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
192.51/192.50 c 188s|400000 |218356 | 0 | 0.0 | 294M|1025 | - |1893 | 12k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
200.00/200.04 c 195s|410000 |220777 | 0 | 0.0 | 299M|1025 | - |1893 | 13k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
207.70/207.72 c 203s|420000 |223428 | 0 | 0.0 | 305M|1025 | - |1893 | 13k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
216.00/216.08 c 211s|430000 |225577 | 0 | 0.0 | 311M|1025 | - |1893 | 15k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
225.01/225.09 c 220s|440000 |227255 | 0 | 0.0 | 316M|1025 | - |1893 | 15k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
235.50/235.55 c 230s|450000 |218302 | 0 | 0.0 | 304M|1025 | - |1893 | 15k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
239.11/239.14 c 234s|460000 |226595 | 0 | 0.0 | 308M|1025 | - |1893 |7120 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
240.91/240.98 o 38
240.91/240.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
240.91/240.98 c * 236s|465674 |231207 | 0 | 0.0 | 311M|1025 | - |1893 |6277 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
242.31/242.39 c 237s|470000 |234734 | 0 | 0.0 | 314M|1025 | - |1893 |5961 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
245.70/245.72 c 240s|480000 |242756 | 0 | 0.0 | 321M|1025 | - |1893 |6351 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
249.00/249.01 c 243s|490000 |250801 | 0 | 0.0 | 329M|1025 | - |1893 |6807 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
250.50/250.53 o 34
250.50/250.53 c * 245s|494432 |253739 | 0 | 0.0 | 330M|1025 | - |1893 |6814 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
252.40/252.47 c 247s|500000 |258164 | 0 | 0.0 | 335M|1025 | - |1893 |6947 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
255.90/255.94 c 250s|510000 |266045 | 0 | 0.0 | 345M|1025 | - |1893 |7245 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
256.90/256.94 o 12
256.90/256.94 c * 251s|512642 |260698 | 0 | 0.0 | 323M|1025 | - |1893 |7479 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
259.61/259.69 c 254s|520000 |265925 | 0 | 0.0 | 327M|1025 | - |1893 |4800 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
263.21/263.20 c 257s|530000 |272803 | 0 | 0.0 | 333M|1025 | - |1893 |5370 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
266.80/266.86 c 261s|540000 |279515 | 0 | 0.0 | 339M|1025 | - |1893 |5655 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
271.31/271.34 c 265s|550000 |285006 | 0 | 0.0 | 346M|1025 | - |1893 |6286 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
276.01/276.03 c 270s|560000 |290333 | 0 | 0.0 | 354M|1025 | - |1893 |6688 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
281.11/281.15 c 275s|570000 |295049 | 0 | 0.0 | 361M|1025 | - |1893 |6833 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
286.21/286.23 c 280s|580000 |299834 | 0 | 0.0 | 368M|1025 | - |1893 |7205 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
291.61/291.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.61/291.62 c 285s|590000 |304173 | 0 | 0.0 | 375M|1025 | - |1893 |7479 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
296.91/296.97 c 290s|600000 |308661 | 0 | 0.0 | 382M|1025 | - |1893 |7774 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
302.21/302.20 c 295s|610000 |313325 | 0 | 0.0 | 389M|1025 | - |1893 |7954 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
307.21/307.29 c 300s|620000 |318324 | 0 | 0.0 | 396M|1025 | - |1893 |8511 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
312.41/312.41 c 305s|630000 |323324 | 0 | 0.0 | 403M|1025 | - |1893 |8808 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
317.91/317.94 c 311s|640000 |327846 | 0 | 0.0 | 410M|1025 | - |1893 |9975 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
323.80/323.86 c 316s|650000 |332072 | 0 | 0.0 | 418M|1025 | - |1893 | 11k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
330.31/330.33 c 323s|660000 |335821 | 0 | 0.0 | 425M|1025 | - |1893 | 12k| 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
337.61/337.69 c 330s|670000 |338753 | 0 | 0.0 | 433M|1025 | - |1893 | 14k| 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
346.11/346.11 c 338s|680000 |340691 | 0 | 0.0 | 440M|1025 | - |1893 | 17k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
352.71/352.79 c 345s|690000 |344542 | 0 | 0.0 | 440M|1025 | - |1893 |8701 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
355.00/355.00 o 10
355.00/355.00 c * 347s|696724 |349566 | 0 | 0.0 | 444M|1025 | - |1893 |8190 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
356.11/356.12 c 348s|700000 |351991 | 0 | 0.0 | 446M|1025 | - |1893 |8254 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
359.61/359.66 c 351s|710000 |359204 | 0 | 0.0 | 452M|1025 | - |1893 |8803 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
363.90/363.93 c 356s|720000 |365509 | 0 | 0.0 | 460M|1025 | - |1893 | 10k| 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
368.61/368.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.61/368.62 c 360s|730000 |371283 | 0 | 0.0 | 467M|1025 | - |1893 | 11k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
374.31/374.31 c 366s|740000 |375828 | 0 | 0.0 | 475M|1025 | - |1893 | 13k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
381.11/381.10 c 372s|750000 |379319 | 0 | 0.0 | 483M|1025 | - |1893 | 15k| 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
389.81/389.88 c 381s|760000 |380729 | 0 | 0.0 | 487M|1025 | - |1893 | 13k| 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
393.61/393.63 c 385s|770000 |388245 | 0 | 0.0 | 492M|1025 | - |1893 |9149 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
397.21/397.29 c 388s|780000 |395453 | 0 | 0.0 | 498M|1025 | - |1893 |9560 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
401.21/401.26 c 392s|790000 |402231 | 0 | 0.0 | 505M|1025 | - |1893 | 10k| 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
405.71/405.80 c 396s|800000 |408338 | 0 | 0.0 | 512M|1025 | - |1893 | 11k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
410.81/410.87 c 401s|810000 |413735 | 0 | 0.0 | 519M|1025 | - |1893 | 13k| 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
417.51/417.51 c 408s|820000 |417469 | 0 | 0.0 | 526M|1025 | - |1893 | 15k| 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
425.01/425.00 c 415s|830000 |420587 | 0 | 0.0 | 529M|1025 | - |1893 |9822 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
428.21/428.23 c 418s|840000 |428348 | 0 | 0.0 | 534M|1025 | - |1893 |8591 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
431.12/431.19 c 421s|850000 |436189 | 0 | 0.0 | 540M|1025 | - |1893 |9017 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
435.21/435.20 c 425s|860000 |442704 | 0 | 0.0 | 546M|1025 | - |1893 | 10k| 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
440.31/440.31 c 430s|870000 |447983 | 0 | 0.0 | 554M|1025 | - |1893 | 12k| 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
446.31/446.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.31/446.37 c 436s|880000 |452189 | 0 | 0.0 | 561M|1025 | - |1893 | 14k| 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
452.61/452.60 c 442s|890000 |456814 | 0 | 0.0 | 562M|1025 | - |1893 |4533 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
455.81/455.89 c 445s|900000 |464290 | 0 | 0.0 | 569M|1025 | - |1893 |4823 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
460.11/460.13 c 450s|910000 |470207 | 0 | 0.0 | 575M|1025 | - |1893 |4345 | 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
463.81/463.84 c 453s|920000 |476704 | 0 | 0.0 | 581M|1025 | - |1893 |6365 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
467.52/467.52 c 457s|930000 |483340 | 0 | 0.0 | 587M|1025 | - |1893 |5458 | 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
470.82/470.88 c 460s|940000 |490533 | 0 | 0.0 | 593M|1025 | - |1893 |4810 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
474.21/474.20 c 463s|950000 |497695 | 0 | 0.0 | 599M|1025 | - |1893 |4509 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
477.61/477.65 c 467s|960000 |504598 | 0 | 0.0 | 605M|1025 | - |1893 |4362 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
480.82/480.89 c 470s|970000 |511884 | 0 | 0.0 | 611M|1025 | - |1893 |4407 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
484.12/484.18 c 473s|980000 |518977 | 0 | 0.0 | 617M|1025 | - |1893 |5035 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
487.41/487.43 c 476s|990000 |526268 | 0 | 0.0 | 623M|1025 | - |1893 |5387 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
491.01/491.03 c 479s| 1000k|533037 | 0 | 0.0 | 630M|1025 | - |1893 |5491 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
494.42/494.45 c 483s| 1010k|540009 | 0 | 0.0 | 636M|1025 | - |1893 |6212 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
497.62/497.67 c 486s| 1020k|547588 | 0 | 0.0 | 641M|1025 | - |1893 |3620 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
503.31/503.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.31/503.32 c 491s| 1030k|551333 | 0 | 0.0 | 648M|1025 | - |1893 |7328 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
512.21/512.26 c 500s| 1040k|551838 | 0 | 0.0 | 655M|1025 | - |1893 |9727 | 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
521.82/521.80 c 510s| 1050k|552404 | 0 | 0.0 | 661M|1025 | - |1893 | 11k| 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
532.12/532.11 c 520s| 1060k|552567 | 0 | 0.0 | 665M|1025 | - |1893 | 12k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
543.33/543.33 c 531s| 1070k|552451 | 0 | 0.0 | 671M|1025 | - |1893 | 14k| 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
555.42/555.46 c 543s| 1080k|552273 | 0 | 0.0 | 676M|1025 | - |1893 | 15k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
568.82/568.81 c 556s| 1090k|550670 | 0 | 0.0 | 677M|1025 | - |1893 | 14k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
581.11/581.18 c 568s| 1100k|549912 | 0 | 0.0 | 681M|1025 | - |1893 | 15k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
593.72/593.73 c 581s| 1110k|548849 | 0 | 0.0 | 684M|1025 | - |1893 | 16k| 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
606.92/606.90 c 594s| 1120k|547221 | 0 | 0.0 | 685M|1025 | - |1893 | 15k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
620.32/620.34 c 607s| 1130k|545218 | 0 | 0.0 | 686M|1025 | - |1893 | 16k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
633.92/633.99 c 620s| 1140k|543120 | 0 | 0.0 | 688M|1025 | - |1893 | 18k| 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
648.72/648.71 c 635s| 1150k|540144 | 0 | 0.0 | 687M|1025 | - |1893 | 18k| 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
664.43/664.48 c 651s| 1160k|536624 | 0 | 0.0 | 687M|1025 | - |1893 | 20k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
681.02/681.00 c 667s| 1170k|532447 | 0 | 0.0 | 686M|1025 | - |1893 | 22k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
698.73/698.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.73/698.74 c 685s| 1180k|527269 | 0 | 0.0 | 683M|1025 | - |1893 | 24k| 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
718.23/718.21 c 704s| 1190k|521347 | 0 | 0.0 | 678M|1025 | - |1893 | 25k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
739.93/740.00 c 726s| 1200k|511049 | 0 | 0.0 | 662M|1025 | - |1893 | 27k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
759.93/759.99 c 745s| 1210k|503598 | 0 | 0.0 | 641M|1025 | - |1893 | 24k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
766.74/766.71 c 752s| 1220k|510465 | 0 | 0.0 | 644M|1025 | - |1893 | 13k| 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
772.13/772.20 c 757s| 1230k|517007 | 0 | 0.0 | 650M|1025 | - |1893 | 11k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
777.13/777.18 c 762s| 1240k|523637 | 0 | 0.0 | 656M|1025 | - |1893 |9623 | 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
781.93/782.00 c 767s| 1250k|530143 | 0 | 0.0 | 663M|1025 | - |1893 |9242 | 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
787.03/787.03 c 772s| 1260k|536305 | 0 | 0.0 | 670M|1025 | - |1893 |9778 | 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
791.93/792.00 c 777s| 1270k|542643 | 0 | 0.0 | 676M|1025 | - |1893 | 10k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
797.73/797.73 c 782s| 1280k|548273 | 0 | 0.0 | 683M|1025 | - |1893 | 11k| 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
804.04/804.10 c 789s| 1290k|553519 | 0 | 0.0 | 690M|1025 | - |1893 | 12k| 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
810.83/810.86 c 795s| 1300k|558502 | 0 | 0.0 | 698M|1025 | - |1893 | 12k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
818.03/818.09 c 802s| 1310k|563167 | 0 | 0.0 | 705M|1025 | - |1893 | 13k| 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
825.53/825.57 c 810s| 1320k|567711 | 0 | 0.0 | 712M|1025 | - |1893 | 13k| 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
833.93/833.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.93/833.99 c 818s| 1330k|571668 | 0 | 0.0 | 719M|1025 | - |1893 | 14k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
841.54/841.51 c 825s| 1340k|576297 | 0 | 0.0 | 726M|1025 | - |1893 | 14k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
849.93/849.96 c 834s| 1350k|580156 | 0 | 0.0 | 732M|1025 | - |1893 | 14k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
858.43/858.40 c 842s| 1360k|583986 | 0 | 0.0 | 739M|1025 | - |1893 | 15k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
867.04/867.05 c 850s| 1370k|587853 | 0 | 0.0 | 746M|1025 | - |1893 | 14k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
876.04/876.08 c 859s| 1380k|591314 | 0 | 0.0 | 753M|1025 | - |1893 | 15k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
879.63/879.64 o 8
879.63/879.64 c * 863s| 1384k|590127 | 0 | 0.0 | 748M|1025 | - |1893 | 15k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
884.83/884.89 c 868s| 1390k|592479 | 0 | 0.0 | 753M|1025 | - |1893 | 15k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
894.73/894.73 c 878s| 1400k|595587 | 0 | 0.0 | 761M|1025 | - |1893 | 15k| 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
903.53/903.56 c 886s| 1410k|599407 | 0 | 0.0 | 769M|1025 | - |1893 | 15k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
913.53/913.51 c 896s| 1420k|602455 | 0 | 0.0 | 777M|1025 | - |1893 | 15k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
922.23/922.30 c 905s| 1430k|606276 | 0 | 0.0 | 785M|1025 | - |1893 | 16k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
932.33/932.37 c 915s| 1440k|609328 | 0 | 0.0 | 792M|1025 | - |1893 | 16k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
941.55/941.54 c 924s| 1450k|612954 | 0 | 0.0 | 799M|1025 | - |1893 | 16k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
951.73/951.77 c 934s| 1460k|615853 | 0 | 0.0 | 807M|1025 | - |1893 | 17k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
961.74/961.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.74/961.72 c 944s| 1470k|618987 | 0 | 0.0 | 814M|1025 | - |1893 | 17k| 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
972.45/972.43 c 954s| 1480k|621672 | 0 | 0.0 | 821M|1025 | - |1893 | 18k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
982.44/982.42 c 964s| 1490k|624897 | 0 | 0.0 | 828M|1025 | - |1893 | 18k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
992.64/992.61 c 974s| 1500k|628029 | 0 | 0.0 | 835M|1025 | - |1893 | 19k| 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1002.94/1002.95 c 984s| 1510k|631151 | 0 | 0.0 | 843M|1025 | - |1893 | 18k| 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1013.64/1013.60 c 995s| 1520k|634073 | 0 | 0.0 | 850M|1025 | - |1893 | 19k| 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1024.34/1024.39 c 1005s| 1530k|637068 | 0 | 0.0 | 857M|1025 | - |1893 | 19k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1035.24/1035.27 c 1016s| 1540k|639992 | 0 | 0.0 | 864M|1025 | - |1893 | 20k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1045.94/1045.94 c 1027s| 1550k|643150 | 0 | 0.0 | 872M|1025 | - |1893 | 20k| 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1058.25/1058.26 c 1039s| 1560k|645106 | 0 | 0.0 | 878M|1025 | - |1893 | 20k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1068.15/1068.17 c 1049s| 1570k|648866 | 0 | 0.0 | 886M|1025 | - |1893 | 21k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1080.04/1080.08 c 1060s| 1580k|651318 | 0 | 0.0 | 893M|1025 | - |1893 | 21k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1092.25/1092.26 c 1072s| 1590k|653567 | 0 | 0.0 | 899M|1025 | - |1893 | 21k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1103.65/1103.63 c 1084s| 1600k|656570 | 0 | 0.0 | 906M|1025 | - |1893 | 22k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1107.05/1107.02 o 6
1107.05/1107.02 c *1087s| 1602k|652300 | 0 | 0.0 | 899M|1025 | - |1893 | 22k| 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1115.04/1115.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.04/1115.06 c 1095s| 1610k|655627 | 0 | 0.0 | 907M|1025 | - |1893 | 23k| 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1128.14/1128.10 c 1108s| 1620k|658244 | 0 | 0.0 | 915M|1025 | - |1893 | 24k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1141.15/1141.11 c 1121s| 1630k|661050 | 0 | 0.0 | 923M|1025 | - |1893 | 25k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1154.85/1154.88 c 1134s| 1640k|663678 | 0 | 0.0 | 931M|1025 | - |1893 | 26k| 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1168.15/1168.15 c 1147s| 1650k|666710 | 0 | 0.0 | 939M|1025 | - |1893 | 27k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1181.55/1181.54 c 1161s| 1660k|669877 | 0 | 0.0 | 947M|1025 | - |1893 | 28k| 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1195.95/1195.93 c 1175s| 1670k|672635 | 0 | 0.0 | 955M|1025 | - |1893 | 29k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1207.76/1207.76 c 1187s| 1680k|675906 | 0 | 0.0 | 954M|1025 | - |1893 |6654 | 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1214.35/1214.31 c 1193s| 1690k|679756 | 0 | 0.0 | 959M|1025 | - |1893 |7712 | 0 | 0 | 0 |1561k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1221.05/1221.03 c 1199s| 1700k|683405 | 0 | 0.0 | 965M|1025 | - |1893 | 10k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1228.25/1228.26 c 1207s| 1710k|686889 | 0 | 0.0 | 970M|1025 | - |1893 | 11k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1236.05/1236.08 c 1214s| 1720k|690100 | 0 | 0.0 | 975M|1025 | - |1893 | 12k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1244.16/1244.12 c 1222s| 1730k|693219 | 0 | 0.0 | 981M|1025 | - |1893 | 13k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1252.35/1252.37 c 1230s| 1740k|696351 | 0 | 0.0 | 986M|1025 | - |1893 | 14k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1261.06/1261.00 c 1239s| 1750k|699371 | 0 | 0.0 | 991M|1025 | - |1893 | 15k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1269.85/1269.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.85/1269.86 c 1247s| 1760k|702352 | 0 | 0.0 | 996M|1025 | - |1893 | 16k| 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1279.25/1279.26 c 1257s| 1770k|704986 | 0 | 0.0 |1001M|1025 | - |1893 | 17k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1289.95/1289.90 c 1267s| 1780k|706650 | 0 | 0.0 |1005M|1025 | - |1893 | 18k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1301.46/1301.47 c 1279s| 1790k|708296 | 0 | 0.0 |1010M|1025 | - |1893 | 20k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1314.65/1314.69 c 1292s| 1800k|708789 | 0 | 0.0 |1014M|1025 | - |1893 | 22k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1316.95/1316.95 o 5
1316.95/1316.95 c *1294s| 1801k|705689 | 0 | 0.0 |1008M|1025 | - |1893 | 22k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1329.66/1329.61 c 1306s| 1810k|705421 | 0 | 0.0 |1011M|1025 | - |1893 | 23k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1348.15/1348.18 c 1325s| 1820k|702710 | 0 | 0.0 |1012M|1025 | - |1893 | 28k| 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1357.55/1357.53 c 1334s| 1830k|706689 | 0 | 0.0 |1009M|1025 | - |1893 | 10k| 0 | 0 | 0 |1738k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1362.86/1362.89 c 1339s| 1840k|712661 | 0 | 0.0 |1014M|1025 | - |1893 | 10k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1368.36/1368.34 c 1344s| 1850k|718368 | 0 | 0.0 |1020M|1025 | - |1893 | 10k| 0 | 0 | 0 |1750k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1373.96/1373.99 c 1350s| 1860k|723887 | 0 | 0.0 |1026M|1025 | - |1893 | 10k| 0 | 0 | 0 |1756k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1379.75/1379.74 c 1356s| 1870k|729292 | 0 | 0.0 |1032M|1025 | - |1893 | 11k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1386.16/1386.16 c 1362s| 1880k|734191 | 0 | 0.0 |1038M|1025 | - |1893 | 12k| 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1392.67/1392.65 c 1368s| 1890k|739157 | 0 | 0.0 |1045M|1025 | - |1893 | 13k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1399.26/1399.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1399.26/1399.29 c 1375s| 1900k|743886 | 0 | 0.0 |1051M|1025 | - |1893 | 14k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1406.56/1406.50 c 1382s| 1910k|748190 | 0 | 0.0 |1057M|1025 | - |1893 | 15k| 0 | 0 | 0 |1793k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1414.26/1414.29 c 1390s| 1920k|752145 | 0 | 0.0 |1063M|1025 | - |1893 | 16k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1422.86/1422.86 c 1398s| 1930k|755495 | 0 | 0.0 |1070M|1025 | - |1893 | 17k| 0 | 0 | 0 |1811k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1432.17/1432.16 c 1407s| 1940k|758375 | 0 | 0.0 |1077M|1025 | - |1893 | 18k| 0 | 0 | 0 |1822k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1441.56/1441.52 c 1416s| 1950k|761293 | 0 | 0.0 |1083M|1025 | - |1893 | 19k| 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1451.36/1451.36 c 1426s| 1960k|764081 | 0 | 0.0 |1089M|1025 | - |1893 | 19k| 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1462.16/1462.18 c 1437s| 1970k|765997 | 0 | 0.0 |1093M|1025 | - |1893 | 20k| 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1473.46/1473.41 c 1448s| 1980k|767810 | 0 | 0.0 |1099M|1025 | - |1893 | 21k| 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1486.46/1486.45 c 1461s| 1990k|768554 | 0 | 0.0 |1104M|1025 | - |1893 | 23k| 0 | 0 | 0 |1881k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1500.26/1500.20 c 1474s| 2000k|769082 | 0 | 0.0 |1108M|1025 | - |1893 | 24k| 0 | 0 | 0 |1896k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1516.76/1516.79 c 1491s| 2010k|768187 | 0 | 0.0 |1109M|1025 | - |1893 | 26k| 0 | 0 | 0 |1914k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1533.86/1533.82 c 1508s| 2020k|766928 | 0 | 0.0 |1104M|1025 | - |1893 | 16k| 0 | 0 | 0 |1931k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1540.07/1540.04 c 1514s| 2030k|772459 | 0 | 0.0 |1109M|1025 | - |1893 | 12k| 0 | 0 | 0 |1938k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1546.37/1546.32 c 1520s| 2040k|777638 | 0 | 0.0 |1116M|1025 | - |1893 | 12k| 0 | 0 | 0 |1945k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1553.17/1553.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.17/1553.18 c 1527s| 2050k|782301 | 0 | 0.0 |1122M|1025 | - |1893 | 13k| 0 | 0 | 0 |1952k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1560.87/1560.85 c 1534s| 2060k|786441 | 0 | 0.0 |1129M|1025 | - |1893 | 14k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1568.57/1568.58 c 1542s| 2070k|790647 | 0 | 0.0 |1135M|1025 | - |1893 | 15k| 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1576.86/1576.86 c 1550s| 2080k|794486 | 0 | 0.0 |1141M|1025 | - |1893 | 16k| 0 | 0 | 0 |1977k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1586.36/1586.34 c 1559s| 2090k|797608 | 0 | 0.0 |1147M|1025 | - |1893 | 17k| 0 | 0 | 0 |1987k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1596.07/1596.02 c 1569s| 2100k|800679 | 0 | 0.0 |1153M|1025 | - |1893 | 18k| 0 | 0 | 0 |1996k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1606.57/1606.53 c 1579s| 2110k|803216 | 0 | 0.0 |1159M|1025 | - |1893 | 19k| 0 | 0 | 0 |2007k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1617.67/1617.66 c 1590s| 2120k|805391 | 0 | 0.0 |1164M|1025 | - |1893 | 20k| 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1629.17/1629.14 c 1601s| 2130k|807299 | 0 | 0.0 |1170M|1025 | - |1893 | 20k| 0 | 0 | 0 |2029k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1642.07/1642.01 c 1614s| 2140k|808224 | 0 | 0.0 |1174M|1025 | - |1893 | 21k| 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1654.77/1654.72 c 1627s| 2150k|809401 | 0 | 0.0 |1179M|1025 | - |1893 | 22k| 0 | 0 | 0 |2054k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1668.57/1668.60 c 1640s| 2160k|809727 | 0 | 0.0 |1183M|1025 | - |1893 | 23k| 0 | 0 | 0 |2068k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1683.27/1683.22 c 1655s| 2170k|809756 | 0 | 0.0 |1187M|1025 | - |1893 | 25k| 0 | 0 | 0 |2083k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1700.17/1700.13 c 1672s| 2180k|808899 | 0 | 0.0 |1189M|1025 | - |1893 | 27k| 0 | 0 | 0 |2100k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1718.47/1718.46 c 1690s| 2190k|807320 | 0 | 0.0 |1191M|1025 | - |1893 | 30k| 0 | 0 | 0 |2119k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1731.38/1731.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1731.38/1731.32 c 1702s| 2200k|809569 | 0 | 0.0 |1187M|1025 | - |1893 | 12k| 0 | 0 | 0 |2131k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1737.38/1737.30 c 1708s| 2210k|815167 | 0 | 0.0 |1193M|1025 | - |1893 | 12k| 0 | 0 | 0 |2138k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1743.58/1743.53 c 1714s| 2220k|820391 | 0 | 0.0 |1199M|1025 | - |1893 | 13k| 0 | 0 | 0 |2145k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1750.28/1750.22 c 1721s| 2230k|825234 | 0 | 0.0 |1205M|1025 | - |1893 | 14k| 0 | 0 | 0 |2153k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1758.57/1758.53 c 1729s| 2240k|828692 | 0 | 0.0 |1211M|1025 | - |1893 | 15k| 0 | 0 | 0 |2162k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1767.68/1767.61 c 1738s| 2250k|831827 | 0 | 0.0 |1217M|1025 | - |1893 | 17k| 0 | 0 | 0 |2173k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1776.98/1776.99 c 1747s| 2260k|834968 | 0 | 0.0 |1223M|1025 | - |1893 | 17k| 0 | 0 | 0 |2184k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1786.97/1786.99 c 1757s| 2270k|837764 | 0 | 0.0 |1228M|1025 | - |1893 | 18k| 0 | 0 | 0 |2195k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1796.98/1796.95 c 1767s| 2280k|840572 | 0 | 0.0 |1234M|1025 | - |1893 | 20k| 0 | 0 | 0 |2206k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1800.08/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.00 c
1800.08/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.00 c Solving Time (sec) : 1770.04
1800.08/1800.00 c Solving Nodes : 2283245
1800.08/1800.00 c Primal Bound : +5.00000000000000e+00 (20 solutions)
1800.08/1800.00 c Dual Bound : +0.00000000000000e+00
1800.08/1800.00 c Gap : infinite
1800.08/1800.01 s SATISFIABLE
1800.08/1800.01 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 x210
1800.08/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189
1800.08/1800.01 v x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.08/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.08/1800.01 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.08/1800.01 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.08/1800.01 v -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.08/1800.01 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54
1800.08/1800.01 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.08/1800.01 v -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.08/1800.01 v -x1
1800.08/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.01 c Solving Time : 1770.04
1800.08/1800.01 c Original Problem :
1800.08/1800.01 c Problem name : HOME/instance-2694075-1277903995.wbo
1800.08/1800.01 c Variables : 2031 (1131 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.08/1800.01 c Constraints : 3608 initial, 3608 maximal
1800.08/1800.01 c Presolved Problem :
1800.08/1800.01 c Problem name : t_HOME/instance-2694075-1277903995.wbo
1800.08/1800.01 c Variables : 1893 (1062 binary, 0 integer, 0 implicit integer, 831 continuous)
1800.08/1800.01 c Constraints : 3334 initial, 33460 maximal
1800.08/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.01 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.08/1800.01 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.08/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.08/1800.01 c indicator : 0.01 0 0 0 0 0 69 0 0
1800.08/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c linear : 0.04 0 0 0 916 0 205 143 0
1800.08/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.08/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c root node : - 786 - - 1572 - - - -
1800.08/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.01 c indicator : 831 0 5906724 0 1391255 254 1670289 0 0 0
1800.08/1800.01 c setppc : 15 0 8197604 0 1774475 94849 6560185 0 0 0
1800.08/1800.01 c linear : 831 0 8103332 0 1774711 355178 33435208 0 0 0
1800.08/1800.01 c logicor : 1657+ 0 5892981 0 1774723 339342 15399948 0 0 0
1800.08/1800.01 c bounddisjunction : 0+ 0 19849 0 0 0 65 0 0 0
1800.08/1800.01 c countsols : 0 0 0 0 1774711 0 0 0 0 0
1800.08/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.01 c indicator : 11.97 0.00 6.50 0.00 5.47
1800.08/1800.01 c setppc : 32.45 0.00 28.52 0.00 3.93
1800.08/1800.01 c linear : 188.49 0.00 187.32 0.00 1.17
1800.08/1800.01 c logicor : 635.59 0.00 545.29 0.00 90.30
1800.08/1800.01 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.08/1800.01 c countsols : 0.23 0.00 0.00 0.00 0.23
1800.08/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.01 c vbounds : 1.99 2 0 0
1800.08/1800.01 c rootredcost : 2.16 0 0 0
1800.08/1800.01 c pseudoobj : 141.33 8200944 2638 1633378
1800.08/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.01 c propagation : 32.63 792007 791910 3822472 20.5 99407 10.7 -
1800.08/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.01 c pseudo solution : 0.00 47 47 203 19.5 42 9.5 -
1800.08/1800.01 c applied globally : - - - 2210329 18.4 - - -
1800.08/1800.01 c applied locally : - - - 41 121.1 - - -
1800.08/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.01 c redcost : 0.00 0 0 0 0 0
1800.08/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.01 c intobj : 0.00 0 0 0 0 0
1800.08/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.01 c gomory : 0.00 0 0 0 0 0
1800.08/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.01 c cmir : 0.00 0 0 0 0 0
1800.08/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.01 c clique : 0.00 0 0 0 0 0
1800.08/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.01 c mcf : 0.00 0 0 0 0 0
1800.08/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.01 c Pricers : Time Calls Vars
1800.08/1800.01 c problem variables: 0.00 0 0
1800.08/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.01 c inference : 27.30 1774691 0 0 0 0 3549382
1800.08/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.01 c random : 0.00 0 0 0 0 0 0
1800.08/1800.01 c Primal Heuristics : Time Calls Found
1800.08/1800.01 c LP solutions : 0.00 - 0
1800.08/1800.01 c pseudo solutions : 0.11 - 20
1800.08/1800.01 c oneopt : 0.92 0 0
1800.08/1800.01 c trivial : 0.01 2 0
1800.08/1800.01 c simplerounding : 0.00 0 0
1800.08/1800.01 c zirounding : 0.00 0 0
1800.08/1800.01 c rounding : 0.00 0 0
1800.08/1800.01 c shifting : 0.00 0 0
1800.08/1800.01 c intshifting : 0.00 0 0
1800.08/1800.01 c twoopt : 0.00 0 0
1800.08/1800.01 c fixandinfer : 0.00 0 0
1800.08/1800.01 c feaspump : 0.00 0 0
1800.08/1800.01 c coefdiving : 0.00 0 0
1800.08/1800.01 c pscostdiving : 0.00 0 0
1800.08/1800.01 c fracdiving : 0.00 0 0
1800.08/1800.01 c veclendiving : 0.00 0 0
1800.08/1800.01 c intdiving : 0.00 0 0
1800.08/1800.01 c actconsdiving : 0.00 0 0
1800.08/1800.01 c objpscostdiving : 0.00 0 0
1800.08/1800.01 c rootsoldiving : 0.00 0 0
1800.08/1800.01 c linesearchdiving : 0.00 0 0
1800.08/1800.01 c guideddiving : 0.00 0 0
1800.08/1800.01 c octane : 0.00 0 0
1800.08/1800.01 c rens : 0.00 0 0
1800.08/1800.01 c rins : 0.00 0 0
1800.08/1800.01 c localbranching : 0.00 0 0
1800.08/1800.01 c mutation : 0.00 0 0
1800.08/1800.01 c crossover : 0.00 0 0
1800.08/1800.01 c dins : 0.00 0 0
1800.08/1800.01 c undercover : 0.00 0 0
1800.08/1800.01 c nlp : 0.61 0 0
1800.08/1800.01 c trysol : 0.54 1 0
1800.08/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.01 c (at root node) : - 0 0 0.00 -
1800.08/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.01 c B&B Tree :
1800.08/1800.01 c number of runs : 1
1800.08/1800.01 c nodes : 2283245
1800.08/1800.01 c nodes (total) : 2283245
1800.08/1800.01 c nodes left : 841676
1800.08/1800.01 c max depth : 1025
1800.08/1800.01 c max depth (total): 1025
1800.08/1800.01 c backtracks : 497492 (21.8%)
1800.08/1800.01 c delayed cutoffs : 403283
1800.08/1800.01 c repropagations : 1891134 (17420336 domain reductions, 283774 cutoffs)
1800.08/1800.01 c avg switch length: 26.55
1800.08/1800.01 c switching time : 536.83
1800.08/1800.01 c Solution :
1800.08/1800.01 c Solutions found : 20 (20 improvements)
1800.08/1800.01 c First Solution : +3.96000000000000e+02 (in run 1, after 4159 nodes, 1.03 seconds, depth 657, found by <relaxation>)
1800.08/1800.01 c Primal Bound : +5.00000000000000e+00 (in run 1, after 1801579 nodes, 1293.82 seconds, depth 264, found by <relaxation>)
1800.08/1800.01 c Dual Bound : +0.00000000000000e+00
1800.08/1800.01 c Gap : infinite
1800.08/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.01 c Root Iterations : 0
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694075-1277903995/watcher-2694075-1277903995 -o /tmp/evaluation-result-2694075-1277903995/solver-2694075-1277903995 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694075-1277903995.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.02 2.01 2.00 4/178 14287 /proc/meminfo: memFree=31186680/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=8304 CPUtime=0 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 1561 0 0 0 0 0 0 0 25 0 1 0 131694385 8503296 1484 4089446400 4194304 7136930 140734071821264 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14287/statm: 2076 1484 275 719 0 1355 0 [startup+0.007977 s] /proc/loadavg: 2.02 2.01 2.00 4/178 14287 /proc/meminfo: memFree=31186680/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=8664 CPUtime=0 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 1668 0 0 0 0 0 0 0 25 0 1 0 131694385 8871936 1591 4089446400 4194304 7136930 140734071821264 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14287/statm: 2208 1605 275 719 0 1487 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8664 [startup+0.10096 s] /proc/loadavg: 2.02 2.01 2.00 4/178 14287 /proc/meminfo: memFree=31186680/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=22076 CPUtime=0.09 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 7248 0 0 0 8 1 0 0 25 0 1 0 131694385 22605824 4761 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 5519 4761 360 719 0 4798 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22076 [startup+0.300928 s] /proc/loadavg: 2.02 2.01 2.00 4/178 14287 /proc/meminfo: memFree=31186680/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=24036 CPUtime=0.29 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 9071 0 0 0 27 2 0 0 25 0 1 0 131694385 24612864 5299 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 6009 5299 391 719 0 5288 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24036 [startup+0.700844 s] /proc/loadavg: 2.02 2.01 2.00 4/178 14287 /proc/meminfo: memFree=31186680/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=26104 CPUtime=0.69 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 9575 0 0 0 66 3 0 0 25 0 1 0 131694385 26730496 5803 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 6526 5803 395 719 0 5805 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26104 [startup+1.50069 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14288 /proc/meminfo: memFree=31163608/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=27920 CPUtime=1.49 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 10056 0 0 0 144 5 0 0 25 0 1 0 131694385 28590080 6284 4089446400 4194304 7136930 140734071821264 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 6980 6284 395 719 0 6259 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27920 [startup+3.10037 s] /proc/loadavg: 2.02 2.01 2.00 4/179 14288 /proc/meminfo: memFree=31159888/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=33980 CPUtime=3.09 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 11598 0 0 0 299 10 0 0 25 0 1 0 131694385 34795520 7826 4089446400 4194304 7136930 140734071821264 18446744073709551615 5000302 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 8495 7826 395 719 0 7774 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33980 [startup+6.30073 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14288 /proc/meminfo: memFree=31148936/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=44632 CPUtime=6.29 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 14274 0 0 0 609 20 0 0 25 0 1 0 131694385 45703168 10502 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 11158 10502 395 719 0 10437 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44632 [startup+12.7004 s] /proc/loadavg: 2.02 2.01 2.00 4/179 14288 /proc/meminfo: memFree=31125784/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=67052 CPUtime=12.69 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 19729 0 0 0 1230 39 0 0 25 0 1 0 131694385 68661248 15957 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 16763 15957 398 719 0 16042 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 67052 [startup+25.5009 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14289 /proc/meminfo: memFree=31090792/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=98760 CPUtime=25.5 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 27699 0 0 0 2477 73 0 0 25 0 1 0 131694385 101130240 23927 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 24690 23927 398 719 0 23969 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 98760 [startup+51.1008 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14290 /proc/meminfo: memFree=31046800/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=145784 CPUtime=51.1 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 38953 0 0 0 4982 128 0 0 25 0 1 0 131694385 149282816 35181 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 36446 35181 398 719 0 35725 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 145784 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 4/179 14291 /proc/meminfo: memFree=30931436/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=261368 CPUtime=102.3 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 67036 0 0 0 9961 269 0 0 25 0 1 0 131694385 267640832 63264 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 65342 63264 398 719 0 64621 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 261368 [startup+162.301 s] /proc/loadavg: 1.96 1.98 1.99 3/179 14320 /proc/meminfo: memFree=30850024/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=348096 CPUtime=162.3 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 87671 0 0 0 15840 390 0 0 25 0 1 0 131694385 356450304 83899 4089446400 4194304 7136930 140734071821264 18446744073709551615 5958347 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 87024 83899 398 719 0 86303 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 348096 [startup+222.301 s] /proc/loadavg: 1.98 1.98 1.99 3/179 14322 /proc/meminfo: memFree=30702300/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=403296 CPUtime=222.3 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 101519 0 0 0 21733 497 0 0 25 0 1 0 131694385 412975104 97747 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 100824 97747 398 719 0 100103 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 403296 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 14324 /proc/meminfo: memFree=30559512/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=471624 CPUtime=282.31 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 118328 0 0 0 27585 646 0 0 25 0 1 0 131694385 482942976 114556 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 117906 114556 398 719 0 117185 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 471624 [startup+342.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 14326 /proc/meminfo: memFree=30464220/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=549440 CPUtime=342.31 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 137865 0 0 0 33449 782 0 0 25 0 1 0 131694385 562626560 134093 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 137360 134093 398 719 0 136639 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 549440 [startup+402.301 s] /proc/loadavg: 2.07 2.00 2.00 3/179 14327 /proc/meminfo: memFree=30384072/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=621236 CPUtime=402.31 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 156007 0 0 0 39309 922 0 0 25 0 1 0 131694385 636145664 152235 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 155309 152235 398 719 0 154588 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 621236 [startup+462.301 s] /proc/loadavg: 2.03 2.00 2.00 3/179 14328 /proc/meminfo: memFree=30312584/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=704644 CPUtime=462.32 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 174970 0 0 0 45167 1065 0 0 25 0 1 0 131694385 721555456 171198 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 176161 171198 398 719 0 175440 0 Current children cumulated CPU time (s) 462.32 Current children cumulated vsize (KiB) 704644 [startup+522.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 14330 /proc/meminfo: memFree=30226600/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=788384 CPUtime=522.32 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 196088 0 0 0 51015 1217 0 0 25 0 1 0 131694385 807305216 192316 4089446400 4194304 7136930 140734071821264 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 197096 192316 398 719 0 196375 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 788384 [startup+582.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14332 /proc/meminfo: memFree=30210920/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=802816 CPUtime=582.32 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 199737 0 0 0 56943 1289 0 0 25 0 1 0 131694385 822083584 195965 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 200704 195965 398 719 0 199983 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 802816 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14334 /proc/meminfo: memFree=30194384/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=818272 CPUtime=642.33 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 203604 0 0 0 62875 1358 0 0 25 0 1 0 131694385 837910528 199832 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 204568 199832 398 719 0 203847 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 818272 [startup+702.301 s] ################ # More data... # ################ /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 241252 0 0 0 98363 1871 0 0 25 0 1 0 131694385 990908416 237480 4089446400 4194304 7136930 140734071821264 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 241921 237480 398 719 0 241200 0 Current children cumulated CPU time (s) 1002.34 Current children cumulated vsize (KiB) 967684 [startup+1062.3 s] /proc/loadavg: 2.03 2.02 2.00 3/179 14347 /proc/meminfo: memFree=29996028/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1009252 CPUtime=1062.34 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 251484 0 0 0 104284 1950 0 0 25 0 1 0 131694385 1033474048 247712 4089446400 4194304 7136930 140734071821264 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 252313 247712 398 719 0 251592 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 1009252 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14349 /proc/meminfo: memFree=29967588/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1035564 CPUtime=1122.34 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 258042 0 0 0 110205 2029 0 0 25 0 1 0 131694385 1060417536 254270 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 258891 254270 398 719 0 258170 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 1035564 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 14351 /proc/meminfo: memFree=29927252/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1074852 CPUtime=1182.35 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 267686 0 0 0 116139 2096 0 0 25 0 1 0 131694385 1100648448 263914 4089446400 4194304 7136930 140734071821264 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 268713 263914 398 719 0 267992 0 Current children cumulated CPU time (s) 1182.35 Current children cumulated vsize (KiB) 1074852 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14353 /proc/meminfo: memFree=29891376/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1111540 CPUtime=1242.35 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 276727 0 0 0 122036 2199 0 0 25 0 1 0 131694385 1138216960 272955 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 277885 272955 398 719 0 277164 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 1111540 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14355 /proc/meminfo: memFree=29856616/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1145064 CPUtime=1302.36 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 285042 0 0 0 127939 2297 0 0 25 0 1 0 131694385 1172545536 281270 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 286266 281270 398 719 0 285545 0 Current children cumulated CPU time (s) 1302.36 Current children cumulated vsize (KiB) 1145064 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14355 /proc/meminfo: memFree=29846912/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1153176 CPUtime=1362.36 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 287097 0 0 0 133863 2373 0 0 25 0 1 0 131694385 1180852224 283325 4089446400 4194304 7136930 140734071821264 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 288294 283325 398 719 0 287573 0 Current children cumulated CPU time (s) 1362.36 Current children cumulated vsize (KiB) 1153176 [startup+1422.31 s] /proc/loadavg: 2.06 2.02 2.00 3/179 14357 /proc/meminfo: memFree=29796764/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1201328 CPUtime=1422.37 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 299352 0 0 0 139745 2492 0 0 25 0 1 0 131694385 1230159872 295580 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 300332 295580 398 719 0 299611 0 Current children cumulated CPU time (s) 1422.37 Current children cumulated vsize (KiB) 1201328 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14359 /proc/meminfo: memFree=29764356/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1233428 CPUtime=1482.36 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 307418 0 0 0 145664 2572 0 0 25 0 1 0 131694385 1263030272 303646 4089446400 4194304 7136930 140734071821264 18446744073709551615 4219812 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 308357 303646 398 719 0 307636 0 Current children cumulated CPU time (s) 1482.36 Current children cumulated vsize (KiB) 1233428 [startup+1542.3 s] /proc/loadavg: 2.04 2.02 2.00 3/179 14361 /proc/meminfo: memFree=29745080/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1252392 CPUtime=1542.36 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 312230 0 0 0 151595 2641 0 0 25 0 1 0 131694385 1282449408 308458 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 313098 308458 398 719 0 312377 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 1252392 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14362 /proc/meminfo: memFree=29710332/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1287476 CPUtime=1602.37 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 321123 0 0 0 157499 2738 0 0 25 0 1 0 131694385 1318375424 317351 4089446400 4194304 7136930 140734071821264 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 321869 317351 398 719 0 321148 0 Current children cumulated CPU time (s) 1602.37 Current children cumulated vsize (KiB) 1287476 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 14363 /proc/meminfo: memFree=29685872/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1310948 CPUtime=1662.37 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 326988 0 0 0 163423 2814 0 0 25 0 1 0 131694385 1342410752 323216 4089446400 4194304 7136930 140734071821264 18446744073709551615 4208934 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 327737 323216 398 719 0 327016 0 Current children cumulated CPU time (s) 1662.37 Current children cumulated vsize (KiB) 1310948 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14365 /proc/meminfo: memFree=29676040/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1319804 CPUtime=1722.37 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 329241 0 0 0 169357 2880 0 0 25 0 1 0 131694385 1351479296 325469 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 329951 325469 398 719 0 329230 0 Current children cumulated CPU time (s) 1722.37 Current children cumulated vsize (KiB) 1319804 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14367 /proc/meminfo: memFree=29637652/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1357448 CPUtime=1782.38 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 338768 0 0 0 175259 2979 0 0 25 0 1 0 131694385 1390026752 334996 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 339362 334996 398 719 0 338641 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (KiB) 1357448 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14367 /proc/meminfo: memFree=29631784/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1363300 CPUtime=1800.08 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 340259 0 0 0 177006 3002 0 0 25 0 1 0 131694385 1396019200 336487 4089446400 4194304 7136930 140734071821264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/14287/statm: 340825 336487 398 719 0 340104 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1363300 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14287 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 14368 /proc/meminfo: memFree=29631652/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1363300 CPUtime=1801.48 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 340264 0 0 0 177146 3002 0 0 25 0 1 0 131694385 1396019200 336492 4089446400 4194304 7136930 140734071821264 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14287/statm: 340825 336492 403 719 0 340104 0 Current children cumulated CPU time (s) 1801.48 Current children cumulated vsize (KiB) 1363300 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 14368 /proc/meminfo: memFree=29631528/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1362784 CPUtime=1801.88 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 340264 0 0 0 177186 3002 0 0 25 0 1 0 131694385 1395490816 336363 4089446400 4194304 7136930 140734071821264 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14287/statm: 340696 336363 403 719 0 339975 0 Current children cumulated CPU time (s) 1801.88 Current children cumulated vsize (KiB) 1362784 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 14368 /proc/meminfo: memFree=29631528/32950928 swapFree=67111528/67111528 [pid=14287] ppid=14285 vsize=1351180 CPUtime=1802.08 /proc/14287/stat : 14287 (pbscip.linux.x8) R 14285 14287 13737 0 -1 4202496 340264 0 0 0 177206 3002 0 0 25 0 1 0 131694385 1383608320 333462 4089446400 4194304 7136930 140734071821264 18446744073709551615 4212430 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/14287/statm: 337795 333462 403 719 0 337074 0 Current children cumulated CPU time (s) 1802.08 Current children cumulated vsize (KiB) 1351180 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.05 CPU time (s): 1802.14 CPU user time (s): 1772.07 CPU system time (s): 30.0694 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 1363300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1772.07 system time used= 30.0694 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 340264 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= 1976 runsolver used 3.2675 second user time and 6.52401 second system time The end
Begin job on node149 at 2010-06-30 15:19:55 IDJOB=2694075 IDBENCH=78916 IDSOLVER=1206 FILE ID=node149/2694075-1277903995 PBS_JOBID= 11197207 Free space on /tmp= 74204 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.1900571761--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-2694075-1277903995/watcher-2694075-1277903995 -o /tmp/evaluation-result-2694075-1277903995/solver-2694075-1277903995 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694075-1277903995.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e6a38cb3cbe3360d46534c568351a60a RANDOM SEED=332837212 node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31187208 kB Buffers: 192084 kB Cached: 1273044 kB SwapCached: 0 kB Active: 604252 kB Inactive: 1014988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31187208 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3180 kB Writeback: 0 kB AnonPages: 154240 kB Mapped: 17468 kB Slab: 81908 kB PageTables: 4604 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 307816 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node149 at 2010-06-30 15:49:57