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 | OPTIMUM | 1517.05 | 1517.01 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo |
| MD5SUM | 9a2a28c5bb6a02365b79a03ef797cc3c |
| 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 | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.269958 |
| 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 | 1221 |
| 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-2694007-1277899723.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.20 c 1.1s| 10000 | 6890 | 0 | 0.0 |6733k| 176 | - | 293 |3581 | 0 | 0 | 0 |8196 | 0 | 0.000000e+00 | -- | Inf
3.19/3.23 c 3.0s| 20000 | 11826 | 0 | 0.0 | 11M| 176 | - | 293 |4872 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
5.79/5.84 c 5.5s| 30000 | 16252 | 0 | 0.0 | 16M| 176 | - | 293 |7067 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
9.18/9.23 c 8.8s| 40000 | 19061 | 0 | 0.0 | 21M| 176 | - | 293 |9631 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
13.39/13.49 c 13.0s| 50000 | 20337 | 0 | 0.0 | 25M| 176 | - | 293 | 13k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
15.39/15.49 c 14.9s| 60000 | 26901 | 0 | 0.0 | 26M| 176 | - | 293 |4279 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
15.49/15.51 o 433
15.49/15.51 c *14.9s| 60229 | 27101 | 0 | 0.0 | 26M| 176 | - | 293 |4111 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 4.330000e+02 | Inf
19.08/19.11 c 18.5s| 70000 | 29033 | 0 | 0.0 | 31M| 176 | - | 293 |8793 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 4.330000e+02 | Inf
24.29/24.39 c 23.7s| 80000 | 28999 | 0 | 0.0 | 34M| 176 | - | 293 | 11k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 4.330000e+02 | Inf
30.59/30.65 c 29.8s| 90000 | 28115 | 0 | 0.0 | 37M| 176 | - | 293 | 15k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 4.330000e+02 | Inf
38.39/38.48 c 37.5s|100000 | 26325 | 0 | 0.0 | 40M| 176 | - | 293 | 22k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 4.330000e+02 | Inf
44.79/44.86 c 43.8s|110000 | 28452 | 0 | 0.0 | 37M| 176 | - | 293 |6899 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 4.330000e+02 | Inf
48.49/48.56 c 47.4s|120000 | 31425 | 0 | 0.0 | 41M| 176 | - | 293 |8443 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 4.330000e+02 | Inf
52.09/52.17 c 50.9s|130000 | 34970 | 0 | 0.0 | 43M| 176 | - | 293 |5270 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 4.330000e+02 | Inf
52.29/52.33 o 193
52.29/52.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.29/52.33 c *51.1s|131352 | 35939 | 0 | 0.0 | 43M| 176 | - | 293 |3298 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
53.18/53.23 c 51.9s|140000 | 43146 | 0 | 0.0 | 46M| 176 | - | 293 |2753 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
54.29/54.33 c 52.9s|150000 | 51194 | 0 | 0.0 | 50M| 176 | - | 293 |3272 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
55.59/55.61 c 54.1s|160000 | 58670 | 0 | 0.0 | 55M| 176 | - | 293 |4123 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
61.09/61.13 c 59.5s|170000 | 56817 | 0 | 0.0 | 57M| 176 | - | 293 | 13k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
72.29/72.35 c 70.7s|180000 | 49731 | 0 | 0.0 | 50M| 176 | - | 293 | 22k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
80.09/80.20 c 78.4s|190000 | 49638 | 0 | 0.0 | 47M| 176 | - | 293 | 12k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
87.49/87.56 c 85.6s|200000 | 48890 | 0 | 0.0 | 49M| 176 | - | 293 | 16k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
95.99/96.06 c 94.0s|210000 | 47258 | 0 | 0.0 | 47M| 176 | - | 293 | 17k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
97.69/97.77 c 95.6s|220000 | 55291 | 0 | 0.0 | 47M| 176 | - | 293 |3206 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
99.00/99.08 c 96.9s|230000 | 63128 | 0 | 0.0 | 51M| 176 | - | 293 |3366 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
100.39/100.42 c 98.2s|240000 | 70885 | 0 | 0.0 | 55M| 176 | - | 293 |3723 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
101.79/101.81 c 99.5s|250000 | 78484 | 0 | 0.0 | 59M| 176 | - | 293 |4177 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
103.19/103.28 c 101s|260000 | 86001 | 0 | 0.0 | 63M| 176 | - | 293 |4548 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
104.79/104.83 c 102s|270000 | 93316 | 0 | 0.0 | 67M| 176 | - | 293 |4933 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
106.29/106.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.29/106.38 c 104s|280000 |100593 | 0 | 0.0 | 71M| 176 | - | 293 |5441 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
107.89/107.98 c 105s|290000 |107845 | 0 | 0.0 | 75M| 176 | - | 293 |5861 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
109.49/109.59 c 107s|300000 |115030 | 0 | 0.0 | 79M| 176 | - | 293 |5873 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
111.19/111.28 c 108s|310000 |122031 | 0 | 0.0 | 83M| 176 | - | 293 |6203 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
112.99/113.02 c 110s|320000 |128911 | 0 | 0.0 | 87M| 176 | - | 293 |6423 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
114.69/114.75 c 112s|330000 |135898 | 0 | 0.0 | 91M| 176 | - | 293 |6521 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
115.40/115.44 o 181
115.40/115.44 c * 112s|334159 |138577 | 0 | 0.0 | 93M| 176 | - | 293 |6606 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
116.39/116.48 c 113s|340000 |142565 | 0 | 0.0 | 95M| 176 | - | 293 |6792 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
118.19/118.26 c 115s|350000 |149361 | 0 | 0.0 | 99M| 176 | - | 293 |7300 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
119.99/120.05 c 117s|360000 |156140 | 0 | 0.0 | 103M| 176 | - | 293 |7674 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
121.89/121.97 c 119s|370000 |162707 | 0 | 0.0 | 108M| 176 | - | 293 |8360 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
124.09/124.11 c 121s|380000 |168945 | 0 | 0.0 | 112M| 176 | - | 293 |8870 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
126.29/126.32 c 123s|390000 |175024 | 0 | 0.0 | 116M| 176 | - | 293 |9509 | 0 | 0 | 0 | 408k| 0 | 1.000000e+00 | 1.810000e+02 | Large
127.09/127.12 o 126
127.09/127.12 c * 124s|393816 |170064 | 0 | 0.0 | 110M| 176 | - | 293 |9585 | 0 | 0 | 0 | 410k| 0 | 1.000000e+00 | 1.260000e+02 | Large
129.00/129.09 c 125s|400000 |172662 | 0 | 0.0 | 114M| 176 | - | 293 |9884 | 0 | 0 | 0 | 416k| 0 | 1.000000e+00 | 1.260000e+02 | Large
132.39/132.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.39/132.46 c 129s|410000 |176820 | 0 | 0.0 | 118M| 176 | - | 293 |5487 | 0 | 0 | 0 | 424k| 0 | 1.000000e+00 | 1.260000e+02 | Large
137.49/137.59 c 134s|420000 |176285 | 0 | 0.0 | 120M| 176 | - | 293 | 12k| 0 | 0 | 0 | 443k| 0 | 1.000000e+00 | 1.260000e+02 | Large
149.90/149.96 c 146s|430000 |170000 | 0 | 0.0 | 115M| 176 | - | 293 | 19k| 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 1.260000e+02 | Large
153.10/153.13 c 149s|440000 |176336 | 0 | 0.0 | 115M| 176 | - | 293 |5898 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 1.260000e+02 | Large
155.39/155.43 c 151s|450000 |182620 | 0 | 0.0 | 120M| 176 | - | 293 |5785 | 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | 1.260000e+02 | Large
157.79/157.84 c 154s|460000 |188580 | 0 | 0.0 | 124M| 176 | - | 293 |6076 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 1.260000e+02 | Large
160.29/160.30 c 156s|470000 |194435 | 0 | 0.0 | 129M| 176 | - | 293 |6417 | 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | 1.260000e+02 | Large
162.70/162.78 c 158s|480000 |200250 | 0 | 0.0 | 133M| 176 | - | 293 |6193 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 1.260000e+02 | Large
165.19/165.23 c 161s|490000 |205978 | 0 | 0.0 | 138M| 176 | - | 293 |6638 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 1.260000e+02 | Large
167.60/167.69 c 163s|500000 |211789 | 0 | 0.0 | 142M| 176 | - | 293 |7064 | 0 | 0 | 0 | 522k| 0 | 1.000000e+00 | 1.260000e+02 | Large
170.09/170.16 c 166s|510000 |217638 | 0 | 0.0 | 147M| 176 | - | 293 |7164 | 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 1.260000e+02 | Large
172.60/172.64 c 168s|520000 |223482 | 0 | 0.0 | 151M| 176 | - | 293 |7794 | 0 | 0 | 0 | 536k| 0 | 1.000000e+00 | 1.260000e+02 | Large
175.20/175.28 c 170s|530000 |229108 | 0 | 0.0 | 155M| 176 | - | 293 |7899 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 1.260000e+02 | Large
178.00/178.04 c 173s|540000 |234563 | 0 | 0.0 | 159M| 176 | - | 293 |8215 | 0 | 0 | 0 | 551k| 0 | 1.000000e+00 | 1.260000e+02 | Large
180.79/180.83 c 176s|550000 |239902 | 0 | 0.0 | 164M| 176 | - | 293 |8410 | 0 | 0 | 0 | 559k| 0 | 1.000000e+00 | 1.260000e+02 | Large
183.60/183.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.60/183.64 c 179s|560000 |245332 | 0 | 0.0 | 167M| 176 | - | 293 |8475 | 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 1.260000e+02 | Large
186.49/186.52 c 181s|570000 |250673 | 0 | 0.0 | 171M| 176 | - | 293 |8830 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 1.260000e+02 | Large
189.20/189.26 c 184s|580000 |256159 | 0 | 0.0 | 175M| 176 | - | 293 |9045 | 0 | 0 | 0 | 582k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
191.99/192.09 c 187s|590000 |261422 | 0 | 0.0 | 180M| 176 | - | 293 |9252 | 0 | 0 | 0 | 589k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
194.90/194.93 c 190s|600000 |266819 | 0 | 0.0 | 184M| 176 | - | 293 |8936 | 0 | 0 | 0 | 596k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
197.90/197.93 c 192s|610000 |271851 | 0 | 0.0 | 189M| 176 | - | 293 |9555 | 0 | 0 | 0 | 604k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
200.90/200.92 c 195s|620000 |276826 | 0 | 0.0 | 194M| 176 | - | 293 | 10k| 0 | 0 | 0 | 612k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
203.79/203.89 c 198s|630000 |281931 | 0 | 0.0 | 199M| 176 | - | 293 |9744 | 0 | 0 | 0 | 620k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
206.89/206.93 c 201s|640000 |286865 | 0 | 0.0 | 203M| 176 | - | 293 |9461 | 0 | 0 | 0 | 628k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
209.90/209.93 c 204s|650000 |291834 | 0 | 0.0 | 208M| 176 | - | 293 |9901 | 0 | 0 | 0 | 636k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
212.99/213.00 c 207s|660000 |296706 | 0 | 0.0 | 212M| 176 | - | 293 |9794 | 0 | 0 | 0 | 644k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
215.79/215.85 c 209s|670000 |301905 | 0 | 0.0 | 217M| 176 | - | 293 |9340 | 0 | 0 | 0 | 651k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
218.90/218.93 c 212s|680000 |306593 | 0 | 0.0 | 222M| 176 | - | 293 |9780 | 0 | 0 | 0 | 659k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
221.99/222.08 c 215s|690000 |311205 | 0 | 0.0 | 227M| 176 | - | 293 | 10k| 0 | 0 | 0 | 668k| 0 | 2.000000e+00 | 1.260000e+02 |6200.00%
223.20/223.23 o 117
223.20/223.23 c * 216s|693850 |310870 | 0 | 0.0 | 226M| 176 | - | 293 |9601 | 0 | 0 | 0 | 671k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
225.09/225.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.09/225.15 c 218s|700000 |313775 | 0 | 0.0 | 230M| 176 | - | 293 | 10k| 0 | 0 | 0 | 676k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
228.29/228.38 c 221s|710000 |318445 | 0 | 0.0 | 234M| 176 | - | 293 | 10k| 0 | 0 | 0 | 684k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
231.69/231.76 c 224s|720000 |322694 | 0 | 0.0 | 239M| 176 | - | 293 | 10k| 0 | 0 | 0 | 693k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
235.09/235.12 c 227s|730000 |326856 | 0 | 0.0 | 244M| 176 | - | 293 | 10k| 0 | 0 | 0 | 702k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
238.59/238.66 c 230s|740000 |330878 | 0 | 0.0 | 249M| 176 | - | 293 | 11k| 0 | 0 | 0 | 711k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
242.09/242.14 c 233s|750000 |334946 | 0 | 0.0 | 254M| 176 | - | 293 | 11k| 0 | 0 | 0 | 719k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
245.79/245.83 c 237s|760000 |338776 | 0 | 0.0 | 260M| 176 | - | 293 | 11k| 0 | 0 | 0 | 728k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
249.59/249.66 c 240s|770000 |342392 | 0 | 0.0 | 265M| 176 | - | 293 | 12k| 0 | 0 | 0 | 737k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
253.90/253.90 c 244s|780000 |345385 | 0 | 0.0 | 270M| 176 | - | 293 | 12k| 0 | 0 | 0 | 747k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
258.29/258.39 c 248s|790000 |348019 | 0 | 0.0 | 275M| 176 | - | 293 | 12k| 0 | 0 | 0 | 757k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
263.00/263.09 c 253s|800000 |350566 | 0 | 0.0 | 280M| 176 | - | 293 | 13k| 0 | 0 | 0 | 767k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
268.19/268.28 c 257s|810000 |352455 | 0 | 0.0 | 285M| 176 | - | 293 | 13k| 0 | 0 | 0 | 778k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
273.50/273.52 c 262s|820000 |354410 | 0 | 0.0 | 291M| 176 | - | 293 | 14k| 0 | 0 | 0 | 788k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
278.79/278.85 c 267s|830000 |356344 | 0 | 0.0 | 296M| 176 | - | 293 | 14k| 0 | 0 | 0 | 798k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
284.80/284.87 c 273s|840000 |357345 | 0 | 0.0 | 302M| 176 | - | 293 | 15k| 0 | 0 | 0 | 809k| 0 | 2.000000e+00 | 1.170000e+02 |5750.00%
288.20/288.30 o 114
288.20/288.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.20/288.30 c * 276s|845218 |356785 | 0 | 0.0 | 303M| 176 | - | 293 | 16k| 0 | 0 | 0 | 814k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
291.89/291.96 c 279s|850000 |356665 | 0 | 0.0 | 306M| 176 | - | 293 | 16k| 0 | 0 | 0 | 820k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
296.00/296.04 c 283s|860000 |362096 | 0 | 0.0 | 309M| 176 | - | 293 | 10k| 0 | 0 | 0 | 829k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
299.80/299.88 c 287s|870000 |366914 | 0 | 0.0 | 314M| 176 | - | 293 | 11k| 0 | 0 | 0 | 840k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
304.10/304.11 c 291s|880000 |370916 | 0 | 0.0 | 319M| 176 | - | 293 | 12k| 0 | 0 | 0 | 852k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
308.49/308.50 c 295s|890000 |374396 | 0 | 0.0 | 321M| 176 | - | 293 |6200 | 0 | 0 | 0 | 863k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
312.19/312.25 c 298s|900000 |377949 | 0 | 0.0 | 326M| 176 | - | 293 |7331 | 0 | 0 | 0 | 874k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
316.09/316.15 c 302s|910000 |381597 | 0 | 0.0 | 330M| 176 | - | 293 |8318 | 0 | 0 | 0 | 884k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
320.00/320.07 c 305s|920000 |385234 | 0 | 0.0 | 335M| 176 | - | 293 |8541 | 0 | 0 | 0 | 895k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
323.90/323.95 c 309s|930000 |388856 | 0 | 0.0 | 339M| 176 | - | 293 |9400 | 0 | 0 | 0 | 905k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
327.89/327.94 c 313s|940000 |392398 | 0 | 0.0 | 343M| 176 | - | 293 |9366 | 0 | 0 | 0 | 915k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
331.80/331.80 c 316s|950000 |396089 | 0 | 0.0 | 348M| 176 | - | 293 | 10k| 0 | 0 | 0 | 925k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
335.59/335.62 c 320s|960000 |399897 | 0 | 0.0 | 353M| 176 | - | 293 | 11k| 0 | 0 | 0 | 935k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
339.69/339.75 c 324s|970000 |403398 | 0 | 0.0 | 357M| 176 | - | 293 | 11k| 0 | 0 | 0 | 944k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
344.00/344.09 c 328s|980000 |406767 | 0 | 0.0 | 361M| 176 | - | 293 | 11k| 0 | 0 | 0 | 955k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
348.40/348.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.40/348.42 c 332s|990000 |410311 | 0 | 0.0 | 365M| 176 | - | 293 | 12k| 0 | 0 | 0 | 964k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
352.79/352.81 c 336s| 1000k|413777 | 0 | 0.0 | 370M| 176 | - | 293 | 13k| 0 | 0 | 0 | 974k| 0 | 2.000000e+00 | 1.140000e+02 |5600.00%
354.49/354.52 o 98
354.49/354.52 c * 337s| 1003k|408043 | 0 | 0.0 | 364M| 176 | - | 293 | 14k| 0 | 0 | 0 | 977k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
357.90/357.91 c 340s| 1010k|409351 | 0 | 0.0 | 363M| 176 | - | 293 |3105 | 0 | 0 | 0 | 985k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
361.09/361.11 c 343s| 1020k|412522 | 0 | 0.0 | 367M| 176 | - | 293 |1908 | 0 | 0 | 0 | 995k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
364.30/364.34 c 346s| 1030k|415241 | 0 | 0.0 | 371M| 176 | - | 293 |3257 | 0 | 0 | 0 |1006k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
367.60/367.60 c 349s| 1040k|417879 | 0 | 0.0 | 376M| 176 | - | 293 |5637 | 0 | 0 | 0 |1017k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
371.30/371.34 c 352s| 1050k|420772 | 0 | 0.0 | 381M| 176 | - | 293 |7453 | 0 | 0 | 0 |1027k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
375.29/375.32 c 356s| 1060k|422860 | 0 | 0.0 | 385M| 176 | - | 293 |8292 | 0 | 0 | 0 |1039k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
379.51/379.54 c 360s| 1070k|425236 | 0 | 0.0 | 388M| 176 | - | 293 |6969 | 0 | 0 | 0 |1050k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
383.90/383.91 c 364s| 1080k|427345 | 0 | 0.0 | 393M| 176 | - | 293 | 10k| 0 | 0 | 0 |1061k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
388.30/388.35 c 368s| 1090k|429128 | 0 | 0.0 | 397M| 176 | - | 293 |8614 | 0 | 0 | 0 |1073k| 0 | 2.000000e+00 | 9.800000e+01 |4800.00%
389.70/389.72 o 91
389.70/389.72 c * 369s| 1093k|422662 | 0 | 0.0 | 390M| 176 | - | 293 |9252 | 0 | 0 | 0 |1076k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
393.10/393.12 c 372s| 1100k|423825 | 0 | 0.0 | 392M| 176 | - | 293 |7263 | 0 | 0 | 0 |1085k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
398.10/398.20 c 377s| 1110k|425370 | 0 | 0.0 | 398M| 176 | - | 293 | 10k| 0 | 0 | 0 |1097k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
403.50/403.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.50/403.56 c 382s| 1120k|426294 | 0 | 0.0 | 401M| 176 | - | 293 | 10k| 0 | 0 | 0 |1111k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
408.90/408.99 c 387s| 1130k|427138 | 0 | 0.0 | 404M| 176 | - | 293 |9089 | 0 | 0 | 0 |1124k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
414.09/414.19 c 392s| 1140k|428500 | 0 | 0.0 | 408M| 176 | - | 293 |8376 | 0 | 0 | 0 |1137k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
419.60/419.69 c 397s| 1150k|428780 | 0 | 0.0 | 411M| 176 | - | 293 | 10k| 0 | 0 | 0 |1150k| 0 | 2.000000e+00 | 9.100000e+01 |4450.00%
421.99/422.09 o 61
421.99/422.09 c * 399s| 1154k|336322 | 0 | 0.0 | 303M| 176 | - | 293 |7471 | 0 | 0 | 0 |1156k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
426.09/426.19 c 403s| 1160k|333805 | 0 | 0.0 | 304M| 176 | - | 293 |3783 | 0 | 0 | 0 |1171k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
433.90/433.98 c 410s| 1170k|328554 | 0 | 0.0 | 306M| 176 | - | 293 |9008 | 0 | 0 | 0 |1198k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
443.40/443.43 c 419s| 1180k|323190 | 0 | 0.0 | 307M| 176 | - | 293 |9358 | 0 | 0 | 0 |1224k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
454.20/454.24 c 429s| 1190k|316553 | 0 | 0.0 | 307M| 176 | - | 293 | 11k| 0 | 0 | 0 |1251k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
466.20/466.22 c 441s| 1200k|308682 | 0 | 0.0 | 306M| 176 | - | 293 | 12k| 0 | 0 | 0 |1279k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
479.80/479.84 c 454s| 1210k|299044 | 0 | 0.0 | 303M| 176 | - | 293 | 12k| 0 | 0 | 0 |1307k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
494.80/494.83 c 468s| 1220k|286680 | 0 | 0.0 | 298M| 176 | - | 293 | 12k| 0 | 0 | 0 |1335k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
501.20/501.25 c 474s| 1230k|285847 | 0 | 0.0 | 297M| 176 | - | 293 |5399 | 0 | 0 | 0 |1353k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
505.70/505.79 c 478s| 1240k|287482 | 0 | 0.0 | 301M| 176 | - | 293 |6311 | 0 | 0 | 0 |1370k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
511.41/511.41 c 483s| 1250k|287331 | 0 | 0.0 | 305M| 176 | - | 293 |7317 | 0 | 0 | 0 |1389k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
517.60/517.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
517.60/517.60 c 489s| 1260k|286220 | 0 | 0.0 | 307M| 176 | - | 293 |7535 | 0 | 0 | 0 |1408k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
524.20/524.22 c 495s| 1270k|283911 | 0 | 0.0 | 307M| 176 | - | 293 |4853 | 0 | 0 | 0 |1428k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
532.20/532.22 o 41
532.20/532.22 c * 503s| 1278k|226264 | 0 | 0.0 | 234M| 176 | - | 293 |9481 | 0 | 0 | 0 |1451k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
535.11/535.16 c 506s| 1280k|223656 | 0 | 0.0 | 232M| 176 | - | 293 |2501 | 0 | 0 | 0 |1458k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
543.80/543.80 c 514s| 1290k|208486 | 0 | 0.0 | 227M| 176 | - | 293 |4819 | 0 | 0 | 0 |1475k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
554.80/554.81 c 524s| 1300k|189934 | 0 | 0.0 | 219M| 176 | - | 293 |6532 | 0 | 0 | 0 |1494k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
567.90/567.91 c 536s| 1310k|167972 | 0 | 0.0 | 203M| 176 | - | 293 |8135 | 0 | 0 | 0 |1513k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
580.50/580.50 c 548s| 1320k|144704 | 0 | 0.0 | 174M| 176 | - | 293 |8515 | 0 | 0 | 0 |1532k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
586.90/586.98 c 554s| 1330k|138467 | 0 | 0.0 | 166M| 176 | - | 293 |6716 | 0 | 0 | 0 |1549k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
594.61/594.62 c 561s| 1340k|132894 | 0 | 0.0 | 162M| 176 | - | 293 |9259 | 0 | 0 | 0 |1567k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
604.00/604.09 c 570s| 1350k|124301 | 0 | 0.0 | 153M| 176 | - | 293 | 12k| 0 | 0 | 0 |1586k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
606.50/606.53 c 572s| 1360k|128853 | 0 | 0.0 | 152M| 176 | - | 293 |3606 | 0 | 0 | 0 |1591k| 0 | 2.000000e+00 | 4.100000e+01 |1950.00%
608.00/608.02 o 24
608.00/608.02 c * 574s| 1361k|106579 | 0 | 0.0 | 123M| 176 | - | 293 |5954 | 0 | 0 | 0 |1595k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
616.31/616.34 c 582s| 1370k| 98463 | 0 | 0.0 | 113M| 176 | - | 293 | 13k| 0 | 0 | 0 |1611k| 0 | 3.000000e+00 | 2.400000e+01 | 700.00%
619.31/619.34 c 584s| 1380k|104351 | 0 | 0.0 | 114M| 176 | - | 293 |6216 | 0 | 0 | 0 |1617k| 0 | 3.000000e+00 | 2.400000e+01 | 700.00%
624.40/624.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.40/624.47 c 589s| 1390k|105151 | 0 | 0.0 | 118M| 176 | - | 293 | 10k| 0 | 0 | 0 |1629k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
629.61/629.64 c 594s| 1400k|105895 | 0 | 0.0 | 119M| 176 | - | 293 |5695 | 0 | 0 | 0 |1639k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
634.10/634.15 c 598s| 1410k|104800 | 0 | 0.0 | 119M| 176 | - | 293 |6696 | 0 | 0 | 0 |1650k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
638.71/638.73 c 602s| 1420k|107086 | 0 | 0.0 | 123M| 176 | - | 293 |9774 | 0 | 0 | 0 |1661k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
646.40/646.41 c 610s| 1430k|105535 | 0 | 0.0 | 126M| 176 | - | 293 | 13k| 0 | 0 | 0 |1675k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
654.01/654.08 c 617s| 1440k|105659 | 0 | 0.0 | 125M| 176 | - | 293 | 10k| 0 | 0 | 0 |1686k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
660.50/660.50 c 623s| 1450k|104661 | 0 | 0.0 | 126M| 176 | - | 293 | 10k| 0 | 0 | 0 |1699k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
668.61/668.67 c 631s| 1460k|103254 | 0 | 0.0 | 128M| 176 | - | 293 | 14k| 0 | 0 | 0 |1715k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
682.01/682.01 c 644s| 1470k| 97145 | 0 | 0.0 | 124M| 176 | - | 293 | 22k| 0 | 0 | 0 |1733k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
692.81/692.80 c 654s| 1480k| 96049 | 0 | 0.0 | 123M| 176 | - | 293 | 17k| 0 | 0 | 0 |1747k| 0 | 6.000000e+00 | 2.400000e+01 | 300.00%
706.61/706.61 c 667s| 1490k| 89690 | 0 | 0.0 | 114M| 176 | - | 293 | 19k| 0 | 0 | 0 |1765k| 0 | 7.000000e+00 | 2.400000e+01 | 242.86%
717.40/717.43 c 678s| 1500k| 88625 | 0 | 0.0 | 107M| 176 | - | 293 | 12k| 0 | 0 | 0 |1778k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
720.60/720.65 c 681s| 1510k| 94493 | 0 | 0.0 | 109M| 176 | - | 293 |8587 | 0 | 0 | 0 |1785k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
724.51/724.56 c 684s| 1520k| 98591 | 0 | 0.0 | 115M| 176 | - | 293 | 13k| 0 | 0 | 0 |1794k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
730.01/730.00 c 689s| 1530k|101889 | 0 | 0.0 | 116M| 176 | - | 293 |8701 | 0 | 0 | 0 |1804k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
735.20/735.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.20/735.28 c 694s| 1540k|101041 | 0 | 0.0 | 118M| 176 | - | 293 |5439 | 0 | 0 | 0 |1816k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
742.91/742.93 c 701s| 1550k| 93758 | 0 | 0.0 | 119M| 176 | - | 293 |6841 | 0 | 0 | 0 |1831k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
752.00/752.05 c 710s| 1560k| 80906 | 0 | 0.0 | 113M| 176 | - | 293 |7635 | 0 | 0 | 0 |1848k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
761.41/761.49 c 719s| 1570k| 59533 | 0 | 0.0 | 93M| 176 | - | 293 |7381 | 0 | 0 | 0 |1865k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
765.81/765.86 c 723s| 1580k| 62616 | 0 | 0.0 | 98M| 176 | - | 293 | 12k| 0 | 0 | 0 |1874k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
773.70/773.71 c 730s| 1590k| 63226 | 0 | 0.0 | 103M| 176 | - | 293 | 20k| 0 | 0 | 0 |1888k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
787.01/787.02 c 743s| 1600k| 61922 | 0 | 0.0 | 103M| 176 | - | 293 | 20k| 0 | 0 | 0 |1903k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
793.11/793.13 c 749s| 1610k| 64901 | 0 | 0.0 | 105M| 176 | - | 293 | 11k| 0 | 0 | 0 |1913k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
798.91/798.95 c 755s| 1620k| 67238 | 0 | 0.0 | 109M| 176 | - | 293 | 12k| 0 | 0 | 0 |1924k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
808.41/808.43 c 764s| 1630k| 60400 | 0 | 0.0 | 101M| 176 | - | 293 | 12k| 0 | 0 | 0 |1940k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
815.31/815.32 c 770s| 1640k| 54168 | 0 | 0.0 | 95M| 176 | - | 293 | 10k| 0 | 0 | 0 |1954k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
824.91/825.00 c 779s| 1650k| 51445 | 0 | 0.0 | 97M| 176 | - | 293 | 20k| 0 | 0 | 0 |1969k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
843.41/843.43 c 797s| 1660k| 46625 | 0 | 0.0 | 91M| 176 | - | 293 | 20k| 0 | 0 | 0 |1987k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
852.62/852.64 c 806s| 1670k| 45518 | 0 | 0.0 | 91M| 176 | - | 293 | 16k| 0 | 0 | 0 |2000k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
861.31/861.39 c 815s| 1680k| 45993 | 0 | 0.0 | 92M| 176 | - | 293 | 21k| 0 | 0 | 0 |2013k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
872.01/872.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.01/872.09 c 825s| 1690k| 46171 | 0 | 0.0 | 91M| 176 | - | 293 | 18k| 0 | 0 | 0 |2025k| 0 | 1.400000e+01 | 2.400000e+01 | 71.43%
884.21/884.26 c 837s| 1700k| 38316 | 0 | 0.0 | 78M| 176 | - | 293 | 15k| 0 | 0 | 0 |2043k| 0 | 1.500000e+01 | 2.400000e+01 | 60.00%
895.82/895.82 c 848s| 1710k| 33887 | 0 | 0.0 | 76M| 176 | - | 293 | 24k| 0 | 0 | 0 |2059k| 0 | 1.500000e+01 | 2.400000e+01 | 60.00%
910.31/910.38 c 862s| 1720k| 33339 | 0 | 0.0 | 77M| 176 | - | 293 | 25k| 0 | 0 | 0 |2075k| 0 | 1.500000e+01 | 2.400000e+01 | 60.00%
924.61/924.64 c 876s| 1730k| 31268 | 0 | 0.0 | 72M| 176 | - | 293 | 21k| 0 | 0 | 0 |2089k| 0 | 1.600000e+01 | 2.400000e+01 | 50.00%
939.61/939.61 c 890s| 1740k| 28733 | 0 | 0.0 | 69M| 176 | - | 293 | 25k| 0 | 0 | 0 |2106k| 0 | 1.600000e+01 | 2.400000e+01 | 50.00%
945.52/945.55 c 896s| 1750k| 34348 | 0 | 0.0 | 72M| 176 | - | 293 | 19k| 0 | 0 | 0 |2112k| 0 | 1.600000e+01 | 2.400000e+01 | 50.00%
953.51/953.51 c 904s| 1760k| 35845 | 0 | 0.0 | 70M| 176 | - | 293 | 20k| 0 | 0 | 0 |2123k| 0 | 1.600000e+01 | 2.400000e+01 | 50.00%
961.42/961.40 c 911s| 1770k| 38907 | 0 | 0.0 | 74M| 176 | - | 293 | 22k| 0 | 0 | 0 |2135k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
970.02/970.06 c 919s| 1780k| 41363 | 0 | 0.0 | 77M| 176 | - | 293 | 22k| 0 | 0 | 0 |2147k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
979.41/979.49 c 928s| 1790k| 42236 | 0 | 0.0 | 80M| 176 | - | 293 | 22k| 0 | 0 | 0 |2159k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
986.01/986.04 c 935s| 1800k| 46167 | 0 | 0.0 | 82M| 176 | - | 293 | 20k| 0 | 0 | 0 |2167k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
993.22/993.25 c 942s| 1810k| 49072 | 0 | 0.0 | 84M| 176 | - | 293 | 16k| 0 | 0 | 0 |2176k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1001.42/1001.47 c 949s| 1820k| 47285 | 0 | 0.0 | 78M| 176 | - | 293 | 17k| 0 | 0 | 0 |2191k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1013.51/1013.57 c 961s| 1830k| 45669 | 0 | 0.0 | 82M| 176 | - | 293 | 28k| 0 | 0 | 0 |2209k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1027.32/1027.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1027.32/1027.35 c 975s| 1840k| 46556 | 0 | 0.0 | 86M| 176 | - | 293 | 34k| 0 | 0 | 0 |2223k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1046.02/1046.01 c 993s| 1850k| 45443 | 0 | 0.0 | 85M| 176 | - | 293 | 33k| 0 | 0 | 0 |2238k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1057.71/1057.78 c 1004s| 1860k| 48259 | 0 | 0.0 | 86M| 176 | - | 293 | 25k| 0 | 0 | 0 |2248k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1067.92/1067.96 c 1014s| 1870k| 50547 | 0 | 0.0 | 89M| 176 | - | 293 | 26k| 0 | 0 | 0 |2259k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1078.32/1078.31 c 1024s| 1880k| 52527 | 0 | 0.0 | 92M| 176 | - | 293 | 29k| 0 | 0 | 0 |2269k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1089.52/1089.50 c 1035s| 1890k| 54241 | 0 | 0.0 | 94M| 176 | - | 293 | 28k| 0 | 0 | 0 |2280k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1103.12/1103.15 c 1048s| 1900k| 47892 | 0 | 0.0 | 76M| 176 | - | 293 | 14k| 0 | 0 | 0 |2295k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1115.43/1115.49 c 1060s| 1910k| 40374 | 0 | 0.0 | 64M| 176 | - | 293 | 25k| 0 | 0 | 0 |2315k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1136.42/1136.43 c 1080s| 1920k| 35348 | 0 | 0.0 | 62M| 176 | - | 293 | 36k| 0 | 0 | 0 |2335k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1153.02/1153.09 c 1097s| 1930k| 35992 | 0 | 0.0 | 62M| 176 | - | 293 | 30k| 0 | 0 | 0 |2348k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1168.52/1168.56 c 1112s| 1940k| 35610 | 0 | 0.0 | 63M| 176 | - | 293 | 33k| 0 | 0 | 0 |2362k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1185.52/1185.56 c 1128s| 1950k| 34762 | 0 | 0.0 | 64M| 176 | - | 293 | 37k| 0 | 0 | 0 |2376k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1205.43/1205.45 c 1148s| 1960k| 32597 | 0 | 0.0 | 65M| 176 | - | 293 | 41k| 0 | 0 | 0 |2390k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1224.62/1224.62 c 1167s| 1970k| 32049 | 0 | 0.0 | 64M| 176 | - | 293 | 41k| 0 | 0 | 0 |2404k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1239.02/1239.03 c 1181s| 1980k| 34948 | 0 | 0.0 | 63M| 176 | - | 293 | 28k| 0 | 0 | 0 |2416k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1253.42/1253.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1253.42/1253.47 c 1195s| 1990k| 31458 | 0 | 0.0 | 51M| 176 | - | 293 | 22k| 0 | 0 | 0 |2431k| 0 | 1.900000e+01 | 2.400000e+01 | 26.32%
1268.43/1268.43 c 1209s| 2000k| 27808 | 0 | 0.0 | 52M| 176 | - | 293 | 30k| 0 | 0 | 0 |2449k| 0 | 2.000000e+01 | 2.400000e+01 | 20.00%
1289.32/1289.38 c 1230s| 2010k| 22708 | 0 | 0.0 | 51M| 176 | - | 293 | 42k| 0 | 0 | 0 |2467k| 0 | 2.000000e+01 | 2.400000e+01 | 20.00%
1312.83/1312.88 c 1253s| 2020k| 19611 | 0 | 0.0 | 49M| 176 | - | 293 | 47k| 0 | 0 | 0 |2483k| 0 | 2.000000e+01 | 2.400000e+01 | 20.00%
1338.43/1338.42 c 1278s| 2030k| 17681 | 0 | 0.0 | 45M| 176 | - | 293 | 33k| 0 | 0 | 0 |2501k| 0 | 2.000000e+01 | 2.400000e+01 | 20.00%
1358.62/1358.68 c 1298s| 2040k| 15132 | 0 | 0.0 | 42M| 176 | - | 293 | 31k| 0 | 0 | 0 |2518k| 0 | 2.000000e+01 | 2.400000e+01 | 20.00%
1368.83/1368.83 c 1308s| 2050k| 14746 | 0 | 0.0 | 36M| 176 | - | 293 | 26k| 0 | 0 | 0 |2530k| 0 | 2.000000e+01 | 2.400000e+01 | 20.00%
1388.23/1388.27 c 1327s| 2060k| 9894 | 0 | 0.0 | 31M| 176 | - | 293 | 33k| 0 | 0 | 0 |2550k| 0 | 2.100000e+01 | 2.400000e+01 | 14.29%
1400.53/1400.53 c 1339s| 2070k| 13229 | 0 | 0.0 | 29M| 176 | - | 293 | 25k| 0 | 0 | 0 |2560k| 0 | 2.100000e+01 | 2.400000e+01 | 14.29%
1410.82/1410.82 c 1349s| 2080k| 15726 | 0 | 0.0 | 32M| 176 | - | 293 | 25k| 0 | 0 | 0 |2571k| 0 | 2.100000e+01 | 2.400000e+01 | 14.29%
1424.13/1424.10 c 1362s| 2090k| 14729 | 0 | 0.0 | 30M| 176 | - | 293 | 27k| 0 | 0 | 0 |2587k| 0 | 2.100000e+01 | 2.400000e+01 | 14.29%
1435.63/1435.63 c 1373s| 2100k| 16833 | 0 | 0.0 | 33M| 176 | - | 293 | 28k| 0 | 0 | 0 |2601k| 0 | 2.300000e+01 | 2.400000e+01 | 4.35%
1451.63/1451.61 c 1388s| 2110k| 15485 | 0 | 0.0 | 36M| 176 | - | 293 | 32k| 0 | 0 | 0 |2618k| 0 | 2.300000e+01 | 2.400000e+01 | 4.35%
1472.63/1472.68 c 1409s| 2120k| 11566 | 0 | 0.0 | 34M| 176 | - | 293 | 34k| 0 | 0 | 0 |2637k| 0 | 2.300000e+01 | 2.400000e+01 | 4.35%
1496.43/1496.45 c 1432s| 2130k| 7127 | 0 | 0.0 | 33M| 176 | - | 293 | 35k| 0 | 0 | 0 |2658k| 0 | 2.300000e+01 | 2.400000e+01 | 4.35%
1516.93/1516.94 c
1516.93/1516.94 c SCIP Status : problem is solved [optimal solution found]
1516.93/1516.94 c Solving Time (sec) : 1452.58
1516.93/1516.94 c Solving Nodes : 2135846
1516.93/1516.94 c Primal Bound : +2.40000000000000e+01 (11 solutions)
1516.93/1516.94 c Dual Bound : +2.40000000000000e+01
1516.93/1516.94 c Gap : 0.00 %
1516.93/1516.94 s OPTIMUM FOUND
1516.93/1516.94 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
1516.93/1516.94 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1516.93/1516.94 v -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1516.93/1516.94 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
1516.93/1516.94 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
1516.93/1516.94 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
1516.93/1516.94 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
1516.93/1516.94 v -x4 -x3 -x2 -x1
1516.93/1516.94 c SCIP Status : problem is solved [optimal solution found]
1516.93/1516.94 c Solving Time : 1452.58
1516.93/1516.94 c Original Problem :
1516.93/1516.94 c Problem name : HOME/instance-2694007-1277899723.wbo
1516.93/1516.94 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1516.93/1516.94 c Constraints : 166 initial, 166 maximal
1516.93/1516.94 c Presolved Problem :
1516.93/1516.94 c Problem name : t_HOME/instance-2694007-1277899723.wbo
1516.93/1516.94 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
1516.93/1516.94 c Constraints : 158 initial, 50469 maximal
1516.93/1516.94 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1516.93/1516.94 c trivial : 0.00 0 0 0 0 0 0 0 0
1516.93/1516.94 c dualfix : 0.00 4 0 0 0 0 0 0 0
1516.93/1516.94 c boundshift : 0.00 0 0 0 0 0 0 0 0
1516.93/1516.94 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1516.93/1516.94 c implics : 0.00 0 0 0 0 0 0 0 0
1516.93/1516.94 c probing : 0.01 0 0 0 0 0 0 0 0
1516.93/1516.94 c indicator : 0.00 0 0 0 0 0 2 0 0
1516.93/1516.94 c setppc : 0.00 0 0 0 0 0 0 0 0
1516.93/1516.94 c linear : 0.00 0 0 0 62 0 6 2 0
1516.93/1516.94 c logicor : 0.00 0 0 0 0 0 0 0 0
1516.93/1516.94 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1516.93/1516.94 c root node : - 40 - - 80 - - - -
1516.93/1516.94 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1516.93/1516.94 c integral : 0 0 0 0 0 0 0 0 0 0
1516.93/1516.94 c indicator : 62 0 6389583 0 1362581 17615 3070992 0 0 0
1516.93/1516.94 c setppc : 30 0 6739559 0 1434209 43305 7633299 0 0 0
1516.93/1516.94 c linear : 62 0 6696313 0 1434220 760357 30528290 0 0 0
1516.93/1516.94 c logicor : 4+ 0 3351361 0 1432034 177291 2767184 0 0 0
1516.93/1516.94 c bounddisjunction : 0+ 0 139626 0 0 0 19198 0 0 0
1516.93/1516.94 c countsols : 0 0 0 0 1434231 0 0 0 0 0
1516.93/1516.94 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1516.93/1516.94 c integral : 0.00 0.00 0.00 0.00 0.00
1516.93/1516.94 c indicator : 4.08 0.00 2.71 0.00 1.37
1516.93/1516.94 c setppc : 18.63 0.00 14.21 0.00 4.42
1516.93/1516.94 c linear : 152.21 0.00 151.91 0.00 0.30
1516.93/1516.94 c logicor : 596.25 0.00 595.53 0.00 0.72
1516.93/1516.94 c bounddisjunction : 0.08 0.00 0.08 0.00 0.00
1516.93/1516.94 c countsols : 0.05 0.00 0.00 0.00 0.05
1516.93/1516.94 c Propagators : Time Calls Cutoffs DomReds
1516.93/1516.94 c vbounds : 0.34 2 0 0
1516.93/1516.94 c rootredcost : 0.33 0 0 0
1516.93/1516.94 c pseudoobj : 16.52 6786518 29455 2513041
1516.93/1516.94 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1516.93/1516.94 c propagation : 53.17 1010400 1010298 5210195 24.4 341464 14.5 -
1516.93/1516.94 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1516.93/1516.94 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1516.93/1516.94 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1516.93/1516.94 c pseudo solution : 0.02 115 115 456 19.7 50 13.4 -
1516.93/1516.94 c applied globally : - - - 2594822 17.3 - - -
1516.93/1516.94 c applied locally : - - - 78897 38.0 - - -
1516.93/1516.94 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1516.93/1516.94 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1516.93/1516.94 c redcost : 0.00 0 0 0 0 0
1516.93/1516.94 c impliedbounds : 0.00 0 0 0 0 0
1516.93/1516.94 c intobj : 0.00 0 0 0 0 0
1516.93/1516.94 c cgmip : 0.00 0 0 0 0 0
1516.93/1516.94 c gomory : 0.00 0 0 0 0 0
1516.93/1516.94 c strongcg : 0.00 0 0 0 0 0
1516.93/1516.94 c cmir : 0.00 0 0 0 0 0
1516.93/1516.94 c flowcover : 0.00 0 0 0 0 0
1516.93/1516.94 c clique : 0.00 0 0 0 0 0
1516.93/1516.94 c zerohalf : 0.00 0 0 0 0 0
1516.93/1516.94 c mcf : 0.00 0 0 0 0 0
1516.93/1516.94 c rapidlearning : 0.00 0 0 0 0 0
1516.93/1516.94 c Pricers : Time Calls Vars
1516.93/1516.94 c problem variables: 0.00 0 0
1516.93/1516.94 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1516.93/1516.94 c relpscost : 0.00 0 0 0 0 0 0
1516.93/1516.94 c pscost : 0.00 0 0 0 0 0 0
1516.93/1516.94 c inference : 10.86 1434220 0 0 0 0 2868440
1516.93/1516.94 c mostinf : 0.00 0 0 0 0 0 0
1516.93/1516.94 c leastinf : 0.00 0 0 0 0 0 0
1516.93/1516.94 c fullstrong : 0.00 0 0 0 0 0 0
1516.93/1516.94 c allfullstrong : 0.00 0 0 0 0 0 0
1516.93/1516.94 c random : 0.00 0 0 0 0 0 0
1516.93/1516.94 c Primal Heuristics : Time Calls Found
1516.93/1516.94 c LP solutions : 0.00 - 0
1516.93/1516.94 c pseudo solutions : 0.52 - 11
1516.93/1516.94 c oneopt : 0.17 0 0
1516.93/1516.94 c trivial : 0.00 2 0
1516.93/1516.94 c simplerounding : 0.00 0 0
1516.93/1516.94 c zirounding : 0.00 0 0
1516.93/1516.94 c rounding : 0.00 0 0
1516.93/1516.94 c shifting : 0.00 0 0
1516.93/1516.94 c intshifting : 0.00 0 0
1516.93/1516.94 c twoopt : 0.00 0 0
1516.93/1516.94 c fixandinfer : 0.00 0 0
1516.93/1516.94 c feaspump : 0.00 0 0
1516.93/1516.94 c coefdiving : 0.00 0 0
1516.93/1516.94 c pscostdiving : 0.00 0 0
1516.93/1516.94 c fracdiving : 0.00 0 0
1516.93/1516.94 c veclendiving : 0.00 0 0
1516.93/1516.94 c intdiving : 0.00 0 0
1516.93/1516.94 c actconsdiving : 0.00 0 0
1516.93/1516.94 c objpscostdiving : 0.00 0 0
1516.93/1516.94 c rootsoldiving : 0.00 0 0
1516.93/1516.94 c linesearchdiving : 0.00 0 0
1516.93/1516.94 c guideddiving : 0.00 0 0
1516.93/1516.94 c octane : 0.00 0 0
1516.93/1516.94 c rens : 0.00 0 0
1516.93/1516.94 c rins : 0.00 0 0
1516.93/1516.94 c localbranching : 0.00 0 0
1516.93/1516.94 c mutation : 0.00 0 0
1516.93/1516.94 c crossover : 0.00 0 0
1516.93/1516.94 c dins : 0.00 0 0
1516.93/1516.94 c undercover : 0.00 0 0
1516.93/1516.94 c nlp : 0.13 0 0
1516.93/1516.94 c trysol : 0.09 1 0
1516.93/1516.94 c LP : Time Calls Iterations Iter/call Iter/sec
1516.93/1516.94 c primal LP : 0.00 0 0 0.00 -
1516.93/1516.94 c dual LP : 0.00 0 0 0.00 -
1516.93/1516.94 c lex dual LP : 0.00 0 0 0.00 -
1516.93/1516.94 c barrier LP : 0.00 0 0 0.00 -
1516.93/1516.94 c diving/probing LP: 0.00 0 0 0.00 -
1516.93/1516.94 c strong branching : 0.00 0 0 0.00 -
1516.93/1516.94 c (at root node) : - 0 0 0.00 -
1516.93/1516.94 c conflict analysis: 0.00 0 0 0.00 -
1516.93/1516.94 c B&B Tree :
1516.93/1516.94 c number of runs : 1
1516.93/1516.94 c nodes : 2135846
1516.93/1516.94 c nodes (total) : 2135846
1516.93/1516.94 c nodes left : 0
1516.93/1516.94 c max depth : 176
1516.93/1516.94 c max depth (total): 176
1516.93/1516.94 c backtracks : 776373 (36.3%)
1516.93/1516.94 c delayed cutoffs : 543641
1516.93/1516.94 c repropagations : 2652829 (12395715 domain reductions, 326523 cutoffs)
1516.93/1516.94 c avg switch length: 21.60
1516.93/1516.94 c switching time : 488.12
1516.93/1516.94 c Solution :
1516.93/1516.94 c Solutions found : 11 (11 improvements)
1516.93/1516.94 c First Solution : +4.33000000000000e+02 (in run 1, after 60229 nodes, 14.95 seconds, depth 86, found by <relaxation>)
1516.93/1516.94 c Primal Bound : +2.40000000000000e+01 (in run 1, after 1361871 nodes, 573.75 seconds, depth 61, found by <relaxation>)
1516.93/1516.94 c Dual Bound : +2.40000000000000e+01
1516.93/1516.94 c Gap : 0.00 %
1516.93/1516.94 c Root Dual Bound : +0.00000000000000e+00
1516.93/1516.94 c Root Iterations : 0
1517.03/1517.00 c Time complete: 1517.03.
OK 24
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694007-1277899723/watcher-2694007-1277899723 -o /tmp/evaluation-result-2694007-1277899723/solver-2694007-1277899723 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694007-1277899723.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.91 2.00 1.99 4/200 12007 /proc/meminfo: memFree=31146256/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=8256 CPUtime=0 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 1546 0 0 0 0 0 0 0 25 0 1 0 131267882 8454144 1469 4089446400 4194304 7136930 140733535270000 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12007/statm: 2064 1469 275 719 0 1343 0 [startup+0.088112 s] /proc/loadavg: 1.91 2.00 1.99 4/200 12007 /proc/meminfo: memFree=31146256/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=12796 CPUtime=0.08 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 4729 0 0 0 6 2 0 0 18 0 1 0 131267882 13103104 2500 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12007/statm: 3232 2501 395 719 0 2511 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12796 [startup+0.101104 s] /proc/loadavg: 1.91 2.00 1.99 4/200 12007 /proc/meminfo: memFree=31146256/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=12928 CPUtime=0.09 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 4747 0 0 0 7 2 0 0 18 0 1 0 131267882 13238272 2518 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12007/statm: 3232 2519 395 719 0 2511 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12928 [startup+0.301064 s] /proc/loadavg: 1.91 2.00 1.99 4/200 12007 /proc/meminfo: memFree=31146256/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=14916 CPUtime=0.29 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 5235 0 0 0 24 5 0 0 18 0 1 0 131267882 15273984 3006 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12007/statm: 3729 3006 395 719 0 3008 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14916 [startup+0.700991 s] /proc/loadavg: 1.91 2.00 1.99 4/200 12007 /proc/meminfo: memFree=31146256/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=17784 CPUtime=0.69 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 5960 0 0 0 62 7 0 0 18 0 1 0 131267882 18210816 3731 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12007/statm: 4446 3731 395 719 0 3725 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17784 [startup+1.50085 s] /proc/loadavg: 1.91 2.00 1.99 3/201 12008 /proc/meminfo: memFree=31132012/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=21908 CPUtime=1.49 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 7015 0 0 0 137 12 0 0 19 0 1 0 131267882 22433792 4786 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12007/statm: 5477 4786 395 719 0 4756 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21908 [startup+3.10055 s] /proc/loadavg: 1.91 2.00 1.99 3/201 12008 /proc/meminfo: memFree=31127920/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=26452 CPUtime=3.09 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 8148 0 0 0 289 20 0 0 25 0 1 0 131267882 27086848 5919 4089446400 4194304 7136930 140733535270000 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12007/statm: 6613 5919 395 719 0 5892 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26452 [startup+6.30097 s] /proc/loadavg: 1.91 2.00 1.99 3/201 12008 /proc/meminfo: memFree=31118972/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=33356 CPUtime=6.29 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 9899 0 0 0 599 30 0 0 25 0 1 0 131267882 34156544 7670 4089446400 4194304 7136930 140733535270000 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12007/statm: 8339 7670 395 719 0 7618 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33356 [startup+12.7008 s] /proc/loadavg: 1.93 2.00 1.99 3/201 12008 /proc/meminfo: memFree=31108080/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=44080 CPUtime=12.69 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 12566 0 0 0 1223 46 0 0 25 0 1 0 131267882 45137920 10337 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12007/statm: 11020 10337 395 719 0 10299 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44080 [startup+25.5005 s] /proc/loadavg: 2.10 2.03 2.00 3/201 12008 /proc/meminfo: memFree=31086736/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=57724 CPUtime=25.49 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 16019 0 0 0 2475 74 0 0 25 0 1 0 131267882 59109376 13790 4089446400 4194304 7136930 140733535270000 18446744073709551615 4661183 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12007/statm: 14431 13790 395 719 0 13710 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 57724 [startup+51.1008 s] /proc/loadavg: 2.06 2.03 2.00 3/201 12009 /proc/meminfo: memFree=31072732/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=70656 CPUtime=51.08 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 19153 0 0 0 4989 119 0 0 25 0 1 0 131267882 72351744 16924 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12007/statm: 17664 16924 395 719 0 16943 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 70656 [startup+102.307 s] /proc/loadavg: 2.02 2.02 2.00 3/201 12010 /proc/meminfo: memFree=31045524/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=98748 CPUtime=102.29 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 25777 0 0 0 9995 234 0 0 25 0 1 0 131267882 101117952 23548 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12007/statm: 24687 23548 396 719 0 23966 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 98748 [startup+162.301 s] /proc/loadavg: 2.01 2.02 2.00 3/201 12012 /proc/meminfo: memFree=30967232/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=181124 CPUtime=162.29 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 45698 0 0 0 15795 434 0 0 25 0 1 0 131267882 185470976 43469 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/12007/statm: 45281 43469 398 719 0 44560 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 181124 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 3/183 12044 /proc/meminfo: memFree=31266028/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=290308 CPUtime=222.29 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 73274 0 0 0 21530 699 0 0 25 0 1 0 131267882 297275392 71045 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 72577 71045 398 719 0 71856 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 290308 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/183 12045 /proc/meminfo: memFree=31103984/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=376140 CPUtime=282.3 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 94808 0 0 0 27044 1186 0 0 25 0 1 0 131267882 385167360 92579 4089446400 4194304 7136930 140733535270000 18446744073709551615 4221547 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 94035 92579 398 719 0 93314 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 376140 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12047 /proc/meminfo: memFree=30904024/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=441368 CPUtime=342.3 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 111164 0 0 0 32590 1640 0 0 25 0 1 0 131267882 451960832 108935 4089446400 4194304 7136930 140733535270000 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 110342 108935 398 719 0 109621 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 441368 [startup+402.301 s] /proc/loadavg: 2.04 2.01 2.00 3/183 12048 /proc/meminfo: memFree=30777224/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=482364 CPUtime=402.3 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 121439 0 0 0 38079 2151 0 0 25 0 1 0 131267882 493940736 119210 4089446400 4194304 7136930 140733535270000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 120591 119210 398 719 0 119870 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 482364 [startup+462.301 s] /proc/loadavg: 2.01 2.01 2.00 3/183 12050 /proc/meminfo: memFree=30706356/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=493100 CPUtime=462.3 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 124119 0 0 0 43693 2537 0 0 25 0 1 0 131267882 504934400 121890 4089446400 4194304 7136930 140733535270000 18446744073709551615 6166614 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 123275 121890 398 719 0 122554 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 493100 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 12052 /proc/meminfo: memFree=30593944/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=494284 CPUtime=522.3 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 124383 0 0 0 49358 2872 0 0 25 0 1 0 131267882 506146816 122154 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 123571 122154 398 719 0 122850 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 494284 [startup+582.3 s] /proc/loadavg: 2.04 2.01 2.00 3/183 12053 /proc/meminfo: memFree=30533372/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=494284 CPUtime=582.3 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 124383 0 0 0 54979 3251 0 0 25 0 1 0 131267882 506146816 122154 4089446400 4194304 7136930 140733535270000 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 123571 122154 398 719 0 122850 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 494284 [startup+642.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 12055 /proc/meminfo: memFree=30531708/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=494540 CPUtime=642.31 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 124447 0 0 0 60571 3660 0 0 25 0 1 0 131267882 506408960 122218 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 123635 122218 398 719 0 122914 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 494540 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=30514216/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=499604 CPUtime=942.31 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125333 0 0 0 89290 4941 0 0 25 0 1 0 131267882 511594496 123104 4089446400 4194304 7136930 140733535270000 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 124901 123104 398 719 0 124180 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 499604 [startup+1002.3 s] /proc/loadavg: 2.11 2.06 2.01 3/183 12064 /proc/meminfo: memFree=30513416/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=499604 CPUtime=1002.31 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125333 0 0 0 95018 5213 0 0 25 0 1 0 131267882 511594496 123104 4089446400 4194304 7136930 140733535270000 18446744073709551615 4208862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 124901 123104 398 719 0 124180 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 499604 [startup+1062.3 s] /proc/loadavg: 2.04 2.05 2.01 3/183 12066 /proc/meminfo: memFree=30512500/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=500028 CPUtime=1062.31 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125453 0 0 0 100858 5373 0 0 25 0 1 0 131267882 512028672 123224 4089446400 4194304 7136930 140733535270000 18446744073709551615 4209998 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 125007 123224 398 719 0 124286 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 500028 [startup+1122.3 s] /proc/loadavg: 2.12 2.08 2.02 3/183 12068 /proc/meminfo: memFree=30509208/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=500028 CPUtime=1122.32 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125469 0 0 0 106654 5578 0 0 25 0 1 0 131267882 512028672 123240 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 125007 123240 398 719 0 124286 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 500028 [startup+1182.3 s] /proc/loadavg: 2.13 2.08 2.02 3/183 12069 /proc/meminfo: memFree=30506440/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=500688 CPUtime=1182.32 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125520 0 0 0 112527 5705 0 0 25 0 1 0 131267882 512704512 123291 4089446400 4194304 7136930 140733535270000 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 125172 123291 398 719 0 124451 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 500688 [startup+1242.3 s] /proc/loadavg: 2.04 2.06 2.01 3/183 12071 /proc/meminfo: memFree=30502680/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=500964 CPUtime=1242.32 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125630 0 0 0 118404 5828 0 0 25 0 1 0 131267882 512987136 123401 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 125241 123401 398 719 0 124520 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 500964 [startup+1302.3 s] /proc/loadavg: 2.01 2.05 2.00 3/183 12099 /proc/meminfo: memFree=30946172/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=499020 CPUtime=1302.33 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125718 0 0 0 124269 5964 0 0 25 0 1 0 131267882 510996480 122904 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 124755 122904 398 719 0 124034 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 499020 [startup+1362.3 s] /proc/loadavg: 2.14 2.07 2.01 3/183 12101 /proc/meminfo: memFree=30787296/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=497720 CPUtime=1362.33 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125781 0 0 0 130153 6080 0 0 25 0 1 0 131267882 509665280 122642 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 124430 122642 398 719 0 123709 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 497720 [startup+1422.31 s] /proc/loadavg: 2.05 2.05 2.00 3/183 12133 /proc/meminfo: memFree=30968004/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=476896 CPUtime=1422.33 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125781 0 0 0 135992 6241 0 0 25 0 1 0 131267882 488341504 117436 4089446400 4194304 7136930 140733535270000 18446744073709551615 4208859 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 119224 117436 398 719 0 118503 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 476896 [startup+1482.3 s] /proc/loadavg: 2.09 2.06 2.00 3/183 12134 /proc/meminfo: memFree=30891112/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=465272 CPUtime=1482.33 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125803 0 0 0 141853 6380 0 0 25 0 1 0 131267882 476438528 114552 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 116318 114552 398 719 0 115597 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 465272 Solver just ended. Dumping a history of the last processes samples [startup+1484.7 s] /proc/loadavg: 2.08 2.06 2.00 3/183 12134 /proc/meminfo: memFree=30888880/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=464240 CPUtime=1484.73 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125803 0 0 0 142088 6385 0 0 25 0 1 0 131267882 475381760 114294 4089446400 4194304 7136930 140733535270000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 116060 114294 398 719 0 115339 0 Current children cumulated CPU time (s) 1484.73 Current children cumulated vsize (KiB) 464240 [startup+1497.5 s] /proc/loadavg: 2.06 2.05 2.00 3/183 12135 /proc/meminfo: memFree=30859604/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=463208 CPUtime=1497.53 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125803 0 0 0 143344 6409 0 0 25 0 1 0 131267882 474324992 114036 4089446400 4194304 7136930 140733535270000 18446744073709551615 4212288 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 115802 114036 398 719 0 115081 0 Current children cumulated CPU time (s) 1497.53 Current children cumulated vsize (KiB) 463208 [startup+1510.31 s] /proc/loadavg: 2.05 2.05 2.00 3/183 12135 /proc/meminfo: memFree=30830944/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=455980 CPUtime=1510.34 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125803 0 0 0 144605 6429 0 0 25 0 1 0 131267882 466923520 112229 4089446400 4194304 7136930 140733535270000 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 113995 112229 398 719 0 113274 0 Current children cumulated CPU time (s) 1510.34 Current children cumulated vsize (KiB) 455980 [startup+1513.5 s] /proc/loadavg: 2.05 2.05 2.00 3/183 12135 /proc/meminfo: memFree=30825984/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=451852 CPUtime=1513.54 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125803 0 0 0 144920 6434 0 0 25 0 1 0 131267882 462696448 111197 4089446400 4194304 7136930 140733535270000 18446744073709551615 4431706 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 112963 111197 398 719 0 112242 0 Current children cumulated CPU time (s) 1513.54 Current children cumulated vsize (KiB) 451852 [startup+1515.1 s] /proc/loadavg: 2.05 2.05 2.00 3/183 12135 /proc/meminfo: memFree=30823008/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=451336 CPUtime=1515.13 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125803 0 0 0 145077 6436 0 0 25 0 1 0 131267882 462168064 111068 4089446400 4194304 7136930 140733535270000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 112834 111068 398 719 0 112113 0 Current children cumulated CPU time (s) 1515.13 Current children cumulated vsize (KiB) 451336 [startup+1515.9 s] /proc/loadavg: 2.05 2.05 2.00 3/183 12135 /proc/meminfo: memFree=30821024/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=449788 CPUtime=1515.93 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125803 0 0 0 145155 6438 0 0 25 0 1 0 131267882 460582912 110681 4089446400 4194304 7136930 140733535270000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 112447 110681 398 719 0 111726 0 Current children cumulated CPU time (s) 1515.93 Current children cumulated vsize (KiB) 449788 [startup+1516.7 s] /proc/loadavg: 2.05 2.05 2.00 3/183 12135 /proc/meminfo: memFree=30821024/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=448108 CPUtime=1516.73 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125803 0 0 0 145234 6439 0 0 25 0 1 0 131267882 458862592 110261 4089446400 4194304 7136930 140733535270000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 112027 110261 398 719 0 111306 0 Current children cumulated CPU time (s) 1516.73 Current children cumulated vsize (KiB) 448108 [startup+1516.91 s] /proc/loadavg: 2.04 2.05 2.00 3/183 12135 /proc/meminfo: memFree=30821264/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=446044 CPUtime=1516.93 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125803 0 0 0 145254 6439 0 0 25 0 1 0 131267882 456749056 109745 4089446400 4194304 7136930 140733535270000 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12007/statm: 111511 109745 398 719 0 110790 0 Current children cumulated CPU time (s) 1516.93 Current children cumulated vsize (KiB) 446044 [startup+1517 s] /proc/loadavg: 2.04 2.05 2.00 3/183 12135 /proc/meminfo: memFree=30821264/32951124 swapFree=67111528/67111528 [pid=12007] ppid=12005 vsize=111652 CPUtime=1517.03 /proc/12007/stat : 12007 (pbscip.linux.x8) R 12005 12007 11955 0 -1 4202496 125824 0 0 0 145262 6441 0 0 25 0 1 0 131267882 114331648 27000 4089446400 4194304 7136930 140733535270000 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12007/statm: 27465 26333 403 719 0 26744 0 Current children cumulated CPU time (s) 1517.03 Current children cumulated vsize (KiB) 111652 Child status: 0 Real time (s): 1517.01 CPU time (s): 1517.05 CPU user time (s): 1452.63 CPU system time (s): 64.4172 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 500964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1452.63 system time used= 64.4172 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125831 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= 1942 runsolver used 3.08253 second user time and 5.04223 second system time The end
Begin job on node133 at 2010-06-30 14:08:43 IDJOB=2694007 IDBENCH=78864 IDSOLVER=1206 FILE ID=node133/2694007-1277899723 PBS_JOBID= 11197223 Free space on /tmp= 74212 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.1110975607--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-2694007-1277899723/watcher-2694007-1277899723 -o /tmp/evaluation-result-2694007-1277899723/solver-2694007-1277899723 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694007-1277899723.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9a2a28c5bb6a02365b79a03ef797cc3c RANDOM SEED=969358902 node133.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.821 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.64 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.821 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.821 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.821 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 : 7296.74 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.821 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.74 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.821 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.74 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.821 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.821 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31146660 kB Buffers: 179740 kB Cached: 975776 kB SwapCached: 0 kB Active: 1028924 kB Inactive: 633432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31146660 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3200 kB Writeback: 0 kB AnonPages: 506616 kB Mapped: 20316 kB Slab: 78848 kB PageTables: 5896 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1661728 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node133 at 2010-06-30 14:34:00