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 | 1794.66 | 1794.62 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh06_wcsp.wbo |
| MD5SUM | 6d863641d8b2b772fe5ea25b86285712 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 99 |
| Best CPU time to get the best result obtained on this benchmark | 1.02084 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 950 |
| Number of soft constraints | 850 |
| Number of constraints which are clauses | 850 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 420926 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 420925 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.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-2705744-1278580126.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 850 impl, 0 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1900 implications, 0 cliques
0.00/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 850 impl, 0 cont) and 1700 constraints
0.00/0.06 c 850 constraints of type <linear>
0.00/0.06 c 850 constraints of type <indicator>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.3
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1789.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/indicator/addCouplingCons = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 o 420925
0.00/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.00/0.06 c t 0.0s| 1 | 0 | 0 | - |6288k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6685k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 47 | - |6752k| 0 | 7 |1800 |1700 |1800 | 73 | 73 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 140 | - |6779k| 0 | 47 |1800 |1700 |1800 | 113 | 113 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 192 | - |6999k| 0 | 55 |1800 |1700 |1800 | 153 | 153 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 285 | - |7407k| 0 | 44 |1800 |1700 |1800 | 171 | 171 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 302 | - |7462k| 0 | 44 |1800 |1700 |1800 | 177 | 177 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 319 | - |7493k| 0 | 47 |1800 |1700 |1800 | 183 | 183 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.39/0.41 c 0.4s| 1 | 2 | 319 | - |7518k| 0 | 47 |1800 |1700 |1800 | 183 | 183 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
9.39/9.41 c 9.4s| 10000 | 10001 | 17771 | 1.7 | 19M| 399 | 0 |1800 |1700 |1800 | 238 |1702 | 0 | 739 | 0.000000e+00 | 4.209250e+05 | Inf
16.29/16.39 c 16.4s| 20000 | 19994 | 26450 | 1.3 | 29M| 675 | 0 |1800 |1707 |1800 | 260 |3010 | 7 | 778 | 0.000000e+00 | 4.209250e+05 | Inf
23.79/23.83 c 23.8s| 30000 | 29987 | 36380 | 1.2 | 39M| 675 | 0 |1800 |1711 |1800 | 205 |4529 | 11 | 781 | 0.000000e+00 | 4.209250e+05 | Inf
31.09/31.13 c 31.1s| 40000 | 39983 | 43821 | 1.1 | 49M| 675 | 0 |1800 |1714 |1800 | 207 |5646 | 14 | 787 | 0.000000e+00 | 4.209250e+05 | Inf
38.09/38.17 c 38.2s| 50000 | 49981 | 48844 | 1.0 | 58M| 675 | 0 |1800 |1715 |1800 | 216 |6428 | 15 | 789 | 0.000000e+00 | 4.209250e+05 | Inf
45.19/45.23 c 45.2s| 60000 | 59981 | 53066 | 0.9 | 68M| 675 | 0 |1800 |1715 |1800 | 219 |7184 | 15 | 789 | 0.000000e+00 | 4.209250e+05 | Inf
52.09/52.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.09/52.11 c 52.1s| 70000 | 69981 | 57285 | 0.8 | 78M| 675 | 0 |1800 |1715 |1800 | 230 |7825 | 15 | 789 | 0.000000e+00 | 4.209250e+05 | Inf
59.00/59.08 c 59.1s| 80000 | 79975 | 61955 | 0.8 | 87M| 675 | 0 |1800 |1717 |1800 | 203 |8463 | 17 | 793 | 0.000000e+00 | 4.209250e+05 | Inf
65.79/65.83 c 65.8s| 90000 | 89975 | 65816 | 0.7 | 97M| 675 | 0 |1800 |1717 |1800 | 213 |8964 | 17 | 793 | 0.000000e+00 | 4.209250e+05 | Inf
72.59/72.61 c 72.6s|100000 | 99969 | 69206 | 0.7 | 106M| 675 | 0 |1800 |1718 |1800 | 225 |9432 | 18 | 793 | 0.000000e+00 | 4.209250e+05 | Inf
79.39/79.46 c 79.5s|110000 |109969 | 72511 | 0.7 | 116M| 675 | 0 |1800 |1718 |1800 | 213 |9922 | 18 | 793 | 0.000000e+00 | 4.209250e+05 | Inf
86.29/86.31 c 86.3s|120000 |119969 | 76466 | 0.6 | 126M| 675 | 0 |1800 |1718 |1800 | 211 | 10k| 18 | 793 | 0.000000e+00 | 4.209250e+05 | Inf
92.89/92.90 c 92.9s|130000 |129969 | 79984 | 0.6 | 135M| 675 | 0 |1800 |1718 |1800 | 226 | 11k| 18 | 793 | 0.000000e+00 | 4.209250e+05 | Inf
99.59/99.61 c 99.6s|140000 |139965 | 83622 | 0.6 | 145M| 675 | 0 |1800 |1723 |1800 | 211 | 11k| 23 | 793 | 0.000000e+00 | 4.209250e+05 | Inf
99.69/99.74 o 16744
99.69/99.74 c *99.7s|140216 |138023 | 83703 | 0.6 | 143M| 675 | - |1800 |1723 |1800 | 225 | 11k| 23 | 793 | 0.000000e+00 | 1.674400e+04 | Inf
106.89/106.98 c 107s|150000 |147805 | 89076 | 0.6 | 152M| 675 | 0 |1800 |1723 |1800 | 215 | 12k| 24 | 793 | 0.000000e+00 | 1.674400e+04 | Inf
114.79/114.89 c 115s|160000 |157805 | 94651 | 0.6 | 162M| 675 | 0 |1800 |1721 |1800 | 222 | 13k| 24 | 793 | 0.000000e+00 | 1.674400e+04 | Inf
122.59/122.69 c 123s|170000 |167805 |101290 | 0.6 | 172M| 675 | 0 |1800 |1721 |1800 | 200 | 13k| 24 | 793 | 0.000000e+00 | 1.674400e+04 | Inf
129.70/129.74 c 130s|180000 |177805 |106204 | 0.6 | 182M| 675 | 0 |1800 |1720 |1800 | 202 | 14k| 24 | 793 | 0.000000e+00 | 1.674400e+04 | Inf
137.09/137.13 c 137s|190000 |187805 |111626 | 0.6 | 191M| 675 | 0 |1800 |1719 |1800 | 201 | 15k| 24 | 793 | 0.000000e+00 | 1.674400e+04 | Inf
144.40/144.46 c 144s|200000 |197805 |115255 | 0.6 | 201M| 675 | 0 |1800 |1718 |1800 | 205 | 15k| 24 | 793 | 0.000000e+00 | 1.674400e+04 | Inf
152.09/152.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.09/152.16 c 152s|210000 |207803 |120720 | 0.6 | 210M| 675 | 0 |1800 |1715 |1800 | 226 | 16k| 25 | 803 | 0.000000e+00 | 1.674400e+04 | Inf
159.69/159.73 c 160s|220000 |217801 |125620 | 0.6 | 220M| 675 | 0 |1800 |1715 |1800 | 190 | 16k| 26 | 832 | 0.000000e+00 | 1.674400e+04 | Inf
166.59/166.69 c 167s|230000 |227801 |129137 | 0.6 | 230M| 675 | 0 |1800 |1714 |1800 | 199 | 17k| 26 | 837 | 0.000000e+00 | 1.674400e+04 | Inf
174.39/174.45 c 174s|240000 |237801 |135778 | 0.6 | 239M| 675 | 0 |1800 |1714 |1800 | 200 | 17k| 26 | 853 | 0.000000e+00 | 1.674400e+04 | Inf
182.19/182.28 c 182s|250000 |247801 |143899 | 0.6 | 249M| 675 | 0 |1800 |1712 |1800 | 192 | 18k| 26 | 890 | 0.000000e+00 | 1.674400e+04 | Inf
189.99/190.05 c 190s|260000 |257799 |148341 | 0.6 | 259M| 675 | 0 |1800 |1711 |1800 | 203 | 19k| 27 | 907 | 0.000000e+00 | 1.674400e+04 | Inf
197.60/197.69 c 198s|270000 |267799 |152945 | 0.6 | 268M| 675 | 0 |1800 |1711 |1800 | 198 | 20k| 27 | 917 | 0.000000e+00 | 1.674400e+04 | Inf
205.39/205.49 c 205s|280000 |277799 |156887 | 0.6 | 278M| 675 | 0 |1800 |1710 |1800 | 190 | 20k| 27 | 933 | 0.000000e+00 | 1.674400e+04 | Inf
213.09/213.15 c 213s|290000 |287799 |161698 | 0.6 | 288M| 675 | 0 |1800 |1710 |1800 | 200 | 21k| 27 | 945 | 0.000000e+00 | 1.674400e+04 | Inf
220.89/220.93 c 221s|300000 |297799 |165862 | 0.6 | 297M| 675 | 0 |1800 |1710 |1800 | 198 | 22k| 27 | 953 | 0.000000e+00 | 1.674400e+04 | Inf
228.39/228.45 c 228s|310000 |307799 |169213 | 0.5 | 307M| 675 | 0 |1800 |1708 |1800 | 196 | 22k| 27 | 990 | 0.000000e+00 | 1.674400e+04 | Inf
236.20/236.25 c 236s|320000 |317799 |174308 | 0.5 | 316M| 675 | 0 |1800 |1708 |1800 | 214 | 23k| 27 | 994 | 0.000000e+00 | 1.674400e+04 | Inf
244.10/244.17 c 244s|330000 |327799 |181079 | 0.5 | 326M| 675 | 0 |1800 |1707 |1800 | 199 | 24k| 27 |1006 | 0.000000e+00 | 1.674400e+04 | Inf
251.90/251.95 c 252s|340000 |337799 |186472 | 0.5 | 336M| 675 | 0 |1800 |1707 |1800 | 206 | 25k| 27 |1015 | 0.000000e+00 | 1.674400e+04 | Inf
259.90/259.98 c 260s|350000 |347799 |192219 | 0.5 | 345M| 675 | 0 |1800 |1707 |1800 | 203 | 26k| 27 |1018 | 0.000000e+00 | 1.674400e+04 | Inf
267.59/267.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.59/267.69 c 268s|360000 |357799 |196161 | 0.5 | 355M| 675 | 0 |1800 |1707 |1800 | 207 | 27k| 27 |1056 | 0.000000e+00 | 1.674400e+04 | Inf
275.29/275.30 c 275s|370000 |367799 |200498 | 0.5 | 365M| 675 | 0 |1800 |1707 |1800 | 199 | 27k| 27 |1057 | 0.000000e+00 | 1.674400e+04 | Inf
283.10/283.14 c 283s|380000 |377799 |205850 | 0.5 | 374M| 675 | 0 |1800 |1707 |1800 | 214 | 28k| 27 |1062 | 0.000000e+00 | 1.674400e+04 | Inf
290.90/290.93 c 291s|390000 |387799 |211192 | 0.5 | 384M| 675 | 0 |1800 |1706 |1800 | 211 | 29k| 27 |1077 | 0.000000e+00 | 1.674400e+04 | Inf
298.80/298.89 c 299s|400000 |397799 |216876 | 0.5 | 393M| 675 | 0 |1800 |1706 |1800 | 198 | 30k| 27 |1085 | 0.000000e+00 | 1.674400e+04 | Inf
306.91/306.99 c 307s|410000 |407799 |223086 | 0.5 | 403M| 675 | 0 |1800 |1706 |1800 | 194 | 31k| 27 |1088 | 0.000000e+00 | 1.674400e+04 | Inf
314.60/314.68 c 315s|420000 |417799 |225851 | 0.5 | 413M| 675 | 0 |1800 |1706 |1800 | 208 | 32k| 27 |1099 | 0.000000e+00 | 1.674400e+04 | Inf
322.40/322.41 c 322s|430000 |427799 |229109 | 0.5 | 422M| 675 | 0 |1800 |1706 |1800 | 217 | 32k| 27 |1099 | 0.000000e+00 | 1.674400e+04 | Inf
330.00/330.09 c 330s|440000 |437799 |232667 | 0.5 | 432M| 675 | 0 |1800 |1706 |1800 | 208 | 33k| 27 |1117 | 0.000000e+00 | 1.674400e+04 | Inf
337.70/337.72 c 338s|450000 |447799 |235849 | 0.5 | 441M| 675 | 0 |1800 |1706 |1800 | 217 | 33k| 27 |1144 | 0.000000e+00 | 1.674400e+04 | Inf
345.20/345.30 c 345s|460000 |457799 |239495 | 0.5 | 451M| 675 | 0 |1800 |1705 |1800 | 195 | 33k| 27 |1165 | 0.000000e+00 | 1.674400e+04 | Inf
352.70/352.74 c 353s|470000 |467799 |242845 | 0.5 | 461M| 675 | 0 |1800 |1705 |1800 | 198 | 34k| 27 |1171 | 0.000000e+00 | 1.674400e+04 | Inf
360.50/360.52 c 361s|480000 |477799 |246790 | 0.5 | 470M| 675 | 0 |1800 |1705 |1800 | 202 | 34k| 27 |1181 | 0.000000e+00 | 1.674400e+04 | Inf
368.00/368.01 c 368s|490000 |487799 |249480 | 0.5 | 480M| 675 | 0 |1800 |1705 |1800 | 203 | 35k| 27 |1193 | 0.000000e+00 | 1.674400e+04 | Inf
375.50/375.56 c 376s|500000 |497799 |252768 | 0.5 | 489M| 675 | 0 |1800 |1705 |1800 | 199 | 35k| 27 |1202 | 0.000000e+00 | 1.674400e+04 | Inf
383.20/383.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.20/383.23 c 383s|510000 |507799 |255615 | 0.5 | 499M| 675 | 0 |1800 |1704 |1800 | 200 | 35k| 27 |1228 | 0.000000e+00 | 1.674400e+04 | Inf
390.90/390.94 c 391s|520000 |517799 |258809 | 0.5 | 509M| 675 | 0 |1800 |1704 |1800 | 191 | 36k| 27 |1253 | 0.000000e+00 | 1.674400e+04 | Inf
398.40/398.45 c 398s|530000 |527799 |261109 | 0.5 | 518M| 675 | 0 |1800 |1704 |1800 | 200 | 36k| 27 |1265 | 0.000000e+00 | 1.674400e+04 | Inf
405.99/406.01 c 406s|540000 |537799 |264167 | 0.5 | 528M| 675 | 0 |1800 |1704 |1800 | 185 | 36k| 27 |1268 | 0.000000e+00 | 1.674400e+04 | Inf
413.80/413.82 c 414s|550000 |547797 |268278 | 0.5 | 537M| 675 | 0 |1800 |1705 |1800 | 218 | 37k| 28 |1301 | 0.000000e+00 | 1.674400e+04 | Inf
421.50/421.53 c 422s|560000 |557797 |271343 | 0.5 | 547M| 675 | 0 |1800 |1705 |1800 | 205 | 37k| 28 |1304 | 0.000000e+00 | 1.674400e+04 | Inf
429.30/429.35 c 429s|570000 |567797 |276185 | 0.5 | 557M| 675 | 0 |1800 |1705 |1800 | 209 | 38k| 28 |1323 | 0.000000e+00 | 1.674400e+04 | Inf
437.00/437.09 c 437s|580000 |577797 |279526 | 0.5 | 566M| 675 | 0 |1800 |1705 |1800 | 201 | 38k| 28 |1325 | 0.000000e+00 | 1.674400e+04 | Inf
444.70/444.73 c 445s|590000 |587797 |283250 | 0.5 | 576M| 675 | 0 |1800 |1705 |1800 | 217 | 39k| 28 |1331 | 0.000000e+00 | 1.674400e+04 | Inf
452.40/452.41 c 452s|600000 |597797 |286605 | 0.5 | 585M| 675 | 0 |1800 |1705 |1800 | 225 | 39k| 28 |1331 | 0.000000e+00 | 1.674400e+04 | Inf
460.20/460.23 c 460s|610000 |607797 |291174 | 0.5 | 595M| 675 | 0 |1800 |1705 |1800 | 216 | 40k| 28 |1358 | 0.000000e+00 | 1.674400e+04 | Inf
467.90/467.99 c 468s|620000 |617797 |296036 | 0.5 | 604M| 675 | 0 |1800 |1705 |1800 | 214 | 40k| 28 |1359 | 0.000000e+00 | 1.674400e+04 | Inf
475.80/475.85 c 476s|630000 |627797 |300208 | 0.5 | 614M| 675 | 0 |1800 |1705 |1800 | 191 | 41k| 28 |1361 | 0.000000e+00 | 1.674400e+04 | Inf
483.61/483.61 c 484s|640000 |637797 |303201 | 0.5 | 624M| 675 | 0 |1800 |1705 |1800 | 209 | 41k| 28 |1362 | 0.000000e+00 | 1.674400e+04 | Inf
491.31/491.35 c 491s|650000 |647797 |307169 | 0.5 | 633M| 675 | 0 |1800 |1705 |1800 | 203 | 42k| 28 |1364 | 0.000000e+00 | 1.674400e+04 | Inf
499.00/499.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.00/499.02 c 499s|660000 |657795 |310704 | 0.5 | 643M| 675 | 0 |1800 |1705 |1800 | 201 | 42k| 28 |1364 | 0.000000e+00 | 1.674400e+04 | Inf
506.90/506.95 c 507s|670000 |667795 |315243 | 0.5 | 653M| 675 | 0 |1800 |1704 |1800 | 212 | 43k| 28 |1374 | 0.000000e+00 | 1.674400e+04 | Inf
514.81/514.82 c 515s|680000 |677795 |318354 | 0.5 | 662M| 675 | 0 |1800 |1703 |1800 | 215 | 44k| 28 |1390 | 0.000000e+00 | 1.674400e+04 | Inf
522.80/522.81 c 523s|690000 |687795 |322995 | 0.5 | 672M| 675 | 0 |1800 |1703 |1800 | 193 | 44k| 28 |1390 | 0.000000e+00 | 1.674400e+04 | Inf
530.60/530.66 c 531s|700000 |697795 |327569 | 0.5 | 681M| 675 | 0 |1800 |1703 |1800 | 217 | 45k| 28 |1408 | 0.000000e+00 | 1.674400e+04 | Inf
538.51/538.50 c 538s|710000 |707795 |331227 | 0.5 | 691M| 675 | 0 |1800 |1703 |1800 | 202 | 46k| 28 |1419 | 0.000000e+00 | 1.674400e+04 | Inf
546.21/546.25 c 546s|720000 |717795 |334514 | 0.5 | 701M| 675 | 0 |1800 |1703 |1800 | 202 | 46k| 28 |1447 | 0.000000e+00 | 1.674400e+04 | Inf
554.01/554.03 c 554s|730000 |727795 |337105 | 0.5 | 710M| 675 | 0 |1800 |1703 |1800 | 188 | 46k| 28 |1455 | 0.000000e+00 | 1.674400e+04 | Inf
561.90/561.97 c 562s|740000 |737795 |341459 | 0.5 | 720M| 675 | 0 |1800 |1703 |1800 | 217 | 47k| 28 |1472 | 0.000000e+00 | 1.674400e+04 | Inf
569.61/569.70 c 570s|750000 |747795 |344939 | 0.5 | 729M| 675 | 0 |1800 |1702 |1800 | 197 | 48k| 28 |1474 | 0.000000e+00 | 1.674400e+04 | Inf
577.51/577.53 c 578s|760000 |757795 |348680 | 0.5 | 739M| 675 | 0 |1800 |1702 |1800 | 197 | 49k| 28 |1477 | 0.000000e+00 | 1.674400e+04 | Inf
585.50/585.53 c 586s|770000 |767795 |353307 | 0.5 | 749M| 675 | 0 |1800 |1702 |1800 | 235 | 49k| 28 |1500 | 0.000000e+00 | 1.674400e+04 | Inf
593.50/593.50 c 593s|780000 |777795 |358252 | 0.5 | 758M| 675 | 0 |1800 |1702 |1800 | 227 | 50k| 28 |1516 | 0.000000e+00 | 1.674400e+04 | Inf
601.51/601.57 c 602s|790000 |787795 |364278 | 0.5 | 768M| 675 | 0 |1800 |1702 |1800 | 225 | 51k| 28 |1540 | 0.000000e+00 | 1.674400e+04 | Inf
609.41/609.43 c 609s|800000 |797795 |369629 | 0.5 | 778M| 675 | 0 |1800 |1702 |1800 | 218 | 52k| 28 |1546 | 0.000000e+00 | 1.674400e+04 | Inf
617.41/617.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.41/617.50 c 617s|810000 |807795 |374941 | 0.5 | 787M| 675 | 0 |1800 |1701 |1800 | 227 | 52k| 28 |1548 | 0.000000e+00 | 1.674400e+04 | Inf
625.31/625.38 c 625s|820000 |817795 |379068 | 0.5 | 797M| 675 | 0 |1800 |1701 |1800 | 208 | 53k| 28 |1550 | 0.000000e+00 | 1.674400e+04 | Inf
633.21/633.24 c 633s|830000 |827795 |382986 | 0.5 | 806M| 675 | 0 |1800 |1701 |1800 | 200 | 54k| 28 |1550 | 0.000000e+00 | 1.674400e+04 | Inf
640.90/640.97 c 641s|840000 |837789 |387247 | 0.5 | 816M| 675 | 0 |1800 |1703 |1800 | 185 | 54k| 30 |1563 | 0.000000e+00 | 1.674400e+04 | Inf
648.71/648.76 c 649s|850000 |847789 |390667 | 0.5 | 825M| 675 | 0 |1800 |1701 |1800 | 216 | 55k| 30 |1565 | 0.000000e+00 | 1.674400e+04 | Inf
656.71/656.80 c 657s|860000 |857789 |394907 | 0.5 | 835M| 675 | 0 |1800 |1701 |1800 | 216 | 56k| 30 |1594 | 0.000000e+00 | 1.674400e+04 | Inf
664.71/664.78 c 665s|870000 |867789 |399073 | 0.5 | 845M| 675 | 0 |1800 |1701 |1800 | 208 | 56k| 30 |1594 | 0.000000e+00 | 1.674400e+04 | Inf
672.71/672.74 c 673s|880000 |877789 |403266 | 0.5 | 854M| 675 | 0 |1800 |1701 |1800 | 212 | 57k| 30 |1620 | 0.000000e+00 | 1.674400e+04 | Inf
680.60/680.62 c 681s|890000 |887789 |407682 | 0.5 | 864M| 675 | 0 |1800 |1700 |1800 | 189 | 58k| 30 |1625 | 0.000000e+00 | 1.674400e+04 | Inf
688.41/688.40 c 688s|900000 |897789 |411078 | 0.5 | 874M| 675 | 0 |1800 |1700 |1800 | 220 | 58k| 30 |1630 | 0.000000e+00 | 1.674400e+04 | Inf
696.31/696.30 c 696s|910000 |907789 |414433 | 0.5 | 883M| 675 | 0 |1800 |1700 |1800 | 202 | 59k| 30 |1634 | 0.000000e+00 | 1.674400e+04 | Inf
704.31/704.31 c 704s|920000 |917789 |419639 | 0.5 | 893M| 675 | 0 |1800 |1700 |1800 | 200 | 60k| 30 |1670 | 0.000000e+00 | 1.674400e+04 | Inf
712.41/712.40 c 712s|930000 |927789 |425506 | 0.5 | 902M| 675 | 0 |1800 |1700 |1800 | 197 | 61k| 30 |1715 | 0.000000e+00 | 1.674400e+04 | Inf
720.21/720.27 c 720s|940000 |937784 |430488 | 0.5 | 912M| 675 | 0 |1800 |1709 |1800 | 192 | 62k| 41 |1743 | 0.000000e+00 | 1.674400e+04 | Inf
727.90/727.95 c 728s|950000 |947784 |433540 | 0.5 | 922M| 675 | 0 |1800 |1702 |1800 | 215 | 62k| 41 |1748 | 0.000000e+00 | 1.674400e+04 | Inf
735.61/735.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.61/735.60 c 736s|960000 |957784 |435987 | 0.5 | 931M| 675 | 0 |1800 |1702 |1800 | 199 | 63k| 41 |1749 | 0.000000e+00 | 1.674400e+04 | Inf
743.31/743.37 c 743s|970000 |967784 |438923 | 0.5 | 941M| 675 | 0 |1800 |1702 |1800 | 202 | 63k| 41 |1756 | 0.000000e+00 | 1.674400e+04 | Inf
750.91/750.90 c 751s|980000 |977784 |440778 | 0.4 | 950M| 675 | 0 |1800 |1701 |1800 | 195 | 63k| 41 |1756 | 0.000000e+00 | 1.674400e+04 | Inf
758.31/758.36 c 758s|990000 |987784 |442641 | 0.4 | 960M| 675 | 0 |1800 |1701 |1800 | 203 | 64k| 41 |1757 | 0.000000e+00 | 1.674400e+04 | Inf
765.80/765.83 c 766s| 1000k|997784 |444056 | 0.4 | 969M| 675 | 0 |1800 |1701 |1800 | 215 | 64k| 41 |1757 | 0.000000e+00 | 1.674400e+04 | Inf
773.22/773.29 c 773s| 1010k| 1007k|446495 | 0.4 | 979M| 675 | 0 |1800 |1701 |1800 | 198 | 64k| 41 |1795 | 0.000000e+00 | 1.674400e+04 | Inf
780.81/780.89 c 781s| 1020k| 1017k|448845 | 0.4 | 988M| 675 | 0 |1800 |1701 |1800 | 213 | 65k| 41 |1795 | 0.000000e+00 | 1.674400e+04 | Inf
788.51/788.56 c 789s| 1030k| 1027k|452045 | 0.4 | 998M| 675 | 0 |1800 |1701 |1800 | 199 | 65k| 41 |1826 | 0.000000e+00 | 1.674400e+04 | Inf
796.21/796.23 c 796s| 1040k| 1037k|454833 | 0.4 |1007M| 675 | 0 |1800 |1701 |1800 | 195 | 66k| 41 |1826 | 0.000000e+00 | 1.674400e+04 | Inf
803.91/803.95 c 804s| 1050k| 1047k|457566 | 0.4 |1017M| 675 | 0 |1800 |1701 |1800 | 212 | 66k| 41 |1828 | 0.000000e+00 | 1.674400e+04 | Inf
811.51/811.56 c 812s| 1060k| 1057k|460585 | 0.4 |1026M| 675 | 0 |1800 |1701 |1800 | 205 | 67k| 41 |1831 | 0.000000e+00 | 1.674400e+04 | Inf
819.11/819.14 c 819s| 1070k| 1067k|463627 | 0.4 |1036M| 675 | 0 |1800 |1701 |1800 | 235 | 67k| 41 |1841 | 0.000000e+00 | 1.674400e+04 | Inf
826.71/826.78 c 827s| 1080k| 1077k|466560 | 0.4 |1045M| 675 | 0 |1800 |1701 |1800 | 210 | 67k| 41 |1846 | 0.000000e+00 | 1.674400e+04 | Inf
834.51/834.53 c 835s| 1090k| 1087k|469546 | 0.4 |1055M| 675 | 0 |1800 |1701 |1800 | 215 | 68k| 41 |1860 | 0.000000e+00 | 1.674400e+04 | Inf
842.21/842.25 c 842s| 1100k| 1097k|472622 | 0.4 |1064M| 675 | 0 |1800 |1701 |1800 | 202 | 68k| 41 |1863 | 0.000000e+00 | 1.674400e+04 | Inf
850.01/850.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
850.01/850.03 c 850s| 1110k| 1107k|476204 | 0.4 |1074M| 675 | 0 |1800 |1701 |1800 | 221 | 69k| 41 |1874 | 0.000000e+00 | 1.674400e+04 | Inf
857.61/857.69 c 858s| 1120k| 1117k|478978 | 0.4 |1083M| 675 | 0 |1800 |1700 |1800 | 201 | 69k| 41 |1888 | 0.000000e+00 | 1.674400e+04 | Inf
865.31/865.35 c 865s| 1130k| 1127k|482075 | 0.4 |1093M| 675 | 0 |1800 |1700 |1800 | 202 | 70k| 41 |1905 | 0.000000e+00 | 1.674400e+04 | Inf
873.01/873.01 c 873s| 1140k| 1137k|484573 | 0.4 |1102M| 675 | 0 |1800 |1700 |1800 | 217 | 70k| 41 |1909 | 0.000000e+00 | 1.674400e+04 | Inf
880.71/880.76 c 881s| 1150k| 1147k|487549 | 0.4 |1112M| 675 | 0 |1800 |1700 |1800 | 190 | 71k| 41 |1937 | 0.000000e+00 | 1.674400e+04 | Inf
888.62/888.68 c 889s| 1160k| 1157k|491504 | 0.4 |1122M| 675 | 0 |1800 |1700 |1800 | 207 | 71k| 41 |1959 | 0.000000e+00 | 1.674400e+04 | Inf
896.52/896.50 c 896s| 1170k| 1167k|494942 | 0.4 |1131M| 675 | 0 |1800 |1700 |1800 | 202 | 72k| 41 |1959 | 0.000000e+00 | 1.674400e+04 | Inf
904.12/904.12 c 904s| 1180k| 1177k|497664 | 0.4 |1141M| 675 | 0 |1800 |1700 |1800 | 194 | 72k| 41 |1959 | 0.000000e+00 | 1.674400e+04 | Inf
911.92/911.91 c 912s| 1190k| 1187k|501660 | 0.4 |1150M| 675 | 0 |1800 |1700 |1800 | 201 | 73k| 41 |1963 | 0.000000e+00 | 1.674400e+04 | Inf
919.52/919.60 c 920s| 1200k| 1197k|504989 | 0.4 |1160M| 675 | 0 |1800 |1700 |1800 | 200 | 73k| 41 |1970 | 0.000000e+00 | 1.674400e+04 | Inf
927.12/927.20 c 927s| 1210k| 1207k|508210 | 0.4 |1169M| 675 | 0 |1800 |1700 |1800 | 201 | 74k| 41 |1970 | 0.000000e+00 | 1.674400e+04 | Inf
934.92/934.97 c 935s| 1220k| 1217k|511305 | 0.4 |1179M| 675 | 0 |1800 |1700 |1800 | 194 | 74k| 41 |1972 | 0.000000e+00 | 1.674400e+04 | Inf
942.72/942.73 c 943s| 1230k| 1227k|514465 | 0.4 |1188M| 675 | 0 |1800 |1700 |1800 | 209 | 75k| 41 |1972 | 0.000000e+00 | 1.674400e+04 | Inf
950.32/950.38 c 950s| 1240k| 1237k|517753 | 0.4 |1198M| 675 | 0 |1800 |1700 |1800 | 204 | 75k| 41 |1984 | 0.000000e+00 | 1.674400e+04 | Inf
958.02/958.07 c 958s| 1250k| 1247k|520202 | 0.4 |1208M| 675 | 0 |1800 |1700 |1800 | 198 | 76k| 41 |1992 | 0.000000e+00 | 1.674400e+04 | Inf
965.72/965.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
965.72/965.73 c 966s| 1260k| 1257k|522146 | 0.4 |1217M| 675 | 0 |1800 |1700 |1800 | 192 | 76k| 41 |1995 | 0.000000e+00 | 1.674400e+04 | Inf
973.42/973.45 c 973s| 1270k| 1267k|524679 | 0.4 |1227M| 675 | 0 |1800 |1700 |1800 | 189 | 77k| 41 |1996 | 0.000000e+00 | 1.674400e+04 | Inf
981.12/981.14 c 981s| 1280k| 1277k|526977 | 0.4 |1236M| 675 | 0 |1800 |1700 |1800 | 202 | 77k| 41 |1996 | 0.000000e+00 | 1.674400e+04 | Inf
988.72/988.78 c 989s| 1290k| 1287k|530156 | 0.4 |1246M| 675 | 0 |1800 |1700 |1800 | 205 | 77k| 41 |1996 | 0.000000e+00 | 1.674400e+04 | Inf
996.31/996.33 c 996s| 1300k| 1297k|533010 | 0.4 |1255M| 675 | 0 |1800 |1700 |1800 | 215 | 78k| 41 |2004 | 0.000000e+00 | 1.674400e+04 | Inf
1004.02/1004.02 c 1004s| 1310k| 1307k|535777 | 0.4 |1265M| 675 | 0 |1800 |1700 |1800 | 193 | 79k| 41 |2017 | 0.000000e+00 | 1.674400e+04 | Inf
1011.71/1011.75 c 1012s| 1320k| 1317k|538678 | 0.4 |1274M| 675 | 0 |1800 |1700 |1800 | 195 | 79k| 41 |2036 | 0.000000e+00 | 1.674400e+04 | Inf
1019.41/1019.49 c 1019s| 1330k| 1327k|541675 | 0.4 |1284M| 675 | 0 |1800 |1700 |1800 | 197 | 79k| 41 |2041 | 0.000000e+00 | 1.674400e+04 | Inf
1027.22/1027.26 c 1027s| 1340k| 1337k|544841 | 0.4 |1293M| 675 | 0 |1800 |1700 |1800 | 213 | 80k| 41 |2043 | 0.000000e+00 | 1.674400e+04 | Inf
1034.91/1034.95 c 1035s| 1350k| 1347k|546906 | 0.4 |1303M| 675 | 0 |1800 |1700 |1800 | 215 | 80k| 41 |2047 | 0.000000e+00 | 1.674400e+04 | Inf
1042.61/1042.67 c 1043s| 1360k| 1357k|549109 | 0.4 |1312M| 675 | 0 |1800 |1700 |1800 | 222 | 81k| 41 |2053 | 0.000000e+00 | 1.674400e+04 | Inf
1050.31/1050.39 c 1050s| 1370k| 1367k|551324 | 0.4 |1322M| 675 | 0 |1800 |1700 |1800 | 216 | 81k| 41 |2071 | 0.000000e+00 | 1.674400e+04 | Inf
1058.02/1058.07 c 1058s| 1380k| 1377k|554098 | 0.4 |1332M| 675 | 0 |1800 |1700 |1800 | 202 | 81k| 41 |2090 | 0.000000e+00 | 1.674400e+04 | Inf
1065.71/1065.75 c 1066s| 1390k| 1387k|556615 | 0.4 |1341M| 675 | 0 |1800 |1700 |1800 | 193 | 82k| 41 |2095 | 0.000000e+00 | 1.674400e+04 | Inf
1073.42/1073.48 c 1073s| 1400k| 1397k|559096 | 0.4 |1351M| 675 | 0 |1800 |1700 |1800 | 196 | 82k| 41 |2095 | 0.000000e+00 | 1.674400e+04 | Inf
1081.01/1081.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1081.01/1081.06 c 1081s| 1410k| 1407k|561631 | 0.4 |1360M| 675 | 0 |1800 |1700 |1800 | 201 | 82k| 41 |2095 | 0.000000e+00 | 1.674400e+04 | Inf
1088.71/1088.79 c 1089s| 1420k| 1417k|564569 | 0.4 |1370M| 675 | 0 |1800 |1700 |1800 | 206 | 83k| 41 |2118 | 0.000000e+00 | 1.674400e+04 | Inf
1096.82/1096.85 c 1097s| 1430k| 1427k|569132 | 0.4 |1379M| 675 | 0 |1800 |1700 |1800 | 219 | 84k| 41 |2151 | 0.000000e+00 | 1.674400e+04 | Inf
1104.61/1104.61 c 1105s| 1440k| 1437k|571824 | 0.4 |1389M| 675 | 0 |1800 |1700 |1800 | 211 | 84k| 41 |2151 | 0.000000e+00 | 1.674400e+04 | Inf
1112.32/1112.31 c 1112s| 1450k| 1447k|574783 | 0.4 |1399M| 675 | 0 |1800 |1701 |1800 | 195 | 84k| 42 |2156 | 0.000000e+00 | 1.674400e+04 | Inf
1120.02/1120.05 c 1120s| 1460k| 1457k|577996 | 0.4 |1408M| 675 | 0 |1800 |1702 |1800 | 201 | 85k| 43 |2165 | 0.000000e+00 | 1.674400e+04 | Inf
1127.71/1127.77 c 1128s| 1470k| 1467k|581214 | 0.4 |1418M| 675 | 0 |1800 |1701 |1800 | 201 | 86k| 43 |2167 | 0.000000e+00 | 1.674400e+04 | Inf
1135.62/1135.63 c 1136s| 1480k| 1477k|584519 | 0.4 |1427M| 675 | 0 |1800 |1701 |1800 | 205 | 86k| 43 |2177 | 0.000000e+00 | 1.674400e+04 | Inf
1143.31/1143.33 c 1143s| 1490k| 1487k|587573 | 0.4 |1437M| 675 | 0 |1800 |1701 |1800 | 199 | 87k| 43 |2185 | 0.000000e+00 | 1.674400e+04 | Inf
1151.02/1151.06 c 1151s| 1500k| 1497k|591646 | 0.4 |1446M| 675 | 0 |1800 |1701 |1800 | 205 | 88k| 43 |2189 | 0.000000e+00 | 1.674400e+04 | Inf
1158.82/1158.87 c 1159s| 1510k| 1507k|594514 | 0.4 |1456M| 675 | 0 |1800 |1700 |1800 | 193 | 88k| 43 |2189 | 0.000000e+00 | 1.674400e+04 | Inf
1166.42/1166.46 c 1166s| 1520k| 1517k|598714 | 0.4 |1466M| 675 | 0 |1800 |1700 |1800 | 210 | 89k| 43 |2202 | 0.000000e+00 | 1.674400e+04 | Inf
1174.12/1174.10 c 1174s| 1530k| 1527k|601534 | 0.4 |1475M| 675 | 0 |1800 |1700 |1800 | 194 | 89k| 43 |2207 | 0.000000e+00 | 1.674400e+04 | Inf
1181.72/1181.79 c 1182s| 1540k| 1537k|604162 | 0.4 |1485M| 675 | 0 |1800 |1700 |1800 | 220 | 90k| 43 |2213 | 0.000000e+00 | 1.674400e+04 | Inf
1189.41/1189.49 c 1189s| 1550k| 1547k|607146 | 0.4 |1494M| 675 | 0 |1800 |1700 |1800 | 207 | 90k| 43 |2216 | 0.000000e+00 | 1.674400e+04 | Inf
1197.22/1197.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1197.22/1197.24 c 1197s| 1560k| 1557k|610275 | 0.4 |1504M| 675 | 0 |1800 |1700 |1800 | 205 | 91k| 43 |2217 | 0.000000e+00 | 1.674400e+04 | Inf
1204.82/1204.88 c 1205s| 1570k| 1567k|612526 | 0.4 |1513M| 675 | 0 |1800 |1700 |1800 | 212 | 91k| 43 |2217 | 0.000000e+00 | 1.674400e+04 | Inf
1212.42/1212.45 c 1212s| 1580k| 1577k|615194 | 0.4 |1523M| 675 | 0 |1800 |1700 |1800 | 210 | 92k| 43 |2221 | 0.000000e+00 | 1.674400e+04 | Inf
1220.32/1220.30 c 1220s| 1590k| 1587k|618521 | 0.4 |1532M| 675 | 0 |1800 |1700 |1800 | 219 | 92k| 43 |2236 | 0.000000e+00 | 1.674400e+04 | Inf
1228.02/1228.07 c 1228s| 1600k| 1597k|621776 | 0.4 |1542M| 675 | 0 |1800 |1700 |1800 | 204 | 93k| 43 |2251 | 0.000000e+00 | 1.674400e+04 | Inf
1235.82/1235.82 c 1236s| 1610k| 1607k|625246 | 0.4 |1552M| 675 | 0 |1800 |1700 |1800 | 206 | 93k| 43 |2258 | 0.000000e+00 | 1.674400e+04 | Inf
1243.52/1243.56 c 1244s| 1620k| 1617k|629153 | 0.4 |1561M| 675 | 0 |1800 |1700 |1800 | 211 | 94k| 43 |2261 | 0.000000e+00 | 1.674400e+04 | Inf
1251.32/1251.34 c 1251s| 1630k| 1627k|632831 | 0.4 |1571M| 675 | 0 |1800 |1700 |1800 | 211 | 94k| 43 |2261 | 0.000000e+00 | 1.674400e+04 | Inf
1258.92/1258.98 c 1259s| 1640k| 1637k|636107 | 0.4 |1580M| 675 | 0 |1800 |1700 |1800 | 211 | 95k| 43 |2276 | 0.000000e+00 | 1.674400e+04 | Inf
1266.62/1266.68 c 1267s| 1650k| 1647k|639508 | 0.4 |1590M| 675 | 0 |1800 |1700 |1800 | 196 | 95k| 43 |2276 | 0.000000e+00 | 1.674400e+04 | Inf
1274.52/1274.56 c 1275s| 1660k| 1657k|643701 | 0.4 |1599M| 675 | 0 |1800 |1700 |1800 | 207 | 96k| 43 |2281 | 0.000000e+00 | 1.674400e+04 | Inf
1282.22/1282.27 c 1282s| 1670k| 1667k|646632 | 0.4 |1609M| 675 | 0 |1800 |1700 |1800 | 208 | 97k| 43 |2281 | 0.000000e+00 | 1.674400e+04 | Inf
1290.02/1290.03 c 1290s| 1680k| 1677k|649973 | 0.4 |1619M| 675 | 0 |1800 |1700 |1800 | 200 | 97k| 43 |2310 | 0.000000e+00 | 1.674400e+04 | Inf
1297.62/1297.68 c 1298s| 1690k| 1687k|653304 | 0.4 |1628M| 675 | 0 |1800 |1700 |1800 | 218 | 98k| 43 |2325 | 0.000000e+00 | 1.674400e+04 | Inf
1305.22/1305.25 c 1305s| 1700k| 1697k|655710 | 0.4 |1638M| 675 | 0 |1800 |1700 |1800 | 224 | 98k| 43 |2339 | 0.000000e+00 | 1.674400e+04 | Inf
1312.93/1312.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1312.93/1312.94 c 1313s| 1710k| 1707k|658414 | 0.4 |1647M| 675 | 0 |1800 |1700 |1800 | 201 | 98k| 43 |2339 | 0.000000e+00 | 1.674400e+04 | Inf
1320.62/1320.61 c 1321s| 1720k| 1717k|661736 | 0.4 |1657M| 675 | 0 |1800 |1700 |1800 | 197 | 99k| 43 |2343 | 0.000000e+00 | 1.674400e+04 | Inf
1328.32/1328.30 c 1328s| 1730k| 1727k|665143 | 0.4 |1666M| 675 | 0 |1800 |1700 |1800 | 220 | 99k| 43 |2352 | 0.000000e+00 | 1.674400e+04 | Inf
1335.92/1335.99 c 1336s| 1740k| 1737k|668772 | 0.4 |1676M| 675 | 0 |1800 |1700 |1800 | 208 | 100k| 43 |2352 | 0.000000e+00 | 1.674400e+04 | Inf
1343.62/1343.60 c 1344s| 1750k| 1747k|671518 | 0.4 |1685M| 675 | 0 |1800 |1700 |1800 | 197 | 100k| 43 |2352 | 0.000000e+00 | 1.674400e+04 | Inf
1351.43/1351.41 c 1351s| 1760k| 1757k|675366 | 0.4 |1695M| 675 | 0 |1800 |1700 |1800 | 206 | 101k| 43 |2369 | 0.000000e+00 | 1.674400e+04 | Inf
1359.12/1359.17 c 1359s| 1770k| 1767k|678471 | 0.4 |1705M| 675 | 0 |1800 |1700 |1800 | 236 | 101k| 43 |2386 | 0.000000e+00 | 1.674400e+04 | Inf
1366.93/1366.92 c 1367s| 1780k| 1777k|680931 | 0.4 |1714M| 675 | 0 |1800 |1700 |1800 | 217 | 102k| 43 |2386 | 0.000000e+00 | 1.674400e+04 | Inf
1374.62/1374.64 c 1375s| 1790k| 1787k|683906 | 0.4 |1724M| 675 | 0 |1800 |1700 |1800 | 195 | 102k| 43 |2389 | 0.000000e+00 | 1.674400e+04 | Inf
1382.42/1382.42 c 1382s| 1800k| 1797k|687684 | 0.4 |1733M| 675 | 0 |1800 |1700 |1800 | 209 | 103k| 43 |2414 | 0.000000e+00 | 1.674400e+04 | Inf
1390.02/1390.04 c 1390s| 1810k| 1807k|691293 | 0.4 |1743M| 675 | 0 |1800 |1700 |1800 | 203 | 103k| 43 |2444 | 0.000000e+00 | 1.674400e+04 | Inf
1397.63/1397.69 c 1398s| 1820k| 1817k|693975 | 0.4 |1752M| 675 | 0 |1800 |1700 |1800 | 205 | 104k| 43 |2444 | 0.000000e+00 | 1.674400e+04 | Inf
1405.43/1405.48 c 1405s| 1830k| 1827k|696940 | 0.4 |1762M| 675 | 0 |1800 |1700 |1800 | 211 | 104k| 43 |2451 | 0.000000e+00 | 1.674400e+04 | Inf
1413.23/1413.20 c 1413s| 1840k| 1837k|699565 | 0.4 |1772M| 675 | 0 |1800 |1700 |1800 | 201 | 104k| 43 |2455 | 0.000000e+00 | 1.674400e+04 | Inf
1420.92/1420.93 c 1421s| 1850k| 1847k|702548 | 0.4 |1781M| 675 | 0 |1800 |1700 |1800 | 201 | 105k| 43 |2472 | 0.000000e+00 | 1.674400e+04 | Inf
1428.43/1428.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.43/1428.49 c 1428s| 1860k| 1857k|704518 | 0.4 |1791M| 675 | 0 |1800 |1700 |1800 | 197 | 105k| 43 |2475 | 0.000000e+00 | 1.674400e+04 | Inf
1436.02/1436.06 c 1436s| 1870k| 1867k|706616 | 0.4 |1800M| 675 | 0 |1800 |1700 |1800 | 212 | 105k| 43 |2475 | 0.000000e+00 | 1.674400e+04 | Inf
1443.72/1443.70 c 1444s| 1880k| 1877k|709332 | 0.4 |1810M| 675 | 0 |1800 |1700 |1800 | 196 | 106k| 43 |2479 | 0.000000e+00 | 1.674400e+04 | Inf
1451.32/1451.38 c 1451s| 1890k| 1887k|712106 | 0.4 |1819M| 675 | 0 |1800 |1700 |1800 | 188 | 106k| 43 |2497 | 0.000000e+00 | 1.674400e+04 | Inf
1459.23/1459.20 c 1459s| 1900k| 1897k|714448 | 0.4 |1829M| 675 | 0 |1800 |1700 |1800 | 193 | 107k| 43 |2498 | 0.000000e+00 | 1.674400e+04 | Inf
1466.83/1466.85 c 1467s| 1910k| 1907k|716919 | 0.4 |1838M| 675 | 0 |1800 |1700 |1800 | 200 | 107k| 43 |2498 | 0.000000e+00 | 1.674400e+04 | Inf
1474.53/1474.57 c 1475s| 1920k| 1917k|719947 | 0.4 |1848M| 675 | 0 |1800 |1700 |1800 | 232 | 108k| 43 |2505 | 0.000000e+00 | 1.674400e+04 | Inf
1482.33/1482.33 c 1482s| 1930k| 1927k|722772 | 0.4 |1857M| 675 | 0 |1800 |1700 |1800 | 219 | 108k| 43 |2505 | 0.000000e+00 | 1.674400e+04 | Inf
1490.03/1490.05 c 1490s| 1940k| 1937k|725140 | 0.4 |1867M| 675 | 0 |1800 |1700 |1800 | 228 | 108k| 43 |2515 | 0.000000e+00 | 1.674400e+04 | Inf
1497.82/1497.81 c 1498s| 1950k| 1947k|727321 | 0.4 |1877M| 675 | 0 |1800 |1700 |1800 | 230 | 109k| 43 |2525 | 0.000000e+00 | 1.674400e+04 | Inf
1505.53/1505.51 c 1505s| 1960k| 1957k|730124 | 0.4 |1886M| 675 | 0 |1800 |1700 |1800 | 208 | 109k| 43 |2534 | 0.000000e+00 | 1.674400e+04 | Inf
1513.23/1513.27 c 1513s| 1970k| 1967k|732989 | 0.4 |1896M| 675 | 0 |1800 |1700 |1800 | 229 | 110k| 43 |2549 | 0.000000e+00 | 1.674400e+04 | Inf
1520.93/1520.96 c 1521s| 1980k| 1977k|736607 | 0.4 |1905M| 675 | 0 |1800 |1700 |1800 | 207 | 110k| 43 |2564 | 0.000000e+00 | 1.674400e+04 | Inf
1528.63/1528.65 c 1529s| 1990k| 1987k|739146 | 0.4 |1915M| 675 | 0 |1800 |1700 |1800 | 211 | 111k| 43 |2565 | 0.000000e+00 | 1.674400e+04 | Inf
1536.43/1536.45 c 1536s| 2000k| 1997k|741739 | 0.4 |1924M| 675 | 0 |1800 |1700 |1800 | 218 | 111k| 43 |2565 | 0.000000e+00 | 1.674400e+04 | Inf
1544.23/1544.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.23/1544.22 c 1544s| 2010k| 2007k|744057 | 0.4 |1934M| 675 | 0 |1800 |1700 |1800 | 216 | 112k| 43 |2566 | 0.000000e+00 | 1.674400e+04 | Inf
1552.03/1552.02 c 1552s| 2020k| 2017k|746493 | 0.4 |1943M| 675 | 0 |1800 |1700 |1800 | 202 | 113k| 43 |2566 | 0.000000e+00 | 1.674400e+04 | Inf
1559.63/1559.69 c 1560s| 2030k| 2027k|749410 | 0.4 |1953M| 675 | 0 |1800 |1700 |1800 | 205 | 113k| 43 |2596 | 0.000000e+00 | 1.674400e+04 | Inf
1567.43/1567.41 c 1567s| 2040k| 2037k|751800 | 0.4 |1963M| 675 | 0 |1800 |1700 |1800 | 218 | 114k| 43 |2603 | 0.000000e+00 | 1.674400e+04 | Inf
1575.13/1575.15 c 1575s| 2050k| 2047k|755641 | 0.4 |1972M| 675 | 0 |1800 |1700 |1800 | 212 | 114k| 43 |2603 | 0.000000e+00 | 1.674400e+04 | Inf
1583.03/1583.09 c 1583s| 2060k| 2057k|759690 | 0.4 |1982M| 675 | 0 |1800 |1700 |1800 | 222 | 115k| 43 |2611 | 0.000000e+00 | 1.674400e+04 | Inf
1590.93/1590.97 c 1591s| 2070k| 2067k|763284 | 0.4 |1991M| 675 | 0 |1800 |1700 |1800 | 225 | 116k| 43 |2648 | 0.000000e+00 | 1.674400e+04 | Inf
1598.63/1598.67 c 1599s| 2080k| 2077k|765577 | 0.4 |2001M| 675 | 0 |1800 |1700 |1800 | 201 | 116k| 43 |2669 | 0.000000e+00 | 1.674400e+04 | Inf
1606.33/1606.34 c 1606s| 2090k| 2087k|769510 | 0.4 |2010M| 675 | 0 |1800 |1701 |1800 | 222 | 116k| 44 |2682 | 0.000000e+00 | 1.674400e+04 | Inf
1614.03/1614.09 c 1614s| 2100k| 2097k|772601 | 0.4 |2020M| 675 | 0 |1800 |1701 |1800 | 217 | 117k| 44 |2700 | 0.000000e+00 | 1.674400e+04 | Inf
1621.93/1621.92 c 1622s| 2110k| 2107k|776294 | 0.4 |2029M| 675 | 0 |1800 |1701 |1800 | 210 | 117k| 44 |2707 | 0.000000e+00 | 1.674400e+04 | Inf
1629.63/1629.67 c 1630s| 2120k| 2117k|779531 | 0.4 |2039M| 675 | 0 |1800 |1701 |1800 | 203 | 118k| 44 |2708 | 0.000000e+00 | 1.674400e+04 | Inf
1637.43/1637.42 c 1637s| 2130k| 2127k|781984 | 0.4 |2049M| 675 | 0 |1800 |1701 |1800 | 199 | 118k| 44 |2711 | 0.000000e+00 | 1.674400e+04 | Inf
1645.13/1645.17 c 1645s| 2140k| 2137k|785644 | 0.4 |2058M| 675 | 0 |1800 |1701 |1800 | 203 | 119k| 44 |2724 | 0.000000e+00 | 1.674400e+04 | Inf
1652.93/1652.92 c 1653s| 2150k| 2147k|789010 | 0.4 |2068M| 675 | 0 |1800 |1700 |1800 | 205 | 119k| 44 |2729 | 0.000000e+00 | 1.674400e+04 | Inf
1660.63/1660.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1660.63/1660.60 c 1661s| 2160k| 2157k|792017 | 0.4 |2077M| 675 | 0 |1800 |1700 |1800 | 214 | 119k| 44 |2745 | 0.000000e+00 | 1.674400e+04 | Inf
1668.43/1668.45 c 1668s| 2170k| 2167k|795723 | 0.4 |2087M| 675 | 0 |1800 |1700 |1800 | 205 | 120k| 44 |2761 | 0.000000e+00 | 1.674400e+04 | Inf
1676.23/1676.21 c 1676s| 2180k| 2177k|798711 | 0.4 |2096M| 675 | 0 |1800 |1700 |1800 | 212 | 120k| 44 |2761 | 0.000000e+00 | 1.674400e+04 | Inf
1684.04/1684.03 c 1684s| 2190k| 2187k|802895 | 0.4 |2106M| 675 | 0 |1800 |1700 |1800 | 204 | 121k| 44 |2761 | 0.000000e+00 | 1.674400e+04 | Inf
1691.73/1691.71 c 1692s| 2200k| 2197k|806830 | 0.4 |2116M| 675 | 0 |1800 |1700 |1800 | 215 | 122k| 44 |2761 | 0.000000e+00 | 1.674400e+04 | Inf
1699.44/1699.45 c 1699s| 2210k| 2207k|809945 | 0.4 |2125M| 675 | 0 |1800 |1700 |1800 | 200 | 122k| 44 |2762 | 0.000000e+00 | 1.674400e+04 | Inf
1707.23/1707.22 c 1707s| 2220k| 2217k|813790 | 0.4 |2135M| 675 | 0 |1800 |1700 |1800 | 186 | 123k| 44 |2763 | 0.000000e+00 | 1.674400e+04 | Inf
1715.04/1715.00 c 1715s| 2230k| 2227k|816722 | 0.4 |2144M| 675 | 0 |1800 |1701 |1800 | 215 | 123k| 45 |2795 | 0.000000e+00 | 1.674400e+04 | Inf
1722.73/1722.73 c 1723s| 2240k| 2237k|819292 | 0.4 |2154M| 675 | 0 |1800 |1701 |1800 | 203 | 124k| 45 |2805 | 0.000000e+00 | 1.674400e+04 | Inf
1730.34/1730.30 c 1730s| 2250k| 2247k|821013 | 0.4 |2163M| 675 | 0 |1800 |1700 |1800 | 191 | 124k| 45 |2806 | 0.000000e+00 | 1.674400e+04 | Inf
1737.94/1737.94 c 1738s| 2260k| 2257k|824025 | 0.4 |2173M| 675 | 0 |1800 |1700 |1800 | 188 | 125k| 45 |2810 | 0.000000e+00 | 1.674400e+04 | Inf
1745.64/1745.65 c 1746s| 2270k| 2267k|826825 | 0.4 |2182M| 675 | 0 |1800 |1701 |1800 | 206 | 125k| 46 |2822 | 0.000000e+00 | 1.674400e+04 | Inf
1753.34/1753.33 c 1753s| 2280k| 2277k|828875 | 0.4 |2192M| 675 | 0 |1800 |1701 |1800 | 208 | 126k| 46 |2822 | 0.000000e+00 | 1.674400e+04 | Inf
1761.04/1761.08 c 1761s| 2290k| 2287k|831734 | 0.4 |2201M| 675 | 0 |1800 |1700 |1800 | 202 | 126k| 46 |2823 | 0.000000e+00 | 1.674400e+04 | Inf
1768.84/1768.86 c 1769s| 2300k| 2297k|834674 | 0.4 |2211M| 675 | 0 |1800 |1700 |1800 | 218 | 127k| 46 |2826 | 0.000000e+00 | 1.674400e+04 | Inf
1776.44/1776.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.44/1776.44 c 1776s| 2310k| 2307k|836679 | 0.4 |2220M| 675 | 0 |1800 |1701 |1800 | 218 | 127k| 47 |2826 | 0.000000e+00 | 1.674400e+04 | Inf
1783.73/1783.77 c 1784s| 2320k| 2317k|837951 | 0.4 |2230M| 675 | 0 |1800 |1700 |1800 | 206 | 127k| 47 |2826 | 0.000000e+00 | 1.674400e+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 : 2328191
1790.04/1790.00 c Primal Bound : +1.67440000000000e+04 (101 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 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 x186 -x185 -x184 x183 x182 -x181 x180 -x179 -x178
1790.04/1790.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
1790.04/1790.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
1790.04/1790.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
1790.04/1790.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
1790.04/1790.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
1790.04/1790.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
1790.04/1790.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
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-2705744-1278580126.wbo
1790.04/1790.01 c Variables : 1900 (1050 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.04/1790.01 c Constraints : 1801 initial, 1801 maximal
1790.04/1790.01 c Presolved Problem :
1790.04/1790.01 c Problem name : t_HOME/instance-2705744-1278580126.wbo
1790.04/1790.01 c Variables : 1800 (950 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.04/1790.01 c Constraints : 1700 initial, 1724 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.02 0 0 0 0 0 0 0 0
1790.04/1790.01 c linear : 0.02 0 100 0 850 0 101 0 0
1790.04/1790.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c logicor : 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 2387380 0 0 6 0 0 6406
1790.04/1790.01 c linear : 850 6 3130842 2384171 0 24 579121 127882 0 0
1790.04/1790.01 c indicator : 850 0 3130818 2384171 0 6 1649835 0 0 0
1790.04/1790.01 c logicor : 0+ 0 29548 0 0 0 4632 0 0 0
1790.04/1790.01 c countsols : 0 0 0 2324954 0 0 0 0 0 0
1790.04/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.01 c integral : 3.24 0.00 0.00 3.24 0.00
1790.04/1790.01 c linear : 76.15 0.00 17.70 58.45 0.00
1790.04/1790.01 c indicator : 254.51 0.05 89.75 164.71 0.00
1790.04/1790.01 c logicor : 0.04 0.00 0.04 0.00 0.00
1790.04/1790.01 c countsols : 0.33 0.00 0.00 0.33 0.00
1790.04/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.01 c vbounds : 0.66 2 0 0
1790.04/1790.01 c rootredcost : 0.63 1 0 0
1790.04/1790.01 c pseudoobj : 43.05 3130643 1 62
1790.04/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.01 c propagation : 0.00 25 25 39 22.2 1 11.0 -
1790.04/1790.01 c infeasible LP : 0.00 5 5 12 24.5 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 : - - - 47 19.3 - - -
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 - - 4 - (maximal pool size: 205)
1790.04/1790.01 c redcost : 103.85 2387381 0 23 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 332 0
1790.04/1790.01 c strongcg : 0.02 5 0 0 322 0
1790.04/1790.01 c cmir : 0.01 5 0 0 0 0
1790.04/1790.01 c flowcover : 0.02 5 0 0 0 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 : 2.52 3209 0 6 0 0 6406
1790.04/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.01 c inference : 313.10 2324953 0 0 0 0 4649906
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 - 1
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.62 2 0
1790.04/1790.01 c crossover : 0.79 21 3
1790.04/1790.01 c coefdiving : 20.47 29860 0
1790.04/1790.01 c pscostdiving : 20.42 29860 0
1790.04/1790.01 c fracdiving : 20.38 29860 0
1790.04/1790.01 c veclendiving : 20.41 29860 0
1790.04/1790.01 c linesearchdiving : 20.40 29860 0
1790.04/1790.01 c guideddiving : 20.40 29860 0
1790.04/1790.01 c objpscostdiving : 21.26 29858 0
1790.04/1790.01 c rootsoldiving : 21.50 29858 0
1790.04/1790.01 c trivial : 0.00 2 1
1790.04/1790.01 c simplerounding : 0.75 3214 0
1790.04/1790.01 c zirounding : 0.51 1000 0
1790.04/1790.01 c rounding : 0.44 749 0
1790.04/1790.01 c shifting : 0.10 220 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.01 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.35 0 0
1790.04/1790.01 c trysol : 0.72 29914 96
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 : 496.38 157909 839580 5.32 1691.40
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: 0.01 14 213 15.21 18335.20
1790.04/1790.01 c strong branching : 2.49 2833 40088 14.15 16076.59
1790.04/1790.01 c (at root node) : - 33 4871 147.61 -
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 : 2328191
1790.04/1790.01 c nodes (total) : 2328191
1790.04/1790.01 c nodes left : 2325963
1790.04/1790.01 c max depth : 675
1790.04/1790.01 c max depth (total): 675
1790.04/1790.01 c backtracks : 29882 (1.3%)
1790.04/1790.01 c delayed cutoffs : 3
1790.04/1790.01 c repropagations : 342 (151 domain reductions, 2 cutoffs)
1790.04/1790.01 c avg switch length: 2.31
1790.04/1790.01 c switching time : 51.00
1790.04/1790.01 c Solution :
1790.04/1790.01 c Solutions found : 101 (2 improvements)
1790.04/1790.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trivial>)
1790.04/1790.01 c Primal Bound : +1.67440000000000e+04 (in run 1, after 140216 nodes, 99.73 seconds, depth 438, found by <relaxation>)
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 : 319
1794.63/1794.61 c Time complete: 1794.65.
OK 16744
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705744-1278580126/watcher-2705744-1278580126 -o /tmp/evaluation-result-2705744-1278580126/solver-2705744-1278580126 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705744-1278580126.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.92 1.98 1.98 4/178 21849 /proc/meminfo: memFree=28670348/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=12328 CPUtime=0 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 1916 0 0 0 0 0 0 0 24 0 1 0 26226445 12623872 1835 4089446400 4194304 10345943 140735349738288 18446744073709551615 6328664 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21849/statm: 3082 1835 423 1502 0 1575 0 [startup+0.067918 s] /proc/loadavg: 1.92 1.98 1.98 4/178 21849 /proc/meminfo: memFree=28670348/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=26752 CPUtime=0.06 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 5788 0 0 0 6 0 0 0 24 0 1 0 26226445 27394048 5353 4089446400 4194304 10345943 140735349738288 18446744073709551615 4288508 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 6688 5384 629 1502 0 5181 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 26752 [startup+0.100908 s] /proc/loadavg: 1.92 1.98 1.98 4/178 21849 /proc/meminfo: memFree=28670348/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=40132 CPUtime=0.09 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 8918 0 0 0 9 0 0 0 24 0 1 0 26226445 41095168 8483 4089446400 4194304 10345943 140735349738288 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 10033 8483 636 1502 0 8526 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 40132 [startup+0.300864 s] /proc/loadavg: 1.92 1.98 1.98 4/178 21849 /proc/meminfo: memFree=28670348/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=37056 CPUtime=0.29 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 10149 0 0 0 28 1 0 0 25 0 1 0 26226445 37945344 8122 4089446400 4194304 10345943 140735349738288 18446744073709551615 7567706 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 9264 8122 750 1502 0 7757 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37056 [startup+0.700795 s] /proc/loadavg: 1.92 1.98 1.98 4/178 21849 /proc/meminfo: memFree=28670348/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=37056 CPUtime=0.68 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 10156 0 0 0 67 1 0 0 25 0 1 0 26226445 37945344 8129 4089446400 4194304 10345943 140735349738288 18446744073709551615 7608472 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 9264 8129 757 1502 0 7757 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 37056 [startup+1.50065 s] /proc/loadavg: 1.92 1.98 1.98 3/179 21850 /proc/meminfo: memFree=28639960/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=37056 CPUtime=1.49 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 11321 0 0 0 147 2 0 0 25 0 1 0 26226445 37945344 8133 4089446400 4194304 10345943 140735349738288 18446744073709551615 6802919 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 9264 8133 760 1502 0 7757 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37056 [startup+3.10037 s] /proc/loadavg: 1.92 1.98 1.98 3/179 21850 /proc/meminfo: memFree=28639844/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=37560 CPUtime=3.09 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 14393 0 0 0 305 4 0 0 25 0 1 0 26226445 38461440 8266 4089446400 4194304 10345943 140735349738288 18446744073709551615 5926671 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 9390 8266 760 1502 0 7883 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37560 [startup+6.30081 s] /proc/loadavg: 1.93 1.98 1.98 3/179 21850 /proc/meminfo: memFree=28638268/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=40632 CPUtime=6.29 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 17294 0 0 0 625 4 0 0 25 0 1 0 26226445 41607168 8685 4089446400 4194304 10345943 140735349738288 18446744073709551615 4447909 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 10158 8685 760 1502 0 8651 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 40632 [startup+12.7007 s] /proc/loadavg: 1.93 1.98 1.98 3/179 21850 /proc/meminfo: memFree=28626612/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=50568 CPUtime=12.69 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 24966 0 0 0 1262 7 0 0 25 0 1 0 26226445 51781632 11221 4089446400 4194304 10345943 140735349738288 18446744073709551615 6307551 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 12642 11221 763 1502 0 11135 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50568 [startup+25.5004 s] /proc/loadavg: 1.95 1.98 1.98 3/179 21850 /proc/meminfo: memFree=28602568/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=68512 CPUtime=25.49 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 31665 0 0 0 2538 11 0 0 25 0 1 0 26226445 70156288 15660 4089446400 4194304 10345943 140735349738288 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 17128 15660 765 1502 0 15621 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 68512 [startup+51.1008 s] /proc/loadavg: 1.96 1.98 1.98 3/179 21850 /proc/meminfo: memFree=28555580/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=104928 CPUtime=51.09 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 42978 0 0 0 5092 17 0 0 25 0 1 0 26226445 107446272 24586 4089446400 4194304 10345943 140735349738288 18446744073709551615 6002399 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 26232 24586 765 1502 0 24725 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 104928 [startup+102.307 s] /proc/loadavg: 1.98 1.98 1.98 3/179 21852 /proc/meminfo: memFree=28460968/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=175120 CPUtime=102.29 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 70534 0 0 0 10199 30 0 0 25 0 1 0 26226445 179322880 42481 4089446400 4194304 10345943 140735349738288 18446744073709551615 6518768 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 43780 42481 765 1502 0 42273 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 175120 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.98 3/179 21854 /proc/meminfo: memFree=28354764/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=257488 CPUtime=162.3 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 98409 0 0 0 16186 44 0 0 25 0 1 0 26226445 263667712 61887 4089446400 4194304 10345943 140735349738288 18446744073709551615 6777441 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 64372 61887 765 1502 0 62865 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 257488 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.98 3/179 21856 /proc/meminfo: memFree=28249928/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=335320 CPUtime=222.3 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 119847 0 0 0 22172 58 0 0 25 0 1 0 26226445 343367680 81157 4089446400 4194304 10345943 140735349738288 18446744073709551615 6702767 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 83830 81157 765 1502 0 82323 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 335320 [startup+282.3 s] /proc/loadavg: 1.99 1.98 1.98 3/179 21856 /proc/meminfo: memFree=28149428/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=407192 CPUtime=282.3 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 140293 0 0 0 28160 70 0 0 25 0 1 0 26226445 416964608 99483 4089446400 4194304 10345943 140735349738288 18446744073709551615 6264865 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 101798 99483 765 1502 0 100291 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 407192 [startup+342.301 s] /proc/loadavg: 1.99 1.98 1.98 3/179 21858 /proc/meminfo: memFree=28045456/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=482552 CPUtime=342.3 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 159042 0 0 0 34147 83 0 0 25 0 1 0 26226445 494133248 118232 4089446400 4194304 10345943 140735349738288 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 120638 118232 765 1502 0 119131 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 482552 [startup+402.301 s] /proc/loadavg: 1.40 1.82 1.92 2/171 21881 /proc/meminfo: memFree=28762788/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=567328 CPUtime=402.3 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 178084 0 0 0 40135 95 0 0 25 0 1 0 26226445 580943872 137274 4089446400 4194304 10345943 140735349738288 18446744073709551615 4900989 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 141832 137274 765 1502 0 140325 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 567328 [startup+462.3 s] /proc/loadavg: 1.14 1.66 1.86 2/171 21883 /proc/meminfo: memFree=28689088/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=640844 CPUtime=462.3 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 198639 0 0 0 46122 108 0 0 25 0 1 0 26226445 656224256 155661 4089446400 4194304 10345943 140735349738288 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 160211 155661 765 1502 0 158704 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 640844 [startup+522.301 s] /proc/loadavg: 1.05 1.54 1.80 2/171 21885 /proc/meminfo: memFree=28616124/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=713528 CPUtime=522.3 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 216859 0 0 0 52110 120 0 0 25 0 1 0 26226445 730652672 173881 4089446400 4194304 10345943 140735349738288 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 178382 173881 765 1502 0 176875 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 713528 [startup+582.3 s] /proc/loadavg: 1.02 1.44 1.75 2/171 21885 /proc/meminfo: memFree=28539196/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=791248 CPUtime=582.3 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 236073 0 0 0 58097 133 0 0 25 0 1 0 26226445 810237952 193095 4089446400 4194304 10345943 140735349738288 18446744073709551615 6702724 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 197812 193095 765 1502 0 196305 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 791248 [startup+642.301 s] /proc/loadavg: 1.00 1.36 1.70 2/171 21890 /proc/meminfo: memFree=28463812/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=864392 CPUtime=642.32 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 254630 0 0 0 64088 144 0 0 25 0 1 0 26226445 885137408 211652 4089446400 4194304 10345943 140735349738288 18446744073709551615 4701094 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 216098 211652 765 1502 0 214591 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 864392 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=27872024/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=1471392 CPUtime=1122.31 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 404327 0 0 0 111991 240 0 0 25 0 1 0 26226445 1506705408 359339 4089446400 4194304 10345943 140735349738288 18446744073709551615 6002282 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 367848 359339 765 1502 0 366341 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1471392 [startup+1182.3 s] /proc/loadavg: 1.00 1.05 1.37 2/171 21904 /proc/meminfo: memFree=27799564/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=1544128 CPUtime=1182.32 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 422424 0 0 0 117980 252 0 0 25 0 1 0 26226445 1581187072 377436 4089446400 4194304 10345943 140735349738288 18446744073709551615 4903911 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 386032 377436 765 1502 0 384525 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1544128 [startup+1242.3 s] /proc/loadavg: 1.00 1.04 1.35 2/171 21906 /proc/meminfo: memFree=27723372/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=1621268 CPUtime=1242.32 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 441541 0 0 0 123967 265 0 0 25 0 1 0 26226445 1660178432 396553 4089446400 4194304 10345943 140735349738288 18446744073709551615 4476200 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 405317 396553 765 1502 0 403810 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1621268 [startup+1302.3 s] /proc/loadavg: 1.00 1.03 1.32 2/171 21908 /proc/meminfo: memFree=27649172/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=1694388 CPUtime=1302.33 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 459826 0 0 0 129955 278 0 0 25 0 1 0 26226445 1735053312 414838 4089446400 4194304 10345943 140735349738288 18446744073709551615 6702728 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 423597 414838 765 1502 0 422090 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1694388 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.30 2/171 21910 /proc/meminfo: memFree=27574960/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=1768992 CPUtime=1362.33 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 478311 0 0 0 135944 289 0 0 25 0 1 0 26226445 1811447808 433323 4089446400 4194304 10345943 140735349738288 18446744073709551615 9125616 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 442248 433323 765 1502 0 440741 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1768992 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.28 2/171 21912 /proc/meminfo: memFree=27500256/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=1842272 CPUtime=1422.33 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 499167 0 0 0 141933 300 0 0 25 0 1 0 26226445 1886486528 452058 4089446400 4194304 10345943 140735349738288 18446744073709551615 6519518 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 460568 452058 765 1502 0 459061 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1842272 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.26 2/171 21912 /proc/meminfo: memFree=27427036/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=1915380 CPUtime=1482.33 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 517372 0 0 0 147920 313 0 0 25 0 1 0 26226445 1961349120 470263 4089446400 4194304 10345943 140735349738288 18446744073709551615 6802838 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 478845 470263 765 1502 0 477338 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1915380 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.24 2/171 21914 /proc/meminfo: memFree=27349972/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=1992932 CPUtime=1542.33 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 536513 0 0 0 153908 325 0 0 25 0 1 0 26226445 2040762368 489404 4089446400 4194304 10345943 140735349738288 18446744073709551615 5012587 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 498233 489404 765 1502 0 496726 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1992932 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.22 2/171 21916 /proc/meminfo: memFree=27278604/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=2098520 CPUtime=1602.33 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 554802 0 0 0 159896 337 0 0 25 0 1 0 26226445 2148884480 507693 4089446400 4194304 10345943 140735349738288 18446744073709551615 6777348 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 524630 507693 765 1502 0 523123 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2098520 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.20 2/171 21918 /proc/meminfo: memFree=27203408/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=2172556 CPUtime=1662.33 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 573219 0 0 0 165884 349 0 0 25 0 1 0 26226445 2224697344 526109 4089446400 4194304 10345943 140735349738288 18446744073709551615 4729198 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 543139 526109 765 1502 0 541632 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2172556 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.19 2/171 21920 /proc/meminfo: memFree=27132176/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=2243200 CPUtime=1722.33 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 591006 0 0 0 171872 361 0 0 25 0 1 0 26226445 2297036800 543896 4089446400 4194304 10345943 140735349738288 18446744073709551615 6783214 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 560800 543896 765 1502 0 559293 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2243200 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.17 2/171 21920 /proc/meminfo: memFree=27055360/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=2320252 CPUtime=1782.33 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 610273 0 0 0 177860 373 0 0 25 0 1 0 26226445 2375938048 563163 4089446400 4194304 10345943 140735349738288 18446744073709551615 6702724 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 580063 563163 765 1502 0 578556 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2320252 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.17 2/171 21920 /proc/meminfo: memFree=27051140/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=2324276 CPUtime=1785.54 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 611275 0 0 0 178180 374 0 0 25 0 1 0 26226445 2380058624 564165 4089446400 4194304 10345943 140735349738288 18446744073709551615 4881856 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 581069 564165 765 1502 0 579562 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 2324276 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.17 2/171 21920 /proc/meminfo: memFree=27047416/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=2326992 CPUtime=1788.73 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 611980 0 0 0 178499 374 0 0 25 0 1 0 26226445 2382839808 564870 4089446400 4194304 10345943 140735349738288 18446744073709551615 6002418 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21849/statm: 581748 564870 765 1502 0 580241 0 Current children cumulated CPU time (s) 1788.73 Current children cumulated vsize (KiB) 2326992 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.17 2/171 21921 /proc/meminfo: memFree=27046176/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=2328364 CPUtime=1791.94 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 612294 0 0 0 178819 375 0 0 25 0 1 0 26226445 2384244736 565184 4089446400 4194304 10345943 140735349738288 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21849/statm: 582091 565184 769 1502 0 580584 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 2328364 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.17 2/171 21921 /proc/meminfo: memFree=27046052/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=2328364 CPUtime=1793.54 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 612294 0 0 0 178979 375 0 0 25 0 1 0 26226445 2384244736 565184 4089446400 4194304 10345943 140735349738288 18446744073709551615 6325653 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21849/statm: 582091 565184 769 1502 0 580584 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (KiB) 2328364 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.17 2/171 21921 /proc/meminfo: memFree=27046052/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=2328364 CPUtime=1794.34 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 612294 0 0 0 179059 375 0 0 25 0 1 0 26226445 2384244736 565184 4089446400 4194304 10345943 140735349738288 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21849/statm: 582091 565184 769 1502 0 580584 0 Current children cumulated CPU time (s) 1794.34 Current children cumulated vsize (KiB) 2328364 [startup+1794.5 s] /proc/loadavg: 1.00 1.00 1.17 2/171 21921 /proc/meminfo: memFree=27046052/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=2328364 CPUtime=1794.54 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 612294 0 0 0 179079 375 0 0 25 0 1 0 26226445 2384244736 565184 4089446400 4194304 10345943 140735349738288 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21849/statm: 582091 565184 769 1502 0 580584 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 2328364 [startup+1794.6 s] /proc/loadavg: 1.00 1.00 1.17 2/171 21921 /proc/meminfo: memFree=27046052/32950928 swapFree=67111528/67111528 [pid=21849] ppid=21847 vsize=446252 CPUtime=1794.63 /proc/21849/stat : 21849 (pbscip.linux.x8) R 21847 21849 21026 0 -1 4202496 612294 0 0 0 179082 381 0 0 25 0 1 0 26226445 456962048 105026 4089446400 4194304 10345943 140735349738288 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/21849/statm: 111563 105026 769 1502 0 110056 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (KiB) 446252 Child status: 0 Real time (s): 1794.62 CPU time (s): 1794.66 CPU user time (s): 1790.83 CPU system time (s): 3.83642 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2328364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.83 system time used= 3.83642 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 612297 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3042 runsolver used 2.6016 second user time and 5.71813 second system time The end
Begin job on node125 at 2010-07-08 11:08:46 IDJOB=2705744 IDBENCH=79408 IDSOLVER=1214 FILE ID=node125/2705744-1278580126 PBS_JOBID= 11240204 Free space on /tmp= 73528 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh06_wcsp.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705744-1278580126/watcher-2705744-1278580126 -o /tmp/evaluation-result-2705744-1278580126/solver-2705744-1278580126 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705744-1278580126.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6d863641d8b2b772fe5ea25b86285712 RANDOM SEED=948873935 node125.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.823 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.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.74 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.823 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.823 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.74 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.823 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.823 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.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28670876 kB Buffers: 139732 kB Cached: 3296544 kB SwapCached: 0 kB Active: 1548936 kB Inactive: 2572596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28670876 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12864 kB Writeback: 0 kB AnonPages: 685272 kB Mapped: 17608 kB Slab: 93652 kB PageTables: 5908 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 841512 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73528 MiB End job on node125 at 2010-07-08 11:38:41