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 | OPTIMUM | 493.324 | 493.328 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh209_wcsp.wbo |
| MD5SUM | 9631dbe60bb4b54b94c0583eca7044d2 |
| 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 | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.154975 |
| 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 | 11 |
| Top cost | 394239 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 394238 |
| 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-2705752-1278580128.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 800 impl, 0 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, 200 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 1800 implications, 0 cliques
0.00/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 800 impl, 0 cont) and 1600 constraints
0.00/0.05 c 800 constraints of type <linear>
0.00/0.05 c 800 constraints of type <indicator>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.3
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1789.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 o 394238
0.00/0.05 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.05 c t 0.0s| 1 | 0 | 0 | - |5951k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6323k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 40 | - |6387k| 0 | 0 |1700 |1600 |1700 | 67 | 67 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 105 | - |6404k| 0 | 9 |1700 |1600 |1700 | 99 | 99 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 154 | - |6444k| 0 | 59 |1700 |1600 |1700 | 124 | 124 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 184 | - |6678k| 0 | 74 |1700 |1600 |1700 | 145 | 145 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.16 c 0.2s| 1 | 0 | 204 | - |7149k| 0 | 75 |1700 |1600 |1700 | 153 | 153 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 226 | - |7645k| 0 | 73 |1700 |1600 |1700 | 158 | 158 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.19/0.25 c 0.2s| 1 | 2 | 226 | - |7670k| 0 | 73 |1700 |1600 |1700 | 158 | 158 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
8.39/8.43 c 8.4s| 10000 | 9999 | 8754 | 0.9 | 19M| 119 | 0 |1700 |1600 |1700 | 197 |2887 | 0 | 751 | 0.000000e+00 | 3.942380e+05 | Inf
14.59/14.61 c 14.6s| 20000 | 19993 | 13308 | 0.7 | 29M| 537 | 0 |1700 |1605 |1700 | 263 |4358 | 5 | 762 | 0.000000e+00 | 3.942380e+05 | Inf
20.79/20.88 c 20.9s| 30000 | 29983 | 17798 | 0.6 | 38M| 543 | 0 |1700 |1611 |1700 | 231 |5737 | 11 | 771 | 0.000000e+00 | 3.942380e+05 | Inf
26.89/26.97 c 27.0s| 40000 | 39977 | 21373 | 0.5 | 48M| 543 | 0 |1700 |1615 |1700 | 227 |6790 | 15 | 778 | 0.000000e+00 | 3.942380e+05 | Inf
32.89/32.96 c 32.9s| 50000 | 49977 | 24370 | 0.5 | 57M| 543 | 0 |1700 |1615 |1700 | 227 |7623 | 15 | 780 | 0.000000e+00 | 3.942380e+05 | Inf
38.89/38.94 c 38.9s| 60000 | 59975 | 27200 | 0.4 | 67M| 543 | 0 |1700 |1617 |1700 | 236 |8478 | 17 | 784 | 0.000000e+00 | 3.942380e+05 | Inf
44.89/44.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.89/44.90 c 44.9s| 70000 | 69971 | 30030 | 0.4 | 76M| 543 | 0 |1700 |1618 |1700 | 200 |9428 | 18 | 784 | 0.000000e+00 | 3.942380e+05 | Inf
50.79/50.89 c 50.9s| 80000 | 79961 | 32913 | 0.4 | 85M| 543 | 0 |1700 |1622 |1700 | 212 | 10k| 22 | 784 | 0.000000e+00 | 3.942380e+05 | Inf
56.78/56.87 c 56.9s| 90000 | 89961 | 35995 | 0.4 | 95M| 543 | 0 |1700 |1622 |1700 | 236 | 11k| 22 | 784 | 0.000000e+00 | 3.942380e+05 | Inf
62.70/62.75 c 62.7s|100000 | 99959 | 38305 | 0.4 | 104M| 543 | 0 |1700 |1624 |1700 | 220 | 11k| 24 | 784 | 0.000000e+00 | 3.942380e+05 | Inf
68.68/68.72 c 68.7s|110000 |109959 | 40873 | 0.4 | 114M| 543 | 0 |1700 |1624 |1700 | 234 | 12k| 24 | 784 | 0.000000e+00 | 3.942380e+05 | Inf
74.58/74.68 c 74.7s|120000 |119955 | 43761 | 0.4 | 123M| 543 | 0 |1700 |1626 |1700 | 219 | 13k| 26 | 784 | 0.000000e+00 | 3.942380e+05 | Inf
80.48/80.54 c 80.5s|130000 |129951 | 46254 | 0.4 | 132M| 543 | 0 |1700 |1628 |1700 | 220 | 14k| 28 | 800 | 0.000000e+00 | 3.942380e+05 | Inf
86.39/86.41 c 86.4s|140000 |139949 | 48270 | 0.3 | 142M| 543 | 0 |1700 |1629 |1700 | 222 | 14k| 29 | 809 | 0.000000e+00 | 3.942380e+05 | Inf
92.29/92.30 c 92.3s|150000 |149947 | 50386 | 0.3 | 151M| 543 | 0 |1700 |1629 |1700 | 230 | 15k| 29 | 830 | 0.000000e+00 | 3.942380e+05 | Inf
97.98/98.08 c 98.1s|160000 |159945 | 51964 | 0.3 | 161M| 543 | 0 |1700 |1629 |1700 | 224 | 15k| 31 | 833 | 0.000000e+00 | 3.942380e+05 | Inf
103.89/103.92 c 104s|170000 |169945 | 53981 | 0.3 | 170M| 543 | 0 |1700 |1629 |1700 | 234 | 16k| 31 | 865 | 0.000000e+00 | 3.942380e+05 | Inf
109.69/109.71 c 110s|180000 |179945 | 55746 | 0.3 | 179M| 543 | 0 |1700 |1629 |1700 | 195 | 17k| 31 | 882 | 0.000000e+00 | 3.942380e+05 | Inf
115.50/115.57 c 116s|190000 |189943 | 57859 | 0.3 | 189M| 543 | 0 |1700 |1631 |1700 | 198 | 17k| 33 | 906 | 0.000000e+00 | 3.942380e+05 | Inf
121.39/121.41 c 121s|200000 |199941 | 60049 | 0.3 | 198M| 543 | 0 |1700 |1633 |1700 | 191 | 18k| 35 | 956 | 0.000000e+00 | 3.942380e+05 | Inf
126.69/126.75 o 9881
126.69/126.75 c * 127s|209140 |171465 | 61877 | 0.3 | 174M| 543 | - |1700 |1633 |1700 | 231 | 18k| 35 | 992 | 0.000000e+00 | 9.881000e+03 | Inf
127.29/127.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.29/127.38 c 127s|210000 |172313 | 62344 | 0.3 | 175M| 543 | 0 |1700 |1679 |1700 | 212 | 19k| 81 |1005 | 0.000000e+00 | 9.881000e+03 | Inf
129.39/129.49 o 9877
129.39/129.49 c * 129s|213022 |175205 | 63639 | 0.3 | 178M| 543 | - |1700 |1826 |1700 | 215 | 19k| 228 |1024 | 0.000000e+00 | 9.877000e+03 | Inf
134.49/134.52 c 135s|220000 |182045 | 71112 | 0.3 | 185M| 543 | 0 |1700 |2261 |1700 | 184 | 22k| 678 |1084 | 0.000000e+00 | 9.877000e+03 | Inf
138.69/138.72 o 9870
138.69/138.72 c * 139s|225876 |187404 | 74011 | 0.3 | 192M| 543 | - |1700 |3167 |1700 | 216 | 22k|1794 |1110 | 0.000000e+00 | 9.870000e+03 | Inf
140.39/140.44 o 9846
140.39/140.44 c * 140s|228313 |189235 | 74943 | 0.3 | 194M| 543 | - |1700 |3423 |1700 | 198 | 23k|2157 |1110 | 0.000000e+00 | 9.846000e+03 | Inf
140.39/140.49 o 9766
140.39/140.49 c * 140s|228366 |187600 | 74984 | 0.3 | 193M| 543 | - |1700 |3423 |1700 | 196 | 23k|2157 |1110 | 0.000000e+00 | 9.766000e+03 | Inf
141.29/141.30 o 9748
141.29/141.30 c * 141s|229480 |188263 | 75435 | 0.3 | 194M| 543 | - |1700 |3533 |1700 | 193 | 23k|2320 |1112 | 0.000000e+00 | 9.748000e+03 | Inf
141.59/141.69 c 142s|230000 |188763 | 75565 | 0.3 | 194M| 543 | 0 |1700 |3534 |1700 | 197 | 23k|2344 |1112 | 0.000000e+00 | 9.748000e+03 | Inf
142.19/142.21 o 9723
142.19/142.21 c * 142s|230733 |188922 | 75751 | 0.3 | 194M| 543 | - |1700 |3564 |1700 | 202 | 23k|2411 |1112 | 0.000000e+00 | 9.723000e+03 | Inf
142.89/142.91 o 9661
142.89/142.91 c * 143s|231682 |188386 | 76179 | 0.3 | 194M| 543 | - |1700 |3694 |1700 | 216 | 23k|2637 |1114 | 0.000000e+00 | 9.661000e+03 | Inf
142.99/143.05 o 9610
142.99/143.05 c * 143s|231864 |187378 | 76342 | 0.3 | 193M| 543 | - |1700 |3682 |1700 | 195 | 23k|2668 |1122 | 0.000000e+00 | 9.610000e+03 | Inf
143.69/143.75 o 9526
143.69/143.75 c * 144s|232811 |186265 | 76808 | 0.3 | 192M| 543 | - |1700 |3702 |1700 | 193 | 23k|2850 |1125 | 0.000000e+00 | 9.526000e+03 | Inf
143.69/143.76 o 9495
143.69/143.76 c * 144s|232812 |185502 | 76810 | 0.3 | 192M| 543 | - |1700 |3702 |1700 | 193 | 23k|2850 |1125 | 0.000000e+00 | 9.495000e+03 | Inf
143.89/144.00 o 9460
143.89/144.00 c * 144s|233078 |184805 | 77011 | 0.3 | 191M| 543 | - |1700 |3716 |1700 | 207 | 23k|2909 |1126 | 0.000000e+00 | 9.460000e+03 | Inf
144.59/144.60 o 9423
144.59/144.60 c * 145s|233896 |184680 | 77356 | 0.3 | 191M| 543 | - |1700 |3753 |1700 | 196 | 24k|3111 |1126 | 0.000000e+00 | 9.423000e+03 | Inf
144.89/144.97 o 9400
144.89/144.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.89/144.97 c * 145s|234382 |184540 | 77580 | 0.3 | 191M| 543 | - |1700 |3854 |1700 | 228 | 24k|3279 |1126 | 0.000000e+00 | 9.400000e+03 | Inf
148.89/148.90 c 149s|240000 |189803 | 79858 | 0.3 | 197M| 543 | 0 |1700 |3871 |1700 | 176 | 24k|4318 |1134 | 0.000000e+00 | 9.400000e+03 | Inf
149.59/149.67 o 9350
149.59/149.67 c * 150s|241094 |189583 | 80183 | 0.3 | 197M| 543 | - |1700 |3852 |1700 | 204 | 24k|4437 |1136 | 0.000000e+00 | 9.350000e+03 | Inf
151.29/151.36 o 9346
151.29/151.36 c * 151s|243549 |191753 | 81137 | 0.3 | 200M| 543 | - |1700 |3769 |1700 | 194 | 25k|4889 |1161 | 0.000000e+00 | 9.346000e+03 | Inf
151.29/151.36 o 9300
151.29/151.36 c * 151s|243550 |190495 | 81137 | 0.3 | 199M| 543 | - |1700 |3769 |1700 | 194 | 25k|4889 |1161 | 0.000000e+00 | 9.300000e+03 | Inf
155.79/155.85 c 156s|250000 |196701 | 83478 | 0.3 | 205M| 543 | 0 |1700 |2997 |1700 | 187 | 26k|5583 |1172 | 0.000000e+00 | 9.300000e+03 | Inf
155.99/156.07 o 9297
155.99/156.07 c * 156s|250286 |196857 | 83689 | 0.3 | 206M| 543 | - |1700 |3042 |1700 | 193 | 26k|5709 |1172 | 0.000000e+00 | 9.297000e+03 | Inf
156.09/156.15 o 9260
156.09/156.15 c * 156s|250388 |195982 | 83742 | 0.3 | 205M| 543 | - |1700 |3032 |1700 | 192 | 26k|5709 |1172 | 0.000000e+00 | 9.260000e+03 | Inf
156.19/156.24 o 9206
156.19/156.24 c * 156s|250508 |194622 | 83790 | 0.3 | 203M| 543 | - |1700 |3036 |1700 | 198 | 26k|5726 |1174 | 0.000000e+00 | 9.206000e+03 | Inf
156.19/156.25 o 9197
156.19/156.25 c * 156s|250509 |194377 | 83793 | 0.3 | 203M| 543 | - |1700 |3036 |1700 | 198 | 26k|5726 |1174 | 0.000000e+00 | 9.197000e+03 | Inf
156.39/156.43 o 9143
156.39/156.43 c * 156s|250751 |193089 | 83895 | 0.3 | 202M| 543 | - |1700 |3089 |1700 | 200 | 26k|5809 |1174 | 0.000000e+00 | 9.143000e+03 | Inf
157.89/157.96 o 9073
157.89/157.96 c * 158s|252924 |192992 | 84824 | 0.3 | 202M| 543 | - |1700 |3278 |1700 | 209 | 26k|6306 |1174 | 0.000000e+00 | 9.073000e+03 | Inf
157.89/157.97 o 9006
157.89/157.97 c * 158s|252925 |191002 | 84831 | 0.3 | 200M| 543 | - |1700 |3278 |1700 | 209 | 26k|6306 |1174 | 0.000000e+00 | 9.006000e+03 | Inf
158.19/158.20 o 8934
158.19/158.20 c * 158s|253251 |189166 | 84917 | 0.3 | 199M| 543 | - |1700 |3328 |1700 | 231 | 26k|6382 |1174 | 0.000000e+00 | 8.934000e+03 | Inf
158.19/158.21 o 8908
158.19/158.21 c * 158s|253252 |188378 | 84917 | 0.3 | 198M| 543 | - |1700 |3328 |1700 | 231 | 26k|6382 |1174 | 0.000000e+00 | 8.908000e+03 | Inf
158.19/158.27 o 8876
158.19/158.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.19/158.27 c * 158s|253345 |187465 | 84956 | 0.3 | 197M| 543 | - |1700 |3340 |1700 | 226 | 26k|6397 |1174 | 0.000000e+00 | 8.876000e+03 | Inf
158.40/158.44 o 8823
158.40/158.44 c * 158s|253553 |185957 | 85022 | 0.3 | 195M| 543 | - |1700 |3356 |1700 | 200 | 26k|6463 |1175 | 0.000000e+00 | 8.823000e+03 | Inf
158.40/158.48 o 8817
158.40/158.48 c * 158s|253603 |185829 | 85054 | 0.3 | 195M| 543 | - |1700 |3378 |1700 | 203 | 26k|6486 |1175 | 0.000000e+00 | 8.817000e+03 | Inf
158.40/158.49 o 8779
158.40/158.49 c * 158s|253607 |184629 | 85059 | 0.3 | 194M| 543 | - |1700 |3378 |1700 | 203 | 26k|6486 |1175 | 0.000000e+00 | 8.779000e+03 | Inf
158.49/158.56 o 8655
158.49/158.56 c * 159s|253710 |180707 | 85082 | 0.3 | 190M| 543 | - |1700 |3404 |1700 | 226 | 26k|6517 |1175 | 0.000000e+00 | 8.655000e+03 | Inf
158.98/159.07 o 8626
158.98/159.07 c * 159s|254406 |180348 | 85509 | 0.3 | 189M| 543 | - |1700 |3525 |1700 | 221 | 26k|6752 |1182 | 0.000000e+00 | 8.626000e+03 | Inf
158.98/159.08 o 8569
158.98/159.08 c * 159s|254409 |178569 | 85527 | 0.3 | 188M| 543 | - |1700 |3525 |1700 | 221 | 26k|6752 |1182 | 0.000000e+00 | 8.569000e+03 | Inf
158.98/159.09 o 8538
158.98/159.09 c * 159s|254410 |177589 | 85528 | 0.3 | 187M| 543 | - |1700 |3525 |1700 | 221 | 26k|6752 |1182 | 0.000000e+00 | 8.538000e+03 | Inf
159.19/159.27 o 8516
159.19/159.27 c * 159s|254624 |177119 | 85744 | 0.3 | 186M| 543 | - |1700 |3545 |1700 | 214 | 26k|6815 |1183 | 0.000000e+00 | 8.516000e+03 | Inf
159.19/159.28 o 8506
159.19/159.28 c * 159s|254626 |176821 | 85756 | 0.3 | 186M| 543 | - |1700 |3545 |1700 | 214 | 26k|6815 |1183 | 0.000000e+00 | 8.506000e+03 | Inf
159.19/159.29 o 8475
159.19/159.29 c * 159s|254627 |175922 | 85758 | 0.3 | 185M| 543 | - |1700 |3545 |1700 | 214 | 26k|6815 |1183 | 0.000000e+00 | 8.475000e+03 | Inf
161.29/161.36 o 8462
161.29/161.36 c * 161s|257525 |178161 | 87077 | 0.3 | 188M| 543 | - |1700 |3433 |1700 | 180 | 27k|7493 |1199 | 0.000000e+00 | 8.462000e+03 | Inf
161.29/161.37 o 8450
161.29/161.37 c * 161s|257526 |177773 | 87084 | 0.3 | 187M| 543 | - |1700 |3433 |1700 | 180 | 27k|7493 |1199 | 0.000000e+00 | 8.450000e+03 | Inf
161.39/161.42 o 8412
161.39/161.42 c * 161s|257586 |176631 | 87161 | 0.3 | 186M| 543 | - |1700 |3425 |1700 | 181 | 27k|7500 |1199 | 0.000000e+00 | 8.412000e+03 | Inf
161.39/161.42 o 8396
161.39/161.42 c * 161s|257587 |176113 | 87164 | 0.3 | 185M| 543 | - |1700 |3425 |1700 | 181 | 27k|7500 |1199 | 0.000000e+00 | 8.396000e+03 | Inf
161.99/162.06 o 8370
161.99/162.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.99/162.06 c * 162s|258426 |175947 | 87630 | 0.3 | 186M| 543 | - |1700 |3357 |1700 | 178 | 27k|7609 |1199 | 0.000000e+00 | 8.370000e+03 | Inf
161.99/162.07 o 8341
161.99/162.07 c * 162s|258428 |175005 | 87649 | 0.3 | 185M| 543 | - |1700 |3357 |1700 | 179 | 27k|7609 |1199 | 0.000000e+00 | 8.341000e+03 | Inf
163.09/163.13 o 8303
163.09/163.13 c * 163s|259866 |175134 | 88289 | 0.3 | 185M| 543 | - |1700 |3445 |1700 | 212 | 27k|8092 |1199 | 0.000000e+00 | 8.303000e+03 | Inf
163.19/163.23 c 163s|260000 |175248 | 88377 | 0.3 | 185M| 543 | 0 |1700 |3470 |1700 | 229 | 27k|8154 |1199 | 0.000000e+00 | 8.303000e+03 | Inf
164.89/164.92 o 8254
164.89/164.92 c * 165s|262314 |175736 | 89565 | 0.3 | 186M| 543 | - |1700 |3433 |1700 | 200 | 27k|8860 |1203 | 0.000000e+00 | 8.254000e+03 | Inf
166.29/166.34 o 8191
166.29/166.34 c * 166s|264279 |175387 | 90476 | 0.3 | 186M| 543 | - |1700 |3102 |1700 | 210 | 27k|9373 |1216 | 0.000000e+00 | 8.191000e+03 | Inf
166.29/166.35 o 8160
166.29/166.35 c * 166s|264280 |174386 | 90477 | 0.3 | 185M| 543 | - |1700 |3102 |1700 | 210 | 27k|9373 |1216 | 0.000000e+00 | 8.160000e+03 | Inf
166.69/166.73 o 8099
166.69/166.73 c * 167s|264769 |172858 | 90768 | 0.3 | 183M| 543 | - |1700 |3075 |1700 | 201 | 28k|9547 |1217 | 0.000000e+00 | 8.099000e+03 | Inf
166.69/166.77 o 8069
166.69/166.77 c * 167s|264807 |171970 | 90796 | 0.3 | 182M| 543 | - |1700 |3068 |1700 | 199 | 28k|9559 |1217 | 0.000000e+00 | 8.069000e+03 | Inf
167.99/168.02 o 7997
167.99/168.02 c * 168s|266524 |171253 | 91763 | 0.3 | 181M| 543 | - |1700 |3024 |1700 | 199 | 28k|9932 |1225 | 0.000000e+00 | 7.997000e+03 | Inf
169.09/169.10 o 7965
169.09/169.10 c * 169s|267971 |171524 | 92398 | 0.3 | 182M| 543 | - |1700 |2952 |1700 | 199 | 28k| 10k|1225 | 0.000000e+00 | 7.965000e+03 | Inf
169.09/169.17 o 7960
169.09/169.17 c * 169s|268069 |171472 | 92465 | 0.3 | 182M| 543 | - |1700 |2968 |1700 | 191 | 28k| 10k|1225 | 0.000000e+00 | 7.960000e+03 | Inf
169.09/169.19 o 7909
169.09/169.19 c * 169s|268082 |169834 | 92501 | 0.3 | 181M| 543 | - |1700 |2965 |1700 | 194 | 28k| 10k|1225 | 0.000000e+00 | 7.909000e+03 | Inf
169.29/169.32 o 7885
169.29/169.32 c * 169s|268260 |169258 | 92583 | 0.3 | 180M| 543 | - |1700 |2976 |1700 | 196 | 28k| 10k|1225 | 0.000000e+00 | 7.885000e+03 | Inf
169.29/169.33 o 7847
169.29/169.33 c * 169s|268273 |168142 | 92618 | 0.3 | 179M| 543 | - |1700 |2980 |1700 | 198 | 28k| 10k|1225 | 0.000000e+00 | 7.847000e+03 | Inf
169.29/169.38 o 7785
169.29/169.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.29/169.38 c * 169s|268329 |166288 | 92649 | 0.3 | 177M| 543 | - |1700 |2983 |1700 | 198 | 28k| 10k|1225 | 0.000000e+00 | 7.785000e+03 | Inf
169.39/169.41 o 7781
169.39/169.41 c * 169s|268360 |166190 | 92703 | 0.3 | 177M| 543 | - |1700 |2976 |1700 | 197 | 28k| 10k|1225 | 0.000000e+00 | 7.781000e+03 | Inf
169.59/169.61 o 7769
169.59/169.61 c * 170s|268619 |166014 | 92875 | 0.3 | 177M| 543 | - |1700 |2979 |1700 | 203 | 28k| 10k|1226 | 0.000000e+00 | 7.769000e+03 | Inf
169.59/169.62 o 7759
169.59/169.62 c * 170s|268620 |165716 | 92877 | 0.3 | 177M| 543 | - |1700 |2979 |1700 | 203 | 28k| 10k|1226 | 0.000000e+00 | 7.759000e+03 | Inf
170.40/170.42 o 7726
170.40/170.42 c * 170s|269652 |165566 | 93456 | 0.3 | 177M| 543 | - |1700 |3129 |1700 | 205 | 28k| 10k|1226 | 0.000000e+00 | 7.726000e+03 | Inf
170.40/170.42 o 7724
170.40/170.42 c * 170s|269654 |165485 | 93464 | 0.3 | 177M| 543 | - |1700 |3129 |1700 | 205 | 28k| 10k|1226 | 0.000000e+00 | 7.724000e+03 | Inf
170.40/170.43 o 7673
170.40/170.43 c * 170s|269655 |163894 | 93466 | 0.3 | 175M| 543 | - |1700 |3129 |1700 | 205 | 28k| 10k|1226 | 0.000000e+00 | 7.673000e+03 | Inf
170.50/170.55 o 7623
170.50/170.55 c * 171s|269811 |162545 | 93520 | 0.3 | 174M| 543 | - |1700 |3176 |1700 | 201 | 28k| 10k|1226 | 0.000000e+00 | 7.623000e+03 | Inf
170.50/170.55 o 7572
170.50/170.55 c * 171s|269812 |160991 | 93522 | 0.3 | 172M| 543 | - |1700 |3176 |1700 | 201 | 28k| 10k|1226 | 0.000000e+00 | 7.572000e+03 | Inf
170.50/170.57 o 7567
170.50/170.57 c * 171s|269836 |160851 | 93534 | 0.3 | 172M| 543 | - |1700 |3174 |1700 | 201 | 28k| 10k|1226 | 0.000000e+00 | 7.567000e+03 | Inf
170.50/170.58 o 7516
170.50/170.58 c * 171s|269837 |159272 | 93536 | 0.3 | 170M| 543 | - |1700 |3174 |1700 | 201 | 28k| 10k|1226 | 0.000000e+00 | 7.516000e+03 | Inf
170.59/170.60 o 7437
170.59/170.60 c * 171s|269861 |156828 | 93547 | 0.3 | 168M| 543 | - |1700 |3171 |1700 | 202 | 28k| 10k|1226 | 0.000000e+00 | 7.437000e+03 | Inf
170.59/170.61 o 7386
170.59/170.61 c * 171s|269862 |155279 | 93549 | 0.3 | 166M| 543 | - |1700 |3171 |1700 | 202 | 28k| 10k|1226 | 0.000000e+00 | 7.386000e+03 | Inf
170.69/170.72 c 171s|270000 |155397 | 93696 | 0.3 | 166M| 543 | 0 |1700 |3120 |1700 | 195 | 28k| 10k|1226 | 0.000000e+00 | 7.386000e+03 | Inf
171.19/171.28 o 7322
171.19/171.28 c * 171s|270752 |153934 | 93977 | 0.3 | 165M| 543 | - |1700 |3149 |1700 | 186 | 29k| 11k|1226 | 0.000000e+00 | 7.322000e+03 | Inf
171.19/171.29 o 7295
171.19/171.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.19/171.29 c * 171s|270753 |153124 | 93983 | 0.3 | 164M| 543 | - |1700 |3148 |1700 | 186 | 29k| 11k|1226 | 0.000000e+00 | 7.295000e+03 | Inf
172.08/172.11 o 7266
172.08/172.11 c * 172s|271863 |153209 | 94456 | 0.3 | 164M| 543 | - |1700 |3215 |1700 | 179 | 29k| 11k|1231 | 0.000000e+00 | 7.266000e+03 | Inf
172.08/172.11 o 7250
172.08/172.11 c * 172s|271864 |152729 | 94456 | 0.3 | 164M| 543 | - |1700 |3215 |1700 | 179 | 29k| 11k|1231 | 0.000000e+00 | 7.250000e+03 | Inf
172.60/172.68 o 7191
172.60/172.68 c * 173s|272588 |151502 | 95005 | 0.3 | 163M| 543 | - |1700 |3029 |1700 | 196 | 29k| 11k|1245 | 0.000000e+00 | 7.191000e+03 | Inf
174.29/174.38 o 7168
174.29/174.38 c * 174s|274905 |152809 | 96277 | 0.3 | 164M| 543 | - |1700 |2536 |1700 | 194 | 29k| 12k|1252 | 0.000000e+00 | 7.168000e+03 | Inf
178.19/178.21 c 178s|280000 |157189 | 99757 | 0.4 | 171M| 543 | - |1700 |3018 |1700 | 222 | 31k| 14k|1266 | 0.000000e+00 | 7.168000e+03 | Inf
180.09/180.11 o 7166
180.09/180.11 c * 180s|282658 |159452 |101094 | 0.4 | 174M| 543 | - |1700 |2609 |1700 | 188 | 31k| 14k|1287 | 0.000000e+00 | 7.166000e+03 | Inf
180.19/180.24 o 7143
180.19/180.24 c * 180s|282820 |158813 |101155 | 0.4 | 173M| 543 | - |1700 |2613 |1700 | 187 | 31k| 14k|1287 | 0.000000e+00 | 7.143000e+03 | Inf
180.19/180.26 o 7111
180.19/180.26 c * 180s|282830 |157786 |101179 | 0.4 | 172M| 543 | - |1700 |2620 |1700 | 191 | 31k| 14k|1287 | 0.000000e+00 | 7.111000e+03 | Inf
180.98/181.08 o 7063
180.98/181.08 c * 181s|283849 |157205 |101987 | 0.4 | 172M| 543 | - |1700 |2558 |1700 | 194 | 31k| 15k|1292 | 0.000000e+00 | 7.063000e+03 | Inf
180.98/181.09 o 7021
180.98/181.09 c * 181s|283852 |156000 |102017 | 0.4 | 170M| 543 | - |1700 |2558 |1700 | 195 | 31k| 15k|1292 | 0.000000e+00 | 7.021000e+03 | Inf
181.08/181.15 o 6976
181.08/181.15 c * 181s|283909 |154744 |102115 | 0.4 | 169M| 543 | - |1700 |2552 |1700 | 194 | 31k| 15k|1292 | 0.000000e+00 | 6.976000e+03 | Inf
182.60/182.68 o 6943
182.60/182.68 c * 183s|285955 |155312 |103508 | 0.4 | 171M| 543 | - |1700 |2679 |1700 | 231 | 32k| 15k|1292 | 0.000000e+00 | 6.943000e+03 | Inf
182.79/182.88 o 6921
182.79/182.88 c * 183s|286210 |154784 |103678 | 0.4 | 170M| 543 | - |1700 |2705 |1700 | 189 | 32k| 16k|1292 | 0.000000e+00 | 6.921000e+03 | Inf
183.09/183.17 o 6911
183.09/183.17 c * 183s|286563 |154804 |103900 | 0.4 | 171M| 543 | - |1700 |2713 |1700 | 199 | 32k| 16k|1292 | 0.000000e+00 | 6.911000e+03 | Inf
185.39/185.45 o 6851
185.39/185.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.39/185.45 c * 185s|289456 |155157 |106302 | 0.4 | 172M| 543 | - |1700 |2814 |1700 | 195 | 33k| 17k|1307 | 0.000000e+00 | 6.851000e+03 | Inf
185.79/185.86 c 186s|290000 |155668 |106551 | 0.4 | 173M| 543 | 0 |1700 |2796 |1700 | 222 | 33k| 17k|1309 | 0.000000e+00 | 6.851000e+03 | Inf
186.49/186.50 o 6810
186.49/186.50 c * 186s|290802 |155039 |107121 | 0.4 | 173M| 543 | - |1700 |2802 |1700 | 190 | 33k| 17k|1311 | 0.000000e+00 | 6.810000e+03 | Inf
186.79/186.88 o 6770
186.79/186.88 c * 187s|291271 |154108 |107458 | 0.4 | 172M| 543 | - |1700 |2831 |1700 | 200 | 33k| 17k|1312 | 0.000000e+00 | 6.770000e+03 | Inf
189.79/189.84 o 6706
189.79/189.84 c * 190s|295257 |155479 |109404 | 0.4 | 175M| 543 | - |1700 |2788 |1700 | 195 | 34k| 18k|1313 | 0.000000e+00 | 6.706000e+03 | Inf
191.59/191.66 o 6688
191.59/191.66 c * 192s|297644 |156993 |110747 | 0.4 | 177M| 543 | - |1700 |2674 |1700 | 216 | 35k| 19k|1326 | 0.000000e+00 | 6.688000e+03 | Inf
193.38/193.44 c 193s|300000 |159005 |112061 | 0.4 | 179M| 543 | 0 |1700 |2588 |1700 | 208 | 35k| 19k|1330 | 0.000000e+00 | 6.688000e+03 | Inf
193.88/193.93 o 6639
193.88/193.93 c * 194s|300652 |157935 |112414 | 0.4 | 179M| 543 | - |1700 |2642 |1700 | 192 | 35k| 20k|1330 | 0.000000e+00 | 6.639000e+03 | Inf
194.29/194.39 o 6579
194.29/194.39 c * 194s|301218 |156443 |112837 | 0.4 | 177M| 543 | - |1700 |2689 |1700 | 193 | 35k| 20k|1331 | 0.000000e+00 | 6.579000e+03 | Inf
194.29/194.39 o 6546
194.29/194.39 c * 194s|301219 |155357 |112839 | 0.4 | 176M| 543 | - |1700 |2689 |1700 | 193 | 35k| 20k|1331 | 0.000000e+00 | 6.546000e+03 | Inf
194.39/194.41 o 6517
194.39/194.41 c * 194s|301239 |154423 |112893 | 0.4 | 175M| 543 | - |1700 |2680 |1700 | 200 | 35k| 20k|1331 | 0.000000e+00 | 6.517000e+03 | Inf
194.39/194.42 o 6475
194.39/194.42 c * 194s|301240 |153081 |112897 | 0.4 | 173M| 543 | - |1700 |2680 |1700 | 200 | 35k| 20k|1331 | 0.000000e+00 | 6.475000e+03 | Inf
194.79/194.89 o 6442
194.79/194.89 c * 195s|301836 |152505 |113452 | 0.4 | 173M| 543 | - |1700 |2737 |1700 | 198 | 35k| 20k|1332 | 0.000000e+00 | 6.442000e+03 | Inf
194.89/194.95 o 6382
194.89/194.95 c * 195s|301892 |150677 |113558 | 0.4 | 171M| 543 | - |1700 |2771 |1700 | 207 | 35k| 20k|1332 | 0.000000e+00 | 6.382000e+03 | Inf
194.89/194.95 o 6352
194.89/194.95 c * 195s|301893 |149706 |113566 | 0.4 | 170M| 543 | - |1700 |2771 |1700 | 206 | 35k| 20k|1332 | 0.000000e+00 | 6.352000e+03 | Inf
194.99/195.06 o 6254
194.99/195.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.99/195.06 c * 195s|302012 |146490 |113678 | 0.4 | 165M| 543 | - |1700 |2779 |1700 | 191 | 35k| 20k|1332 | 0.000000e+00 | 6.254000e+03 | Inf
195.19/195.28 o 6220
195.19/195.28 c * 195s|302248 |145554 |113975 | 0.4 | 164M| 543 | - |1700 |2830 |1700 | 191 | 36k| 20k|1332 | 0.000000e+00 | 6.220000e+03 | Inf
195.19/195.29 o 6181
195.19/195.29 c * 195s|302251 |144304 |114022 | 0.4 | 162M| 543 | - |1700 |2828 |1700 | 189 | 36k| 20k|1332 | 0.000000e+00 | 6.181000e+03 | Inf
195.29/195.31 o 6155
195.29/195.31 c * 195s|302263 |143404 |114076 | 0.4 | 160M| 543 | - |1700 |2828 |1700 | 195 | 36k| 20k|1332 | 0.000000e+00 | 6.155000e+03 | Inf
196.69/196.72 o 6146
196.69/196.72 c * 197s|304127 |144691 |114977 | 0.4 | 162M| 543 | - |1700 |2814 |1700 | 220 | 36k| 21k|1340 | 0.000000e+00 | 6.146000e+03 | Inf
196.69/196.73 o 6122
196.69/196.73 c * 197s|304131 |143958 |114994 | 0.4 | 161M| 543 | - |1700 |2814 |1700 | 220 | 36k| 21k|1340 | 0.000000e+00 | 6.122000e+03 | Inf
196.69/196.75 o 6030
196.69/196.75 c * 197s|304150 |140860 |115012 | 0.4 | 157M| 543 | - |1700 |2814 |1700 | 220 | 36k| 21k|1340 | 0.000000e+00 | 6.030000e+03 | Inf
198.19/198.21 o 6000
198.19/198.21 c * 198s|306050 |141511 |116070 | 0.4 | 158M| 543 | - |1700 |2860 |1700 | 204 | 36k| 21k|1345 | 0.000000e+00 | 6.000000e+03 | Inf
200.29/200.33 o 5961
200.29/200.33 c * 200s|308655 |142342 |118171 | 0.4 | 159M| 543 | - |1700 |2741 |1700 | 196 | 37k| 22k|1349 | 0.000000e+00 | 5.961000e+03 | Inf
200.29/200.34 o 5902
200.29/200.34 c * 200s|308656 |140456 |118177 | 0.4 | 157M| 543 | - |1700 |2741 |1700 | 196 | 37k| 22k|1349 | 0.000000e+00 | 5.902000e+03 | Inf
201.38/201.40 c 201s|310000 |141613 |119180 | 0.4 | 159M| 543 | 0 |1700 |2679 |1700 | 212 | 37k| 22k|1366 | 0.000000e+00 | 5.902000e+03 | Inf
201.89/201.95 o 5872
201.89/201.95 c * 202s|310634 |141165 |119824 | 0.4 | 158M| 543 | - |1700 |2677 |1700 | 207 | 38k| 23k|1367 | 0.000000e+00 | 5.872000e+03 | Inf
209.09/209.11 o 5840
209.09/209.11 c * 209s|319669 |147583 |126805 | 0.4 | 169M| 543 | - |1700 |2966 |1700 | 211 | 40k| 25k|1403 | 0.000000e+00 | 5.840000e+03 | Inf
209.39/209.41 o 5824
209.39/209.41 c * 209s|319988 |147223 |127170 | 0.4 | 169M| 543 | - |1700 |2987 |1700 | 214 | 40k| 26k|1403 | 0.000000e+00 | 5.824000e+03 | Inf
209.39/209.42 c 209s|320000 |147235 |127201 | 0.4 | 169M| 543 | 0 |1700 |2986 |1700 | 209 | 40k| 26k|1403 | 0.000000e+00 | 5.824000e+03 | Inf
209.49/209.51 o 5746
209.49/209.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.49/209.51 c * 209s|320091 |144685 |127314 | 0.4 | 166M| 543 | - |1700 |2988 |1700 | 217 | 40k| 26k|1403 | 0.000000e+00 | 5.746000e+03 | Inf
209.49/209.52 o 5715
209.49/209.52 c * 210s|320092 |143552 |127315 | 0.4 | 164M| 543 | - |1700 |2988 |1700 | 217 | 40k| 26k|1403 | 0.000000e+00 | 5.715000e+03 | Inf
209.59/209.66 o 5712
209.59/209.66 c * 210s|320277 |143578 |127466 | 0.4 | 164M| 543 | - |1700 |2991 |1700 | 213 | 40k| 26k|1403 | 0.000000e+00 | 5.712000e+03 | Inf
209.69/209.70 o 5695
209.69/209.70 c * 210s|320319 |142996 |127510 | 0.4 | 164M| 543 | - |1700 |2989 |1700 | 209 | 40k| 26k|1403 | 0.000000e+00 | 5.695000e+03 | Inf
209.79/209.81 o 5657
209.79/209.81 c * 210s|320448 |141781 |127649 | 0.4 | 162M| 543 | - |1700 |2970 |1700 | 208 | 40k| 26k|1403 | 0.000000e+00 | 5.657000e+03 | Inf
209.89/209.95 o 5647
209.89/209.95 c * 210s|320623 |141581 |127788 | 0.4 | 162M| 543 | - |1700 |2977 |1700 | 209 | 40k| 26k|1403 | 0.000000e+00 | 5.647000e+03 | Inf
210.19/210.24 o 5612
210.19/210.24 c * 210s|320902 |140638 |128249 | 0.4 | 161M| 543 | - |1700 |3018 |1700 | 213 | 40k| 26k|1406 | 0.000000e+00 | 5.612000e+03 | Inf
210.19/210.25 o 5579
210.19/210.25 c * 210s|320903 |139536 |128251 | 0.4 | 160M| 543 | - |1700 |3018 |1700 | 213 | 40k| 26k|1406 | 0.000000e+00 | 5.579000e+03 | Inf
210.59/210.69 o 5560
210.59/210.69 c * 211s|321462 |139427 |128678 | 0.4 | 160M| 543 | - |1700 |2947 |1700 | 195 | 40k| 26k|1415 | 0.000000e+00 | 5.560000e+03 | Inf
210.59/210.69 o 5541
210.59/210.69 c * 211s|321463 |138724 |128683 | 0.4 | 159M| 543 | - |1700 |2947 |1700 | 195 | 40k| 26k|1415 | 0.000000e+00 | 5.541000e+03 | Inf
212.29/212.39 o 5456
212.29/212.39 c * 212s|323594 |137560 |130330 | 0.4 | 158M| 543 | - |1700 |2681 |1700 | 209 | 41k| 27k|1428 | 0.000000e+00 | 5.456000e+03 | Inf
214.09/214.18 o 5333
214.09/214.18 c * 214s|325867 |135214 |131774 | 0.4 | 155M| 543 | - |1700 |2719 |1700 | 218 | 42k| 27k|1428 | 0.000000e+00 | 5.333000e+03 | Inf
217.59/217.61 c 218s|330000 |138508 |135531 | 0.4 | 160M| 543 | 0 |1700 |2921 |1700 | 213 | 43k| 29k|1462 | 0.000000e+00 | 5.333000e+03 | Inf
217.70/217.78 o 5256
217.70/217.78 c * 218s|330210 |136060 |135653 | 0.4 | 158M| 543 | - |1700 |3003 |1700 | 215 | 43k| 29k|1462 | 0.000000e+00 | 5.256000e+03 | Inf
217.70/217.78 o 5225
217.70/217.78 c * 218s|330211 |134988 |135654 | 0.4 | 156M| 543 | - |1700 |3003 |1700 | 215 | 43k| 29k|1462 | 0.000000e+00 | 5.225000e+03 | Inf
218.29/218.34 o 5173
218.29/218.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.29/218.34 c * 218s|330938 |133893 |136038 | 0.4 | 155M| 543 | - |1700 |3059 |1700 | 214 | 43k| 29k|1464 | 0.000000e+00 | 5.173000e+03 | Inf
218.39/218.43 o 5094
218.39/218.43 c * 218s|331055 |131330 |136115 | 0.4 | 152M| 543 | - |1700 |3064 |1700 | 215 | 43k| 29k|1464 | 0.000000e+00 | 5.094000e+03 | Inf
218.39/218.44 o 5063
218.39/218.44 c * 218s|331056 |130336 |136116 | 0.4 | 150M| 543 | - |1700 |3064 |1700 | 215 | 43k| 29k|1464 | 0.000000e+00 | 5.063000e+03 | Inf
218.49/218.51 o 5019
218.49/218.51 c * 218s|331147 |128886 |136203 | 0.4 | 148M| 543 | - |1700 |3059 |1700 | 217 | 43k| 29k|1464 | 0.000000e+00 | 5.019000e+03 | Inf
218.49/218.51 o 4988
218.49/218.51 c * 219s|331148 |127945 |136204 | 0.4 | 147M| 543 | - |1700 |3059 |1700 | 217 | 43k| 29k|1464 | 0.000000e+00 | 4.988000e+03 | Inf
224.09/224.14 o 4916
224.09/224.14 c * 224s|338152 |131067 |141616 | 0.4 | 152M| 543 | - |1700 |2847 |1700 | 179 | 45k| 31k|1498 | 0.000000e+00 | 4.916000e+03 | Inf
224.79/224.86 o 4895
224.79/224.86 c * 225s|338969 |130958 |142458 | 0.4 | 152M| 543 | - |1700 |2793 |1700 | 203 | 45k| 32k|1500 | 0.000000e+00 | 4.895000e+03 | Inf
224.99/225.02 o 4865
224.99/225.02 c * 225s|339147 |130061 |142739 | 0.4 | 151M| 543 | - |1700 |2805 |1700 | 190 | 45k| 32k|1500 | 0.000000e+00 | 4.865000e+03 | Inf
225.79/225.80 c 226s|340000 |130732 |143951 | 0.4 | 152M| 543 | 0 |1700 |2669 |1700 | 199 | 46k| 32k|1509 | 0.000000e+00 | 4.865000e+03 | Inf
226.89/226.95 o 4821
226.89/226.95 c * 227s|341308 |130409 |145568 | 0.4 | 152M| 543 | - |1700 |2580 |1700 | 195 | 46k| 32k|1522 | 0.000000e+00 | 4.821000e+03 | Inf
228.59/228.67 o 4804
228.59/228.67 c * 229s|343438 |131523 |147081 | 0.4 | 154M| 543 | - |1700 |2648 |1700 | 201 | 47k| 33k|1527 | 0.000000e+00 | 4.804000e+03 | Inf
229.19/229.28 o 4794
229.19/229.28 c * 229s|344191 |131811 |147716 | 0.4 | 155M| 543 | - |1700 |2668 |1700 | 194 | 47k| 33k|1534 | 0.000000e+00 | 4.794000e+03 | Inf
229.29/229.35 o 4791
229.29/229.35 c * 229s|344266 |131764 |147806 | 0.4 | 155M| 543 | - |1700 |2677 |1700 | 192 | 47k| 33k|1534 | 0.000000e+00 | 4.791000e+03 | Inf
231.89/231.92 o 4732
231.89/231.92 c * 232s|347345 |132199 |150583 | 0.4 | 156M| 543 | - |1700 |2540 |1700 | 203 | 48k| 34k|1561 | 0.000000e+00 | 4.732000e+03 | Inf
234.09/234.11 c 234s|350000 |134273 |152865 | 0.4 | 160M| 543 | 0 |1700 |2740 |1700 | 219 | 49k| 35k|1566 | 0.000000e+00 | 4.732000e+03 | Inf
235.29/235.39 o 4729
235.29/235.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.29/235.39 c * 235s|351548 |135366 |154284 | 0.4 | 162M| 543 | - |1700 |2628 |1700 | 214 | 49k| 35k|1569 | 0.000000e+00 | 4.729000e+03 | Inf
235.29/235.40 o 4703
235.29/235.40 c * 235s|351549 |134572 |154285 | 0.4 | 161M| 543 | - |1700 |2628 |1700 | 214 | 49k| 35k|1569 | 0.000000e+00 | 4.703000e+03 | Inf
236.09/236.15 o 4688
236.09/236.15 c * 236s|352414 |134770 |155360 | 0.4 | 162M| 543 | - |1700 |2640 |1700 | 187 | 49k| 36k|1580 | 0.000000e+00 | 4.688000e+03 | Inf
236.09/236.16 o 4649
236.09/236.16 c * 236s|352415 |133331 |155363 | 0.4 | 160M| 543 | - |1700 |2640 |1700 | 187 | 49k| 36k|1580 | 0.000000e+00 | 4.649000e+03 | Inf
240.29/240.35 o 4606
240.29/240.35 c * 240s|357356 |135778 |160821 | 0.4 | 165M| 543 | - |1700 |2722 |1700 | 193 | 51k| 37k|1604 | 0.000000e+00 | 4.606000e+03 | Inf
240.29/240.38 o 4516
240.29/240.38 c * 240s|357392 |132532 |160845 | 0.4 | 161M| 543 | - |1700 |2722 |1700 | 194 | 51k| 37k|1604 | 0.000000e+00 | 4.516000e+03 | Inf
240.89/240.93 o 4444
240.89/240.93 c * 241s|358012 |130617 |161443 | 0.5 | 159M| 543 | - |1700 |2691 |1700 | 199 | 51k| 38k|1607 | 0.000000e+00 | 4.444000e+03 | Inf
242.59/242.68 c 243s|360000 |132232 |164011 | 0.5 | 161M| 543 | 0 |1700 |2493 |1700 | 202 | 52k| 38k|1613 | 0.000000e+00 | 4.444000e+03 | Inf
250.69/250.77 c 251s|370000 |140128 |172552 | 0.5 | 174M| 543 | 0 |1700 |2923 |1700 | 211 | 55k| 42k|1666 | 0.000000e+00 | 4.444000e+03 | Inf
253.59/253.65 o 4436
253.59/253.65 c * 254s|373583 |142630 |175526 | 0.5 | 178M| 543 | - |1700 |2597 |1700 | 191 | 56k| 43k|1676 | 0.000000e+00 | 4.436000e+03 | Inf
253.59/253.67 o 4402
253.59/253.67 c * 254s|373598 |141486 |175601 | 0.5 | 177M| 543 | - |1700 |2590 |1700 | 192 | 56k| 43k|1676 | 0.000000e+00 | 4.402000e+03 | Inf
255.39/255.49 o 4320
255.39/255.49 c * 255s|375836 |140400 |177263 | 0.5 | 175M| 543 | - |1700 |2663 |1700 | 215 | 57k| 44k|1693 | 0.000000e+00 | 4.320000e+03 | Inf
257.09/257.19 o 4294
257.09/257.19 c * 257s|377889 |140939 |179040 | 0.5 | 177M| 543 | - |1700 |2611 |1700 | 201 | 58k| 44k|1701 | 0.000000e+00 | 4.294000e+03 | Inf
257.09/257.19 o 4252
257.09/257.19 c * 257s|377890 |139458 |179043 | 0.5 | 175M| 543 | - |1700 |2611 |1700 | 201 | 58k| 44k|1701 | 0.000000e+00 | 4.252000e+03 | Inf
257.19/257.23 o 4248
257.19/257.23 c * 257s|377925 |139354 |179159 | 0.5 | 175M| 543 | - |1700 |2599 |1700 | 216 | 58k| 44k|1701 | 0.000000e+00 | 4.248000e+03 | Inf
258.19/258.29 o 4235
258.19/258.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.19/258.29 c * 258s|379178 |139852 |180294 | 0.5 | 176M| 543 | - |1700 |2591 |1700 | 214 | 58k| 45k|1702 | 0.000000e+00 | 4.235000e+03 | Inf
258.99/259.00 c 259s|380000 |140507 |181450 | 0.5 | 177M| 543 | 0 |1700 |2490 |1700 | 179 | 58k| 45k|1704 | 0.000000e+00 | 4.235000e+03 | Inf
260.09/260.19 o 4192
260.09/260.19 c * 260s|381422 |139922 |183241 | 0.5 | 177M| 543 | - |1700 |2432 |1700 | 207 | 59k| 45k|1716 | 0.000000e+00 | 4.192000e+03 | Inf
260.19/260.24 o 4152
260.19/260.24 c * 260s|381482 |138495 |183317 | 0.5 | 175M| 543 | - |1700 |2434 |1700 | 196 | 59k| 45k|1716 | 0.000000e+00 | 4.152000e+03 | Inf
260.29/260.33 o 4106
260.29/260.33 c * 260s|381593 |136933 |183418 | 0.5 | 172M| 543 | - |1700 |2437 |1700 | 189 | 59k| 45k|1716 | 0.000000e+00 | 4.106000e+03 | Inf
263.89/263.90 o 4066
263.89/263.90 c * 264s|385837 |138704 |187689 | 0.5 | 176M| 543 | - |1700 |2604 |1700 | 224 | 61k| 46k|1737 | 0.000000e+00 | 4.066000e+03 | Inf
267.49/267.51 c 267s|390000 |141889 |192376 | 0.5 | 182M| 543 | 0 |1700 |2583 |1700 | 198 | 62k| 48k|1755 | 0.000000e+00 | 4.066000e+03 | Inf
270.28/270.34 o 3974
270.28/270.34 c * 270s|393258 |140670 |196038 | 0.5 | 180M| 543 | - |1700 |3065 |1700 | 222 | 63k| 49k|1768 | 0.000000e+00 | 3.974000e+03 | Inf
274.29/274.38 o 3949
274.29/274.38 c * 274s|397874 |143200 |201371 | 0.5 | 185M| 543 | - |1700 |2887 |1700 | 198 | 65k| 51k|1794 | 0.000000e+00 | 3.949000e+03 | Inf
275.29/275.35 o 3875
275.29/275.35 c * 275s|398932 |140869 |202644 | 0.5 | 181M| 543 | - |1700 |2929 |1700 | 214 | 66k| 51k|1795 | 0.000000e+00 | 3.875000e+03 | Inf
275.29/275.36 o 3868
275.29/275.36 c * 275s|398936 |140589 |202654 | 0.5 | 181M| 543 | - |1700 |2929 |1700 | 214 | 66k| 51k|1795 | 0.000000e+00 | 3.868000e+03 | Inf
275.29/275.36 o 3842
275.29/275.36 c * 275s|398937 |139522 |202657 | 0.5 | 179M| 543 | - |1700 |2929 |1700 | 214 | 66k| 51k|1795 | 0.000000e+00 | 3.842000e+03 | Inf
276.19/276.21 c 276s|400000 |140345 |203461 | 0.5 | 180M| 543 | 0 |1700 |2983 |1700 | 182 | 66k| 51k|1801 | 0.000000e+00 | 3.842000e+03 | Inf
276.49/276.52 o 3840
276.49/276.52 c * 277s|400347 |140511 |203758 | 0.5 | 181M| 543 | - |1700 |2957 |1700 | 183 | 66k| 51k|1809 | 0.000000e+00 | 3.840000e+03 | Inf
277.20/277.26 o 3819
277.20/277.26 c * 277s|401102 |140185 |204746 | 0.5 | 181M| 543 | - |1700 |2991 |1700 | 197 | 66k| 52k|1813 | 0.000000e+00 | 3.819000e+03 | Inf
277.20/277.26 o 3817
277.20/277.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
277.20/277.26 c * 277s|401103 |140114 |204766 | 0.5 | 181M| 543 | - |1700 |2990 |1700 | 197 | 66k| 52k|1813 | 0.000000e+00 | 3.817000e+03 | Inf
278.39/278.40 o 3807
278.39/278.40 c * 278s|402419 |140645 |205944 | 0.5 | 182M| 543 | - |1700 |3010 |1700 | 216 | 67k| 52k|1816 | 0.000000e+00 | 3.807000e+03 | Inf
281.19/281.29 o 3754
281.19/281.29 c * 281s|405783 |140954 |209084 | 0.5 | 183M| 543 | - |1700 |2857 |1700 | 225 | 68k| 53k|1833 | 0.000000e+00 | 3.754000e+03 | Inf
281.19/281.30 o 3723
281.19/281.30 c * 281s|405784 |139655 |209084 | 0.5 | 181M| 543 | - |1700 |2857 |1700 | 225 | 68k| 53k|1833 | 0.000000e+00 | 3.723000e+03 | Inf
284.98/285.06 c 285s|410000 |142624 |214032 | 0.5 | 187M| 543 | 7 |1700 |2787 |1700 | 157 | 70k| 55k|1858 | 0.000000e+00 | 3.723000e+03 | Inf
285.38/285.46 o 3674
285.38/285.46 c * 285s|410447 |140733 |214715 | 0.5 | 184M| 543 | - |1700 |2794 |1700 | 195 | 70k| 55k|1859 | 0.000000e+00 | 3.674000e+03 | Inf
285.48/285.50 o 3666
285.48/285.50 c * 285s|410486 |140407 |214777 | 0.5 | 183M| 543 | - |1700 |2806 |1700 | 193 | 70k| 55k|1859 | 0.000000e+00 | 3.666000e+03 | Inf
286.29/286.38 o 3662
286.29/286.38 c * 286s|411334 |140877 |216362 | 0.5 | 185M| 543 | - |1700 |2824 |1700 | 199 | 70k| 56k|1874 | 0.000000e+00 | 3.662000e+03 | Inf
286.29/286.39 o 3588
286.29/286.39 c * 286s|411335 |137927 |216363 | 0.5 | 180M| 543 | - |1700 |2824 |1700 | 199 | 70k| 56k|1874 | 0.000000e+00 | 3.588000e+03 | Inf
288.89/288.93 o 3529
288.89/288.93 c * 289s|414148 |137507 |220017 | 0.5 | 180M| 543 | - |1700 |2858 |1700 | 183 | 72k| 56k|1882 | 0.000000e+00 | 3.529000e+03 | Inf
288.99/289.02 o 3505
288.99/289.02 c * 289s|414250 |136602 |220108 | 0.5 | 178M| 543 | - |1700 |2857 |1700 | 184 | 72k| 56k|1882 | 0.000000e+00 | 3.505000e+03 | Inf
289.69/289.73 o 3404
289.69/289.73 c * 290s|415023 |132578 |220930 | 0.5 | 172M| 543 | - |1700 |2937 |1700 | 179 | 72k| 57k|1883 | 0.000000e+00 | 3.404000e+03 | Inf
290.99/291.01 o 3367
290.99/291.01 c * 291s|416513 |132004 |222348 | 0.5 | 171M| 543 | - |1700 |3075 |1700 | 211 | 72k| 57k|1895 | 0.000000e+00 | 3.367000e+03 | Inf
291.28/291.32 o 3346
291.28/291.32 c * 291s|416870 |131233 |222636 | 0.5 | 170M| 543 | - |1700 |3049 |1700 | 198 | 72k| 57k|1895 | 0.000000e+00 | 3.346000e+03 | Inf
291.99/292.04 o 3339
291.99/292.04 c * 292s|417580 |131412 |223633 | 0.5 | 170M| 543 | - |1700 |2951 |1700 | 205 | 73k| 57k|1896 | 0.000000e+00 | 3.339000e+03 | Inf
293.28/293.31 o 3311
293.28/293.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.28/293.31 c * 293s|418878 |131052 |225515 | 0.5 | 170M| 543 | - |1700 |2955 |1700 | 213 | 73k| 58k|1897 | 0.000000e+00 | 3.311000e+03 | Inf
293.48/293.60 o 3267
293.48/293.60 c * 294s|419160 |129422 |225937 | 0.5 | 168M| 543 | - |1700 |3022 |1700 | 217 | 74k| 58k|1897 | 0.000000e+00 | 3.267000e+03 | Inf
293.59/293.64 o 3217
293.59/293.64 c * 294s|419192 |127093 |226056 | 0.5 | 164M| 543 | - |1700 |3030 |1700 | 220 | 74k| 58k|1897 | 0.000000e+00 | 3.217000e+03 | Inf
293.59/293.66 o 3209
293.59/293.66 c * 294s|419205 |126742 |226145 | 0.5 | 163M| 543 | - |1700 |3029 |1700 | 221 | 74k| 58k|1898 | 0.000000e+00 | 3.209000e+03 | Inf
293.79/293.83 o 3178
293.79/293.83 c * 294s|419390 |125602 |226450 | 0.5 | 161M| 543 | - |1700 |3031 |1700 | 211 | 74k| 58k|1900 | 0.000000e+00 | 3.178000e+03 | Inf
293.79/293.84 o 3169
293.79/293.84 c * 294s|419391 |125206 |226453 | 0.5 | 160M| 543 | - |1700 |3031 |1700 | 211 | 74k| 58k|1900 | 0.000000e+00 | 3.169000e+03 | Inf
293.89/293.92 o 3164
293.89/293.92 c * 294s|419480 |125062 |226595 | 0.5 | 160M| 543 | - |1700 |3049 |1700 | 221 | 74k| 58k|1903 | 0.000000e+00 | 3.164000e+03 | Inf
293.89/293.97 o 3157
293.89/293.97 c * 294s|419530 |124737 |226705 | 0.5 | 159M| 543 | - |1700 |3057 |1700 | 216 | 74k| 58k|1903 | 0.000000e+00 | 3.157000e+03 | Inf
293.99/294.07 o 3148
293.99/294.07 c * 294s|419618 |124368 |226860 | 0.5 | 159M| 543 | - |1700 |3069 |1700 | 220 | 74k| 58k|1904 | 0.000000e+00 | 3.148000e+03 | Inf
294.39/294.40 c 294s|420000 |124649 |227189 | 0.5 | 159M| 543 | 0 |1700 |3068 |1700 | 202 | 74k| 58k|1908 | 0.000000e+00 | 3.148000e+03 | Inf
298.79/298.83 o 3068
298.79/298.83 c * 299s|424961 |124260 |232744 | 0.5 | 161M| 543 | - |1700 |3254 |1700 | 189 | 76k| 60k|1932 | 0.000000e+00 | 3.068000e+03 | Inf
302.79/302.84 o 3050
302.79/302.84 c * 303s|429613 |126940 |236921 | 0.6 | 166M| 543 | - |1700 |3332 |1700 | 212 | 77k| 61k|1937 | 0.000000e+00 | 3.050000e+03 | Inf
302.79/302.84 o 3041
302.79/302.84 c * 303s|429614 |126471 |236922 | 0.6 | 165M| 543 | - |1700 |3332 |1700 | 212 | 77k| 61k|1937 | 0.000000e+00 | 3.041000e+03 | Inf
303.09/303.18 c 303s|430000 |126765 |237163 | 0.6 | 166M| 543 | 0 |1700 |3318 |1700 | 185 | 77k| 61k|1939 | 0.000000e+00 | 3.041000e+03 | Inf
308.18/308.25 o 3037
308.18/308.25 c * 308s|435688 |130943 |243113 | 0.6 | 173M| 543 | - |1700 |3304 |1700 | 180 | 79k| 63k|1963 | 0.000000e+00 | 3.037000e+03 | Inf
308.28/308.32 o 3035
308.28/308.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.28/308.32 c * 308s|435764 |130913 |243244 | 0.6 | 173M| 543 | - |1700 |3320 |1700 | 186 | 79k| 63k|1964 | 0.000000e+00 | 3.035000e+03 | Inf
309.09/309.16 o 3019
309.09/309.16 c * 309s|436663 |130690 |244285 | 0.6 | 173M| 543 | - |1700 |3300 |1700 | 172 | 80k| 63k|1968 | 0.000000e+00 | 3.019000e+03 | Inf
309.09/309.18 o 2948
309.09/309.18 c * 309s|436681 |127158 |244288 | 0.6 | 167M| 543 | - |1700 |3300 |1700 | 172 | 80k| 63k|1968 | 0.000000e+00 | 2.948000e+03 | Inf
312.18/312.23 c 312s|440000 |129534 |248464 | 0.6 | 172M| 543 | 12 |1700 |2930 |1700 | 178 | 81k| 64k|1987 | 0.000000e+00 | 2.948000e+03 | Inf
316.39/316.41 o 2919
316.39/316.41 c * 316s|444404 |130878 |254285 | 0.6 | 176M| 543 | - |1700 |2910 |1700 | 216 | 83k| 65k|2007 | 0.000000e+00 | 2.919000e+03 | Inf
316.39/316.44 o 2901
316.39/316.44 c * 316s|444423 |130027 |254388 | 0.6 | 174M| 543 | - |1700 |2904 |1700 | 211 | 83k| 65k|2007 | 0.000000e+00 | 2.901000e+03 | Inf
321.48/321.55 c 322s|450000 |133933 |261797 | 0.6 | 182M| 543 | - |1700 |2761 | 0 | 0 | 86k| 67k|2041 | 0.000000e+00 | 2.901000e+03 | Inf
330.58/330.69 c 331s|460000 |140920 |277190 | 0.6 | 197M| 543 | 7 |1700 |2794 |1700 | 199 | 91k| 70k|2102 | 0.000000e+00 | 2.901000e+03 | Inf
332.79/332.83 o 2889
332.79/332.83 c * 333s|462307 |142000 |280893 | 0.6 | 200M| 543 | - |1700 |3038 |1700 | 211 | 92k| 71k|2114 | 0.000000e+00 | 2.889000e+03 | Inf
332.79/332.84 o 2864
332.79/332.84 c * 333s|462308 |140723 |280894 | 0.6 | 198M| 543 | - |1700 |3038 |1700 | 211 | 92k| 71k|2114 | 0.000000e+00 | 2.864000e+03 | Inf
335.08/335.11 o 2804
335.08/335.11 c * 335s|464628 |139239 |284120 | 0.6 | 197M| 543 | - |1700 |3129 |1700 | 194 | 93k| 72k|2125 | 0.000000e+00 | 2.804000e+03 | Inf
340.19/340.20 c 340s|470000 |143104 |291774 | 0.6 | 205M| 543 | 0 |1700 |2872 |1700 | 202 | 96k| 73k|2155 | 0.000000e+00 | 2.804000e+03 | Inf
341.09/341.15 o 2699
341.09/341.15 c * 341s|470950 |137813 |293500 | 0.6 | 197M| 543 | - |1700 |2680 |1700 | 186 | 97k| 74k|2167 | 0.000000e+00 | 2.699000e+03 | Inf
346.88/346.97 o 2667
346.88/346.97 c * 347s|477148 |140398 |301966 | 0.6 | 205M| 543 | - |1700 |2754 |1700 | 195 | 100k| 76k|2198 | 0.000000e+00 | 2.667000e+03 | Inf
346.88/346.98 o 2597
346.88/346.98 c * 347s|477149 |136507 |301967 | 0.6 | 199M| 543 | - |1700 |2754 |1700 | 195 | 100k| 76k|2198 | 0.000000e+00 | 2.597000e+03 | Inf
349.59/349.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.59/349.68 c 350s|480000 |138562 |306002 | 0.6 | 203M| 543 | 0 |1700 |2813 |1700 | 233 | 101k| 76k|2215 | 0.000000e+00 | 2.597000e+03 | Inf
353.69/353.76 o 2514
353.69/353.76 c * 354s|484233 |136602 |311592 | 0.6 | 203M| 543 | - |1700 |2736 |1700 | 193 | 103k| 78k|2235 | 0.000000e+00 | 2.514000e+03 | Inf
353.79/353.83 o 2493
353.79/353.83 c * 354s|484287 |135446 |311825 | 0.6 | 201M| 543 | - |1700 |2749 |1700 | 190 | 103k| 78k|2236 | 0.000000e+00 | 2.493000e+03 | Inf
353.79/353.86 o 2406
353.79/353.86 c * 354s|484323 |130348 |311865 | 0.6 | 193M| 543 | - |1700 |2749 |1700 | 191 | 103k| 78k|2236 | 0.000000e+00 | 2.406000e+03 | Inf
353.79/353.90 o 2336
353.79/353.90 c * 354s|484347 |126306 |311935 | 0.6 | 187M| 543 | - |1700 |2746 |1700 | 188 | 103k| 78k|2236 | 0.000000e+00 | 2.336000e+03 | Inf
356.89/356.98 o 2288
356.89/356.98 c * 357s|487562 |125611 |315629 | 0.6 | 187M| 543 | - |1700 |2831 |1700 | 203 | 104k| 79k|2243 | 0.000000e+00 | 2.288000e+03 | Inf
356.89/356.98 o 2287
356.89/356.98 c * 357s|487563 |125563 |315631 | 0.6 | 187M| 543 | - |1700 |2831 |1700 | 203 | 104k| 79k|2243 | 0.000000e+00 | 2.287000e+03 | Inf
359.39/359.49 c 359s|490000 |127129 |319640 | 0.7 | 190M| 543 | 0 |1700 |2796 |1700 | 198 | 106k| 80k|2268 | 0.000000e+00 | 2.287000e+03 | Inf
369.28/369.32 c 369s|500000 |133803 |337185 | 0.7 | 206M| 543 | 0 |1700 |2768 |1700 | 206 | 112k| 83k|2321 | 0.000000e+00 | 2.287000e+03 | Inf
378.99/379.03 c 379s|510000 |140504 |353013 | 0.7 | 222M| 543 | 0 |1700 |2730 |1700 | 178 | 118k| 86k|2386 | 0.000000e+00 | 2.287000e+03 | Inf
380.69/380.73 o 2283
380.69/380.73 c * 381s|511702 |141349 |355386 | 0.7 | 225M| 543 | - |1700 |2719 |1700 | 201 | 118k| 87k|2388 | 0.000000e+00 | 2.283000e+03 | Inf
388.59/388.69 c 389s|520000 |146831 |367495 | 0.7 | 239M| 543 | 0 |1700 |2662 |1700 | 213 | 122k| 89k|2440 | 0.000000e+00 | 2.283000e+03 | Inf
395.69/395.78 o 2263
395.69/395.78 c * 396s|527309 |149959 |378688 | 0.7 | 249M| 543 | - |1700 |2768 |1700 | 201 | 126k| 92k|2476 | 0.000000e+00 | 2.263000e+03 | Inf
398.48/398.53 c 399s|530000 |151703 |383207 | 0.7 | 254M| 543 | 0 |1700 |2813 |1700 | 192 | 128k| 93k|2488 | 0.000000e+00 | 2.263000e+03 | Inf
408.29/408.31 c 408s|540000 |158165 |399271 | 0.7 | 270M| 543 | 0 |1700 |2872 |1700 | 210 | 133k| 96k|2552 | 0.000000e+00 | 2.263000e+03 | Inf
408.39/408.45 o 2256
408.39/408.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.39/408.45 c * 408s|540158 |157775 |399405 | 0.7 | 270M| 543 | - |1700 |2892 |1700 | 215 | 133k| 96k|2553 | 0.000000e+00 | 2.256000e+03 | Inf
408.39/408.46 o 2225
408.39/408.46 c * 408s|540159 |155533 |399406 | 0.7 | 265M| 543 | - |1700 |2892 |1700 | 215 | 133k| 96k|2553 | 0.000000e+00 | 2.225000e+03 | Inf
409.99/410.08 o 2194
409.99/410.08 c * 410s|541681 |154479 |402561 | 0.7 | 264M| 543 | - |1700 |2824 |1700 | 195 | 134k| 97k|2562 | 0.000000e+00 | 2.194000e+03 | Inf
409.99/410.08 o 2184
409.99/410.08 c * 410s|541682 |153711 |402563 | 0.7 | 263M| 543 | - |1700 |2824 |1700 | 195 | 134k| 97k|2562 | 0.000000e+00 | 2.184000e+03 | Inf
417.38/417.45 o 2156
417.38/417.45 c * 417s|548943 |156441 |415240 | 0.8 | 272M| 543 | - |1700 |2998 |1700 | 213 | 139k| 100k|2608 | 0.000000e+00 | 2.156000e+03 | Inf
418.59/418.61 c 419s|550000 |157027 |417270 | 0.8 | 273M| 543 | 0 |1700 |2913 |1700 | 194 | 140k| 100k|2610 | 0.000000e+00 | 2.156000e+03 | Inf
420.49/420.54 o 2131
420.49/420.54 c * 421s|551960 |156511 |420396 | 0.8 | 274M| 543 | - |1700 |2831 |1700 | 210 | 141k| 101k|2620 | 0.000000e+00 | 2.131000e+03 | Inf
425.49/425.57 o 2091
425.49/425.57 c * 426s|556827 |156829 |429108 | 0.8 | 278M| 543 | - |1700 |2743 |1700 | 206 | 144k| 102k|2653 | 0.000000e+00 | 2.091000e+03 | Inf
425.49/425.58 o 2067
425.49/425.58 c * 426s|556836 |154944 |429117 | 0.8 | 274M| 543 | - |1700 |2743 |1700 | 207 | 144k| 102k|2653 | 0.000000e+00 | 2.067000e+03 | Inf
425.60/425.61 o 1938
425.60/425.61 c * 426s|556859 |144690 |429120 | 0.8 | 254M| 543 | - |1700 |2743 |1700 | 207 | 144k| 102k|2653 | 0.000000e+00 | 1.938000e+03 | Inf
427.69/427.78 o 1910
427.69/427.78 c * 428s|558953 |143759 |432867 | 0.8 | 254M| 543 | - |1700 |2751 |1700 | 191 | 145k| 103k|2656 | 0.000000e+00 | 1.910000e+03 | Inf
428.69/428.73 c 429s|560000 |144582 |434080 | 0.8 | 256M| 543 | - |1700 |2743 | 0 | 0 | 146k| 103k|2656 | 0.000000e+00 | 1.910000e+03 | Inf
431.69/431.70 o 1903
431.69/431.70 c * 432s|562813 |145850 |440152 | 0.8 | 260M| 543 | - |1700 |3004 |1700 | 190 | 148k| 104k|2676 | 0.000000e+00 | 1.903000e+03 | Inf
431.79/431.82 o 1880
431.79/431.82 c * 432s|562877 |143988 |440472 | 0.8 | 256M| 543 | - |1700 |2986 |1700 | 199 | 148k| 104k|2679 | 0.000000e+00 | 1.880000e+03 | Inf
439.19/439.29 c 439s|570000 |148331 |453232 | 0.8 | 269M| 543 | 4 |1700 |2884 |1700 | 180 | 152k| 107k|2731 | 0.000000e+00 | 1.880000e+03 | Inf
445.29/445.38 o 1743
445.29/445.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.29/445.38 c * 445s|575836 |140093 |463733 | 0.8 | 259M| 543 | - |1700 |2815 |1700 | 202 | 156k| 109k|2758 | 0.000000e+00 | 1.743000e+03 | Inf
449.79/449.87 c 450s|580000 |142264 |471616 | 0.8 | 267M| 543 | 0 |1700 |2943 |1700 | 187 | 159k| 110k|2784 | 0.000000e+00 | 1.743000e+03 | Inf
458.89/458.94 o 1716
458.89/458.94 c * 459s|588456 |144513 |486428 | 0.8 | 277M| 543 | - |1700 |2764 |1700 | 206 | 164k| 114k|2830 | 0.000000e+00 | 1.716000e+03 | Inf
460.59/460.69 c 461s|590000 |145292 |489469 | 0.8 | 280M| 543 | 0 |1700 |3043 |1700 | 201 | 165k| 115k|2838 | 0.000000e+00 | 1.716000e+03 | Inf
463.79/463.88 o 1708
463.79/463.88 c * 464s|592866 |146150 |494926 | 0.8 | 284M| 543 | - |1700 |3053 |1700 | 207 | 167k| 116k|2859 | 0.000000e+00 | 1.708000e+03 | Inf
463.79/463.88 o 1707
463.79/463.88 c * 464s|592867 |145961 |494927 | 0.8 | 284M| 543 | - |1700 |3053 |1700 | 207 | 167k| 116k|2859 | 0.000000e+00 | 1.707000e+03 | Inf
468.60/468.61 o 1660
468.60/468.61 c * 469s|597009 |143696 |503405 | 0.8 | 284M| 543 | - |1700 |3020 |1700 | 213 | 170k| 118k|2890 | 0.000000e+00 | 1.660000e+03 | Inf
469.89/469.96 o 1658
469.89/469.96 c * 470s|598216 |144078 |505730 | 0.8 | 286M| 543 | - |1700 |3113 |1700 | 208 | 170k| 118k|2893 | 0.000000e+00 | 1.658000e+03 | Inf
469.89/469.99 o 1576
469.89/469.99 c * 470s|598226 |135997 |505738 | 0.8 | 269M| 543 | - |1700 |3113 |1700 | 208 | 170k| 118k|2893 | 0.000000e+00 | 1.576000e+03 | Inf
469.89/470.00 o 1567
469.89/470.00 c * 470s|598227 |134855 |505740 | 0.8 | 267M| 543 | - |1700 |3113 |1700 | 208 | 170k| 118k|2893 | 0.000000e+00 | 1.567000e+03 | Inf
470.19/470.20 o 1542
470.19/470.20 c * 470s|598368 |132505 |506242 | 0.8 | 263M| 543 | - |1700 |3116 |1700 | 191 | 171k| 118k|2893 | 0.000000e+00 | 1.542000e+03 | Inf
470.19/470.20 o 1533
470.19/470.20 c * 470s|598369 |131553 |506245 | 0.8 | 261M| 543 | - |1700 |3116 |1700 | 191 | 171k| 118k|2893 | 0.000000e+00 | 1.533000e+03 | Inf
470.19/470.24 o 1504
470.19/470.24 c * 470s|598394 |128947 |506336 | 0.8 | 256M| 543 | - |1700 |3123 |1700 | 187 | 171k| 118k|2893 | 0.000000e+00 | 1.504000e+03 | Inf
470.19/470.25 o 1495
470.19/470.25 c * 470s|598395 |128136 |506338 | 0.8 | 254M| 543 | - |1700 |3123 |1700 | 187 | 171k| 118k|2893 | 0.000000e+00 | 1.495000e+03 | Inf
470.19/470.28 o 1479
470.19/470.28 c * 470s|598411 |126598 |506432 | 0.8 | 250M| 543 | - |1700 |3121 |1700 | 188 | 171k| 118k|2893 | 0.000000e+00 | 1.479000e+03 | Inf
470.19/470.28 o 1470
470.19/470.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.19/470.28 c * 470s|598412 |125802 |506434 | 0.8 | 248M| 543 | - |1700 |3121 |1700 | 188 | 171k| 118k|2893 | 0.000000e+00 | 1.470000e+03 | Inf
472.08/472.12 c 472s|600000 |126516 |510107 | 0.8 | 251M| 543 | 0 |1700 |2840 |1700 | 196 | 172k| 119k|2907 | 0.000000e+00 | 1.470000e+03 | Inf
478.89/478.96 o 1440
478.89/478.96 c * 479s|605750 |126823 |524217 | 0.9 | 257M| 543 | - |1700 |3313 |1700 | 207 | 176k| 122k|2942 | 0.000000e+00 | 1.440000e+03 | Inf
478.89/478.99 o 1404
478.89/478.99 c * 479s|605771 |123206 |524300 | 0.9 | 248M| 543 | - |1700 |3318 |1700 | 206 | 176k| 122k|2942 | 0.000000e+00 | 1.404000e+03 | Inf
479.09/479.10 o 1398
479.09/479.10 c * 479s|605848 |122648 |524605 | 0.9 | 247M| 543 | - |1700 |3415 |1700 | 199 | 176k| 122k|2946 | 0.000000e+00 | 1.398000e+03 | Inf
481.79/481.87 o 1331
481.79/481.87 c * 482s|608175 |116309 |529638 | 0.9 | 236M| 543 | - |1700 |3198 |1700 | 195 | 178k| 123k|2959 | 0.000000e+00 | 1.331000e+03 | Inf
481.79/481.89 o 1319
481.79/481.89 c * 482s|608185 |114813 |529698 | 0.9 | 232M| 543 | - |1700 |3204 |1700 | 188 | 178k| 123k|2959 | 0.000000e+00 | 1.319000e+03 | Inf
483.59/483.67 o 1315
483.59/483.67 c * 484s|609668 |115163 |532807 | 0.9 | 235M| 543 | - |1700 |3181 |1700 | 220 | 179k| 124k|2972 | 0.000000e+00 | 1.315000e+03 | Inf
483.69/483.73 o 1314
483.69/483.73 c * 484s|609698 |115038 |533034 | 0.9 | 234M| 543 | - |1700 |3183 |1700 | 214 | 179k| 124k|2972 | 0.000000e+00 | 1.314000e+03 | Inf
483.79/483.81 o 1307
483.79/483.81 c * 484s|609768 |114345 |533223 | 0.9 | 233M| 543 | - |1700 |3205 |1700 | 219 | 179k| 124k|2975 | 0.000000e+00 | 1.307000e+03 | Inf
484.09/484.11 c 484s|610000 |114478 |533687 | 0.9 | 234M| 543 | 0 |1700 |3297 |1700 | 205 | 180k| 124k|2975 | 0.000000e+00 | 1.307000e+03 | Inf
484.49/484.52 o 1235
484.49/484.52 c * 485s|610376 |107674 |534314 | 0.9 | 219M| 543 | - |1700 |3373 |1700 | 225 | 180k| 124k|2976 | 0.000000e+00 | 1.235000e+03 | Inf
484.49/484.57 o 1164
484.49/484.57 c * 485s|610400 |101033 |534417 | 0.9 | 204M| 543 | - |1700 |3390 |1700 | 212 | 180k| 124k|2976 | 0.000000e+00 | 1.164000e+03 | Inf
484.59/484.68 o 1137
484.59/484.68 c * 485s|610518 | 98960 |534507 | 0.9 | 200M| 543 | - |1700 |3385 |1700 | 223 | 180k| 124k|2976 | 0.000000e+00 | 1.137000e+03 | Inf
484.69/484.73 o 1134
484.69/484.73 c * 485s|610546 | 98868 |534611 | 0.9 | 200M| 543 | - |1700 |3375 |1700 | 215 | 180k| 124k|2976 | 0.000000e+00 | 1.134000e+03 | Inf
484.69/484.76 o 1038
484.69/484.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.69/484.76 c * 485s|610561 | 90929 |534619 | 0.9 | 182M| 543 | - |1700 |3375 |1700 | 215 | 180k| 124k|2976 | 0.000000e+00 | 1.038000e+03 | Inf
487.30/487.35 o 1023
487.30/487.35 c * 487s|612569 | 90023 |539874 | 0.9 | 184M| 543 | - |1700 |2692 |1700 | 192 | 181k| 125k|2984 | 0.000000e+00 | 1.023000e+03 | Inf
487.30/487.37 o 1002
487.30/487.37 c * 487s|612575 | 87494 |539884 | 0.9 | 177M| 543 | - |1700 |2695 |1700 | 192 | 181k| 125k|2984 | 0.000000e+00 | 1.002000e+03 | Inf
487.30/487.38 o 960
487.30/487.38 c * 487s|612576 | 81661 |539885 | 0.9 | 166M| 543 | - |1700 |2695 |1700 | 192 | 181k| 125k|2984 | 0.000000e+00 | 9.600000e+02 | Inf
489.39/489.46 o 778
489.39/489.46 c * 489s|613937 | 60979 |544484 | 0.9 | 129M| 543 | - |1700 |2400 |1700 | 206 | 183k| 126k|3007 | 0.000000e+00 | 7.780000e+02 | Inf
490.39/490.47 o 737
490.39/490.47 c * 490s|614604 | 56137 |546804 | 0.9 | 122M| 543 | - |1700 |2389 |1700 | 179 | 183k| 127k|3008 | 0.000000e+00 | 7.370000e+02 | Inf
490.50/490.51 o 684
490.50/490.51 c * 490s|614615 | 51217 |546861 | 0.9 | 112M| 543 | - |1700 |2343 |1700 | 184 | 183k| 127k|3008 | 0.000000e+00 | 6.840000e+02 | Inf
490.50/490.51 o 673
490.50/490.51 c * 491s|614616 | 50335 |546867 | 0.9 | 111M| 543 | - |1700 |2343 |1700 | 184 | 183k| 127k|3008 | 0.000000e+00 | 6.730000e+02 | Inf
490.50/490.58 o 619
490.50/490.58 c * 491s|614652 | 42785 |547009 | 0.9 | 97M| 543 | - |1700 |2291 |1700 | 197 | 183k| 127k|3008 | 0.000000e+00 | 6.190000e+02 | Inf
492.19/492.20 o 459
492.19/492.20 c * 492s|615547 | 31146 |551862 | 0.9 | 78M| 543 | - |1700 |2337 |1700 | 205 | 185k| 128k|3026 | 0.000000e+00 | 4.590000e+02 | Inf
492.19/492.22 o 451
492.19/492.22 c * 492s|615558 | 31020 |551932 | 0.9 | 78M| 543 | - |1700 |2183 |1700 | 193 | 185k| 128k|3026 | 0.000000e+00 | 4.510000e+02 | Inf
492.29/492.31 o 336
492.29/492.31 c * 492s|615609 | 23843 |552146 | 0.9 | 65M| 543 | - |1700 |2192 |1700 | 193 | 185k| 128k|3027 | 0.000000e+00 | 3.360000e+02 | Inf
492.49/492.53 o 253
492.49/492.53 c * 493s|615726 | 20483 |553159 | 0.9 | 59M| 543 | - |1700 |1863 |1700 | 192 | 185k| 128k|3028 | 0.000000e+00 | 2.530000e+02 | Inf
492.69/492.73 o 174
492.69/492.73 c * 493s|615941 | 17195 |554038 | 0.9 | 55M| 543 | - |1700 |1714 |1700 | 181 | 185k| 128k|3028 | 0.000000e+00 | 1.740000e+02 | Inf
492.69/492.79 o 172
492.69/492.79 c * 493s|615985 | 17045 |554403 | 0.9 | 54M| 543 | - |1700 |1614 |1700 | 186 | 186k| 128k|3028 | 0.000000e+00 | 1.720000e+02 | Inf
493.09/493.13 o 121
493.09/493.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.09/493.13 c * 493s|616264 | 12550 |556759 | 0.9 | 46M| 543 | - |1700 |1718 |1700 | 173 | 186k| 129k|3029 | 0.000000e+00 | 1.210000e+02 | Inf
493.09/493.14 o 49
493.09/493.14 c * 493s|616265 | 10010 |556762 | 0.9 | 39M| 543 | - |1700 |1718 |1700 | 173 | 186k| 129k|3029 | 0.000000e+00 | 4.900000e+01 | Inf
493.09/493.16 o 39
493.09/493.16 c * 493s|616266 | 7647 |556780 | 0.9 | 33M| 543 | - |1700 |1560 |1700 | 158 | 186k| 129k|3029 | 0.000000e+00 | 3.900000e+01 | Inf
493.19/493.26 o 26
493.19/493.26 c * 493s|616315 | 4376 |557515 | 0.9 | 27M| 543 | - |1700 |1498 |1700 | 180 | 186k| 129k|3035 | 0.000000e+00 | 2.600000e+01 | Inf
493.19/493.26 o 12
493.19/493.26 c * 493s|616316 | 4214 |557537 | 0.9 | 27M| 543 | - |1700 |1498 |1700 | 179 | 186k| 129k|3035 | 0.000000e+00 | 1.200000e+01 | Inf
493.19/493.29 o 0
493.19/493.29 c * 493s|616322 | 0 |557651 | 0.9 | 11M| 543 | - |1700 |1433 |1700 | 173 | 186k| 129k|3035 | 0.000000e+00 | 0.000000e+00 | 0.00%
493.19/493.29 c
493.19/493.29 c SCIP Status : problem is solved [optimal solution found]
493.19/493.29 c Solving Time (sec) : 493.28
493.19/493.29 c Solving Nodes : 616322
493.19/493.29 c Primal Bound : +0.00000000000000e+00 (366 solutions)
493.19/493.29 c Dual Bound : +0.00000000000000e+00
493.19/493.29 c Gap : 0.00 %
493.19/493.29 s OPTIMUM FOUND
493.19/493.29 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 -x186 x185 x184 -x183 x182 -x181 -x180 x179 x178 -x177
493.19/493.29 v x176 -x175 -x174 x173 x172 -x171 -x170 x169 x168 -x167 x166 -x165 -x164 x163 -x162 x161 x160 -x159 x158 -x157 -x156 x155
493.19/493.29 v x154 -x153 -x152 x151 x150 -x149 -x148 x147 x146 -x145 -x144 x143 -x142 x141 -x140 x139 x138 -x137 -x136 x135 x134 -x133 x132
493.19/493.29 v -x131 -x130 x129 x128 -x127 x126 -x125 -x124 x123 -x122 x121 x120 -x119 x118 -x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109
493.19/493.29 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
493.19/493.29 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
493.19/493.29 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
493.19/493.29 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
493.19/493.29 c SCIP Status : problem is solved [optimal solution found]
493.19/493.29 c Solving Time : 493.28
493.19/493.29 c Original Problem :
493.19/493.29 c Problem name : HOME/instance-2705752-1278580128.wbo
493.19/493.29 c Variables : 1800 (1000 binary, 0 integer, 800 implicit integer, 0 continuous)
493.19/493.29 c Constraints : 1701 initial, 1701 maximal
493.19/493.29 c Presolved Problem :
493.19/493.29 c Problem name : t_HOME/instance-2705752-1278580128.wbo
493.19/493.29 c Variables : 1700 (900 binary, 0 integer, 800 implicit integer, 0 continuous)
493.19/493.29 c Constraints : 1600 initial, 3899 maximal
493.19/493.29 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
493.19/493.29 c trivial : 0.00 0 0 0 0 0 0 0 0
493.19/493.29 c dualfix : 0.00 0 0 0 0 0 0 0 0
493.19/493.29 c boundshift : 0.00 0 0 0 0 0 0 0 0
493.19/493.29 c inttobinary : 0.00 0 0 0 0 0 0 0 0
493.19/493.29 c implics : 0.00 0 0 0 0 0 0 0 0
493.19/493.29 c probing : 0.01 0 0 0 0 0 0 0 0
493.19/493.29 c linear : 0.02 0 100 0 800 0 101 0 0
493.19/493.29 c indicator : 0.00 0 0 0 0 0 0 0 0
493.19/493.29 c logicor : 0.00 0 0 0 0 0 0 0 0
493.19/493.29 c root node : - 1584 - - 1584 - - - -
493.19/493.29 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
493.19/493.29 c integral : 0 0 0 644069 0 0 8 0 0 60434
493.19/493.29 c linear : 800 6 1324613 612083 0 8391 767109 186740 0 0
493.19/493.29 c indicator : 800 0 1318723 613841 0 7618 13420157 0 0 0
493.19/493.29 c logicor : 0+ 0 529188 0 0 3891 268447 0 0 0
493.19/493.29 c countsols : 0 0 0 541760 0 0 0 0 0 0
493.19/493.29 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
493.19/493.29 c integral : 2.15 0.00 0.00 2.15 0.00
493.19/493.29 c linear : 23.07 0.00 12.02 11.05 0.00
493.19/493.29 c indicator : 69.53 0.01 36.51 33.01 0.00
493.19/493.29 c logicor : 5.52 0.00 5.52 0.00 0.00
493.19/493.29 c countsols : 0.07 0.00 0.00 0.07 0.00
493.19/493.29 c Propagators : Time Calls Cutoffs DomReds
493.19/493.29 c vbounds : 0.24 2 0 0
493.19/493.29 c rootredcost : 0.23 265 0 791
493.19/493.29 c pseudoobj : 25.87 1366659 39742 12742704
493.19/493.29 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
493.19/493.29 c propagation : 2.35 52024 51686 148119 22.4 985 14.2 -
493.19/493.29 c infeasible LP : 0.01 51 51 169 19.8 6 13.7 0
493.19/493.29 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
493.19/493.29 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
493.19/493.29 c pseudo solution : 0.00 5 5 18 17.4 0 0.0 -
493.19/493.29 c applied globally : - - - 129320 21.5 - - -
493.19/493.29 c applied locally : - - - 0 0.0 - - -
493.19/493.29 c Separators : Time Calls Cutoffs DomReds Cuts Conss
493.19/493.29 c cut pool : 0.00 3 - - 61 - (maximal pool size: 293)
493.19/493.29 c redcost : 25.43 659420 0 793544 0 0
493.19/493.29 c impliedbounds : 0.00 4 0 0 0 0
493.19/493.29 c intobj : 0.00 0 0 0 0 0
493.19/493.29 c cgmip : 0.00 0 0 0 0 0
493.19/493.29 c gomory : 0.02 4 0 0 27 0
493.19/493.29 c strongcg : 0.02 4 0 0 387 0
493.19/493.29 c cmir : 0.01 4 0 0 0 0
493.19/493.29 c flowcover : 0.01 4 0 0 0 0
493.19/493.29 c clique : 0.00 1 0 0 0 0
493.19/493.29 c zerohalf : 0.00 0 0 0 0 0
493.19/493.29 c mcf : 0.00 1 0 0 0 0
493.19/493.29 c rapidlearning : 0.06 1 0 0 0 0
493.19/493.29 c Pricers : Time Calls Vars
493.19/493.29 c problem variables: 0.00 0 0
493.19/493.29 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
493.19/493.29 c relpscost : 1.96 30225 0 8 0 0 60434
493.19/493.29 c pscost : 0.00 0 0 0 0 0 0
493.19/493.29 c inference : 60.60 541494 0 0 0 0 1082988
493.19/493.29 c mostinf : 0.00 0 0 0 0 0 0
493.19/493.29 c leastinf : 0.00 0 0 0 0 0 0
493.19/493.29 c fullstrong : 0.00 0 0 0 0 0 0
493.19/493.29 c allfullstrong : 0.00 0 0 0 0 0 0
493.19/493.29 c random : 0.00 0 0 0 0 0 0
493.19/493.29 c Primal Heuristics : Time Calls Found
493.19/493.29 c LP solutions : 1.47 - 266
493.19/493.29 c pseudo solutions : 0.00 - 0
493.19/493.29 c feaspump : 0.00 0 0
493.19/493.29 c intshifting : 0.00 0 0
493.19/493.29 c oneopt : 0.46 215 0
493.19/493.29 c guideddiving : 1.09 1830 0
493.19/493.29 c pscostdiving : 1.11 1831 0
493.19/493.29 c fracdiving : 1.08 1831 0
493.19/493.29 c veclendiving : 1.10 1831 0
493.19/493.29 c linesearchdiving : 1.09 1831 0
493.19/493.29 c coefdiving : 1.08 1831 0
493.19/493.29 c objpscostdiving : 1.13 1830 0
493.19/493.30 c rootsoldiving : 1.15 1830 0
493.19/493.30 c trivial : 0.00 2 1
493.19/493.30 c simplerounding : 0.21 30984 0
493.19/493.30 c zirounding : 0.14 1000 0
493.19/493.30 c rounding : 0.18 2434 0
493.19/493.30 c shifting : 0.14 733 0
493.19/493.30 c twoopt : 0.00 0 0
493.19/493.30 c fixandinfer : 0.00 0 0
493.19/493.30 c intdiving : 0.00 0 0
493.19/493.30 c actconsdiving : 0.00 0 0
493.19/493.30 c octane : 0.00 0 0
493.19/493.30 c rens : 0.01 1 0
493.19/493.30 c rins : 0.00 0 0
493.19/493.30 c localbranching : 0.00 0 0
493.19/493.30 c mutation : 0.00 0 0
493.19/493.30 c crossover : 4.67 342 2
493.19/493.30 c dins : 0.00 0 0
493.19/493.30 c undercover : 0.00 0 0
493.19/493.30 c nlp : 0.09 0 0
493.19/493.30 c trysol : 0.21 2074 97
493.19/493.30 c LP : Time Calls Iterations Iter/call Iter/sec
493.19/493.30 c primal LP : 0.00 0 0 0.00 -
493.19/493.30 c dual LP : 154.87 173352 552206 3.19 3565.54
493.19/493.30 c lex dual LP : 0.00 0 0 0.00 -
493.19/493.30 c barrier LP : 0.00 0 0 0.00 -
493.19/493.30 c diving/probing LP: 0.15 217 5445 25.09 36227.06
493.19/493.30 c strong branching : 1.77 3035 19775 6.52 11169.33
493.19/493.30 c (at root node) : - 33 1191 36.09 -
493.19/493.30 c conflict analysis: 0.00 0 0 0.00 -
493.19/493.30 c B&B Tree :
493.29/493.30 c number of runs : 1
493.29/493.30 c nodes : 616322
493.29/493.30 c nodes (total) : 616322
493.29/493.30 c nodes left : 0
493.29/493.30 c max depth : 543
493.29/493.30 c max depth (total): 543
493.29/493.30 c backtracks : 22452 (3.6%)
493.29/493.30 c delayed cutoffs : 26274
493.29/493.30 c repropagations : 95849 (6465902 domain reductions, 15353 cutoffs)
493.29/493.30 c avg switch length: 3.14
493.29/493.30 c switching time : 31.21
493.29/493.30 c Solution :
493.29/493.30 c Solutions found : 366 (267 improvements)
493.29/493.30 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
493.29/493.30 c Primal Bound : +0.00000000000000e+00 (in run 1, after 616322 nodes, 493.26 seconds, depth 13, found by <relaxation>)
493.29/493.30 c Dual Bound : +0.00000000000000e+00
493.29/493.30 c Gap : 0.00 %
493.29/493.30 c Root Dual Bound : +0.00000000000000e+00
493.29/493.30 c Root Iterations : 226
493.29/493.32 c Time complete: 493.32.
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705752-1278580128/watcher-2705752-1278580128 -o /tmp/evaluation-result-2705752-1278580128/solver-2705752-1278580128 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705752-1278580128.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.04 2.01 4/182 31059 /proc/meminfo: memFree=29077592/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=12332 CPUtime=0 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 1943 0 0 0 0 0 0 0 23 0 1 0 26226145 12627968 1861 4089446400 4194304 10345943 140735094386416 18446744073709551615 9027761 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/31059/statm: 3083 1862 429 1502 0 1576 0 [startup+0.0121359 s] /proc/loadavg: 2.10 2.04 2.01 4/182 31059 /proc/meminfo: memFree=29077592/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=14044 CPUtime=0 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 2347 0 0 0 0 0 0 0 23 0 1 0 26226145 14381056 2265 4089446400 4194304 10345943 140735094386416 18446744073709551615 5754373 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/31059/statm: 3511 2265 429 1502 0 2004 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 14044 [startup+0.101117 s] /proc/loadavg: 2.10 2.04 2.01 4/182 31059 /proc/meminfo: memFree=29077592/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=39068 CPUtime=0.09 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 8668 0 0 0 8 1 0 0 23 0 1 0 26226145 40005632 8232 4089446400 4194304 10345943 140735094386416 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31059/statm: 9767 8232 636 1502 0 8260 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 39068 [startup+0.301095 s] /proc/loadavg: 2.10 2.04 2.01 4/182 31059 /proc/meminfo: memFree=29077592/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=40084 CPUtime=0.29 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 9711 0 0 0 28 1 0 0 23 0 1 0 26226145 41046016 8589 4089446400 4194304 10345943 140735094386416 18446744073709551615 6551436 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31059/statm: 10021 8589 758 1502 0 8514 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 40084 [startup+0.701008 s] /proc/loadavg: 2.10 2.04 2.01 4/182 31059 /proc/meminfo: memFree=29077592/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=40508 CPUtime=0.69 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 10091 0 0 0 68 1 0 0 25 0 1 0 26226145 41480192 8969 4089446400 4194304 10345943 140735094386416 18446744073709551615 6756352 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31059/statm: 10127 8969 761 1502 0 8620 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40508 [startup+1.50083 s] /proc/loadavg: 2.10 2.04 2.01 3/183 31060 /proc/meminfo: memFree=29042740/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=41448 CPUtime=1.49 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 10330 0 0 0 148 1 0 0 25 0 1 0 26226145 42442752 9208 4089446400 4194304 10345943 140735094386416 18446744073709551615 4447793 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31059/statm: 10362 9208 761 1502 0 8855 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41448 [startup+3.10054 s] /proc/loadavg: 2.10 2.04 2.01 3/183 31060 /proc/meminfo: memFree=29044860/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=39052 CPUtime=3.09 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 10596 0 0 0 308 1 0 0 25 0 1 0 26226145 39989248 8645 4089446400 4194304 10345943 140735094386416 18446744073709551615 6777432 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/31059/statm: 9763 8645 761 1502 0 8256 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39052 [startup+6.30099 s] /proc/loadavg: 2.10 2.04 2.01 3/183 31060 /proc/meminfo: memFree=29043724/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=41740 CPUtime=6.29 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 14602 0 0 0 626 3 0 0 25 0 1 0 26226145 42741760 9211 4089446400 4194304 10345943 140735094386416 18446744073709551615 8159976 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 10435 9211 761 1502 0 8928 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41740 [startup+12.7008 s] /proc/loadavg: 2.08 2.04 2.01 3/183 31060 /proc/meminfo: memFree=29032696/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=52012 CPUtime=12.69 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 19103 0 0 0 1264 5 0 0 25 0 1 0 26226145 53260288 11583 4089446400 4194304 10345943 140735094386416 18446744073709551615 8160410 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 13003 11583 765 1502 0 11496 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52012 [startup+25.5005 s] /proc/loadavg: 1.99 2.02 2.00 2/175 31081 /proc/meminfo: memFree=29975560/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=71812 CPUtime=25.49 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 26071 0 0 0 2541 8 0 0 25 0 1 0 26226145 73535488 16463 4089446400 4194304 10345943 140735094386416 18446744073709551615 4454064 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 17953 16463 765 1502 0 16446 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71812 [startup+51.1008 s] /proc/loadavg: 1.65 1.94 1.97 2/175 31082 /proc/meminfo: memFree=29937180/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=113416 CPUtime=51.09 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 38475 0 0 0 5095 14 0 0 25 0 1 0 26226145 116137984 26723 4089446400 4194304 10345943 140735094386416 18446744073709551615 6551108 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 28354 26723 765 1502 0 26847 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 113416 [startup+102.306 s] /proc/loadavg: 1.36 1.81 1.93 2/175 31083 /proc/meminfo: memFree=29854256/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=195636 CPUtime=102.29 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 60866 0 0 0 10204 25 0 0 25 0 1 0 26226145 200331264 47005 4089446400 4194304 10345943 140735094386416 18446744073709551615 5926545 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 48909 47005 765 1502 0 47402 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 195636 [startup+162.301 s] /proc/loadavg: 1.13 1.66 1.86 2/175 31085 /proc/meminfo: memFree=29791208/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=258724 CPUtime=162.29 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 175841 0 0 0 16179 50 0 0 25 0 1 0 26226145 264933376 62812 4089446400 4194304 10345943 140735094386416 18446744073709551615 6558576 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 64681 62812 765 1502 0 63174 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 258724 [startup+222.301 s] /proc/loadavg: 1.05 1.54 1.81 2/175 31087 /proc/meminfo: memFree=29756652/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=295112 CPUtime=222.29 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 387103 0 0 0 22143 86 0 0 25 0 1 0 26226145 302194688 71308 4089446400 4194304 10345943 140735094386416 18446744073709551615 7573840 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 73778 71308 765 1502 0 72271 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 295112 [startup+282.301 s] /proc/loadavg: 1.02 1.44 1.75 2/175 31089 /proc/meminfo: memFree=29717160/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=335084 CPUtime=282.29 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 526876 0 0 0 28114 115 0 0 25 0 1 0 26226145 343126016 81069 4089446400 4194304 10345943 140735094386416 18446744073709551615 6557522 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 83771 81069 765 1502 0 82264 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 335084 [startup+342.301 s] /proc/loadavg: 1.00 1.35 1.70 2/175 31090 /proc/meminfo: memFree=29688208/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=367908 CPUtime=342.29 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 644691 0 0 0 34089 140 0 0 25 0 1 0 26226145 376737792 88246 4089446400 4194304 10345943 140735094386416 18446744073709551615 6119887 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 91977 88246 765 1502 0 90470 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 367908 [startup+402.301 s] /proc/loadavg: 1.00 1.29 1.66 2/175 31091 /proc/meminfo: memFree=29645248/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=419580 CPUtime=402.29 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 713474 0 0 0 40068 161 0 0 25 0 1 0 26226145 429649920 99209 4089446400 4194304 10345943 140735094386416 18446744073709551615 4688038 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 104895 99209 765 1502 0 103388 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 419580 [startup+462.301 s] /proc/loadavg: 1.00 1.23 1.61 2/175 31093 /proc/meminfo: memFree=29600280/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=474460 CPUtime=462.29 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 807263 0 0 0 46045 184 0 0 25 0 1 0 26226145 485847040 110391 4089446400 4194304 10345943 140735094386416 18446744073709551615 5031099 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 118615 110391 765 1502 0 117108 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 474460 Solver just ended. Dumping a history of the last processes samples [startup+473.501 s] /proc/loadavg: 1.00 1.22 1.61 2/175 31093 /proc/meminfo: memFree=29585884/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=491396 CPUtime=473.49 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 827803 0 0 0 47160 189 0 0 25 0 1 0 26226145 503189504 113924 4089446400 4194304 10345943 140735094386416 18446744073709551615 6802919 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 122849 113924 765 1502 0 121342 0 Current children cumulated CPU time (s) 473.49 Current children cumulated vsize (KiB) 491396 [startup+486.301 s] /proc/loadavg: 1.00 1.21 1.60 2/175 31094 /proc/meminfo: memFree=29580048/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=496748 CPUtime=486.29 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 851644 0 0 0 48435 194 0 0 25 0 1 0 26226145 508669952 115217 4089446400 4194304 10345943 140735094386416 18446744073709551615 6864970 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 124187 115217 765 1502 0 122680 0 Current children cumulated CPU time (s) 486.29 Current children cumulated vsize (KiB) 496748 [startup+489.506 s] /proc/loadavg: 1.00 1.21 1.60 2/175 31094 /proc/meminfo: memFree=29579180/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=498364 CPUtime=489.49 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 857087 0 0 0 48754 195 0 0 25 0 1 0 26226145 510324736 115459 4089446400 4194304 10345943 140735094386416 18446744073709551615 6190008 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 124591 115459 765 1502 0 123084 0 Current children cumulated CPU time (s) 489.49 Current children cumulated vsize (KiB) 498364 [startup+491.101 s] /proc/loadavg: 1.00 1.21 1.60 2/175 31094 /proc/meminfo: memFree=29578808/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=497604 CPUtime=491.09 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 863473 0 0 0 48912 197 0 0 25 0 1 0 26226145 509546496 115536 4089446400 4194304 10345943 140735094386416 18446744073709551615 6558533 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 124401 115536 766 1502 0 122894 0 Current children cumulated CPU time (s) 491.09 Current children cumulated vsize (KiB) 497604 [startup+492.7 s] /proc/loadavg: 1.00 1.21 1.59 2/175 31094 /proc/meminfo: memFree=29578312/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=498804 CPUtime=492.69 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 865586 0 0 0 49072 197 0 0 25 0 1 0 26226145 510775296 115625 4089446400 4194304 10345943 140735094386416 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 124701 115625 766 1502 0 123194 0 Current children cumulated CPU time (s) 492.69 Current children cumulated vsize (KiB) 498804 [startup+493.1 s] /proc/loadavg: 1.00 1.21 1.59 2/175 31094 /proc/meminfo: memFree=29578312/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=499624 CPUtime=493.09 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 867714 0 0 0 49111 198 0 0 25 0 1 0 26226145 511614976 115666 4089446400 4194304 10345943 140735094386416 18446744073709551615 6308176 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/31059/statm: 124906 115666 766 1502 0 123399 0 Current children cumulated CPU time (s) 493.09 Current children cumulated vsize (KiB) 499624 [startup+493.3 s] /proc/loadavg: 1.00 1.21 1.59 2/175 31094 /proc/meminfo: memFree=29578312/32951124 swapFree=67111528/67111528 [pid=31059] ppid=31057 vsize=499624 CPUtime=493.29 /proc/31059/stat : 31059 (pbscip.linux.x8) R 31057 31059 30491 0 -1 4202496 867727 0 0 0 49131 198 0 0 25 0 1 0 26226145 511614976 115679 4089446400 4194304 10345943 140735094386416 18446744073709551615 4534319 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/31059/statm: 124906 115679 767 1502 0 123399 0 Current children cumulated CPU time (s) 493.29 Current children cumulated vsize (KiB) 499624 Child status: 0 Real time (s): 493.328 CPU time (s): 493.324 CPU user time (s): 491.321 CPU system time (s): 2.00269 CPU usage (%): 99.9992 Max. virtual memory (cumulated for all children) (KiB): 502988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 491.321 system time used= 2.0027 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 867733 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 760 runsolver used 0.740887 second user time and 1.53977 second system time The end
Begin job on node134 at 2010-07-08 11:08:48 IDJOB=2705752 IDBENCH=79416 IDSOLVER=1214 FILE ID=node134/2705752-1278580128 PBS_JOBID= 11240186 Free space on /tmp= 73704 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-jnh209_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-2705752-1278580128/watcher-2705752-1278580128 -o /tmp/evaluation-result-2705752-1278580128/solver-2705752-1278580128 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705752-1278580128.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9631dbe60bb4b54b94c0583eca7044d2 RANDOM SEED=471054735 node134.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.801 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.60 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.801 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.801 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.801 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.83 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.801 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.66 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.801 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.83 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.801 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.74 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.801 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29078244 kB Buffers: 169656 kB Cached: 2534256 kB SwapCached: 0 kB Active: 2293084 kB Inactive: 1418396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29078244 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12812 kB Writeback: 0 kB AnonPages: 1007764 kB Mapped: 17584 kB Slab: 96036 kB PageTables: 6620 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1155600 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73704 MiB End job on node134 at 2010-07-08 11:17:02