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) | 1801.58 | 1801.54 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-33-100-0.wbo |
| MD5SUM | d3a3522693d056b12d5b1d76acf2f0e6 |
| 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 | 29 |
| Best CPU time to get the best result obtained on this benchmark | 0.161975 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 64 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 3426 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 3425 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1239 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2693859-1277896011.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 3) 2 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 4) 4 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 34 upgd conss, 64 impls, 30 clqs
0.00/0.02 c (0.0s) probing: 101/231 (43.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 4 deleted vars, 8 deleted constraints, 62 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02 c 64 implications, 30 cliques
0.00/0.02 c presolved problem has 293 variables (231 bin, 0 int, 0 impl, 62 cont) and 158 constraints
0.00/0.02 c 62 constraints of type <indicator>
0.00/0.02 c 30 constraints of type <setppc>
0.00/0.02 c 62 constraints of type <linear>
0.00/0.02 c 4 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 926k| 0 | - | 293 | 158 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.25 c 1.0s| 10000 | 6750 | 0 | 0.0 |6916k| 176 | - | 293 |3921 | 0 | 0 | 0 |8873 | 0 | 0.000000e+00 | -- | Inf
3.30/3.34 c 2.8s| 20000 | 11860 | 0 | 0.0 | 11M| 176 | - | 293 |6180 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
6.40/6.42 c 5.6s| 30000 | 15766 | 0 | 0.0 | 17M| 176 | - | 293 | 10k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
10.19/10.20 c 9.1s| 40000 | 18574 | 0 | 0.0 | 22M| 176 | - | 293 | 11k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
14.79/14.84 c 13.4s| 50000 | 20364 | 0 | 0.0 | 25M| 176 | - | 293 | 10k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
16.79/16.84 o 637
16.79/16.84 c *15.2s| 59261 | 26054 | 0 | 0.0 | 27M| 176 | - | 293 |4240 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 6.370000e+02 | Inf
16.79/16.85 o 596
16.79/16.85 c *15.2s| 59322 | 26104 | 0 | 0.0 | 27M| 176 | - | 293 |4200 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 5.960000e+02 | Inf
16.89/16.96 c 15.3s| 60000 | 26490 | 0 | 0.0 | 27M| 176 | - | 293 |4229 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 5.960000e+02 | Inf
21.19/21.26 c 19.3s| 70000 | 27710 | 0 | 0.0 | 33M| 176 | - | 293 | 13k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 5.960000e+02 | Inf
27.29/27.39 c 25.1s| 80000 | 28642 | 0 | 0.0 | 39M| 176 | - | 293 | 20k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 5.960000e+02 | Inf
35.39/35.43 c 32.7s| 90000 | 28647 | 0 | 0.0 | 42M| 176 | - | 293 | 24k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 5.960000e+02 | Inf
45.49/45.59 c 42.6s|100000 | 27458 | 0 | 0.0 | 44M| 176 | - | 293 | 28k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 5.960000e+02 | Inf
52.89/52.95 c 49.6s|110000 | 30655 | 0 | 0.0 | 41M| 176 | - | 293 | 10k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 5.960000e+02 | Inf
56.89/56.93 c 53.2s|120000 | 34443 | 0 | 0.0 | 45M| 176 | - | 293 | 12k| 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 5.960000e+02 | Inf
62.19/62.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.19/62.26 c 58.2s|130000 | 36252 | 0 | 0.0 | 48M| 176 | - | 293 | 12k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 5.960000e+02 | Inf
62.69/62.74 o 431
62.69/62.74 c *58.6s|132857 | 38683 | 0 | 0.0 | 47M| 176 | - | 293 |3390 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 4.310000e+02 | Inf
63.50/63.54 c 59.2s|140000 | 44548 | 0 | 0.0 | 50M| 176 | - | 293 |3278 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 4.310000e+02 | Inf
64.49/64.50 o 424
64.49/64.50 c *60.0s|148014 | 50860 | 0 | 0.0 | 53M| 176 | - | 293 |4137 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 4.240000e+02 | Inf
64.69/64.77 c 60.2s|150000 | 52347 | 0 | 0.0 | 54M| 176 | - | 293 |4430 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 4.240000e+02 | Inf
64.80/64.87 o 398
64.80/64.87 c *60.3s|150905 | 53061 | 0 | 0.0 | 54M| 176 | - | 293 |4539 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 3.980000e+02 | Inf
65.39/65.49 o 337
65.39/65.49 c *60.8s|155286 | 56247 | 0 | 0.0 | 56M| 176 | - | 293 |5263 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 3.370000e+02 | Inf
65.39/65.49 o 305
65.39/65.49 c *60.8s|155287 | 56239 | 0 | 0.0 | 56M| 176 | - | 293 |5263 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
66.39/66.40 c 61.5s|160000 | 58978 | 0 | 0.0 | 58M| 176 | - | 293 |5032 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
74.29/74.31 c 69.1s|170000 | 54887 | 0 | 0.0 | 61M| 176 | - | 293 | 21k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
89.29/89.34 c 83.7s|180000 | 49537 | 0 | 0.0 | 58M| 176 | - | 293 | 34k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
100.39/100.48 c 94.5s|190000 | 50520 | 0 | 0.0 | 54M| 176 | - | 293 | 16k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
108.90/108.98 c 103s|200000 | 50464 | 0 | 0.0 | 57M| 176 | - | 293 | 20k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
119.39/119.44 c 113s|210000 | 49301 | 0 | 0.0 | 58M| 176 | - | 293 | 23k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
128.80/128.80 c 122s|220000 | 49769 | 0 | 0.0 | 55M| 176 | - | 293 | 16k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
130.39/130.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.39/130.46 c 123s|230000 | 57783 | 0 | 0.0 | 55M| 176 | - | 293 |3154 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
131.79/131.88 c 124s|240000 | 65318 | 0 | 0.0 | 59M| 176 | - | 293 |3428 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
133.40/133.46 c 126s|250000 | 72510 | 0 | 0.0 | 63M| 176 | - | 293 |3928 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
135.20/135.24 c 127s|260000 | 79195 | 0 | 0.0 | 67M| 176 | - | 293 |4482 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
136.99/137.04 c 129s|270000 | 85869 | 0 | 0.0 | 71M| 176 | - | 293 |4998 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
138.79/138.88 c 130s|280000 | 92481 | 0 | 0.0 | 75M| 176 | - | 293 |5297 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
140.70/140.78 c 132s|290000 | 99048 | 0 | 0.0 | 79M| 176 | - | 293 |5722 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
142.70/142.74 c 134s|300000 |105469 | 0 | 0.0 | 84M| 176 | - | 293 |6188 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
144.70/144.70 c 135s|310000 |111890 | 0 | 0.0 | 88M| 176 | - | 293 |6694 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
146.60/146.65 c 137s|320000 |118434 | 0 | 0.0 | 92M| 176 | - | 293 |7209 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
146.80/146.88 o 289
146.80/146.88 c * 137s|321229 |119269 | 0 | 0.0 | 92M| 176 | - | 293 |7238 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 2.890000e+02 | Inf
148.60/148.64 c 139s|330000 |124902 | 0 | 0.0 | 96M| 176 | - | 293 |7543 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 2.890000e+02 | Inf
150.60/150.67 c 140s|340000 |131342 | 0 | 0.0 | 100M| 176 | - | 293 |7953 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 2.890000e+02 | Inf
152.69/152.76 c 142s|350000 |137710 | 0 | 0.0 | 104M| 176 | - | 293 |8488 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 2.890000e+02 | Inf
154.79/154.80 c 144s|360000 |144142 | 0 | 0.0 | 108M| 176 | - | 293 |8797 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 2.890000e+02 | Inf
156.90/157.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.90/157.00 c 146s|370000 |150309 | 0 | 0.0 | 112M| 176 | - | 293 |9356 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 2.890000e+02 | Inf
159.30/159.37 c 148s|380000 |156202 | 0 | 0.0 | 115M| 176 | - | 293 | 10k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 2.890000e+02 | Inf
161.60/161.67 c 150s|390000 |162516 | 0 | 0.0 | 118M| 176 | - | 293 |3975 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 2.890000e+02 | Inf
168.31/168.32 c 156s|400000 |159171 | 0 | 0.0 | 116M| 176 | - | 293 | 15k| 0 | 0 | 0 | 452k| 0 | 1.000000e+00 | 2.890000e+02 | Large
181.69/181.77 c 169s|410000 |154067 | 0 | 0.0 | 117M| 176 | - | 293 | 29k| 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | 2.890000e+02 | Large
193.09/193.13 c 180s|420000 |154239 | 0 | 0.0 | 108M| 176 | - | 293 |8303 | 0 | 0 | 0 | 495k| 0 | 1.000000e+00 | 2.890000e+02 | Large
195.40/195.41 c 182s|430000 |160679 | 0 | 0.0 | 111M| 176 | - | 293 |4587 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 2.890000e+02 | Large
195.80/195.82 o 271
195.80/195.82 c * 183s|431845 |161779 | 0 | 0.0 | 111M| 176 | - | 293 |4591 | 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 2.710000e+02 | Large
197.30/197.37 c 184s|440000 |167231 | 0 | 0.0 | 114M| 176 | - | 293 |4119 | 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 2.710000e+02 | Large
199.30/199.34 c 186s|450000 |173649 | 0 | 0.0 | 118M| 176 | - | 293 |4281 | 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | 2.710000e+02 | Large
201.30/201.31 c 187s|460000 |179974 | 0 | 0.0 | 122M| 176 | - | 293 |4337 | 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | 2.710000e+02 | Large
202.20/202.22 o 247
202.20/202.22 c * 188s|464835 |183058 | 0 | 0.0 | 124M| 176 | - | 293 |4480 | 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 2.470000e+02 | Large
203.30/203.33 c 189s|470000 |186168 | 0 | 0.0 | 126M| 176 | - | 293 |4595 | 0 | 0 | 0 | 523k| 0 | 1.000000e+00 | 2.470000e+02 | Large
205.40/205.42 c 191s|480000 |192273 | 0 | 0.0 | 130M| 176 | - | 293 |4598 | 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 2.470000e+02 | Large
207.49/207.57 c 193s|490000 |198247 | 0 | 0.0 | 134M| 176 | - | 293 |4670 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 2.470000e+02 | Large
209.70/209.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.70/209.74 c 195s|500000 |204195 | 0 | 0.0 | 138M| 176 | - | 293 |5111 | 0 | 0 | 0 | 541k| 0 | 1.000000e+00 | 2.470000e+02 | Large
212.00/212.01 c 197s|510000 |209934 | 0 | 0.0 | 142M| 176 | - | 293 |5734 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 2.470000e+02 | Large
214.40/214.46 c 199s|520000 |215382 | 0 | 0.0 | 146M| 176 | - | 293 |5744 | 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | 2.470000e+02 | Large
216.90/216.99 c 201s|530000 |220686 | 0 | 0.0 | 150M| 176 | - | 293 |5800 | 0 | 0 | 0 | 562k| 0 | 1.000000e+00 | 2.470000e+02 | Large
219.50/219.52 c 203s|540000 |226031 | 0 | 0.0 | 154M| 176 | - | 293 |5949 | 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 2.470000e+02 | Large
222.10/222.19 c 206s|550000 |231137 | 0 | 0.0 | 158M| 176 | - | 293 |6155 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 2.470000e+02 | Large
224.80/224.87 c 208s|560000 |236275 | 0 | 0.0 | 162M| 176 | - | 293 |6386 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 2.470000e+02 | Large
227.39/227.46 c 210s|570000 |241636 | 0 | 0.0 | 166M| 176 | - | 293 |6627 | 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 2.470000e+02 | Large
230.29/230.32 c 213s|580000 |246474 | 0 | 0.0 | 170M| 176 | - | 293 |6588 | 0 | 0 | 0 | 599k| 0 | 1.000000e+00 | 2.470000e+02 | Large
233.00/233.04 c 215s|590000 |251538 | 0 | 0.0 | 174M| 176 | - | 293 |6475 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 2.470000e+02 | Large
235.70/235.73 c 218s|600000 |256644 | 0 | 0.0 | 178M| 176 | - | 293 |6721 | 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | 2.470000e+02 | Large
238.40/238.42 c 220s|610000 |261852 | 0 | 0.0 | 182M| 176 | - | 293 |6800 | 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 2.470000e+02 | Large
241.19/241.20 c 223s|620000 |266793 | 0 | 0.0 | 185M| 176 | - | 293 |6925 | 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | 2.470000e+02 | Large
243.90/243.97 c 225s|630000 |271733 | 0 | 0.0 | 189M| 176 | - | 293 |6951 | 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 2.470000e+02 | Large
246.50/246.57 c 228s|640000 |277031 | 0 | 0.0 | 193M| 176 | - | 293 |7382 | 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | 2.470000e+02 | Large
249.29/249.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.29/249.33 c 230s|650000 |281984 | 0 | 0.0 | 196M| 176 | - | 293 |7557 | 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 2.470000e+02 | Large
252.09/252.13 c 233s|660000 |286997 | 0 | 0.0 | 200M| 176 | - | 293 |7642 | 0 | 0 | 0 | 653k| 0 | 1.000000e+00 | 2.470000e+02 | Large
254.90/254.92 c 235s|670000 |292043 | 0 | 0.0 | 204M| 176 | - | 293 |7863 | 0 | 0 | 0 | 660k| 0 | 1.000000e+00 | 2.470000e+02 | Large
257.69/257.74 c 238s|680000 |297097 | 0 | 0.0 | 207M| 176 | - | 293 |8183 | 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 2.470000e+02 | Large
260.50/260.54 c 240s|690000 |302197 | 0 | 0.0 | 211M| 176 | - | 293 |8335 | 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 2.470000e+02 | Large
263.30/263.37 c 243s|700000 |307270 | 0 | 0.0 | 214M| 176 | - | 293 |8431 | 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | 2.470000e+02 | Large
266.10/266.10 c 245s|710000 |312388 | 0 | 0.0 | 218M| 176 | - | 293 |8884 | 0 | 0 | 0 | 686k| 0 | 2.000000e+00 | 2.470000e+02 | Large
268.80/268.80 c 248s|720000 |317570 | 0 | 0.0 | 222M| 176 | - | 293 |9305 | 0 | 0 | 0 | 692k| 0 | 2.000000e+00 | 2.470000e+02 | Large
270.70/270.78 o 243
270.70/270.78 c * 249s|727512 |321599 | 0 | 0.0 | 226M| 176 | - | 293 |9373 | 0 | 0 | 0 | 696k| 0 | 2.000000e+00 | 2.430000e+02 | Large
271.49/271.55 c 250s|730000 |322685 | 0 | 0.0 | 227M| 176 | - | 293 |9433 | 0 | 0 | 0 | 698k| 0 | 2.000000e+00 | 2.430000e+02 | Large
274.10/274.15 c 252s|740000 |328093 | 0 | 0.0 | 231M| 176 | - | 293 |9731 | 0 | 0 | 0 | 703k| 0 | 2.000000e+00 | 2.430000e+02 | Large
276.90/276.92 c 255s|750000 |333134 | 0 | 0.0 | 236M| 176 | - | 293 |9986 | 0 | 0 | 0 | 709k| 0 | 2.000000e+00 | 2.430000e+02 | Large
279.70/279.74 c 257s|760000 |338160 | 0 | 0.0 | 240M| 176 | - | 293 | 10k| 0 | 0 | 0 | 715k| 0 | 2.000000e+00 | 2.430000e+02 | Large
282.60/282.61 c 260s|770000 |343110 | 0 | 0.0 | 245M| 176 | - | 293 | 10k| 0 | 0 | 0 | 722k| 0 | 2.000000e+00 | 2.430000e+02 | Large
282.80/282.83 o 238
282.80/282.83 c * 260s|770877 |343517 | 0 | 0.0 | 245M| 176 | - | 293 | 10k| 0 | 0 | 0 | 722k| 0 | 2.000000e+00 | 2.380000e+02 | Large
285.39/285.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.39/285.47 c 262s|780000 |348105 | 0 | 0.0 | 249M| 176 | - | 293 | 10k| 0 | 0 | 0 | 728k| 0 | 2.000000e+00 | 2.380000e+02 | Large
288.30/288.35 c 265s|790000 |353087 | 0 | 0.0 | 253M| 176 | - | 293 | 10k| 0 | 0 | 0 | 733k| 0 | 2.000000e+00 | 2.380000e+02 | Large
291.20/291.22 c 268s|800000 |358078 | 0 | 0.0 | 258M| 176 | - | 293 | 11k| 0 | 0 | 0 | 739k| 0 | 2.000000e+00 | 2.380000e+02 | Large
292.80/292.85 o 222
292.80/292.85 c * 269s|804963 |359950 | 0 | 0.0 | 259M| 176 | - | 293 | 11k| 0 | 0 | 0 | 742k| 0 | 2.000000e+00 | 2.220000e+02 | Large
294.30/294.39 c 270s|810000 |362325 | 0 | 0.0 | 262M| 176 | - | 293 | 10k| 0 | 0 | 0 | 745k| 0 | 2.000000e+00 | 2.220000e+02 | Large
296.60/296.69 o 204
296.60/296.69 c * 273s|817451 |365144 | 0 | 0.0 | 264M| 176 | - | 293 | 11k| 0 | 0 | 0 | 750k| 0 | 2.000000e+00 | 2.040000e+02 | Large
297.40/297.41 c 273s|820000 |366435 | 0 | 0.0 | 265M| 176 | - | 293 | 11k| 0 | 0 | 0 | 751k| 0 | 2.000000e+00 | 2.040000e+02 | Large
300.50/300.57 c 276s|830000 |370902 | 0 | 0.0 | 270M| 176 | - | 293 | 11k| 0 | 0 | 0 | 758k| 0 | 2.000000e+00 | 2.040000e+02 | Large
303.51/303.60 c 279s|840000 |375434 | 0 | 0.0 | 274M| 176 | - | 293 | 11k| 0 | 0 | 0 | 764k| 0 | 2.000000e+00 | 2.040000e+02 | Large
303.61/303.66 o 186
303.61/303.66 c * 279s|840186 |374715 | 0 | 0.0 | 273M| 176 | - | 293 | 11k| 0 | 0 | 0 | 764k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
306.70/306.71 c 282s|850000 |379091 | 0 | 0.0 | 277M| 176 | - | 293 | 11k| 0 | 0 | 0 | 769k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
309.90/309.98 c 285s|860000 |383189 | 0 | 0.0 | 282M| 176 | - | 293 | 11k| 0 | 0 | 0 | 776k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
313.70/313.70 c 288s|870000 |386227 | 0 | 0.0 | 287M| 176 | - | 293 | 12k| 0 | 0 | 0 | 783k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
316.90/316.99 c 291s|880000 |391674 | 0 | 0.0 | 290M| 176 | - | 293 |8503 | 0 | 0 | 0 | 792k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
320.30/320.35 c 294s|890000 |396855 | 0 | 0.0 | 295M| 176 | - | 293 | 10k| 0 | 0 | 0 | 803k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
324.70/324.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.70/324.73 c 298s|900000 |400178 | 0 | 0.0 | 300M| 176 | - | 293 | 12k| 0 | 0 | 0 | 815k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
328.30/328.31 c 301s|910000 |404690 | 0 | 0.0 | 302M| 176 | - | 293 |6357 | 0 | 0 | 0 | 824k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
330.70/330.70 c 303s|920000 |410446 | 0 | 0.0 | 305M| 176 | - | 293 |5572 | 0 | 0 | 0 | 830k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
332.99/333.00 c 306s|930000 |416301 | 0 | 0.0 | 310M| 176 | - | 293 |5907 | 0 | 0 | 0 | 836k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
335.30/335.32 c 308s|940000 |422233 | 0 | 0.0 | 314M| 176 | - | 293 |6085 | 0 | 0 | 0 | 843k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
337.61/337.64 c 310s|950000 |428131 | 0 | 0.0 | 318M| 176 | - | 293 |6268 | 0 | 0 | 0 | 849k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
340.10/340.12 c 312s|960000 |433716 | 0 | 0.0 | 322M| 176 | - | 293 |6562 | 0 | 0 | 0 | 855k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
342.60/342.64 c 314s|970000 |439247 | 0 | 0.0 | 326M| 176 | - | 293 |6837 | 0 | 0 | 0 | 861k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
345.10/345.15 c 316s|980000 |444747 | 0 | 0.0 | 330M| 176 | - | 293 |7165 | 0 | 0 | 0 | 867k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
347.80/347.81 c 319s|990000 |449994 | 0 | 0.0 | 334M| 176 | - | 293 |6665 | 0 | 0 | 0 | 874k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
350.50/350.52 c 321s| 1000k|455115 | 0 | 0.0 | 338M| 176 | - | 293 |7082 | 0 | 0 | 0 | 881k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
353.30/353.31 c 324s| 1010k|460141 | 0 | 0.0 | 342M| 176 | - | 293 |7637 | 0 | 0 | 0 | 888k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
356.31/356.39 c 327s| 1020k|464746 | 0 | 0.0 | 346M| 176 | - | 293 |7578 | 0 | 0 | 0 | 896k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
359.30/359.31 c 329s| 1030k|469609 | 0 | 0.0 | 350M| 176 | - | 293 |8502 | 0 | 0 | 0 | 903k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
362.50/362.56 c 332s| 1040k|473978 | 0 | 0.0 | 354M| 176 | - | 293 |8144 | 0 | 0 | 0 | 911k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
365.80/365.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.80/365.81 c 335s| 1050k|478354 | 0 | 0.0 | 358M| 176 | - | 293 |8169 | 0 | 0 | 0 | 919k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
368.90/368.92 c 338s| 1060k|483004 | 0 | 0.0 | 362M| 176 | - | 293 |8886 | 0 | 0 | 0 | 926k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
372.31/372.38 c 341s| 1070k|487112 | 0 | 0.0 | 365M| 176 | - | 293 |8552 | 0 | 0 | 0 | 934k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
375.50/375.56 c 344s| 1080k|491700 | 0 | 0.0 | 370M| 176 | - | 293 |9424 | 0 | 0 | 0 | 942k| 0 | 2.000000e+00 | 1.860000e+02 |9200.00%
376.80/376.88 o 170
376.80/376.88 c * 345s| 1083k|490669 | 0 | 0.0 | 368M| 176 | - | 293 |8909 | 0 | 0 | 0 | 945k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
379.51/379.51 c 348s| 1090k|492983 | 0 | 0.0 | 371M| 176 | - | 293 |9395 | 0 | 0 | 0 | 951k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
383.20/383.26 c 351s| 1100k|496863 | 0 | 0.0 | 375M| 176 | - | 293 |9311 | 0 | 0 | 0 | 959k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
387.00/387.09 c 355s| 1110k|500451 | 0 | 0.0 | 379M| 176 | - | 293 | 10k| 0 | 0 | 0 | 968k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
391.00/391.07 c 358s| 1120k|503953 | 0 | 0.0 | 382M| 176 | - | 293 |9710 | 0 | 0 | 0 | 977k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
394.60/394.60 c 362s| 1130k|508202 | 0 | 0.0 | 387M| 176 | - | 293 | 11k| 0 | 0 | 0 | 985k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
398.70/398.77 c 366s| 1140k|511508 | 0 | 0.0 | 390M| 176 | - | 293 | 10k| 0 | 0 | 0 | 994k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
402.61/402.65 c 369s| 1150k|515341 | 0 | 0.0 | 394M| 176 | - | 293 | 10k| 0 | 0 | 0 |1002k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
406.60/406.64 c 373s| 1160k|518849 | 0 | 0.0 | 398M| 176 | - | 293 | 11k| 0 | 0 | 0 |1010k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
410.90/410.92 c 377s| 1170k|522119 | 0 | 0.0 | 401M| 176 | - | 293 | 10k| 0 | 0 | 0 |1019k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
414.80/414.89 c 380s| 1180k|525858 | 0 | 0.0 | 405M| 176 | - | 293 | 11k| 0 | 0 | 0 |1027k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
419.20/419.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.20/419.24 c 384s| 1190k|529030 | 0 | 0.0 | 409M| 176 | - | 293 | 11k| 0 | 0 | 0 |1035k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
423.70/423.74 c 389s| 1200k|531881 | 0 | 0.0 | 413M| 176 | - | 293 | 11k| 0 | 0 | 0 |1044k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
428.21/428.25 c 393s| 1210k|534942 | 0 | 0.0 | 416M| 176 | - | 293 | 11k| 0 | 0 | 0 |1053k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
432.60/432.64 c 397s| 1220k|538263 | 0 | 0.0 | 420M| 176 | - | 293 | 12k| 0 | 0 | 0 |1061k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
436.71/436.73 c 401s| 1230k|541995 | 0 | 0.0 | 424M| 176 | - | 293 | 12k| 0 | 0 | 0 |1068k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
441.40/441.42 c 405s| 1240k|544789 | 0 | 0.0 | 428M| 176 | - | 293 | 12k| 0 | 0 | 0 |1077k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
446.00/446.09 c 409s| 1250k|547667 | 0 | 0.0 | 431M| 176 | - | 293 | 13k| 0 | 0 | 0 |1086k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
450.81/450.85 c 414s| 1260k|550575 | 0 | 0.0 | 435M| 176 | - | 293 | 13k| 0 | 0 | 0 |1094k| 0 | 2.000000e+00 | 1.700000e+02 |8400.00%
453.41/453.44 o 158
453.41/453.44 c * 416s| 1266k|549973 | 0 | 0.0 | 434M| 176 | - | 293 | 13k| 0 | 0 | 0 |1099k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
455.50/455.57 c 418s| 1270k|550780 | 0 | 0.0 | 435M| 176 | - | 293 | 13k| 0 | 0 | 0 |1102k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
460.10/460.13 c 422s| 1280k|553974 | 0 | 0.0 | 440M| 176 | - | 293 | 14k| 0 | 0 | 0 |1110k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
465.00/465.08 c 427s| 1290k|556728 | 0 | 0.0 | 443M| 176 | - | 293 | 14k| 0 | 0 | 0 |1119k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
470.10/470.11 c 432s| 1300k|559317 | 0 | 0.0 | 447M| 176 | - | 293 | 14k| 0 | 0 | 0 |1127k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
475.00/475.04 c 436s| 1310k|562243 | 0 | 0.0 | 451M| 176 | - | 293 | 14k| 0 | 0 | 0 |1135k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
480.21/480.29 c 441s| 1320k|564808 | 0 | 0.0 | 455M| 176 | - | 293 | 14k| 0 | 0 | 0 |1144k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
485.41/485.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.41/485.44 c 446s| 1330k|567736 | 0 | 0.0 | 458M| 176 | - | 293 | 15k| 0 | 0 | 0 |1152k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
490.80/490.87 c 451s| 1340k|570215 | 0 | 0.0 | 462M| 176 | - | 293 | 15k| 0 | 0 | 0 |1160k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
496.30/496.30 c 456s| 1350k|572639 | 0 | 0.0 | 466M| 176 | - | 293 | 16k| 0 | 0 | 0 |1169k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
501.80/501.90 c 462s| 1360k|574988 | 0 | 0.0 | 470M| 176 | - | 293 | 16k| 0 | 0 | 0 |1177k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
507.40/507.47 c 467s| 1370k|577443 | 0 | 0.0 | 474M| 176 | - | 293 | 16k| 0 | 0 | 0 |1185k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
513.01/513.09 c 472s| 1380k|579963 | 0 | 0.0 | 478M| 176 | - | 293 | 17k| 0 | 0 | 0 |1194k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
519.00/519.08 c 478s| 1390k|581878 | 0 | 0.0 | 482M| 176 | - | 293 | 17k| 0 | 0 | 0 |1202k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
524.81/524.85 c 483s| 1400k|584254 | 0 | 0.0 | 486M| 176 | - | 293 | 17k| 0 | 0 | 0 |1211k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
530.91/530.99 c 489s| 1410k|586075 | 0 | 0.0 | 490M| 176 | - | 293 | 18k| 0 | 0 | 0 |1219k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
537.30/537.36 c 495s| 1420k|587914 | 0 | 0.0 | 494M| 176 | - | 293 | 18k| 0 | 0 | 0 |1227k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
544.21/544.20 c 501s| 1430k|589005 | 0 | 0.0 | 497M| 176 | - | 293 | 19k| 0 | 0 | 0 |1236k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
550.81/550.85 c 508s| 1440k|589903 | 0 | 0.0 | 501M| 176 | - | 293 | 19k| 0 | 0 | 0 |1245k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
557.90/557.97 c 514s| 1450k|589749 | 0 | 0.0 | 505M| 176 | - | 293 | 20k| 0 | 0 | 0 |1254k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
565.42/565.45 c 522s| 1460k|592575 | 0 | 0.0 | 508M| 176 | - | 293 | 14k| 0 | 0 | 0 |1268k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
572.40/572.48 c 528s| 1470k|594754 | 0 | 0.0 | 513M| 176 | - | 293 | 17k| 0 | 0 | 0 |1283k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
580.60/580.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.60/580.61 c 536s| 1480k|596273 | 0 | 0.0 | 517M| 176 | - | 293 | 21k| 0 | 0 | 0 |1299k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
589.20/589.25 c 544s| 1490k|597806 | 0 | 0.0 | 521M| 176 | - | 293 | 22k| 0 | 0 | 0 |1315k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
599.20/599.25 c 554s| 1500k|597414 | 0 | 0.0 | 523M| 176 | - | 293 | 25k| 0 | 0 | 0 |1332k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
604.61/604.62 c 559s| 1510k|601600 | 0 | 0.0 | 522M| 176 | - | 293 | 11k| 0 | 0 | 0 |1341k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
609.01/609.05 c 563s| 1520k|605334 | 0 | 0.0 | 526M| 176 | - | 293 | 10k| 0 | 0 | 0 |1350k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
613.61/613.65 c 567s| 1530k|608698 | 0 | 0.0 | 530M| 176 | - | 293 | 10k| 0 | 0 | 0 |1360k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
618.51/618.54 c 572s| 1540k|611983 | 0 | 0.0 | 534M| 176 | - | 293 | 11k| 0 | 0 | 0 |1369k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
623.91/623.96 c 577s| 1550k|614869 | 0 | 0.0 | 537M| 176 | - | 293 | 12k| 0 | 0 | 0 |1379k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
629.91/629.97 c 583s| 1560k|617413 | 0 | 0.0 | 541M| 176 | - | 293 | 13k| 0 | 0 | 0 |1390k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
636.11/636.19 c 589s| 1570k|619952 | 0 | 0.0 | 545M| 176 | - | 293 | 13k| 0 | 0 | 0 |1400k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
642.71/642.75 c 595s| 1580k|622342 | 0 | 0.0 | 548M| 176 | - | 293 | 15k| 0 | 0 | 0 |1410k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
649.60/649.63 c 601s| 1590k|624754 | 0 | 0.0 | 552M| 176 | - | 293 | 15k| 0 | 0 | 0 |1421k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
657.01/657.00 c 608s| 1600k|626706 | 0 | 0.0 | 555M| 176 | - | 293 | 16k| 0 | 0 | 0 |1431k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
665.01/665.01 c 616s| 1610k|628384 | 0 | 0.0 | 558M| 176 | - | 293 | 16k| 0 | 0 | 0 |1442k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
673.01/673.03 c 624s| 1620k|630083 | 0 | 0.0 | 562M| 176 | - | 293 | 17k| 0 | 0 | 0 |1453k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
680.41/680.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
680.41/680.46 c 631s| 1630k|632623 | 0 | 0.0 | 566M| 176 | - | 293 | 19k| 0 | 0 | 0 |1463k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
689.31/689.38 c 639s| 1640k|634160 | 0 | 0.0 | 569M| 176 | - | 293 | 19k| 0 | 0 | 0 |1474k| 0 | 2.000000e+00 | 1.580000e+02 |7800.00%
689.91/689.91 o 136
689.91/689.91 c * 640s| 1640k|621461 | 0 | 0.0 | 556M| 176 | - | 293 | 19k| 0 | 0 | 0 |1475k| 0 | 2.000000e+00 | 1.360000e+02 |6700.00%
699.91/699.90 c 650s| 1650k|621755 | 0 | 0.0 | 559M| 176 | - | 293 | 19k| 0 | 0 | 0 |1486k| 0 | 2.000000e+00 | 1.360000e+02 |6700.00%
710.51/710.58 c 660s| 1660k|622277 | 0 | 0.0 | 561M| 176 | - | 293 | 19k| 0 | 0 | 0 |1498k| 0 | 2.000000e+00 | 1.360000e+02 |6700.00%
721.81/721.87 c 671s| 1670k|622332 | 0 | 0.0 | 564M| 176 | - | 293 | 19k| 0 | 0 | 0 |1510k| 0 | 2.000000e+00 | 1.360000e+02 |6700.00%
733.21/733.23 o 132
733.21/733.23 c * 682s| 1679k|620686 | 0 | 0.0 | 565M| 176 | - | 293 | 20k| 0 | 0 | 0 |1523k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
733.21/733.29 c 682s| 1680k|620672 | 0 | 0.0 | 565M| 176 | - | 293 | 20k| 0 | 0 | 0 |1523k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
745.41/745.48 c 694s| 1690k|620307 | 0 | 0.0 | 567M| 176 | - | 293 | 21k| 0 | 0 | 0 |1535k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
758.01/758.04 c 706s| 1700k|619655 | 0 | 0.0 | 570M| 176 | - | 293 | 21k| 0 | 0 | 0 |1547k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
771.01/771.10 c 718s| 1710k|618577 | 0 | 0.0 | 572M| 176 | - | 293 | 22k| 0 | 0 | 0 |1560k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
784.91/784.96 c 732s| 1720k|617033 | 0 | 0.0 | 574M| 176 | - | 293 | 23k| 0 | 0 | 0 |1573k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
798.52/798.60 c 745s| 1730k|615480 | 0 | 0.0 | 576M| 176 | - | 293 | 23k| 0 | 0 | 0 |1585k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
812.31/812.35 c 758s| 1740k|614187 | 0 | 0.0 | 578M| 176 | - | 293 | 24k| 0 | 0 | 0 |1597k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
826.81/826.88 c 772s| 1750k|612465 | 0 | 0.0 | 580M| 176 | - | 293 | 25k| 0 | 0 | 0 |1610k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
841.12/841.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.12/841.19 c 786s| 1760k|611043 | 0 | 0.0 | 583M| 176 | - | 293 | 27k| 0 | 0 | 0 |1622k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
857.21/857.20 c 802s| 1770k|608747 | 0 | 0.0 | 585M| 176 | - | 293 | 28k| 0 | 0 | 0 |1634k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
874.52/874.51 c 819s| 1780k|605794 | 0 | 0.0 | 587M| 176 | - | 293 | 30k| 0 | 0 | 0 |1647k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
893.22/893.23 c 837s| 1790k|602176 | 0 | 0.0 | 589M| 176 | - | 293 | 31k| 0 | 0 | 0 |1659k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
912.11/912.13 c 855s| 1800k|597749 | 0 | 0.0 | 591M| 176 | - | 293 | 33k| 0 | 0 | 0 |1672k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
930.22/930.26 c 873s| 1810k|595442 | 0 | 0.0 | 590M| 176 | - | 293 | 24k| 0 | 0 | 0 |1691k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
945.41/945.40 c 888s| 1820k|593841 | 0 | 0.0 | 592M| 176 | - | 293 | 27k| 0 | 0 | 0 |1710k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
963.01/963.05 c 905s| 1830k|591540 | 0 | 0.0 | 593M| 176 | - | 293 | 32k| 0 | 0 | 0 |1730k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
982.82/982.89 c 924s| 1840k|588089 | 0 | 0.0 | 593M| 176 | - | 293 | 35k| 0 | 0 | 0 |1751k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
992.42/992.42 c 934s| 1850k|591942 | 0 | 0.0 | 588M| 176 | - | 293 | 11k| 0 | 0 | 0 |1760k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
999.02/999.04 c 940s| 1860k|592393 | 0 | 0.0 | 591M| 176 | - | 293 | 12k| 0 | 0 | 0 |1773k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
1010.72/1010.78 c 951s| 1870k|589921 | 0 | 0.0 | 593M| 176 | - | 293 | 17k| 0 | 0 | 0 |1789k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
1026.11/1026.20 c 966s| 1880k|587146 | 0 | 0.0 | 596M| 176 | - | 293 | 21k| 0 | 0 | 0 |1804k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
1045.72/1045.73 c 985s| 1890k|583281 | 0 | 0.0 | 598M| 176 | - | 293 | 24k| 0 | 0 | 0 |1819k| 0 | 2.000000e+00 | 1.320000e+02 |6500.00%
1066.02/1066.05 o 121
1066.02/1066.05 c *1005s| 1898k|566192 | 0 | 0.0 | 584M| 176 | - | 293 | 28k| 0 | 0 | 0 |1832k| 0 | 2.000000e+00 | 1.210000e+02 |5950.00%
1068.52/1068.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.52/1068.58 c 1008s| 1900k|565794 | 0 | 0.0 | 584M| 176 | - | 293 | 28k| 0 | 0 | 0 |1834k| 0 | 2.000000e+00 | 1.210000e+02 |5950.00%
1084.52/1084.60 o 112
1084.52/1084.60 c *1023s| 1905k|552847 | 0 | 0.0 | 574M| 176 | - | 293 | 30k| 0 | 0 | 0 |1843k| 0 | 2.000000e+00 | 1.120000e+02 |5500.00%
1098.62/1098.66 c 1037s| 1910k|549455 | 0 | 0.0 | 574M| 176 | - | 293 | 32k| 0 | 0 | 0 |1851k| 0 | 2.000000e+00 | 1.120000e+02 |5500.00%
1130.03/1130.01 o 109
1130.03/1130.01 c *1068s| 1918k|540345 | 0 | 0.0 | 570M| 176 | - | 293 | 37k| 0 | 0 | 0 |1866k| 0 | 2.000000e+00 | 1.090000e+02 |5350.00%
1135.13/1135.12 c 1073s| 1920k|539097 | 0 | 0.0 | 570M| 176 | - | 293 | 37k| 0 | 0 | 0 |1868k| 0 | 2.000000e+00 | 1.090000e+02 |5350.00%
1173.42/1173.45 c 1111s| 1930k|530399 | 0 | 0.0 | 565M| 176 | - | 293 | 36k| 0 | 0 | 0 |1889k| 0 | 2.000000e+00 | 1.090000e+02 |5350.00%
1207.83/1207.81 c 1145s| 1940k|523167 | 0 | 0.0 | 559M| 176 | - | 293 | 40k| 0 | 0 | 0 |1912k| 0 | 2.000000e+00 | 1.090000e+02 |5350.00%
1216.92/1216.96 c 1154s| 1950k|529018 | 0 | 0.0 | 555M| 176 | - | 293 | 20k| 0 | 0 | 0 |1920k| 0 | 2.000000e+00 | 1.090000e+02 |5350.00%
1221.63/1221.69 c 1159s| 1960k|535614 | 0 | 0.0 | 559M| 176 | - | 293 | 17k| 0 | 0 | 0 |1927k| 0 | 2.000000e+00 | 1.090000e+02 |5350.00%
1227.32/1227.38 c 1164s| 1970k|540737 | 0 | 0.0 | 563M| 176 | - | 293 | 18k| 0 | 0 | 0 |1936k| 0 | 2.000000e+00 | 1.090000e+02 |5350.00%
1234.72/1234.77 c 1171s| 1980k|543536 | 0 | 0.0 | 568M| 176 | - | 293 | 20k| 0 | 0 | 0 |1948k| 0 | 2.000000e+00 | 1.090000e+02 |5350.00%
1240.12/1240.14 c 1176s| 1990k|547581 | 0 | 0.0 | 567M| 176 | - | 293 |7871 | 0 | 0 | 0 |1958k| 0 | 2.000000e+00 | 1.090000e+02 |5350.00%
1245.73/1245.74 c 1182s| 2000k|547513 | 0 | 0.0 | 570M| 176 | - | 293 |9938 | 0 | 0 | 0 |1968k| 0 | 2.000000e+00 | 1.090000e+02 |5350.00%
1254.72/1254.74 c 1190s| 2010k|543940 | 0 | 0.0 | 567M| 176 | - | 293 | 15k| 0 | 0 | 0 |1982k| 0 | 3.000000e+00 | 1.090000e+02 |3533.33%
1259.73/1259.71 c 1195s| 2020k|549396 | 0 | 0.0 | 570M| 176 | - | 293 | 14k| 0 | 0 | 0 |1992k| 0 | 3.000000e+00 | 1.090000e+02 |3533.33%
1265.23/1265.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.23/1265.25 c 1201s| 2030k|554224 | 0 | 0.0 | 575M| 176 | - | 293 | 16k| 0 | 0 | 0 |2002k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1271.43/1271.42 c 1206s| 2040k|558896 | 0 | 0.0 | 581M| 176 | - | 293 | 19k| 0 | 0 | 0 |2012k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1278.02/1278.06 c 1213s| 2050k|563488 | 0 | 0.0 | 586M| 176 | - | 293 | 21k| 0 | 0 | 0 |2023k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1286.32/1286.37 c 1221s| 2060k|567242 | 0 | 0.0 | 591M| 176 | - | 293 | 23k| 0 | 0 | 0 |2035k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1296.32/1296.38 c 1231s| 2070k|570134 | 0 | 0.0 | 597M| 176 | - | 293 | 26k| 0 | 0 | 0 |2048k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1308.22/1308.23 c 1242s| 2080k|571867 | 0 | 0.0 | 601M| 176 | - | 293 | 29k| 0 | 0 | 0 |2062k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1321.43/1321.41 c 1255s| 2090k|572420 | 0 | 0.0 | 605M| 176 | - | 293 | 34k| 0 | 0 | 0 |2077k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1334.33/1334.33 c 1268s| 2100k|573780 | 0 | 0.0 | 606M| 176 | - | 293 | 28k| 0 | 0 | 0 |2091k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1343.52/1343.53 c 1277s| 2110k|577878 | 0 | 0.0 | 608M| 176 | - | 293 | 19k| 0 | 0 | 0 |2104k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1353.23/1353.21 c 1286s| 2120k|578657 | 0 | 0.0 | 609M| 176 | - | 293 | 16k| 0 | 0 | 0 |2119k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1360.52/1360.60 c 1293s| 2130k|579425 | 0 | 0.0 | 612M| 176 | - | 293 | 16k| 0 | 0 | 0 |2130k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1368.33/1368.31 c 1301s| 2140k|582770 | 0 | 0.0 | 617M| 176 | - | 293 | 21k| 0 | 0 | 0 |2143k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1378.13/1378.14 c 1310s| 2150k|585533 | 0 | 0.0 | 623M| 176 | - | 293 | 25k| 0 | 0 | 0 |2155k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1388.93/1388.94 c 1321s| 2160k|588316 | 0 | 0.0 | 628M| 176 | - | 293 | 30k| 0 | 0 | 0 |2168k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1402.33/1402.33 c 1334s| 2170k|590223 | 0 | 0.0 | 633M| 176 | - | 293 | 34k| 0 | 0 | 0 |2183k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1417.23/1417.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.23/1417.29 c 1349s| 2180k|591950 | 0 | 0.0 | 638M| 176 | - | 293 | 38k| 0 | 0 | 0 |2197k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1434.52/1434.57 c 1366s| 2190k|593100 | 0 | 0.0 | 643M| 176 | - | 293 | 41k| 0 | 0 | 0 |2212k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1454.23/1454.21 c 1385s| 2200k|593468 | 0 | 0.0 | 647M| 176 | - | 293 | 44k| 0 | 0 | 0 |2228k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1476.24/1476.26 c 1407s| 2210k|593081 | 0 | 0.0 | 650M| 176 | - | 293 | 47k| 0 | 0 | 0 |2244k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1498.73/1498.79 c 1429s| 2220k|592429 | 0 | 0.0 | 654M| 176 | - | 293 | 51k| 0 | 0 | 0 |2260k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1522.23/1522.20 c 1452s| 2230k|590755 | 0 | 0.0 | 656M| 176 | - | 293 | 57k| 0 | 0 | 0 |2277k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1544.53/1544.53 c 1474s| 2240k|591294 | 0 | 0.0 | 654M| 176 | - | 293 | 43k| 0 | 0 | 0 |2293k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1560.43/1560.48 c 1490s| 2250k|593941 | 0 | 0.0 | 655M| 176 | - | 293 | 37k| 0 | 0 | 0 |2310k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1578.54/1578.50 c 1508s| 2260k|594503 | 0 | 0.0 | 658M| 176 | - | 293 | 37k| 0 | 0 | 0 |2330k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1599.23/1599.21 c 1528s| 2270k|592401 | 0 | 0.0 | 656M| 176 | - | 293 | 33k| 0 | 0 | 0 |2348k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1617.54/1617.55 c 1546s| 2280k|591762 | 0 | 0.0 | 660M| 176 | - | 293 | 36k| 0 | 0 | 0 |2365k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1639.33/1639.31 c 1568s| 2290k|591570 | 0 | 0.0 | 664M| 176 | - | 293 | 41k| 0 | 0 | 0 |2381k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1665.83/1665.85 c 1594s| 2300k|590367 | 0 | 0.0 | 668M| 176 | - | 293 | 47k| 0 | 0 | 0 |2399k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1697.94/1697.93 c 1626s| 2310k|588356 | 0 | 0.0 | 671M| 176 | - | 293 | 54k| 0 | 0 | 0 |2417k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1737.24/1737.26 c 1665s| 2320k|584897 | 0 | 0.0 | 673M| 176 | - | 293 | 61k| 0 | 0 | 0 |2436k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
1781.24/1781.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1781.24/1781.29 c 1708s| 2330k|580633 | 0 | 0.0 | 674M| 176 | - | 293 | 67k| 0 | 0 | 0 |2455k| 0 | 6.000000e+00 | 1.090000e+02 |1716.67%
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) : 1726.95
1800.04/1800.00 c Solving Nodes : 2334195
1800.04/1800.00 c Primal Bound : +1.09000000000000e+02 (22 solutions)
1800.04/1800.00 c Dual Bound : +6.00000000000000e+00
1800.04/1800.00 c Gap : 1716.67 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148
1800.04/1800.00 v -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.04/1800.00 v -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106
1800.04/1800.00 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82
1800.04/1800.00 v -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.04/1800.00 v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32
1800.04/1800.00 v x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5
1800.04/1800.00 v -x4 -x3 -x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1726.95
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693859-1277896011.wbo
1800.04/1800.00 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.04/1800.00 c Constraints : 166 initial, 166 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693859-1277896011.wbo
1800.04/1800.00 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
1800.04/1800.00 c Constraints : 158 initial, 70248 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 4 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 2 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 62 0 6 2 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 62 0 5978442 0 1586623 28873 3473410 0 0 0
1800.04/1800.00 c setppc : 30 0 6322606 0 1659922 46091 6378958 0 0 0
1800.04/1800.00 c linear : 62 0 6276584 0 1659927 488766 30812711 0 0 0
1800.04/1800.00 c logicor : 4+ 0 3160770 0 1611789 284798 2868098 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 115903 0 0 0 6377 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1659949 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 5.36 0.00 3.46 0.00 1.90
1800.04/1800.00 c setppc : 17.66 0.00 13.37 0.00 4.29
1800.04/1800.00 c linear : 129.10 0.00 128.97 0.00 0.13
1800.04/1800.00 c logicor : 778.40 0.00 778.08 0.00 0.32
1800.04/1800.00 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.00 2 0 0
1800.04/1800.00 c rootredcost : 0.00 0 0 0
1800.04/1800.00 c pseudoobj : 27.66 6447379 95958 3316506
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 60.64 915611 915447 4856067 28.5 250299 14.8 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.01 293 293 1604 23.2 80 12.9 -
1800.04/1800.00 c applied globally : - - - 2329058 18.3 - - -
1800.04/1800.00 c applied locally : - - - 134306 39.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 12.33 1659927 0 0 0 0 3319854
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.16 - 22
1800.04/1800.00 c oneopt : 0.07 0 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.00 0 0
1800.04/1800.00 c trysol : 0.00 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 2334195
1800.04/1800.00 c nodes (total) : 2334195
1800.04/1800.00 c nodes left : 578320
1800.04/1800.00 c max depth : 176
1800.04/1800.00 c max depth (total): 176
1800.04/1800.00 c backtracks : 668676 (28.6%)
1800.04/1800.00 c delayed cutoffs : 361380
1800.04/1800.00 c repropagations : 2267640 (11345774 domain reductions, 270533 cutoffs)
1800.04/1800.00 c avg switch length: 19.98
1800.04/1800.00 c switching time : 558.12
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 22 (22 improvements)
1800.04/1800.00 c First Solution : +6.37000000000000e+02 (in run 1, after 59261 nodes, 15.19 seconds, depth 99, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +1.09000000000000e+02 (in run 1, after 1918631 nodes, 1068.28 seconds, depth 80, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +6.00000000000000e+00
1800.04/1800.00 c Gap : 1716.67 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1801.54/1801.53 c Time complete: 1801.57.
OK 107
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693859-1277896011/watcher-2693859-1277896011 -o /tmp/evaluation-result-2693859-1277896011/solver-2693859-1277896011 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693859-1277896011.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.05 2.01 4/178 15271 /proc/meminfo: memFree=30104540/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=8252 CPUtime=0 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 1547 0 0 0 0 0 0 0 21 0 1 0 130895787 8450048 1470 4089446400 4194304 7136930 140734840331808 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15271/statm: 2063 1470 275 719 0 1342 0 [startup+0.032671 s] /proc/loadavg: 2.02 2.05 2.01 4/178 15271 /proc/meminfo: memFree=30104540/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=11956 CPUtime=0.02 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 4506 0 0 0 2 0 0 0 21 0 1 0 130895787 12242944 2277 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 2989 2277 395 719 0 2268 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11956 [startup+0.100659 s] /proc/loadavg: 2.02 2.05 2.01 4/178 15271 /proc/meminfo: memFree=30104540/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=13092 CPUtime=0.09 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 4776 0 0 0 7 2 0 0 21 0 1 0 130895787 13406208 2547 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 3273 2547 395 719 0 2552 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13092 [startup+0.300622 s] /proc/loadavg: 2.02 2.05 2.01 4/178 15271 /proc/meminfo: memFree=30104540/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=14908 CPUtime=0.29 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 5266 0 0 0 22 7 0 0 21 0 1 0 130895787 15265792 3037 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 3727 3037 395 719 0 3006 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14908 [startup+0.700563 s] /proc/loadavg: 2.02 2.05 2.01 4/178 15271 /proc/meminfo: memFree=30104540/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=17736 CPUtime=0.69 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 5955 0 0 0 54 15 0 0 22 0 1 0 130895787 18161664 3726 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 4434 3726 395 719 0 3713 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17736 [startup+1.50044 s] /proc/loadavg: 2.02 2.05 2.01 3/179 15272 /proc/meminfo: memFree=30088908/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=21504 CPUtime=1.49 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 6917 0 0 0 123 26 0 0 25 0 1 0 130895787 22020096 4688 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 5376 4688 395 719 0 4655 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21504 [startup+3.10014 s] /proc/loadavg: 2.02 2.05 2.01 3/179 15272 /proc/meminfo: memFree=30084444/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=27508 CPUtime=3.09 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 8432 0 0 0 262 47 0 0 25 0 1 0 130895787 28168192 6203 4089446400 4194304 7136930 140734840331808 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 6877 6203 395 719 0 6156 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27508 [startup+6.30058 s] /proc/loadavg: 2.02 2.04 2.01 3/179 15272 /proc/meminfo: memFree=30073208/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=34092 CPUtime=6.29 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 10080 0 0 0 548 81 0 0 25 0 1 0 130895787 34910208 7851 4089446400 4194304 7136930 140734840331808 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 8523 7851 395 719 0 7802 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34092 [startup+12.7004 s] /proc/loadavg: 2.02 2.04 2.01 3/179 15272 /proc/meminfo: memFree=30057720/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=44496 CPUtime=12.69 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 12652 0 0 0 1142 127 0 0 25 0 1 0 130895787 45563904 10423 4089446400 4194304 7136930 140734840331808 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 11124 10423 395 719 0 10403 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44496 [startup+25.5011 s] /proc/loadavg: 2.01 2.04 2.01 3/179 15272 /proc/meminfo: memFree=30032596/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=60288 CPUtime=25.49 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 16589 0 0 0 2325 224 0 0 25 0 1 0 130895787 61734912 14360 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 15072 14360 395 719 0 14351 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60288 [startup+51.1006 s] /proc/loadavg: 2.01 2.04 2.01 3/179 15273 /proc/meminfo: memFree=30004656/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=69924 CPUtime=51.09 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 18954 0 0 0 4788 321 0 0 25 0 1 0 130895787 71602176 16725 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 17481 16725 395 719 0 16760 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 69924 [startup+102.306 s] /proc/loadavg: 2.00 2.03 2.00 3/179 15274 /proc/meminfo: memFree=29935300/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=100164 CPUtime=102.3 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 26483 0 0 0 9628 602 0 0 25 0 1 0 130895787 102567936 24254 4089446400 4194304 7136930 140734840331808 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 25041 24254 395 719 0 24320 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 100164 [startup+162.301 s] /proc/loadavg: 2.04 2.03 2.00 2/174 15294 /proc/meminfo: memFree=31076816/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=161828 CPUtime=162.29 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 41760 0 0 0 15064 1165 0 0 25 0 1 0 130895787 165711872 39531 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 40457 39531 396 719 0 39736 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 161828 [startup+222.301 s] /proc/loadavg: 1.94 2.00 1.99 4/179 15327 /proc/meminfo: memFree=30872956/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=221888 CPUtime=222.3 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 55913 0 0 0 20582 1648 0 0 25 0 1 0 130895787 227213312 53684 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 55472 53684 396 719 0 54751 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 221888 [startup+282.3 s] /proc/loadavg: 2.06 2.03 2.00 3/197 15373 /proc/meminfo: memFree=30695372/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=308648 CPUtime=282.3 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 77966 0 0 0 25963 2267 0 0 25 0 1 0 130895787 316055552 75737 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 77162 75737 396 719 0 76441 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 308648 [startup+342.301 s] /proc/loadavg: 2.02 2.02 2.00 3/197 15374 /proc/meminfo: memFree=30569944/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=393984 CPUtime=342.3 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 99658 0 0 0 31381 2849 0 0 25 0 1 0 130895787 403439616 97429 4089446400 4194304 7136930 140734840331808 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 98496 97429 398 719 0 97775 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 393984 [startup+402.301 s] /proc/loadavg: 2.01 2.02 2.00 3/197 15376 /proc/meminfo: memFree=30472424/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=473520 CPUtime=402.3 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 117791 0 0 0 36875 3355 0 0 25 0 1 0 130895787 484884480 115562 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 118380 115562 398 719 0 117659 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 473520 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 15378 /proc/meminfo: memFree=30400952/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=521096 CPUtime=462.3 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 129768 0 0 0 42451 3779 0 0 25 0 1 0 130895787 533602304 127539 4089446400 4194304 7136930 140734840331808 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 130274 127539 398 719 0 129553 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 521096 [startup+522.3 s] /proc/loadavg: 2.09 2.02 2.01 3/200 15437 /proc/meminfo: memFree=30462676/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=572692 CPUtime=522.31 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 142670 0 0 0 48071 4160 0 0 25 0 1 0 130895787 586436608 140441 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 143173 140441 398 719 0 142452 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 572692 [startup+582.301 s] /proc/loadavg: 2.10 2.04 2.01 3/179 15512 /proc/meminfo: memFree=30578452/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=605640 CPUtime=582.31 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 150908 0 0 0 53761 4470 0 0 25 0 1 0 130895787 620175360 148679 4089446400 4194304 7136930 140734840331808 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 151410 148679 398 719 0 150689 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 605640 [startup+642.301 s] /proc/loadavg: 2.04 2.03 2.00 3/197 15558 /proc/meminfo: memFree=30364316/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=638176 CPUtime=642.32 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 159091 0 0 0 59446 4786 0 0 25 0 1 0 130895787 653492224 156862 4089446400 4194304 7136930 140734840331808 18446744073709551615 4393377 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 159544 156862 398 719 0 158823 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 638176 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15570 /proc/meminfo: memFree=30228932/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=699252 CPUtime=1062.32 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 174385 0 0 0 100152 6080 0 0 25 0 1 0 130895787 716034048 172156 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 174813 172156 398 719 0 174092 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 699252 [startup+1122.3 s] /proc/loadavg: 2.06 2.02 2.00 3/197 15572 /proc/meminfo: memFree=30212400/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=701712 CPUtime=1122.32 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 174805 0 0 0 106069 6163 0 0 25 0 1 0 130895787 718553088 172576 4089446400 4194304 7136930 140734840331808 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 175428 172576 398 719 0 174707 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 701712 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 15573 /proc/meminfo: memFree=30194380/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=702300 CPUtime=1182.33 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 174951 0 0 0 112003 6230 0 0 25 0 1 0 130895787 719155200 172722 4089446400 4194304 7136930 140734840331808 18446744073709551615 4332879 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 175575 172722 398 719 0 174854 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 702300 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 15574 /proc/meminfo: memFree=30185532/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=702488 CPUtime=1242.32 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 175011 0 0 0 117851 6381 0 0 25 0 1 0 130895787 719347712 172782 4089446400 4194304 7136930 140734840331808 18446744073709551615 4998381 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 175622 172782 398 719 0 174901 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 702488 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15576 /proc/meminfo: memFree=30177168/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=707384 CPUtime=1302.33 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 176248 0 0 0 123649 6584 0 0 25 0 1 0 130895787 724361216 174019 4089446400 4194304 7136930 140734840331808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 176846 174019 398 719 0 176125 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 707384 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15578 /proc/meminfo: memFree=30161992/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=716992 CPUtime=1362.33 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 178589 0 0 0 129495 6738 0 0 25 0 1 0 130895787 734199808 176360 4089446400 4194304 7136930 140734840331808 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 179248 176360 398 719 0 178527 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 716992 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15580 /proc/meminfo: memFree=30144828/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=732356 CPUtime=1422.34 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 182517 0 0 0 135369 6865 0 0 25 0 1 0 130895787 749932544 180288 4089446400 4194304 7136930 140734840331808 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 183089 180288 398 719 0 182368 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 732356 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15581 /proc/meminfo: memFree=30131772/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=742732 CPUtime=1482.33 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 185080 0 0 0 141285 6948 0 0 25 0 1 0 130895787 760557568 182851 4089446400 4194304 7136930 140734840331808 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 185683 182851 398 719 0 184962 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 742732 [startup+1542.3 s] /proc/loadavg: 2.04 2.01 2.00 3/197 15585 /proc/meminfo: memFree=30122220/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=750828 CPUtime=1542.33 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 186971 0 0 0 147207 7026 0 0 25 0 1 0 130895787 768847872 184742 4089446400 4194304 7136930 140734840331808 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 187707 184742 398 719 0 186986 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 750828 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 15587 /proc/meminfo: memFree=30109672/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=757748 CPUtime=1602.34 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 188704 0 0 0 153116 7118 0 0 25 0 1 0 130895787 775933952 186475 4089446400 4194304 7136930 140734840331808 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 189437 186475 398 719 0 188716 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 757748 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15589 /proc/meminfo: memFree=30096864/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=769780 CPUtime=1662.33 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 191706 0 0 0 159041 7192 0 0 25 0 1 0 130895787 788254720 189477 4089446400 4194304 7136930 140734840331808 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 192445 189477 398 719 0 191724 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 769780 [startup+1722.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 15591 /proc/meminfo: memFree=30090256/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=776708 CPUtime=1722.34 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 193277 0 0 0 164986 7248 0 0 25 0 1 0 130895787 795348992 191048 4089446400 4194304 7136930 140734840331808 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 194177 191048 398 719 0 193456 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 776708 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 15592 /proc/meminfo: memFree=30078312/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=782188 CPUtime=1782.34 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 194257 0 0 0 170939 7295 0 0 25 0 1 0 130895787 800960512 192028 4089446400 4194304 7136930 140734840331808 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 195547 192028 398 719 0 194826 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 782188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.00 2.00 3/197 15593 /proc/meminfo: memFree=30077052/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=783024 CPUtime=1800.04 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 194475 0 0 0 172695 7309 0 0 25 0 1 0 130895787 801816576 192246 4089446400 4194304 7136930 140734840331808 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15271/statm: 195756 192246 398 719 0 195035 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 783024 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.01 2.00 2.00 3/198 15594 /proc/meminfo: memFree=30076300/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=783536 CPUtime=1800.64 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 194594 0 0 0 172755 7309 0 0 18 0 1 0 130895787 802340864 192365 4089446400 4194304 7136930 140734840331808 18446744073709551615 4616919 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15271/statm: 195884 192365 403 719 0 195163 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 783536 [startup+1801 s] /proc/loadavg: 2.01 2.00 2.00 3/198 15594 /proc/meminfo: memFree=30076300/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=782512 CPUtime=1801.04 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 194594 0 0 0 172795 7309 0 0 19 0 1 0 130895787 801292288 192109 4089446400 4194304 7136930 140734840331808 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15271/statm: 195628 192109 403 719 0 194907 0 Current children cumulated CPU time (s) 1801.04 Current children cumulated vsize (KiB) 782512 [startup+1801.4 s] /proc/loadavg: 2.01 2.00 2.00 3/198 15594 /proc/meminfo: memFree=30076300/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=778924 CPUtime=1801.43 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 194594 0 0 0 172834 7309 0 0 19 0 1 0 130895787 797618176 191213 4089446400 4194304 7136930 140734840331808 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15271/statm: 194731 191213 403 719 0 194010 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 778924 [startup+1801.5 s] /proc/loadavg: 2.01 2.00 2.00 3/198 15594 /proc/meminfo: memFree=30076300/32951124 swapFree=67111528/67111528 [pid=15271] ppid=15269 vsize=686368 CPUtime=1801.54 /proc/15271/stat : 15271 (pbscip.linux.x8) R 15269 15271 13152 0 -1 4202496 194594 0 0 0 172844 7310 0 0 20 0 1 0 130895787 702840832 168074 4089446400 4194304 7136930 140734840331808 18446744073709551615 4408854 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15271/statm: 171592 168074 403 719 0 170871 0 Current children cumulated CPU time (s) 1801.54 Current children cumulated vsize (KiB) 686368 Child status: 0 Real time (s): 1801.54 CPU time (s): 1801.58 CPU user time (s): 1728.46 CPU system time (s): 73.1289 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 783536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1728.46 system time used= 73.1289 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 194601 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= 3941 runsolver used 2.98655 second user time and 5.80912 second system time The end
Begin job on node146 at 2010-06-30 13:06:51 IDJOB=2693859 IDBENCH=78769 IDSOLVER=1206 FILE ID=node146/2693859-1277896011 PBS_JOBID= 11197062 Free space on /tmp= 74176 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/wnqueen/normalized-t2001.13queen13.1111213670--soft-33-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-2693859-1277896011/watcher-2693859-1277896011 -o /tmp/evaluation-result-2693859-1277896011/solver-2693859-1277896011 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693859-1277896011.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d3a3522693d056b12d5b1d76acf2f0e6 RANDOM SEED=1413863438 node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30104820 kB Buffers: 182640 kB Cached: 1325964 kB SwapCached: 0 kB Active: 1596264 kB Inactive: 1101368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30104820 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3136 kB Writeback: 0 kB AnonPages: 1189320 kB Mapped: 16152 kB Slab: 82244 kB PageTables: 6820 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1348816 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74176 MiB End job on node146 at 2010-06-30 13:36:53