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.2 with Clp 1.11.1 (Release Version) as LP solver | MSAT (TO) | 1802.13 | 1802.09 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh202_wcsp.wbo |
| MD5SUM | d13dffa73911787707d210cefbded5d8 |
| 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 | 68 |
| Best CPU time to get the best result obtained on this benchmark | 0.005998 |
| 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 | 900 |
| Number of soft constraints | 800 |
| Number of constraints which are clauses | 800 |
| 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 | 10 |
| Top cost | 394239 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 394238 |
| Biggest number in a constraint | 9 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 19 |
| 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: Clp 1.11.1] [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-2700009-1278533881.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 0 impl, 800 cont) and 1701 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, 1000 impls, 0 clqs
0.02/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.02/0.06 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.06 c presolving (3 rounds):
0.02/0.06 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.06 c 1000 implications, 0 cliques
0.02/0.06 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.02/0.06 c 800 constraints of type <indicator>
0.02/0.06 c 800 constraints of type <linear>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.03
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 1.2.1.2
0.02/0.06 c
0.02/0.06 c # frequency for displaying node information lines
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.06 c display/freq = 10000
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1799.99
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 3420
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify inequalities
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/linear/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify knapsacks
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.02/0.06 o 394238
0.02/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.02/0.06 c t 0.0s| 1 | 0 | 0 | - |5801k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.02/0.06 c 0.0s| 1 | 0 | 0 | - |6173k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.02/0.06 c 0.0s| 1 | 0 | 43 | - |6207k| 0 | 0 |1700 |1600 |1700 | 56 | 56 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.02/0.07 c 0.0s| 1 | 0 | 125 | - |6251k| 0 | 31 |1700 |1600 |1700 | 92 | 92 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.02/0.07 c 0.1s| 1 | 0 | 178 | - |6355k| 0 | 60 |1700 |1600 |1700 | 141 | 141 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.02/0.09 c 0.1s| 1 | 0 | 257 | - |6462k| 0 | 66 |1700 |1600 |1700 | 161 | 161 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 311 | - |6497k| 0 | 65 |1700 |1600 |1700 | 172 | 172 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 361 | - |6525k| 0 | 66 |1700 |1600 |1700 | 173 | 173 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.49/0.51 c 0.5s| 1 | 2 | 570 | - |6577k| 0 | 66 |1700 |1600 |1700 | 173 | 173 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
8.69/8.72 c 8.4s| 10000 | 9992 | 17366 | 1.7 | 18M| 525 | 0 |1700 |1619 |1700 | 267 |1788 | 19 | 739 | 0.000000e+00 | 3.942380e+05 | Inf
15.49/15.53 c 15.1s| 20000 | 19988 | 29397 | 1.5 | 28M| 527 | 0 |1700 |1630 |1700 | 209 |3126 | 30 | 776 | 0.000000e+00 | 3.942380e+05 | Inf
22.00/22.05 c 21.4s| 30000 | 29984 | 36763 | 1.2 | 37M| 527 | 0 |1700 |1644 |1700 | 211 |4159 | 44 | 776 | 0.000000e+00 | 3.942380e+05 | Inf
28.18/28.24 c 27.4s| 40000 | 39984 | 43411 | 1.1 | 47M| 527 | 0 |1700 |1644 |1700 | 229 |5226 | 44 | 789 | 0.000000e+00 | 3.942380e+05 | Inf
33.98/34.04 c 33.1s| 50000 | 49984 | 49324 | 1.0 | 56M| 527 | 0 |1700 |1644 |1700 | 200 |6203 | 44 | 790 | 0.000000e+00 | 3.942380e+05 | Inf
40.48/40.56 c 39.5s| 60000 | 59984 | 55927 | 0.9 | 66M| 527 | 0 |1700 |1644 |1700 | 220 |7232 | 44 | 792 | 0.000000e+00 | 3.942380e+05 | Inf
47.08/47.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.08/47.19 c 46.0s| 70000 | 69982 | 64255 | 0.9 | 75M| 527 | 0 |1700 |1647 |1700 | 200 |8445 | 47 | 798 | 0.000000e+00 | 3.942380e+05 | Inf
53.58/53.69 c 52.3s| 80000 | 79978 | 71108 | 0.9 | 85M| 527 | 0 |1700 |1658 |1700 | 218 |9513 | 58 | 798 | 0.000000e+00 | 3.942380e+05 | Inf
60.18/60.27 c 58.8s| 90000 | 89976 | 79389 | 0.9 | 94M| 527 | 0 |1700 |1663 |1700 | 210 | 10k| 63 | 801 | 0.000000e+00 | 3.942380e+05 | Inf
66.58/66.68 c 65.0s|100000 | 99974 | 86071 | 0.9 | 104M| 527 | 0 |1700 |1668 |1700 | 197 | 11k| 68 | 801 | 0.000000e+00 | 3.942380e+05 | Inf
72.98/73.02 c 71.2s|110000 |109974 | 91797 | 0.8 | 113M| 527 | 0 |1700 |1668 |1700 | 204 | 12k| 68 | 801 | 0.000000e+00 | 3.942380e+05 | Inf
73.38/73.42 o 17421
73.38/73.42 c *71.6s|110615 |109858 | 92161 | 0.8 | 113M| 527 | - |1700 |1668 |1700 | 211 | 12k| 68 | 801 | 0.000000e+00 | 1.742100e+04 | Inf
81.58/81.61 c 79.6s|120000 |119243 |109135 | 0.9 | 123M| 527 | 0 |1700 |1664 |1700 | 211 | 15k| 68 | 801 | 0.000000e+00 | 1.742100e+04 | Inf
90.08/90.20 c 88.0s|130000 |129243 |125704 | 1.0 | 132M| 527 | 0 |1700 |1644 |1700 | 207 | 18k| 68 | 801 | 0.000000e+00 | 1.742100e+04 | Inf
98.68/98.70 c 96.2s|140000 |139243 |140124 | 1.0 | 142M| 527 | 0 |1700 |1635 |1700 | 210 | 20k| 68 | 802 | 0.000000e+00 | 1.742100e+04 | Inf
106.88/106.93 c 104s|150000 |149239 |154016 | 1.0 | 152M| 527 | 0 |1700 |1639 |1700 | 190 | 22k| 81 | 814 | 0.000000e+00 | 1.742100e+04 | Inf
114.99/115.03 c 112s|160000 |159239 |167509 | 1.0 | 162M| 527 | 0 |1700 |1626 |1700 | 203 | 24k| 81 | 841 | 0.000000e+00 | 1.742100e+04 | Inf
122.78/122.88 c 120s|170000 |169239 |180763 | 1.1 | 171M| 527 | 0 |1700 |1620 |1700 | 197 | 26k| 81 | 856 | 0.000000e+00 | 1.742100e+04 | Inf
131.18/131.25 c 128s|180000 |179239 |197359 | 1.1 | 181M| 527 | 0 |1700 |1619 |1700 | 192 | 29k| 81 | 864 | 0.000000e+00 | 1.742100e+04 | Inf
139.18/139.28 c 136s|190000 |189239 |210867 | 1.1 | 191M| 527 | 0 |1700 |1618 |1700 | 186 | 30k| 81 | 916 | 0.000000e+00 | 1.742100e+04 | Inf
146.78/146.84 c 143s|200000 |199239 |221526 | 1.1 | 200M| 527 | 0 |1700 |1617 |1700 | 197 | 32k| 81 | 934 | 0.000000e+00 | 1.742100e+04 | Inf
154.28/154.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.28/154.30 c 150s|210000 |209239 |230447 | 1.1 | 210M| 527 | 0 |1700 |1617 |1700 | 188 | 33k| 81 | 974 | 0.000000e+00 | 1.742100e+04 | Inf
162.18/162.28 c 158s|220000 |219239 |243037 | 1.1 | 219M| 527 | 0 |1700 |1617 |1700 | 207 | 35k| 81 | 993 | 0.000000e+00 | 1.742100e+04 | Inf
170.19/170.22 c 166s|230000 |229239 |255419 | 1.1 | 229M| 527 | 0 |1700 |1617 |1700 | 189 | 36k| 81 |1046 | 0.000000e+00 | 1.742100e+04 | Inf
178.28/178.35 c 174s|240000 |239239 |266781 | 1.1 | 239M| 527 | 0 |1700 |1617 |1700 | 210 | 39k| 81 |1060 | 0.000000e+00 | 1.742100e+04 | Inf
186.68/186.75 c 182s|250000 |249239 |279656 | 1.1 | 249M| 527 | 0 |1700 |1616 |1700 | 193 | 41k| 81 |1060 | 0.000000e+00 | 1.742100e+04 | Inf
194.39/194.46 c 190s|260000 |259239 |290108 | 1.1 | 258M| 527 | 0 |1700 |1616 |1700 | 207 | 43k| 81 |1099 | 0.000000e+00 | 1.742100e+04 | Inf
202.39/202.47 c 197s|270000 |269239 |301216 | 1.1 | 268M| 527 | 0 |1700 |1616 |1700 | 200 | 45k| 81 |1125 | 0.000000e+00 | 1.742100e+04 | Inf
209.18/209.26 c 204s|280000 |279239 |307917 | 1.1 | 277M| 527 | 0 |1700 |1616 |1700 | 194 | 46k| 81 |1125 | 0.000000e+00 | 1.742100e+04 | Inf
215.59/215.61 c 210s|290000 |289239 |313064 | 1.1 | 287M| 527 | 0 |1700 |1616 |1700 | 207 | 47k| 81 |1125 | 0.000000e+00 | 1.742100e+04 | Inf
221.89/221.96 c 216s|300000 |299239 |318338 | 1.1 | 296M| 527 | 0 |1700 |1615 |1700 | 203 | 47k| 81 |1125 | 0.000000e+00 | 1.742100e+04 | Inf
228.28/228.32 c 223s|310000 |309239 |323590 | 1.0 | 305M| 527 | 0 |1700 |1615 |1700 | 189 | 48k| 81 |1127 | 0.000000e+00 | 1.742100e+04 | Inf
236.08/236.17 c 230s|320000 |319239 |336211 | 1.0 | 315M| 527 | 0 |1700 |1615 |1700 | 193 | 50k| 81 |1211 | 0.000000e+00 | 1.742100e+04 | Inf
243.68/243.71 c 238s|330000 |329239 |347915 | 1.1 | 324M| 527 | 0 |1700 |1615 |1700 | 210 | 51k| 81 |1254 | 0.000000e+00 | 1.742100e+04 | Inf
252.09/252.18 c 246s|340000 |339239 |365246 | 1.1 | 334M| 527 | 0 |1700 |1615 |1700 | 188 | 54k| 81 |1292 | 0.000000e+00 | 1.742100e+04 | Inf
260.28/260.30 c 254s|350000 |349239 |380781 | 1.1 | 344M| 527 | 0 |1700 |1615 |1700 | 200 | 56k| 81 |1335 | 0.000000e+00 | 1.742100e+04 | Inf
267.78/267.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.78/267.86 c 261s|360000 |359239 |392638 | 1.1 | 354M| 527 | 0 |1700 |1615 |1700 | 203 | 58k| 81 |1357 | 0.000000e+00 | 1.742100e+04 | Inf
275.89/275.92 c 269s|370000 |369239 |404991 | 1.1 | 363M| 527 | 0 |1700 |1615 |1700 | 188 | 60k| 81 |1360 | 0.000000e+00 | 1.742100e+04 | Inf
284.09/284.19 c 277s|380000 |379239 |417445 | 1.1 | 373M| 527 | 0 |1700 |1614 |1700 | 190 | 62k| 81 |1360 | 0.000000e+00 | 1.742100e+04 | Inf
292.19/292.29 c 285s|390000 |389239 |430254 | 1.1 | 383M| 527 | 0 |1700 |1614 |1700 | 208 | 64k| 81 |1409 | 0.000000e+00 | 1.742100e+04 | Inf
300.69/300.70 c 293s|400000 |399239 |444936 | 1.1 | 392M| 527 | 0 |1700 |1614 |1700 | 199 | 67k| 81 |1423 | 0.000000e+00 | 1.742100e+04 | Inf
309.09/309.13 c 301s|410000 |409239 |460115 | 1.1 | 402M| 527 | 0 |1700 |1614 |1700 | 199 | 70k| 81 |1473 | 0.000000e+00 | 1.742100e+04 | Inf
316.79/316.85 c 309s|420000 |419239 |471852 | 1.1 | 412M| 527 | 0 |1700 |1614 |1700 | 194 | 71k| 81 |1478 | 0.000000e+00 | 1.742100e+04 | Inf
324.59/324.64 c 317s|430000 |429239 |484535 | 1.1 | 421M| 527 | 0 |1700 |1613 |1700 | 211 | 73k| 81 |1526 | 0.000000e+00 | 1.742100e+04 | Inf
332.49/332.51 c 324s|440000 |439239 |495712 | 1.1 | 431M| 527 | 0 |1700 |1611 |1700 | 191 | 75k| 81 |1570 | 0.000000e+00 | 1.742100e+04 | Inf
339.98/340.08 c 332s|450000 |449239 |506487 | 1.1 | 441M| 527 | 0 |1700 |1611 |1700 | 200 | 77k| 81 |1576 | 0.000000e+00 | 1.742100e+04 | Inf
347.50/347.56 c 339s|460000 |459239 |517371 | 1.1 | 450M| 527 | 0 |1700 |1611 |1700 | 199 | 79k| 81 |1588 | 0.000000e+00 | 1.742100e+04 | Inf
354.49/354.52 c 346s|470000 |469239 |524984 | 1.1 | 460M| 527 | 0 |1700 |1611 |1700 | 202 | 80k| 81 |1603 | 0.000000e+00 | 1.742100e+04 | Inf
362.39/362.42 c 353s|480000 |479239 |538432 | 1.1 | 469M| 527 | 0 |1700 |1611 |1700 | 200 | 82k| 81 |1605 | 0.000000e+00 | 1.742100e+04 | Inf
370.28/370.34 c 361s|490000 |489239 |549254 | 1.1 | 479M| 527 | 0 |1700 |1610 |1700 | 187 | 84k| 81 |1608 | 0.000000e+00 | 1.742100e+04 | Inf
377.99/378.05 c 369s|500000 |499239 |560060 | 1.1 | 488M| 527 | 0 |1700 |1610 |1700 | 189 | 86k| 81 |1608 | 0.000000e+00 | 1.742100e+04 | Inf
384.39/384.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.39/384.41 c 375s|510000 |509239 |565149 | 1.1 | 498M| 527 | 0 |1700 |1610 |1700 | 193 | 87k| 81 |1608 | 0.000000e+00 | 1.742100e+04 | Inf
390.89/390.92 c 381s|520000 |519239 |571178 | 1.1 | 507M| 527 | 0 |1700 |1610 |1700 | 202 | 88k| 81 |1608 | 0.000000e+00 | 1.742100e+04 | Inf
397.59/397.60 c 388s|530000 |529239 |577996 | 1.1 | 516M| 527 | 0 |1700 |1610 |1700 | 199 | 89k| 81 |1613 | 0.000000e+00 | 1.742100e+04 | Inf
403.99/404.05 c 394s|540000 |539239 |584180 | 1.1 | 526M| 527 | 0 |1700 |1610 |1700 | 201 | 90k| 81 |1613 | 0.000000e+00 | 1.742100e+04 | Inf
410.19/410.29 c 400s|550000 |549239 |589351 | 1.1 | 535M| 527 | 0 |1700 |1610 |1700 | 203 | 90k| 81 |1613 | 0.000000e+00 | 1.742100e+04 | Inf
417.19/417.21 c 407s|560000 |559239 |597674 | 1.1 | 545M| 527 | 0 |1700 |1610 |1700 | 191 | 92k| 81 |1613 | 0.000000e+00 | 1.742100e+04 | Inf
425.29/425.33 c 415s|570000 |569239 |611777 | 1.1 | 554M| 527 | 0 |1700 |1610 |1700 | 192 | 94k| 81 |1613 | 0.000000e+00 | 1.742100e+04 | Inf
433.29/433.37 c 423s|580000 |579239 |626729 | 1.1 | 564M| 527 | 0 |1700 |1610 |1700 | 190 | 96k| 81 |1613 | 0.000000e+00 | 1.742100e+04 | Inf
440.59/440.61 c 430s|590000 |589239 |636820 | 1.1 | 573M| 527 | 0 |1700 |1610 |1700 | 192 | 98k| 81 |1613 | 0.000000e+00 | 1.742100e+04 | Inf
448.80/448.88 c 438s|600000 |599239 |652444 | 1.1 | 583M| 527 | 0 |1700 |1610 |1700 | 203 | 100k| 81 |1613 | 0.000000e+00 | 1.742100e+04 | Inf
456.70/456.78 c 445s|610000 |609239 |664856 | 1.1 | 593M| 527 | 0 |1700 |1610 |1700 | 201 | 102k| 81 |1613 | 0.000000e+00 | 1.742100e+04 | Inf
464.39/464.47 c 453s|620000 |619239 |676979 | 1.1 | 602M| 527 | 0 |1700 |1610 |1700 | 207 | 104k| 81 |1623 | 0.000000e+00 | 1.742100e+04 | Inf
471.49/471.59 c 460s|630000 |629239 |686122 | 1.1 | 612M| 527 | 0 |1700 |1610 |1700 | 199 | 105k| 81 |1658 | 0.000000e+00 | 1.742100e+04 | Inf
478.79/478.81 c 467s|640000 |639239 |694348 | 1.1 | 621M| 527 | 0 |1700 |1609 |1700 | 189 | 106k| 81 |1663 | 0.000000e+00 | 1.742100e+04 | Inf
485.49/485.55 c 474s|650000 |649239 |701190 | 1.1 | 631M| 527 | 0 |1700 |1609 |1700 | 203 | 107k| 81 |1663 | 0.000000e+00 | 1.742100e+04 | Inf
492.40/492.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.40/492.45 c 480s|660000 |659239 |709147 | 1.1 | 640M| 527 | 0 |1700 |1609 |1700 | 199 | 109k| 81 |1678 | 0.000000e+00 | 1.742100e+04 | Inf
499.00/499.09 c 487s|670000 |669239 |715080 | 1.1 | 649M| 527 | 0 |1700 |1609 |1700 | 201 | 110k| 81 |1678 | 0.000000e+00 | 1.742100e+04 | Inf
505.49/505.52 c 493s|680000 |679239 |719964 | 1.1 | 659M| 527 | 0 |1700 |1609 |1700 | 205 | 110k| 81 |1678 | 0.000000e+00 | 1.742100e+04 | Inf
512.19/512.20 c 500s|690000 |689239 |726014 | 1.1 | 668M| 527 | 0 |1700 |1609 |1700 | 206 | 111k| 81 |1685 | 0.000000e+00 | 1.742100e+04 | Inf
518.89/518.92 c 506s|700000 |699239 |732836 | 1.0 | 678M| 527 | 0 |1700 |1609 |1700 | 202 | 112k| 81 |1697 | 0.000000e+00 | 1.742100e+04 | Inf
525.70/525.72 c 513s|710000 |709239 |739970 | 1.0 | 687M| 527 | 0 |1700 |1609 |1700 | 191 | 114k| 81 |1703 | 0.000000e+00 | 1.742100e+04 | Inf
532.19/532.23 c 519s|720000 |719239 |745774 | 1.0 | 696M| 527 | 0 |1700 |1609 |1700 | 206 | 115k| 81 |1703 | 0.000000e+00 | 1.742100e+04 | Inf
539.79/539.80 c 526s|730000 |729239 |755758 | 1.0 | 706M| 527 | 0 |1700 |1609 |1700 | 196 | 117k| 81 |1725 | 0.000000e+00 | 1.742100e+04 | Inf
546.39/546.41 c 533s|740000 |739239 |761604 | 1.0 | 715M| 527 | 0 |1700 |1609 |1700 | 201 | 117k| 81 |1771 | 0.000000e+00 | 1.742100e+04 | Inf
552.69/552.73 c 539s|750000 |749239 |766674 | 1.0 | 725M| 527 | 0 |1700 |1609 |1700 | 198 | 118k| 81 |1771 | 0.000000e+00 | 1.742100e+04 | Inf
559.00/559.03 c 545s|760000 |759239 |771853 | 1.0 | 734M| 527 | 0 |1700 |1609 |1700 | 210 | 119k| 81 |1771 | 0.000000e+00 | 1.742100e+04 | Inf
565.30/565.38 c 551s|770000 |769239 |777144 | 1.0 | 743M| 527 | 0 |1700 |1609 |1700 | 199 | 120k| 81 |1771 | 0.000000e+00 | 1.742100e+04 | Inf
572.50/572.59 c 559s|780000 |779239 |785657 | 1.0 | 753M| 527 | 0 |1700 |1609 |1700 | 209 | 121k| 81 |1868 | 0.000000e+00 | 1.742100e+04 | Inf
580.39/580.48 c 566s|790000 |789237 |798502 | 1.0 | 763M| 527 | 0 |1700 |1613 |1700 | 199 | 123k| 86 |2173 | 0.000000e+00 | 1.742100e+04 | Inf
588.09/588.16 c 574s|800000 |799237 |810131 | 1.0 | 772M| 527 | 0 |1700 |1611 |1700 | 192 | 124k| 86 |2217 | 0.000000e+00 | 1.742100e+04 | Inf
596.20/596.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.20/596.28 c 582s|810000 |809237 |823267 | 1.0 | 782M| 527 | 0 |1700 |1611 |1700 | 188 | 126k| 86 |2459 | 0.000000e+00 | 1.742100e+04 | Inf
603.39/603.42 c 589s|820000 |819237 |832231 | 1.0 | 791M| 527 | 0 |1700 |1609 |1700 | 197 | 127k| 86 |2484 | 0.000000e+00 | 1.742100e+04 | Inf
610.10/610.17 c 595s|830000 |829237 |840153 | 1.0 | 800M| 527 | 0 |1700 |1609 |1700 | 206 | 128k| 86 |2658 | 0.000000e+00 | 1.742100e+04 | Inf
616.79/616.82 c 602s|840000 |839237 |847526 | 1.0 | 810M| 527 | 0 |1700 |1609 |1700 | 203 | 129k| 86 |2675 | 0.000000e+00 | 1.742100e+04 | Inf
623.30/623.33 c 608s|850000 |849237 |854517 | 1.0 | 819M| 527 | 0 |1700 |1609 |1700 | 210 | 130k| 86 |2679 | 0.000000e+00 | 1.742100e+04 | Inf
629.99/630.01 c 615s|860000 |859237 |862726 | 1.0 | 829M| 527 | 0 |1700 |1609 |1700 | 194 | 131k| 86 |2946 | 0.000000e+00 | 1.742100e+04 | Inf
636.40/636.41 c 621s|870000 |869237 |869129 | 1.0 | 838M| 527 | 0 |1700 |1609 |1700 | 188 | 132k| 86 |2950 | 0.000000e+00 | 1.742100e+04 | Inf
643.80/643.80 c 628s|880000 |879237 |880757 | 1.0 | 847M| 527 | 0 |1700 |1609 |1700 | 204 | 133k| 86 |2976 | 0.000000e+00 | 1.742100e+04 | Inf
650.90/650.91 c 635s|890000 |889237 |890682 | 1.0 | 857M| 527 | 0 |1700 |1608 |1700 | 204 | 134k| 86 |3002 | 0.000000e+00 | 1.742100e+04 | Inf
658.50/658.50 c 642s|900000 |899237 |902775 | 1.0 | 866M| 527 | 0 |1700 |1608 |1700 | 192 | 136k| 86 |3040 | 0.000000e+00 | 1.742100e+04 | Inf
666.50/666.55 c 650s|910000 |909237 |916961 | 1.0 | 876M| 527 | 0 |1700 |1608 |1700 | 192 | 138k| 86 |3040 | 0.000000e+00 | 1.742100e+04 | Inf
673.39/673.44 c 657s|920000 |919237 |925812 | 1.0 | 885M| 527 | 0 |1700 |1608 |1700 | 209 | 140k| 86 |3061 | 0.000000e+00 | 1.742100e+04 | Inf
680.10/680.19 c 663s|930000 |929237 |934452 | 1.0 | 895M| 527 | 0 |1700 |1608 |1700 | 201 | 141k| 86 |3079 | 0.000000e+00 | 1.742100e+04 | Inf
687.20/687.24 c 670s|940000 |939237 |944127 | 1.0 | 904M| 527 | 0 |1700 |1608 |1700 | 190 | 142k| 86 |3086 | 0.000000e+00 | 1.742100e+04 | Inf
694.40/694.49 c 677s|950000 |949237 |953234 | 1.0 | 914M| 527 | 0 |1700 |1608 |1700 | 201 | 144k| 86 |3088 | 0.000000e+00 | 1.742100e+04 | Inf
701.10/701.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.10/701.10 c 684s|960000 |959237 |958500 | 1.0 | 923M| 527 | 0 |1700 |1607 |1700 | 210 | 145k| 86 |3091 | 0.000000e+00 | 1.742100e+04 | Inf
707.70/707.73 c 690s|970000 |969237 |963508 | 1.0 | 932M| 527 | 0 |1700 |1607 |1700 | 206 | 146k| 86 |3091 | 0.000000e+00 | 1.742100e+04 | Inf
714.10/714.12 c 697s|980000 |979237 |967831 | 1.0 | 942M| 527 | 0 |1700 |1607 |1700 | 199 | 147k| 86 |3091 | 0.000000e+00 | 1.742100e+04 | Inf
720.70/720.74 c 703s|990000 |989237 |972848 | 1.0 | 951M| 527 | 0 |1700 |1607 |1700 | 206 | 148k| 86 |3091 | 0.000000e+00 | 1.742100e+04 | Inf
728.10/728.11 c 710s| 1000k|999237 |980704 | 1.0 | 961M| 527 | 0 |1700 |1607 |1700 | 200 | 150k| 86 |3091 | 0.000000e+00 | 1.742100e+04 | Inf
736.00/736.05 c 718s| 1010k| 1009k|991791 | 1.0 | 970M| 527 | 0 |1700 |1607 |1700 | 203 | 152k| 86 |3091 | 0.000000e+00 | 1.742100e+04 | Inf
743.90/743.94 c 726s| 1020k| 1019k| 1002k| 1.0 | 980M| 527 | 0 |1700 |1607 |1700 | 204 | 154k| 86 |3091 | 0.000000e+00 | 1.742100e+04 | Inf
751.70/751.78 c 733s| 1030k| 1029k| 1013k| 1.0 | 990M| 527 | 0 |1700 |1607 |1700 | 198 | 156k| 86 |3099 | 0.000000e+00 | 1.742100e+04 | Inf
759.49/759.56 c 741s| 1040k| 1039k| 1023k| 1.0 | 999M| 527 | 0 |1700 |1607 |1700 | 203 | 159k| 86 |3102 | 0.000000e+00 | 1.742100e+04 | Inf
767.20/767.23 c 748s| 1050k| 1049k| 1033k| 1.0 |1009M| 527 | 0 |1700 |1607 |1700 | 208 | 161k| 86 |3113 | 0.000000e+00 | 1.742100e+04 | Inf
774.10/774.14 c 755s| 1060k| 1059k| 1042k| 1.0 |1018M| 527 | 0 |1700 |1607 |1700 | 198 | 162k| 86 |3202 | 0.000000e+00 | 1.742100e+04 | Inf
780.80/780.81 c 762s| 1070k| 1069k| 1049k| 1.0 |1028M| 527 | 0 |1700 |1606 |1700 | 186 | 163k| 86 |3243 | 0.000000e+00 | 1.742100e+04 | Inf
787.51/787.58 c 768s| 1080k| 1079k| 1055k| 1.0 |1037M| 527 | 0 |1700 |1606 |1700 | 184 | 164k| 86 |3332 | 0.000000e+00 | 1.742100e+04 | Inf
795.10/795.11 c 776s| 1090k| 1089k| 1068k| 1.0 |1047M| 527 | 0 |1700 |1606 |1700 | 199 | 165k| 86 |3383 | 0.000000e+00 | 1.742100e+04 | Inf
802.70/802.79 c 783s| 1100k| 1099k| 1080k| 1.0 |1056M| 527 | 0 |1700 |1606 |1700 | 205 | 167k| 86 |3407 | 0.000000e+00 | 1.742100e+04 | Inf
809.60/809.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.60/809.69 c 790s| 1110k| 1109k| 1088k| 1.0 |1066M| 527 | 0 |1700 |1606 |1700 | 209 | 168k| 86 |3409 | 0.000000e+00 | 1.742100e+04 | Inf
816.80/816.88 c 797s| 1120k| 1119k| 1097k| 1.0 |1075M| 527 | 0 |1700 |1606 |1700 | 183 | 169k| 86 |3410 | 0.000000e+00 | 1.742100e+04 | Inf
824.49/824.50 c 804s| 1130k| 1129k| 1110k| 1.0 |1085M| 527 | 0 |1700 |1606 |1700 | 210 | 171k| 86 |3431 | 0.000000e+00 | 1.742100e+04 | Inf
831.00/831.08 c 811s| 1140k| 1139k| 1116k| 1.0 |1094M| 527 | 0 |1700 |1606 |1700 | 201 | 172k| 86 |3434 | 0.000000e+00 | 1.742100e+04 | Inf
837.69/837.70 c 817s| 1150k| 1149k| 1124k| 1.0 |1103M| 527 | 0 |1700 |1606 |1700 | 197 | 173k| 86 |3450 | 0.000000e+00 | 1.742100e+04 | Inf
844.60/844.63 c 824s| 1160k| 1159k| 1133k| 1.0 |1113M| 527 | 0 |1700 |1606 |1700 | 201 | 174k| 86 |3460 | 0.000000e+00 | 1.742100e+04 | Inf
851.50/851.52 c 831s| 1170k| 1169k| 1141k| 1.0 |1122M| 527 | 0 |1700 |1606 |1700 | 195 | 175k| 86 |3479 | 0.000000e+00 | 1.742100e+04 | Inf
858.80/858.89 c 838s| 1180k| 1179k| 1152k| 1.0 |1132M| 527 | 0 |1700 |1606 |1700 | 194 | 176k| 86 |3495 | 0.000000e+00 | 1.742100e+04 | Inf
866.20/866.25 c 845s| 1190k| 1189k| 1162k| 1.0 |1141M| 527 | 0 |1700 |1606 |1700 | 205 | 178k| 86 |3507 | 0.000000e+00 | 1.742100e+04 | Inf
873.20/873.26 c 852s| 1200k| 1199k| 1170k| 1.0 |1151M| 527 | 0 |1700 |1606 |1700 | 197 | 179k| 86 |3537 | 0.000000e+00 | 1.742100e+04 | Inf
880.20/880.22 c 859s| 1210k| 1209k| 1178k| 1.0 |1160M| 527 | 0 |1700 |1606 |1700 | 200 | 180k| 86 |3546 | 0.000000e+00 | 1.742100e+04 | Inf
887.10/887.19 c 865s| 1220k| 1219k| 1186k| 1.0 |1170M| 527 | 0 |1700 |1606 |1700 | 195 | 181k| 86 |3559 | 0.000000e+00 | 1.742100e+04 | Inf
894.71/894.77 c 873s| 1230k| 1229k| 1197k| 1.0 |1179M| 527 | 0 |1700 |1606 |1700 | 206 | 182k| 86 |3586 | 0.000000e+00 | 1.742100e+04 | Inf
902.30/902.37 c 880s| 1240k| 1239k| 1209k| 1.0 |1189M| 527 | 0 |1700 |1606 |1700 | 212 | 184k| 86 |3613 | 0.000000e+00 | 1.742100e+04 | Inf
909.71/909.73 c 887s| 1250k| 1249k| 1220k| 1.0 |1198M| 527 | 0 |1700 |1605 |1700 | 203 | 185k| 86 |3650 | 0.000000e+00 | 1.742100e+04 | Inf
916.30/916.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
916.30/916.38 c 894s| 1260k| 1259k| 1226k| 1.0 |1207M| 527 | 0 |1700 |1605 |1700 | 201 | 186k| 86 |3658 | 0.000000e+00 | 1.742100e+04 | Inf
922.91/922.93 c 900s| 1270k| 1269k| 1232k| 1.0 |1217M| 527 | 0 |1700 |1605 |1700 | 199 | 187k| 86 |3667 | 0.000000e+00 | 1.742100e+04 | Inf
929.70/929.73 c 907s| 1280k| 1279k| 1240k| 1.0 |1226M| 527 | 0 |1700 |1605 |1700 | 194 | 188k| 86 |3671 | 0.000000e+00 | 1.742100e+04 | Inf
936.00/936.04 c 913s| 1290k| 1289k| 1246k| 1.0 |1236M| 527 | 0 |1700 |1605 |1700 | 208 | 189k| 86 |3675 | 0.000000e+00 | 1.742100e+04 | Inf
942.90/942.93 c 920s| 1300k| 1299k| 1252k| 1.0 |1245M| 527 | 0 |1700 |1605 |1700 | 211 | 190k| 86 |3682 | 0.000000e+00 | 1.742100e+04 | Inf
950.21/950.28 c 927s| 1310k| 1309k| 1262k| 1.0 |1255M| 527 | 0 |1700 |1605 |1700 | 204 | 191k| 86 |3690 | 0.000000e+00 | 1.742100e+04 | Inf
956.70/956.78 c 933s| 1320k| 1319k| 1268k| 1.0 |1264M| 527 | 0 |1700 |1605 |1700 | 207 | 192k| 86 |3690 | 0.000000e+00 | 1.742100e+04 | Inf
963.80/963.80 c 940s| 1330k| 1329k| 1277k| 1.0 |1273M| 527 | 0 |1700 |1605 |1700 | 200 | 193k| 86 |3690 | 0.000000e+00 | 1.742100e+04 | Inf
970.91/970.99 c 947s| 1340k| 1339k| 1287k| 1.0 |1283M| 527 | 0 |1700 |1605 |1700 | 194 | 194k| 86 |3732 | 0.000000e+00 | 1.742100e+04 | Inf
977.70/977.70 c 954s| 1350k| 1349k| 1295k| 1.0 |1292M| 527 | 0 |1700 |1605 |1700 | 195 | 195k| 86 |3787 | 0.000000e+00 | 1.742100e+04 | Inf
983.80/983.86 c 960s| 1360k| 1359k| 1300k| 1.0 |1302M| 527 | 0 |1700 |1605 |1700 | 191 | 196k| 86 |3787 | 0.000000e+00 | 1.742100e+04 | Inf
989.91/989.96 c 966s| 1370k| 1369k| 1304k| 1.0 |1311M| 527 | 0 |1700 |1605 |1700 | 209 | 196k| 86 |3799 | 0.000000e+00 | 1.742100e+04 | Inf
996.11/996.18 c 972s| 1380k| 1379k| 1309k| 0.9 |1320M| 527 | 0 |1700 |1605 |1700 | 192 | 197k| 86 |3800 | 0.000000e+00 | 1.742100e+04 | Inf
1002.31/1002.39 c 978s| 1390k| 1389k| 1314k| 0.9 |1329M| 527 | 0 |1700 |1605 |1700 | 204 | 197k| 86 |3802 | 0.000000e+00 | 1.742100e+04 | Inf
1008.50/1008.55 c 984s| 1400k| 1399k| 1318k| 0.9 |1339M| 527 | 0 |1700 |1605 |1700 | 195 | 198k| 86 |3804 | 0.000000e+00 | 1.742100e+04 | Inf
1015.01/1015.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.01/1015.02 c 990s| 1410k| 1409k| 1324k| 0.9 |1348M| 527 | 0 |1700 |1605 |1700 | 198 | 199k| 86 |3806 | 0.000000e+00 | 1.742100e+04 | Inf
1021.41/1021.47 c 997s| 1420k| 1419k| 1330k| 0.9 |1357M| 527 | 0 |1700 |1605 |1700 | 199 | 199k| 86 |3807 | 0.000000e+00 | 1.742100e+04 | Inf
1028.21/1028.25 c 1003s| 1430k| 1429k| 1338k| 0.9 |1367M| 527 | 0 |1700 |1605 |1700 | 202 | 200k| 86 |3809 | 0.000000e+00 | 1.742100e+04 | Inf
1034.91/1034.90 c 1010s| 1440k| 1439k| 1345k| 0.9 |1376M| 527 | 0 |1700 |1605 |1700 | 203 | 201k| 86 |3819 | 0.000000e+00 | 1.742100e+04 | Inf
1041.81/1041.84 c 1017s| 1450k| 1449k| 1353k| 0.9 |1386M| 527 | 0 |1700 |1605 |1700 | 201 | 202k| 86 |3830 | 0.000000e+00 | 1.742100e+04 | Inf
1048.50/1048.51 c 1023s| 1460k| 1459k| 1361k| 0.9 |1395M| 527 | 0 |1700 |1605 |1700 | 195 | 203k| 86 |3839 | 0.000000e+00 | 1.742100e+04 | Inf
1055.21/1055.26 c 1030s| 1470k| 1469k| 1369k| 0.9 |1404M| 527 | 0 |1700 |1605 |1700 | 203 | 204k| 86 |3844 | 0.000000e+00 | 1.742100e+04 | Inf
1061.51/1061.59 c 1036s| 1480k| 1479k| 1375k| 0.9 |1414M| 527 | 0 |1700 |1605 |1700 | 213 | 204k| 86 |3846 | 0.000000e+00 | 1.742100e+04 | Inf
1067.81/1067.84 c 1042s| 1490k| 1489k| 1380k| 0.9 |1423M| 527 | 0 |1700 |1605 |1700 | 194 | 205k| 86 |3852 | 0.000000e+00 | 1.742100e+04 | Inf
1075.01/1075.00 c 1049s| 1500k| 1499k| 1389k| 0.9 |1433M| 527 | 0 |1700 |1605 |1700 | 196 | 206k| 86 |3871 | 0.000000e+00 | 1.742100e+04 | Inf
1081.31/1081.39 c 1055s| 1510k| 1509k| 1395k| 0.9 |1442M| 527 | 0 |1700 |1605 |1700 | 204 | 207k| 86 |3871 | 0.000000e+00 | 1.742100e+04 | Inf
1088.30/1088.34 c 1062s| 1520k| 1519k| 1402k| 0.9 |1451M| 527 | 0 |1700 |1605 |1700 | 196 | 208k| 86 |3876 | 0.000000e+00 | 1.742100e+04 | Inf
1095.51/1095.52 c 1069s| 1530k| 1529k| 1411k| 0.9 |1461M| 527 | 0 |1700 |1605 |1700 | 193 | 210k| 86 |3878 | 0.000000e+00 | 1.742100e+04 | Inf
1102.61/1102.64 c 1076s| 1540k| 1539k| 1420k| 0.9 |1470M| 527 | 0 |1700 |1605 |1700 | 206 | 211k| 86 |3891 | 0.000000e+00 | 1.742100e+04 | Inf
1109.71/1109.75 c 1083s| 1550k| 1549k| 1428k| 0.9 |1480M| 527 | 0 |1700 |1605 |1700 | 210 | 212k| 86 |3892 | 0.000000e+00 | 1.742100e+04 | Inf
1117.41/1117.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1117.41/1117.42 c 1090s| 1560k| 1559k| 1440k| 0.9 |1489M| 527 | 0 |1700 |1605 |1700 | 200 | 214k| 86 |4036 | 0.000000e+00 | 1.742100e+04 | Inf
1125.11/1125.19 c 1098s| 1570k| 1569k| 1455k| 0.9 |1499M| 527 | 0 |1700 |1605 |1700 | 189 | 216k| 86 |4197 | 0.000000e+00 | 1.742100e+04 | Inf
1132.91/1132.92 c 1105s| 1580k| 1579k| 1469k| 0.9 |1509M| 527 | 0 |1700 |1605 |1700 | 196 | 217k| 86 |4202 | 0.000000e+00 | 1.742100e+04 | Inf
1140.11/1140.14 c 1113s| 1590k| 1589k| 1479k| 0.9 |1518M| 527 | 0 |1700 |1605 |1700 | 185 | 219k| 86 |4211 | 0.000000e+00 | 1.742100e+04 | Inf
1147.41/1147.46 c 1120s| 1600k| 1599k| 1491k| 0.9 |1528M| 527 | 0 |1700 |1605 |1700 | 189 | 220k| 86 |4263 | 0.000000e+00 | 1.742100e+04 | Inf
1154.20/1154.28 c 1126s| 1610k| 1609k| 1498k| 0.9 |1537M| 527 | 0 |1700 |1605 |1700 | 190 | 221k| 86 |4263 | 0.000000e+00 | 1.742100e+04 | Inf
1161.80/1161.82 c 1134s| 1620k| 1619k| 1510k| 0.9 |1546M| 527 | 0 |1700 |1605 |1700 | 199 | 222k| 86 |4286 | 0.000000e+00 | 1.742100e+04 | Inf
1169.50/1169.53 c 1141s| 1630k| 1629k| 1522k| 0.9 |1556M| 527 | 0 |1700 |1605 |1700 | 202 | 224k| 86 |4316 | 0.000000e+00 | 1.742100e+04 | Inf
1176.92/1176.90 c 1148s| 1640k| 1639k| 1532k| 0.9 |1565M| 527 | 0 |1700 |1605 |1700 | 194 | 226k| 86 |4322 | 0.000000e+00 | 1.742100e+04 | Inf
1184.11/1184.13 c 1155s| 1650k| 1649k| 1542k| 0.9 |1575M| 527 | 0 |1700 |1605 |1700 | 198 | 227k| 86 |4344 | 0.000000e+00 | 1.742100e+04 | Inf
1192.00/1192.01 c 1163s| 1660k| 1659k| 1555k| 0.9 |1585M| 527 | 0 |1700 |1605 |1700 | 186 | 229k| 86 |4391 | 0.000000e+00 | 1.742100e+04 | Inf
1200.31/1200.37 c 1171s| 1670k| 1669k| 1572k| 0.9 |1594M| 527 | 0 |1700 |1605 |1700 | 196 | 231k| 86 |4396 | 0.000000e+00 | 1.742100e+04 | Inf
1208.91/1208.91 c 1180s| 1680k| 1679k| 1589k| 0.9 |1604M| 527 | 0 |1700 |1605 |1700 | 193 | 234k| 86 |4410 | 0.000000e+00 | 1.742100e+04 | Inf
1217.41/1217.44 c 1188s| 1690k| 1689k| 1606k| 1.0 |1614M| 527 | 0 |1700 |1605 |1700 | 188 | 237k| 86 |4431 | 0.000000e+00 | 1.742100e+04 | Inf
1224.91/1224.91 c 1195s| 1700k| 1699k| 1617k| 1.0 |1623M| 527 | 0 |1700 |1605 |1700 | 206 | 239k| 86 |4446 | 0.000000e+00 | 1.742100e+04 | Inf
1232.21/1232.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.21/1232.25 c 1202s| 1710k| 1709k| 1628k| 1.0 |1633M| 527 | 0 |1700 |1605 |1700 | 204 | 240k| 86 |4490 | 0.000000e+00 | 1.742100e+04 | Inf
1239.91/1239.95 c 1210s| 1720k| 1719k| 1642k| 1.0 |1642M| 527 | 0 |1700 |1605 |1700 | 206 | 242k| 86 |4509 | 0.000000e+00 | 1.742100e+04 | Inf
1247.42/1247.44 c 1217s| 1730k| 1729k| 1652k| 1.0 |1652M| 527 | 0 |1700 |1605 |1700 | 183 | 243k| 86 |4523 | 0.000000e+00 | 1.742100e+04 | Inf
1254.41/1254.48 c 1224s| 1740k| 1739k| 1659k| 1.0 |1661M| 527 | 0 |1700 |1605 |1700 | 197 | 244k| 86 |4541 | 0.000000e+00 | 1.742100e+04 | Inf
1261.51/1261.52 c 1231s| 1750k| 1749k| 1667k| 1.0 |1670M| 527 | 0 |1700 |1605 |1700 | 199 | 245k| 86 |4549 | 0.000000e+00 | 1.742100e+04 | Inf
1268.71/1268.77 c 1238s| 1760k| 1759k| 1675k| 1.0 |1680M| 527 | 0 |1700 |1605 |1700 | 198 | 247k| 86 |4607 | 0.000000e+00 | 1.742100e+04 | Inf
1276.11/1276.13 c 1245s| 1770k| 1769k| 1685k| 1.0 |1690M| 527 | 0 |1700 |1605 |1700 | 204 | 248k| 86 |4616 | 0.000000e+00 | 1.742100e+04 | Inf
1283.41/1283.48 c 1252s| 1780k| 1779k| 1693k| 1.0 |1699M| 527 | 0 |1700 |1605 |1700 | 193 | 249k| 86 |4618 | 0.000000e+00 | 1.742100e+04 | Inf
1290.71/1290.77 c 1259s| 1790k| 1789k| 1704k| 1.0 |1709M| 527 | 0 |1700 |1605 |1700 | 188 | 250k| 86 |4624 | 0.000000e+00 | 1.742100e+04 | Inf
1298.12/1298.12 c 1267s| 1800k| 1799k| 1715k| 1.0 |1718M| 527 | 0 |1700 |1605 |1700 | 204 | 252k| 86 |4634 | 0.000000e+00 | 1.742100e+04 | Inf
1305.41/1305.49 c 1274s| 1810k| 1809k| 1726k| 1.0 |1728M| 527 | 0 |1700 |1605 |1700 | 203 | 253k| 86 |4643 | 0.000000e+00 | 1.742100e+04 | Inf
1312.81/1312.84 c 1281s| 1820k| 1819k| 1737k| 1.0 |1737M| 527 | 0 |1700 |1605 |1700 | 189 | 255k| 86 |4643 | 0.000000e+00 | 1.742100e+04 | Inf
1319.92/1319.98 c 1288s| 1830k| 1829k| 1747k| 1.0 |1747M| 527 | 0 |1700 |1605 |1700 | 194 | 256k| 86 |4645 | 0.000000e+00 | 1.742100e+04 | Inf
1327.11/1327.13 c 1295s| 1840k| 1839k| 1755k| 1.0 |1756M| 527 | 0 |1700 |1605 |1700 | 195 | 257k| 86 |4664 | 0.000000e+00 | 1.742100e+04 | Inf
1334.41/1334.45 c 1302s| 1850k| 1849k| 1765k| 1.0 |1766M| 527 | 0 |1700 |1605 |1700 | 198 | 259k| 86 |4682 | 0.000000e+00 | 1.742100e+04 | Inf
1342.21/1342.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.21/1342.20 c 1310s| 1860k| 1859k| 1779k| 1.0 |1775M| 527 | 0 |1700 |1605 |1700 | 192 | 260k| 86 |4709 | 0.000000e+00 | 1.742100e+04 | Inf
1349.11/1349.11 c 1316s| 1870k| 1869k| 1788k| 1.0 |1785M| 527 | 0 |1700 |1605 |1700 | 208 | 262k| 86 |4725 | 0.000000e+00 | 1.742100e+04 | Inf
1356.51/1356.57 c 1324s| 1880k| 1879k| 1800k| 1.0 |1794M| 527 | 0 |1700 |1605 |1700 | 212 | 263k| 86 |4750 | 0.000000e+00 | 1.742100e+04 | Inf
1364.42/1364.46 c 1331s| 1890k| 1889k| 1815k| 1.0 |1804M| 527 | 0 |1700 |1605 |1700 | 199 | 265k| 86 |4769 | 0.000000e+00 | 1.742100e+04 | Inf
1372.11/1372.19 c 1339s| 1900k| 1899k| 1828k| 1.0 |1814M| 527 | 0 |1700 |1605 |1700 | 190 | 267k| 86 |4790 | 0.000000e+00 | 1.742100e+04 | Inf
1379.81/1379.87 c 1346s| 1910k| 1909k| 1840k| 1.0 |1823M| 527 | 0 |1700 |1605 |1700 | 204 | 269k| 86 |4822 | 0.000000e+00 | 1.742100e+04 | Inf
1387.02/1387.01 c 1353s| 1920k| 1919k| 1848k| 1.0 |1833M| 527 | 0 |1700 |1605 |1700 | 198 | 270k| 86 |4829 | 0.000000e+00 | 1.742100e+04 | Inf
1394.62/1394.65 c 1361s| 1930k| 1929k| 1861k| 1.0 |1842M| 527 | 0 |1700 |1605 |1700 | 198 | 271k| 86 |4853 | 0.000000e+00 | 1.742100e+04 | Inf
1402.12/1402.18 c 1368s| 1940k| 1939k| 1873k| 1.0 |1852M| 527 | 0 |1700 |1605 |1700 | 194 | 273k| 86 |4875 | 0.000000e+00 | 1.742100e+04 | Inf
1409.62/1409.69 c 1376s| 1950k| 1949k| 1885k| 1.0 |1861M| 527 | 0 |1700 |1605 |1700 | 201 | 275k| 86 |4886 | 0.000000e+00 | 1.742100e+04 | Inf
1417.01/1417.09 c 1383s| 1960k| 1959k| 1896k| 1.0 |1871M| 527 | 0 |1700 |1605 |1700 | 196 | 276k| 86 |4905 | 0.000000e+00 | 1.742100e+04 | Inf
1424.52/1424.51 c 1390s| 1970k| 1969k| 1906k| 1.0 |1880M| 527 | 0 |1700 |1605 |1700 | 201 | 277k| 86 |4913 | 0.000000e+00 | 1.742100e+04 | Inf
1431.91/1431.94 c 1397s| 1980k| 1979k| 1915k| 1.0 |1890M| 527 | 0 |1700 |1605 |1700 | 199 | 279k| 86 |4926 | 0.000000e+00 | 1.742100e+04 | Inf
1439.31/1439.37 c 1404s| 1990k| 1989k| 1925k| 1.0 |1899M| 527 | 0 |1700 |1605 |1700 | 199 | 280k| 86 |4929 | 0.000000e+00 | 1.742100e+04 | Inf
1447.12/1447.16 c 1412s| 2000k| 1999k| 1937k| 1.0 |1909M| 527 | 0 |1700 |1605 |1700 | 203 | 282k| 86 |4938 | 0.000000e+00 | 1.742100e+04 | Inf
1454.42/1454.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.42/1454.40 c 1419s| 2010k| 2009k| 1946k| 1.0 |1919M| 527 | 0 |1700 |1605 |1700 | 205 | 283k| 86 |4943 | 0.000000e+00 | 1.742100e+04 | Inf
1461.61/1461.63 c 1426s| 2020k| 2019k| 1955k| 1.0 |1928M| 527 | 0 |1700 |1605 |1700 | 205 | 284k| 86 |4956 | 0.000000e+00 | 1.742100e+04 | Inf
1469.41/1469.49 c 1434s| 2030k| 2029k| 1967k| 1.0 |1938M| 527 | 0 |1700 |1605 |1700 | 198 | 286k| 86 |4984 | 0.000000e+00 | 1.742100e+04 | Inf
1477.51/1477.59 c 1442s| 2040k| 2039k| 1981k| 1.0 |1948M| 527 | 0 |1700 |1605 |1700 | 209 | 288k| 86 |4984 | 0.000000e+00 | 1.742100e+04 | Inf
1485.72/1485.78 c 1450s| 2050k| 2049k| 1993k| 1.0 |1957M| 527 | 0 |1700 |1605 |1700 | 192 | 290k| 86 |5005 | 0.000000e+00 | 1.742100e+04 | Inf
1493.82/1493.87 c 1458s| 2060k| 2059k| 2006k| 1.0 |1967M| 527 | 0 |1700 |1605 |1700 | 197 | 292k| 86 |5012 | 0.000000e+00 | 1.742100e+04 | Inf
1501.92/1501.99 c 1465s| 2070k| 2069k| 2019k| 1.0 |1977M| 527 | 0 |1700 |1605 |1700 | 198 | 294k| 86 |5012 | 0.000000e+00 | 1.742100e+04 | Inf
1510.11/1510.14 c 1473s| 2080k| 2079k| 2032k| 1.0 |1986M| 527 | 0 |1700 |1605 |1700 | 209 | 295k| 86 |5012 | 0.000000e+00 | 1.742100e+04 | Inf
1518.31/1518.34 c 1481s| 2090k| 2089k| 2046k| 1.0 |1996M| 527 | 0 |1700 |1605 |1700 | 193 | 298k| 86 |5028 | 0.000000e+00 | 1.742100e+04 | Inf
1526.01/1526.01 c 1489s| 2100k| 2099k| 2057k| 1.0 |2006M| 527 | 0 |1700 |1604 |1700 | 216 | 299k| 86 |5081 | 0.000000e+00 | 1.742100e+04 | Inf
1532.51/1532.51 c 1495s| 2110k| 2109k| 2063k| 1.0 |2015M| 527 | 0 |1700 |1604 |1700 | 205 | 300k| 86 |5098 | 0.000000e+00 | 1.742100e+04 | Inf
1540.12/1540.17 c 1503s| 2120k| 2119k| 2075k| 1.0 |2025M| 527 | 0 |1700 |1604 |1700 | 199 | 302k| 86 |5144 | 0.000000e+00 | 1.742100e+04 | Inf
1547.92/1547.93 c 1510s| 2130k| 2129k| 2089k| 1.0 |2034M| 527 | 0 |1700 |1604 |1700 | 210 | 304k| 86 |5176 | 0.000000e+00 | 1.742100e+04 | Inf
1555.11/1555.10 c 1517s| 2140k| 2139k| 2098k| 1.0 |2044M| 527 | 0 |1700 |1604 |1700 | 207 | 306k| 86 |5179 | 0.000000e+00 | 1.742100e+04 | Inf
1561.31/1561.39 c 1523s| 2150k| 2149k| 2102k| 1.0 |2053M| 527 | 0 |1700 |1604 |1700 | 199 | 306k| 86 |5196 | 0.000000e+00 | 1.742100e+04 | Inf
1567.61/1567.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1567.61/1567.62 c 1529s| 2160k| 2159k| 2106k| 1.0 |2062M| 527 | 0 |1700 |1604 |1700 | 205 | 307k| 86 |5202 | 0.000000e+00 | 1.742100e+04 | Inf
1573.82/1573.81 c 1536s| 2170k| 2169k| 2110k| 1.0 |2071M| 527 | 0 |1700 |1604 |1700 | 209 | 307k| 86 |5204 | 0.000000e+00 | 1.742100e+04 | Inf
1579.92/1579.93 c 1541s| 2180k| 2179k| 2114k| 1.0 |2081M| 527 | 0 |1700 |1604 |1700 | 200 | 308k| 86 |5215 | 0.000000e+00 | 1.742100e+04 | Inf
1586.23/1586.24 c 1548s| 2190k| 2189k| 2119k| 1.0 |2090M| 527 | 0 |1700 |1604 |1700 | 198 | 308k| 86 |5215 | 0.000000e+00 | 1.742100e+04 | Inf
1592.42/1592.45 c 1554s| 2200k| 2199k| 2124k| 1.0 |2099M| 527 | 0 |1700 |1604 |1700 | 197 | 309k| 86 |5230 | 0.000000e+00 | 1.742100e+04 | Inf
1599.42/1599.45 c 1561s| 2210k| 2209k| 2132k| 1.0 |2109M| 527 | 0 |1700 |1604 |1700 | 197 | 310k| 86 |5289 | 0.000000e+00 | 1.742100e+04 | Inf
1606.22/1606.29 c 1567s| 2220k| 2219k| 2139k| 1.0 |2118M| 527 | 0 |1700 |1604 |1700 | 199 | 311k| 86 |5294 | 0.000000e+00 | 1.742100e+04 | Inf
1613.42/1613.42 c 1574s| 2230k| 2229k| 2147k| 1.0 |2128M| 527 | 0 |1700 |1604 |1700 | 219 | 312k| 86 |5300 | 0.000000e+00 | 1.742100e+04 | Inf
1620.02/1620.04 c 1581s| 2240k| 2239k| 2153k| 1.0 |2137M| 527 | 0 |1700 |1604 |1700 | 203 | 313k| 86 |5302 | 0.000000e+00 | 1.742100e+04 | Inf
1626.92/1626.97 c 1587s| 2250k| 2249k| 2161k| 1.0 |2147M| 527 | 0 |1700 |1604 |1700 | 194 | 314k| 86 |5302 | 0.000000e+00 | 1.742100e+04 | Inf
1633.62/1633.68 c 1594s| 2260k| 2259k| 2168k| 1.0 |2156M| 527 | 0 |1700 |1604 |1700 | 210 | 315k| 86 |5311 | 0.000000e+00 | 1.742100e+04 | Inf
1640.62/1640.64 c 1601s| 2270k| 2269k| 2176k| 1.0 |2165M| 527 | 0 |1700 |1604 |1700 | 204 | 316k| 86 |5333 | 0.000000e+00 | 1.742100e+04 | Inf
1647.22/1647.29 c 1607s| 2280k| 2279k| 2182k| 1.0 |2175M| 527 | 0 |1700 |1604 |1700 | 223 | 317k| 86 |5371 | 0.000000e+00 | 1.742100e+04 | Inf
1654.43/1654.41 c 1614s| 2290k| 2289k| 2190k| 1.0 |2184M| 527 | 0 |1700 |1604 |1700 | 221 | 318k| 86 |5395 | 0.000000e+00 | 1.742100e+04 | Inf
1661.52/1661.55 c 1621s| 2300k| 2299k| 2199k| 1.0 |2194M| 527 | 0 |1700 |1604 |1700 | 203 | 320k| 86 |5415 | 0.000000e+00 | 1.742100e+04 | Inf
1668.52/1668.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.52/1668.51 c 1628s| 2310k| 2309k| 2208k| 1.0 |2203M| 527 | 0 |1700 |1604 |1700 | 189 | 321k| 86 |5423 | 0.000000e+00 | 1.742100e+04 | Inf
1675.82/1675.89 c 1635s| 2320k| 2319k| 2219k| 1.0 |2213M| 527 | 0 |1700 |1604 |1700 | 221 | 323k| 86 |5449 | 0.000000e+00 | 1.742100e+04 | Inf
1683.32/1683.30 c 1642s| 2330k| 2329k| 2229k| 1.0 |2222M| 527 | 0 |1700 |1604 |1700 | 197 | 324k| 86 |5454 | 0.000000e+00 | 1.742100e+04 | Inf
1690.02/1690.10 c 1649s| 2340k| 2339k| 2236k| 1.0 |2232M| 527 | 0 |1700 |1604 |1700 | 199 | 325k| 86 |5454 | 0.000000e+00 | 1.742100e+04 | Inf
1697.02/1697.08 c 1656s| 2350k| 2349k| 2243k| 1.0 |2241M| 527 | 0 |1700 |1604 |1700 | 219 | 326k| 86 |5476 | 0.000000e+00 | 1.742100e+04 | Inf
1703.93/1703.97 c 1663s| 2360k| 2359k| 2252k| 1.0 |2251M| 527 | 0 |1700 |1604 |1700 | 208 | 327k| 86 |5486 | 0.000000e+00 | 1.742100e+04 | Inf
1711.52/1711.53 c 1670s| 2370k| 2369k| 2264k| 1.0 |2260M| 527 | 0 |1700 |1604 |1700 | 198 | 329k| 86 |5495 | 0.000000e+00 | 1.742100e+04 | Inf
1718.52/1718.53 c 1677s| 2380k| 2379k| 2271k| 1.0 |2270M| 527 | 0 |1700 |1604 |1700 | 208 | 330k| 86 |5522 | 0.000000e+00 | 1.742100e+04 | Inf
1725.12/1725.14 c 1683s| 2390k| 2389k| 2278k| 1.0 |2279M| 527 | 0 |1700 |1604 |1700 | 202 | 331k| 86 |5531 | 0.000000e+00 | 1.742100e+04 | Inf
1731.42/1731.47 c 1689s| 2400k| 2399k| 2284k| 1.0 |2288M| 527 | 0 |1700 |1604 |1700 | 201 | 332k| 86 |5531 | 0.000000e+00 | 1.742100e+04 | Inf
1738.13/1738.16 c 1696s| 2410k| 2409k| 2291k| 1.0 |2298M| 527 | 0 |1700 |1604 |1700 | 200 | 333k| 86 |5538 | 0.000000e+00 | 1.742100e+04 | Inf
1745.32/1745.36 c 1703s| 2420k| 2419k| 2301k| 1.0 |2307M| 527 | 0 |1700 |1604 |1700 | 200 | 334k| 86 |5549 | 0.000000e+00 | 1.742100e+04 | Inf
1752.82/1752.86 c 1710s| 2430k| 2429k| 2311k| 1.0 |2317M| 527 | 0 |1700 |1604 |1700 | 198 | 336k| 86 |5558 | 0.000000e+00 | 1.742100e+04 | Inf
1760.52/1760.58 c 1718s| 2440k| 2439k| 2322k| 1.0 |2326M| 527 | 0 |1700 |1604 |1700 | 196 | 337k| 86 |5563 | 0.000000e+00 | 1.742100e+04 | Inf
1767.63/1767.69 c 1725s| 2450k| 2449k| 2330k| 1.0 |2336M| 527 | 0 |1700 |1604 |1700 | 193 | 338k| 86 |5592 | 0.000000e+00 | 1.742100e+04 | Inf
1774.82/1774.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.82/1774.81 c 1732s| 2460k| 2459k| 2339k| 1.0 |2345M| 527 | 0 |1700 |1604 |1700 | 201 | 339k| 86 |5620 | 0.000000e+00 | 1.742100e+04 | Inf
1781.52/1781.56 c 1738s| 2470k| 2469k| 2346k| 1.0 |2355M| 527 | 0 |1700 |1604 |1700 | 194 | 340k| 86 |5622 | 0.000000e+00 | 1.742100e+04 | Inf
1788.12/1788.10 c 1745s| 2480k| 2479k| 2352k| 0.9 |2364M| 527 | 0 |1700 |1604 |1700 | 197 | 341k| 86 |5630 | 0.000000e+00 | 1.742100e+04 | Inf
1794.43/1794.44 c 1751s| 2490k| 2489k| 2358k| 0.9 |2374M| 527 | 0 |1700 |1604 |1700 | 191 | 342k| 86 |5635 | 0.000000e+00 | 1.742100e+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) : 1756.29
1800.03/1800.00 c Solving Nodes : 2498820
1800.03/1800.00 c Primal Bound : +1.74210000000000e+04 (101 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 : 1756.29
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-2700009-1278533881.wbo
1800.03/1800.01 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.03/1800.01 c Constraints : 1701 initial, 1701 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-2700009-1278533881.wbo
1800.03/1800.01 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.03/1800.01 c Constraints : 1600 initial, 1668 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.01 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.02 0 100 0 800 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 2683115 0 0 15 0 0 6072
1800.03/1800.01 c indicator : 800 0 3862632 2680066 0 0 2324389 0 0 0
1800.03/1800.01 c linear : 800 6 3862632 2680066 0 15 1009045 343151 0 0
1800.03/1800.01 c logicor : 0+ 0 104165 0 0 0 35719 0 0 0
1800.03/1800.01 c countsols : 0 0 0 2495768 0 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.01 c integral : 5.67 0.00 0.00 5.67 0.00
1800.03/1800.01 c indicator : 193.23 0.06 40.01 153.16 0.00
1800.03/1800.01 c linear : 57.76 0.00 19.03 38.73 0.00
1800.03/1800.01 c logicor : 0.32 0.00 0.32 0.00 0.00
1800.03/1800.01 c countsols : 0.48 0.00 0.00 0.48 0.00
1800.03/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.01 c vbounds : 1.13 2 0 0
1800.03/1800.01 c rootredcost : 0.98 1 0 0
1800.03/1800.01 c pseudoobj : 64.75 3862433 1 130
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 0.00 16 16 28 22.8 95 3.9 -
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 0 0 0 0.0 0 0.0 -
1800.03/1800.01 c applied globally : - - - 86 5.1 - - -
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: 48)
1800.03/1800.01 c redcost : 100.15 2683122 0 561 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 52 0
1800.03/1800.01 c strongcg : 0.01 4 0 0 0 0
1800.03/1800.01 c cmir : 0.01 4 0 0 0 0
1800.03/1800.01 c flowcover : 0.02 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 : 4.80 3049 0 15 0 0 6072
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 171.51 2495767 0 0 0 0 4991534
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.01 - 1
1800.03/1800.01 c pseudo solutions : 0.00 - 0
1800.03/1800.01 c feaspump : 0.02 0 0
1800.03/1800.01 c oneopt : 1.04 2 0
1800.03/1800.01 c intshifting : 0.01 3 0
1800.03/1800.01 c crossover : 1.13 21 3
1800.03/1800.01 c pscostdiving : 14.66 28093 0
1800.03/1800.01 c fracdiving : 14.42 28093 0
1800.03/1800.01 c veclendiving : 14.14 28093 0
1800.03/1800.01 c linesearchdiving : 14.21 28093 0
1800.03/1800.01 c guideddiving : 14.19 28093 0
1800.03/1800.01 c coefdiving : 14.17 28094 0
1800.03/1800.01 c objpscostdiving : 15.37 28092 0
1800.03/1800.01 c rootsoldiving : 14.98 28092 0
1800.03/1800.01 c trivial : 0.01 2 1
1800.03/1800.01 c simplerounding : 1.41 3052 0
1800.03/1800.01 c zirounding : 0.67 1000 0
1800.03/1800.01 c rounding : 0.70 712 0
1800.03/1800.01 c shifting : 0.21 127 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 intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.02 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.61 0 0
1800.03/1800.01 c trysol : 1.49 28278 96
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 : 666.16 475294 2363170 4.97 3547.45
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.00 13 334 25.69 -
1800.03/1800.01 c strong branching : 4.73 5646 69446 12.30 14682.03
1800.03/1800.01 c (at root node) : - 33 8616 261.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 : 2498820
1800.03/1800.01 c nodes (total) : 2498820
1800.03/1800.01 c nodes left : 2498057
1800.03/1800.01 c max depth : 527
1800.03/1800.01 c max depth (total): 527
1800.03/1800.01 c backtracks : 28105 (1.1%)
1800.03/1800.01 c delayed cutoffs : 1
1800.03/1800.01 c repropagations : 274 (93 domain reductions, 0 cutoffs)
1800.03/1800.01 c avg switch length: 2.23
1800.03/1800.01 c switching time : 54.90
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 101 (2 improvements)
1800.03/1800.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.03/1800.01 c Primal Bound : +1.74210000000000e+04 (in run 1, after 110615 nodes, 71.62 seconds, depth 159, 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 : 361
OK 17421
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700009-1278533881/watcher-2700009-1278533881 -o /tmp/evaluation-result-2700009-1278533881/solver-2700009-1278533881 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700009-1278533881.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.15 0.35 0.12 4/196 19572 /proc/meminfo: memFree=30030944/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=10976 CPUtime=0 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 1666 0 0 0 0 0 0 0 25 0 1 0 21602124 11239424 1587 4089446400 4194304 9819077 140733385549152 18446744073709551615 8656404 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/19572/statm: 2744 1589 392 1374 0 1365 0 [startup+0.034157 s] /proc/loadavg: 1.15 0.35 0.12 4/196 19572 /proc/meminfo: memFree=30030944/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=21424 CPUtime=0.02 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 5009 0 0 0 2 0 0 0 25 0 1 0 21602124 21938176 4062 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/19572/statm: 5356 4062 492 1374 0 3977 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 21424 [startup+0.101135 s] /proc/loadavg: 1.15 0.35 0.12 4/196 19572 /proc/meminfo: memFree=30030944/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=25584 CPUtime=0.09 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 6281 0 0 0 8 1 0 0 25 0 1 0 21602124 26198016 5007 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 6396 5007 674 1374 0 5017 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25584 [startup+0.30113 s] /proc/loadavg: 1.15 0.35 0.12 4/196 19572 /proc/meminfo: memFree=30030944/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=32172 CPUtime=0.3 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 11575 0 0 0 28 2 0 0 25 0 1 0 21602124 32944128 6204 4089446400 4194304 9819077 140733385549152 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 8043 6204 695 1374 0 6664 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 32172 [startup+0.701071 s] /proc/loadavg: 1.15 0.35 0.12 4/196 19572 /proc/meminfo: memFree=30030944/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=32124 CPUtime=0.69 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 15415 0 0 0 66 3 0 0 25 0 1 0 21602124 32894976 6203 4089446400 4194304 9819077 140733385549152 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 8031 6203 700 1374 0 6652 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32124 [startup+1.50093 s] /proc/loadavg: 1.22 0.38 0.13 3/197 19573 /proc/meminfo: memFree=30007872/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=31848 CPUtime=1.49 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 28361 0 0 0 143 6 0 0 25 0 1 0 21602124 32612352 6359 4089446400 4194304 9819077 140733385549152 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 7962 6359 703 1374 0 6583 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31848 [startup+3.10066 s] /proc/loadavg: 1.22 0.38 0.13 3/197 19573 /proc/meminfo: memFree=30006260/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=37156 CPUtime=3.09 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 45950 0 0 0 295 14 0 0 25 0 1 0 21602124 38047744 7361 4089446400 4194304 9819077 140733385549152 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 9289 7361 707 1374 0 7910 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37156 [startup+6.30109 s] /proc/loadavg: 1.22 0.38 0.13 3/197 19573 /proc/meminfo: memFree=30000968/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=39640 CPUtime=6.29 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 64370 0 0 0 606 23 0 0 25 0 1 0 21602124 40591360 8395 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 9910 8395 707 1374 0 8531 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39640 [startup+12.701 s] /proc/loadavg: 1.34 0.43 0.15 3/197 19573 /proc/meminfo: memFree=29990928/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=50244 CPUtime=12.7 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 84731 0 0 0 1233 37 0 0 25 0 1 0 21602124 51449856 11001 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 12561 11001 707 1374 0 11182 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 50244 [startup+25.5007 s] /proc/loadavg: 1.44 0.48 0.17 3/179 19601 /proc/meminfo: memFree=30131480/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=69300 CPUtime=25.49 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 116162 0 0 0 2479 70 0 0 25 0 1 0 21602124 70963200 15812 4089446400 4194304 9819077 140733385549152 18446744073709551615 6589176 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/19572/statm: 17325 15812 707 1374 0 15946 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69300 [startup+51.1002 s] /proc/loadavg: 1.69 0.62 0.22 3/179 19605 /proc/meminfo: memFree=30063780/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=109356 CPUtime=51.08 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 174340 0 0 0 4982 126 0 0 25 0 1 0 21602124 111980544 25473 4089446400 4194304 9819077 140733385549152 18446744073709551615 4436340 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 27339 25473 707 1374 0 25960 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 109356 [startup+102.306 s] /proc/loadavg: 1.93 0.86 0.33 3/179 19606 /proc/meminfo: memFree=29937440/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=175284 CPUtime=102.28 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 335319 0 0 0 9975 253 0 0 25 0 1 0 21602124 179490816 42218 4089446400 4194304 9819077 140733385549152 18446744073709551615 6590501 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 43821 42218 707 1374 0 42442 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 175284 [startup+162.301 s] /proc/loadavg: 1.97 1.07 0.43 3/179 19608 /proc/meminfo: memFree=29795152/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=252644 CPUtime=162.29 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 517195 0 0 0 15824 405 0 0 25 0 1 0 21602124 258707456 60851 4089446400 4194304 9819077 140733385549152 18446744073709551615 6361644 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 63161 60851 707 1374 0 61782 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 252644 [startup+222.301 s] /proc/loadavg: 1.99 1.23 0.52 3/179 19610 /proc/meminfo: memFree=29649640/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=327704 CPUtime=222.29 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 669513 0 0 0 21675 554 0 0 25 0 1 0 21602124 335568896 79924 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 81926 79924 707 1374 0 80547 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 327704 [startup+282.301 s] /proc/loadavg: 1.99 1.37 0.61 3/179 19611 /proc/meminfo: memFree=29507736/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=400764 CPUtime=282.29 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 845745 0 0 0 27531 698 0 0 25 0 1 0 21602124 410382336 98485 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 100191 98485 707 1374 0 98812 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 400764 [startup+342.301 s] /proc/loadavg: 1.99 1.48 0.70 3/179 19612 /proc/meminfo: memFree=29363956/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=471300 CPUtime=342.29 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 1030034 0 0 0 33383 846 0 0 25 0 1 0 21602124 482611200 116427 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 117825 116427 707 1374 0 116446 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 471300 [startup+402.3 s] /proc/loadavg: 1.99 1.57 0.78 3/179 19614 /proc/meminfo: memFree=29213992/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=558816 CPUtime=402.29 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 1178369 0 0 0 39241 988 0 0 25 0 1 0 21602124 572227584 136587 4089446400 4194304 9819077 140733385549152 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 139704 136587 707 1374 0 138325 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 558816 [startup+462.301 s] /proc/loadavg: 1.99 1.65 0.85 3/179 19616 /proc/meminfo: memFree=29066380/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=634640 CPUtime=462.29 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 1351426 0 0 0 45087 1142 0 0 25 0 1 0 21602124 649871360 155847 4089446400 4194304 9819077 140733385549152 18446744073709551615 5892089 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 158660 155847 707 1374 0 157281 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 634640 [startup+522.3 s] /proc/loadavg: 1.99 1.71 0.92 3/179 19618 /proc/meminfo: memFree=28914924/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=715384 CPUtime=522.29 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 1484188 0 0 0 50941 1288 0 0 25 0 1 0 21602124 732553216 176350 4089446400 4194304 9819077 140733385549152 18446744073709551615 6589094 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 178846 176350 707 1374 0 177467 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 715384 [startup+582.301 s] /proc/loadavg: 1.99 1.76 0.98 3/179 19619 /proc/meminfo: memFree=28758496/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=795488 CPUtime=582.29 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 1627391 0 0 0 56798 1431 0 0 25 0 1 0 21602124 814579712 196735 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 198872 196735 707 1374 0 197493 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 795488 [startup+642.301 s] /proc/loadavg: 2.07 1.82 1.05 3/179 19620 /proc/meminfo: memFree=28603324/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=874804 CPUtime=642.3 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 1780305 0 0 0 62653 1577 0 0 25 0 1 0 21602124 895799296 216904 4089446400 4194304 9819077 140733385549152 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 218701 216904 707 1374 0 217322 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 874804 [startup+702.301 s] ################ # More data... # ################ /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 2613097 0 0 0 97796 2435 0 0 25 0 1 0 21602124 1398456320 337556 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 341420 337556 707 1374 0 340041 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1365680 [startup+1062.3 s] /proc/loadavg: 2.05 1.96 1.38 3/179 19632 /proc/meminfo: memFree=27536392/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=1450292 CPUtime=1062.31 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 2722231 0 0 0 103658 2573 0 0 25 0 1 0 21602124 1485099008 359070 4089446400 4194304 9819077 140733385549152 18446744073709551615 7815933 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 362573 359070 707 1374 0 361194 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1450292 [startup+1122.3 s] /proc/loadavg: 2.02 1.97 1.42 3/179 19634 /proc/meminfo: memFree=27382808/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=1531012 CPUtime=1122.31 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 2856839 0 0 0 109517 2714 0 0 25 0 1 0 21602124 1567756288 379521 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 382753 379521 707 1374 0 381374 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1531012 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.45 3/179 19635 /proc/meminfo: memFree=27237544/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=1604820 CPUtime=1182.31 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 3011709 0 0 0 115369 2862 0 0 25 0 1 0 21602124 1643335680 398298 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 401205 398298 707 1374 0 399826 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1604820 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.48 3/179 19636 /proc/meminfo: memFree=27088560/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=1676896 CPUtime=1242.31 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 3197264 0 0 0 121218 3013 0 0 25 0 1 0 21602124 1717141504 416607 4089446400 4194304 9819077 140733385549152 18446744073709551615 6162091 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 419224 416607 707 1374 0 417845 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1676896 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.51 3/179 19638 /proc/meminfo: memFree=26935360/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=1754844 CPUtime=1302.32 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 3343076 0 0 0 127074 3158 0 0 25 0 1 0 21602124 1796960256 436422 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 438711 436422 707 1374 0 437332 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1754844 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.54 3/179 19640 /proc/meminfo: memFree=26787372/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=1831800 CPUtime=1362.31 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 3499717 0 0 0 132931 3300 0 0 25 0 1 0 21602124 1875763200 455996 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 457950 455996 707 1374 0 456571 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1831800 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.57 3/179 19642 /proc/meminfo: memFree=26637756/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=1906776 CPUtime=1422.32 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 3661382 0 0 0 138780 3452 0 0 25 0 1 0 21602124 1952538624 475042 4089446400 4194304 9819077 140733385549152 18446744073709551615 6590420 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 476694 475042 707 1374 0 475315 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1906776 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.59 3/179 19643 /proc/meminfo: memFree=26489276/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=2013284 CPUtime=1482.32 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 3822267 0 0 0 144631 3601 0 0 25 0 1 0 21602124 2061602816 493787 4089446400 4194304 9819077 140733385549152 18446744073709551615 6677122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 503321 493787 707 1374 0 501942 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2013284 [startup+1542.3 s] /proc/loadavg: 2.00 1.97 1.61 3/179 19644 /proc/meminfo: memFree=26342532/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=2084856 CPUtime=1542.32 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 3998815 0 0 0 150472 3760 0 0 25 0 1 0 21602124 2134892544 511987 4089446400 4194304 9819077 140733385549152 18446744073709551615 7815988 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 521214 511987 707 1374 0 519835 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2084856 [startup+1602.3 s] /proc/loadavg: 2.07 1.99 1.64 3/179 19646 /proc/meminfo: memFree=26183880/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=2168576 CPUtime=1602.32 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 4112626 0 0 0 156338 3894 0 0 25 0 1 0 21602124 2220621824 533268 4089446400 4194304 9819077 140733385549152 18446744073709551615 6162025 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 542144 533268 707 1374 0 540765 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2168576 [startup+1662.3 s] /proc/loadavg: 2.02 1.99 1.66 3/179 19648 /proc/meminfo: memFree=26024116/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=2250704 CPUtime=1662.32 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 4242338 0 0 0 162200 4032 0 0 25 0 1 0 21602124 2304720896 554145 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 562676 554145 707 1374 0 561297 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 2250704 [startup+1722.3 s] /proc/loadavg: 2.01 1.99 1.68 3/179 19650 /proc/meminfo: memFree=25872164/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=2330068 CPUtime=1722.32 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 4387385 0 0 0 168049 4183 0 0 25 0 1 0 21602124 2385989632 574318 4089446400 4194304 9819077 140733385549152 18446744073709551615 6519540 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 582517 574318 707 1374 0 581138 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2330068 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.69 3/179 19651 /proc/meminfo: memFree=25717864/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=2407184 CPUtime=1782.32 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 4522399 0 0 0 173904 4328 0 0 25 0 1 0 21602124 2464956416 593929 4089446400 4194304 9819077 140733385549152 18446744073709551615 6590247 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 601796 593929 707 1374 0 600417 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 2407184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 1.99 1.70 3/179 19652 /proc/meminfo: memFree=25667992/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=2434280 CPUtime=1800.03 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 4554970 0 0 0 175630 4373 0 0 25 0 1 0 21602124 2492702720 600815 4089446400 4194304 9819077 140733385549152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19572/statm: 608570 600815 707 1374 0 607191 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2434280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -19572 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 1.99 1.70 3/180 19653 /proc/meminfo: memFree=25667736/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=2434280 CPUtime=1801.42 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 4554973 0 0 0 175769 4373 0 0 25 0 1 0 21602124 2492702720 600818 4089446400 4194304 9819077 140733385549152 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19572/statm: 608570 600818 710 1374 0 607191 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 2434280 [startup+1801.81 s] /proc/loadavg: 2.00 1.99 1.70 3/180 19653 /proc/meminfo: memFree=25667116/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=2434280 CPUtime=1801.83 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 4554973 0 0 0 175810 4373 0 0 25 0 1 0 21602124 2492702720 600818 4089446400 4194304 9819077 140733385549152 18446744073709551615 6179943 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19572/statm: 608570 600818 710 1374 0 607191 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 2434280 [startup+1802 s] /proc/loadavg: 2.00 1.99 1.70 3/180 19653 /proc/meminfo: memFree=25667116/32951124 swapFree=67111528/67111528 [pid=19572] ppid=19570 vsize=2434280 CPUtime=1802.02 /proc/19572/stat : 19572 (pbscip.linux.x8) R 19570 19572 19241 0 -1 4202496 4554973 0 0 0 175829 4373 0 0 25 0 1 0 21602124 2492702720 600818 4089446400 4194304 9819077 140733385549152 18446744073709551615 6180675 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19572/statm: 608570 600818 710 1374 0 607191 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 2434280 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.13 CPU user time (s): 1758.3 CPU system time (s): 43.8223 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2434284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1758.3 system time used= 43.8223 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4554973 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= 2983 runsolver used 2.68559 second user time and 5.52616 second system time The end
Begin job on node119 at 2010-07-07 22:18:01 IDJOB=2700009 IDBENCH=79392 IDSOLVER=1205 FILE ID=node119/2700009-1278533881 PBS_JOBID= 11239240 Free space on /tmp= 73228 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh202_wcsp.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-2700009-1278533881/watcher-2700009-1278533881 -o /tmp/evaluation-result-2700009-1278533881/solver-2700009-1278533881 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700009-1278533881.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d13dffa73911787707d210cefbded5d8 RANDOM SEED=2117626649 node119.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.868 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.73 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.868 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.868 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 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.72 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.868 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.868 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.75 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.868 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30031348 kB Buffers: 138628 kB Cached: 2366568 kB SwapCached: 0 kB Active: 1304616 kB Inactive: 1451872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30031348 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6224 kB Writeback: 0 kB AnonPages: 251460 kB Mapped: 20352 kB Slab: 99296 kB PageTables: 4916 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1641920 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= 73216 MiB End job on node119 at 2010-07-07 22:48:04