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) | 1800.73 | 1800.69 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo |
| MD5SUM | 76159a1844a191e7556569a339118f97 |
| 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 | 28 |
| Best CPU time to get the best result obtained on this benchmark | 0.292955 |
| 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 | 1248 |
| 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-2693988-1277899169.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.10/1.13 c 1.1s| 10000 | 7040 | 0 | 0.0 |6641k| 176 | - | 293 |3071 | 0 | 0 | 0 |7196 | 0 | 0.000000e+00 | -- | Inf
2.99/3.07 c 2.9s| 20000 | 11950 | 0 | 0.0 | 11M| 176 | - | 293 |4854 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
5.59/5.64 c 5.4s| 30000 | 16541 | 0 | 0.0 | 18M| 176 | - | 293 | 10k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
9.29/9.37 c 9.0s| 40000 | 19617 | 0 | 0.0 | 22M| 176 | - | 293 | 10k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
13.30/13.39 c 12.9s| 50000 | 21919 | 0 | 0.0 | 27M| 176 | - | 293 | 14k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
16.69/16.79 c 16.2s| 60000 | 26443 | 0 | 0.0 | 28M| 176 | - | 293 |5753 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
17.50/17.58 o 566
17.50/17.58 c *17.0s| 63750 | 28585 | 0 | 0.0 | 29M| 176 | - | 293 |4657 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 5.660000e+02 | Inf
17.50/17.58 o 543
17.50/17.58 c *17.0s| 63752 | 28585 | 0 | 0.0 | 29M| 176 | - | 293 |4657 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 5.430000e+02 | Inf
19.49/19.56 c 18.9s| 70000 | 30352 | 0 | 0.0 | 33M| 176 | - | 293 |9059 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 5.430000e+02 | Inf
24.50/24.55 c 23.8s| 80000 | 31921 | 0 | 0.0 | 38M| 176 | - | 293 | 15k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 5.430000e+02 | Inf
31.69/31.74 c 30.9s| 90000 | 31905 | 0 | 0.0 | 42M| 176 | - | 293 | 20k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 5.430000e+02 | Inf
41.09/41.16 c 40.2s|100000 | 30547 | 0 | 0.0 | 45M| 176 | - | 293 | 24k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 5.430000e+02 | Inf
51.39/51.47 c 50.4s|110000 | 28723 | 0 | 0.0 | 46M| 176 | - | 293 | 29k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 5.430000e+02 | Inf
58.20/58.29 c 57.1s|120000 | 32850 | 0 | 0.0 | 43M| 176 | - | 293 | 10k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 5.430000e+02 | Inf
61.70/61.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.70/61.79 c 60.5s|130000 | 37430 | 0 | 0.0 | 46M| 176 | - | 293 |9609 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 5.430000e+02 | Inf
66.69/66.78 c 65.4s|140000 | 39436 | 0 | 0.0 | 51M| 176 | - | 293 | 13k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 5.430000e+02 | Inf
67.69/67.79 o 533
67.69/67.79 c *66.4s|142385 | 40339 | 0 | 0.0 | 50M| 176 | - | 293 | 10k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 5.330000e+02 | Inf
67.79/67.85 o 436
67.79/67.85 c *66.5s|142702 | 40613 | 0 | 0.0 | 50M| 176 | - | 293 |9383 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 4.360000e+02 | Inf
68.49/68.50 o 387
68.49/68.50 c *67.1s|147634 | 44651 | 0 | 0.0 | 51M| 176 | - | 293 |4041 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 3.870000e+02 | Inf
68.69/68.75 c 67.3s|150000 | 46623 | 0 | 0.0 | 52M| 176 | - | 293 |4175 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 3.870000e+02 | Inf
68.69/68.77 o 317
68.69/68.77 c *67.3s|150182 | 46758 | 0 | 0.0 | 52M| 176 | - | 293 |4173 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 3.170000e+02 | Inf
68.79/68.87 o 273
68.79/68.87 c *67.4s|151026 | 47445 | 0 | 0.0 | 52M| 176 | - | 293 |4223 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 2.730000e+02 | Inf
69.89/69.95 c 68.4s|160000 | 54538 | 0 | 0.0 | 56M| 176 | - | 293 |4800 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.730000e+02 | Inf
70.89/70.99 o 218
70.89/70.99 c *69.4s|167015 | 59420 | 0 | 0.0 | 59M| 176 | - | 293 |5996 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
72.19/72.24 c 70.6s|170000 | 59275 | 0 | 0.0 | 59M| 176 | - | 293 |7022 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
81.09/81.18 c 79.5s|180000 | 55621 | 0 | 0.0 | 62M| 176 | - | 293 | 19k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
96.49/96.52 c 94.7s|190000 | 48902 | 0 | 0.0 | 56M| 176 | - | 293 | 29k| 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
105.80/105.80 c 104s|200000 | 51195 | 0 | 0.0 | 53M| 176 | - | 293 | 16k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
113.40/113.42 c 111s|210000 | 51898 | 0 | 0.0 | 55M| 176 | - | 293 | 15k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
121.70/121.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.70/121.76 c 120s|220000 | 51162 | 0 | 0.0 | 57M| 176 | - | 293 | 17k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
130.69/130.73 c 128s|230000 | 50110 | 0 | 0.0 | 58M| 176 | - | 293 | 20k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
139.60/139.67 c 137s|240000 | 50954 | 0 | 0.0 | 54M| 176 | - | 293 | 11k| 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
141.50/141.55 c 139s|250000 | 58461 | 0 | 0.0 | 56M| 176 | - | 293 |4421 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
143.09/143.16 c 141s|260000 | 65754 | 0 | 0.0 | 60M| 176 | - | 293 |4807 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
144.69/144.72 c 142s|270000 | 73097 | 0 | 0.0 | 64M| 176 | - | 293 |5318 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
146.30/146.35 c 144s|280000 | 80253 | 0 | 0.0 | 68M| 176 | - | 293 |5906 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
147.99/148.02 c 145s|290000 | 87352 | 0 | 0.0 | 72M| 176 | - | 293 |6504 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
149.69/149.75 c 147s|300000 | 94377 | 0 | 0.0 | 76M| 176 | - | 293 |6832 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
151.40/151.46 c 149s|310000 |101472 | 0 | 0.0 | 80M| 176 | - | 293 |7452 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
153.09/153.14 c 150s|320000 |108667 | 0 | 0.0 | 84M| 176 | - | 293 |7748 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
155.00/155.07 c 152s|330000 |115450 | 0 | 0.0 | 88M| 176 | - | 293 |8364 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
156.99/157.05 c 154s|340000 |122141 | 0 | 0.0 | 92M| 176 | - | 293 |8842 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
159.10/159.15 c 156s|350000 |128666 | 0 | 0.0 | 96M| 176 | - | 293 |9646 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
161.30/161.34 c 158s|360000 |135076 | 0 | 0.0 | 100M| 176 | - | 293 |9971 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
161.49/161.58 o 176
161.49/161.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.49/161.58 c * 158s|360999 |135564 | 0 | 0.0 | 101M| 176 | - | 293 | 10k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 1.760000e+02 | Inf
163.70/163.71 c 160s|370000 |141091 | 0 | 0.0 | 104M| 176 | - | 293 | 10k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 1.760000e+02 | Inf
166.20/166.28 c 163s|380000 |146837 | 0 | 0.0 | 109M| 176 | - | 293 | 11k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 1.760000e+02 | Inf
169.49/169.55 c 166s|390000 |151389 | 0 | 0.0 | 113M| 176 | - | 293 | 12k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 1.760000e+02 | Inf
169.69/169.76 o 151
169.69/169.76 c * 166s|390613 |151338 | 0 | 0.0 | 113M| 176 | - | 293 | 13k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
169.79/169.81 o 117
169.79/169.81 c * 166s|390732 |149765 | 0 | 0.0 | 111M| 176 | - | 293 | 13k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.170000e+02 | Inf
173.40/173.42 c 170s|400000 |152441 | 0 | 0.0 | 108M| 176 | - | 293 |8536 | 0 | 0 | 0 | 446k| 0 | 1.000000e+00 | 1.170000e+02 | Large
181.10/181.13 c 177s|410000 |150705 | 0 | 0.0 | 111M| 176 | - | 293 | 14k| 0 | 0 | 0 | 468k| 0 | 1.000000e+00 | 1.170000e+02 | Large
192.89/192.98 c 189s|420000 |146653 | 0 | 0.0 | 112M| 176 | - | 293 | 22k| 0 | 0 | 0 | 490k| 0 | 1.000000e+00 | 1.170000e+02 | Large
208.20/208.28 c 204s|430000 |142059 | 0 | 0.0 | 110M| 176 | - | 293 | 30k| 0 | 0 | 0 | 513k| 0 | 1.000000e+00 | 1.170000e+02 | Large
216.49/216.52 c 212s|440000 |145813 | 0 | 0.0 | 104M| 176 | - | 293 |7234 | 0 | 0 | 0 | 523k| 0 | 1.000000e+00 | 1.170000e+02 | Large
218.99/219.04 c 215s|450000 |151942 | 0 | 0.0 | 108M| 176 | - | 293 |5778 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 1.170000e+02 | Large
221.29/221.37 c 217s|460000 |158169 | 0 | 0.0 | 113M| 176 | - | 293 |5878 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 1.170000e+02 | Large
223.60/223.65 c 219s|470000 |164378 | 0 | 0.0 | 117M| 176 | - | 293 |6758 | 0 | 0 | 0 | 544k| 0 | 1.000000e+00 | 1.170000e+02 | Large
225.99/226.09 c 221s|480000 |170417 | 0 | 0.0 | 122M| 176 | - | 293 |6757 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 1.170000e+02 | Large
228.49/228.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.49/228.54 c 224s|490000 |176360 | 0 | 0.0 | 126M| 176 | - | 293 |7529 | 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | 1.170000e+02 | Large
231.00/231.02 c 226s|500000 |182403 | 0 | 0.0 | 131M| 176 | - | 293 |7845 | 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 1.170000e+02 | Large
233.60/233.64 c 229s|510000 |188260 | 0 | 0.0 | 135M| 176 | - | 293 |8154 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 1.170000e+02 | Large
236.20/236.27 c 231s|520000 |194092 | 0 | 0.0 | 139M| 176 | - | 293 |8353 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 1.170000e+02 | Large
238.89/238.92 c 234s|530000 |199792 | 0 | 0.0 | 144M| 176 | - | 293 |8933 | 0 | 0 | 0 | 583k| 0 | 1.000000e+00 | 1.170000e+02 | Large
241.70/241.75 c 237s|540000 |205269 | 0 | 0.0 | 148M| 176 | - | 293 |9031 | 0 | 0 | 0 | 590k| 0 | 1.000000e+00 | 1.170000e+02 | Large
244.59/244.63 c 239s|550000 |210630 | 0 | 0.0 | 152M| 176 | - | 293 |9301 | 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 1.170000e+02 | Large
247.50/247.56 c 242s|560000 |215956 | 0 | 0.0 | 156M| 176 | - | 293 |9509 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | 1.170000e+02 | Large
250.29/250.39 c 245s|570000 |221443 | 0 | 0.0 | 161M| 176 | - | 293 |9707 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 1.170000e+02 | Large
253.19/253.27 c 248s|580000 |226899 | 0 | 0.0 | 165M| 176 | - | 293 | 10k| 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 1.170000e+02 | Large
256.10/256.12 c 251s|590000 |232419 | 0 | 0.0 | 169M| 176 | - | 293 | 10k| 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 1.170000e+02 | Large
258.69/258.78 c 253s|600000 |238207 | 0 | 0.0 | 174M| 176 | - | 293 | 10k| 0 | 0 | 0 | 629k| 0 | 1.000000e+00 | 1.170000e+02 | Large
261.81/261.87 c 256s|610000 |243341 | 0 | 0.0 | 178M| 176 | - | 293 | 10k| 0 | 0 | 0 | 636k| 0 | 1.000000e+00 | 1.170000e+02 | Large
264.79/264.86 c 259s|620000 |248666 | 0 | 0.0 | 182M| 176 | - | 293 | 10k| 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 1.170000e+02 | Large
267.69/267.78 c 262s|630000 |254254 | 0 | 0.0 | 187M| 176 | - | 293 | 10k| 0 | 0 | 0 | 649k| 0 | 1.000000e+00 | 1.170000e+02 | Large
270.69/270.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.69/270.71 c 265s|640000 |259582 | 0 | 0.0 | 191M| 176 | - | 293 | 11k| 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 1.170000e+02 | Large
273.60/273.68 c 268s|650000 |265014 | 0 | 0.0 | 196M| 176 | - | 293 | 11k| 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 1.170000e+02 | Large
276.69/276.79 c 271s|660000 |270085 | 0 | 0.0 | 200M| 176 | - | 293 | 11k| 0 | 0 | 0 | 669k| 0 | 1.000000e+00 | 1.170000e+02 | Large
279.80/279.87 c 274s|670000 |275263 | 0 | 0.0 | 204M| 176 | - | 293 | 11k| 0 | 0 | 0 | 676k| 0 | 1.000000e+00 | 1.170000e+02 | Large
282.80/282.86 c 277s|680000 |280640 | 0 | 0.0 | 208M| 176 | - | 293 | 11k| 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 1.170000e+02 | Large
285.59/285.69 c 279s|690000 |286307 | 0 | 0.0 | 213M| 176 | - | 293 | 11k| 0 | 0 | 0 | 688k| 0 | 1.000000e+00 | 1.170000e+02 | Large
288.99/289.00 c 282s|700000 |291046 | 0 | 0.0 | 217M| 176 | - | 293 | 11k| 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 1.170000e+02 | Large
292.20/292.24 c 286s|710000 |295960 | 0 | 0.0 | 221M| 176 | - | 293 | 12k| 0 | 0 | 0 | 702k| 0 | 1.000000e+00 | 1.170000e+02 | Large
295.30/295.33 c 289s|720000 |301200 | 0 | 0.0 | 225M| 176 | - | 293 | 12k| 0 | 0 | 0 | 708k| 0 | 1.000000e+00 | 1.170000e+02 | Large
298.30/298.36 c 292s|730000 |306640 | 0 | 0.0 | 230M| 176 | - | 293 | 12k| 0 | 0 | 0 | 715k| 0 | 1.000000e+00 | 1.170000e+02 | Large
301.60/301.62 c 295s|740000 |311744 | 0 | 0.0 | 234M| 176 | - | 293 | 12k| 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 1.170000e+02 | Large
305.09/305.11 c 298s|750000 |316526 | 0 | 0.0 | 239M| 176 | - | 293 | 12k| 0 | 0 | 0 | 729k| 0 | 1.000000e+00 | 1.170000e+02 | Large
308.49/308.52 c 301s|760000 |321459 | 0 | 0.0 | 243M| 176 | - | 293 | 13k| 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 1.170000e+02 | Large
312.09/312.17 c 305s|770000 |325971 | 0 | 0.0 | 247M| 176 | - | 293 | 13k| 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | 1.170000e+02 | Large
315.80/315.81 c 309s|780000 |330579 | 0 | 0.0 | 252M| 176 | - | 293 | 13k| 0 | 0 | 0 | 751k| 0 | 1.000000e+00 | 1.170000e+02 | Large
319.49/319.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.49/319.59 c 312s|790000 |334912 | 0 | 0.0 | 256M| 176 | - | 293 | 13k| 0 | 0 | 0 | 758k| 0 | 1.000000e+00 | 1.170000e+02 | Large
323.60/323.64 c 316s|800000 |339034 | 0 | 0.0 | 260M| 176 | - | 293 | 13k| 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 1.170000e+02 | Large
328.00/328.08 c 321s|810000 |342612 | 0 | 0.0 | 265M| 176 | - | 293 | 14k| 0 | 0 | 0 | 775k| 0 | 1.000000e+00 | 1.170000e+02 | Large
332.59/332.64 c 325s|820000 |346014 | 0 | 0.0 | 268M| 176 | - | 293 | 14k| 0 | 0 | 0 | 784k| 0 | 1.000000e+00 | 1.170000e+02 | Large
337.60/337.63 c 330s|830000 |348861 | 0 | 0.0 | 272M| 176 | - | 293 | 15k| 0 | 0 | 0 | 793k| 0 | 1.000000e+00 | 1.170000e+02 | Large
343.20/343.23 c 335s|840000 |350759 | 0 | 0.0 | 275M| 176 | - | 293 | 16k| 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 1.170000e+02 | Large
344.80/344.83 o 107
344.80/344.83 c * 337s|842549 |349398 | 0 | 0.0 | 274M| 176 | - | 293 | 16k| 0 | 0 | 0 | 806k| 0 | 1.000000e+00 | 1.070000e+02 | Large
348.10/348.14 c 340s|850000 |353017 | 0 | 0.0 | 275M| 176 | - | 293 | 12k| 0 | 0 | 0 | 812k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
351.30/351.30 c 343s|860000 |359063 | 0 | 0.0 | 279M| 176 | - | 293 | 10k| 0 | 0 | 0 | 819k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
355.10/355.19 c 347s|870000 |363535 | 0 | 0.0 | 284M| 176 | - | 293 | 11k| 0 | 0 | 0 | 830k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
359.89/359.94 c 352s|880000 |366924 | 0 | 0.0 | 287M| 176 | - | 293 |8963 | 0 | 0 | 0 | 843k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
363.50/363.53 c 355s|890000 |371016 | 0 | 0.0 | 291M| 176 | - | 293 |6014 | 0 | 0 | 0 | 853k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
367.10/367.18 c 359s|900000 |374687 | 0 | 0.0 | 296M| 176 | - | 293 |7591 | 0 | 0 | 0 | 863k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
370.80/370.84 c 362s|910000 |378892 | 0 | 0.0 | 301M| 176 | - | 293 |8348 | 0 | 0 | 0 | 872k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
374.20/374.29 c 366s|920000 |383585 | 0 | 0.0 | 305M| 176 | - | 293 |9282 | 0 | 0 | 0 | 881k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
378.00/378.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.00/378.04 c 369s|930000 |387831 | 0 | 0.0 | 309M| 176 | - | 293 |9977 | 0 | 0 | 0 | 890k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
381.61/381.63 c 373s|940000 |392464 | 0 | 0.0 | 314M| 176 | - | 293 | 10k| 0 | 0 | 0 | 898k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
385.20/385.28 c 376s|950000 |397149 | 0 | 0.0 | 318M| 176 | - | 293 | 10k| 0 | 0 | 0 | 907k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
389.00/389.06 c 380s|960000 |401721 | 0 | 0.0 | 323M| 176 | - | 293 | 11k| 0 | 0 | 0 | 915k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
393.00/393.02 c 384s|970000 |406001 | 0 | 0.0 | 327M| 176 | - | 293 | 11k| 0 | 0 | 0 | 924k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
396.79/396.85 o 103
396.79/396.85 c * 388s|979301 |408556 | 0 | 0.0 | 329M| 176 | - | 293 | 12k| 0 | 0 | 0 | 932k| 0 | 2.000000e+00 | 1.030000e+02 |5050.00%
397.10/397.16 c 388s|980000 |408853 | 0 | 0.0 | 330M| 176 | - | 293 | 12k| 0 | 0 | 0 | 933k| 0 | 2.000000e+00 | 1.030000e+02 |5050.00%
401.10/401.13 c 392s|990000 |413363 | 0 | 0.0 | 334M| 176 | - | 293 | 12k| 0 | 0 | 0 | 941k| 0 | 2.000000e+00 | 1.030000e+02 |5050.00%
405.60/405.69 c 396s| 1000k|417162 | 0 | 0.0 | 338M| 176 | - | 293 | 12k| 0 | 0 | 0 | 950k| 0 | 2.000000e+00 | 1.030000e+02 |5050.00%
410.30/410.39 c 401s| 1010k|420849 | 0 | 0.0 | 343M| 176 | - | 293 | 13k| 0 | 0 | 0 | 959k| 0 | 2.000000e+00 | 1.030000e+02 |5050.00%
415.20/415.29 c 406s| 1020k|424343 | 0 | 0.0 | 347M| 176 | - | 293 | 13k| 0 | 0 | 0 | 969k| 0 | 2.000000e+00 | 1.030000e+02 |5050.00%
419.70/419.71 c 410s| 1030k|428497 | 0 | 0.0 | 351M| 176 | - | 293 | 14k| 0 | 0 | 0 | 977k| 0 | 2.000000e+00 | 1.030000e+02 |5050.00%
425.00/425.01 c 415s| 1040k|431597 | 0 | 0.0 | 355M| 176 | - | 293 | 14k| 0 | 0 | 0 | 987k| 0 | 2.000000e+00 | 1.030000e+02 |5050.00%
430.30/430.32 c 420s| 1050k|434713 | 0 | 0.0 | 359M| 176 | - | 293 | 14k| 0 | 0 | 0 | 996k| 0 | 2.000000e+00 | 1.030000e+02 |5050.00%
435.10/435.13 c 425s| 1060k|438308 | 0 | 0.0 | 363M| 176 | - | 293 | 15k| 0 | 0 | 0 |1005k| 0 | 2.000000e+00 | 1.030000e+02 |5050.00%
440.50/440.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.50/440.55 c 430s| 1070k|441352 | 0 | 0.0 | 367M| 176 | - | 293 | 15k| 0 | 0 | 0 |1015k| 0 | 2.000000e+00 | 1.030000e+02 |5050.00%
445.70/445.72 c 436s| 1080k|444717 | 0 | 0.0 | 372M| 176 | - | 293 | 15k| 0 | 0 | 0 |1024k| 0 | 2.000000e+00 | 1.030000e+02 |5050.00%
446.40/446.48 o 100
446.40/446.48 c * 436s| 1081k|444563 | 0 | 0.0 | 372M| 176 | - | 293 | 15k| 0 | 0 | 0 |1026k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
451.01/451.07 c 441s| 1090k|447584 | 0 | 0.0 | 375M| 176 | - | 293 | 16k| 0 | 0 | 0 |1033k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
456.60/456.61 c 446s| 1100k|450642 | 0 | 0.0 | 379M| 176 | - | 293 | 16k| 0 | 0 | 0 |1043k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
461.41/461.49 c 451s| 1110k|454469 | 0 | 0.0 | 384M| 176 | - | 293 | 16k| 0 | 0 | 0 |1051k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
467.50/467.51 c 457s| 1120k|457061 | 0 | 0.0 | 387M| 176 | - | 293 | 16k| 0 | 0 | 0 |1061k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
472.20/472.22 c 461s| 1130k|461111 | 0 | 0.0 | 392M| 176 | - | 293 | 17k| 0 | 0 | 0 |1069k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
478.30/478.38 c 468s| 1140k|463799 | 0 | 0.0 | 396M| 176 | - | 293 | 16k| 0 | 0 | 0 |1079k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
484.10/484.19 c 473s| 1150k|466735 | 0 | 0.0 | 400M| 176 | - | 293 | 17k| 0 | 0 | 0 |1088k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
489.90/489.96 c 479s| 1160k|469691 | 0 | 0.0 | 404M| 176 | - | 293 | 17k| 0 | 0 | 0 |1098k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
495.50/495.56 c 484s| 1170k|472935 | 0 | 0.0 | 408M| 176 | - | 293 | 17k| 0 | 0 | 0 |1107k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
501.61/501.64 c 490s| 1180k|475687 | 0 | 0.0 | 413M| 176 | - | 293 | 17k| 0 | 0 | 0 |1116k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
507.30/507.37 c 496s| 1190k|478891 | 0 | 0.0 | 417M| 176 | - | 293 | 18k| 0 | 0 | 0 |1125k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
513.20/513.26 c 502s| 1200k|481841 | 0 | 0.0 | 421M| 176 | - | 293 | 18k| 0 | 0 | 0 |1134k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
520.00/520.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.00/520.04 c 508s| 1210k|484085 | 0 | 0.0 | 425M| 176 | - | 293 | 18k| 0 | 0 | 0 |1144k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
525.60/525.69 c 514s| 1220k|487511 | 0 | 0.0 | 430M| 176 | - | 293 | 19k| 0 | 0 | 0 |1153k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
532.60/532.64 c 521s| 1230k|489714 | 0 | 0.0 | 434M| 176 | - | 293 | 19k| 0 | 0 | 0 |1163k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
538.70/538.71 c 527s| 1240k|492858 | 0 | 0.0 | 438M| 176 | - | 293 | 20k| 0 | 0 | 0 |1172k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
545.70/545.76 c 534s| 1250k|495108 | 0 | 0.0 | 442M| 176 | - | 293 | 20k| 0 | 0 | 0 |1181k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
552.21/552.25 c 540s| 1260k|498088 | 0 | 0.0 | 447M| 176 | - | 293 | 20k| 0 | 0 | 0 |1190k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
559.00/559.06 c 547s| 1270k|500707 | 0 | 0.0 | 451M| 176 | - | 293 | 21k| 0 | 0 | 0 |1200k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
566.41/566.48 c 554s| 1280k|502896 | 0 | 0.0 | 455M| 176 | - | 293 | 21k| 0 | 0 | 0 |1209k| 0 | 2.000000e+00 | 1.000000e+02 |4900.00%
572.40/572.44 o 58
572.40/572.44 c * 560s| 1289k|413615 | 0 | 0.0 | 359M| 176 | - | 293 | 21k| 0 | 0 | 0 |1217k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
573.70/573.74 c 561s| 1290k|413322 | 0 | 0.0 | 356M| 176 | - | 293 | 11k| 0 | 0 | 0 |1219k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
581.11/581.16 c 569s| 1300k|410328 | 0 | 0.0 | 360M| 176 | - | 293 |9158 | 0 | 0 | 0 |1238k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
589.20/589.28 c 576s| 1310k|407359 | 0 | 0.0 | 363M| 176 | - | 293 | 12k| 0 | 0 | 0 |1257k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
599.30/599.38 c 586s| 1320k|403193 | 0 | 0.0 | 366M| 176 | - | 293 | 14k| 0 | 0 | 0 |1276k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
610.51/610.54 c 597s| 1330k|398931 | 0 | 0.0 | 368M| 176 | - | 293 | 16k| 0 | 0 | 0 |1295k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
623.00/623.07 c 610s| 1340k|393644 | 0 | 0.0 | 369M| 176 | - | 293 | 17k| 0 | 0 | 0 |1315k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
637.20/637.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.20/637.20 c 624s| 1350k|386474 | 0 | 0.0 | 370M| 176 | - | 293 | 18k| 0 | 0 | 0 |1335k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
646.81/646.88 c 633s| 1360k|384370 | 0 | 0.0 | 368M| 176 | - | 293 |8959 | 0 | 0 | 0 |1352k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
651.11/651.18 c 637s| 1370k|387661 | 0 | 0.0 | 372M| 176 | - | 293 |6946 | 0 | 0 | 0 |1366k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
655.71/655.75 c 642s| 1380k|390105 | 0 | 0.0 | 377M| 176 | - | 293 |7988 | 0 | 0 | 0 |1383k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
660.91/660.98 c 647s| 1390k|391825 | 0 | 0.0 | 382M| 176 | - | 293 |8692 | 0 | 0 | 0 |1399k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
666.90/666.92 c 653s| 1400k|392188 | 0 | 0.0 | 385M| 176 | - | 293 |9312 | 0 | 0 | 0 |1417k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
673.80/673.88 c 660s| 1410k|390974 | 0 | 0.0 | 387M| 176 | - | 293 |9572 | 0 | 0 | 0 |1437k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
680.51/680.50 o 41
680.51/680.50 c * 666s| 1419k|360864 | 0 | 0.0 | 349M| 176 | - | 293 |7384 | 0 | 0 | 0 |1456k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
681.21/681.25 c 667s| 1420k|360254 | 0 | 0.0 | 350M| 176 | - | 293 |7629 | 0 | 0 | 0 |1458k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
693.81/693.83 c 679s| 1430k|352565 | 0 | 0.0 | 351M| 176 | - | 293 | 13k| 0 | 0 | 0 |1483k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
711.72/711.76 c 697s| 1440k|343475 | 0 | 0.0 | 352M| 176 | - | 293 | 18k| 0 | 0 | 0 |1508k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
734.50/734.58 c 720s| 1450k|332782 | 0 | 0.0 | 351M| 176 | - | 293 | 20k| 0 | 0 | 0 |1535k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
759.21/759.20 c 744s| 1460k|321710 | 0 | 0.0 | 349M| 176 | - | 293 | 23k| 0 | 0 | 0 |1562k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
787.91/787.91 c 773s| 1470k|308389 | 0 | 0.0 | 345M| 176 | - | 293 | 26k| 0 | 0 | 0 |1589k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
819.31/819.39 c 804s| 1480k|293199 | 0 | 0.0 | 339M| 176 | - | 293 | 28k| 0 | 0 | 0 |1617k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
854.01/854.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.01/854.02 c 838s| 1490k|275776 | 0 | 0.0 | 330M| 176 | - | 293 | 29k| 0 | 0 | 0 |1644k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
887.41/887.43 c 872s| 1500k|257719 | 0 | 0.0 | 317M| 176 | - | 293 | 30k| 0 | 0 | 0 |1671k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
916.32/916.35 c 900s| 1510k|243088 | 0 | 0.0 | 299M| 176 | - | 293 | 32k| 0 | 0 | 0 |1695k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
935.11/935.15 c 919s| 1520k|242095 | 0 | 0.0 | 301M| 176 | - | 293 | 32k| 0 | 0 | 0 |1716k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
956.62/956.61 c 940s| 1530k|240095 | 0 | 0.0 | 302M| 176 | - | 293 | 35k| 0 | 0 | 0 |1737k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
980.41/980.48 c 964s| 1540k|237705 | 0 | 0.0 | 303M| 176 | - | 293 | 38k| 0 | 0 | 0 |1759k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
1007.12/1007.10 c 990s| 1550k|234248 | 0 | 0.0 | 301M| 176 | - | 293 | 39k| 0 | 0 | 0 |1782k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
1035.61/1035.69 c 1019s| 1560k|228718 | 0 | 0.0 | 296M| 176 | - | 293 | 40k| 0 | 0 | 0 |1805k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
1046.12/1046.14 c 1029s| 1570k|232611 | 0 | 0.0 | 289M| 176 | - | 293 | 13k| 0 | 0 | 0 |1816k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
1058.52/1058.59 c 1042s| 1580k|223588 | 0 | 0.0 | 275M| 176 | - | 293 | 16k| 0 | 0 | 0 |1838k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
1078.12/1078.15 c 1061s| 1590k|214807 | 0 | 0.0 | 268M| 176 | - | 293 | 27k| 0 | 0 | 0 |1866k| 0 | 3.000000e+00 | 4.100000e+01 |1266.67%
1108.11/1108.13 c 1091s| 1600k|205426 | 0 | 0.0 | 257M| 176 | - | 293 | 36k| 0 | 0 | 0 |1894k| 0 | 3.000000e+00 | 4.100000e+01 |1266.67%
1116.52/1116.51 c 1099s| 1610k|210704 | 0 | 0.0 | 249M| 176 | - | 293 | 10k| 0 | 0 | 0 |1905k| 0 | 3.000000e+00 | 4.100000e+01 |1266.67%
1119.72/1119.79 c 1102s| 1620k|216892 | 0 | 0.0 | 253M| 176 | - | 293 | 10k| 0 | 0 | 0 |1914k| 0 | 3.000000e+00 | 4.100000e+01 |1266.67%
1123.81/1123.86 c 1106s| 1630k|222184 | 0 | 0.0 | 258M| 176 | - | 293 | 13k| 0 | 0 | 0 |1926k| 0 | 3.000000e+00 | 4.100000e+01 |1266.67%
1129.92/1129.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.92/1129.92 c 1112s| 1640k|225432 | 0 | 0.0 | 262M| 176 | - | 293 | 17k| 0 | 0 | 0 |1939k| 0 | 3.000000e+00 | 4.100000e+01 |1266.67%
1136.22/1136.21 c 1118s| 1650k|229387 | 0 | 0.0 | 264M| 176 | - | 293 | 14k| 0 | 0 | 0 |1952k| 0 | 3.000000e+00 | 4.100000e+01 |1266.67%
1142.82/1142.83 c 1125s| 1660k|230781 | 0 | 0.0 | 265M| 176 | - | 293 | 11k| 0 | 0 | 0 |1966k| 0 | 3.000000e+00 | 4.100000e+01 |1266.67%
1153.62/1153.64 c 1136s| 1670k|228079 | 0 | 0.0 | 266M| 176 | - | 293 | 17k| 0 | 0 | 0 |1983k| 0 | 3.000000e+00 | 4.100000e+01 |1266.67%
1170.92/1170.93 c 1153s| 1680k|222082 | 0 | 0.0 | 264M| 176 | - | 293 | 20k| 0 | 0 | 0 |2002k| 0 | 4.000000e+00 | 4.100000e+01 | 925.00%
1186.83/1186.88 c 1169s| 1690k|217741 | 0 | 0.0 | 262M| 176 | - | 293 | 17k| 0 | 0 | 0 |2018k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1196.52/1196.59 c 1178s| 1700k|216259 | 0 | 0.0 | 261M| 176 | - | 293 | 14k| 0 | 0 | 0 |2032k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1201.71/1201.79 c 1183s| 1710k|221413 | 0 | 0.0 | 265M| 176 | - | 293 | 14k| 0 | 0 | 0 |2044k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1207.61/1207.68 c 1189s| 1720k|225892 | 0 | 0.0 | 270M| 176 | - | 293 | 16k| 0 | 0 | 0 |2058k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1214.51/1214.55 c 1196s| 1730k|229584 | 0 | 0.0 | 274M| 176 | - | 293 | 18k| 0 | 0 | 0 |2073k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1222.22/1222.21 c 1203s| 1740k|232701 | 0 | 0.0 | 279M| 176 | - | 293 | 19k| 0 | 0 | 0 |2088k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1230.22/1230.23 c 1211s| 1750k|235587 | 0 | 0.0 | 283M| 176 | - | 293 | 21k| 0 | 0 | 0 |2104k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1239.42/1239.42 c 1220s| 1760k|237750 | 0 | 0.0 | 287M| 176 | - | 293 | 23k| 0 | 0 | 0 |2121k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1249.92/1249.95 c 1231s| 1770k|239042 | 0 | 0.0 | 291M| 176 | - | 293 | 26k| 0 | 0 | 0 |2138k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1262.12/1262.15 c 1243s| 1780k|239303 | 0 | 0.0 | 295M| 176 | - | 293 | 31k| 0 | 0 | 0 |2157k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1275.83/1275.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.83/1275.83 c 1256s| 1790k|239971 | 0 | 0.0 | 294M| 176 | - | 293 | 24k| 0 | 0 | 0 |2175k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1282.82/1282.89 c 1263s| 1800k|244957 | 0 | 0.0 | 297M| 176 | - | 293 | 20k| 0 | 0 | 0 |2188k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1292.02/1292.00 c 1272s| 1810k|247030 | 0 | 0.0 | 302M| 176 | - | 293 | 24k| 0 | 0 | 0 |2205k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1300.23/1300.23 c 1281s| 1820k|250149 | 0 | 0.0 | 302M| 176 | - | 293 | 16k| 0 | 0 | 0 |2219k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1309.62/1309.69 c 1290s| 1830k|250905 | 0 | 0.0 | 304M| 176 | - | 293 | 16k| 0 | 0 | 0 |2234k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1321.82/1321.82 c 1302s| 1840k|248114 | 0 | 0.0 | 302M| 176 | - | 293 | 17k| 0 | 0 | 0 |2251k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1331.03/1331.07 c 1311s| 1850k|248564 | 0 | 0.0 | 303M| 176 | - | 293 | 18k| 0 | 0 | 0 |2266k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1340.52/1340.51 c 1320s| 1860k|250864 | 0 | 0.0 | 307M| 176 | - | 293 | 21k| 0 | 0 | 0 |2283k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1353.03/1353.05 c 1333s| 1870k|252133 | 0 | 0.0 | 312M| 176 | - | 293 | 26k| 0 | 0 | 0 |2301k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1368.52/1368.54 c 1348s| 1880k|252406 | 0 | 0.0 | 316M| 176 | - | 293 | 29k| 0 | 0 | 0 |2321k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1385.42/1385.44 c 1365s| 1890k|252487 | 0 | 0.0 | 319M| 176 | - | 293 | 32k| 0 | 0 | 0 |2341k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1402.62/1402.61 c 1382s| 1900k|252713 | 0 | 0.0 | 322M| 176 | - | 293 | 35k| 0 | 0 | 0 |2360k| 0 | 6.000000e+00 | 4.100000e+01 | 583.33%
1412.62/1412.68 o 40
1412.62/1412.68 c *1392s| 1905k|250954 | 0 | 0.0 | 320M| 176 | - | 293 | 36k| 0 | 0 | 0 |2370k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1421.82/1421.88 c 1401s| 1910k|250564 | 0 | 0.0 | 322M| 176 | - | 293 | 38k| 0 | 0 | 0 |2380k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1442.92/1442.98 c 1422s| 1920k|249618 | 0 | 0.0 | 324M| 176 | - | 293 | 41k| 0 | 0 | 0 |2401k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1465.32/1465.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1465.32/1465.31 c 1444s| 1930k|248584 | 0 | 0.0 | 326M| 176 | - | 293 | 43k| 0 | 0 | 0 |2421k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1489.82/1489.82 c 1469s| 1940k|246548 | 0 | 0.0 | 326M| 176 | - | 293 | 46k| 0 | 0 | 0 |2442k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1515.92/1515.91 c 1495s| 1950k|244256 | 0 | 0.0 | 320M| 176 | - | 293 | 31k| 0 | 0 | 0 |2464k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1530.43/1530.48 c 1509s| 1960k|245679 | 0 | 0.0 | 322M| 176 | - | 293 | 29k| 0 | 0 | 0 |2483k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1545.23/1545.22 c 1524s| 1970k|246525 | 0 | 0.0 | 325M| 176 | - | 293 | 31k| 0 | 0 | 0 |2502k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1560.83/1560.86 c 1539s| 1980k|247120 | 0 | 0.0 | 329M| 176 | - | 293 | 35k| 0 | 0 | 0 |2521k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1578.23/1578.20 c 1557s| 1990k|247656 | 0 | 0.0 | 329M| 176 | - | 293 | 32k| 0 | 0 | 0 |2539k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1595.73/1595.75 c 1574s| 2000k|246460 | 0 | 0.0 | 328M| 176 | - | 293 | 25k| 0 | 0 | 0 |2558k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1613.23/1613.21 c 1591s| 2010k|244104 | 0 | 0.0 | 327M| 176 | - | 293 | 24k| 0 | 0 | 0 |2575k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1629.33/1629.32 c 1607s| 2020k|242511 | 0 | 0.0 | 327M| 176 | - | 293 | 26k| 0 | 0 | 0 |2595k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1652.03/1652.01 c 1630s| 2030k|238595 | 0 | 0.0 | 327M| 176 | - | 293 | 32k| 0 | 0 | 0 |2618k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1681.43/1681.42 c 1659s| 2040k|233243 | 0 | 0.0 | 324M| 176 | - | 293 | 40k| 0 | 0 | 0 |2643k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1716.63/1716.65 c 1694s| 2050k|227341 | 0 | 0.0 | 320M| 176 | - | 293 | 47k| 0 | 0 | 0 |2668k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1755.03/1755.09 c 1732s| 2060k|220892 | 0 | 0.0 | 310M| 176 | - | 293 | 41k| 0 | 0 | 0 |2693k| 0 | 6.000000e+00 | 4.000000e+01 | 566.67%
1781.43/1781.48 c 1759s| 2070k|218355 | 0 | 0.0 | 310M| 176 | - | 293 | 42k| 0 | 0 | 0 |2716k| 0 | 6.000000e+00 | 4.000000e+01 | 566.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) : 1777.20
1800.04/1800.00 c Solving Nodes : 2076284
1800.04/1800.00 c Primal Bound : +4.00000000000000e+01 (17 solutions)
1800.04/1800.00 c Dual Bound : +6.00000000000000e+00
1800.04/1800.00 c Gap : 566.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 -x31
1800.04/1800.00 v -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 : 1777.20
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693988-1277899169.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-2693988-1277899169.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, 51650 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 5838707 0 1364521 16603 2501402 0 0 0
1800.04/1800.00 c setppc : 30 0 6239746 0 1446351 50257 5978783 0 0 0
1800.04/1800.00 c linear : 62 0 6189665 0 1446388 639429 24710498 0 0 0
1800.04/1800.00 c logicor : 4+ 0 3061116 0 1389822 178098 1870066 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 102581 0 0 0 20141 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1446405 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 : 6.19 0.00 4.23 0.00 1.96
1800.04/1800.00 c setppc : 20.24 0.00 15.71 0.00 4.53
1800.04/1800.00 c linear : 137.51 0.00 136.59 0.00 0.92
1800.04/1800.00 c logicor : 782.88 0.00 782.10 0.00 0.78
1800.04/1800.00 c bounddisjunction : 0.12 0.00 0.12 0.00 0.00
1800.04/1800.00 c countsols : 0.22 0.00 0.00 0.00 0.22
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 1.60 2 0 0
1800.04/1800.00 c rootredcost : 1.21 0 0 0
1800.04/1800.00 c pseudoobj : 17.41 6280820 24456 2333690
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 52.33 892239 891859 4934248 28.2 340463 14.4 -
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.02 145 145 725 23.8 67 12.9 -
1800.04/1800.00 c applied globally : - - - 2619012 18.7 - - -
1800.04/1800.00 c applied locally : - - - 111500 37.4 - - -
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 : 10.39 1446388 0 0 0 0 2892776
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.30 - 17
1800.04/1800.00 c oneopt : 0.75 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.56 0 0
1800.04/1800.00 c trysol : 0.47 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 : 2076284
1800.04/1800.00 c nodes (total) : 2076284
1800.04/1800.00 c nodes left : 216076
1800.04/1800.00 c max depth : 176
1800.04/1800.00 c max depth (total): 176
1800.04/1800.00 c backtracks : 685160 (33.0%)
1800.04/1800.00 c delayed cutoffs : 472702
1800.04/1800.00 c repropagations : 2366661 (9484723 domain reductions, 279109 cutoffs)
1800.04/1800.00 c avg switch length: 21.90
1800.04/1800.00 c switching time : 578.51
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 17 (17 improvements)
1800.04/1800.00 c First Solution : +5.66000000000000e+02 (in run 1, after 63750 nodes, 17.01 seconds, depth 96, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +4.00000000000000e+01 (in run 1, after 1905467 nodes, 1392.00 seconds, depth 67, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +6.00000000000000e+00
1800.04/1800.00 c Gap : 566.67 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.64/1800.69 c Time complete: 1800.72.
OK 40
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693988-1277899169/watcher-2693988-1277899169 -o /tmp/evaluation-result-2693988-1277899169/solver-2693988-1277899169 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693988-1277899169.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: 1.99 2.02 2.01 3/178 24880 /proc/meminfo: memFree=30109584/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=8256 CPUtime=0 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 1546 0 0 0 0 0 0 0 25 0 1 0 165520419 8454144 1469 4089446400 4194304 7136930 140734764525056 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/24880/statm: 2064 1469 275 719 0 1343 0 [startup+0.0491729 s] /proc/loadavg: 1.99 2.02 2.01 3/178 24880 /proc/meminfo: memFree=30109584/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=12244 CPUtime=0.04 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 4567 0 0 0 4 0 0 0 25 0 1 0 165520419 12537856 2338 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 3061 2338 395 719 0 2340 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12244 [startup+0.101164 s] /proc/loadavg: 1.99 2.02 2.01 3/178 24880 /proc/meminfo: memFree=30109584/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=13044 CPUtime=0.09 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 4768 0 0 0 8 1 0 0 25 0 1 0 165520419 13357056 2539 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 3261 2540 395 719 0 2540 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13044 [startup+0.301128 s] /proc/loadavg: 1.99 2.02 2.01 3/178 24880 /proc/meminfo: memFree=30109584/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=15132 CPUtime=0.29 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 5294 0 0 0 27 2 0 0 25 0 1 0 165520419 15495168 3065 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 3783 3065 395 719 0 3062 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15132 [startup+0.701044 s] /proc/loadavg: 1.99 2.02 2.01 3/178 24880 /proc/meminfo: memFree=30109584/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=18108 CPUtime=0.69 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 6043 0 0 0 64 5 0 0 25 0 1 0 165520419 18542592 3814 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 4527 3814 395 719 0 3806 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18108 [startup+1.50092 s] /proc/loadavg: 1.99 2.02 2.01 3/179 24881 /proc/meminfo: memFree=30093332/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=22012 CPUtime=1.49 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 7053 0 0 0 139 10 0 0 25 0 1 0 165520419 22540288 4824 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 5503 4824 395 719 0 4782 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22012 [startup+3.10065 s] /proc/loadavg: 1.99 2.02 2.00 3/179 24881 /proc/meminfo: memFree=30087752/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=26736 CPUtime=3.09 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 8250 0 0 0 292 17 0 0 25 0 1 0 165520419 27377664 6021 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 6684 6021 395 719 0 5963 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26736 [startup+6.3011 s] /proc/loadavg: 1.99 2.02 2.00 3/179 24881 /proc/meminfo: memFree=30072120/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=37532 CPUtime=6.29 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 10920 0 0 0 603 26 0 0 25 0 1 0 165520419 38432768 8691 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 9383 8691 395 719 0 8662 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37532 [startup+12.701 s] /proc/loadavg: 2.06 2.04 2.01 3/179 24881 /proc/meminfo: memFree=30055804/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=46148 CPUtime=12.69 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 13075 0 0 0 1226 43 0 0 25 0 1 0 165520419 47255552 10846 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 11537 10846 395 719 0 10816 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46148 [startup+25.5008 s] /proc/loadavg: 2.05 2.03 2.01 3/179 24881 /proc/meminfo: memFree=30022588/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=62024 CPUtime=25.49 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 17045 0 0 0 2474 75 0 0 25 0 1 0 165520419 63512576 14816 4089446400 4194304 7136930 140734764525056 18446744073709551615 4223186 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 15506 14816 395 719 0 14785 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 62024 [startup+51.1004 s] /proc/loadavg: 2.03 2.03 2.01 3/179 24882 /proc/meminfo: memFree=29984116/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=71256 CPUtime=51.1 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 19340 0 0 0 5005 105 0 0 25 0 1 0 165520419 72966144 17111 4089446400 4194304 7136930 140734764525056 18446744073709551615 5950417 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 17814 17111 395 719 0 17093 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 71256 [startup+102.307 s] /proc/loadavg: 2.01 2.02 2.00 3/179 24892 /proc/meminfo: memFree=29901068/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=95344 CPUtime=102.3 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 25318 0 0 0 10040 190 0 0 25 0 1 0 165520419 97632256 23089 4089446400 4194304 7136930 140734764525056 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 23836 23089 396 719 0 23115 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 95344 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 24894 /proc/meminfo: memFree=29808680/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=141968 CPUtime=162.3 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 36672 0 0 0 15892 338 0 0 25 0 1 0 165520419 145375232 34443 4089446400 4194304 7136930 140734764525056 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 35492 34443 396 719 0 34771 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 141968 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 24895 /proc/meminfo: memFree=29735104/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=164712 CPUtime=222.29 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 42314 0 0 0 21785 444 0 0 25 0 1 0 165520419 168665088 40085 4089446400 4194304 7136930 140734764525056 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 41178 40085 398 719 0 40457 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 164712 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 24897 /proc/meminfo: memFree=29549980/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=274232 CPUtime=282.29 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 68980 0 0 0 27599 630 0 0 25 0 1 0 165520419 280813568 66751 4089446400 4194304 7136930 140734764525056 18446744073709551615 4661191 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 68558 66751 398 719 0 67837 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 274232 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24898 /proc/meminfo: memFree=29415248/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=350388 CPUtime=342.3 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 88254 0 0 0 33445 785 0 0 25 0 1 0 165520419 358797312 86025 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 87597 86025 398 719 0 86876 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 350388 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24900 /proc/meminfo: memFree=29290080/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=413508 CPUtime=402.3 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 104160 0 0 0 39296 934 0 0 25 0 1 0 165520419 423432192 101931 4089446400 4194304 7136930 140734764525056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 103377 101931 398 719 0 102656 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 413508 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24902 /proc/meminfo: memFree=29180408/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=468048 CPUtime=462.3 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 117931 0 0 0 45176 1054 0 0 25 0 1 0 165520419 479281152 115702 4089446400 4194304 7136930 140734764525056 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 117012 115702 398 719 0 116291 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 468048 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24903 /proc/meminfo: memFree=29073588/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=518068 CPUtime=522.3 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 128425 0 0 0 51071 1159 0 0 25 0 1 0 165520419 530501632 126196 4089446400 4194304 7136930 140734764525056 18446744073709551615 4221185 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 129517 126196 398 719 0 128796 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 518068 [startup+582.301 s] /proc/loadavg: 2.06 2.02 2.00 3/179 24905 /proc/meminfo: memFree=28977316/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=550064 CPUtime=582.31 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 136318 0 0 0 56963 1268 0 0 25 0 1 0 165520419 563265536 134089 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 137516 134089 398 719 0 136795 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 550064 [startup+642.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 24906 /proc/meminfo: memFree=28907100/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=552116 CPUtime=642.3 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 136837 0 0 0 62869 1361 0 0 25 0 1 0 165520419 565366784 134608 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 138029 134608 398 719 0 137308 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 552116 [startup+702.301 s] ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24917 /proc/meminfo: memFree=28615476/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=566996 CPUtime=942.31 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 140302 0 0 0 92599 1632 0 0 25 0 1 0 165520419 580603904 138073 4089446400 4194304 7136930 140734764525056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 141749 138073 398 719 0 141028 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 566996 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24919 /proc/meminfo: memFree=28556420/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=569732 CPUtime=1002.32 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 141034 0 0 0 98567 1665 0 0 25 0 1 0 165520419 583405568 138805 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 142433 138805 398 719 0 141712 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 569732 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24921 /proc/meminfo: memFree=28502324/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=570808 CPUtime=1062.31 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 141344 0 0 0 104521 1710 0 0 25 0 1 0 165520419 584507392 139115 4089446400 4194304 7136930 140734764525056 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 142702 139115 398 719 0 141981 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 570808 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24922 /proc/meminfo: memFree=28452384/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=571288 CPUtime=1122.32 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 141385 0 0 0 110470 1762 0 0 25 0 1 0 165520419 584998912 139156 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 142822 139156 398 719 0 142101 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 571288 [startup+1182.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 24924 /proc/meminfo: memFree=28396584/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=571288 CPUtime=1182.32 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 141399 0 0 0 116397 1835 0 0 25 0 1 0 165520419 584998912 139170 4089446400 4194304 7136930 140734764525056 18446744073709551615 5909106 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 142822 139170 398 719 0 142101 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 571288 [startup+1242.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 24925 /proc/meminfo: memFree=28340736/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=571420 CPUtime=1242.32 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 141462 0 0 0 122318 1914 0 0 25 0 1 0 165520419 585134080 139233 4089446400 4194304 7136930 140734764525056 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 142855 139233 398 719 0 142134 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 571420 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24927 /proc/meminfo: memFree=28278808/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=572444 CPUtime=1302.33 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 141735 0 0 0 128256 1977 0 0 25 0 1 0 165520419 586182656 139506 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 143111 139506 398 719 0 142390 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 572444 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24929 /proc/meminfo: memFree=28218492/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=573468 CPUtime=1362.32 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 142008 0 0 0 134194 2038 0 0 25 0 1 0 165520419 587231232 139779 4089446400 4194304 7136930 140734764525056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 143367 139779 398 719 0 142646 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 573468 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24930 /proc/meminfo: memFree=28157820/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=576528 CPUtime=1422.33 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 142770 0 0 0 140156 2077 0 0 25 0 1 0 165520419 590364672 140541 4089446400 4194304 7136930 140734764525056 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 144132 140541 398 719 0 143411 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 576528 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24932 /proc/meminfo: memFree=28092564/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=580068 CPUtime=1482.33 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 143657 0 0 0 146125 2108 0 0 25 0 1 0 165520419 593989632 141428 4089446400 4194304 7136930 140734764525056 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 145017 141428 398 719 0 144296 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 580068 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24933 /proc/meminfo: memFree=28039700/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=583024 CPUtime=1542.32 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 144416 0 0 0 152089 2143 0 0 25 0 1 0 165520419 597016576 142187 4089446400 4194304 7136930 140734764525056 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 145756 142187 398 719 0 145035 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 583024 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24963 /proc/meminfo: memFree=30082736/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=584952 CPUtime=1602.32 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 144786 0 0 0 158044 2188 0 0 25 0 1 0 165520419 598990848 142557 4089446400 4194304 7136930 140734764525056 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 146238 142557 398 719 0 145517 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 584952 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24965 /proc/meminfo: memFree=30081452/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=585916 CPUtime=1662.33 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 145035 0 0 0 164005 2228 0 0 25 0 1 0 165520419 599977984 142806 4089446400 4194304 7136930 140734764525056 18446744073709551615 5001220 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 146479 142806 398 719 0 145758 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 585916 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24966 /proc/meminfo: memFree=30080804/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=586092 CPUtime=1722.33 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 145061 0 0 0 169979 2254 0 0 25 0 1 0 165520419 600158208 142832 4089446400 4194304 7136930 140734764525056 18446744073709551615 5000303 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 146523 142832 398 719 0 145802 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 586092 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24968 /proc/meminfo: memFree=30080164/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=586688 CPUtime=1782.33 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 145171 0 0 0 175956 2277 0 0 25 0 1 0 165520419 600768512 142942 4089446400 4194304 7136930 140734764525056 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 146672 142942 398 719 0 145951 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 586688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24969 /proc/meminfo: memFree=30080148/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=586688 CPUtime=1800.04 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 145171 0 0 0 177720 2284 0 0 25 0 1 0 165520419 600768512 142942 4089446400 4194304 7136930 140734764525056 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24880/statm: 146672 142942 398 719 0 145951 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 586688 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24969 /proc/meminfo: memFree=30080148/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=586808 CPUtime=1800.23 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 145205 0 0 0 177739 2284 0 0 25 0 1 0 165520419 600891392 142976 4089446400 4194304 7136930 140734764525056 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/24880/statm: 146702 142976 403 719 0 145981 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 586808 [startup+1800.6 s] /proc/loadavg: 2.00 2.00 2.00 3/180 24970 /proc/meminfo: memFree=30082496/32950928 swapFree=67111528/67111528 [pid=24880] ppid=24878 vsize=583220 CPUtime=1800.64 /proc/24880/stat : 24880 (pbscip.linux.x8) R 24878 24880 24554 0 -1 4202496 145205 0 0 0 177780 2284 0 0 25 0 1 0 165520419 597217280 142079 4089446400 4194304 7136930 140734764525056 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/24880/statm: 145805 142079 403 719 0 145084 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 583220 Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.73 CPU user time (s): 1777.87 CPU system time (s): 22.8675 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 586808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.87 system time used= 22.8675 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 145212 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= 2434 runsolver used 2.69259 second user time and 5.88511 second system time The end
Begin job on node112 at 2010-06-30 13:59:29 IDJOB=2693988 IDBENCH=78855 IDSOLVER=1206 FILE ID=node112/2693988-1277899169 PBS_JOBID= 11197214 Free space on /tmp= 74208 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.1111220767--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-2693988-1277899169/watcher-2693988-1277899169 -o /tmp/evaluation-result-2693988-1277899169/solver-2693988-1277899169 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693988-1277899169.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 76159a1844a191e7556569a339118f97 RANDOM SEED=934946439 node112.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.827 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.65 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.827 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.73 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.827 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.827 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30110236 kB Buffers: 180340 kB Cached: 1892940 kB SwapCached: 0 kB Active: 1150380 kB Inactive: 1545640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30110236 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3412 kB Writeback: 0 kB AnonPages: 622860 kB Mapped: 15256 kB Slab: 80856 kB PageTables: 5916 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 766188 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= 74208 MiB End job on node112 at 2010-06-30 14:29:31