Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1793.15 | 1793.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo |
| MD5SUM | b1fb405af1ad97be8e8be6f605703dc4 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.023995 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 719 |
| Total number of constraints | 593 |
| Number of soft constraints | 593 |
| Number of constraints which are clauses | 371 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 222 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 19 |
| Top cost | 31065 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 31064 |
| Biggest number in a constraint | 773 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2306 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705203-1278578352.wbo>
0.00/0.01 c original problem has 1905 variables (1312 bin, 0 int, 593 impl, 0 cont) and 1187 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 31064
0.00/0.02 c feasible solution found by trivial heuristic, objective value 3.106400e+04
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 2) 0 del vars, 1 del conss, 593 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 1 del conss, 593 chg bounds, 115 chg sides, 230 chg coeffs, 1 upgd conss, 964 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/1312 (7.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (4 rounds):
0.00/0.04 c 0 deleted vars, 1 deleted constraints, 593 tightened bounds, 0 added holes, 115 changed sides, 230 changed coefficients
0.00/0.04 c 968 implications, 0 cliques
0.00/0.04 c presolved problem has 1905 variables (1312 bin, 0 int, 593 impl, 0 cont) and 1186 constraints
0.00/0.04 c 1 constraints of type <varbound>
0.00/0.04 c 592 constraints of type <linear>
0.00/0.04 c 593 constraints of type <indicator>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.3
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1789.99
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 3420
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.04/0.04 c
0.04/0.04 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.04 c t 0.0s| 1 | 0 | 0 | - |5824k| 0 | 0 |1905 |1186 |1905 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.106400e+04 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 102 | - |5993k| 0 | 90 |1905 |1186 |1905 | 105 | 105 | 0 | 0 | 0.000000e+00 | 3.106400e+04 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 220 | - |6145k| 0 | 108 |1905 |1186 |1905 | 248 | 248 | 0 | 0 | 0.000000e+00 | 3.106400e+04 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 317 | - |6307k| 0 | 175 |1905 |1186 |1905 | 322 | 322 | 0 | 0 | 0.000000e+00 | 3.106400e+04 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 371 | - |6491k| 0 | 143 |1905 |1186 |1905 | 405 | 405 | 0 | 0 | 0.000000e+00 | 3.106400e+04 | Inf
0.19/0.27 c 0.3s| 1 | 0 | 407 | - |6589k| 0 | 151 |1905 |1186 |1905 | 445 | 445 | 0 | 0 | 0.000000e+00 | 3.106400e+04 | Inf
0.29/0.35 c 0.3s| 1 | 0 | 514 | - |6699k| 0 | 166 |1905 |1186 |1905 | 493 | 493 | 0 | 0 | 0.000000e+00 | 3.106400e+04 | Inf
0.59/0.62 c 0.6s| 1 | 2 | 514 | - |6724k| 0 | 166 |1905 |1186 |1905 | 493 | 493 | 0 | 33 | 0.000000e+00 | 3.106400e+04 | Inf
3.89/3.96 o 30969
3.89/3.96 c y 3.9s| 137 | 136 | 2353 | 13.5 |6989k| 110 | 7 |1905 |1186 |1905 | 385 | 519 | 0 |1500 | 0.000000e+00 | 3.096900e+04 | Inf
13.79/13.87 c 13.9s| 10000 | 9997 | 41019 | 4.1 | 19M| 201 | 15 |1905 |1188 |1905 | 376 |2496 | 2 |2673 | 0.000000e+00 | 3.096900e+04 | Inf
23.20/23.29 c 23.3s| 20000 | 19995 | 75888 | 3.8 | 29M| 207 | 0 |1905 |1189 |1905 | 384 |4356 | 3 |2803 | 0.000000e+00 | 3.096900e+04 | Inf
32.69/32.79 c 32.8s| 30000 | 29995 |109625 | 3.6 | 38M| 207 | 5 |1905 |1189 |1905 | 366 |6364 | 3 |2819 | 0.000000e+00 | 3.096900e+04 | Inf
42.39/42.44 c 42.4s| 40000 | 39995 |146654 | 3.7 | 48M| 207 | 0 |1905 |1189 |1905 | 381 |8185 | 3 |2848 | 0.000000e+00 | 3.096900e+04 | Inf
51.99/52.01 c 52.0s| 50000 | 49995 |182703 | 3.6 | 58M| 207 | 2 |1905 |1189 |1905 | 359 | 10k| 3 |2851 | 0.000000e+00 | 3.096900e+04 | Inf
61.50/61.57 c 61.6s| 60000 | 59995 |218245 | 3.6 | 68M| 207 | 23 |1905 |1189 |1905 | 377 | 12k| 3 |2860 | 0.000000e+00 | 3.096900e+04 | Inf
71.40/71.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.40/71.49 c 71.5s| 70000 | 69993 |255339 | 3.6 | 78M| 207 | 4 |1905 |1190 |1905 | 376 | 14k| 4 |3214 | 0.000000e+00 | 3.096900e+04 | Inf
81.30/81.33 c 81.3s| 80000 | 79993 |291368 | 3.6 | 88M| 211 | 34 |1905 |1190 |1905 | 376 | 16k| 4 |3515 | 0.000000e+00 | 3.096900e+04 | Inf
91.29/91.34 c 91.3s| 90000 | 89989 |331928 | 3.7 | 98M| 211 | 12 |1905 |1192 |1905 | 377 | 18k| 6 |3898 | 0.000000e+00 | 3.096900e+04 | Inf
101.39/101.48 c 101s|100000 | 99989 |372600 | 3.7 | 108M| 213 | 2 |1905 |1192 |1905 | 379 | 20k| 6 |4273 | 0.000000e+00 | 3.096900e+04 | Inf
111.20/111.22 c 111s|110000 |109989 |408390 | 3.7 | 118M| 213 | 1 |1905 |1192 |1905 | 379 | 22k| 6 |4469 | 0.000000e+00 | 3.096900e+04 | Inf
121.00/121.09 c 121s|120000 |119989 |443778 | 3.7 | 128M| 213 | 4 |1905 |1192 |1905 | 376 | 24k| 6 |4824 | 0.000000e+00 | 3.096900e+04 | Inf
130.69/130.78 c 131s|130000 |129989 |479590 | 3.7 | 138M| 215 | 7 |1905 |1192 |1905 | 376 | 25k| 6 |5075 | 0.000000e+00 | 3.096900e+04 | Inf
140.80/140.85 c 141s|140000 |139989 |518966 | 3.7 | 148M| 215 | 1 |1905 |1192 |1905 | 359 | 27k| 6 |5590 | 0.000000e+00 | 3.096900e+04 | Inf
150.60/150.65 c 151s|150000 |149989 |557724 | 3.7 | 158M| 215 | 9 |1905 |1192 |1905 | 379 | 29k| 6 |5787 | 0.000000e+00 | 3.096900e+04 | Inf
160.40/160.43 c 160s|160000 |159989 |594810 | 3.7 | 168M| 215 | 22 |1905 |1192 |1905 | 377 | 31k| 6 |5956 | 0.000000e+00 | 3.096900e+04 | Inf
170.20/170.26 c 170s|170000 |169989 |631051 | 3.7 | 177M| 215 | 2 |1905 |1192 |1905 | 383 | 33k| 6 |6195 | 0.000000e+00 | 3.096900e+04 | Inf
180.10/180.15 c 180s|180000 |179989 |667980 | 3.7 | 187M| 219 | 20 |1905 |1192 |1905 | 376 | 35k| 6 |6451 | 0.000000e+00 | 3.096900e+04 | Inf
190.10/190.13 c 190s|190000 |189989 |707660 | 3.7 | 197M| 219 | 25 |1905 |1192 |1905 | 377 | 37k| 6 |6716 | 0.000000e+00 | 3.096900e+04 | Inf
199.90/199.98 c 200s|200000 |199989 |745909 | 3.7 | 207M| 219 | 9 |1905 |1191 |1905 | 377 | 39k| 6 |6922 | 0.000000e+00 | 3.096900e+04 | Inf
209.80/209.85 c 210s|210000 |209989 |782940 | 3.7 | 217M| 219 | 6 |1905 |1191 |1905 | 377 | 41k| 6 |7116 | 0.000000e+00 | 3.096900e+04 | Inf
220.09/220.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.09/220.16 c 220s|220000 |219989 |821274 | 3.7 | 227M| 219 | 19 |1905 |1191 |1905 | 377 | 43k| 6 |7793 | 0.000000e+00 | 3.096900e+04 | Inf
229.80/229.82 c 230s|230000 |229989 |859880 | 3.7 | 237M| 219 | 22 |1905 |1191 |1905 | 377 | 45k| 6 |7804 | 0.000000e+00 | 3.096900e+04 | Inf
239.60/239.70 c 240s|240000 |239989 |898371 | 3.7 | 247M| 219 | 23 |1905 |1191 |1905 | 377 | 47k| 6 |8014 | 0.000000e+00 | 3.096900e+04 | Inf
248.40/248.46 c 248s|250000 |249989 |936676 | 3.7 | 257M| 219 | 11 |1905 |1191 |1905 | 377 | 49k| 6 |8183 | 0.000000e+00 | 3.096900e+04 | Inf
257.20/257.26 c 257s|260000 |259989 |975656 | 3.8 | 267M| 219 | 25 |1905 |1191 |1905 | 377 | 51k| 6 |8374 | 0.000000e+00 | 3.096900e+04 | Inf
265.90/265.98 c 266s|270000 |269989 | 1014k| 3.8 | 277M| 219 | 26 |1905 |1191 |1905 | 376 | 53k| 6 |8551 | 0.000000e+00 | 3.096900e+04 | Inf
274.60/274.68 c 275s|280000 |279989 | 1052k| 3.8 | 287M| 219 | 21 |1905 |1191 |1905 | 377 | 55k| 6 |8727 | 0.000000e+00 | 3.096900e+04 | Inf
283.40/283.41 c 283s|290000 |289989 | 1089k| 3.8 | 297M| 219 | 8 |1905 |1191 |1905 | 378 | 57k| 6 |8880 | 0.000000e+00 | 3.096900e+04 | Inf
292.10/292.11 c 292s|300000 |299989 | 1126k| 3.8 | 307M| 219 | 1 |1905 |1191 |1905 | 376 | 59k| 6 |9040 | 0.000000e+00 | 3.096900e+04 | Inf
300.80/300.84 c 301s|310000 |309989 | 1163k| 3.8 | 316M| 219 | 19 |1905 |1191 |1905 | 382 | 61k| 6 |9240 | 0.000000e+00 | 3.096900e+04 | Inf
309.40/309.48 c 309s|320000 |319989 | 1200k| 3.8 | 326M| 219 | 22 |1905 |1191 |1905 | 379 | 63k| 6 |9424 | 0.000000e+00 | 3.096900e+04 | Inf
318.10/318.11 c 318s|330000 |329989 | 1238k| 3.8 | 336M| 219 | 1 |1905 |1191 |1905 | 377 | 65k| 6 |9603 | 0.000000e+00 | 3.096900e+04 | Inf
326.70/326.77 c 327s|340000 |339989 | 1276k| 3.8 | 346M| 219 | 7 |1905 |1191 |1905 | 377 | 66k| 6 |9743 | 0.000000e+00 | 3.096900e+04 | Inf
335.40/335.43 c 335s|350000 |349989 | 1315k| 3.8 | 356M| 219 | 0 |1905 |1191 |1905 | 378 | 68k| 6 |9871 | 0.000000e+00 | 3.096900e+04 | Inf
344.10/344.13 c 344s|360000 |359989 | 1354k| 3.8 | 366M| 219 | 7 |1905 |1191 |1905 | 379 | 70k| 6 | 10k| 0.000000e+00 | 3.096900e+04 | Inf
352.80/352.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.80/352.85 c 353s|370000 |369989 | 1393k| 3.8 | 376M| 219 | 9 |1905 |1191 |1905 | 379 | 72k| 6 | 10k| 0.000000e+00 | 3.096900e+04 | Inf
361.50/361.52 c 362s|380000 |379989 | 1431k| 3.8 | 386M| 219 | 0 |1905 |1191 |1905 | 381 | 75k| 6 | 10k| 0.000000e+00 | 3.096900e+04 | Inf
370.19/370.24 c 370s|390000 |389989 | 1468k| 3.8 | 396M| 223 | 2 |1905 |1191 |1905 | 381 | 76k| 6 | 10k| 0.000000e+00 | 3.096900e+04 | Inf
378.80/378.86 c 379s|400000 |399987 | 1506k| 3.8 | 406M| 223 | 27 |1905 |1191 |1905 | 376 | 78k| 7 | 10k| 0.000000e+00 | 3.096900e+04 | Inf
387.50/387.53 c 388s|410000 |409987 | 1543k| 3.8 | 415M| 223 | 2 |1905 |1191 |1905 | 376 | 80k| 7 | 10k| 0.000000e+00 | 3.096900e+04 | Inf
396.10/396.13 c 396s|420000 |419987 | 1581k| 3.8 | 425M| 223 | 26 |1905 |1191 |1905 | 376 | 82k| 7 | 10k| 0.000000e+00 | 3.096900e+04 | Inf
404.71/404.73 c 405s|430000 |429987 | 1618k| 3.8 | 435M| 223 | 0 |1905 |1191 |1905 | 382 | 84k| 7 | 11k| 0.000000e+00 | 3.096900e+04 | Inf
413.29/413.39 c 413s|440000 |439987 | 1656k| 3.8 | 445M| 223 | 28 |1905 |1191 |1905 | 376 | 86k| 7 | 11k| 0.000000e+00 | 3.096900e+04 | Inf
422.00/422.01 c 422s|450000 |449987 | 1693k| 3.8 | 455M| 223 | 10 |1905 |1191 |1905 | 380 | 88k| 7 | 11k| 0.000000e+00 | 3.096900e+04 | Inf
430.50/430.53 c 431s|460000 |459987 | 1732k| 3.8 | 465M| 223 | 3 |1905 |1191 |1905 | 359 | 90k| 7 | 11k| 0.000000e+00 | 3.096900e+04 | Inf
439.20/439.20 c 439s|470000 |469987 | 1772k| 3.8 | 475M| 223 | 15 |1905 |1191 |1905 | 379 | 92k| 7 | 11k| 0.000000e+00 | 3.096900e+04 | Inf
447.70/447.80 c 448s|480000 |479987 | 1810k| 3.8 | 484M| 223 | 0 |1905 |1191 |1905 | 382 | 94k| 7 | 11k| 0.000000e+00 | 3.096900e+04 | Inf
456.40/456.42 c 456s|490000 |489987 | 1846k| 3.8 | 494M| 223 | 6 |1905 |1190 |1905 | 376 | 96k| 7 | 12k| 0.000000e+00 | 3.096900e+04 | Inf
465.00/465.08 c 465s|500000 |499987 | 1884k| 3.8 | 504M| 223 | 0 |1905 |1190 |1905 | 382 | 98k| 7 | 12k| 0.000000e+00 | 3.096900e+04 | Inf
473.60/473.69 c 474s|510000 |509987 | 1922k| 3.8 | 514M| 223 | 11 |1905 |1190 |1905 | 377 | 100k| 7 | 12k| 0.000000e+00 | 3.096900e+04 | Inf
482.39/482.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.39/482.42 c 482s|520000 |519987 | 1961k| 3.8 | 524M| 223 | 0 |1905 |1190 |1905 | 382 | 102k| 7 | 12k| 0.000000e+00 | 3.096900e+04 | Inf
491.09/491.14 c 491s|530000 |529987 | 1999k| 3.8 | 534M| 223 | 17 |1905 |1190 |1905 | 377 | 104k| 7 | 12k| 0.000000e+00 | 3.096900e+04 | Inf
499.79/499.80 c 500s|540000 |539987 | 2038k| 3.8 | 544M| 223 | 0 |1905 |1190 |1905 | 382 | 106k| 7 | 12k| 0.000000e+00 | 3.096900e+04 | Inf
508.49/508.54 c 509s|550000 |549987 | 2076k| 3.8 | 554M| 223 | 13 |1905 |1190 |1905 | 375 | 108k| 7 | 12k| 0.000000e+00 | 3.096900e+04 | Inf
517.19/517.29 c 517s|560000 |559987 | 2114k| 3.8 | 564M| 223 | 3 |1905 |1190 |1905 | 378 | 110k| 7 | 12k| 0.000000e+00 | 3.096900e+04 | Inf
525.90/525.93 c 526s|570000 |569987 | 2152k| 3.8 | 574M| 223 | 23 |1905 |1190 |1905 | 377 | 112k| 7 | 13k| 0.000000e+00 | 3.096900e+04 | Inf
534.40/534.43 c 534s|580000 |579987 | 2191k| 3.8 | 583M| 223 | 3 |1905 |1190 |1905 | 384 | 114k| 7 | 13k| 0.000000e+00 | 3.096900e+04 | Inf
543.10/543.13 c 543s|590000 |589987 | 2230k| 3.8 | 593M| 223 | 27 |1905 |1190 |1905 | 376 | 116k| 7 | 13k| 0.000000e+00 | 3.096900e+04 | Inf
551.70/551.72 c 552s|600000 |599987 | 2267k| 3.8 | 603M| 223 | 0 |1905 |1190 |1905 | 379 | 118k| 7 | 13k| 0.000000e+00 | 3.096900e+04 | Inf
560.30/560.33 c 560s|610000 |609987 | 2305k| 3.8 | 613M| 223 | 1 |1905 |1190 |1905 | 376 | 120k| 7 | 13k| 0.000000e+00 | 3.096900e+04 | Inf
569.00/569.00 c 569s|620000 |619987 | 2342k| 3.8 | 623M| 223 | 0 |1905 |1190 |1905 | 380 | 122k| 7 | 13k| 0.000000e+00 | 3.096900e+04 | Inf
577.60/577.64 c 578s|630000 |629987 | 2379k| 3.8 | 633M| 223 | 2 |1905 |1190 |1905 | 359 | 124k| 7 | 13k| 0.000000e+00 | 3.096900e+04 | Inf
586.20/586.21 c 586s|640000 |639987 | 2417k| 3.8 | 643M| 223 | 1 |1905 |1190 |1905 | 376 | 126k| 7 | 13k| 0.000000e+00 | 3.096900e+04 | Inf
594.80/594.88 c 595s|650000 |649987 | 2456k| 3.8 | 653M| 223 | 2 |1905 |1190 |1905 | 382 | 128k| 7 | 14k| 0.000000e+00 | 3.096900e+04 | Inf
603.50/603.54 c 604s|660000 |659987 | 2495k| 3.8 | 663M| 223 | 13 |1905 |1190 |1905 | 382 | 130k| 7 | 14k| 0.000000e+00 | 3.096900e+04 | Inf
612.10/612.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.10/612.17 c 612s|670000 |669987 | 2534k| 3.8 | 673M| 223 | 4 |1905 |1190 |1905 | 384 | 132k| 7 | 14k| 0.000000e+00 | 3.096900e+04 | Inf
620.90/620.90 c 621s|680000 |679987 | 2573k| 3.8 | 683M| 223 | 8 |1905 |1190 |1905 | 378 | 134k| 7 | 14k| 0.000000e+00 | 3.096900e+04 | Inf
629.50/629.56 c 630s|690000 |689987 | 2613k| 3.8 | 693M| 223 | 0 |1905 |1190 |1905 | 385 | 136k| 7 | 14k| 0.000000e+00 | 3.096900e+04 | Inf
638.20/638.20 c 638s|700000 |699987 | 2651k| 3.8 | 702M| 223 | 8 |1905 |1190 |1905 | 376 | 138k| 7 | 14k| 0.000000e+00 | 3.096900e+04 | Inf
646.90/646.90 c 647s|710000 |709987 | 2690k| 3.8 | 712M| 223 | 0 |1905 |1190 |1905 | 381 | 140k| 7 | 14k| 0.000000e+00 | 3.096900e+04 | Inf
655.61/655.63 c 656s|720000 |719987 | 2729k| 3.8 | 722M| 223 | 14 |1905 |1190 |1905 | 375 | 142k| 7 | 14k| 0.000000e+00 | 3.096900e+04 | Inf
664.20/664.28 c 664s|730000 |729987 | 2767k| 3.8 | 732M| 223 | 4 |1905 |1190 |1905 | 379 | 144k| 7 | 15k| 0.000000e+00 | 3.096900e+04 | Inf
672.81/672.84 c 673s|740000 |739987 | 2804k| 3.8 | 742M| 223 | 20 |1905 |1190 |1905 | 377 | 146k| 7 | 15k| 0.000000e+00 | 3.096900e+04 | Inf
681.60/681.63 c 682s|750000 |749987 | 2842k| 3.8 | 752M| 223 | 0 |1905 |1190 |1905 | 380 | 147k| 7 | 15k| 0.000000e+00 | 3.096900e+04 | Inf
690.30/690.31 c 690s|760000 |759987 | 2880k| 3.8 | 762M| 223 | 8 |1905 |1190 |1905 | 377 | 149k| 7 | 15k| 0.000000e+00 | 3.096900e+04 | Inf
698.80/698.82 c 699s|770000 |769987 | 2916k| 3.8 | 772M| 223 | 0 |1905 |1190 |1905 | 384 | 151k| 7 | 15k| 0.000000e+00 | 3.096900e+04 | Inf
707.50/707.54 c 708s|780000 |779987 | 2953k| 3.8 | 782M| 223 | 37 |1905 |1190 |1905 | 377 | 153k| 7 | 15k| 0.000000e+00 | 3.096900e+04 | Inf
716.11/716.12 c 716s|790000 |789987 | 2988k| 3.8 | 792M| 223 | 9 |1905 |1190 |1905 | 379 | 155k| 7 | 15k| 0.000000e+00 | 3.096900e+04 | Inf
724.81/724.81 c 725s|800000 |799987 | 3027k| 3.8 | 801M| 223 | 38 |1905 |1190 |1905 | 377 | 157k| 7 | 15k| 0.000000e+00 | 3.096900e+04 | Inf
733.40/733.45 c 733s|810000 |809987 | 3065k| 3.8 | 811M| 223 | 5 |1905 |1190 |1905 | 383 | 159k| 7 | 16k| 0.000000e+00 | 3.096900e+04 | Inf
742.11/742.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.11/742.19 c 742s|820000 |819987 | 3104k| 3.8 | 821M| 223 | 16 |1905 |1190 |1905 | 376 | 161k| 7 | 16k| 0.000000e+00 | 3.096900e+04 | Inf
750.90/750.97 c 751s|830000 |829987 | 3142k| 3.8 | 831M| 223 | 1 |1905 |1190 |1905 | 377 | 163k| 7 | 16k| 0.000000e+00 | 3.096900e+04 | Inf
759.60/759.69 c 760s|840000 |839987 | 3180k| 3.8 | 841M| 223 | 33 |1905 |1190 |1905 | 377 | 165k| 7 | 16k| 0.000000e+00 | 3.096900e+04 | Inf
768.30/768.38 c 768s|850000 |849987 | 3217k| 3.8 | 851M| 223 | 9 |1905 |1190 |1905 | 380 | 167k| 7 | 16k| 0.000000e+00 | 3.096900e+04 | Inf
777.01/777.10 c 777s|860000 |859987 | 3255k| 3.8 | 861M| 223 | 38 |1905 |1190 |1905 | 378 | 169k| 7 | 16k| 0.000000e+00 | 3.096900e+04 | Inf
785.71/785.75 c 786s|870000 |869987 | 3292k| 3.8 | 871M| 223 | 9 |1905 |1190 |1905 | 384 | 171k| 7 | 16k| 0.000000e+00 | 3.096900e+04 | Inf
794.31/794.38 c 794s|880000 |879987 | 3328k| 3.8 | 881M| 223 | 25 |1905 |1190 |1905 | 377 | 173k| 7 | 16k| 0.000000e+00 | 3.096900e+04 | Inf
803.01/803.04 c 803s|890000 |889987 | 3365k| 3.8 | 891M| 223 | 0 |1905 |1190 |1905 | 383 | 175k| 7 | 17k| 0.000000e+00 | 3.096900e+04 | Inf
811.71/811.76 c 812s|900000 |899987 | 3402k| 3.8 | 901M| 223 | 4 |1905 |1190 |1905 | 359 | 177k| 7 | 17k| 0.000000e+00 | 3.096900e+04 | Inf
820.41/820.44 c 820s|910000 |909987 | 3439k| 3.8 | 911M| 223 | 9 |1905 |1190 |1905 | 379 | 179k| 7 | 17k| 0.000000e+00 | 3.096900e+04 | Inf
829.11/829.12 c 829s|920000 |919987 | 3475k| 3.8 | 921M| 223 | 45 |1905 |1190 |1905 | 376 | 181k| 7 | 17k| 0.000000e+00 | 3.096900e+04 | Inf
837.61/837.69 c 838s|930000 |929987 | 3511k| 3.8 | 931M| 223 | 13 |1905 |1190 |1905 | 380 | 183k| 7 | 17k| 0.000000e+00 | 3.096900e+04 | Inf
846.31/846.32 c 846s|940000 |939987 | 3547k| 3.8 | 941M| 223 | 11 |1905 |1190 |1905 | 376 | 184k| 7 | 17k| 0.000000e+00 | 3.096900e+04 | Inf
854.91/854.90 c 855s|950000 |949987 | 3583k| 3.8 | 951M| 223 | 6 |1905 |1190 |1905 | 378 | 186k| 7 | 17k| 0.000000e+00 | 3.096900e+04 | Inf
863.41/863.48 c 863s|960000 |959987 | 3618k| 3.8 | 961M| 223 | 4 |1905 |1190 |1905 | 359 | 188k| 7 | 17k| 0.000000e+00 | 3.096900e+04 | Inf
872.01/872.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.01/872.06 c 872s|970000 |969987 | 3653k| 3.8 | 971M| 223 | 16 |1905 |1190 |1905 | 377 | 190k| 7 | 17k| 0.000000e+00 | 3.096900e+04 | Inf
880.81/880.82 c 881s|980000 |979987 | 3691k| 3.8 | 980M| 223 | 26 |1905 |1190 |1905 | 378 | 192k| 7 | 18k| 0.000000e+00 | 3.096900e+04 | Inf
889.41/889.48 c 889s|990000 |989987 | 3727k| 3.8 | 990M| 223 | 19 |1905 |1192 |1905 | 378 | 194k| 10 | 18k| 0.000000e+00 | 3.096900e+04 | Inf
898.02/898.03 c 898s| 1000k|999987 | 3762k| 3.8 |1000M| 223 | 1 |1905 |1191 |1905 | 379 | 196k| 10 | 18k| 0.000000e+00 | 3.096900e+04 | Inf
906.61/906.69 c 907s| 1010k| 1009k| 3800k| 3.8 |1010M| 223 | 18 |1905 |1191 |1905 | 376 | 198k| 10 | 18k| 0.000000e+00 | 3.096900e+04 | Inf
915.31/915.37 c 915s| 1020k| 1019k| 3837k| 3.8 |1020M| 223 | 2 |1905 |1191 |1905 | 379 | 200k| 10 | 18k| 0.000000e+00 | 3.096900e+04 | Inf
924.11/924.13 c 924s| 1030k| 1029k| 3873k| 3.8 |1030M| 223 | 19 |1905 |1190 |1905 | 377 | 202k| 10 | 18k| 0.000000e+00 | 3.096900e+04 | Inf
932.71/932.72 c 933s| 1040k| 1039k| 3911k| 3.8 |1040M| 223 | 1 |1905 |1190 |1905 | 381 | 204k| 10 | 18k| 0.000000e+00 | 3.096900e+04 | Inf
941.31/941.35 c 941s| 1050k| 1049k| 3949k| 3.8 |1050M| 223 | 22 |1905 |1190 |1905 | 376 | 206k| 10 | 18k| 0.000000e+00 | 3.096900e+04 | Inf
949.91/949.99 c 950s| 1060k| 1059k| 3987k| 3.8 |1059M| 223 | 1 |1905 |1190 |1905 | 384 | 208k| 10 | 19k| 0.000000e+00 | 3.096900e+04 | Inf
958.71/958.72 c 959s| 1070k| 1069k| 4025k| 3.8 |1069M| 223 | 5 |1905 |1190 |1905 | 379 | 209k| 10 | 19k| 0.000000e+00 | 3.096900e+04 | Inf
967.22/967.27 c 967s| 1080k| 1079k| 4061k| 3.8 |1079M| 223 | 0 |1905 |1190 |1905 | 378 | 211k| 10 | 19k| 0.000000e+00 | 3.096900e+04 | Inf
975.72/975.73 c 976s| 1090k| 1089k| 4095k| 3.8 |1089M| 223 | 5 |1905 |1190 |1905 | 377 | 213k| 10 | 19k| 0.000000e+00 | 3.096900e+04 | Inf
984.21/984.26 c 984s| 1100k| 1099k| 4130k| 3.8 |1099M| 225 | 14 |1905 |1190 |1905 | 377 | 215k| 10 | 19k| 0.000000e+00 | 3.096900e+04 | Inf
992.72/992.79 c 993s| 1110k| 1109k| 4165k| 3.8 |1109M| 225 | 0 |1905 |1190 |1905 | 378 | 217k| 10 | 19k| 0.000000e+00 | 3.096900e+04 | Inf
1001.11/1001.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.11/1001.17 c 1001s| 1120k| 1119k| 4198k| 3.7 |1119M| 225 | 8 |1905 |1190 |1905 | 377 | 219k| 10 | 19k| 0.000000e+00 | 3.096900e+04 | Inf
1009.61/1009.62 c 1010s| 1130k| 1129k| 4231k| 3.7 |1129M| 225 | 31 |1905 |1190 |1905 | 376 | 221k| 10 | 19k| 0.000000e+00 | 3.096900e+04 | Inf
1018.22/1018.29 c 1018s| 1140k| 1139k| 4266k| 3.7 |1138M| 225 | 0 |1905 |1190 |1905 | 380 | 223k| 10 | 19k| 0.000000e+00 | 3.096900e+04 | Inf
1026.82/1026.87 c 1027s| 1150k| 1149k| 4301k| 3.7 |1148M| 225 | 0 |1905 |1190 |1905 | 377 | 225k| 10 | 19k| 0.000000e+00 | 3.096900e+04 | Inf
1035.51/1035.53 c 1036s| 1160k| 1159k| 4338k| 3.7 |1158M| 225 | 8 |1905 |1190 |1905 | 379 | 226k| 10 | 19k| 0.000000e+00 | 3.096900e+04 | Inf
1044.22/1044.22 c 1044s| 1170k| 1169k| 4375k| 3.7 |1168M| 225 | 20 |1905 |1190 |1905 | 376 | 229k| 10 | 19k| 0.000000e+00 | 3.096900e+04 | Inf
1053.02/1053.01 c 1053s| 1180k| 1179k| 4413k| 3.7 |1178M| 225 | 0 |1905 |1190 |1905 | 381 | 231k| 10 | 20k| 0.000000e+00 | 3.096900e+04 | Inf
1061.62/1061.69 c 1062s| 1190k| 1189k| 4451k| 3.7 |1188M| 225 | 0 |1905 |1190 |1905 | 380 | 233k| 10 | 20k| 0.000000e+00 | 3.096900e+04 | Inf
1070.52/1070.51 c 1071s| 1200k| 1199k| 4489k| 3.7 |1197M| 225 | 9 |1905 |1190 |1905 | 376 | 235k| 10 | 20k| 0.000000e+00 | 3.096900e+04 | Inf
1079.12/1079.15 c 1079s| 1210k| 1209k| 4528k| 3.7 |1207M| 225 | 8 |1905 |1190 |1905 | 384 | 237k| 10 | 20k| 0.000000e+00 | 3.096900e+04 | Inf
1087.82/1087.85 c 1088s| 1220k| 1219k| 4566k| 3.7 |1217M| 225 | 0 |1905 |1190 |1905 | 378 | 239k| 10 | 20k| 0.000000e+00 | 3.096900e+04 | Inf
1096.52/1096.56 c 1097s| 1230k| 1229k| 4605k| 3.7 |1227M| 225 | 10 |1905 |1190 |1905 | 377 | 241k| 10 | 20k| 0.000000e+00 | 3.096900e+04 | Inf
1105.21/1105.26 c 1105s| 1240k| 1239k| 4643k| 3.7 |1237M| 225 | 2 |1905 |1190 |1905 | 359 | 243k| 10 | 20k| 0.000000e+00 | 3.096900e+04 | Inf
1113.92/1113.91 c 1114s| 1250k| 1249k| 4679k| 3.7 |1247M| 225 | 0 |1905 |1190 |1905 | 380 | 245k| 10 | 20k| 0.000000e+00 | 3.096900e+04 | Inf
1122.42/1122.48 c 1122s| 1260k| 1259k| 4715k| 3.7 |1256M| 225 | 18 |1905 |1190 |1905 | 379 | 247k| 10 | 20k| 0.000000e+00 | 3.096900e+04 | Inf
1131.02/1131.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1131.02/1131.08 c 1131s| 1270k| 1269k| 4751k| 3.7 |1266M| 225 | 26 |1905 |1190 |1905 | 376 | 249k| 10 | 20k| 0.000000e+00 | 3.096900e+04 | Inf
1139.63/1139.61 c 1140s| 1280k| 1279k| 4787k| 3.7 |1276M| 225 | 0 |1905 |1190 |1905 | 378 | 250k| 10 | 20k| 0.000000e+00 | 3.096900e+04 | Inf
1148.22/1148.28 c 1148s| 1290k| 1289k| 4822k| 3.7 |1286M| 225 | 0 |1905 |1190 |1905 | 379 | 252k| 10 | 21k| 0.000000e+00 | 3.096900e+04 | Inf
1156.92/1156.90 c 1157s| 1300k| 1299k| 4859k| 3.7 |1296M| 225 | 18 |1905 |1190 |1905 | 377 | 254k| 10 | 21k| 0.000000e+00 | 3.096900e+04 | Inf
1165.62/1165.63 c 1166s| 1310k| 1309k| 4897k| 3.7 |1305M| 225 | 35 |1905 |1190 |1905 | 376 | 256k| 10 | 21k| 0.000000e+00 | 3.096900e+04 | Inf
1174.22/1174.21 c 1174s| 1320k| 1319k| 4934k| 3.7 |1315M| 225 | 0 |1905 |1190 |1905 | 380 | 258k| 10 | 21k| 0.000000e+00 | 3.096900e+04 | Inf
1182.82/1182.86 c 1183s| 1330k| 1329k| 4971k| 3.7 |1325M| 225 | 5 |1905 |1190 |1905 | 379 | 260k| 10 | 21k| 0.000000e+00 | 3.096900e+04 | Inf
1191.52/1191.53 c 1192s| 1340k| 1339k| 5007k| 3.7 |1335M| 225 | 14 |1905 |1190 |1905 | 379 | 262k| 10 | 21k| 0.000000e+00 | 3.096900e+04 | Inf
1200.22/1200.24 c 1200s| 1350k| 1349k| 5046k| 3.7 |1344M| 225 | 0 |1905 |1190 |1905 | 384 | 264k| 10 | 21k| 0.000000e+00 | 3.096900e+04 | Inf
1208.93/1208.97 c 1209s| 1360k| 1359k| 5084k| 3.7 |1354M| 225 | 7 |1905 |1190 |1905 | 379 | 266k| 10 | 21k| 0.000000e+00 | 3.096900e+04 | Inf
1217.52/1217.59 c 1218s| 1370k| 1369k| 5122k| 3.7 |1364M| 225 | 23 |1905 |1190 |1905 | 378 | 268k| 10 | 21k| 0.000000e+00 | 3.096900e+04 | Inf
1226.33/1226.37 c 1226s| 1380k| 1379k| 5160k| 3.7 |1374M| 225 | 23 |1905 |1190 |1905 | 377 | 270k| 10 | 21k| 0.000000e+00 | 3.096900e+04 | Inf
1235.02/1235.09 c 1235s| 1390k| 1389k| 5198k| 3.7 |1384M| 225 | 0 |1905 |1190 |1905 | 381 | 272k| 10 | 21k| 0.000000e+00 | 3.096900e+04 | Inf
1243.82/1243.80 c 1244s| 1400k| 1399k| 5235k| 3.7 |1394M| 225 | 0 |1905 |1190 |1905 | 380 | 274k| 10 | 21k| 0.000000e+00 | 3.096900e+04 | Inf
1252.42/1252.45 c 1252s| 1410k| 1409k| 5272k| 3.7 |1404M| 225 | 13 |1905 |1190 |1905 | 376 | 276k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1261.02/1261.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1261.02/1261.06 c 1261s| 1420k| 1419k| 5309k| 3.7 |1414M| 225 | 0 |1905 |1190 |1905 | 381 | 278k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1269.62/1269.60 c 1270s| 1430k| 1429k| 5344k| 3.7 |1424M| 225 | 10 |1905 |1190 |1905 | 376 | 280k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1278.13/1278.11 c 1278s| 1440k| 1439k| 5379k| 3.7 |1433M| 225 | 0 |1905 |1190 |1905 | 379 | 282k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1286.62/1286.69 c 1287s| 1450k| 1449k| 5415k| 3.7 |1443M| 225 | 27 |1905 |1190 |1905 | 376 | 284k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1295.23/1295.24 c 1295s| 1460k| 1459k| 5451k| 3.7 |1453M| 225 | 0 |1905 |1190 |1905 | 381 | 286k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1303.73/1303.76 c 1304s| 1470k| 1469k| 5486k| 3.7 |1463M| 225 | 24 |1905 |1190 |1905 | 377 | 288k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1312.23/1312.28 c 1312s| 1480k| 1479k| 5522k| 3.7 |1473M| 225 | 4 |1905 |1190 |1905 | 359 | 290k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1320.73/1320.70 c 1321s| 1490k| 1489k| 5557k| 3.7 |1483M| 225 | 1 |1905 |1190 |1905 | 380 | 292k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1329.22/1329.24 c 1329s| 1500k| 1499k| 5590k| 3.7 |1493M| 225 | 18 |1905 |1190 |1905 | 379 | 294k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1337.63/1337.66 c 1338s| 1510k| 1509k| 5623k| 3.7 |1502M| 225 | 29 |1905 |1190 |1905 | 376 | 296k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1346.13/1346.18 c 1346s| 1520k| 1519k| 5657k| 3.7 |1512M| 225 | 8 |1905 |1190 |1905 | 380 | 298k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1354.63/1354.63 c 1355s| 1530k| 1529k| 5691k| 3.7 |1522M| 225 | 12 |1905 |1190 |1905 | 377 | 299k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1363.13/1363.18 c 1363s| 1540k| 1539k| 5726k| 3.7 |1532M| 225 | 14 |1905 |1190 |1905 | 376 | 301k| 10 | 22k| 0.000000e+00 | 3.096900e+04 | Inf
1371.74/1371.79 c 1372s| 1550k| 1549k| 5762k| 3.7 |1542M| 225 | 0 |1905 |1190 |1905 | 381 | 303k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1380.23/1380.25 c 1380s| 1560k| 1559k| 5795k| 3.7 |1552M| 225 | 13 |1905 |1190 |1905 | 377 | 305k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1388.73/1388.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1388.73/1388.71 c 1389s| 1570k| 1569k| 5828k| 3.7 |1562M| 225 | 0 |1905 |1190 |1905 | 378 | 307k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1397.23/1397.22 c 1397s| 1580k| 1579k| 5861k| 3.7 |1571M| 225 | 0 |1905 |1190 |1905 | 381 | 309k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1405.63/1405.69 c 1406s| 1590k| 1589k| 5893k| 3.7 |1581M| 225 | 8 |1905 |1190 |1905 | 380 | 310k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1414.23/1414.20 c 1414s| 1600k| 1599k| 5926k| 3.7 |1591M| 227 | 8 |1905 |1190 |1905 | 379 | 312k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1422.63/1422.65 c 1423s| 1610k| 1609k| 5960k| 3.7 |1601M| 227 | 16 |1905 |1190 |1905 | 377 | 314k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1431.04/1431.08 c 1431s| 1620k| 1619k| 5993k| 3.7 |1611M| 227 | 16 |1905 |1190 |1905 | 377 | 316k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1439.53/1439.53 c 1440s| 1630k| 1629k| 6025k| 3.7 |1621M| 227 | 20 |1905 |1190 |1905 | 377 | 318k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1447.93/1447.92 c 1448s| 1640k| 1639k| 6057k| 3.7 |1631M| 227 | 24 |1905 |1190 |1905 | 376 | 319k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1456.23/1456.27 c 1456s| 1650k| 1649k| 6089k| 3.7 |1640M| 227 | 23 |1905 |1190 |1905 | 377 | 321k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1464.73/1464.71 c 1465s| 1660k| 1659k| 6123k| 3.7 |1650M| 227 | 27 |1905 |1190 |1905 | 377 | 323k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1473.13/1473.11 c 1473s| 1670k| 1669k| 6157k| 3.7 |1660M| 227 | 0 |1905 |1190 |1905 | 377 | 324k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1481.54/1481.54 c 1482s| 1680k| 1679k| 6189k| 3.7 |1670M| 227 | 0 |1905 |1190 |1905 | 376 | 326k| 10 | 23k| 0.000000e+00 | 3.096900e+04 | Inf
1489.93/1489.96 c 1490s| 1690k| 1689k| 6220k| 3.7 |1680M| 227 | 1 |1905 |1190 |1905 | 377 | 328k| 10 | 24k| 0.000000e+00 | 3.096900e+04 | Inf
1498.24/1498.23 c 1498s| 1700k| 1699k| 6251k| 3.7 |1690M| 227 | 4 |1905 |1190 |1905 | 377 | 330k| 10 | 24k| 0.000000e+00 | 3.096900e+04 | Inf
1506.63/1506.61 c 1507s| 1710k| 1709k| 6281k| 3.7 |1700M| 227 | 3 |1905 |1190 |1905 | 375 | 331k| 10 | 24k| 0.000000e+00 | 3.096900e+04 | Inf
1515.13/1515.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.13/1515.17 c 1515s| 1720k| 1719k| 6316k| 3.7 |1710M| 227 | 2 |1905 |1190 |1905 | 359 | 333k| 10 | 24k| 0.000000e+00 | 3.096900e+04 | Inf
1523.74/1523.75 c 1524s| 1730k| 1729k| 6353k| 3.7 |1719M| 227 | 0 |1905 |1190 |1905 | 383 | 335k| 10 | 24k| 0.000000e+00 | 3.096900e+04 | Inf
1532.44/1532.41 c 1532s| 1740k| 1739k| 6391k| 3.7 |1729M| 227 | 2 |1905 |1190 |1905 | 383 | 337k| 10 | 24k| 0.000000e+00 | 3.096900e+04 | Inf
1541.04/1541.02 c 1541s| 1750k| 1749k| 6430k| 3.7 |1739M| 227 | 0 |1905 |1190 |1905 | 382 | 338k| 10 | 24k| 0.000000e+00 | 3.096900e+04 | Inf
1549.64/1549.61 c 1550s| 1760k| 1759k| 6468k| 3.7 |1749M| 227 | 0 |1905 |1190 |1905 | 381 | 340k| 10 | 24k| 0.000000e+00 | 3.096900e+04 | Inf
1558.24/1558.26 c 1558s| 1770k| 1769k| 6503k| 3.7 |1759M| 227 | 1 |1905 |1190 |1905 | 380 | 342k| 10 | 24k| 0.000000e+00 | 3.096900e+04 | Inf
1566.74/1566.76 c 1567s| 1780k| 1779k| 6539k| 3.7 |1768M| 227 | 11 |1905 |1190 |1905 | 380 | 344k| 10 | 24k| 0.000000e+00 | 3.096900e+04 | Inf
1575.14/1575.19 c 1575s| 1790k| 1789k| 6574k| 3.7 |1778M| 227 | 0 |1905 |1190 |1905 | 379 | 345k| 10 | 24k| 0.000000e+00 | 3.096900e+04 | Inf
1583.73/1583.78 c 1584s| 1800k| 1799k| 6609k| 3.7 |1788M| 227 | 1 |1905 |1190 |1905 | 378 | 347k| 10 | 24k| 0.000000e+00 | 3.096900e+04 | Inf
1592.23/1592.29 c 1592s| 1810k| 1809k| 6644k| 3.7 |1798M| 227 | 0 |1905 |1190 |1905 | 379 | 349k| 10 | 24k| 0.000000e+00 | 3.096900e+04 | Inf
1600.83/1600.83 c 1601s| 1820k| 1819k| 6680k| 3.7 |1808M| 227 | 0 |1905 |1190 |1905 | 378 | 351k| 10 | 25k| 0.000000e+00 | 3.096900e+04 | Inf
1609.44/1609.44 c 1609s| 1830k| 1829k| 6715k| 3.7 |1818M| 227 | 10 |1905 |1190 |1905 | 376 | 353k| 10 | 25k| 0.000000e+00 | 3.096900e+04 | Inf
1617.94/1617.96 c 1618s| 1840k| 1839k| 6751k| 3.7 |1827M| 227 | 3 |1905 |1190 |1905 | 377 | 355k| 10 | 25k| 0.000000e+00 | 3.096900e+04 | Inf
1626.54/1626.52 c 1627s| 1850k| 1849k| 6787k| 3.7 |1837M| 227 | 6 |1905 |1190 |1905 | 376 | 356k| 10 | 25k| 0.000000e+00 | 3.096900e+04 | Inf
1635.04/1635.05 c 1635s| 1860k| 1859k| 6823k| 3.7 |1847M| 227 | 17 |1905 |1190 |1905 | 375 | 358k| 10 | 25k| 0.000000e+00 | 3.096900e+04 | Inf
1643.54/1643.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.54/1643.55 c 1644s| 1870k| 1869k| 6860k| 3.7 |1857M| 227 | 0 |1905 |1190 |1905 | 383 | 360k| 10 | 25k| 0.000000e+00 | 3.096900e+04 | Inf
1652.15/1652.14 c 1652s| 1880k| 1879k| 6896k| 3.7 |1867M| 227 | 18 |1905 |1190 |1905 | 377 | 362k| 10 | 25k| 0.000000e+00 | 3.096900e+04 | Inf
1660.64/1660.68 c 1661s| 1890k| 1889k| 6934k| 3.7 |1877M| 227 | 25 |1905 |1190 |1905 | 377 | 363k| 10 | 25k| 0.000000e+00 | 3.096900e+04 | Inf
1669.24/1669.24 c 1669s| 1900k| 1899k| 6971k| 3.7 |1886M| 227 | 6 |1905 |1190 |1905 | 376 | 365k| 10 | 25k| 0.000000e+00 | 3.096900e+04 | Inf
1677.84/1677.89 c 1678s| 1910k| 1909k| 7007k| 3.7 |1896M| 227 | 8 |1905 |1190 |1905 | 376 | 367k| 10 | 25k| 0.000000e+00 | 3.096900e+04 | Inf
1686.44/1686.45 c 1686s| 1920k| 1919k| 7043k| 3.7 |1906M| 227 | 12 |1905 |1190 |1905 | 377 | 369k| 10 | 25k| 0.000000e+00 | 3.096900e+04 | Inf
1698.44/1698.40 c 1698s| 1930k| 1929k| 7080k| 3.7 |1916M| 227 | 19 |1905 |1190 |1905 | 376 | 371k| 10 | 29k| 0.000000e+00 | 3.096900e+04 | Inf
1707.04/1707.01 c 1707s| 1940k| 1939k| 7115k| 3.7 |1926M| 227 | 25 |1905 |1190 |1905 | 375 | 373k| 10 | 29k| 0.000000e+00 | 3.096900e+04 | Inf
1715.54/1715.52 c 1716s| 1950k| 1949k| 7150k| 3.7 |1936M| 227 | 26 |1905 |1190 |1905 | 378 | 375k| 10 | 29k| 0.000000e+00 | 3.096900e+04 | Inf
1724.04/1724.07 c 1724s| 1960k| 1959k| 7186k| 3.7 |1946M| 227 | 4 |1905 |1190 |1905 | 386 | 377k| 10 | 29k| 0.000000e+00 | 3.096900e+04 | Inf
1732.64/1732.65 c 1733s| 1970k| 1969k| 7223k| 3.7 |1955M| 229 | 20 |1905 |1190 |1905 | 376 | 378k| 10 | 29k| 0.000000e+00 | 3.096900e+04 | Inf
1741.14/1741.19 c 1741s| 1980k| 1979k| 7260k| 3.7 |1965M| 229 | 0 |1905 |1190 |1905 | 380 | 380k| 10 | 29k| 0.000000e+00 | 3.096900e+04 | Inf
1749.64/1749.66 c 1750s| 1990k| 1989k| 7296k| 3.7 |1975M| 229 | 6 |1905 |1190 |1905 | 381 | 382k| 10 | 29k| 0.000000e+00 | 3.096900e+04 | Inf
1758.14/1758.19 c 1758s| 2000k| 1999k| 7331k| 3.7 |1985M| 229 | 0 |1905 |1190 |1905 | 384 | 384k| 10 | 29k| 0.000000e+00 | 3.096900e+04 | Inf
1766.75/1766.77 c 1767s| 2010k| 2009k| 7365k| 3.7 |1995M| 229 | 33 |1905 |1190 |1905 | 376 | 386k| 10 | 29k| 0.000000e+00 | 3.096900e+04 | Inf
1775.24/1775.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.24/1775.27 c 1775s| 2020k| 2019k| 7401k| 3.7 |2005M| 229 | 4 |1905 |1190 |1905 | 377 | 388k| 10 | 29k| 0.000000e+00 | 3.096900e+04 | Inf
1783.74/1783.79 c 1784s| 2030k| 2029k| 7437k| 3.7 |2015M| 229 | 2 |1905 |1190 |1905 | 378 | 390k| 10 | 29k| 0.000000e+00 | 3.096900e+04 | Inf
1790.04/1790.00 c
1790.04/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.00 c Solving Time (sec) : 1789.99
1790.04/1790.00 c Solving Nodes : 2037279
1790.04/1790.00 c Primal Bound : +3.09690000000000e+04 (103 solutions)
1790.04/1790.00 c Dual Bound : +0.00000000000000e+00
1790.04/1790.00 c Gap : infinite
1790.04/1790.01 s SATISFIABLE
1790.04/1790.01 v -x719 -x718 -x717 x716 -x715 x714 x713 -x712 x711 x710 -x709 -x708 x707 -x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 x698 x697
1790.04/1790.01 v x696 -x695 -x694 x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676
1790.04/1790.01 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655
1790.04/1790.01 v -x654 -x653 x652 x651 x650 x649 x648 -x647 -x646 x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633
1790.04/1790.01 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612
1790.04/1790.01 v -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591
1790.04/1790.01 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571
1790.04/1790.01 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 x552 x551 x550 x549
1790.04/1790.01 v x548 -x547 x546 x545 x544 x543 x542 x541 x540 x539 x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526
1790.04/1790.01 v x525 x524 x523 x522 x521 -x520 -x519 -x518 x517 -x516 -x515 -x514 x513 x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 x504
1790.04/1790.01 v x503 x502 -x501 -x500 -x499 x498 x497 x496 x495 x494 x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482
1790.04/1790.01 v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461
1790.04/1790.01 v x460 -x459 -x458 x457 x456 x455 x454 x453 -x452 -x451 -x450 x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439
1790.04/1790.01 v -x438 x437 -x436 x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 x424 x423 x422 x421 x420 -x419 -x418 -x417 -x416
1790.04/1790.01 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
1790.04/1790.01 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
1790.04/1790.01 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354
1790.04/1790.01 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 x335 x334 x333 x332
1790.04/1790.01 v x331 x330 x329 x328 x327 x326 -x325 x324 x323 x322 x321 x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309
1790.04/1790.01 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1790.04/1790.01 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1790.04/1790.01 v -x266 -x265 x264 -x263 x262 x261 x260 x259 x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245
1790.04/1790.01 v -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
1790.04/1790.01 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
1790.04/1790.01 v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182
1790.04/1790.01 v -x181 x180 -x179 x178 x177 x176 -x175 x174 -x173 -x172 x171 -x170 -x169 x168 -x167 x166 -x165 -x164 x163 x162 x161 -x160
1790.04/1790.01 v -x159 -x158 -x157 -x156 -x155 x154 -x153 x152 -x151 x150 -x149 x148 -x147 -x146 -x145 x144 -x143 -x142 x141 -x140 -x139 -x138
1790.04/1790.01 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117
1790.04/1790.01 v -x116 x115 -x114 -x113 x112 -x111 x110 -x109 -x108 x107 -x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 -x96 x95 -x94 x93
1790.04/1790.01 v -x92 x91 -x90 x89 -x88 x87 -x86 -x85 x84 x83 -x82 x81 -x80 -x79 x78 x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66
1790.04/1790.01 v -x65 -x64 -x63 -x62 -x61 x60 x59 x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 x43 -x42 -x41 x40
1790.04/1790.01 v -x39 -x38 -x37 -x36 -x35 x34 -x33 x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14
1790.04/1790.01 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 x2 -x1
1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.01 c Solving Time : 1789.99
1790.04/1790.01 c Original Problem :
1790.04/1790.01 c Problem name : HOME/instance-2705203-1278578352.wbo
1790.04/1790.01 c Variables : 1905 (1312 binary, 0 integer, 593 implicit integer, 0 continuous)
1790.04/1790.01 c Constraints : 1187 initial, 1187 maximal
1790.04/1790.01 c Presolved Problem :
1790.04/1790.01 c Problem name : t_HOME/instance-2705203-1278578352.wbo
1790.04/1790.01 c Variables : 1905 (1312 binary, 0 integer, 593 implicit integer, 0 continuous)
1790.04/1790.01 c Constraints : 1186 initial, 1193 maximal
1790.04/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1790.04/1790.01 c varbound : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c linear : 0.01 0 0 0 593 0 1 115 230
1790.04/1790.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c root node : - 0 - - 0 - - - -
1790.04/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.01 c integral : 0 0 0 2092527 0 0 0 0 0 3047300
1790.04/1790.01 c varbound : 1 6 2211009 243090 0 0 17996 1 0 0
1790.04/1790.01 c linear : 592 6 3137848 568877 0 3 1506583 392037 0 0
1790.04/1790.01 c indicator : 593 0 3137845 568877 0 0 585952 0 0 0
1790.04/1790.01 c bounddisjunction : 0+ 0 75240 0 0 0 19466 0 0 0
1790.04/1790.01 c countsols : 0 0 0 513622 0 0 0 0 0 0
1790.04/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.01 c integral : 38.57 0.00 0.00 38.57 0.00
1790.04/1790.01 c varbound : 0.61 0.00 0.56 0.05 0.00
1790.04/1790.01 c linear : 58.04 0.00 24.29 33.75 0.00
1790.04/1790.01 c indicator : 54.34 0.04 34.23 20.06 0.00
1790.04/1790.01 c bounddisjunction : 0.15 0.00 0.15 0.00 0.00
1790.04/1790.01 c countsols : 0.07 0.00 0.00 0.07 0.00
1790.04/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.01 c vbounds : 15.28 679353 0 306792
1790.04/1790.01 c rootredcost : 0.61 1 0 0
1790.04/1790.01 c pseudoobj : 34.78 3137648 0 0
1790.04/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.01 c propagation : 0.00 3 3 12 14.8 0 0.0 -
1790.04/1790.01 c infeasible LP : 0.00 7 7 7 4.0 0 0.0 0
1790.04/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.01 c applied globally : - - - 10 6.7 - - -
1790.04/1790.01 c applied locally : - - - 0 0.0 - - -
1790.04/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.01 c cut pool : 0.00 4 - - 98 - (maximal pool size: 875)
1790.04/1790.01 c redcost : 85.28 2092532 0 0 0 0
1790.04/1790.01 c impliedbounds : 0.00 5 0 0 0 0
1790.04/1790.01 c intobj : 0.00 0 0 0 0 0
1790.04/1790.01 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.01 c gomory : 0.02 5 0 0 97 0
1790.04/1790.01 c strongcg : 0.02 5 0 0 66 0
1790.04/1790.01 c cmir : 0.06 5 0 0 369 0
1790.04/1790.01 c flowcover : 0.11 5 0 0 563 0
1790.04/1790.01 c clique : 0.00 1 0 0 0 0
1790.04/1790.01 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.01 c mcf : 0.00 1 0 0 0 0
1790.04/1790.01 c rapidlearning : 0.06 1 0 0 0 0
1790.04/1790.01 c Pricers : Time Calls Vars
1790.04/1790.01 c problem variables: 0.00 0 0
1790.04/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.01 c relpscost : 37.47 1523650 0 0 0 0 3047300
1790.04/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.01 c inference : 61.39 513622 0 0 0 0 1027244
1790.04/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.01 c random : 0.00 0 0 0 0 0 0
1790.04/1790.01 c Primal Heuristics : Time Calls Found
1790.04/1790.01 c LP solutions : 0.00 - 0
1790.04/1790.01 c pseudo solutions : 0.00 - 0
1790.04/1790.01 c intshifting : 0.01 0 0
1790.04/1790.01 c feaspump : 0.01 0 0
1790.04/1790.01 c oneopt : 0.46 1 0
1790.04/1790.01 c crossover : 0.60 13 0
1790.04/1790.01 c coefdiving : 17.37 7377 0
1790.04/1790.01 c pscostdiving : 19.84 7377 0
1790.04/1790.01 c fracdiving : 17.32 7377 0
1790.04/1790.01 c guideddiving : 15.67 7377 0
1790.04/1790.01 c veclendiving : 11.00 7377 0
1790.04/1790.01 c linesearchdiving : 12.52 7377 0
1790.04/1790.01 c objpscostdiving : 3.12 5239 0
1790.04/1790.01 c rootsoldiving : 3.17 5239 0
1790.04/1790.01 c trivial : 0.01 2 2
1790.04/1790.01 c simplerounding : 1.62 1494259 0
1790.04/1790.01 c zirounding : 0.41 1000 0
1790.04/1790.01 c rounding : 0.95 17307 0
1790.04/1790.01 c shifting : 1.37 5467 0
1790.04/1790.01 c twoopt : 0.00 0 0
1790.04/1790.01 c fixandinfer : 0.00 0 0
1790.04/1790.01 c intdiving : 0.00 0 0
1790.04/1790.01 c actconsdiving : 0.00 0 0
1790.04/1790.01 c octane : 0.00 0 0
1790.04/1790.01 c rens : 0.02 1 0
1790.04/1790.01 c rins : 0.00 0 0
1790.04/1790.01 c localbranching : 0.00 0 0
1790.04/1790.01 c mutation : 0.00 0 0
1790.04/1790.01 c dins : 0.00 0 0
1790.04/1790.01 c undercover : 0.00 0 0
1790.04/1790.01 c nlp : 0.28 0 0
1790.04/1790.01 c trysol : 0.61 19318 101
1790.04/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.01 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.01 c dual LP : 1004.72 1610846 7286483 4.52 7252.25
1790.04/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.01 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.01 c diving/probing LP: 52.30 91762 175206 1.91 3349.72
1790.04/1790.01 c strong branching : 27.52 29435 231647 7.87 8417.32
1790.04/1790.01 c (at root node) : - 33 3723 112.82 -
1790.04/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.01 c B&B Tree :
1790.04/1790.01 c number of runs : 1
1790.04/1790.01 c nodes : 2037279
1790.04/1790.01 c nodes (total) : 2037279
1790.04/1790.01 c nodes left : 2037266
1790.04/1790.01 c max depth : 229
1790.04/1790.01 c max depth (total): 229
1790.04/1790.01 c backtracks : 18044 (0.9%)
1790.04/1790.01 c delayed cutoffs : 0
1790.04/1790.01 c repropagations : 64 (7 domain reductions, 0 cutoffs)
1790.04/1790.01 c avg switch length: 2.12
1790.04/1790.01 c switching time : 44.58
1790.04/1790.01 c Solution :
1790.04/1790.01 c Solutions found : 103 (2 improvements)
1790.04/1790.01 c First Solution : +3.10640000000000e+04 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1790.04/1790.01 c Primal Bound : +3.09690000000000e+04 (in run 1, after 137 nodes, 3.95 seconds, depth 110, found by <trysol>)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Root Iterations : 514
1793.05/1793.09 c Time complete: 1793.14.
OK 3033
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705203-1278578352/watcher-2705203-1278578352 -o /tmp/evaluation-result-2705203-1278578352/solver-2705203-1278578352 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705203-1278578352.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.03 2.02 1.95 4/178 22995 /proc/meminfo: memFree=28321652/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=12512 CPUtime=0 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 1976 0 0 0 0 0 0 0 21 0 1 0 26050002 12812288 1894 4089446400 4194304 10345943 140737422470320 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/22995/statm: 3128 1894 429 1502 0 1621 0 [startup+0.046488 s] /proc/loadavg: 2.03 2.02 1.95 4/178 22995 /proc/meminfo: memFree=28321652/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=23444 CPUtime=0.04 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 4932 0 0 0 4 0 0 0 21 0 1 0 26050002 24006656 4496 4089446400 4194304 10345943 140737422470320 18446744073709551615 9134638 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22995/statm: 5861 4496 567 1502 0 4354 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 23444 [startup+0.100471 s] /proc/loadavg: 2.03 2.02 1.95 4/178 22995 /proc/meminfo: memFree=28321652/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=39344 CPUtime=0.09 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 8708 0 0 0 9 0 0 0 21 0 1 0 26050002 40288256 8272 4089446400 4194304 10345943 140737422470320 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22995/statm: 9836 8272 640 1502 0 8329 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 39344 [startup+0.300447 s] /proc/loadavg: 2.03 2.02 1.95 4/178 22995 /proc/meminfo: memFree=28321652/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=35672 CPUtime=0.29 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 8816 0 0 0 28 1 0 0 21 0 1 0 26050002 36528128 7718 4089446400 4194304 10345943 140737422470320 18446744073709551615 9134619 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22995/statm: 8918 7718 743 1502 0 7411 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35672 [startup+0.700356 s] /proc/loadavg: 2.03 2.02 1.95 4/178 22995 /proc/meminfo: memFree=28321652/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=35672 CPUtime=0.69 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 10195 0 0 0 68 1 0 0 22 0 1 0 26050002 36528128 7764 4089446400 4194304 10345943 140737422470320 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22995/statm: 8918 7764 759 1502 0 7411 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35672 [startup+1.50022 s] /proc/loadavg: 2.03 2.02 1.95 3/179 22996 /proc/meminfo: memFree=28292752/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=35672 CPUtime=1.49 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 10195 0 0 0 147 2 0 0 25 0 1 0 26050002 36528128 7764 4089446400 4194304 10345943 140737422470320 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22995/statm: 8918 7764 759 1502 0 7411 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 35672 [startup+3.1009 s] /proc/loadavg: 2.03 2.02 1.95 3/179 22996 /proc/meminfo: memFree=28293524/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=35672 CPUtime=3.09 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 10197 0 0 0 306 3 0 0 25 0 1 0 26050002 36528128 7766 4089446400 4194304 10345943 140737422470320 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22995/statm: 8918 7766 760 1502 0 7411 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35672 [startup+6.3003 s] /proc/loadavg: 2.03 2.02 1.95 3/179 22996 /proc/meminfo: memFree=28286700/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=44104 CPUtime=6.29 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 13562 0 0 0 624 5 0 0 25 0 1 0 26050002 45162496 9596 4089446400 4194304 10345943 140737422470320 18446744073709551615 6864999 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22995/statm: 11026 9596 770 1502 0 9519 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44104 [startup+12.7011 s] /proc/loadavg: 2.02 2.02 1.95 3/179 22996 /proc/meminfo: memFree=28284840/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=44204 CPUtime=12.7 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 16901 0 0 0 1262 8 0 0 25 0 1 0 26050002 45264896 9949 4089446400 4194304 10345943 140737422470320 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22995/statm: 11051 9949 770 1502 0 9544 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 44204 [startup+25.5007 s] /proc/loadavg: 2.02 2.01 1.95 3/179 22997 /proc/meminfo: memFree=28274348/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=57400 CPUtime=25.49 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 22740 0 0 0 2536 13 0 0 25 0 1 0 26050002 58777600 13015 4089446400 4194304 10345943 140737422470320 18446744073709551615 8160436 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/22995/statm: 14350 13015 770 1502 0 12843 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 57400 [startup+51.1008 s] /proc/loadavg: 2.01 2.01 1.95 3/179 22998 /proc/meminfo: memFree=28247700/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=83548 CPUtime=51.09 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 31926 0 0 0 5087 22 0 0 25 0 1 0 26050002 85553152 19472 4089446400 4194304 10345943 140737422470320 18446744073709551615 4966220 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/22995/statm: 20887 19472 770 1502 0 19380 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 83548 [startup+102.307 s] /proc/loadavg: 2.00 2.01 1.95 3/179 22999 /proc/meminfo: memFree=28193232/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=138084 CPUtime=102.3 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 48880 0 0 0 10188 42 0 0 25 0 1 0 26050002 141398016 32644 4089446400 4194304 10345943 140737422470320 18446744073709551615 6777571 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/22995/statm: 34521 32644 771 1502 0 33014 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 138084 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23000 /proc/meminfo: memFree=28128972/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=201212 CPUtime=162.29 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 69305 0 0 0 16166 63 0 0 25 0 1 0 26050002 206041088 48216 4089446400 4194304 10345943 140737422470320 18446744073709551615 7541488 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/22995/statm: 50303 48216 771 1502 0 48796 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 201212 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23002 /proc/meminfo: memFree=28065440/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=263388 CPUtime=222.3 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 86666 0 0 0 22144 86 0 0 25 0 1 0 26050002 269709312 63564 4089446400 4194304 10345943 140737422470320 18446744073709551615 6702848 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/22995/statm: 65847 63564 771 1502 0 64340 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 263388 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23031 /proc/meminfo: memFree=28211956/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=334940 CPUtime=282.3 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 104154 0 0 0 28099 131 0 0 25 0 1 0 26050002 342978560 80924 4089446400 4194304 10345943 140737422470320 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22995/statm: 83735 80924 771 1502 0 82228 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 334940 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23032 /proc/meminfo: memFree=28088468/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=401568 CPUtime=342.3 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 121494 0 0 0 34045 185 0 0 25 0 1 0 26050002 411205632 97615 4089446400 4194304 10345943 140737422470320 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22995/statm: 100392 97615 771 1502 0 98885 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 401568 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23034 /proc/meminfo: memFree=27987976/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=469532 CPUtime=402.3 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 141879 0 0 0 39991 239 0 0 25 0 1 0 26050002 480800768 115082 4089446400 4194304 10345943 140737422470320 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22995/statm: 117383 115082 771 1502 0 115876 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 469532 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23035 /proc/meminfo: memFree=27913672/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=545048 CPUtime=462.3 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 159762 0 0 0 45939 291 0 0 25 0 1 0 26050002 558129152 132187 4089446400 4194304 10345943 140737422470320 18446744073709551615 6119437 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/22995/statm: 136262 132187 771 1502 0 134755 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 545048 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23037 /proc/meminfo: memFree=27817400/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=617460 CPUtime=522.29 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 177861 0 0 0 51890 339 0 0 25 0 1 0 26050002 632279040 149941 4089446400 4194304 10345943 140737422470320 18446744073709551615 6119525 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 154365 149941 771 1502 0 152858 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 617460 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23039 /proc/meminfo: memFree=27719896/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=687612 CPUtime=582.29 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 195459 0 0 0 57840 389 0 0 25 0 1 0 26050002 704114688 167277 4089446400 4194304 10345943 140737422470320 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 171903 167277 771 1502 0 170396 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 687612 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23040 /proc/meminfo: memFree=27625744/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=754180 CPUtime=642.31 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 212155 0 0 0 63787 444 0 0 25 0 1 0 26050002 772280320 183947 4089446400 4194304 10345943 140737422470320 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 188545 183947 771 1502 0 187038 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 754180 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=26860176/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=1325228 CPUtime=1122.32 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 353541 0 0 0 111389 843 0 0 25 0 1 0 26050002 1357033472 322408 4089446400 4194304 10345943 140737422470320 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 331307 322408 771 1502 0 329800 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1325228 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23055 /proc/meminfo: memFree=26736488/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=1393064 CPUtime=1182.32 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 370667 0 0 0 117343 889 0 0 25 0 1 0 26050002 1426497536 339523 4089446400 4194304 10345943 140737422470320 18446744073709551615 6864667 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 348266 339523 771 1502 0 346759 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1393064 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23056 /proc/meminfo: memFree=26666512/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=1461652 CPUtime=1242.33 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 387670 0 0 0 123294 939 0 0 25 0 1 0 26050002 1496731648 356504 4089446400 4194304 10345943 140737422470320 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 365413 356504 771 1502 0 363906 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1461652 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23058 /proc/meminfo: memFree=26572964/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=1529196 CPUtime=1302.33 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 404649 0 0 0 129244 989 0 0 25 0 1 0 26050002 1565896704 373377 4089446400 4194304 10345943 140737422470320 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 382299 373377 771 1502 0 380792 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1529196 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23068 /proc/meminfo: memFree=26473048/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=1601056 CPUtime=1362.33 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 422327 0 0 0 135195 1038 0 0 25 0 1 0 26050002 1639481344 391039 4089446400 4194304 10345943 140737422470320 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 400264 391039 771 1502 0 398757 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1601056 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23070 /proc/meminfo: memFree=26375788/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=1672372 CPUtime=1422.34 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 440066 0 0 0 141146 1088 0 0 25 0 1 0 26050002 1712508928 408769 4089446400 4194304 10345943 140737422470320 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 418093 408769 771 1502 0 416586 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1672372 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23072 /proc/meminfo: memFree=26276656/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=1742544 CPUtime=1482.33 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 460096 0 0 0 147100 1133 0 0 25 0 1 0 26050002 1784365056 426704 4089446400 4194304 10345943 140737422470320 18446744073709551615 6847521 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 435636 426704 771 1502 0 434129 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1742544 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23073 /proc/meminfo: memFree=26175052/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=1811856 CPUtime=1542.33 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 477272 0 0 0 153049 1184 0 0 25 0 1 0 26050002 1855340544 443866 4089446400 4194304 10345943 140737422470320 18446744073709551615 4686927 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 452964 443866 771 1502 0 451457 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1811856 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23075 /proc/meminfo: memFree=26074564/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=1881940 CPUtime=1602.34 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 494739 0 0 0 159001 1233 0 0 25 0 1 0 26050002 1927106560 461188 4089446400 4194304 10345943 140737422470320 18446744073709551615 7333920 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 470485 461188 771 1502 0 468978 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1881940 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23076 /proc/meminfo: memFree=25975696/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=1947712 CPUtime=1662.34 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 511392 0 0 0 164947 1287 0 0 25 0 1 0 26050002 1994457088 477835 4089446400 4194304 10345943 140737422470320 18446744073709551615 6108004 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 486928 477835 771 1502 0 485421 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1947712 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23078 /proc/meminfo: memFree=25877688/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=2014616 CPUtime=1722.34 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 528707 0 0 0 170896 1338 0 0 25 0 1 0 26050002 2062966784 494482 4089446400 4194304 10345943 140737422470320 18446744073709551615 6557915 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 503654 494482 771 1502 0 502147 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2014616 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23080 /proc/meminfo: memFree=25777320/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=2083888 CPUtime=1782.35 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 545875 0 0 0 176848 1387 0 0 25 0 1 0 26050002 2133901312 511646 4089446400 4194304 10345943 140737422470320 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 520972 511646 771 1502 0 519465 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 2083888 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23080 /proc/meminfo: memFree=25771864/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=2120952 CPUtime=1785.55 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 546921 0 0 0 177165 1390 0 0 25 0 1 0 26050002 2171854848 512692 4089446400 4194304 10345943 140737422470320 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 530238 512692 771 1502 0 528731 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 2120952 [startup+1788.7 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23080 /proc/meminfo: memFree=25766160/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=2125604 CPUtime=1788.75 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 548038 0 0 0 177483 1392 0 0 25 0 1 0 26050002 2176618496 513809 4089446400 4194304 10345943 140737422470320 18446744073709551615 6787788 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22995/statm: 531401 513809 771 1502 0 529894 0 Current children cumulated CPU time (s) 1788.75 Current children cumulated vsize (KiB) 2125604 [startup+1790.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23080 /proc/meminfo: memFree=25763428/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=2127148 CPUtime=1790.34 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 548526 0 0 0 177641 1393 0 0 18 0 1 0 26050002 2178199552 514297 4089446400 4194304 10345943 140737422470320 18446744073709551615 4653837 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/22995/statm: 531787 514297 775 1502 0 530280 0 Current children cumulated CPU time (s) 1790.34 Current children cumulated vsize (KiB) 2127148 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23080 /proc/meminfo: memFree=25760824/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=2127148 CPUtime=1791.95 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 548526 0 0 0 177802 1393 0 0 21 0 1 0 26050002 2178199552 514297 4089446400 4194304 10345943 140737422470320 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/22995/statm: 531787 514297 775 1502 0 530280 0 Current children cumulated CPU time (s) 1791.95 Current children cumulated vsize (KiB) 2127148 [startup+1792.7 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23080 /proc/meminfo: memFree=25760824/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=2127148 CPUtime=1792.74 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 548526 0 0 0 177881 1393 0 0 23 0 1 0 26050002 2178199552 514297 4089446400 4194304 10345943 140737422470320 18446744073709551615 4723456 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/22995/statm: 531787 514297 775 1502 0 530280 0 Current children cumulated CPU time (s) 1792.74 Current children cumulated vsize (KiB) 2127148 [startup+1792.9 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23080 /proc/meminfo: memFree=25760704/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=2127148 CPUtime=1792.95 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 548526 0 0 0 177902 1393 0 0 25 0 1 0 26050002 2178199552 514297 4089446400 4194304 10345943 140737422470320 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/22995/statm: 531787 514297 775 1502 0 530280 0 Current children cumulated CPU time (s) 1792.95 Current children cumulated vsize (KiB) 2127148 [startup+1793.01 s] /proc/loadavg: 2.00 2.00 1.96 3/179 23080 /proc/meminfo: memFree=25760704/32950928 swapFree=67111528/67111528 [pid=22995] ppid=22993 vsize=2127148 CPUtime=1793.05 /proc/22995/stat : 22995 (pbscip.linux.x8) R 22993 22995 22212 0 -1 4202496 548526 0 0 0 177912 1393 0 0 25 0 1 0 26050002 2178199552 514297 4089446400 4194304 10345943 140737422470320 18446744073709551615 6325133 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/22995/statm: 531787 514297 775 1502 0 530280 0 Current children cumulated CPU time (s) 1793.05 Current children cumulated vsize (KiB) 2127148 Child status: 0 Real time (s): 1793.09 CPU time (s): 1793.15 CPU user time (s): 1779.13 CPU system time (s): 14.0119 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2127148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.13 system time used= 14.0119 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 548529 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= 5 involuntary context switches= 15102 runsolver used 2.33164 second user time and 6.09807 second system time The end
Begin job on node114 at 2010-07-08 10:39:12 IDJOB=2705203 IDBENCH=79320 IDSOLVER=1214 FILE ID=node114/2705203-1278578352 PBS_JOBID= 11240225 Free space on /tmp= 73152 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705203-1278578352/watcher-2705203-1278578352 -o /tmp/evaluation-result-2705203-1278578352/solver-2705203-1278578352 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705203-1278578352.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b1fb405af1ad97be8e8be6f605703dc4 RANDOM SEED=257366996 node114.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.824 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 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.824 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.83 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.824 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.81 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.824 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.824 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.824 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.824 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28322304 kB Buffers: 157976 kB Cached: 3914888 kB SwapCached: 0 kB Active: 1642408 kB Inactive: 2815196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28322304 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12840 kB Writeback: 0 kB AnonPages: 384072 kB Mapped: 17648 kB Slab: 105564 kB PageTables: 5432 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 532968 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= 73140 MiB End job on node114 at 2010-07-08 11:09:06