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.48 | 1800.41 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-33-100-0.wbo |
| MD5SUM | 6dd8afea921ee9eef16bd5f535a42450 |
| 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 | 14 |
| Best CPU time to get the best result obtained on this benchmark | 0.576911 |
| 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 | 69 |
| 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 | 3204 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 3203 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1227 |
| 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-2693911-1277897006.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 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, 75 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 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, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 75 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 10 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 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.10 c 1.0s| 10000 | 7210 | 0 | 0.0 |6827k| 167 | - | 305 |4024 | 0 | 0 | 0 |6922 | 0 | 0.000000e+00 | -- | Inf
2.89/2.98 c 2.8s| 20000 | 12753 | 0 | 0.0 | 11M| 167 | - | 305 |6130 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
5.89/5.91 c 5.6s| 30000 | 16966 | 0 | 0.0 | 18M| 167 | - | 305 | 10k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
9.79/9.86 c 9.4s| 40000 | 19917 | 0 | 0.0 | 22M| 167 | - | 305 | 12k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
14.69/14.70 c 14.1s| 50000 | 20874 | 0 | 0.0 | 27M| 167 | - | 305 | 17k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
16.79/16.82 c 16.1s| 60000 | 27930 | 0 | 0.0 | 27M| 167 | - | 305 |4564 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
18.60/18.70 c 17.9s| 70000 | 33896 | 0 | 0.0 | 32M| 167 | - | 305 |9468 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
24.40/24.48 c 23.5s| 80000 | 35122 | 0 | 0.0 | 39M| 167 | - | 305 | 18k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
33.19/33.25 c 32.1s| 90000 | 35214 | 0 | 0.0 | 43M| 167 | - | 305 | 24k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
43.79/43.83 c 42.6s|100000 | 34466 | 0 | 0.0 | 46M| 167 | - | 305 | 27k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
56.89/56.93 c 55.5s|110000 | 31710 | 0 | 0.0 | 47M| 167 | - | 305 | 34k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
61.70/61.73 c 60.2s|120000 | 38013 | 0 | 0.0 | 43M| 167 | - | 305 |8897 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
65.19/65.22 c 63.6s|130000 | 43107 | 0 | 0.0 | 47M| 167 | - | 305 | 11k| 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
70.29/70.37 c 68.6s|140000 | 46119 | 0 | 0.0 | 51M| 167 | - | 305 | 13k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
71.00/71.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.00/71.06 c 69.2s|150000 | 56081 | 0 | 0.0 | 51M| 167 | - | 305 | 913 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
71.00/71.09 o 382
71.00/71.09 c *69.2s|150678 | 56727 | 0 | 0.0 | 51M| 167 | - | 305 | 889 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 3.820000e+02 | Inf
71.50/71.59 c 69.7s|160000 | 65994 | 0 | 0.0 | 54M| 167 | - | 305 | 771 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 3.820000e+02 | Inf
72.09/72.12 c 70.2s|170000 | 75953 | 0 | 0.0 | 57M| 167 | - | 305 | 741 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 3.820000e+02 | Inf
72.60/72.64 c 70.6s|180000 | 85912 | 0 | 0.0 | 60M| 167 | - | 305 | 756 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 3.820000e+02 | Inf
73.10/73.17 c 71.1s|190000 | 95867 | 0 | 0.0 | 63M| 167 | - | 305 | 798 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 3.820000e+02 | Inf
73.39/73.41 o 217
73.39/73.41 c *71.3s|194633 | 99548 | 0 | 0.0 | 64M| 167 | - | 305 | 806 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
73.79/73.84 c 71.7s|200000 |104373 | 0 | 0.0 | 67M| 167 | - | 305 |1307 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
74.49/74.51 o 207
74.49/74.51 c *72.3s|207591 |110883 | 0 | 0.0 | 70M| 167 | - | 305 |2029 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
74.70/74.79 c 72.5s|210000 |112810 | 0 | 0.0 | 71M| 167 | - | 305 |2393 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
75.99/76.03 o 205
75.99/76.03 c *73.7s|219171 |119970 | 0 | 0.0 | 75M| 167 | - | 305 |3805 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
76.09/76.14 c 73.8s|220000 |120643 | 0 | 0.0 | 76M| 167 | - | 305 |3969 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
83.60/83.61 c 81.1s|230000 |118616 | 0 | 0.0 | 80M| 167 | - | 305 | 20k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
100.70/100.79 c 98.1s|240000 |112547 | 0 | 0.0 | 77M| 167 | - | 305 | 32k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
113.30/113.38 c 111s|250000 |113189 | 0 | 0.0 | 69M| 167 | - | 305 | 14k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
119.60/119.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.60/119.65 c 117s|260000 |116150 | 0 | 0.0 | 72M| 167 | - | 305 | 16k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
127.79/127.89 c 125s|270000 |117827 | 0 | 0.0 | 76M| 167 | - | 305 | 20k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
137.50/137.53 c 134s|280000 |119245 | 0 | 0.0 | 80M| 167 | - | 305 | 24k| 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
149.40/149.48 c 146s|290000 |119557 | 0 | 0.0 | 81M| 167 | - | 305 | 27k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 2.050000e+02 | Inf
154.70/154.71 o 197
154.70/154.71 c * 151s|299864 |125512 | 0 | 0.0 | 76M| 167 | - | 305 |1600 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
154.70/154.72 c 151s|300000 |125630 | 0 | 0.0 | 76M| 167 | - | 305 |1582 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
155.50/155.55 c 152s|310000 |134815 | 0 | 0.0 | 80M| 167 | - | 305 |1246 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
155.90/155.98 o 190
155.90/155.98 c * 152s|314723 |138679 | 0 | 0.0 | 81M| 167 | - | 305 |1590 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
156.40/156.42 c 153s|320000 |143532 | 0 | 0.0 | 83M| 167 | - | 305 |1567 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
156.80/156.86 o 184
156.80/156.86 c * 153s|324978 |147813 | 0 | 0.0 | 85M| 167 | - | 305 |1771 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
156.80/156.86 o 175
156.80/156.86 c * 153s|324980 |146988 | 0 | 0.0 | 85M| 167 | - | 305 |1771 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
157.20/157.29 c 154s|330000 |151572 | 0 | 0.0 | 86M| 167 | - | 305 |1710 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
157.40/157.48 o 174
157.40/157.48 c * 154s|332159 |153511 | 0 | 0.0 | 87M| 167 | - | 305 |1750 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
157.60/157.65 o 173
157.60/157.65 c * 154s|334161 |155045 | 0 | 0.0 | 88M| 167 | - | 305 |1853 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
158.20/158.30 c 154s|340000 |159944 | 0 | 0.0 | 90M| 167 | - | 305 |2345 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
158.40/158.44 o 168
158.40/158.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.40/158.44 c * 155s|341570 |160917 | 0 | 0.0 | 91M| 167 | - | 305 |2427 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
158.79/158.87 o 163
158.79/158.87 c * 155s|345466 |162727 | 0 | 0.0 | 91M| 167 | - | 305 |2710 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
158.99/159.04 o 156
158.99/159.04 c * 155s|346885 |162332 | 0 | 0.0 | 91M| 167 | - | 305 |2810 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
159.29/159.38 c 155s|350000 |164985 | 0 | 0.0 | 92M| 167 | - | 305 |2993 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
160.00/160.06 o 144
160.00/160.06 c * 156s|355686 |167244 | 0 | 0.0 | 94M| 167 | - | 305 |3507 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
160.00/160.09 o 141
160.00/160.09 c * 156s|355948 |166552 | 0 | 0.0 | 93M| 167 | - | 305 |3505 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
160.50/160.57 c 157s|360000 |169983 | 0 | 0.0 | 95M| 167 | - | 305 |3600 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
160.80/160.81 o 135
160.80/160.81 c * 157s|361797 |170235 | 0 | 0.0 | 95M| 167 | - | 305 |3787 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
161.30/161.38 o 126
161.30/161.38 c * 157s|366312 |172556 | 0 | 0.0 | 96M| 167 | - | 305 |3937 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
161.30/161.38 o 125
161.30/161.38 c * 157s|366313 |171681 | 0 | 0.0 | 96M| 167 | - | 305 |3937 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
161.80/161.89 c 158s|370000 |174641 | 0 | 0.0 | 98M| 167 | - | 305 |4251 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
162.50/162.52 o 124
162.50/162.52 c * 158s|374558 |178251 | 0 | 0.0 | 100M| 167 | - | 305 |4533 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
162.59/162.69 o 100
162.59/162.69 c * 158s|375668 |169477 | 0 | 0.0 | 96M| 167 | - | 305 |4547 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
162.71/162.73 o 83
162.71/162.73 c * 159s|375827 |151965 | 0 | 0.0 | 88M| 167 | - | 305 |4552 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
162.71/162.79 o 79
162.71/162.79 c * 159s|376154 |149860 | 0 | 0.0 | 88M| 167 | - | 305 |4627 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
162.89/162.90 o 73
162.89/162.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.89/162.90 c * 159s|376716 |134643 | 0 | 0.0 | 82M| 167 | - | 305 |4700 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
163.39/163.41 c 159s|380000 |137038 | 0 | 0.0 | 84M| 167 | - | 305 |4255 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
165.01/165.08 c 161s|390000 |143882 | 0 | 0.0 | 88M| 167 | - | 305 |4558 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
166.90/166.95 c 163s|400000 |150945 | 0 | 0.0 | 93M| 167 | - | 305 |6453 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
169.30/169.37 c 165s|410000 |157506 | 0 | 0.0 | 97M| 167 | - | 305 |7702 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
172.10/172.10 c 167s|420000 |164096 | 0 | 0.0 | 103M| 167 | - | 305 |9209 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
175.20/175.25 c 171s|430000 |170196 | 0 | 0.0 | 107M| 167 | - | 305 | 10k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
178.50/178.57 c 174s|440000 |176117 | 0 | 0.0 | 112M| 167 | - | 305 | 11k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
182.19/182.28 c 177s|450000 |181585 | 0 | 0.0 | 117M| 167 | - | 305 | 11k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
186.20/186.29 c 181s|460000 |186674 | 0 | 0.0 | 122M| 167 | - | 305 | 12k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
190.70/190.72 c 185s|470000 |191189 | 0 | 0.0 | 127M| 167 | - | 305 | 13k| 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
195.40/195.47 c 190s|480000 |195433 | 0 | 0.0 | 132M| 167 | - | 305 | 14k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
200.50/200.55 c 195s|490000 |199215 | 0 | 0.0 | 137M| 167 | - | 305 | 15k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
206.20/206.28 c 201s|500000 |202330 | 0 | 0.0 | 142M| 167 | - | 305 | 16k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
212.10/212.13 c 206s|510000 |205168 | 0 | 0.0 | 146M| 167 | - | 305 | 17k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
218.80/218.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.80/218.84 c 213s|520000 |206993 | 0 | 0.0 | 151M| 167 | - | 305 | 18k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
225.80/225.89 c 220s|530000 |208546 | 0 | 0.0 | 152M| 167 | - | 305 | 10k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
231.80/231.86 c 226s|540000 |210331 | 0 | 0.0 | 156M| 167 | - | 305 | 16k| 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
243.01/243.01 c 237s|550000 |209262 | 0 | 0.0 | 161M| 167 | - | 305 | 25k| 0 | 0 | 0 | 527k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
258.10/258.13 c 252s|560000 |208010 | 0 | 0.0 | 165M| 167 | - | 305 | 34k| 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
278.10/278.15 c 271s|570000 |206282 | 0 | 0.0 | 167M| 167 | - | 305 | 41k| 0 | 0 | 0 | 568k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
297.11/297.14 c 290s|580000 |207006 | 0 | 0.0 | 162M| 167 | - | 305 | 20k| 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
301.10/301.12 c 294s|590000 |213621 | 0 | 0.0 | 163M| 167 | - | 305 |8242 | 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
304.10/304.19 c 297s|600000 |219820 | 0 | 0.0 | 167M| 167 | - | 305 |7039 | 0 | 0 | 0 | 599k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
307.30/307.34 c 300s|610000 |225653 | 0 | 0.0 | 172M| 167 | - | 305 |7717 | 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
310.70/310.73 c 303s|620000 |231114 | 0 | 0.0 | 176M| 167 | - | 305 |2309 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
312.81/312.86 c 305s|630000 |236848 | 0 | 0.0 | 180M| 167 | - | 305 |2932 | 0 | 0 | 0 | 622k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
315.10/315.19 c 308s|640000 |242354 | 0 | 0.0 | 185M| 167 | - | 305 |3850 | 0 | 0 | 0 | 629k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
317.60/317.63 c 310s|650000 |247859 | 0 | 0.0 | 189M| 167 | - | 305 |4399 | 0 | 0 | 0 | 636k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
320.01/320.08 c 312s|660000 |253477 | 0 | 0.0 | 193M| 167 | - | 305 |4909 | 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
322.60/322.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.60/322.62 c 315s|670000 |259012 | 0 | 0.0 | 198M| 167 | - | 305 |5380 | 0 | 0 | 0 | 650k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
325.10/325.15 c 317s|680000 |264711 | 0 | 0.0 | 202M| 167 | - | 305 |5977 | 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
327.71/327.71 c 320s|690000 |270485 | 0 | 0.0 | 206M| 167 | - | 305 |6210 | 0 | 0 | 0 | 663k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
330.61/330.67 c 322s|700000 |275632 | 0 | 0.0 | 210M| 167 | - | 305 |6743 | 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
333.31/333.35 c 325s|710000 |281404 | 0 | 0.0 | 215M| 167 | - | 305 |6952 | 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
336.41/336.46 c 328s|720000 |286433 | 0 | 0.0 | 219M| 167 | - | 305 |7657 | 0 | 0 | 0 | 684k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
339.60/339.63 c 331s|730000 |291539 | 0 | 0.0 | 223M| 167 | - | 305 |7684 | 0 | 0 | 0 | 691k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
342.81/342.84 c 334s|740000 |296582 | 0 | 0.0 | 228M| 167 | - | 305 |8705 | 0 | 0 | 0 | 699k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
346.31/346.34 c 337s|750000 |301234 | 0 | 0.0 | 232M| 167 | - | 305 |8910 | 0 | 0 | 0 | 707k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
349.90/349.94 c 341s|760000 |305954 | 0 | 0.0 | 236M| 167 | - | 305 |9055 | 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
353.71/353.78 c 345s|770000 |310262 | 0 | 0.0 | 241M| 167 | - | 305 |9879 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
357.80/357.86 c 349s|780000 |314451 | 0 | 0.0 | 244M| 167 | - | 305 |9864 | 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
361.81/361.89 c 352s|790000 |318713 | 0 | 0.0 | 249M| 167 | - | 305 | 10k| 0 | 0 | 0 | 738k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
366.31/366.36 c 357s|800000 |322520 | 0 | 0.0 | 253M| 167 | - | 305 | 10k| 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
371.01/371.05 c 361s|810000 |326164 | 0 | 0.0 | 257M| 167 | - | 305 | 10k| 0 | 0 | 0 | 755k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
375.41/375.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.41/375.41 c 366s|820000 |330195 | 0 | 0.0 | 261M| 167 | - | 305 | 11k| 0 | 0 | 0 | 764k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
380.01/380.08 c 370s|830000 |334022 | 0 | 0.0 | 265M| 167 | - | 305 | 11k| 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
385.01/385.05 c 375s|840000 |337482 | 0 | 0.0 | 269M| 167 | - | 305 | 12k| 0 | 0 | 0 | 781k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
390.01/390.01 c 380s|850000 |341103 | 0 | 0.0 | 274M| 167 | - | 305 | 13k| 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
395.31/395.30 c 385s|860000 |344292 | 0 | 0.0 | 278M| 167 | - | 305 | 13k| 0 | 0 | 0 | 799k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
400.90/400.94 c 390s|870000 |347146 | 0 | 0.0 | 282M| 167 | - | 305 | 13k| 0 | 0 | 0 | 808k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
406.41/406.44 c 396s|880000 |350170 | 0 | 0.0 | 286M| 167 | - | 305 | 14k| 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
412.21/412.21 c 401s|890000 |353085 | 0 | 0.0 | 290M| 167 | - | 305 | 15k| 0 | 0 | 0 | 826k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
418.61/418.63 c 408s|900000 |355429 | 0 | 0.0 | 293M| 167 | - | 305 | 15k| 0 | 0 | 0 | 836k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
425.31/425.39 c 414s|910000 |357643 | 0 | 0.0 | 297M| 167 | - | 305 | 16k| 0 | 0 | 0 | 846k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
432.11/432.16 c 421s|920000 |359952 | 0 | 0.0 | 300M| 167 | - | 305 | 17k| 0 | 0 | 0 | 856k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
439.11/439.17 c 428s|930000 |362026 | 0 | 0.0 | 304M| 167 | - | 305 | 18k| 0 | 0 | 0 | 865k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
446.91/446.94 c 435s|940000 |363557 | 0 | 0.0 | 307M| 167 | - | 305 | 18k| 0 | 0 | 0 | 876k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
455.32/455.37 c 444s|950000 |364679 | 0 | 0.0 | 311M| 167 | - | 305 | 19k| 0 | 0 | 0 | 886k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
464.22/464.27 c 452s|960000 |365461 | 0 | 0.0 | 314M| 167 | - | 305 | 20k| 0 | 0 | 0 | 897k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
473.41/473.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.41/473.46 c 461s|970000 |366091 | 0 | 0.0 | 317M| 167 | - | 305 | 20k| 0 | 0 | 0 | 908k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
482.92/482.99 c 471s|980000 |366306 | 0 | 0.0 | 321M| 167 | - | 305 | 21k| 0 | 0 | 0 | 919k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
493.82/493.89 c 482s|990000 |365178 | 0 | 0.0 | 322M| 167 | - | 305 | 19k| 0 | 0 | 0 | 930k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
498.22/498.22 c 486s| 1000k|370757 | 0 | 0.0 | 323M| 167 | - | 305 | 12k| 0 | 0 | 0 | 936k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
500.71/500.72 c 488s| 1010k|376510 | 0 | 0.0 | 323M| 167 | - | 305 |3953 | 0 | 0 | 0 | 941k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
502.91/502.96 c 490s| 1020k|381943 | 0 | 0.0 | 326M| 167 | - | 305 |4251 | 0 | 0 | 0 | 948k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
506.41/506.44 c 494s| 1030k|384640 | 0 | 0.0 | 326M| 167 | - | 305 |4139 | 0 | 0 | 0 | 960k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
509.51/509.52 c 497s| 1040k|389388 | 0 | 0.0 | 331M| 167 | - | 305 |5908 | 0 | 0 | 0 | 969k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
512.71/512.77 c 500s| 1050k|394418 | 0 | 0.0 | 336M| 167 | - | 305 |7721 | 0 | 0 | 0 | 979k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
516.31/516.34 c 503s| 1060k|399351 | 0 | 0.0 | 341M| 167 | - | 305 |9274 | 0 | 0 | 0 | 988k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
520.61/520.69 c 507s| 1070k|403619 | 0 | 0.0 | 346M| 167 | - | 305 | 10k| 0 | 0 | 0 | 998k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
525.11/525.16 c 512s| 1080k|408063 | 0 | 0.0 | 352M| 167 | - | 305 | 12k| 0 | 0 | 0 |1008k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
530.21/530.23 c 517s| 1090k|412169 | 0 | 0.0 | 357M| 167 | - | 305 | 13k| 0 | 0 | 0 |1018k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
535.72/535.77 c 522s| 1100k|416123 | 0 | 0.0 | 361M| 167 | - | 305 | 14k| 0 | 0 | 0 |1028k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
539.21/539.21 o 68
539.21/539.21 c * 525s| 1105k|413272 | 0 | 0.0 | 360M| 167 | - | 305 | 15k| 0 | 0 | 0 |1034k| 0 | 2.000000e+00 | 6.800000e+01 |3300.00%
542.01/542.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.01/542.04 c 528s| 1110k|414806 | 0 | 0.0 | 362M| 167 | - | 305 | 15k| 0 | 0 | 0 |1039k| 0 | 2.000000e+00 | 6.800000e+01 |3300.00%
545.52/545.56 o 66
545.52/545.56 c * 532s| 1115k|414895 | 0 | 0.0 | 362M| 167 | - | 305 | 15k| 0 | 0 | 0 |1044k| 0 | 2.000000e+00 | 6.600000e+01 |3200.00%
548.92/548.92 c 535s| 1120k|416546 | 0 | 0.0 | 365M| 167 | - | 305 | 16k| 0 | 0 | 0 |1050k| 0 | 2.000000e+00 | 6.600000e+01 |3200.00%
555.92/555.99 c 542s| 1130k|419798 | 0 | 0.0 | 369M| 167 | - | 305 | 17k| 0 | 0 | 0 |1061k| 0 | 2.000000e+00 | 6.600000e+01 |3200.00%
562.71/562.72 c 549s| 1140k|423506 | 0 | 0.0 | 374M| 167 | - | 305 | 17k| 0 | 0 | 0 |1071k| 0 | 2.000000e+00 | 6.600000e+01 |3200.00%
569.31/569.35 c 555s| 1150k|427374 | 0 | 0.0 | 379M| 167 | - | 305 | 18k| 0 | 0 | 0 |1081k| 0 | 2.000000e+00 | 6.600000e+01 |3200.00%
577.61/577.62 c 563s| 1160k|430019 | 0 | 0.0 | 383M| 167 | - | 305 | 19k| 0 | 0 | 0 |1092k| 0 | 2.000000e+00 | 6.600000e+01 |3200.00%
584.52/584.60 c 570s| 1170k|433921 | 0 | 0.0 | 388M| 167 | - | 305 | 20k| 0 | 0 | 0 |1102k| 0 | 2.000000e+00 | 6.600000e+01 |3200.00%
593.61/593.65 c 579s| 1180k|436382 | 0 | 0.0 | 393M| 167 | - | 305 | 20k| 0 | 0 | 0 |1114k| 0 | 2.000000e+00 | 6.600000e+01 |3200.00%
599.52/599.52 o 36
599.52/599.52 c * 585s| 1187k|340838 | 0 | 0.0 | 289M| 167 | - | 305 | 21k| 0 | 0 | 0 |1121k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
604.82/604.88 c 590s| 1190k|339905 | 0 | 0.0 | 293M| 167 | - | 305 | 18k| 0 | 0 | 0 |1127k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
620.01/620.01 c 605s| 1200k|335969 | 0 | 0.0 | 300M| 167 | - | 305 | 16k| 0 | 0 | 0 |1149k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
635.02/635.09 c 620s| 1210k|331290 | 0 | 0.0 | 302M| 167 | - | 305 | 19k| 0 | 0 | 0 |1173k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
655.01/655.08 c 640s| 1220k|325603 | 0 | 0.0 | 305M| 167 | - | 305 | 23k| 0 | 0 | 0 |1198k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
679.61/679.63 c 664s| 1230k|318409 | 0 | 0.0 | 306M| 167 | - | 305 | 26k| 0 | 0 | 0 |1223k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
706.32/706.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
706.32/706.35 c 691s| 1240k|311044 | 0 | 0.0 | 307M| 167 | - | 305 | 28k| 0 | 0 | 0 |1249k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
735.83/735.84 c 720s| 1250k|302180 | 0 | 0.0 | 306M| 167 | - | 305 | 30k| 0 | 0 | 0 |1275k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
766.73/766.70 c 750s| 1260k|293260 | 0 | 0.0 | 305M| 167 | - | 305 | 31k| 0 | 0 | 0 |1301k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
798.93/798.99 c 783s| 1270k|283629 | 0 | 0.0 | 303M| 167 | - | 305 | 31k| 0 | 0 | 0 |1327k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
825.92/825.96 o 21
825.92/825.96 c * 809s| 1278k|239469 | 0 | 0.0 | 264M| 167 | - | 305 | 34k| 0 | 0 | 0 |1349k| 0 | 2.000000e+00 | 2.100000e+01 | 950.00%
832.63/832.61 c 816s| 1280k|237515 | 0 | 0.0 | 264M| 167 | - | 305 | 34k| 0 | 0 | 0 |1354k| 0 | 2.000000e+00 | 2.100000e+01 | 950.00%
873.73/873.77 c 857s| 1290k|222916 | 0 | 0.0 | 259M| 167 | - | 305 | 36k| 0 | 0 | 0 |1380k| 0 | 2.000000e+00 | 2.100000e+01 | 950.00%
918.22/918.28 c 901s| 1300k|205294 | 0 | 0.0 | 245M| 167 | - | 305 | 34k| 0 | 0 | 0 |1409k| 0 | 2.000000e+00 | 2.100000e+01 | 950.00%
940.43/940.41 c 923s| 1310k|201617 | 0 | 0.0 | 238M| 167 | - | 305 | 25k| 0 | 0 | 0 |1429k| 0 | 2.000000e+00 | 2.100000e+01 | 950.00%
953.13/953.17 c 936s| 1320k|199679 | 0 | 0.0 | 230M| 167 | - | 305 | 13k| 0 | 0 | 0 |1445k| 0 | 2.000000e+00 | 2.100000e+01 | 950.00%
960.03/960.07 c 942s| 1330k|200999 | 0 | 0.0 | 228M| 167 | - | 305 | 11k| 0 | 0 | 0 |1458k| 0 | 2.000000e+00 | 2.100000e+01 | 950.00%
965.63/965.64 c 948s| 1340k|204377 | 0 | 0.0 | 232M| 167 | - | 305 | 14k| 0 | 0 | 0 |1471k| 0 | 2.000000e+00 | 2.100000e+01 | 950.00%
973.13/973.16 c 955s| 1350k|206508 | 0 | 0.0 | 234M| 167 | - | 305 | 11k| 0 | 0 | 0 |1485k| 0 | 2.000000e+00 | 2.100000e+01 | 950.00%
980.03/980.09 c 962s| 1360k|205697 | 0 | 0.0 | 236M| 167 | - | 305 |9440 | 0 | 0 | 0 |1500k| 0 | 2.000000e+00 | 2.100000e+01 | 950.00%
1003.33/1003.33 o 17
1003.33/1003.33 c * 985s| 1369k|168458 | 0 | 0.0 | 215M| 167 | - | 305 | 20k| 0 | 0 | 0 |1529k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1004.03/1004.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.03/1004.05 c 986s| 1370k|168139 | 0 | 0.0 | 215M| 167 | - | 305 | 21k| 0 | 0 | 0 |1530k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1020.84/1020.81 c 1002s| 1380k|142822 | 0 | 0.0 | 197M| 167 | - | 305 |9274 | 0 | 0 | 0 |1552k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1041.13/1041.13 c 1022s| 1390k|118572 | 0 | 0.0 | 168M| 167 | - | 305 | 13k| 0 | 0 | 0 |1571k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1054.23/1054.27 c 1034s| 1400k|111455 | 0 | 0.0 | 150M| 167 | - | 305 | 11k| 0 | 0 | 0 |1585k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1059.93/1059.99 c 1040s| 1410k|111202 | 0 | 0.0 | 144M| 167 | - | 305 |5350 | 0 | 0 | 0 |1595k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1064.43/1064.43 c 1044s| 1420k|112618 | 0 | 0.0 | 145M| 167 | - | 305 |7492 | 0 | 0 | 0 |1605k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1069.63/1069.67 c 1049s| 1430k|113610 | 0 | 0.0 | 146M| 167 | - | 305 |9700 | 0 | 0 | 0 |1614k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1075.53/1075.51 c 1054s| 1440k|114631 | 0 | 0.0 | 148M| 167 | - | 305 | 11k| 0 | 0 | 0 |1624k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1083.23/1083.21 c 1061s| 1450k|113720 | 0 | 0.0 | 147M| 167 | - | 305 | 13k| 0 | 0 | 0 |1635k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1089.93/1090.00 c 1068s| 1460k|115242 | 0 | 0.0 | 146M| 167 | - | 305 |5763 | 0 | 0 | 0 |1643k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1093.24/1093.20 c 1071s| 1470k|119249 | 0 | 0.0 | 150M| 167 | - | 305 |6108 | 0 | 0 | 0 |1649k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1098.14/1098.14 c 1075s| 1480k|119420 | 0 | 0.0 | 150M| 167 | - | 305 |3270 | 0 | 0 | 0 |1658k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1100.83/1100.80 c 1078s| 1490k|123149 | 0 | 0.0 | 153M| 167 | - | 305 |3340 | 0 | 0 | 0 |1665k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1107.93/1107.98 c 1084s| 1500k|119081 | 0 | 0.0 | 148M| 167 | - | 305 | 11k| 0 | 0 | 0 |1679k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1119.34/1119.31 c 1095s| 1510k|116643 | 0 | 0.0 | 149M| 167 | - | 305 | 16k| 0 | 0 | 0 |1693k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1135.33/1135.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1135.33/1135.37 c 1111s| 1520k|113333 | 0 | 0.0 | 149M| 167 | - | 305 | 23k| 0 | 0 | 0 |1708k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1158.04/1158.03 c 1133s| 1530k|107912 | 0 | 0.0 | 146M| 167 | - | 305 | 28k| 0 | 0 | 0 |1724k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1173.64/1173.68 c 1149s| 1540k|109181 | 0 | 0.0 | 144M| 167 | - | 305 | 17k| 0 | 0 | 0 |1734k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1184.84/1184.85 c 1159s| 1550k|109495 | 0 | 0.0 | 146M| 167 | - | 305 | 16k| 0 | 0 | 0 |1744k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1197.14/1197.12 c 1171s| 1560k|107361 | 0 | 0.0 | 146M| 167 | - | 305 | 21k| 0 | 0 | 0 |1755k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1202.84/1202.87 c 1177s| 1570k|113646 | 0 | 0.0 | 147M| 167 | - | 305 | 12k| 0 | 0 | 0 |1760k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1207.64/1207.63 c 1181s| 1580k|118531 | 0 | 0.0 | 151M| 167 | - | 305 | 12k| 0 | 0 | 0 |1766k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1215.55/1215.55 c 1189s| 1590k|119140 | 0 | 0.0 | 154M| 167 | - | 305 | 13k| 0 | 0 | 0 |1776k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1221.24/1221.23 c 1194s| 1600k|120550 | 0 | 0.0 | 151M| 167 | - | 305 |2115 | 0 | 0 | 0 |1786k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1226.45/1226.41 c 1199s| 1610k|118847 | 0 | 0.0 | 153M| 167 | - | 305 |5514 | 0 | 0 | 0 |1796k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1234.94/1234.96 c 1207s| 1620k|113315 | 0 | 0.0 | 151M| 167 | - | 305 |8279 | 0 | 0 | 0 |1808k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1251.64/1251.70 c 1223s| 1630k| 93209 | 0 | 0.0 | 140M| 167 | - | 305 | 12k| 0 | 0 | 0 |1825k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1266.84/1266.87 c 1238s| 1640k| 86405 | 0 | 0.0 | 130M| 167 | - | 305 | 17k| 0 | 0 | 0 |1842k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1284.54/1284.54 c 1255s| 1650k| 82252 | 0 | 0.0 | 128M| 167 | - | 305 | 22k| 0 | 0 | 0 |1857k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1297.74/1297.75 c 1268s| 1660k| 83667 | 0 | 0.0 | 128M| 167 | - | 305 | 22k| 0 | 0 | 0 |1866k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1306.44/1306.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.44/1306.41 c 1276s| 1670k| 87737 | 0 | 0.0 | 130M| 167 | - | 305 | 17k| 0 | 0 | 0 |1874k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1315.34/1315.32 c 1285s| 1680k| 90239 | 0 | 0.0 | 133M| 167 | - | 305 | 18k| 0 | 0 | 0 |1883k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1327.14/1327.10 c 1296s| 1690k| 90705 | 0 | 0.0 | 136M| 167 | - | 305 | 20k| 0 | 0 | 0 |1894k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1342.34/1342.38 c 1311s| 1700k| 89509 | 0 | 0.0 | 138M| 167 | - | 305 | 24k| 0 | 0 | 0 |1907k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1365.04/1365.06 c 1333s| 1710k| 84478 | 0 | 0.0 | 133M| 167 | - | 305 | 16k| 0 | 0 | 0 |1923k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1368.94/1368.94 c 1337s| 1720k| 90326 | 0 | 0.0 | 132M| 167 | - | 305 |3559 | 0 | 0 | 0 |1928k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1371.75/1371.78 c 1340s| 1730k| 94881 | 0 | 0.0 | 136M| 167 | - | 305 |4818 | 0 | 0 | 0 |1935k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1376.24/1376.25 c 1344s| 1740k| 96773 | 0 | 0.0 | 138M| 167 | - | 305 |7208 | 0 | 0 | 0 |1943k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1383.74/1383.76 c 1351s| 1750k| 95486 | 0 | 0.0 | 138M| 167 | - | 305 | 10k| 0 | 0 | 0 |1954k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1393.05/1393.00 c 1360s| 1760k| 91470 | 0 | 0.0 | 127M| 167 | - | 305 | 13k| 0 | 0 | 0 |1967k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1404.25/1404.22 c 1371s| 1770k| 90783 | 0 | 0.0 | 130M| 167 | - | 305 | 16k| 0 | 0 | 0 |1982k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1420.64/1420.69 c 1387s| 1780k| 87535 | 0 | 0.0 | 132M| 167 | - | 305 | 20k| 0 | 0 | 0 |1998k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1445.05/1445.02 c 1410s| 1790k| 81126 | 0 | 0.0 | 130M| 167 | - | 305 | 25k| 0 | 0 | 0 |2016k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1475.05/1475.07 c 1440s| 1800k| 73996 | 0 | 0.0 | 118M| 167 | - | 305 | 22k| 0 | 0 | 0 |2033k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1480.05/1480.08 c 1445s| 1810k| 80458 | 0 | 0.0 | 119M| 167 | - | 305 | 10k| 0 | 0 | 0 |2037k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1483.64/1483.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.64/1483.60 c 1448s| 1820k| 86220 | 0 | 0.0 | 122M| 167 | - | 305 |8932 | 0 | 0 | 0 |2041k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1487.45/1487.45 c 1452s| 1830k| 90862 | 0 | 0.0 | 126M| 167 | - | 305 |7887 | 0 | 0 | 0 |2047k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1492.25/1492.22 c 1456s| 1840k| 93582 | 0 | 0.0 | 129M| 167 | - | 305 |8657 | 0 | 0 | 0 |2055k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1498.05/1498.09 c 1462s| 1850k| 95126 | 0 | 0.0 | 132M| 167 | - | 305 |9674 | 0 | 0 | 0 |2065k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1504.75/1504.78 c 1468s| 1860k| 95832 | 0 | 0.0 | 134M| 167 | - | 305 | 11k| 0 | 0 | 0 |2075k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1513.15/1513.18 c 1476s| 1870k| 94784 | 0 | 0.0 | 135M| 167 | - | 305 | 12k| 0 | 0 | 0 |2086k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1523.35/1523.36 c 1486s| 1880k| 92346 | 0 | 0.0 | 132M| 167 | - | 305 | 12k| 0 | 0 | 0 |2097k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1528.15/1528.13 c 1490s| 1890k| 93668 | 0 | 0.0 | 130M| 167 | - | 305 |5580 | 0 | 0 | 0 |2106k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1537.15/1537.16 c 1499s| 1900k| 87756 | 0 | 0.0 | 120M| 167 | - | 305 | 13k| 0 | 0 | 0 |2122k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1542.06/1542.06 c 1504s| 1910k| 92743 | 0 | 0.0 | 122M| 167 | - | 305 | 10k| 0 | 0 | 0 |2127k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1547.15/1547.13 c 1508s| 1920k| 96634 | 0 | 0.0 | 125M| 167 | - | 305 | 11k| 0 | 0 | 0 |2134k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1553.05/1553.07 c 1514s| 1930k| 99839 | 0 | 0.0 | 129M| 167 | - | 305 | 13k| 0 | 0 | 0 |2143k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1560.25/1560.20 c 1521s| 1940k|102526 | 0 | 0.0 | 133M| 167 | - | 305 | 14k| 0 | 0 | 0 |2152k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1568.75/1568.76 c 1529s| 1950k|104377 | 0 | 0.0 | 136M| 167 | - | 305 | 16k| 0 | 0 | 0 |2161k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1578.26/1578.26 c 1538s| 1960k|105252 | 0 | 0.0 | 139M| 167 | - | 305 | 16k| 0 | 0 | 0 |2171k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1589.46/1589.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.46/1589.44 c 1549s| 1970k|104953 | 0 | 0.0 | 141M| 167 | - | 305 | 17k| 0 | 0 | 0 |2181k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1601.26/1601.24 c 1560s| 1980k|104349 | 0 | 0.0 | 143M| 167 | - | 305 | 19k| 0 | 0 | 0 |2192k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1614.25/1614.20 c 1573s| 1990k|103412 | 0 | 0.0 | 145M| 167 | - | 305 | 21k| 0 | 0 | 0 |2204k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1629.86/1629.88 c 1588s| 2000k|101126 | 0 | 0.0 | 145M| 167 | - | 305 | 22k| 0 | 0 | 0 |2216k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1647.55/1647.51 c 1605s| 2010k| 97493 | 0 | 0.0 | 141M| 167 | - | 305 | 17k| 0 | 0 | 0 |2228k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1651.46/1651.40 c 1609s| 2020k|103657 | 0 | 0.0 | 142M| 167 | - | 305 |6831 | 0 | 0 | 0 |2232k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1654.55/1654.55 c 1612s| 2030k|108296 | 0 | 0.0 | 144M| 167 | - | 305 |6725 | 0 | 0 | 0 |2237k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1658.96/1658.94 c 1616s| 2040k|110506 | 0 | 0.0 | 146M| 167 | - | 305 |6833 | 0 | 0 | 0 |2245k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1665.76/1665.78 c 1622s| 2050k|108923 | 0 | 0.0 | 145M| 167 | - | 305 |7035 | 0 | 0 | 0 |2256k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1671.75/1671.75 c 1628s| 2060k|109422 | 0 | 0.0 | 146M| 167 | - | 305 | 10k| 0 | 0 | 0 |2266k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1680.95/1680.99 c 1637s| 2070k|109246 | 0 | 0.0 | 149M| 167 | - | 305 | 15k| 0 | 0 | 0 |2278k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1693.97/1693.93 c 1649s| 2080k|108345 | 0 | 0.0 | 152M| 167 | - | 305 | 18k| 0 | 0 | 0 |2290k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1709.46/1709.46 c 1665s| 2090k|107114 | 0 | 0.0 | 153M| 167 | - | 305 | 21k| 0 | 0 | 0 |2303k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1729.86/1729.85 c 1685s| 2100k|104472 | 0 | 0.0 | 154M| 167 | - | 305 | 25k| 0 | 0 | 0 |2316k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1755.26/1755.25 c 1710s| 2110k|100145 | 0 | 0.0 | 152M| 167 | - | 305 | 27k| 0 | 0 | 0 |2331k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1781.46/1781.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1781.46/1781.43 c 1735s| 2120k| 95776 | 0 | 0.0 | 148M| 167 | - | 305 | 31k| 0 | 0 | 0 |2345k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1800.07/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00 c
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time (sec) : 1753.62
1800.07/1800.00 c Solving Nodes : 2126030
1800.07/1800.00 c Primal Bound : +1.70000000000000e+01 (28 solutions)
1800.07/1800.00 c Dual Bound : +8.00000000000000e+00
1800.07/1800.00 c Gap : 112.50 %
1800.07/1800.00 s SATISFIABLE
1800.07/1800.00 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148
1800.07/1800.00 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 x129 -x128 -x127
1800.07/1800.00 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.07/1800.00 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82
1800.07/1800.00 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.07/1800.00 v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1800.07/1800.00 v -x30 x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
1800.07/1800.00 v -x4 -x3 x2 -x1
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time : 1753.62
1800.07/1800.00 c Original Problem :
1800.07/1800.00 c Problem name : HOME/instance-2693911-1277897006.wbo
1800.07/1800.00 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1800.07/1800.00 c Constraints : 171 initial, 171 maximal
1800.07/1800.00 c Presolved Problem :
1800.07/1800.00 c Problem name : t_HOME/instance-2693911-1277897006.wbo
1800.07/1800.00 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1800.07/1800.00 c Constraints : 166 initial, 44903 maximal
1800.07/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.07/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.07/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c linear : 0.00 0 0 0 68 0 4 1 0
1800.07/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c root node : - 56 - - 112 - - - -
1800.07/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.00 c indicator : 68 0 6057959 0 1396117 7313 2135718 0 0 0
1800.07/1800.00 c setppc : 20 0 6502204 0 1486484 52639 4743114 0 0 0
1800.07/1800.00 c linear : 68 0 6449659 0 1486522 676879 32143328 0 0 0
1800.07/1800.00 c logicor : 10+ 0 3016252 0 1486519 181729 1618926 0 0 0
1800.07/1800.00 c bounddisjunction : 0+ 0 354004 0 0 13 696 0 0 0
1800.07/1800.00 c countsols : 0 0 0 0 1486546 0 0 0 0 0
1800.07/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.00 c indicator : 4.47 0.00 2.81 0.00 1.66
1800.07/1800.00 c setppc : 13.74 0.00 10.10 0.00 3.64
1800.07/1800.00 c linear : 148.29 0.00 147.82 0.00 0.47
1800.07/1800.00 c logicor : 765.39 0.00 763.90 0.00 1.49
1800.07/1800.00 c bounddisjunction : 3.03 0.00 3.03 0.00 0.00
1800.07/1800.00 c countsols : 0.17 0.00 0.00 0.00 0.17
1800.07/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.00 c vbounds : 0.80 2 0 0
1800.07/1800.00 c rootredcost : 0.80 0 0 0
1800.07/1800.00 c pseudoobj : 15.20 6518346 8889 1967265
1800.07/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.00 c propagation : 44.05 920149 919943 4643886 21.0 209699 14.0 -
1800.07/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c pseudo solution : 0.00 117 117 285 8.6 50 13.9 -
1800.07/1800.00 c applied globally : - - - 2321280 16.4 - - -
1800.07/1800.00 c applied locally : - - - 33104 36.4 - - -
1800.07/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.00 c redcost : 0.00 0 0 0 0 0
1800.07/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.00 c intobj : 0.00 0 0 0 0 0
1800.07/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.00 c gomory : 0.00 0 0 0 0 0
1800.07/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.00 c cmir : 0.00 0 0 0 0 0
1800.07/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.00 c clique : 0.00 0 0 0 0 0
1800.07/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.00 c mcf : 0.00 0 0 0 0 0
1800.07/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.00 c Pricers : Time Calls Vars
1800.07/1800.00 c problem variables: 0.00 0 0
1800.07/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.00 c inference : 11.58 1486518 0 0 0 0 2973036
1800.07/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.00 c random : 0.00 0 0 0 0 0 0
1800.07/1800.00 c Primal Heuristics : Time Calls Found
1800.07/1800.00 c LP solutions : 0.00 - 0
1800.07/1800.00 c pseudo solutions : 0.46 - 28
1800.07/1800.00 c oneopt : 0.43 0 0
1800.07/1800.00 c trivial : 0.00 2 0
1800.07/1800.00 c simplerounding : 0.00 0 0
1800.07/1800.00 c zirounding : 0.00 0 0
1800.07/1800.00 c rounding : 0.00 0 0
1800.07/1800.00 c shifting : 0.00 0 0
1800.07/1800.00 c intshifting : 0.00 0 0
1800.07/1800.00 c twoopt : 0.00 0 0
1800.07/1800.00 c fixandinfer : 0.00 0 0
1800.07/1800.00 c feaspump : 0.00 0 0
1800.07/1800.00 c coefdiving : 0.00 0 0
1800.07/1800.00 c pscostdiving : 0.00 0 0
1800.07/1800.00 c fracdiving : 0.00 0 0
1800.07/1800.00 c veclendiving : 0.00 0 0
1800.07/1800.00 c intdiving : 0.00 0 0
1800.07/1800.00 c actconsdiving : 0.00 0 0
1800.07/1800.00 c objpscostdiving : 0.00 0 0
1800.07/1800.00 c rootsoldiving : 0.00 0 0
1800.07/1800.00 c linesearchdiving : 0.00 0 0
1800.07/1800.00 c guideddiving : 0.00 0 0
1800.07/1800.00 c octane : 0.00 0 0
1800.07/1800.00 c rens : 0.00 0 0
1800.07/1800.00 c rins : 0.00 0 0
1800.07/1800.00 c localbranching : 0.00 0 0
1800.07/1800.00 c mutation : 0.00 0 0
1800.07/1800.00 c crossover : 0.00 0 0
1800.07/1800.00 c dins : 0.00 0 0
1800.07/1800.00 c undercover : 0.00 0 0
1800.07/1800.00 c nlp : 0.30 0 0
1800.07/1800.00 c trysol : 0.34 1 0
1800.07/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.00 c (at root node) : - 0 0 0.00 -
1800.07/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.00 c B&B Tree :
1800.07/1800.00 c number of runs : 1
1800.07/1800.00 c nodes : 2126030
1800.07/1800.00 c nodes (total) : 2126030
1800.07/1800.00 c nodes left : 92044
1800.07/1800.00 c max depth : 167
1800.07/1800.00 c max depth (total): 167
1800.07/1800.00 c backtracks : 738996 (34.8%)
1800.07/1800.00 c delayed cutoffs : 529352
1800.07/1800.00 c repropagations : 2622925 (11555649 domain reductions, 288095 cutoffs)
1800.07/1800.00 c avg switch length: 23.73
1800.07/1800.00 c switching time : 590.08
1800.07/1800.00 c Solution :
1800.07/1800.00 c Solutions found : 28 (28 improvements)
1800.07/1800.00 c First Solution : +3.82000000000000e+02 (in run 1, after 150678 nodes, 69.25 seconds, depth 114, found by <relaxation>)
1800.07/1800.00 c Primal Bound : +1.70000000000000e+01 (in run 1, after 1369790 nodes, 984.82 seconds, depth 53, found by <relaxation>)
1800.07/1800.00 c Dual Bound : +8.00000000000000e+00
1800.07/1800.00 c Gap : 112.50 %
1800.07/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Root Iterations : 0
1800.47/1800.41 c Time complete: 1800.47.
OK 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693911-1277897006/watcher-2693911-1277897006 -o /tmp/evaluation-result-2693911-1277897006/solver-2693911-1277897006 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693911-1277897006.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.17 2.03 2.01 4/178 10774 /proc/meminfo: memFree=31086976/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=8252 CPUtime=0 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 1546 0 0 0 0 0 0 0 25 0 1 0 130846257 8450048 1469 4089446400 4194304 7136930 140736923131616 18446744073709551615 6340421 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/10774/statm: 2063 1469 275 719 0 1342 0 [startup+0.0427229 s] /proc/loadavg: 2.17 2.03 2.01 4/178 10774 /proc/meminfo: memFree=31086976/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=12108 CPUtime=0.04 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 4557 0 0 0 3 1 0 0 25 0 1 0 130846257 12398592 2328 4089446400 4194304 7136930 140736923131616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 3027 2328 395 719 0 2306 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12108 [startup+0.100713 s] /proc/loadavg: 2.17 2.03 2.01 4/178 10774 /proc/meminfo: memFree=31086976/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=13056 CPUtime=0.09 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 4770 0 0 0 8 1 0 0 25 0 1 0 130846257 13369344 2541 4089446400 4194304 7136930 140736923131616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 3264 2541 395 719 0 2543 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13056 [startup+0.300674 s] /proc/loadavg: 2.17 2.03 2.01 4/178 10774 /proc/meminfo: memFree=31086976/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=14908 CPUtime=0.29 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 5260 0 0 0 26 3 0 0 25 0 1 0 130846257 15265792 3031 4089446400 4194304 7136930 140736923131616 18446744073709551615 4639904 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 3727 3031 395 719 0 3006 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14908 [startup+0.700596 s] /proc/loadavg: 2.17 2.03 2.01 4/178 10774 /proc/meminfo: memFree=31086976/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=18000 CPUtime=0.69 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 6023 0 0 0 64 5 0 0 25 0 1 0 130846257 18432000 3794 4089446400 4194304 7136930 140736923131616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 4500 3794 395 719 0 3779 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18000 [startup+1.50045 s] /proc/loadavg: 2.17 2.03 2.01 3/179 10775 /proc/meminfo: memFree=31070848/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=22112 CPUtime=1.49 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 7056 0 0 0 138 11 0 0 25 0 1 0 130846257 22642688 4827 4089446400 4194304 7136930 140736923131616 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 5528 4827 395 719 0 4807 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22112 [startup+3.10014 s] /proc/loadavg: 2.16 2.03 2.01 3/179 10775 /proc/meminfo: memFree=31067088/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=28068 CPUtime=3.09 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 8561 0 0 0 290 19 0 0 25 0 1 0 130846257 28741632 6332 4089446400 4194304 7136930 140736923131616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 7017 6332 395 719 0 6296 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28068 [startup+6.30053 s] /proc/loadavg: 2.16 2.03 2.01 3/179 10775 /proc/meminfo: memFree=31054248/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=36688 CPUtime=6.29 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 10714 0 0 0 595 34 0 0 25 0 1 0 130846257 37568512 8485 4089446400 4194304 7136930 140736923131616 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 9172 8485 395 719 0 8451 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36688 [startup+12.7003 s] /proc/loadavg: 2.13 2.03 2.01 3/179 10775 /proc/meminfo: memFree=31042348/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=44868 CPUtime=12.69 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 12786 0 0 0 1215 54 0 0 25 0 1 0 130846257 45944832 10557 4089446400 4194304 7136930 140736923131616 18446744073709551615 4999667 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 11217 10557 395 719 0 10496 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44868 [startup+25.5009 s] /proc/loadavg: 2.11 2.03 2.01 3/179 10776 /proc/meminfo: memFree=31017844/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=62276 CPUtime=25.5 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 17084 0 0 0 2451 99 0 0 25 0 1 0 130846257 63770624 14855 4089446400 4194304 7136930 140736923131616 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 15569 14855 395 719 0 14848 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 62276 [startup+51.1009 s] /proc/loadavg: 2.07 2.02 2.00 3/179 10777 /proc/meminfo: memFree=30991224/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=75072 CPUtime=51.09 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 20176 0 0 0 4974 135 0 0 25 0 1 0 130846257 76873728 17947 4089446400 4194304 7136930 140736923131616 18446744073709551615 5004423 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 18768 17947 395 719 0 18047 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 75072 [startup+102.306 s] /proc/loadavg: 2.03 2.02 2.00 3/179 10778 /proc/meminfo: memFree=30942448/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=118388 CPUtime=102.3 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 30750 0 0 0 9960 270 0 0 25 0 1 0 130846257 121229312 28521 4089446400 4194304 7136930 140736923131616 18446744073709551615 5957329 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 29597 28521 396 719 0 28876 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 118388 [startup+162.301 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10779 /proc/meminfo: memFree=30906436/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=143720 CPUtime=162.3 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 37185 0 0 0 15812 418 0 0 25 0 1 0 130846257 147169280 34956 4089446400 4194304 7136930 140736923131616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 35930 34956 398 719 0 35209 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 143720 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 10781 /proc/meminfo: memFree=30845736/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=207624 CPUtime=222.3 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 52011 0 0 0 21627 603 0 0 25 0 1 0 130846257 212606976 49782 4089446400 4194304 7136930 140736923131616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 51906 49782 398 719 0 51185 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 207624 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10783 /proc/meminfo: memFree=30827832/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=225584 CPUtime=282.3 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 56424 0 0 0 27551 679 0 0 25 0 1 0 130846257 230998016 54195 4089446400 4194304 7136930 140736923131616 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 56396 54195 398 719 0 55675 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 225584 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10784 /proc/meminfo: memFree=30751256/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=301788 CPUtime=342.3 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 75552 0 0 0 33353 877 0 0 25 0 1 0 130846257 309030912 73323 4089446400 4194304 7136930 140736923131616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 75447 73323 398 719 0 74726 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 301788 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10786 /proc/meminfo: memFree=30687968/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=364792 CPUtime=402.3 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 91441 0 0 0 39172 1058 0 0 25 0 1 0 130846257 373547008 89212 4089446400 4194304 7136930 140736923131616 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 91198 89212 398 719 0 90477 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 364792 [startup+462.3 s] /proc/loadavg: 2.08 2.02 2.01 3/179 10787 /proc/meminfo: memFree=30656796/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=395540 CPUtime=462.31 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 99097 0 0 0 45049 1182 0 0 25 0 1 0 130846257 405032960 96868 4089446400 4194304 7136930 140736923131616 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 98885 96868 398 719 0 98164 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 395540 [startup+522.301 s] /proc/loadavg: 2.03 2.01 2.00 3/179 10789 /proc/meminfo: memFree=30619300/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=434880 CPUtime=522.31 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 109034 0 0 0 50900 1331 0 0 25 0 1 0 130846257 445317120 106805 4089446400 4194304 7136930 140736923131616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 108720 106805 398 719 0 107999 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 434880 [startup+582.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 10791 /proc/meminfo: memFree=30574844/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=475472 CPUtime=582.32 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 119337 0 0 0 56774 1458 0 0 25 0 1 0 130846257 486883328 117108 4089446400 4194304 7136930 140736923131616 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 118868 117108 398 719 0 118147 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 475472 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10792 /proc/meminfo: memFree=30563896/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=485992 CPUtime=642.32 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 121851 0 0 0 62700 1532 0 0 25 0 1 0 130846257 497655808 119622 4089446400 4194304 7136930 140736923131616 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 121498 119622 398 719 0 120777 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 485992 [startup+702.3 s] ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10800 /proc/meminfo: memFree=30557484/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=492988 CPUtime=942.33 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123432 0 0 0 92480 1753 0 0 25 0 1 0 130846257 504819712 121203 4089446400 4194304 7136930 140736923131616 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 123247 121203 398 719 0 122526 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 492988 [startup+1002.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 10802 /proc/meminfo: memFree=30557312/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=492988 CPUtime=1002.33 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123435 0 0 0 98385 1848 0 0 25 0 1 0 130846257 504819712 121206 4089446400 4194304 7136930 140736923131616 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/10774/statm: 123247 121206 398 719 0 122526 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 492988 [startup+1062.3 s] /proc/loadavg: 1.96 1.99 1.99 3/197 10897 /proc/meminfo: memFree=31164576/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493180 CPUtime=1062.34 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123451 0 0 0 104173 2061 0 0 25 0 1 0 130846257 505016320 121222 4089446400 4194304 7136930 140736923131616 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123295 121222 398 719 0 122574 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 493180 [startup+1122.3 s] /proc/loadavg: 1.99 1.99 1.99 4/197 10899 /proc/meminfo: memFree=31144312/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493320 CPUtime=1122.33 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123488 0 0 0 109832 2401 0 0 25 0 1 0 130846257 505159680 121259 4089446400 4194304 7136930 140736923131616 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123330 121259 398 719 0 122609 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 493320 [startup+1182.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 10901 /proc/meminfo: memFree=31141524/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493320 CPUtime=1182.33 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123519 0 0 0 115696 2537 0 0 25 0 1 0 130846257 505159680 121290 4089446400 4194304 7136930 140736923131616 18446744073709551615 5004416 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123330 121290 398 719 0 122609 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 493320 [startup+1242.3 s] /proc/loadavg: 1.99 1.99 1.99 4/197 10902 /proc/meminfo: memFree=31129324/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493320 CPUtime=1242.34 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123519 0 0 0 121388 2846 0 0 25 0 1 0 130846257 505159680 121290 4089446400 4194304 7136930 140736923131616 18446744073709551615 5000293 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123330 121290 398 719 0 122609 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 493320 [startup+1302.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 10904 /proc/meminfo: memFree=31122592/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493320 CPUtime=1302.35 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123519 0 0 0 127217 3018 0 0 25 0 1 0 130846257 505159680 121290 4089446400 4194304 7136930 140736923131616 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123330 121290 398 719 0 122609 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 493320 [startup+1362.3 s] /proc/loadavg: 1.99 1.99 1.99 4/197 10905 /proc/meminfo: memFree=31120068/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493320 CPUtime=1362.34 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123519 0 0 0 133063 3171 0 0 25 0 1 0 130846257 505159680 121290 4089446400 4194304 7136930 140736923131616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123330 121290 398 719 0 122609 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 493320 [startup+1422.31 s] /proc/loadavg: 1.99 1.99 1.99 3/197 10907 /proc/meminfo: memFree=31119888/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493320 CPUtime=1422.35 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123519 0 0 0 138820 3415 0 0 25 0 1 0 130846257 505159680 121290 4089446400 4194304 7136930 140736923131616 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123330 121290 398 719 0 122609 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 493320 [startup+1482.3 s] /proc/loadavg: 2.10 2.02 2.00 4/197 10909 /proc/meminfo: memFree=31115500/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493320 CPUtime=1482.35 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123537 0 0 0 144691 3544 0 0 25 0 1 0 130846257 505159680 121308 4089446400 4194304 7136930 140736923131616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123330 121308 398 719 0 122609 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 493320 [startup+1542.3 s] /proc/loadavg: 2.03 2.02 2.00 3/197 10910 /proc/meminfo: memFree=31115452/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493320 CPUtime=1542.35 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123537 0 0 0 150376 3859 0 0 25 0 1 0 130846257 505159680 121308 4089446400 4194304 7136930 140736923131616 18446744073709551615 4660923 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123330 121308 398 719 0 122609 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 493320 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 4/197 10912 /proc/meminfo: memFree=31105968/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493320 CPUtime=1602.36 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123537 0 0 0 156128 4108 0 0 25 0 1 0 130846257 505159680 121308 4089446400 4194304 7136930 140736923131616 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123330 121308 398 719 0 122609 0 Current children cumulated CPU time (s) 1602.36 Current children cumulated vsize (KiB) 493320 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10913 /proc/meminfo: memFree=31105548/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493320 CPUtime=1662.35 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123537 0 0 0 161907 4328 0 0 25 0 1 0 130846257 505159680 121308 4089446400 4194304 7136930 140736923131616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123330 121308 398 719 0 122609 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 493320 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10915 /proc/meminfo: memFree=31104756/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493576 CPUtime=1722.36 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123627 0 0 0 167712 4524 0 0 25 0 1 0 130846257 505421824 121398 4089446400 4194304 7136930 140736923131616 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123394 121398 398 719 0 122673 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 493576 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10917 /proc/meminfo: memFree=31097276/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493576 CPUtime=1782.36 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123643 0 0 0 173615 4621 0 0 25 0 1 0 130846257 505421824 121414 4089446400 4194304 7136930 140736923131616 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123394 121414 398 719 0 122673 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 493576 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10917 /proc/meminfo: memFree=31097024/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493576 CPUtime=1800.07 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123643 0 0 0 175362 4645 0 0 25 0 1 0 130846257 505421824 121414 4089446400 4194304 7136930 140736923131616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10774/statm: 123394 121414 398 719 0 122673 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 493576 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10917 /proc/meminfo: memFree=31097024/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=493576 CPUtime=1800.26 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123648 0 0 0 175381 4645 0 0 25 0 1 0 130846257 505421824 121419 4089446400 4194304 7136930 140736923131616 18446744073709551615 6166241 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10774/statm: 123394 121419 403 719 0 122673 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 493576 [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10917 /proc/meminfo: memFree=31097024/32950928 swapFree=67111528/67111528 [pid=10774] ppid=10772 vsize=245632 CPUtime=1800.47 /proc/10774/stat : 10774 (pbscip.linux.x8) R 10772 10774 8905 0 -1 4202496 123648 0 0 0 175401 4646 0 0 25 0 1 0 130846257 251527168 59603 4089446400 4194304 7136930 140736923131616 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10774/statm: 61045 59496 403 719 0 60324 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (KiB) 245632 Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.48 CPU user time (s): 1754.01 CPU system time (s): 46.4689 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 493576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1754.01 system time used= 46.4689 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 123655 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 2563 runsolver used 3.15552 second user time and 6.25805 second system time The end
Begin job on node127 at 2010-06-30 13:23:26 IDJOB=2693911 IDBENCH=78801 IDSOLVER=1206 FILE ID=node127/2693911-1277897006 PBS_JOBID= 11197100 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969170--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-2693911-1277897006/watcher-2693911-1277897006 -o /tmp/evaluation-result-2693911-1277897006/solver-2693911-1277897006 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693911-1277897006.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6dd8afea921ee9eef16bd5f535a42450 RANDOM SEED=910609099 node127.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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.72 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.828 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31087372 kB Buffers: 181764 kB Cached: 713628 kB SwapCached: 0 kB Active: 1239816 kB Inactive: 482316 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31087372 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3280 kB Writeback: 0 kB AnonPages: 825960 kB Mapped: 16212 kB Slab: 76632 kB PageTables: 6392 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 981600 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= 74204 MiB End job on node127 at 2010-06-30 13:53:28