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.43 | 1800.43 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo |
| MD5SUM | 477adc333907175569d22a28ba04c3fe |
| 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 | 9 |
| Best CPU time to get the best result obtained on this benchmark | 0.231964 |
| 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 | 2925 |
| Min constraint cost | 1 |
| Max constraint cost | 96 |
| Sum of constraints costs | 2924 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1192 |
| 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-2693958-1277898500.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.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 66 impls, 23 clqs
0.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 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 2 deleted vars, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 66 implications, 23 cliques
0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints
0.00/0.02 c 63 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 23 constraints of type <setppc>
0.00/0.02 c 63 constraints of type <linear>
0.00/0.02 c 9 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.02
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 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.41 c 1.3s| 10000 | 7513 | 0 | 0.0 |6551k| 183 | - | 295 |3324 | 0 | 0 | 0 |6513 | 0 | 0.000000e+00 | -- | Inf
3.19/3.29 o 659
3.19/3.29 c * 3.1s| 17970 | 12171 | 0 | 0.0 |9980k| 183 | - | 295 |3190 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 6.590000e+02 | Inf
3.49/3.50 c 3.3s| 20000 | 13982 | 0 | 0.0 | 10M| 183 | - | 295 |1458 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 6.590000e+02 | Inf
5.59/5.68 c 5.4s| 30000 | 20025 | 0 | 0.0 | 15M| 183 | - | 295 |5475 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 6.590000e+02 | Inf
8.79/8.83 c 8.4s| 40000 | 24854 | 0 | 0.0 | 20M| 183 | - | 295 |7075 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 6.590000e+02 | Inf
12.59/12.65 c 12.2s| 50000 | 28820 | 0 | 0.0 | 25M| 183 | - | 295 |9278 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 6.590000e+02 | Inf
17.29/17.35 c 16.7s| 60000 | 31712 | 0 | 0.0 | 30M| 183 | - | 295 | 12k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 6.590000e+02 | Inf
21.49/21.57 o 487
21.49/21.57 c *20.8s| 68796 | 35099 | 0 | 0.0 | 29M| 183 | - | 295 |2030 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 4.870000e+02 | Inf
21.49/21.57 o 384
21.49/21.57 c *20.8s| 68797 | 35095 | 0 | 0.0 | 29M| 183 | - | 295 |2030 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 3.840000e+02 | Inf
21.68/21.70 c 20.9s| 70000 | 36136 | 0 | 0.0 | 29M| 183 | - | 295 |1478 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 3.840000e+02 | Inf
22.39/22.42 o 355
22.39/22.42 c *21.4s| 77420 | 42599 | 0 | 0.0 | 32M| 183 | - | 295 |1593 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 3.550000e+02 | Inf
22.59/22.69 c 21.6s| 80000 | 44805 | 0 | 0.0 | 33M| 183 | - | 295 |1694 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 3.550000e+02 | Inf
23.68/23.75 o 190
23.68/23.75 c *22.5s| 89842 | 53061 | 0 | 0.0 | 36M| 183 | - | 295 |1499 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
23.68/23.77 c 22.5s| 90000 | 53194 | 0 | 0.0 | 36M| 183 | - | 295 |1489 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
24.79/24.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.79/24.88 c 23.4s|100000 | 61411 | 0 | 0.0 | 40M| 183 | - | 295 |1503 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
25.98/26.06 c 24.4s|110000 | 69472 | 0 | 0.0 | 44M| 183 | - | 295 |2027 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
26.59/26.69 o 134
26.59/26.69 c *24.9s|115157 | 73211 | 0 | 0.0 | 46M| 183 | - | 295 |2397 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
27.29/27.31 c 25.4s|120000 | 77079 | 0 | 0.0 | 48M| 183 | - | 295 |2612 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
28.68/28.70 c 26.4s|130000 | 84828 | 0 | 0.0 | 52M| 183 | - | 295 |3515 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
30.18/30.26 c 27.7s|140000 | 92301 | 0 | 0.0 | 57M| 183 | - | 295 |4463 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
32.79/32.81 c 29.9s|150000 | 97800 | 0 | 0.0 | 62M| 183 | - | 295 |6765 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
37.39/37.48 c 34.2s|160000 | 99927 | 0 | 0.0 | 66M| 183 | - | 295 |9726 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
43.48/43.50 c 39.8s|170000 |100360 | 0 | 0.0 | 70M| 183 | - | 295 | 11k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
50.38/50.41 c 46.3s|180000 |100063 | 0 | 0.0 | 73M| 183 | - | 295 | 13k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
58.49/58.56 c 54.0s|190000 | 98851 | 0 | 0.0 | 75M| 183 | - | 295 | 15k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
67.88/67.93 c 63.1s|200000 | 97148 | 0 | 0.0 | 77M| 183 | - | 295 | 18k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
77.39/77.41 c 72.3s|210000 | 97043 | 0 | 0.0 | 72M| 183 | - | 295 |5694 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
78.69/78.74 c 73.4s|220000 |104913 | 0 | 0.0 | 75M| 183 | - | 295 |1665 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
79.99/80.04 c 74.5s|230000 |112784 | 0 | 0.0 | 79M| 183 | - | 295 |2074 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
81.29/81.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.29/81.34 c 75.6s|240000 |120729 | 0 | 0.0 | 84M| 183 | - | 295 |2350 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
82.69/82.71 c 76.7s|250000 |128490 | 0 | 0.0 | 88M| 183 | - | 295 |2604 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
84.19/84.24 c 78.0s|260000 |135945 | 0 | 0.0 | 92M| 183 | - | 295 |2914 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
85.70/85.79 c 79.3s|270000 |143374 | 0 | 0.0 | 97M| 183 | - | 295 |3235 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
87.39/87.48 c 80.7s|280000 |150565 | 0 | 0.0 | 101M| 183 | - | 295 |3558 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
89.18/89.20 c 82.1s|290000 |157691 | 0 | 0.0 | 106M| 183 | - | 295 |3747 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
90.89/90.94 c 83.5s|300000 |164803 | 0 | 0.0 | 110M| 183 | - | 295 |3827 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
92.59/92.66 c 84.9s|310000 |171976 | 0 | 0.0 | 115M| 183 | - | 295 |3749 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
94.39/94.46 c 86.4s|320000 |178926 | 0 | 0.0 | 119M| 183 | - | 295 |3544 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
96.18/96.20 c 87.9s|330000 |185978 | 0 | 0.0 | 124M| 183 | - | 295 |3078 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
97.99/98.00 c 89.4s|340000 |192798 | 0 | 0.0 | 128M| 183 | - | 295 |3173 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
99.69/99.78 c 90.8s|350000 |199697 | 0 | 0.0 | 133M| 183 | - | 295 |3009 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
101.59/101.64 c 92.4s|360000 |206318 | 0 | 0.0 | 137M| 183 | - | 295 |3296 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
103.39/103.47 c 93.9s|370000 |213132 | 0 | 0.0 | 142M| 183 | - | 295 |3216 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
105.29/105.30 c 95.4s|380000 |219932 | 0 | 0.0 | 146M| 183 | - | 295 |3134 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
106.39/106.46 o 115
106.39/106.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.39/106.46 c *96.3s|386180 |222827 | 0 | 0.0 | 148M| 183 | - | 295 |3096 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
107.19/107.23 c 97.0s|390000 |225211 | 0 | 0.0 | 150M| 183 | - | 295 |3465 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
109.19/109.20 c 98.7s|400000 |231728 | 0 | 0.0 | 154M| 183 | - | 295 |3385 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
111.10/111.16 c 100s|410000 |238156 | 0 | 0.0 | 159M| 183 | - | 295 |3724 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
112.99/113.09 c 102s|420000 |244731 | 0 | 0.0 | 163M| 183 | - | 295 |3785 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
114.98/115.00 c 104s|430000 |251405 | 0 | 0.0 | 168M| 183 | - | 295 |3934 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
116.89/116.97 c 105s|440000 |257963 | 0 | 0.0 | 172M| 183 | - | 295 |4029 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
118.88/118.97 c 107s|450000 |264372 | 0 | 0.0 | 177M| 183 | - | 295 |4493 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
120.99/121.08 c 109s|460000 |270673 | 0 | 0.0 | 181M| 183 | - | 295 |4892 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
123.09/123.16 c 110s|470000 |277078 | 0 | 0.0 | 186M| 183 | - | 295 |4952 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
125.19/125.26 c 112s|480000 |283508 | 0 | 0.0 | 190M| 183 | - | 295 |5175 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
127.28/127.38 c 114s|490000 |289964 | 0 | 0.0 | 194M| 183 | - | 295 |5629 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
129.48/129.54 c 116s|500000 |296384 | 0 | 0.0 | 199M| 183 | - | 295 |5689 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
131.68/131.79 c 118s|510000 |302670 | 0 | 0.0 | 203M| 183 | - | 295 |6340 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
134.19/134.20 c 120s|520000 |308700 | 0 | 0.0 | 208M| 183 | - | 295 |6854 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
136.49/136.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.49/136.59 c 122s|530000 |314798 | 0 | 0.0 | 212M| 183 | - | 295 |7085 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
138.89/138.97 c 124s|540000 |321016 | 0 | 0.0 | 217M| 183 | - | 295 |7332 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
141.39/141.43 c 126s|550000 |327097 | 0 | 0.0 | 221M| 183 | - | 295 |7636 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
142.99/143.01 o 100
142.99/143.01 c * 128s|556211 |328433 | 0 | 0.0 | 221M| 183 | - | 295 |8022 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
143.88/143.94 c 128s|560000 |330814 | 0 | 0.0 | 223M| 183 | - | 295 |7931 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
146.58/146.62 c 131s|570000 |336702 | 0 | 0.0 | 228M| 183 | - | 295 |8350 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
149.38/149.50 c 133s|580000 |342182 | 0 | 0.0 | 232M| 183 | - | 295 |9185 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
152.28/152.37 c 136s|590000 |347868 | 0 | 0.0 | 237M| 183 | - | 295 |9404 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
155.48/155.52 c 139s|600000 |353179 | 0 | 0.0 | 241M| 183 | - | 295 | 10k| 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
158.69/158.74 c 141s|610000 |358455 | 0 | 0.0 | 246M| 183 | - | 295 | 11k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
162.28/162.30 c 145s|620000 |363352 | 0 | 0.0 | 251M| 183 | - | 295 | 12k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
166.09/166.12 c 148s|630000 |368126 | 0 | 0.0 | 255M| 183 | - | 295 | 14k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
170.28/170.39 c 152s|640000 |372587 | 0 | 0.0 | 260M| 183 | - | 295 | 14k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
175.29/175.32 c 157s|650000 |376327 | 0 | 0.0 | 264M| 183 | - | 295 | 16k| 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
180.99/181.00 c 162s|660000 |379379 | 0 | 0.0 | 268M| 183 | - | 295 | 17k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
186.79/186.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.79/186.84 c 167s|670000 |382260 | 0 | 0.0 | 270M| 183 | - | 295 | 13k| 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
199.38/199.50 c 180s|680000 |377879 | 0 | 0.0 | 269M| 183 | - | 295 | 21k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
218.09/218.10 c 198s|690000 |370623 | 0 | 0.0 | 258M| 183 | - | 295 | 22k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
221.09/221.18 c 201s|700000 |377206 | 0 | 0.0 | 257M| 183 | - | 295 |2818 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
223.29/223.31 c 202s|710000 |383502 | 0 | 0.0 | 262M| 183 | - | 295 |2811 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
225.39/225.44 c 204s|720000 |389822 | 0 | 0.0 | 268M| 183 | - | 295 |2992 | 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
227.48/227.60 c 206s|730000 |396012 | 0 | 0.0 | 273M| 183 | - | 295 |3357 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
229.68/229.80 c 208s|740000 |402236 | 0 | 0.0 | 278M| 183 | - | 295 |3607 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
231.99/232.07 c 210s|750000 |408339 | 0 | 0.0 | 283M| 183 | - | 295 |3716 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
234.38/234.43 c 212s|760000 |414242 | 0 | 0.0 | 289M| 183 | - | 295 |4036 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
236.69/236.76 c 214s|770000 |420308 | 0 | 0.0 | 294M| 183 | - | 295 |4268 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
239.08/239.16 c 216s|780000 |426225 | 0 | 0.0 | 299M| 183 | - | 295 |4580 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
241.38/241.46 c 218s|790000 |432306 | 0 | 0.0 | 304M| 183 | - | 295 |4684 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
243.68/243.76 c 220s|800000 |438457 | 0 | 0.0 | 310M| 183 | - | 295 |4661 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
246.09/246.19 c 222s|810000 |444321 | 0 | 0.0 | 315M| 183 | - | 295 |4773 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
248.38/248.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.38/248.46 c 224s|820000 |450559 | 0 | 0.0 | 320M| 183 | - | 295 |5180 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
250.78/250.81 c 226s|830000 |456745 | 0 | 0.0 | 325M| 183 | - | 295 |5100 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
253.19/253.26 c 228s|840000 |462730 | 0 | 0.0 | 330M| 183 | - | 295 |5157 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
255.58/255.60 c 230s|850000 |468896 | 0 | 0.0 | 335M| 183 | - | 295 |5459 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
257.98/258.05 c 232s|860000 |475023 | 0 | 0.0 | 340M| 183 | - | 295 |5455 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
260.49/260.59 c 235s|870000 |480853 | 0 | 0.0 | 344M| 183 | - | 295 |5809 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
262.98/263.08 c 237s|880000 |486872 | 0 | 0.0 | 349M| 183 | - | 295 |5764 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
265.48/265.57 c 239s|890000 |492917 | 0 | 0.0 | 354M| 183 | - | 295 |5830 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
267.88/267.94 c 241s|900000 |499168 | 0 | 0.0 | 359M| 183 | - | 295 |5986 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
270.48/270.52 c 243s|910000 |505028 | 0 | 0.0 | 363M| 183 | - | 295 |6144 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
272.98/273.05 c 246s|920000 |510979 | 0 | 0.0 | 368M| 183 | - | 295 |6265 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
275.58/275.70 c 248s|930000 |516815 | 0 | 0.0 | 373M| 183 | - | 295 |6378 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
278.28/278.36 c 250s|940000 |522648 | 0 | 0.0 | 377M| 183 | - | 295 |6541 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
280.99/281.08 c 253s|950000 |528387 | 0 | 0.0 | 382M| 183 | - | 295 |6601 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
283.79/283.85 c 255s|960000 |534031 | 0 | 0.0 | 386M| 183 | - | 295 |6559 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
286.68/286.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.68/286.71 c 258s|970000 |539503 | 0 | 0.0 | 391M| 183 | - | 295 |6798 | 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
289.28/289.31 c 260s|980000 |545352 | 0 | 0.0 | 396M| 183 | - | 295 |6497 | 0 | 0 | 0 | 635k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
292.08/292.11 c 262s|990000 |550782 | 0 | 0.0 | 401M| 183 | - | 295 |6674 | 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
294.79/294.87 c 265s| 1000k|556361 | 0 | 0.0 | 406M| 183 | - | 295 |6136 | 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
297.58/297.62 c 267s| 1010k|561735 | 0 | 0.0 | 411M| 183 | - | 295 |6592 | 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
300.28/300.32 c 270s| 1020k|567439 | 0 | 0.0 | 417M| 183 | - | 295 |6124 | 0 | 0 | 0 | 652k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
303.08/303.15 c 272s| 1030k|572764 | 0 | 0.0 | 422M| 183 | - | 295 |6367 | 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
305.69/305.77 c 274s| 1040k|578529 | 0 | 0.0 | 427M| 183 | - | 295 |5773 | 0 | 0 | 0 | 661k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
308.48/308.58 c 277s| 1050k|583776 | 0 | 0.0 | 432M| 183 | - | 295 |6204 | 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
311.19/311.27 c 279s| 1060k|589293 | 0 | 0.0 | 437M| 183 | - | 295 |5780 | 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
314.08/314.17 c 282s| 1070k|594259 | 0 | 0.0 | 443M| 183 | - | 295 |6278 | 0 | 0 | 0 | 674k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
316.88/316.91 c 284s| 1080k|599742 | 0 | 0.0 | 448M| 183 | - | 295 |5649 | 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
319.69/319.71 c 287s| 1090k|604862 | 0 | 0.0 | 453M| 183 | - | 295 |6031 | 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
322.38/322.42 c 289s| 1100k|610290 | 0 | 0.0 | 458M| 183 | - | 295 |5609 | 0 | 0 | 0 | 688k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
325.18/325.25 c 292s| 1110k|615379 | 0 | 0.0 | 463M| 183 | - | 295 |6193 | 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
327.88/327.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.88/327.98 c 294s| 1120k|620835 | 0 | 0.0 | 468M| 183 | - | 295 |5692 | 0 | 0 | 0 | 697k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
330.78/330.84 c 296s| 1130k|625766 | 0 | 0.0 | 473M| 183 | - | 295 |6162 | 0 | 0 | 0 | 702k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
333.48/333.50 c 299s| 1140k|631350 | 0 | 0.0 | 478M| 183 | - | 295 |5690 | 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
336.18/336.24 c 301s| 1150k|636510 | 0 | 0.0 | 483M| 183 | - | 295 |6157 | 0 | 0 | 0 | 711k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
338.79/338.88 c 303s| 1160k|642134 | 0 | 0.0 | 488M| 183 | - | 295 |5849 | 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
341.59/341.66 c 306s| 1170k|647131 | 0 | 0.0 | 493M| 183 | - | 295 |6226 | 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
344.19/344.29 c 308s| 1180k|652823 | 0 | 0.0 | 498M| 183 | - | 295 |5962 | 0 | 0 | 0 | 726k| 0 | 1.000000e+00 | 1.000000e+02 |9900.00%
344.29/344.35 o 82
344.29/344.35 c * 308s| 1180k|616511 | 0 | 0.0 | 451M| 183 | - | 295 |5968 | 0 | 0 | 0 | 726k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
345.29/345.37 o 80
345.29/345.37 c * 309s| 1183k|617288 | 0 | 0.0 | 451M| 183 | - | 295 |4579 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 8.000000e+01 |7900.00%
345.29/345.37 o 79
345.29/345.37 c * 309s| 1183k|617018 | 0 | 0.0 | 451M| 183 | - | 295 |4579 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 7.900000e+01 |7800.00%
347.59/347.66 c 311s| 1190k|619456 | 0 | 0.0 | 455M| 183 | - | 295 |5263 | 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | 7.900000e+01 |7800.00%
348.69/348.74 o 69
348.69/348.74 c * 312s| 1193k|612280 | 0 | 0.0 | 448M| 183 | - | 295 |5288 | 0 | 0 | 0 | 735k| 0 | 1.000000e+00 | 6.900000e+01 |6800.00%
350.68/350.73 c 314s| 1200k|615516 | 0 | 0.0 | 451M| 183 | - | 295 |4246 | 0 | 0 | 0 | 740k| 0 | 1.000000e+00 | 6.900000e+01 |6800.00%
354.19/354.29 c 317s| 1210k|619325 | 0 | 0.0 | 455M| 183 | - | 295 |4988 | 0 | 0 | 0 | 748k| 0 | 1.000000e+00 | 6.900000e+01 |6800.00%
357.68/357.70 c 320s| 1220k|623559 | 0 | 0.0 | 460M| 183 | - | 295 |5302 | 0 | 0 | 0 | 756k| 0 | 1.000000e+00 | 6.900000e+01 |6800.00%
360.98/361.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.98/361.07 c 323s| 1230k|628115 | 0 | 0.0 | 465M| 183 | - | 295 |5144 | 0 | 0 | 0 | 764k| 0 | 1.000000e+00 | 6.900000e+01 |6800.00%
364.49/364.59 c 326s| 1240k|632037 | 0 | 0.0 | 469M| 183 | - | 295 |5416 | 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 6.900000e+01 |6800.00%
368.08/368.12 c 330s| 1250k|636308 | 0 | 0.0 | 474M| 183 | - | 295 |5720 | 0 | 0 | 0 | 781k| 0 | 1.000000e+00 | 6.900000e+01 |6800.00%
371.79/371.81 c 333s| 1260k|640252 | 0 | 0.0 | 478M| 183 | - | 295 |6146 | 0 | 0 | 0 | 790k| 0 | 1.000000e+00 | 6.900000e+01 |6800.00%
375.59/375.61 c 336s| 1270k|643839 | 0 | 0.0 | 483M| 183 | - | 295 |6916 | 0 | 0 | 0 | 800k| 0 | 1.000000e+00 | 6.900000e+01 |6800.00%
376.48/376.50 o 61
376.48/376.50 c * 337s| 1272k|601838 | 0 | 0.0 | 438M| 183 | - | 295 |6610 | 0 | 0 | 0 | 802k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
379.09/379.11 c 339s| 1280k|604936 | 0 | 0.0 | 441M| 183 | - | 295 |5260 | 0 | 0 | 0 | 809k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
382.69/382.75 c 343s| 1290k|608118 | 0 | 0.0 | 445M| 183 | - | 295 |4060 | 0 | 0 | 0 | 821k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
386.38/386.49 c 346s| 1300k|611195 | 0 | 0.0 | 449M| 183 | - | 295 |4962 | 0 | 0 | 0 | 832k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
390.09/390.15 c 349s| 1310k|615000 | 0 | 0.0 | 454M| 183 | - | 295 |5679 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
394.18/394.25 c 353s| 1320k|617994 | 0 | 0.0 | 458M| 183 | - | 295 |5747 | 0 | 0 | 0 | 854k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
398.19/398.29 c 357s| 1330k|620923 | 0 | 0.0 | 462M| 183 | - | 295 |5405 | 0 | 0 | 0 | 866k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
401.78/401.85 c 360s| 1340k|624973 | 0 | 0.0 | 466M| 183 | - | 295 |6629 | 0 | 0 | 0 | 877k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
405.79/405.86 c 364s| 1350k|628058 | 0 | 0.0 | 470M| 183 | - | 295 |6327 | 0 | 0 | 0 | 888k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
409.98/410.05 c 368s| 1360k|631039 | 0 | 0.0 | 474M| 183 | - | 295 |6333 | 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
413.78/413.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.78/413.80 c 371s| 1370k|635058 | 0 | 0.0 | 479M| 183 | - | 295 |7446 | 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
418.09/418.18 c 375s| 1380k|638073 | 0 | 0.0 | 483M| 183 | - | 295 |7992 | 0 | 0 | 0 | 923k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
422.40/422.42 c 379s| 1390k|641216 | 0 | 0.0 | 486M| 183 | - | 295 |7329 | 0 | 0 | 0 | 935k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
426.29/426.30 c 382s| 1400k|644899 | 0 | 0.0 | 491M| 183 | - | 295 |7593 | 0 | 0 | 0 | 947k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
430.69/430.75 c 386s| 1410k|647693 | 0 | 0.0 | 494M| 183 | - | 295 |8202 | 0 | 0 | 0 | 959k| 0 | 1.000000e+00 | 6.100000e+01 |6000.00%
434.28/434.38 o 32
434.28/434.38 c * 390s| 1418k|571993 | 0 | 0.0 | 424M| 183 | - | 295 |8552 | 0 | 0 | 0 | 969k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
435.38/435.41 c 391s| 1420k|571655 | 0 | 0.0 | 422M| 183 | - | 295 |1067 | 0 | 0 | 0 | 971k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
439.19/439.21 c 394s| 1430k|573988 | 0 | 0.0 | 427M| 183 | - | 295 |2391 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
443.09/443.13 c 397s| 1440k|575827 | 0 | 0.0 | 431M| 183 | - | 295 |5335 | 0 | 0 | 0 | 987k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
447.69/447.75 c 402s| 1450k|577223 | 0 | 0.0 | 434M| 183 | - | 295 |6083 | 0 | 0 | 0 | 996k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
452.48/452.54 c 406s| 1460k|578664 | 0 | 0.0 | 437M| 183 | - | 295 |6579 | 0 | 0 | 0 |1004k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
457.59/457.66 c 411s| 1470k|579799 | 0 | 0.0 | 440M| 183 | - | 295 |6912 | 0 | 0 | 0 |1013k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
462.48/462.56 c 415s| 1480k|581521 | 0 | 0.0 | 443M| 183 | - | 295 |6936 | 0 | 0 | 0 |1022k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
467.39/467.48 c 420s| 1490k|583693 | 0 | 0.0 | 447M| 183 | - | 295 |6935 | 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
472.88/472.95 c 425s| 1500k|585020 | 0 | 0.0 | 450M| 183 | - | 295 |8010 | 0 | 0 | 0 |1040k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
478.49/478.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.49/478.52 c 430s| 1510k|586033 | 0 | 0.0 | 454M| 183 | - | 295 |8949 | 0 | 0 | 0 |1050k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
484.18/484.24 c 435s| 1520k|586943 | 0 | 0.0 | 457M| 183 | - | 295 | 10k| 0 | 0 | 0 |1060k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
489.98/490.08 c 441s| 1530k|587947 | 0 | 0.0 | 460M| 183 | - | 295 | 10k| 0 | 0 | 0 |1070k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
495.99/496.03 c 446s| 1540k|588902 | 0 | 0.0 | 463M| 183 | - | 295 | 10k| 0 | 0 | 0 |1080k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
502.18/502.25 c 452s| 1550k|589697 | 0 | 0.0 | 466M| 183 | - | 295 | 11k| 0 | 0 | 0 |1090k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
508.78/508.83 c 458s| 1560k|590081 | 0 | 0.0 | 469M| 183 | - | 295 | 12k| 0 | 0 | 0 |1101k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
515.68/515.75 c 465s| 1570k|590423 | 0 | 0.0 | 472M| 183 | - | 295 | 12k| 0 | 0 | 0 |1112k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
523.38/523.42 c 472s| 1580k|589671 | 0 | 0.0 | 474M| 183 | - | 295 | 13k| 0 | 0 | 0 |1124k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
530.69/530.76 c 479s| 1590k|589913 | 0 | 0.0 | 477M| 183 | - | 295 | 15k| 0 | 0 | 0 |1136k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
538.89/538.93 c 486s| 1600k|589403 | 0 | 0.0 | 479M| 183 | - | 295 | 16k| 0 | 0 | 0 |1148k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
547.39/547.48 c 495s| 1610k|589046 | 0 | 0.0 | 482M| 183 | - | 295 | 17k| 0 | 0 | 0 |1160k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
556.68/556.72 c 503s| 1620k|588229 | 0 | 0.0 | 484M| 183 | - | 295 | 19k| 0 | 0 | 0 |1172k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
566.59/566.62 c 513s| 1630k|586647 | 0 | 0.0 | 484M| 183 | - | 295 | 20k| 0 | 0 | 0 |1184k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
571.18/571.21 c 517s| 1640k|590943 | 0 | 0.0 | 482M| 183 | - | 295 |2688 | 0 | 0 | 0 |1189k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
574.49/574.50 c 520s| 1650k|593580 | 0 | 0.0 | 485M| 183 | - | 295 |4442 | 0 | 0 | 0 |1196k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
580.99/581.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.99/581.01 c 526s| 1660k|590387 | 0 | 0.0 | 483M| 183 | - | 295 |2876 | 0 | 0 | 0 |1208k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
585.68/585.76 o 13
585.68/585.76 c * 530s| 1669k|504786 | 0 | 0.0 | 416M| 183 | - | 295 |3994 | 0 | 0 | 0 |1214k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
586.29/586.38 c 531s| 1670k|504355 | 0 | 0.0 | 417M| 183 | - | 295 |3889 | 0 | 0 | 0 |1215k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
592.79/592.81 o 12
592.79/592.81 c * 537s| 1677k|490930 | 0 | 0.0 | 414M| 183 | - | 295 |7527 | 0 | 0 | 0 |1227k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
595.09/595.11 c 539s| 1680k|489464 | 0 | 0.0 | 414M| 183 | - | 295 |6760 | 0 | 0 | 0 |1231k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
602.69/602.73 o 11
602.69/602.73 c * 546s| 1686k|481323 | 0 | 0.0 | 412M| 183 | - | 295 |9857 | 0 | 0 | 0 |1244k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
607.29/607.37 c 551s| 1690k|478385 | 0 | 0.0 | 413M| 183 | - | 295 | 10k| 0 | 0 | 0 |1251k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
621.08/621.11 c 564s| 1700k|469619 | 0 | 0.0 | 413M| 183 | - | 295 | 12k| 0 | 0 | 0 |1270k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
636.48/636.54 c 579s| 1710k|458673 | 0 | 0.0 | 413M| 183 | - | 295 | 13k| 0 | 0 | 0 |1289k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
637.19/637.21 o 9
637.19/637.21 c * 580s| 1710k|453595 | 0 | 0.0 | 410M| 183 | - | 295 | 13k| 0 | 0 | 0 |1290k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
652.49/652.57 c 594s| 1720k|441613 | 0 | 0.0 | 410M| 183 | - | 295 | 13k| 0 | 0 | 0 |1310k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
669.79/669.86 c 611s| 1730k|427438 | 0 | 0.0 | 407M| 183 | - | 295 | 13k| 0 | 0 | 0 |1331k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
687.89/687.95 c 629s| 1740k|411595 | 0 | 0.0 | 404M| 183 | - | 295 | 15k| 0 | 0 | 0 |1352k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
708.09/708.10 c 648s| 1750k|391206 | 0 | 0.0 | 398M| 183 | - | 295 | 13k| 0 | 0 | 0 |1376k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
726.89/726.94 c 666s| 1760k|371115 | 0 | 0.0 | 390M| 183 | - | 295 | 13k| 0 | 0 | 0 |1399k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
745.18/745.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.18/745.27 c 684s| 1770k|351937 | 0 | 0.0 | 382M| 183 | - | 295 | 13k| 0 | 0 | 0 |1420k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
762.58/762.62 c 700s| 1780k|335431 | 0 | 0.0 | 375M| 183 | - | 295 | 13k| 0 | 0 | 0 |1439k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
779.39/779.49 c 717s| 1790k|321552 | 0 | 0.0 | 369M| 183 | - | 295 | 14k| 0 | 0 | 0 |1459k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
797.08/797.16 c 734s| 1800k|309518 | 0 | 0.0 | 363M| 183 | - | 295 | 16k| 0 | 0 | 0 |1477k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
814.68/814.73 c 751s| 1810k|299949 | 0 | 0.0 | 358M| 183 | - | 295 | 18k| 0 | 0 | 0 |1495k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
833.69/833.77 c 769s| 1820k|290421 | 0 | 0.0 | 354M| 183 | - | 295 | 20k| 0 | 0 | 0 |1514k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
854.09/854.13 c 789s| 1830k|281430 | 0 | 0.0 | 351M| 183 | - | 295 | 22k| 0 | 0 | 0 |1533k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
874.28/874.30 c 808s| 1840k|273651 | 0 | 0.0 | 348M| 183 | - | 295 | 24k| 0 | 0 | 0 |1550k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
895.78/895.88 c 829s| 1850k|265193 | 0 | 0.0 | 343M| 183 | - | 295 | 27k| 0 | 0 | 0 |1569k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
918.50/918.57 c 851s| 1860k|256980 | 0 | 0.0 | 339M| 183 | - | 295 | 29k| 0 | 0 | 0 |1588k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
941.99/942.02 c 874s| 1870k|249355 | 0 | 0.0 | 335M| 183 | - | 295 | 30k| 0 | 0 | 0 |1607k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
965.99/966.02 c 898s| 1880k|241796 | 0 | 0.0 | 331M| 183 | - | 295 | 32k| 0 | 0 | 0 |1626k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
992.28/992.37 c 924s| 1890k|233632 | 0 | 0.0 | 326M| 183 | - | 295 | 33k| 0 | 0 | 0 |1646k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1019.09/1019.12 c 950s| 1900k|225380 | 0 | 0.0 | 320M| 183 | - | 295 | 35k| 0 | 0 | 0 |1667k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1048.59/1048.61 c 979s| 1910k|216409 | 0 | 0.0 | 314M| 183 | - | 295 | 37k| 0 | 0 | 0 |1688k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1080.89/1080.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.89/1080.92 c 1010s| 1920k|206335 | 0 | 0.0 | 306M| 183 | - | 295 | 39k| 0 | 0 | 0 |1710k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1118.18/1118.28 c 1047s| 1930k|193894 | 0 | 0.0 | 293M| 183 | - | 295 | 40k| 0 | 0 | 0 |1732k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1127.99/1128.07 c 1057s| 1940k|199723 | 0 | 0.0 | 291M| 183 | - | 295 | 17k| 0 | 0 | 0 |1739k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1134.29/1134.32 c 1062s| 1950k|204473 | 0 | 0.0 | 295M| 183 | - | 295 | 16k| 0 | 0 | 0 |1747k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1141.48/1141.50 c 1069s| 1960k|207824 | 0 | 0.0 | 299M| 183 | - | 295 | 17k| 0 | 0 | 0 |1756k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1152.09/1152.13 c 1079s| 1970k|208230 | 0 | 0.0 | 302M| 183 | - | 295 | 17k| 0 | 0 | 0 |1767k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1162.09/1162.15 c 1089s| 1980k|202970 | 0 | 0.0 | 293M| 183 | - | 295 | 16k| 0 | 0 | 0 |1781k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1183.39/1183.44 c 1110s| 1990k|188088 | 0 | 0.0 | 275M| 183 | - | 295 | 21k| 0 | 0 | 0 |1806k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1211.59/1211.65 c 1137s| 2000k|172779 | 0 | 0.0 | 262M| 183 | - | 295 | 33k| 0 | 0 | 0 |1831k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1252.48/1252.58 c 1178s| 2010k|152571 | 0 | 0.0 | 236M| 183 | - | 295 | 34k| 0 | 0 | 0 |1856k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1293.59/1293.61 c 1218s| 2020k|135873 | 0 | 0.0 | 214M| 183 | - | 295 | 41k| 0 | 0 | 0 |1882k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1339.48/1339.59 c 1263s| 2030k|120107 | 0 | 0.0 | 191M| 183 | - | 295 | 48k| 0 | 0 | 0 |1908k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1372.79/1372.83 c 1296s| 2040k|114875 | 0 | 0.0 | 172M| 183 | - | 295 | 35k| 0 | 0 | 0 |1924k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1388.29/1388.38 c 1311s| 2050k|116992 | 0 | 0.0 | 172M| 183 | - | 295 | 27k| 0 | 0 | 0 |1937k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1403.19/1403.21 c 1326s| 2060k|118173 | 0 | 0.0 | 174M| 183 | - | 295 | 27k| 0 | 0 | 0 |1951k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1419.09/1419.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1419.09/1419.16 c 1342s| 2070k|118322 | 0 | 0.0 | 175M| 183 | - | 295 | 29k| 0 | 0 | 0 |1965k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1435.49/1435.53 c 1358s| 2080k|118036 | 0 | 0.0 | 176M| 183 | - | 295 | 32k| 0 | 0 | 0 |1979k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1453.09/1453.18 c 1375s| 2090k|117390 | 0 | 0.0 | 176M| 183 | - | 295 | 35k| 0 | 0 | 0 |1993k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1474.39/1474.47 c 1396s| 2100k|115089 | 0 | 0.0 | 173M| 183 | - | 295 | 39k| 0 | 0 | 0 |2008k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1484.79/1484.82 c 1406s| 2110k|120391 | 0 | 0.0 | 171M| 183 | - | 295 | 21k| 0 | 0 | 0 |2016k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1494.19/1494.27 c 1415s| 2120k|123557 | 0 | 0.0 | 173M| 183 | - | 295 | 22k| 0 | 0 | 0 |2026k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1508.79/1508.82 c 1429s| 2130k|122436 | 0 | 0.0 | 169M| 183 | - | 295 | 26k| 0 | 0 | 0 |2040k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1526.70/1526.73 c 1447s| 2140k|116238 | 0 | 0.0 | 152M| 183 | - | 295 | 27k| 0 | 0 | 0 |2057k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1544.59/1544.60 c 1465s| 2150k|114299 | 0 | 0.0 | 154M| 183 | - | 295 | 31k| 0 | 0 | 0 |2076k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1568.99/1569.02 c 1489s| 2160k|110318 | 0 | 0.0 | 154M| 183 | - | 295 | 38k| 0 | 0 | 0 |2095k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1597.70/1597.74 c 1517s| 2170k|105379 | 0 | 0.0 | 153M| 183 | - | 295 | 45k| 0 | 0 | 0 |2115k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1627.29/1627.39 c 1546s| 2180k|100609 | 0 | 0.0 | 151M| 183 | - | 295 | 54k| 0 | 0 | 0 |2134k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1658.19/1658.25 c 1577s| 2190k| 99360 | 0 | 0.0 | 146M| 183 | - | 295 | 39k| 0 | 0 | 0 |2151k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1677.59/1677.61 c 1596s| 2200k|100454 | 0 | 0.0 | 146M| 183 | - | 295 | 31k| 0 | 0 | 0 |2166k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1696.20/1696.29 c 1614s| 2210k|100389 | 0 | 0.0 | 148M| 183 | - | 295 | 33k| 0 | 0 | 0 |2182k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1717.09/1717.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.09/1717.19 c 1635s| 2220k| 99230 | 0 | 0.0 | 151M| 183 | - | 295 | 39k| 0 | 0 | 0 |2199k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1744.59/1744.65 c 1662s| 2230k| 95090 | 0 | 0.0 | 147M| 183 | - | 295 | 44k| 0 | 0 | 0 |2217k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1755.79/1755.86 c 1673s| 2240k| 99959 | 0 | 0.0 | 144M| 183 | - | 295 | 33k| 0 | 0 | 0 |2224k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1775.00/1775.06 c 1692s| 2250k| 93518 | 0 | 0.0 | 129M| 183 | - | 295 | 37k| 0 | 0 | 0 |2243k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1800.10/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.10 c
1800.10/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.10 c Solving Time (sec) : 1716.52
1800.10/1800.10 c Solving Nodes : 2258810
1800.10/1800.10 c Primal Bound : +9.00000000000000e+00 (18 solutions)
1800.10/1800.10 c Dual Bound : +4.00000000000000e+00
1800.10/1800.10 c Gap : 125.00 %
1800.10/1800.10 s SATISFIABLE
1800.10/1800.10 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.10/1800.10 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127
1800.10/1800.10 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106
1800.10/1800.10 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.10/1800.10 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.10/1800.10 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.10/1800.10 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.10/1800.10 v -x4 -x3 -x2 -x1
1800.10/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.10 c Solving Time : 1716.52
1800.10/1800.10 c Original Problem :
1800.10/1800.10 c Problem name : HOME/instance-2693958-1277898500.wbo
1800.10/1800.10 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.10/1800.10 c Constraints : 166 initial, 166 maximal
1800.10/1800.10 c Presolved Problem :
1800.10/1800.10 c Problem name : t_HOME/instance-2693958-1277898500.wbo
1800.10/1800.10 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1800.10/1800.10 c Constraints : 159 initial, 58214 maximal
1800.10/1800.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.10 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.10 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.10/1800.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.10 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.10 c probing : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.10 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.10/1800.10 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.10 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.10 c linear : 0.00 0 0 0 63 0 6 1 0
1800.10/1800.10 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.10 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.10 c root node : - 39 - - 78 - - - -
1800.10/1800.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.10 c integral : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.10 c indicator : 63 0 6390788 0 1542365 13905 2294828 0 0 0
1800.10/1800.10 c knapsack : 1 0 6864671 0 1633643 150079 23440076 0 0 0
1800.10/1800.10 c setppc : 23 0 6714411 0 1633599 233288 4203170 0 0 0
1800.10/1800.10 c linear : 63 0 6481290 0 1633633 421656 7537368 0 0 0
1800.10/1800.10 c logicor : 9+ 0 3138694 0 1633418 103936 1534351 0 0 0
1800.10/1800.10 c bounddisjunction : 0+ 0 199359 0 0 2 16331 0 0 0
1800.10/1800.10 c countsols : 0 0 0 0 1633651 0 0 0 0 0
1800.10/1800.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.10 c integral : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.10 c indicator : 3.72 0.00 1.78 0.00 1.94
1800.10/1800.10 c knapsack : 205.56 0.00 202.24 0.00 3.32
1800.10/1800.10 c setppc : 18.45 0.00 15.18 0.00 3.27
1800.10/1800.10 c linear : 68.54 0.00 68.41 0.00 0.13
1800.10/1800.10 c logicor : 682.94 0.00 681.97 0.00 0.97
1800.10/1800.10 c bounddisjunction : 0.83 0.00 0.83 0.00 0.00
1800.10/1800.10 c countsols : 0.01 0.00 0.00 0.00 0.01
1800.10/1800.10 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.10 c vbounds : 0.04 2 0 0
1800.10/1800.10 c rootredcost : 0.03 0 0 0
1800.10/1800.10 c pseudoobj : 13.58 6885218 6818 2162750
1800.10/1800.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.10 c propagation : 28.80 915778 915587 4640582 21.4 140469 13.8 -
1800.10/1800.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.10 c pseudo solution : 0.00 171 171 619 16.1 41 13.7 -
1800.10/1800.10 c applied globally : - - - 2227410 16.3 - - -
1800.10/1800.10 c applied locally : - - - 34456 36.5 - - -
1800.10/1800.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.10 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.10/1800.10 c redcost : 0.00 0 0 0 0 0
1800.10/1800.10 c impliedbounds : 0.00 0 0 0 0 0
1800.10/1800.10 c intobj : 0.00 0 0 0 0 0
1800.10/1800.10 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.10 c gomory : 0.00 0 0 0 0 0
1800.10/1800.10 c strongcg : 0.00 0 0 0 0 0
1800.10/1800.10 c cmir : 0.00 0 0 0 0 0
1800.10/1800.10 c flowcover : 0.00 0 0 0 0 0
1800.10/1800.10 c clique : 0.00 0 0 0 0 0
1800.10/1800.10 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.10 c mcf : 0.00 0 0 0 0 0
1800.10/1800.10 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.10 c Pricers : Time Calls Vars
1800.10/1800.10 c problem variables: 0.00 0 0
1800.10/1800.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.10 c relpscost : 0.00 0 0 0 0 0 0
1800.10/1800.10 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.10 c inference : 12.76 1633633 0 0 0 0 3267266
1800.10/1800.10 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.10 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.10 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.10 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.10 c random : 0.00 0 0 0 0 0 0
1800.10/1800.10 c Primal Heuristics : Time Calls Found
1800.10/1800.10 c LP solutions : 0.00 - 0
1800.10/1800.10 c pseudo solutions : 0.57 - 18
1800.10/1800.10 c oneopt : 0.10 0 0
1800.10/1800.10 c trivial : 0.00 2 0
1800.10/1800.10 c simplerounding : 0.00 0 0
1800.10/1800.10 c zirounding : 0.00 0 0
1800.10/1800.10 c rounding : 0.00 0 0
1800.10/1800.10 c shifting : 0.00 0 0
1800.10/1800.10 c intshifting : 0.00 0 0
1800.10/1800.10 c twoopt : 0.00 0 0
1800.10/1800.10 c fixandinfer : 0.00 0 0
1800.10/1800.10 c feaspump : 0.00 0 0
1800.10/1800.10 c coefdiving : 0.00 0 0
1800.10/1800.10 c pscostdiving : 0.00 0 0
1800.10/1800.10 c fracdiving : 0.00 0 0
1800.10/1800.10 c veclendiving : 0.00 0 0
1800.10/1800.10 c intdiving : 0.00 0 0
1800.10/1800.10 c actconsdiving : 0.00 0 0
1800.10/1800.10 c objpscostdiving : 0.00 0 0
1800.10/1800.10 c rootsoldiving : 0.00 0 0
1800.10/1800.10 c linesearchdiving : 0.00 0 0
1800.10/1800.10 c guideddiving : 0.00 0 0
1800.10/1800.10 c octane : 0.00 0 0
1800.10/1800.10 c rens : 0.00 0 0
1800.10/1800.10 c rins : 0.00 0 0
1800.10/1800.10 c localbranching : 0.00 0 0
1800.10/1800.10 c mutation : 0.00 0 0
1800.10/1800.10 c crossover : 0.00 0 0
1800.10/1800.10 c dins : 0.00 0 0
1800.10/1800.10 c undercover : 0.00 0 0
1800.10/1800.10 c nlp : 0.04 0 0
1800.10/1800.10 c trysol : 0.02 1 0
1800.10/1800.10 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.10 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.10 c dual LP : 0.00 0 0 0.00 -
1800.10/1800.10 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.10 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.10 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.10 c strong branching : 0.00 0 0 0.00 -
1800.10/1800.10 c (at root node) : - 0 0 0.00 -
1800.10/1800.10 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.10 c B&B Tree :
1800.10/1800.10 c number of runs : 1
1800.10/1800.10 c nodes : 2258810
1800.10/1800.10 c nodes (total) : 2258810
1800.10/1800.10 c nodes left : 89327
1800.10/1800.10 c max depth : 183
1800.10/1800.10 c max depth (total): 183
1800.10/1800.10 c backtracks : 751893 (33.3%)
1800.10/1800.10 c delayed cutoffs : 642165
1800.10/1800.10 c repropagations : 2546191 (11657197 domain reductions, 304696 cutoffs)
1800.10/1800.10 c avg switch length: 26.71
1800.10/1800.10 c switching time : 534.18
1800.10/1800.10 c Solution :
1800.10/1800.10 c Solutions found : 18 (18 improvements)
1800.10/1800.10 c First Solution : +6.59000000000000e+02 (in run 1, after 17970 nodes, 3.11 seconds, depth 75, found by <relaxation>)
1800.10/1800.10 c Primal Bound : +9.00000000000000e+00 (in run 1, after 1710422 nodes, 579.55 seconds, depth 46, found by <relaxation>)
1800.10/1800.10 c Dual Bound : +4.00000000000000e+00
1800.10/1800.10 c Gap : 125.00 %
1800.10/1800.10 c Root Dual Bound : +0.00000000000000e+00
1800.10/1800.10 c Root Iterations : 0
1800.40/1800.42 c Time complete: 1800.42.
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693958-1277898500/watcher-2693958-1277898500 -o /tmp/evaluation-result-2693958-1277898500/solver-2693958-1277898500 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693958-1277898500.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.57 2.16 2.04 4/198 14699 /proc/meminfo: memFree=30917932/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=8120 CPUtime=0 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 1534 0 0 0 0 0 0 0 23 0 1 0 131145861 8314880 1456 4089446400 4194304 7136930 140737250616384 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14699/statm: 2030 1456 275 719 0 1309 0 [startup+0.0486459 s] /proc/loadavg: 2.57 2.16 2.04 4/198 14699 /proc/meminfo: memFree=30917932/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=12476 CPUtime=0.04 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 4909 0 0 0 4 0 0 0 23 0 1 0 131145861 12775424 2422 4089446400 4194304 7136930 140737250616384 18446744073709551615 6215611 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14699/statm: 3119 2422 404 719 0 2398 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12476 [startup+0.100638 s] /proc/loadavg: 2.57 2.16 2.04 4/198 14699 /proc/meminfo: memFree=30917932/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=13008 CPUtime=0.09 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 5039 0 0 0 8 1 0 0 23 0 1 0 131145861 13320192 2552 4089446400 4194304 7136930 140737250616384 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14699/statm: 3252 2552 404 719 0 2531 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13008 [startup+0.300599 s] /proc/loadavg: 2.57 2.16 2.04 4/198 14699 /proc/meminfo: memFree=30917932/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=14180 CPUtime=0.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 5351 0 0 0 27 2 0 0 23 0 1 0 131145861 14520320 2864 4089446400 4194304 7136930 140737250616384 18446744073709551615 5953060 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14699/statm: 3545 2864 404 719 0 2824 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14180 [startup+0.700528 s] /proc/loadavg: 2.57 2.16 2.04 4/198 14699 /proc/meminfo: memFree=30917932/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=16696 CPUtime=0.69 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 5964 0 0 0 64 5 0 0 25 0 1 0 131145861 17096704 3477 4089446400 4194304 7136930 140737250616384 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14699/statm: 4174 3477 404 719 0 3453 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16696 [startup+1.50038 s] /proc/loadavg: 2.57 2.16 2.04 3/199 14700 /proc/meminfo: memFree=30904540/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=20504 CPUtime=1.49 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 6950 0 0 0 139 10 0 0 25 0 1 0 131145861 20996096 4463 4089446400 4194304 7136930 140737250616384 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14699/statm: 5126 4463 404 719 0 4405 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20504 [startup+3.10109 s] /proc/loadavg: 2.53 2.15 2.04 3/199 14700 /proc/meminfo: memFree=30899952/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=27000 CPUtime=3.09 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 8554 0 0 0 293 16 0 0 25 0 1 0 131145861 27648000 6067 4089446400 4194304 7136930 140737250616384 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14699/statm: 6750 6067 404 719 0 6029 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27000 [startup+6.30051 s] /proc/loadavg: 2.53 2.15 2.04 3/199 14700 /proc/meminfo: memFree=30891000/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=32204 CPUtime=6.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 9923 0 0 0 599 30 0 0 25 0 1 0 131145861 32976896 7436 4089446400 4194304 7136930 140737250616384 18446744073709551615 6215709 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14699/statm: 8051 7436 405 719 0 7330 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32204 [startup+12.7004 s] /proc/loadavg: 2.44 2.15 2.04 3/199 14700 /proc/meminfo: memFree=30880332/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=43112 CPUtime=12.69 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 12651 0 0 0 1221 48 0 0 25 0 1 0 131145861 44146688 10164 4089446400 4194304 7136930 140737250616384 18446744073709551615 5000298 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14699/statm: 10778 10164 405 719 0 10057 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43112 [startup+25.501 s] /proc/loadavg: 2.38 2.14 2.04 3/199 14703 /proc/meminfo: memFree=30840700/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=70624 CPUtime=25.49 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 19114 0 0 0 2391 158 0 0 25 0 1 0 131145861 72318976 16622 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14699/statm: 17656 16622 405 719 0 16935 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 70624 [startup+51.1004 s] /proc/loadavg: 2.11 2.10 2.03 5/200 14814 /proc/meminfo: memFree=30855632/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=104668 CPUtime=51.08 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 27762 0 0 0 4694 414 0 0 25 0 1 0 131145861 107180032 25270 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14699/statm: 26167 25270 405 719 0 25446 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 104668 [startup+102.306 s] /proc/loadavg: 2.14 2.11 2.03 3/197 14874 /proc/meminfo: memFree=30713788/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=187564 CPUtime=102.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 47615 0 0 0 9294 935 0 0 25 0 1 0 131145861 192065536 45123 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14699/statm: 46891 45123 407 719 0 46170 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 187564 [startup+162.3 s] /proc/loadavg: 2.11 2.10 2.03 3/197 14875 /proc/meminfo: memFree=30561568/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=313200 CPUtime=162.28 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 79479 0 0 0 14473 1755 0 0 25 0 1 0 131145861 320716800 76987 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14699/statm: 78300 76987 407 719 0 77579 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 313200 [startup+222.3 s] /proc/loadavg: 2.03 2.08 2.03 3/197 14877 /proc/meminfo: memFree=30519120/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=344408 CPUtime=222.28 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 87195 0 0 0 20153 2075 0 0 25 0 1 0 131145861 352673792 84703 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14699/statm: 86102 84703 407 719 0 85381 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 344408 [startup+282.3 s] /proc/loadavg: 2.01 2.06 2.02 3/197 14878 /proc/meminfo: memFree=30381308/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=483180 CPUtime=282.28 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 119469 0 0 0 25370 2858 0 0 25 0 1 0 131145861 494776320 116977 4089446400 4194304 7136930 140737250616384 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 120795 116977 407 719 0 120074 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 483180 [startup+342.301 s] /proc/loadavg: 2.00 2.05 2.02 3/197 14880 /proc/meminfo: memFree=30251044/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=607000 CPUtime=342.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 149652 0 0 0 30643 3586 0 0 25 0 1 0 131145861 621568000 147160 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 151750 147160 407 719 0 151029 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 607000 [startup+402.301 s] /proc/loadavg: 2.00 2.04 2.01 3/197 14882 /proc/meminfo: memFree=30216524/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=630276 CPUtime=402.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 155495 0 0 0 36048 4181 0 0 25 0 1 0 131145861 645402624 153003 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 157569 153003 407 719 0 156848 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 630276 [startup+462.301 s] /proc/loadavg: 2.00 2.03 2.00 3/197 14883 /proc/meminfo: memFree=30176048/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=656756 CPUtime=462.28 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 162143 0 0 0 41493 4735 0 0 25 0 1 0 131145861 672518144 159651 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 164189 159651 407 719 0 163468 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 656756 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 14885 /proc/meminfo: memFree=30143632/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=671772 CPUtime=522.28 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 165839 0 0 0 47073 5155 0 0 25 0 1 0 131145861 687894528 163347 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 167943 163347 407 719 0 167222 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 671772 [startup+582.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 14886 /proc/meminfo: memFree=30115320/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=680964 CPUtime=582.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 168171 0 0 0 52701 5528 0 0 25 0 1 0 131145861 697307136 165679 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 170241 165679 407 719 0 169520 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 680964 [startup+642.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 14888 /proc/meminfo: memFree=30096300/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=683012 CPUtime=642.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 168691 0 0 0 58449 5780 0 0 25 0 1 0 131145861 699404288 166199 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 170753 166199 407 719 0 170032 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 683012 [startup+702.3 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 2.02 2.01 2.00 3/197 14905 /proc/meminfo: memFree=30084140/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=687820 CPUtime=942.28 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 169829 0 0 0 87468 6760 0 0 25 0 1 0 131145861 704327680 167337 4089446400 4194304 7136930 140737250616384 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 171955 167337 407 719 0 171234 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 687820 [startup+1002.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14907 /proc/meminfo: memFree=30065508/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=690616 CPUtime=1002.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 170447 0 0 0 93331 6898 0 0 25 0 1 0 131145861 707190784 167955 4089446400 4194304 7136930 140737250616384 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 172654 167955 407 719 0 171933 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 690616 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14908 /proc/meminfo: memFree=30063608/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=691328 CPUtime=1062.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 170545 0 0 0 99212 7017 0 0 25 0 1 0 131145861 707919872 168053 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 172832 168053 407 719 0 172111 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 691328 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14910 /proc/meminfo: memFree=30057984/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=692204 CPUtime=1122.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 170692 0 0 0 105100 7129 0 0 25 0 1 0 131145861 708816896 168200 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14699/statm: 173051 168200 407 719 0 172330 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 692204 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14911 /proc/meminfo: memFree=30054708/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=692204 CPUtime=1182.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 170700 0 0 0 110856 7373 0 0 25 0 1 0 131145861 708816896 168208 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14699/statm: 173051 168208 407 719 0 172330 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 692204 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14913 /proc/meminfo: memFree=30049080/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=692672 CPUtime=1242.28 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 170841 0 0 0 116744 7484 0 0 25 0 1 0 131145861 709296128 168349 4089446400 4194304 7136930 140737250616384 18446744073709551615 4221346 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 173168 168349 407 719 0 172447 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 692672 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14915 /proc/meminfo: memFree=30035644/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=692984 CPUtime=1302.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 170904 0 0 0 122657 7572 0 0 25 0 1 0 131145861 709615616 168412 4089446400 4194304 7136930 140737250616384 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 173246 168412 407 719 0 172525 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 692984 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14916 /proc/meminfo: memFree=30035112/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=693248 CPUtime=1362.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 170997 0 0 0 128580 7649 0 0 25 0 1 0 131145861 709885952 168505 4089446400 4194304 7136930 140737250616384 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 173312 168505 407 719 0 172591 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 693248 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14918 /proc/meminfo: memFree=30025032/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=693248 CPUtime=1422.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 171029 0 0 0 134474 7755 0 0 25 0 1 0 131145861 709885952 168537 4089446400 4194304 7136930 140737250616384 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 173312 168537 407 719 0 172591 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 693248 [startup+1482.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 14919 /proc/meminfo: memFree=30019028/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=693248 CPUtime=1482.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 171034 0 0 0 140364 7865 0 0 25 0 1 0 131145861 709885952 168542 4089446400 4194304 7136930 140737250616384 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 173312 168542 407 719 0 172591 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 693248 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 14921 /proc/meminfo: memFree=30011680/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=694348 CPUtime=1542.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 171172 0 0 0 146230 7999 0 0 25 0 1 0 131145861 711012352 168680 4089446400 4194304 7136930 140737250616384 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 173587 168680 407 719 0 172866 0 Current children cumulated CPU time (s) 1542.29 Current children cumulated vsize (KiB) 694348 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14923 /proc/meminfo: memFree=30006312/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=695356 CPUtime=1602.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 171290 0 0 0 152157 8072 0 0 25 0 1 0 131145861 712044544 168798 4089446400 4194304 7136930 140737250616384 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 173839 168798 407 719 0 173118 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 695356 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14924 /proc/meminfo: memFree=29998720/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=696280 CPUtime=1662.3 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 171470 0 0 0 158091 8139 0 0 25 0 1 0 131145861 712990720 168978 4089446400 4194304 7136930 140737250616384 18446744073709551615 4221256 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 174070 168978 407 719 0 173349 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 696280 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14926 /proc/meminfo: memFree=29994084/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=696280 CPUtime=1722.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 171498 0 0 0 163990 8239 0 0 25 0 1 0 131145861 712990720 169006 4089446400 4194304 7136930 140737250616384 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 174070 169006 407 719 0 173349 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 696280 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 4/197 14927 /proc/meminfo: memFree=29986720/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=698488 CPUtime=1782.29 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 171828 0 0 0 169894 8335 0 0 25 0 1 0 131145861 715251712 169336 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 174622 169336 407 719 0 173901 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 698488 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14928 /proc/meminfo: memFree=29984352/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=698488 CPUtime=1800.1 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 171828 0 0 0 171652 8358 0 0 25 0 1 0 131145861 715251712 169336 4089446400 4194304 7136930 140737250616384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14699/statm: 174622 169336 407 719 0 173901 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 698488 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.21 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14928 /proc/meminfo: memFree=29984352/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=697464 CPUtime=1800.2 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 171833 0 0 0 171662 8358 0 0 25 0 1 0 131145861 714203136 169085 4089446400 4194304 7136930 140737250616384 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/14699/statm: 174366 169085 412 719 0 173645 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 697464 [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14928 /proc/meminfo: memFree=29984352/32951124 swapFree=67111528/67111528 [pid=14699] ppid=14697 vsize=620808 CPUtime=1800.4 /proc/14699/stat : 14699 (pbscip.linux.x8) R 14697 14699 12570 0 -1 4202496 171833 0 0 0 171681 8359 0 0 25 0 1 0 131145861 635707392 149921 4089446400 4194304 7136930 140737250616384 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/14699/statm: 155202 149921 412 719 0 154481 0 Current children cumulated CPU time (s) 1800.4 Current children cumulated vsize (KiB) 620808 Child status: 0 Real time (s): 1800.43 CPU time (s): 1800.43 CPU user time (s): 1716.82 CPU system time (s): 83.6143 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 698488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1716.82 system time used= 83.6143 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 171840 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= 3 involuntary context switches= 9778 runsolver used 2.46563 second user time and 5.74813 second system time The end
Begin job on node138 at 2010-06-30 13:48:20 IDJOB=2693958 IDBENCH=78838 IDSOLVER=1206 FILE ID=node138/2693958-1277898500 PBS_JOBID= 11197078 Free space on /tmp= 74140 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.1111222539--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-2693958-1277898500/watcher-2693958-1277898500 -o /tmp/evaluation-result-2693958-1277898500/solver-2693958-1277898500 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693958-1277898500.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 477adc333907175569d22a28ba04c3fe RANDOM SEED=1612682934 node138.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.860 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.72 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.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.08 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.860 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.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 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.80 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.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 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.860 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30918460 kB Buffers: 183276 kB Cached: 1470100 kB SwapCached: 0 kB Active: 877484 kB Inactive: 1008832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30918460 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3772 kB Writeback: 0 kB AnonPages: 233740 kB Mapped: 20356 kB Slab: 82172 kB PageTables: 5636 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1656600 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= 74136 MiB End job on node138 at 2010-06-30 14:18:22