Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | MSAT (TO) | 1802.12 | 1802.08 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh06_wcsp.wbo |
| MD5SUM | 6d863641d8b2b772fe5ea25b86285712 |
| 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 | 99 |
| Best CPU time to get the best result obtained on this benchmark | 1.02084 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 950 |
| Number of soft constraints | 850 |
| Number of constraints which are clauses | 850 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 420926 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 420925 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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: SoPlex 1.4.2] [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-2700200-1278534377.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.04/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.04/0.06 c presolving (3 rounds):
0.04/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.06 c 1050 implications, 0 cliques
0.04/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.04/0.06 c 850 constraints of type <indicator>
0.04/0.06 c 850 constraints of type <linear>
0.04/0.06 c transformed objective value is always integral (scale: 1)
0.04/0.06 c Presolving Time: 0.04
0.04/0.06 c - non default parameters ----------------------------------------------------------------------
0.04/0.06 c # SCIP version 1.2.1.2
0.04/0.06 c
0.04/0.06 c # frequency for displaying node information lines
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.06 c display/freq = 10000
0.04/0.06 c
0.04/0.06 c # maximal time in seconds to run
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/time = 1799.99
0.04/0.06 c
0.04/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/memory = 3420
0.04/0.06 c
0.04/0.06 c # should presolving try to simplify inequalities
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/linear/simplifyinequalities = TRUE
0.04/0.06 c
0.04/0.06 c # should presolving try to simplify knapsacks
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.06 c
0.04/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c separating/rapidlearning/freq = 0
0.04/0.06 c
0.04/0.06 c -----------------------------------------------------------------------------------------------
0.04/0.06 c start solving
0.04/0.06 c
0.04/0.06 o 420925
0.04/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.06 c t 0.0s| 1 | 0 | 0 | - |6130k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.04/0.06 c 0.0s| 1 | 0 | 0 | - |6528k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.04/0.06 c 0.0s| 1 | 0 | 39 | - |6570k| 0 | 0 |1800 |1700 |1800 | 73 | 73 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.04/0.07 c 0.1s| 1 | 0 | 105 | - |6611k| 0 | 34 |1800 |1700 |1800 | 104 | 104 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.04/0.07 c 0.1s| 1 | 0 | 151 | - |6721k| 0 | 73 |1800 |1700 |1800 | 157 | 157 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.04/0.09 c 0.1s| 1 | 0 | 185 | - |6796k| 0 | 80 |1800 |1700 |1800 | 174 | 174 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 197 | - |6823k| 0 | 84 |1800 |1700 |1800 | 178 | 178 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 198 | - |6848k| 0 | 84 |1800 |1700 |1800 | 179 | 179 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.29/0.30 c 0.3s| 1 | 2 | 343 | - |6875k| 0 | 84 |1800 |1700 |1800 | 179 | 179 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
10.80/10.80 c 10.5s| 10000 | 10001 | 43885 | 4.4 | 19M| 97 | 12 |1800 |1700 |1800 | 231 | 11k| 0 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
18.99/19.09 c 18.6s| 20000 | 20001 | 77815 | 3.9 | 29M| 105 | 14 |1800 |1700 |1800 | 220 | 21k| 0 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
27.69/27.70 c 27.0s| 30000 | 30001 |128540 | 4.3 | 40M| 113 | 0 |1800 |1700 |1800 | 273 | 34k| 0 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
36.09/36.17 c 35.3s| 40000 | 40001 |166135 | 4.1 | 50M| 113 | 12 |1800 |1700 |1800 | 268 | 45k| 0 | 846 | 0.000000e+00 | 4.209250e+05 | Inf
44.69/44.72 c 43.6s| 50000 | 50001 |201239 | 4.0 | 60M| 113 | 0 |1800 |1700 |1800 | 239 | 55k| 0 | 927 | 0.000000e+00 | 4.209250e+05 | Inf
53.09/53.17 c 51.9s| 60000 | 60001 |233906 | 3.9 | 70M| 113 | 5 |1800 |1700 |1800 | 179 | 66k| 0 |1014 | 0.000000e+00 | 4.209250e+05 | Inf
61.60/61.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.60/61.69 c 60.2s| 70000 | 70001 |269988 | 3.9 | 80M| 117 | 0 |1800 |1700 |1800 | 272 | 76k| 0 |1115 | 0.000000e+00 | 4.209250e+05 | Inf
70.30/70.33 c 68.7s| 80000 | 80001 |306026 | 3.8 | 90M| 117 | 0 |1800 |1700 |1800 | 264 | 87k| 0 |1214 | 0.000000e+00 | 4.209250e+05 | Inf
78.89/78.96 c 77.1s| 90000 | 90001 |339124 | 3.8 | 100M| 117 | 0 |1800 |1700 |1800 | 292 | 98k| 0 |1307 | 0.000000e+00 | 4.209250e+05 | Inf
87.29/87.38 c 85.3s|100000 |100001 |372835 | 3.7 | 110M| 117 | 0 |1800 |1700 |1800 | 269 | 108k| 0 |1389 | 0.000000e+00 | 4.209250e+05 | Inf
95.50/95.53 c 93.3s|110000 |110001 |399047 | 3.6 | 120M| 117 | 12 |1800 |1700 |1800 | 297 | 116k| 0 |1457 | 0.000000e+00 | 4.209250e+05 | Inf
103.70/103.79 c 101s|120000 |120001 |426715 | 3.6 | 130M| 117 | 0 |1800 |1700 |1800 | 246 | 124k| 0 |1536 | 0.000000e+00 | 4.209250e+05 | Inf
112.10/112.11 c 109s|130000 |130001 |456411 | 3.5 | 140M| 121 | 0 |1800 |1700 |1800 | 266 | 134k| 0 |1610 | 0.000000e+00 | 4.209250e+05 | Inf
120.19/120.22 c 117s|140000 |140001 |482585 | 3.4 | 151M| 121 | 0 |1800 |1700 |1800 | 285 | 142k| 0 |1660 | 0.000000e+00 | 4.209250e+05 | Inf
128.30/128.31 c 125s|150000 |150001 |507762 | 3.4 | 161M| 121 | 2 |1800 |1700 |1800 | 247 | 150k| 0 |1686 | 0.000000e+00 | 4.209250e+05 | Inf
136.49/136.58 c 133s|160000 |160001 |534853 | 3.3 | 171M| 121 | 2 |1800 |1700 |1800 | 227 | 159k| 0 |1745 | 0.000000e+00 | 4.209250e+05 | Inf
144.79/144.82 c 141s|170000 |170001 |561212 | 3.3 | 181M| 121 | 0 |1800 |1700 |1800 | 243 | 167k| 0 |1797 | 0.000000e+00 | 4.209250e+05 | Inf
152.70/152.72 c 149s|180000 |180001 |582005 | 3.2 | 191M| 121 | 4 |1800 |1700 |1800 | 240 | 173k| 0 |1845 | 0.000000e+00 | 4.209250e+05 | Inf
160.69/160.75 c 157s|190000 |190001 |605236 | 3.2 | 201M| 121 | 0 |1800 |1700 |1800 | 280 | 181k| 0 |1874 | 0.000000e+00 | 4.209250e+05 | Inf
168.90/168.95 c 165s|200000 |200001 |630748 | 3.2 | 211M| 121 | 0 |1800 |1700 |1800 | 262 | 189k| 0 |1918 | 0.000000e+00 | 4.209250e+05 | Inf
176.90/176.95 c 173s|210000 |210001 |654215 | 3.1 | 221M| 121 | 0 |1800 |1700 |1800 | 273 | 197k| 0 |1967 | 0.000000e+00 | 4.209250e+05 | Inf
185.10/185.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.10/185.10 c 181s|220000 |220001 |680791 | 3.1 | 231M| 125 | 0 |1800 |1700 |1800 | 235 | 205k| 0 |2014 | 0.000000e+00 | 4.209250e+05 | Inf
193.19/193.20 c 189s|230000 |230001 |706441 | 3.1 | 241M| 125 | 2 |1800 |1700 |1800 | 288 | 214k| 0 |2063 | 0.000000e+00 | 4.209250e+05 | Inf
201.30/201.38 c 197s|240000 |240001 |735047 | 3.1 | 251M| 125 | 0 |1800 |1700 |1800 | 270 | 222k| 0 |2106 | 0.000000e+00 | 4.209250e+05 | Inf
209.39/209.41 c 204s|250000 |250001 |758398 | 3.0 | 261M| 125 | 7 |1800 |1700 |1800 | 251 | 230k| 0 |2133 | 0.000000e+00 | 4.209250e+05 | Inf
217.39/217.48 c 212s|260000 |260001 |782091 | 3.0 | 271M| 127 | 0 |1800 |1700 |1800 | 270 | 238k| 0 |2174 | 0.000000e+00 | 4.209250e+05 | Inf
225.60/225.67 c 220s|270000 |270001 |810454 | 3.0 | 281M| 127 | 0 |1800 |1700 |1800 | 277 | 246k| 0 |2222 | 0.000000e+00 | 4.209250e+05 | Inf
233.69/233.71 c 228s|280000 |280001 |834313 | 3.0 | 291M| 127 | 0 |1800 |1700 |1800 | 240 | 253k| 0 |2246 | 0.000000e+00 | 4.209250e+05 | Inf
241.59/241.69 c 236s|290000 |290001 |858705 | 3.0 | 301M| 127 | 0 |1800 |1700 |1800 | 284 | 261k| 0 |2291 | 0.000000e+00 | 4.209250e+05 | Inf
249.49/249.52 c 244s|300000 |300001 |880539 | 2.9 | 311M| 127 | 0 |1800 |1700 |1800 | 266 | 268k| 0 |2319 | 0.000000e+00 | 4.209250e+05 | Inf
257.40/257.47 c 251s|310000 |310001 |905210 | 2.9 | 321M| 127 | 0 |1800 |1700 |1800 | 257 | 275k| 0 |2359 | 0.000000e+00 | 4.209250e+05 | Inf
265.50/265.53 c 259s|320000 |320001 |930778 | 2.9 | 331M| 127 | 0 |1800 |1700 |1800 | 275 | 283k| 0 |2400 | 0.000000e+00 | 4.209250e+05 | Inf
273.30/273.40 c 267s|330000 |330001 |952239 | 2.9 | 341M| 127 | 6 |1800 |1700 |1800 | 263 | 290k| 0 |2423 | 0.000000e+00 | 4.209250e+05 | Inf
281.40/281.49 c 275s|340000 |340001 |976792 | 2.9 | 351M| 127 | 0 |1800 |1700 |1800 | 284 | 297k| 0 |2466 | 0.000000e+00 | 4.209250e+05 | Inf
289.40/289.49 c 283s|350000 |350001 | 1001k| 2.9 | 361M| 127 | 18 |1800 |1700 |1800 | 253 | 305k| 0 |2496 | 0.000000e+00 | 4.209250e+05 | Inf
297.59/297.63 c 291s|360000 |360001 | 1027k| 2.9 | 371M| 129 | 3 |1800 |1700 |1800 | 256 | 314k| 0 |2539 | 0.000000e+00 | 4.209250e+05 | Inf
305.70/305.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.70/305.73 c 298s|370000 |370001 | 1052k| 2.8 | 381M| 129 | 20 |1800 |1700 |1800 | 275 | 322k| 0 |2564 | 0.000000e+00 | 4.209250e+05 | Inf
313.60/313.69 c 306s|380000 |380001 | 1077k| 2.8 | 391M| 129 | 0 |1800 |1700 |1800 | 231 | 329k| 0 |2610 | 0.000000e+00 | 4.209250e+05 | Inf
321.11/321.15 c 313s|390000 |390001 | 1093k| 2.8 | 401M| 217 | 0 |1800 |1700 |1800 | 279 | 334k| 0 |2637 | 0.000000e+00 | 4.209250e+05 | Inf
328.50/328.56 c 321s|400000 |400001 | 1112k| 2.8 | 411M| 217 | 0 |1800 |1700 |1800 | 245 | 340k| 0 |2651 | 0.000000e+00 | 4.209250e+05 | Inf
335.80/335.84 c 328s|410000 |410001 | 1126k| 2.7 | 421M| 217 | 0 |1800 |1700 |1800 | 280 | 345k| 0 |2672 | 0.000000e+00 | 4.209250e+05 | Inf
343.21/343.23 c 335s|420000 |420001 | 1143k| 2.7 | 431M| 217 | 0 |1800 |1700 |1800 | 281 | 350k| 0 |2695 | 0.000000e+00 | 4.209250e+05 | Inf
350.80/350.81 c 342s|430000 |430001 | 1165k| 2.7 | 441M| 217 | 8 |1800 |1700 |1800 | 250 | 356k| 0 |2717 | 0.000000e+00 | 4.209250e+05 | Inf
358.30/358.31 c 350s|440000 |440001 | 1184k| 2.7 | 451M| 217 | 0 |1800 |1700 |1800 | 274 | 362k| 0 |2746 | 0.000000e+00 | 4.209250e+05 | Inf
365.70/365.70 c 357s|450000 |450001 | 1199k| 2.7 | 461M| 217 | 0 |1800 |1700 |1800 | 241 | 367k| 0 |2769 | 0.000000e+00 | 4.209250e+05 | Inf
373.00/373.04 c 364s|460000 |460001 | 1214k| 2.6 | 471M| 217 | 0 |1800 |1700 |1800 | 268 | 372k| 0 |2794 | 0.000000e+00 | 4.209250e+05 | Inf
380.20/380.27 c 371s|470000 |470001 | 1228k| 2.6 | 481M| 217 | 0 |1800 |1700 |1800 | 271 | 376k| 0 |2815 | 0.000000e+00 | 4.209250e+05 | Inf
387.40/387.44 c 378s|480000 |480001 | 1239k| 2.6 | 490M| 217 | 4 |1800 |1700 |1800 | 298 | 380k| 0 |2815 | 0.000000e+00 | 4.209250e+05 | Inf
394.70/394.75 c 385s|490000 |490001 | 1255k| 2.6 | 500M| 217 | 24 |1800 |1700 |1800 | 222 | 385k| 0 |2836 | 0.000000e+00 | 4.209250e+05 | Inf
402.00/402.04 c 392s|500000 |500001 | 1269k| 2.5 | 510M| 217 | 0 |1800 |1700 |1800 | 262 | 390k| 0 |2861 | 0.000000e+00 | 4.209250e+05 | Inf
409.31/409.30 c 399s|510000 |510001 | 1282k| 2.5 | 520M| 217 | 9 |1800 |1700 |1800 | 257 | 394k| 0 |2892 | 0.000000e+00 | 4.209250e+05 | Inf
416.70/416.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.70/416.77 c 407s|520000 |520001 | 1303k| 2.5 | 530M| 217 | 4 |1800 |1700 |1800 | 248 | 400k| 0 |2922 | 0.000000e+00 | 4.209250e+05 | Inf
424.10/424.17 c 414s|530000 |530001 | 1319k| 2.5 | 540M| 217 | 4 |1800 |1700 |1800 | 268 | 404k| 0 |2944 | 0.000000e+00 | 4.209250e+05 | Inf
431.40/431.50 c 421s|540000 |540001 | 1334k| 2.5 | 550M| 217 | 0 |1800 |1700 |1800 | 277 | 408k| 0 |2959 | 0.000000e+00 | 4.209250e+05 | Inf
438.70/438.76 c 428s|550000 |550001 | 1346k| 2.4 | 560M| 217 | 0 |1800 |1700 |1800 | 283 | 412k| 0 |2973 | 0.000000e+00 | 4.209250e+05 | Inf
446.00/446.05 c 435s|560000 |560001 | 1360k| 2.4 | 570M| 217 | 0 |1800 |1700 |1800 | 292 | 416k| 0 |3001 | 0.000000e+00 | 4.209250e+05 | Inf
453.30/453.34 c 442s|570000 |570001 | 1372k| 2.4 | 580M| 217 | 0 |1800 |1700 |1800 | 276 | 420k| 0 |3021 | 0.000000e+00 | 4.209250e+05 | Inf
460.50/460.59 c 450s|580000 |580001 | 1384k| 2.4 | 590M| 217 | 0 |1800 |1700 |1800 | 271 | 423k| 0 |3033 | 0.000000e+00 | 4.209250e+05 | Inf
467.70/467.71 c 456s|590000 |590001 | 1392k| 2.4 | 600M| 217 | 0 |1800 |1700 |1800 | 274 | 426k| 0 |3054 | 0.000000e+00 | 4.209250e+05 | Inf
474.90/474.90 c 464s|600000 |600001 | 1402k| 2.3 | 610M| 217 | 4 |1800 |1700 |1800 | 239 | 429k| 0 |3059 | 0.000000e+00 | 4.209250e+05 | Inf
482.11/482.16 c 471s|610000 |610001 | 1415k| 2.3 | 620M| 217 | 0 |1800 |1700 |1800 | 285 | 433k| 0 |3079 | 0.000000e+00 | 4.209250e+05 | Inf
489.40/489.42 c 478s|620000 |620001 | 1426k| 2.3 | 630M| 217 | 0 |1800 |1700 |1800 | 285 | 436k| 0 |3102 | 0.000000e+00 | 4.209250e+05 | Inf
496.51/496.53 c 485s|630000 |630001 | 1436k| 2.3 | 640M| 217 | 0 |1800 |1700 |1800 | 266 | 439k| 0 |3117 | 0.000000e+00 | 4.209250e+05 | Inf
503.71/503.75 c 492s|640000 |640001 | 1448k| 2.3 | 650M| 217 | 14 |1800 |1700 |1800 | 256 | 443k| 0 |3138 | 0.000000e+00 | 4.209250e+05 | Inf
510.80/510.87 c 499s|650000 |650001 | 1458k| 2.2 | 660M| 217 | 0 |1800 |1700 |1800 | 275 | 446k| 0 |3143 | 0.000000e+00 | 4.209250e+05 | Inf
518.01/518.06 c 506s|660000 |660001 | 1468k| 2.2 | 670M| 217 | 0 |1800 |1700 |1800 | 273 | 449k| 0 |3167 | 0.000000e+00 | 4.209250e+05 | Inf
525.10/525.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.10/525.15 c 513s|670000 |670001 | 1478k| 2.2 | 679M| 217 | 0 |1800 |1700 |1800 | 277 | 452k| 0 |3173 | 0.000000e+00 | 4.209250e+05 | Inf
532.31/532.33 c 520s|680000 |680001 | 1489k| 2.2 | 689M| 217 | 2 |1800 |1700 |1800 | 208 | 455k| 0 |3201 | 0.000000e+00 | 4.209250e+05 | Inf
539.51/539.53 c 527s|690000 |690001 | 1501k| 2.2 | 699M| 217 | 0 |1800 |1700 |1800 | 277 | 459k| 0 |3219 | 0.000000e+00 | 4.209250e+05 | Inf
546.91/546.98 c 534s|700000 |700001 | 1518k| 2.2 | 709M| 217 | 0 |1800 |1700 |1800 | 265 | 464k| 0 |3234 | 0.000000e+00 | 4.209250e+05 | Inf
554.31/554.37 c 541s|710000 |710001 | 1533k| 2.2 | 719M| 217 | 0 |1800 |1700 |1800 | 260 | 468k| 0 |3249 | 0.000000e+00 | 4.209250e+05 | Inf
561.70/561.75 c 548s|720000 |720001 | 1550k| 2.2 | 729M| 217 | 0 |1800 |1700 |1800 | 266 | 472k| 0 |3276 | 0.000000e+00 | 4.209250e+05 | Inf
569.00/569.06 c 556s|730000 |730001 | 1566k| 2.1 | 739M| 217 | 0 |1800 |1700 |1800 | 301 | 477k| 0 |3298 | 0.000000e+00 | 4.209250e+05 | Inf
576.20/576.29 c 563s|740000 |740001 | 1577k| 2.1 | 749M| 217 | 0 |1800 |1700 |1800 | 275 | 480k| 0 |3311 | 0.000000e+00 | 4.209250e+05 | Inf
583.50/583.59 c 570s|750000 |750001 | 1591k| 2.1 | 759M| 217 | 0 |1800 |1700 |1800 | 265 | 485k| 0 |3327 | 0.000000e+00 | 4.209250e+05 | Inf
591.01/591.08 c 577s|760000 |760001 | 1610k| 2.1 | 769M| 217 | 0 |1800 |1700 |1800 | 277 | 491k| 0 |3354 | 0.000000e+00 | 4.209250e+05 | Inf
598.20/598.30 c 584s|770000 |770001 | 1623k| 2.1 | 779M| 217 | 0 |1800 |1700 |1800 | 260 | 494k| 0 |3377 | 0.000000e+00 | 4.209250e+05 | Inf
605.41/605.46 c 591s|780000 |780001 | 1635k| 2.1 | 789M| 217 | 0 |1800 |1700 |1800 | 276 | 498k| 0 |3395 | 0.000000e+00 | 4.209250e+05 | Inf
612.81/612.84 c 598s|790000 |790001 | 1651k| 2.1 | 799M| 217 | 0 |1800 |1700 |1800 | 277 | 503k| 0 |3400 | 0.000000e+00 | 4.209250e+05 | Inf
620.10/620.18 c 606s|800000 |800001 | 1665k| 2.1 | 809M| 217 | 0 |1800 |1700 |1800 | 295 | 507k| 0 |3422 | 0.000000e+00 | 4.209250e+05 | Inf
627.50/627.58 c 613s|810000 |810001 | 1680k| 2.1 | 819M| 217 | 0 |1800 |1700 |1800 | 303 | 511k| 0 |3447 | 0.000000e+00 | 4.209250e+05 | Inf
635.01/635.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.01/635.02 c 620s|820000 |820001 | 1697k| 2.1 | 829M| 217 | 0 |1800 |1700 |1800 | 264 | 516k| 0 |3471 | 0.000000e+00 | 4.209250e+05 | Inf
642.41/642.41 c 627s|830000 |830001 | 1713k| 2.1 | 839M| 217 | 0 |1800 |1700 |1800 | 257 | 522k| 0 |3489 | 0.000000e+00 | 4.209250e+05 | Inf
649.90/649.90 c 635s|840000 |840001 | 1732k| 2.1 | 849M| 217 | 0 |1800 |1700 |1800 | 255 | 528k| 0 |3510 | 0.000000e+00 | 4.209250e+05 | Inf
656.81/656.80 c 641s|850000 |850001 | 1739k| 2.0 | 859M| 381 | 0 |1800 |1700 |1800 | 248 | 529k| 0 |3518 | 0.000000e+00 | 4.209250e+05 | Inf
663.60/663.60 c 648s|860000 |860001 | 1746k| 2.0 | 868M| 381 | 0 |1800 |1700 |1800 | 276 | 531k| 0 |3518 | 0.000000e+00 | 4.209250e+05 | Inf
670.70/670.70 c 655s|870000 |870001 | 1761k| 2.0 | 878M| 381 | 0 |1800 |1700 |1800 | 271 | 536k| 0 |3537 | 0.000000e+00 | 4.209250e+05 | Inf
677.70/677.75 c 662s|880000 |880001 | 1774k| 2.0 | 888M| 381 | 0 |1800 |1700 |1800 | 260 | 540k| 0 |3555 | 0.000000e+00 | 4.209250e+05 | Inf
684.81/684.83 c 669s|890000 |890001 | 1788k| 2.0 | 898M| 381 | 0 |1800 |1700 |1800 | 267 | 544k| 0 |3562 | 0.000000e+00 | 4.209250e+05 | Inf
691.60/691.65 c 675s|900000 |900001 | 1794k| 2.0 | 908M| 381 | 0 |1800 |1700 |1800 | 287 | 546k| 0 |3585 | 0.000000e+00 | 4.209250e+05 | Inf
698.51/698.59 c 682s|910000 |910001 | 1805k| 2.0 | 918M| 381 | 0 |1800 |1700 |1800 | 268 | 549k| 0 |3585 | 0.000000e+00 | 4.209250e+05 | Inf
705.41/705.49 c 689s|920000 |920001 | 1815k| 2.0 | 928M| 381 | 0 |1800 |1700 |1800 | 284 | 552k| 0 |3607 | 0.000000e+00 | 4.209250e+05 | Inf
712.41/712.40 c 696s|930000 |930001 | 1825k| 2.0 | 938M| 381 | 0 |1800 |1700 |1800 | 255 | 556k| 0 |3610 | 0.000000e+00 | 4.209250e+05 | Inf
719.21/719.30 c 702s|940000 |940001 | 1836k| 2.0 | 947M| 381 | 0 |1800 |1700 |1800 | 287 | 559k| 0 |3636 | 0.000000e+00 | 4.209250e+05 | Inf
726.31/726.39 c 709s|950000 |950001 | 1851k| 1.9 | 957M| 381 | 0 |1800 |1700 |1800 | 306 | 564k| 0 |3649 | 0.000000e+00 | 4.209250e+05 | Inf
733.51/733.50 c 716s|960000 |960001 | 1866k| 1.9 | 967M| 381 | 0 |1800 |1700 |1800 | 276 | 568k| 0 |3666 | 0.000000e+00 | 4.209250e+05 | Inf
740.31/740.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
740.31/740.37 c 723s|970000 |970001 | 1874k| 1.9 | 977M| 381 | 0 |1800 |1700 |1800 | 286 | 570k| 0 |3686 | 0.000000e+00 | 4.209250e+05 | Inf
747.11/747.17 c 730s|980000 |980001 | 1879k| 1.9 | 987M| 381 | 0 |1800 |1700 |1800 | 292 | 572k| 0 |3690 | 0.000000e+00 | 4.209250e+05 | Inf
754.01/754.00 c 736s|990000 |990001 | 1886k| 1.9 | 997M| 381 | 0 |1800 |1700 |1800 | 287 | 574k| 0 |3694 | 0.000000e+00 | 4.209250e+05 | Inf
760.91/760.99 c 743s| 1000k| 1000k| 1896k| 1.9 |1007M| 381 | 0 |1800 |1700 |1800 | 271 | 578k| 0 |3712 | 0.000000e+00 | 4.209250e+05 | Inf
767.91/767.96 c 750s| 1010k| 1010k| 1906k| 1.9 |1017M| 381 | 0 |1800 |1700 |1800 | 289 | 581k| 0 |3717 | 0.000000e+00 | 4.209250e+05 | Inf
774.91/774.98 c 757s| 1020k| 1020k| 1918k| 1.9 |1027M| 381 | 0 |1800 |1700 |1800 | 282 | 586k| 0 |3736 | 0.000000e+00 | 4.209250e+05 | Inf
781.91/781.94 c 764s| 1030k| 1030k| 1929k| 1.9 |1036M| 381 | 0 |1800 |1700 |1800 | 267 | 590k| 0 |3737 | 0.000000e+00 | 4.209250e+05 | Inf
788.91/788.91 c 770s| 1040k| 1039k| 1940k| 1.9 |1046M| 381 | 0 |1800 |1703 |1800 | 304 | 593k| 3 |3756 | 0.000000e+00 | 4.209250e+05 | Inf
795.91/795.95 c 777s| 1050k| 1049k| 1952k| 1.9 |1056M| 381 | 0 |1800 |1703 |1800 | 279 | 597k| 3 |3772 | 0.000000e+00 | 4.209250e+05 | Inf
802.81/802.88 c 784s| 1060k| 1059k| 1962k| 1.9 |1066M| 381 | 0 |1800 |1703 |1800 | 266 | 600k| 3 |3788 | 0.000000e+00 | 4.209250e+05 | Inf
809.81/809.86 c 791s| 1070k| 1069k| 1973k| 1.8 |1076M| 381 | 0 |1800 |1703 |1800 | 279 | 604k| 3 |3789 | 0.000000e+00 | 4.209250e+05 | Inf
816.71/816.71 c 798s| 1080k| 1079k| 1982k| 1.8 |1086M| 381 | 0 |1800 |1703 |1800 | 268 | 608k| 3 |3805 | 0.000000e+00 | 4.209250e+05 | Inf
823.51/823.55 c 804s| 1090k| 1089k| 1991k| 1.8 |1096M| 381 | 0 |1800 |1703 |1800 | 280 | 611k| 3 |3805 | 0.000000e+00 | 4.209250e+05 | Inf
830.31/830.33 c 811s| 1100k| 1099k| 1998k| 1.8 |1105M| 381 | 0 |1800 |1703 |1800 | 280 | 613k| 3 |3811 | 0.000000e+00 | 4.209250e+05 | Inf
837.21/837.20 c 818s| 1110k| 1109k| 2007k| 1.8 |1115M| 381 | 0 |1800 |1703 |1800 | 257 | 616k| 3 |3820 | 0.000000e+00 | 4.209250e+05 | Inf
843.91/843.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.91/843.95 c 824s| 1120k| 1119k| 2014k| 1.8 |1125M| 381 | 0 |1800 |1703 |1800 | 250 | 618k| 3 |3822 | 0.000000e+00 | 4.209250e+05 | Inf
850.71/850.79 c 831s| 1130k| 1129k| 2022k| 1.8 |1135M| 381 | 7 |1800 |1703 |1800 | 251 | 621k| 3 |3837 | 0.000000e+00 | 4.209250e+05 | Inf
857.51/857.60 c 838s| 1140k| 1139k| 2029k| 1.8 |1145M| 381 | 0 |1800 |1703 |1800 | 260 | 623k| 3 |3837 | 0.000000e+00 | 4.209250e+05 | Inf
864.32/864.38 c 844s| 1150k| 1149k| 2037k| 1.8 |1154M| 381 | 0 |1800 |1703 |1800 | 269 | 626k| 3 |3851 | 0.000000e+00 | 4.209250e+05 | Inf
871.01/871.10 c 851s| 1160k| 1159k| 2044k| 1.8 |1164M| 381 | 0 |1800 |1703 |1800 | 255 | 628k| 3 |3852 | 0.000000e+00 | 4.209250e+05 | Inf
877.91/877.91 c 857s| 1170k| 1169k| 2052k| 1.8 |1174M| 381 | 0 |1800 |1703 |1800 | 285 | 631k| 3 |3852 | 0.000000e+00 | 4.209250e+05 | Inf
884.71/884.72 c 864s| 1180k| 1179k| 2060k| 1.7 |1184M| 381 | 0 |1800 |1703 |1800 | 267 | 634k| 3 |3867 | 0.000000e+00 | 4.209250e+05 | Inf
891.41/891.46 c 871s| 1190k| 1189k| 2067k| 1.7 |1194M| 381 | 0 |1800 |1703 |1800 | 265 | 636k| 3 |3867 | 0.000000e+00 | 4.209250e+05 | Inf
898.22/898.29 c 877s| 1200k| 1199k| 2076k| 1.7 |1203M| 381 | 0 |1800 |1703 |1800 | 265 | 640k| 3 |3882 | 0.000000e+00 | 4.209250e+05 | Inf
905.01/905.04 c 884s| 1210k| 1209k| 2083k| 1.7 |1213M| 381 | 0 |1800 |1703 |1800 | 241 | 642k| 3 |3882 | 0.000000e+00 | 4.209250e+05 | Inf
911.61/911.69 c 891s| 1220k| 1219k| 2089k| 1.7 |1223M| 381 | 0 |1800 |1703 |1800 | 249 | 644k| 3 |3882 | 0.000000e+00 | 4.209250e+05 | Inf
918.42/918.48 c 897s| 1230k| 1229k| 2096k| 1.7 |1233M| 381 | 0 |1800 |1703 |1800 | 275 | 647k| 3 |3897 | 0.000000e+00 | 4.209250e+05 | Inf
925.31/925.35 c 904s| 1240k| 1239k| 2104k| 1.7 |1243M| 381 | 0 |1800 |1703 |1800 | 284 | 649k| 3 |3946 | 0.000000e+00 | 4.209250e+05 | Inf
932.32/932.32 c 911s| 1250k| 1249k| 2115k| 1.7 |1252M| 381 | 0 |1800 |1703 |1800 | 283 | 652k| 3 |3965 | 0.000000e+00 | 4.209250e+05 | Inf
939.01/939.07 c 917s| 1260k| 1259k| 2120k| 1.7 |1262M| 381 | 0 |1800 |1703 |1800 | 270 | 654k| 3 |3967 | 0.000000e+00 | 4.209250e+05 | Inf
945.92/946.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
945.92/946.00 c 924s| 1270k| 1269k| 2129k| 1.7 |1272M| 381 | 0 |1800 |1703 |1800 | 269 | 657k| 3 |3989 | 0.000000e+00 | 4.209250e+05 | Inf
952.71/952.79 c 931s| 1280k| 1279k| 2137k| 1.7 |1282M| 381 | 0 |1800 |1703 |1800 | 311 | 659k| 3 |3989 | 0.000000e+00 | 4.209250e+05 | Inf
959.71/959.76 c 938s| 1290k| 1289k| 2148k| 1.7 |1292M| 381 | 0 |1800 |1703 |1800 | 269 | 663k| 3 |4004 | 0.000000e+00 | 4.209250e+05 | Inf
966.62/966.65 c 944s| 1300k| 1299k| 2156k| 1.7 |1302M| 381 | 0 |1800 |1703 |1800 | 278 | 665k| 3 |4009 | 0.000000e+00 | 4.209250e+05 | Inf
973.52/973.55 c 951s| 1310k| 1309k| 2165k| 1.7 |1312M| 381 | 0 |1800 |1703 |1800 | 298 | 668k| 3 |4009 | 0.000000e+00 | 4.209250e+05 | Inf
980.32/980.35 c 958s| 1320k| 1319k| 2172k| 1.6 |1322M| 381 | 0 |1800 |1706 |1800 | 263 | 670k| 6 |4025 | 0.000000e+00 | 4.209250e+05 | Inf
987.02/987.05 c 964s| 1330k| 1329k| 2179k| 1.6 |1331M| 381 | 0 |1800 |1706 |1800 | 251 | 672k| 6 |4025 | 0.000000e+00 | 4.209250e+05 | Inf
993.71/993.70 c 971s| 1340k| 1339k| 2184k| 1.6 |1341M| 381 | 16 |1800 |1706 |1800 | 292 | 674k| 6 |4025 | 0.000000e+00 | 4.209250e+05 | Inf
1000.51/1000.59 c 977s| 1350k| 1349k| 2194k| 1.6 |1351M| 381 | 0 |1800 |1706 |1800 | 276 | 677k| 6 |4041 | 0.000000e+00 | 4.209250e+05 | Inf
1007.41/1007.44 c 984s| 1360k| 1359k| 2203k| 1.6 |1361M| 381 | 0 |1800 |1706 |1800 | 284 | 680k| 6 |4043 | 0.000000e+00 | 4.209250e+05 | Inf
1014.41/1014.43 c 991s| 1370k| 1369k| 2215k| 1.6 |1371M| 381 | 0 |1800 |1706 |1800 | 260 | 684k| 6 |4062 | 0.000000e+00 | 4.209250e+05 | Inf
1021.12/1021.18 c 998s| 1380k| 1379k| 2222k| 1.6 |1381M| 381 | 0 |1800 |1706 |1800 | 282 | 686k| 6 |4066 | 0.000000e+00 | 4.209250e+05 | Inf
1027.81/1027.86 c 1004s| 1390k| 1389k| 2229k| 1.6 |1390M| 381 | 0 |1800 |1706 |1800 | 277 | 688k| 6 |4066 | 0.000000e+00 | 4.209250e+05 | Inf
1034.72/1034.78 c 1011s| 1400k| 1399k| 2238k| 1.6 |1400M| 381 | 0 |1800 |1706 |1800 | 266 | 691k| 6 |4090 | 0.000000e+00 | 4.209250e+05 | Inf
1041.52/1041.60 c 1018s| 1410k| 1409k| 2247k| 1.6 |1410M| 381 | 0 |1800 |1706 |1800 | 261 | 693k| 6 |4091 | 0.000000e+00 | 4.209250e+05 | Inf
1048.42/1048.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1048.42/1048.41 c 1024s| 1420k| 1419k| 2255k| 1.6 |1420M| 381 | 0 |1800 |1708 |1800 | 256 | 696k| 8 |4106 | 0.000000e+00 | 4.209250e+05 | Inf
1055.22/1055.24 c 1031s| 1430k| 1429k| 2263k| 1.6 |1430M| 381 | 0 |1800 |1708 |1800 | 256 | 698k| 8 |4112 | 0.000000e+00 | 4.209250e+05 | Inf
1062.02/1062.03 c 1037s| 1440k| 1439k| 2270k| 1.6 |1440M| 381 | 25 |1800 |1708 |1800 | 216 | 700k| 8 |4112 | 0.000000e+00 | 4.209250e+05 | Inf
1069.01/1069.05 c 1044s| 1450k| 1449k| 2282k| 1.6 |1449M| 381 | 0 |1800 |1708 |1800 | 264 | 704k| 8 |4130 | 0.000000e+00 | 4.209250e+05 | Inf
1075.91/1075.95 c 1051s| 1460k| 1459k| 2292k| 1.6 |1459M| 381 | 0 |1800 |1708 |1800 | 276 | 707k| 8 |4137 | 0.000000e+00 | 4.209250e+05 | Inf
1082.82/1082.84 c 1058s| 1470k| 1469k| 2301k| 1.6 |1469M| 381 | 0 |1800 |1708 |1800 | 269 | 710k| 8 |4152 | 0.000000e+00 | 4.209250e+05 | Inf
1089.61/1089.66 c 1065s| 1480k| 1479k| 2309k| 1.6 |1479M| 381 | 0 |1800 |1708 |1800 | 269 | 713k| 8 |4154 | 0.000000e+00 | 4.209250e+05 | Inf
1096.42/1096.49 c 1071s| 1490k| 1489k| 2317k| 1.6 |1489M| 381 | 0 |1800 |1708 |1800 | 273 | 715k| 8 |4157 | 0.000000e+00 | 4.209250e+05 | Inf
1103.22/1103.25 c 1078s| 1500k| 1499k| 2323k| 1.5 |1499M| 381 | 0 |1800 |1708 |1800 | 289 | 717k| 8 |4171 | 0.000000e+00 | 4.209250e+05 | Inf
1109.92/1109.99 c 1084s| 1510k| 1509k| 2330k| 1.5 |1508M| 381 | 0 |1800 |1708 |1800 | 262 | 719k| 8 |4178 | 0.000000e+00 | 4.209250e+05 | Inf
1116.72/1116.72 c 1091s| 1520k| 1519k| 2336k| 1.5 |1518M| 381 | 0 |1800 |1708 |1800 | 262 | 722k| 8 |4178 | 0.000000e+00 | 4.209250e+05 | Inf
1123.42/1123.45 c 1098s| 1530k| 1529k| 2343k| 1.5 |1528M| 381 | 11 |1800 |1708 |1800 | 238 | 724k| 8 |4192 | 0.000000e+00 | 4.209250e+05 | Inf
1130.22/1130.25 c 1104s| 1540k| 1539k| 2351k| 1.5 |1538M| 381 | 4 |1800 |1708 |1800 | 230 | 726k| 8 |4197 | 0.000000e+00 | 4.209250e+05 | Inf
1137.33/1137.32 c 1111s| 1550k| 1549k| 2365k| 1.5 |1548M| 381 | 0 |1800 |1708 |1800 | 227 | 730k| 8 |4214 | 0.000000e+00 | 4.209250e+05 | Inf
1144.21/1144.24 c 1118s| 1560k| 1559k| 2374k| 1.5 |1558M| 381 | 0 |1800 |1708 |1800 | 261 | 733k| 8 |4216 | 0.000000e+00 | 4.209250e+05 | Inf
1150.91/1150.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1150.91/1150.92 c 1124s| 1570k| 1569k| 2380k| 1.5 |1567M| 381 | 0 |1800 |1708 |1800 | 285 | 735k| 8 |4216 | 0.000000e+00 | 4.209250e+05 | Inf
1157.82/1157.84 c 1131s| 1580k| 1579k| 2390k| 1.5 |1577M| 381 | 0 |1800 |1708 |1800 | 266 | 738k| 8 |4232 | 0.000000e+00 | 4.209250e+05 | Inf
1164.72/1164.71 c 1138s| 1590k| 1589k| 2399k| 1.5 |1587M| 381 | 0 |1800 |1708 |1800 | 265 | 741k| 8 |4235 | 0.000000e+00 | 4.209250e+05 | Inf
1171.52/1171.56 c 1145s| 1600k| 1599k| 2406k| 1.5 |1597M| 381 | 0 |1800 |1708 |1800 | 264 | 743k| 8 |4249 | 0.000000e+00 | 4.209250e+05 | Inf
1178.31/1178.33 c 1151s| 1610k| 1609k| 2413k| 1.5 |1607M| 381 | 0 |1800 |1708 |1800 | 280 | 745k| 8 |4256 | 0.000000e+00 | 4.209250e+05 | Inf
1185.22/1185.29 c 1158s| 1620k| 1619k| 2423k| 1.5 |1617M| 381 | 0 |1800 |1708 |1800 | 271 | 748k| 8 |4259 | 0.000000e+00 | 4.209250e+05 | Inf
1192.11/1192.12 c 1165s| 1630k| 1629k| 2430k| 1.5 |1627M| 381 | 0 |1800 |1708 |1800 | 262 | 750k| 8 |4275 | 0.000000e+00 | 4.209250e+05 | Inf
1198.82/1198.81 c 1171s| 1640k| 1639k| 2435k| 1.5 |1636M| 381 | 0 |1800 |1708 |1800 | 252 | 752k| 8 |4280 | 0.000000e+00 | 4.209250e+05 | Inf
1205.42/1205.50 c 1178s| 1650k| 1649k| 2441k| 1.5 |1646M| 381 | 0 |1800 |1708 |1800 | 245 | 754k| 8 |4283 | 0.000000e+00 | 4.209250e+05 | Inf
1212.13/1212.11 c 1184s| 1660k| 1659k| 2445k| 1.5 |1656M| 381 | 0 |1800 |1708 |1800 | 260 | 756k| 8 |4289 | 0.000000e+00 | 4.209250e+05 | Inf
1218.72/1218.71 c 1191s| 1670k| 1669k| 2450k| 1.5 |1666M| 381 | 0 |1800 |1708 |1800 | 254 | 757k| 8 |4297 | 0.000000e+00 | 4.209250e+05 | Inf
1225.52/1225.57 c 1197s| 1680k| 1679k| 2458k| 1.5 |1675M| 381 | 0 |1800 |1708 |1800 | 251 | 759k| 8 |4302 | 0.000000e+00 | 4.209250e+05 | Inf
1232.42/1232.43 c 1204s| 1690k| 1689k| 2467k| 1.5 |1685M| 381 | 0 |1800 |1708 |1800 | 253 | 762k| 8 |4308 | 0.000000e+00 | 4.209250e+05 | Inf
1238.91/1238.94 c 1210s| 1700k| 1699k| 2470k| 1.5 |1695M| 381 | 0 |1800 |1708 |1800 | 274 | 763k| 8 |4319 | 0.000000e+00 | 4.209250e+05 | Inf
1245.82/1245.81 c 1217s| 1710k| 1709k| 2479k| 1.4 |1705M| 381 | 0 |1800 |1708 |1800 | 290 | 766k| 8 |4321 | 0.000000e+00 | 4.209250e+05 | Inf
1252.72/1252.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1252.72/1252.70 c 1224s| 1720k| 1719k| 2487k| 1.4 |1715M| 381 | 0 |1800 |1708 |1800 | 272 | 769k| 8 |4324 | 0.000000e+00 | 4.209250e+05 | Inf
1259.52/1259.54 c 1231s| 1730k| 1729k| 2495k| 1.4 |1725M| 381 | 0 |1800 |1708 |1800 | 282 | 771k| 8 |4336 | 0.000000e+00 | 4.209250e+05 | Inf
1266.32/1266.33 c 1237s| 1740k| 1739k| 2502k| 1.4 |1734M| 381 | 15 |1800 |1708 |1800 | 238 | 773k| 8 |4339 | 0.000000e+00 | 4.209250e+05 | Inf
1273.22/1273.21 c 1244s| 1750k| 1749k| 2512k| 1.4 |1744M| 381 | 6 |1800 |1708 |1800 | 253 | 776k| 8 |4357 | 0.000000e+00 | 4.209250e+05 | Inf
1280.12/1280.15 c 1250s| 1760k| 1759k| 2522k| 1.4 |1754M| 381 | 15 |1800 |1708 |1800 | 289 | 779k| 8 |4358 | 0.000000e+00 | 4.209250e+05 | Inf
1286.93/1287.00 c 1257s| 1770k| 1769k| 2530k| 1.4 |1764M| 381 | 0 |1800 |1708 |1800 | 264 | 782k| 8 |4370 | 0.000000e+00 | 4.209250e+05 | Inf
1293.82/1293.86 c 1264s| 1780k| 1779k| 2540k| 1.4 |1774M| 381 | 0 |1800 |1708 |1800 | 261 | 785k| 8 |4381 | 0.000000e+00 | 4.209250e+05 | Inf
1300.62/1300.69 c 1270s| 1790k| 1789k| 2549k| 1.4 |1784M| 381 | 0 |1800 |1708 |1800 | 278 | 788k| 8 |4381 | 0.000000e+00 | 4.209250e+05 | Inf
1307.72/1307.72 c 1277s| 1800k| 1799k| 2562k| 1.4 |1794M| 381 | 0 |1800 |1708 |1800 | 300 | 791k| 8 |4397 | 0.000000e+00 | 4.209250e+05 | Inf
1314.63/1314.66 c 1284s| 1810k| 1809k| 2573k| 1.4 |1804M| 381 | 0 |1800 |1708 |1800 | 294 | 795k| 8 |4404 | 0.000000e+00 | 4.209250e+05 | Inf
1321.73/1321.71 c 1291s| 1820k| 1819k| 2587k| 1.4 |1813M| 381 | 12 |1800 |1708 |1800 | 226 | 799k| 8 |4412 | 0.000000e+00 | 4.209250e+05 | Inf
1328.73/1328.71 c 1297s| 1830k| 1829k| 2599k| 1.4 |1823M| 381 | 0 |1800 |1708 |1800 | 250 | 802k| 8 |4429 | 0.000000e+00 | 4.209250e+05 | Inf
1335.52/1335.51 c 1304s| 1840k| 1839k| 2606k| 1.4 |1833M| 381 | 0 |1800 |1708 |1800 | 251 | 804k| 8 |4430 | 0.000000e+00 | 4.209250e+05 | Inf
1342.42/1342.45 c 1311s| 1850k| 1849k| 2617k| 1.4 |1843M| 381 | 0 |1800 |1708 |1800 | 244 | 808k| 8 |4445 | 0.000000e+00 | 4.209250e+05 | Inf
1349.22/1349.26 c 1317s| 1860k| 1859k| 2625k| 1.4 |1853M| 381 | 0 |1800 |1708 |1800 | 264 | 810k| 8 |4454 | 0.000000e+00 | 4.209250e+05 | Inf
1356.12/1356.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1356.12/1356.10 c 1324s| 1870k| 1869k| 2634k| 1.4 |1863M| 381 | 0 |1800 |1708 |1800 | 241 | 813k| 8 |4454 | 0.000000e+00 | 4.209250e+05 | Inf
1362.72/1362.79 c 1330s| 1880k| 1879k| 2639k| 1.4 |1873M| 381 | 0 |1800 |1708 |1800 | 262 | 814k| 8 |4469 | 0.000000e+00 | 4.209250e+05 | Inf
1369.62/1369.63 c 1337s| 1890k| 1889k| 2648k| 1.4 |1882M| 381 | 0 |1800 |1708 |1800 | 294 | 817k| 8 |4472 | 0.000000e+00 | 4.209250e+05 | Inf
1376.42/1376.44 c 1344s| 1900k| 1899k| 2656k| 1.4 |1892M| 381 | 3 |1800 |1708 |1800 | 228 | 819k| 8 |4473 | 0.000000e+00 | 4.209250e+05 | Inf
1383.32/1383.31 c 1350s| 1910k| 1909k| 2665k| 1.4 |1902M| 381 | 0 |1800 |1708 |1800 | 282 | 822k| 8 |4492 | 0.000000e+00 | 4.209250e+05 | Inf
1389.92/1389.99 c 1357s| 1920k| 1919k| 2671k| 1.4 |1912M| 381 | 0 |1800 |1708 |1800 | 251 | 824k| 8 |4492 | 0.000000e+00 | 4.209250e+05 | Inf
1396.72/1396.70 c 1363s| 1930k| 1929k| 2678k| 1.4 |1922M| 381 | 0 |1800 |1708 |1800 | 276 | 826k| 8 |4492 | 0.000000e+00 | 4.209250e+05 | Inf
1403.42/1403.45 c 1370s| 1940k| 1939k| 2684k| 1.4 |1931M| 381 | 0 |1800 |1708 |1800 | 261 | 828k| 8 |4506 | 0.000000e+00 | 4.209250e+05 | Inf
1410.23/1410.28 c 1376s| 1950k| 1949k| 2692k| 1.4 |1941M| 381 | 8 |1800 |1708 |1800 | 253 | 830k| 8 |4513 | 0.000000e+00 | 4.209250e+05 | Inf
1417.02/1417.05 c 1383s| 1960k| 1959k| 2701k| 1.4 |1951M| 381 | 0 |1800 |1708 |1800 | 251 | 833k| 8 |4514 | 0.000000e+00 | 4.209250e+05 | Inf
1423.82/1423.86 c 1389s| 1970k| 1969k| 2711k| 1.4 |1961M| 381 | 0 |1800 |1708 |1800 | 281 | 836k| 8 |4531 | 0.000000e+00 | 4.209250e+05 | Inf
1430.82/1430.82 c 1396s| 1980k| 1979k| 2721k| 1.4 |1971M| 381 | 0 |1800 |1708 |1800 | 303 | 839k| 8 |4534 | 0.000000e+00 | 4.209250e+05 | Inf
1437.73/1437.78 c 1403s| 1990k| 1989k| 2730k| 1.4 |1981M| 381 | 0 |1800 |1708 |1800 | 285 | 842k| 8 |4549 | 0.000000e+00 | 4.209250e+05 | Inf
1444.82/1444.81 c 1410s| 2000k| 1999k| 2744k| 1.4 |1991M| 381 | 0 |1800 |1708 |1800 | 267 | 846k| 8 |4551 | 0.000000e+00 | 4.209250e+05 | Inf
1451.63/1451.67 c 1416s| 2010k| 2009k| 2754k| 1.4 |2000M| 381 | 0 |1800 |1708 |1800 | 271 | 850k| 8 |4565 | 0.000000e+00 | 4.209250e+05 | Inf
1456.33/1456.40 o 16303
1456.33/1456.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.33/1456.40 c *1421s| 2016k| 1657k| 2758k| 1.4 |1669M| 381 | - |1800 |1708 |1800 | 256 | 851k| 8 |4571 | 0.000000e+00 | 1.630300e+04 | Inf
1459.52/1459.60 c 1424s| 2020k| 1661k| 2768k| 1.4 |1673M| 381 | 12 |1800 |1732 |1800 | 264 | 854k| 32 |4574 | 0.000000e+00 | 1.630300e+04 | Inf
1467.92/1468.00 c 1432s| 2030k| 1671k| 2798k| 1.4 |1683M| 381 | 0 |1800 |1766 |1800 | 233 | 864k| 70 |4593 | 0.000000e+00 | 1.630300e+04 | Inf
1475.63/1475.64 c 1439s| 2040k| 1681k| 2810k| 1.4 |1693M| 381 | 0 |1800 |1772 |1800 | 261 | 868k| 91 |4605 | 0.000000e+00 | 1.630300e+04 | Inf
1483.93/1483.95 c 1447s| 2050k| 1691k| 2837k| 1.4 |1703M| 381 | 0 |1800 |1971 |1800 | 235 | 877k| 423 |4622 | 0.000000e+00 | 1.630300e+04 | Inf
1491.93/1491.96 c 1455s| 2060k| 1701k| 2856k| 1.4 |1712M| 381 | 0 |1800 |2025 |1800 | 234 | 882k| 710 |4634 | 0.000000e+00 | 1.630300e+04 | Inf
1499.82/1499.83 c 1463s| 2070k| 1710k| 2875k| 1.4 |1722M| 381 | 11 |1800 |2023 |1800 | 252 | 888k| 993 |4644 | 0.000000e+00 | 1.630300e+04 | Inf
1507.92/1507.90 c 1471s| 2080k| 1720k| 2897k| 1.4 |1732M| 381 | 21 |1800 |2115 |1800 | 216 | 895k|1543 |4654 | 0.000000e+00 | 1.630300e+04 | Inf
1516.02/1516.02 c 1479s| 2090k| 1730k| 2920k| 1.4 |1742M| 381 | 0 |1800 |2100 |1800 | 259 | 902k|1957 |4667 | 0.000000e+00 | 1.630300e+04 | Inf
1524.32/1524.32 c 1487s| 2100k| 1740k| 2947k| 1.4 |1752M| 381 | 0 |1800 |2099 |1800 | 224 | 911k|2410 |4692 | 0.000000e+00 | 1.630300e+04 | Inf
1532.43/1532.44 c 1495s| 2110k| 1750k| 2972k| 1.4 |1762M| 381 | 7 |1800 |2111 |1800 | 212 | 918k|2826 |4701 | 0.000000e+00 | 1.630300e+04 | Inf
1540.83/1540.82 c 1503s| 2120k| 1760k| 3005k| 1.4 |1772M| 381 | 0 |1800 |2084 |1800 | 243 | 929k|3402 |4722 | 0.000000e+00 | 1.630300e+04 | Inf
1549.02/1549.04 c 1511s| 2130k| 1770k| 3032k| 1.4 |1782M| 381 | 0 |1800 |2168 |1800 | 261 | 938k|3990 |4734 | 0.000000e+00 | 1.630300e+04 | Inf
1557.23/1557.27 c 1519s| 2140k| 1780k| 3057k| 1.4 |1792M| 381 | 0 |1800 |2161 |1800 | 243 | 947k|4609 |4742 | 0.000000e+00 | 1.630300e+04 | Inf
1565.43/1565.49 c 1527s| 2150k| 1790k| 3082k| 1.4 |1802M| 381 | 0 |1800 |2309 |1800 | 232 | 955k|5023 |4753 | 0.000000e+00 | 1.630300e+04 | Inf
1573.83/1573.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.83/1573.83 c 1535s| 2160k| 1799k| 3110k| 1.4 |1812M| 381 | 10 |1800 |2216 |1800 | 254 | 964k|5400 |4774 | 0.000000e+00 | 1.630300e+04 | Inf
1581.93/1581.90 c 1542s| 2170k| 1809k| 3132k| 1.4 |1822M| 381 | 0 |1800 |2172 |1800 | 257 | 971k|5688 |4788 | 0.000000e+00 | 1.630300e+04 | Inf
1590.22/1590.23 c 1551s| 2180k| 1819k| 3162k| 1.5 |1831M| 381 | 0 |1800 |2065 |1800 | 255 | 981k|5952 |4803 | 0.000000e+00 | 1.630300e+04 | Inf
1598.33/1598.32 c 1558s| 2190k| 1829k| 3186k| 1.5 |1841M| 381 | 0 |1800 |2036 |1800 | 250 | 989k|6110 |4810 | 0.000000e+00 | 1.630300e+04 | Inf
1606.43/1606.49 c 1566s| 2200k| 1839k| 3210k| 1.5 |1851M| 381 | 0 |1800 |2184 |1800 | 232 | 997k|6553 |4823 | 0.000000e+00 | 1.630300e+04 | Inf
1614.63/1614.65 c 1574s| 2210k| 1849k| 3234k| 1.5 |1861M| 381 | 0 |1800 |2142 |1800 | 243 |1005k|7033 |4838 | 0.000000e+00 | 1.630300e+04 | Inf
1622.83/1622.83 c 1582s| 2220k| 1859k| 3261k| 1.5 |1871M| 381 | 3 |1800 |2133 |1800 | 268 |1013k|7442 |4852 | 0.000000e+00 | 1.630300e+04 | Inf
1631.13/1631.10 c 1590s| 2230k| 1869k| 3289k| 1.5 |1881M| 381 | 5 |1800 |2157 |1800 | 226 |1022k|7798 |4867 | 0.000000e+00 | 1.630300e+04 | Inf
1639.33/1639.30 c 1598s| 2240k| 1879k| 3318k| 1.5 |1891M| 381 | 0 |1800 |2215 |1800 | 245 |1031k|8111 |4887 | 0.000000e+00 | 1.630300e+04 | Inf
1647.23/1647.23 c 1605s| 2250k| 1889k| 3339k| 1.5 |1901M| 381 | 8 |1800 |2135 |1800 | 231 |1039k|8472 |4896 | 0.000000e+00 | 1.630300e+04 | Inf
1655.43/1655.43 c 1613s| 2260k| 1899k| 3367k| 1.5 |1911M| 381 | 0 |1800 |2354 |1800 | 228 |1048k|9173 |4909 | 0.000000e+00 | 1.630300e+04 | Inf
1656.73/1656.76 o 16295
1656.73/1656.76 c *1614s| 2261k| 1900k| 3369k| 1.5 |1912M| 381 | - |1800 |2238 |1800 | 251 |1048k|9245 |4909 | 0.000000e+00 | 1.629500e+04 | Inf
1663.33/1663.39 c 1621s| 2270k| 1908k| 3386k| 1.5 |1920M| 381 | 21 |1800 |2073 |1800 | 246 |1054k|9522 |4921 | 0.000000e+00 | 1.629500e+04 | Inf
1671.63/1671.62 c 1629s| 2280k| 1918k| 3415k| 1.5 |1930M| 381 | 0 |1800 |2111 |1800 | 246 |1063k|9800 |4932 | 0.000000e+00 | 1.629500e+04 | Inf
1679.64/1679.69 c 1636s| 2290k| 1928k| 3439k| 1.5 |1940M| 381 | 0 |1800 |2101 |1800 | 234 |1070k| 10k|4944 | 0.000000e+00 | 1.629500e+04 | Inf
1687.93/1687.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.93/1687.99 c 1645s| 2300k| 1938k| 3471k| 1.5 |1950M| 381 | 0 |1800 |2194 |1800 | 247 |1080k| 10k|4971 | 0.000000e+00 | 1.629500e+04 | Inf
1696.03/1696.01 c 1652s| 2310k| 1947k| 3493k| 1.5 |1960M| 381 | 15 |1800 |2263 |1800 | 249 |1087k| 11k|4983 | 0.000000e+00 | 1.629500e+04 | Inf
1704.23/1704.20 c 1660s| 2320k| 1957k| 3521k| 1.5 |1969M| 381 | 10 |1800 |2072 |1800 | 247 |1096k| 11k|4994 | 0.000000e+00 | 1.629500e+04 | Inf
1712.43/1712.43 c 1668s| 2330k| 1967k| 3548k| 1.5 |1979M| 381 | 0 |1800 |2173 |1800 | 252 |1104k| 11k|5006 | 0.000000e+00 | 1.629500e+04 | Inf
1720.44/1720.49 c 1676s| 2340k| 1977k| 3572k| 1.5 |1989M| 381 | 23 |1800 |2124 |1800 | 243 |1112k| 12k|5021 | 0.000000e+00 | 1.629500e+04 | Inf
1728.53/1728.59 c 1684s| 2350k| 1987k| 3598k| 1.5 |1999M| 381 | 0 |1800 |2204 |1800 | 227 |1121k| 12k|5038 | 0.000000e+00 | 1.629500e+04 | Inf
1736.63/1736.63 c 1692s| 2360k| 1997k| 3623k| 1.5 |2009M| 381 | 0 |1800 |2172 |1800 | 260 |1129k| 13k|5047 | 0.000000e+00 | 1.629500e+04 | Inf
1744.73/1744.73 c 1699s| 2370k| 2007k| 3649k| 1.5 |2019M| 381 | 0 |1800 |2266 |1800 | 266 |1137k| 13k|5056 | 0.000000e+00 | 1.629500e+04 | Inf
1752.83/1752.84 c 1707s| 2380k| 2017k| 3675k| 1.5 |2029M| 381 | 12 |1800 |2202 |1800 | 255 |1145k| 14k|5066 | 0.000000e+00 | 1.629500e+04 | Inf
1761.23/1761.20 c 1715s| 2390k| 2027k| 3706k| 1.6 |2039M| 381 | 0 |1800 |2098 |1800 | 279 |1156k| 14k|5087 | 0.000000e+00 | 1.629500e+04 | Inf
1769.23/1769.29 c 1723s| 2400k| 2037k| 3731k| 1.6 |2049M| 381 | 0 |1800 |2121 |1800 | 252 |1164k| 14k|5098 | 0.000000e+00 | 1.629500e+04 | Inf
1777.43/1777.40 c 1731s| 2410k| 2047k| 3754k| 1.6 |2059M| 381 | 0 |1800 |2098 |1800 | 247 |1171k| 15k|5107 | 0.000000e+00 | 1.629500e+04 | Inf
1785.73/1785.71 c 1739s| 2420k| 2057k| 3784k| 1.6 |2069M| 381 | 0 |1800 |2016 |1800 | 261 |1181k| 15k|5120 | 0.000000e+00 | 1.629500e+04 | Inf
1793.83/1793.89 c 1747s| 2430k| 2067k| 3811k| 1.6 |2078M| 381 | 0 |1800 |2050 |1800 | 270 |1190k| 15k|5131 | 0.000000e+00 | 1.629500e+04 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1752.71
1800.03/1800.00 c Solving Nodes : 2437608
1800.03/1800.00 c Primal Bound : +1.62950000000000e+04 (102 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.01 s SATISFIABLE
1800.03/1800.01 v x200 -x199 x198 -x197 -x196 x195 x194 -x193 -x192 x191 x190 -x189 x188 -x187 -x186 x185 -x184 x183 -x182 x181 x180 -x179 -x178
1800.03/1800.01 v x177 x176 -x175 -x174 x173 -x172 x171 x170 -x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 x156 -x155
1800.03/1800.01 v x154 -x153 x152 -x151 -x150 x149 x148 -x147 -x146 x145 -x144 x143 x142 -x141 x140 -x139 -x138 x137 -x136 x135 -x134 x133 x132
1800.03/1800.01 v -x131 -x130 x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 x118 -x117 -x116 x115 -x114 x113 x112 -x111 x110 -x109
1800.03/1800.01 v -x108 x107 x106 -x105 x104 -x103 x102 -x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 x92 -x91 -x90 x89 -x88 x87 -x86 x85 x84
1800.03/1800.01 v -x83 -x82 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 -x56
1800.03/1800.01 v 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 x30 -x29 -x28
1800.03/1800.01 v x27 -x26 x25 -x24 x23 x22 -x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 x12 -x11 -x10 x9 x8 -x7 -x6 x5 x4 -x3 x2 -x1
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time : 1752.71
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-2700200-1278534377.wbo
1800.03/1800.01 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.03/1800.01 c Constraints : 1801 initial, 1801 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-2700200-1278534377.wbo
1800.03/1800.01 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.03/1800.01 c Constraints : 1700 initial, 2360 maximal
1800.03/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c linear : 0.01 0 100 0 850 0 101 0 0
1800.03/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c root node : - 0 - - 0 - - - -
1800.03/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c integral : 0 0 0 2686854 0 0 0 0 0 768624
1800.03/1800.01 c indicator : 850 0 3286651 2302542 0 97 2558377 0 0 0
1800.03/1800.01 c linear : 850 6 3286545 2302539 0 442 957616 1196448 0 0
1800.03/1800.01 c logicor : 0+ 0 295067 0 0 17 175187 0 0 0
1800.03/1800.01 c countsols : 0 0 0 2051679 0 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.01 c integral : 8.16 0.00 0.00 8.16 0.00
1800.03/1800.01 c indicator : 152.35 0.10 32.31 119.94 0.00
1800.03/1800.01 c linear : 32.92 0.00 13.33 19.59 0.00
1800.03/1800.01 c logicor : 0.89 0.00 0.89 0.00 0.00
1800.03/1800.01 c countsols : 0.38 0.00 0.00 0.38 0.00
1800.03/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.01 c vbounds : 0.96 2 0 0
1800.03/1800.01 c rootredcost : 0.56 2 0 0
1800.03/1800.01 c pseudoobj : 51.70 3287849 1398 223273
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 0.12 1857 1856 19609 46.7 1619 4.6 -
1800.03/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c pseudo solution : 0.00 39 39 454 42.3 62 4.4 -
1800.03/1800.01 c applied globally : - - - 15831 40.9 - - -
1800.03/1800.01 c applied locally : - - - 0 0.0 - - -
1800.03/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.01 c cut pool : 0.00 3 - - 5 - (maximal pool size: 40)
1800.03/1800.01 c redcost : 91.62 2687112 0 128030 0 0
1800.03/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.03/1800.01 c intobj : 0.00 0 0 0 0 0
1800.03/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.01 c gomory : 0.01 4 0 0 40 0
1800.03/1800.01 c strongcg : 0.01 4 0 0 0 0
1800.03/1800.01 c cmir : 0.00 4 0 0 0 0
1800.03/1800.01 c flowcover : 0.03 4 0 0 0 0
1800.03/1800.01 c clique : 0.00 1 0 0 0 0
1800.03/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.01 c mcf : 0.00 1 0 0 0 0
1800.03/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.01 c Pricers : Time Calls Vars
1800.03/1800.01 c problem variables: 0.00 0 0
1800.03/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c relpscost : 7.40 384312 0 0 0 0 768624
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 135.49 2051677 0 0 0 0 4103354
1800.03/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c random : 0.00 0 0 0 0 0 0
1800.03/1800.01 c Primal Heuristics : Time Calls Found
1800.03/1800.01 c LP solutions : 0.55 - 2
1800.03/1800.01 c pseudo solutions : 0.00 - 0
1800.03/1800.01 c oneopt : 1.15 3 0
1800.03/1800.01 c crossover : 1.11 31 0
1800.03/1800.01 c veclendiving : 13.64 26123 0
1800.03/1800.01 c linesearchdiving : 14.50 26123 0
1800.03/1800.01 c trivial : 0.01 2 1
1800.03/1800.01 c simplerounding : 1.00 384291 0
1800.03/1800.01 c zirounding : 0.66 1000 0
1800.03/1800.01 c rounding : 0.87 8645 0
1800.03/1800.01 c shifting : 1.53 2729 0
1800.03/1800.01 c intshifting : 0.03 19 0
1800.03/1800.01 c twoopt : 0.00 0 0
1800.03/1800.01 c fixandinfer : 0.00 0 0
1800.03/1800.01 c feaspump : 0.00 0 0
1800.03/1800.01 c coefdiving : 13.84 26124 0
1800.03/1800.01 c pscostdiving : 13.64 26123 0
1800.03/1800.01 c fracdiving : 13.09 26124 0
1800.03/1800.01 c intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c objpscostdiving : 14.53 26088 0
1800.03/1800.01 c rootsoldiving : 14.13 26087 0
1800.03/1800.01 c guideddiving : 13.69 26123 0
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.01 1 0
1800.03/1800.01 c rins : 0.00 0 0
1800.03/1800.01 c localbranching : 0.00 0 0
1800.03/1800.01 c mutation : 0.00 0 0
1800.03/1800.01 c dins : 0.00 0 0
1800.03/1800.01 c undercover : 0.00 0 0
1800.03/1800.01 c nlp : 0.54 0 0
1800.03/1800.01 c trysol : 1.30 29684 99
1800.03/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.01 c dual LP : 703.06 755013 3825905 5.07 5441.79
1800.03/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.01 c diving/probing LP: 0.21 545 1699 3.12 8090.48
1800.03/1800.01 c strong branching : 4.77 5141 61831 12.03 12962.47
1800.03/1800.01 c (at root node) : - 33 2808 85.09 -
1800.03/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.01 c B&B Tree :
1800.03/1800.01 c number of runs : 1
1800.03/1800.01 c nodes : 2437608
1800.03/1800.01 c nodes (total) : 2437608
1800.03/1800.01 c nodes left : 2074554
1800.03/1800.01 c max depth : 381
1800.03/1800.01 c max depth (total): 381
1800.03/1800.01 c backtracks : 27057 (1.1%)
1800.03/1800.01 c delayed cutoffs : 354
1800.03/1800.01 c repropagations : 1612 (95094 domain reductions, 354 cutoffs)
1800.03/1800.01 c avg switch length: 2.32
1800.03/1800.01 c switching time : 73.93
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 102 (3 improvements)
1800.03/1800.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.03/1800.01 c Primal Bound : +1.62950000000000e+04 (in run 1, after 2261693 nodes, 1614.42 seconds, depth 83, found by <relaxation>)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Root Iterations : 198
OK 16295
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700200-1278534377/watcher-2700200-1278534377 -o /tmp/evaluation-result-2700200-1278534377/solver-2700200-1278534377 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700200-1278534377.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: 4.65 4.00 2.18 4/178 20393 /proc/meminfo: memFree=28741112/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=9280 CPUtime=0 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 1645 0 0 0 0 0 0 0 25 0 1 0 21651779 9502720 1565 4089446400 4194304 8223781 140733524833760 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/20393/statm: 2320 1565 369 984 0 1333 0 [startup+0.0476191 s] /proc/loadavg: 4.65 4.00 2.18 4/178 20393 /proc/meminfo: memFree=28741112/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=20524 CPUtime=0.04 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 5337 0 0 0 4 0 0 0 25 0 1 0 21651779 21016576 4122 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 5131 4122 462 984 0 4144 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 20524 [startup+0.100592 s] /proc/loadavg: 4.65 4.00 2.18 4/178 20393 /proc/meminfo: memFree=28741112/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=23272 CPUtime=0.09 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 6136 0 0 0 9 0 0 0 25 0 1 0 21651779 23830528 4911 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 5818 4911 563 984 0 4831 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23272 [startup+0.300567 s] /proc/loadavg: 4.65 4.00 2.18 4/178 20393 /proc/meminfo: memFree=28741112/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=30740 CPUtime=0.29 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 10407 0 0 0 28 1 0 0 25 0 1 0 21651779 31477760 6648 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 7685 6648 578 984 0 6698 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30740 [startup+0.700488 s] /proc/loadavg: 4.65 4.00 2.18 4/178 20393 /proc/meminfo: memFree=28741112/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=30740 CPUtime=0.69 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 10407 0 0 0 67 2 0 0 25 0 1 0 21651779 31477760 6648 4089446400 4194304 8223781 140733524833760 18446744073709551615 6446877 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 7685 6648 578 984 0 6698 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30740 [startup+1.50035 s] /proc/loadavg: 4.65 4.00 2.18 3/179 20394 /proc/meminfo: memFree=28713452/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=30740 CPUtime=1.49 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 10407 0 0 0 145 4 0 0 25 0 1 0 21651779 31477760 6648 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 7685 6648 578 984 0 6698 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30740 [startup+3.10107 s] /proc/loadavg: 4.65 4.00 2.18 3/179 20394 /proc/meminfo: memFree=28704276/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=32180 CPUtime=3.09 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 16753 0 0 0 299 10 0 0 25 0 1 0 21651779 32952320 6962 4089446400 4194304 8223781 140733524833760 18446744073709551615 5507443 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 8045 6962 582 984 0 7058 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32180 [startup+6.30052 s] /proc/loadavg: 4.44 3.97 2.18 3/179 20394 /proc/meminfo: memFree=28704168/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=37460 CPUtime=6.29 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 24303 0 0 0 610 19 0 0 25 0 1 0 21651779 38359040 8296 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 9365 8296 582 984 0 8378 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37460 [startup+12.7004 s] /proc/loadavg: 4.25 3.94 2.18 3/179 20394 /proc/meminfo: memFree=28685236/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=46032 CPUtime=12.69 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 29590 0 0 0 1234 35 0 0 25 0 1 0 21651779 47136768 10471 4089446400 4194304 8223781 140733524833760 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 11508 10471 582 984 0 10521 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46032 [startup+25.5002 s] /proc/loadavg: 3.75 3.84 2.18 3/179 20395 /proc/meminfo: memFree=28659444/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=60080 CPUtime=25.49 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 39397 0 0 0 2485 64 0 0 25 0 1 0 21651779 61521920 14052 4089446400 4194304 8223781 140733524833760 18446744073709551615 4561458 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 15020 14052 582 984 0 14033 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60080 [startup+51.1006 s] /proc/loadavg: 3.15 3.69 2.17 3/179 20396 /proc/meminfo: memFree=28623904/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=91864 CPUtime=51.1 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 50568 0 0 0 4989 121 0 0 25 0 1 0 21651779 94068736 22099 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 22966 22099 582 984 0 21979 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 91864 [startup+102.307 s] /proc/loadavg: 2.54 3.44 2.17 3/179 20397 /proc/meminfo: memFree=28540892/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=155728 CPUtime=102.3 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 69362 0 0 0 9989 241 0 0 25 0 1 0 21651779 159465472 37793 4089446400 4194304 8223781 140733524833760 18446744073709551615 6456019 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 38932 37793 582 984 0 37945 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 155728 [startup+162.3 s] /proc/loadavg: 2.20 3.18 2.16 3/179 20398 /proc/meminfo: memFree=28445508/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=228644 CPUtime=162.3 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 87870 0 0 0 15842 388 0 0 25 0 1 0 21651779 234131456 56301 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 57161 56301 582 984 0 56174 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 228644 [startup+222.301 s] /proc/loadavg: 2.11 2.97 2.15 3/179 20400 /proc/meminfo: memFree=28365968/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=306456 CPUtime=222.29 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 109695 0 0 0 21709 520 0 0 25 0 1 0 21651779 313810944 75020 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 76614 75020 582 984 0 75627 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 306456 [startup+282.301 s] /proc/loadavg: 2.04 2.80 2.14 3/179 20402 /proc/meminfo: memFree=28262976/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=378832 CPUtime=282.3 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 128092 0 0 0 27560 670 0 0 25 0 1 0 21651779 387923968 93413 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 94708 93413 582 984 0 93721 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 378832 [startup+342.301 s] /proc/loadavg: 2.01 2.65 2.13 3/179 20403 /proc/meminfo: memFree=28122472/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=456804 CPUtime=342.3 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 150997 0 0 0 33412 818 0 0 25 0 1 0 21651779 467767296 113212 4089446400 4194304 8223781 140733524833760 18446744073709551615 6482456 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 114201 113212 582 984 0 113214 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 456804 [startup+402.301 s] /proc/loadavg: 2.00 2.53 2.12 3/179 20405 /proc/meminfo: memFree=27989612/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=544356 CPUtime=402.3 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 171149 0 0 0 39264 966 0 0 25 0 1 0 21651779 557420544 133364 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 136089 133364 582 984 0 135102 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 544356 [startup+462.301 s] /proc/loadavg: 2.00 2.43 2.10 3/179 20406 /proc/meminfo: memFree=27850288/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=625448 CPUtime=462.3 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 191748 0 0 0 45120 1110 0 0 25 0 1 0 21651779 640458752 153961 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 156362 153961 582 984 0 155375 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 625448 [startup+522.301 s] /proc/loadavg: 2.00 2.35 2.09 3/179 20408 /proc/meminfo: memFree=27721388/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=707548 CPUtime=522.3 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 212603 0 0 0 50988 1242 0 0 25 0 1 0 21651779 724529152 174816 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 176887 174816 582 984 0 175900 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 707548 [startup+582.3 s] /proc/loadavg: 2.00 2.28 2.09 3/179 20410 /proc/meminfo: memFree=27559020/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=786516 CPUtime=582.3 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 232672 0 0 0 56855 1375 0 0 25 0 1 0 21651779 805392384 194885 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 196629 194885 582 984 0 195642 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 786516 [startup+642.301 s] /proc/loadavg: 2.05 2.24 2.08 3/179 20411 /proc/meminfo: memFree=27405660/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=865492 CPUtime=642.31 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 255851 0 0 0 62715 1516 0 0 25 0 1 0 21651779 886263808 214949 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 216373 214949 582 984 0 215386 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 865492 [startup+702.3 s] ################ # More data... # ################ /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 385034 0 0 0 97910 2322 0 0 25 0 1 0 21651779 1423851520 344129 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 347620 344129 586 984 0 346633 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1390480 [startup+1062.3 s] /proc/loadavg: 2.00 2.05 2.05 3/179 20422 /proc/meminfo: memFree=26646600/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=1474880 CPUtime=1062.31 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 406475 0 0 0 103776 2455 0 0 25 0 1 0 21651779 1510277120 365570 4089446400 4194304 8223781 140733524833760 18446744073709551615 6448634 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 368720 365570 586 984 0 367733 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1474880 [startup+1122.3 s] /proc/loadavg: 2.00 2.04 2.04 3/179 20424 /proc/meminfo: memFree=26546592/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=1558748 CPUtime=1122.32 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 427773 0 0 0 109644 2588 0 0 25 0 1 0 21651779 1596157952 386868 4089446400 4194304 8223781 140733524833760 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 389687 386868 586 984 0 388700 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1558748 [startup+1182.3 s] /proc/loadavg: 2.07 2.05 2.04 3/179 20426 /proc/meminfo: memFree=26438536/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=1644904 CPUtime=1182.32 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 449667 0 0 0 115510 2722 0 0 25 0 1 0 21651779 1684381696 408762 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 411226 408762 586 984 0 410239 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1644904 [startup+1242.3 s] /proc/loadavg: 2.02 2.04 2.04 3/179 20427 /proc/meminfo: memFree=26339412/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=1730368 CPUtime=1242.32 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 474503 0 0 0 121368 2864 0 0 25 0 1 0 21651779 1771896832 430489 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 432592 430489 586 984 0 431605 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1730368 [startup+1302.3 s] /proc/loadavg: 2.09 2.04 2.04 3/179 20505 /proc/meminfo: memFree=27549992/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=1815384 CPUtime=1302.33 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 496100 0 0 0 127181 3052 0 0 25 0 1 0 21651779 1858953216 452086 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 453846 452086 586 984 0 452859 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1815384 [startup+1362.3 s] /proc/loadavg: 2.03 2.03 2.03 3/179 20506 /proc/meminfo: memFree=27463476/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=1900768 CPUtime=1362.32 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 517782 0 0 0 132998 3234 0 0 25 0 1 0 21651779 1946386432 473768 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 475192 473768 586 984 0 474205 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1900768 [startup+1422.31 s] /proc/loadavg: 2.01 2.02 2.02 3/179 20535 /proc/meminfo: memFree=27377592/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=1986092 CPUtime=1422.33 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 539460 0 0 0 138792 3441 0 0 25 0 1 0 21651779 2033758208 495446 4089446400 4194304 8223781 140733524833760 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 496523 495446 586 984 0 495536 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1986092 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.02 3/179 20537 /proc/meminfo: memFree=27328316/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=2033904 CPUtime=1482.33 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 573425 0 0 0 144566 3667 0 0 25 0 1 0 21651779 2082717696 507581 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 508476 507581 586 984 0 507489 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2033904 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.01 3/179 20538 /proc/meminfo: memFree=27319828/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=2041916 CPUtime=1542.33 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 581663 0 0 0 150405 3828 0 0 25 0 1 0 21651779 2090921984 509590 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 510479 509590 586 984 0 509492 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2041916 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.01 3/179 20540 /proc/meminfo: memFree=27313212/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=2048736 CPUtime=1602.33 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 583367 0 0 0 156204 4029 0 0 25 0 1 0 21651779 2097905664 511294 4089446400 4194304 8223781 140733524833760 18446744073709551615 4834641 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 512184 511294 586 984 0 511197 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2048736 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20541 /proc/meminfo: memFree=27299028/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=2062740 CPUtime=1662.33 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 603357 0 0 0 161971 4262 0 0 25 0 1 0 21651779 2112245760 514795 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 515685 514795 586 984 0 514698 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2062740 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20543 /proc/meminfo: memFree=27270212/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=2091948 CPUtime=1722.33 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 619927 0 0 0 167767 4466 0 0 25 0 1 0 21651779 2142154752 522096 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 522987 522096 586 984 0 522000 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2091948 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20545 /proc/meminfo: memFree=27223296/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=2170560 CPUtime=1782.33 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 634603 0 0 0 173544 4689 0 0 25 0 1 0 21651779 2222653440 533692 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 542640 533692 588 984 0 541653 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2170560 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20545 /proc/meminfo: memFree=27203808/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=2189440 CPUtime=1800.03 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 639395 0 0 0 175272 4731 0 0 25 0 1 0 21651779 2241986560 538484 4089446400 4194304 8223781 140733524833760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/20393/statm: 547360 538484 588 984 0 546373 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2189440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -20393 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 20546 /proc/meminfo: memFree=27203808/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=2189440 CPUtime=1801.43 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 639397 0 0 0 175412 4731 0 0 20 0 1 0 21651779 2241986560 538486 4089446400 4194304 8223781 140733524833760 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/20393/statm: 547360 538486 590 984 0 546373 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2189440 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 20546 /proc/meminfo: memFree=27203808/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=2189440 CPUtime=1801.83 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 639397 0 0 0 175452 4731 0 0 20 0 1 0 21651779 2241986560 538486 4089446400 4194304 8223781 140733524833760 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/20393/statm: 547360 538486 590 984 0 546373 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 2189440 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 20546 /proc/meminfo: memFree=27203808/32950940 swapFree=67111528/67111528 [pid=20393] ppid=20391 vsize=2189440 CPUtime=1802.03 /proc/20393/stat : 20393 (pbscip.linux.x8) R 20391 20393 19710 0 -1 4202496 639397 0 0 0 175472 4731 0 0 21 0 1 0 21651779 2241986560 538486 4089446400 4194304 8223781 140733524833760 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/20393/statm: 547360 538486 590 984 0 546373 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2189440 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.12 CPU user time (s): 1754.73 CPU system time (s): 47.3878 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2189440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1754.73 system time used= 47.3878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 639397 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 19056 runsolver used 2.50162 second user time and 5.71613 second system time The end
Begin job on node117 at 2010-07-07 22:26:17 IDJOB=2700200 IDBENCH=79408 IDSOLVER=1204 FILE ID=node117/2700200-1278534377 PBS_JOBID= 11239243 Free space on /tmp= 73528 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh06_wcsp.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700200-1278534377/watcher-2700200-1278534377 -o /tmp/evaluation-result-2700200-1278534377/solver-2700200-1278534377 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700200-1278534377.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6d863641d8b2b772fe5ea25b86285712 RANDOM SEED=666712955 node117.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.846 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.69 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.846 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.87 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.846 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.62 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.846 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 : 5251.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 28741640 kB Buffers: 140944 kB Cached: 3219144 kB SwapCached: 0 kB Active: 2083408 kB Inactive: 1960428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 28741640 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4444 kB Writeback: 0 kB AnonPages: 684184 kB Mapped: 16936 kB Slab: 99272 kB PageTables: 5948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 851912 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= 73528 MiB End job on node117 at 2010-07-07 22:56:19