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 | 888.68 | 888.65 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh306_wcsp.wbo |
| MD5SUM | 066a913179e37120802f974ea952f3b3 |
| 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 | 16 |
| Best CPU time to get the best result obtained on this benchmark | 0.014996 |
| 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 | 1000 |
| Number of soft constraints | 900 |
| Number of constraints which are clauses | 900 |
| 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 | 444855 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 444854 |
| 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-2705751-1278580128.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 900 impl, 0 cont) and 1901 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.01/0.02 c presolving:
0.01/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.01/0.03 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.01/0.06 c (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.06 c presolving (3 rounds):
0.01/0.06 c 100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.06 c 2000 implications, 0 cliques
0.01/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 900 impl, 0 cont) and 1800 constraints
0.01/0.06 c 900 constraints of type <linear>
0.01/0.06 c 900 constraints of type <indicator>
0.01/0.06 c transformed objective value is always integral (scale: 1)
0.01/0.06 c Presolving Time: 0.04
0.01/0.06 c - non default parameters ----------------------------------------------------------------------
0.01/0.06 c # SCIP version 1.2.1.3
0.01/0.06 c
0.01/0.06 c # frequency for displaying node information lines
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.06 c display/freq = 10000
0.01/0.06 c
0.01/0.06 c # maximal time in seconds to run
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/time = 1789.99
0.01/0.06 c
0.01/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/memory = 3420
0.01/0.06 c
0.01/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.06 c # [type: int, range: [1,2], default: 1]
0.01/0.06 c timing/clocktype = 2
0.01/0.06 c
0.01/0.06 c # should presolving try to simplify inequalities
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.06 c constraints/linear/simplifyinequalities = TRUE
0.01/0.06 c
0.01/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.06 c constraints/indicator/addCouplingCons = TRUE
0.01/0.06 c
0.01/0.06 c # should presolving try to simplify knapsacks
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.06 c
0.01/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c separating/rapidlearning/freq = 0
0.01/0.06 c
0.01/0.06 c -----------------------------------------------------------------------------------------------
0.01/0.06 c start solving
0.01/0.06 c
0.01/0.06 o 444854
0.01/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.06 c t 0.0s| 1 | 0 | 0 | - |6626k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.01/0.06 c 0.0s| 1 | 0 | 0 | - |7048k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 46 | - |7118k| 0 | 0 |1900 |1800 |1900 | 77 | 77 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 153 | - |7142k| 0 | 64 |1900 |1800 |1900 | 122 | 122 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 219 | - |7517k| 0 | 63 |1900 |1800 |1900 | 159 | 159 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.16 c 0.2s| 1 | 0 | 295 | - |7562k| 0 | 61 |1900 |1800 |1900 | 182 | 182 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 365 | - |7574k| 0 | 66 |1900 |1800 |1900 | 190 | 190 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 429 | - |7588k| 0 | 57 |1900 |1800 |1900 | 198 | 198 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.39/0.41 c 0.4s| 1 | 2 | 429 | - |7613k| 0 | 57 |1900 |1800 |1900 | 198 | 198 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
8.99/9.07 c 9.1s| 10000 | 9993 | 19197 | 1.9 | 19M| 749 | 0 |1900 |1809 |1900 | 250 |1715 | 9 | 735 | 0.000000e+00 | 4.448540e+05 | Inf
15.89/15.97 c 16.0s| 20000 | 19981 | 27922 | 1.4 | 30M| 749 | 0 |1900 |1816 |1900 | 235 |2856 | 16 | 749 | 0.000000e+00 | 4.448540e+05 | Inf
22.59/22.68 c 22.7s| 30000 | 29972 | 33559 | 1.1 | 40M| 749 | 0 |1900 |1822 |1900 | 253 |3816 | 22 | 750 | 0.000000e+00 | 4.448540e+05 | Inf
29.19/29.29 c 29.3s| 40000 | 39962 | 39025 | 1.0 | 50M| 749 | 0 |1900 |1827 |1900 | 234 |4586 | 27 | 750 | 0.000000e+00 | 4.448540e+05 | Inf
35.79/35.81 c 35.8s| 50000 | 49960 | 43588 | 0.9 | 60M| 749 | 0 |1900 |1828 |1900 | 234 |5251 | 28 | 754 | 0.000000e+00 | 4.448540e+05 | Inf
42.29/42.33 c 42.3s| 60000 | 59954 | 48150 | 0.8 | 70M| 749 | 0 |1900 |1832 |1900 | 227 |6032 | 32 | 754 | 0.000000e+00 | 4.448540e+05 | Inf
48.70/48.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.70/48.77 c 48.8s| 70000 | 69952 | 52054 | 0.7 | 80M| 749 | 0 |1900 |1833 |1900 | 231 |6720 | 33 | 756 | 0.000000e+00 | 4.448540e+05 | Inf
55.29/55.31 c 55.3s| 80000 | 79948 | 56811 | 0.7 | 89M| 749 | 0 |1900 |1835 |1900 | 231 |7489 | 35 | 758 | 0.000000e+00 | 4.448540e+05 | Inf
61.70/61.74 c 61.7s| 90000 | 89946 | 60654 | 0.7 | 99M| 749 | 0 |1900 |1835 |1900 | 234 |8039 | 35 | 758 | 0.000000e+00 | 4.448540e+05 | Inf
68.10/68.15 c 68.1s|100000 | 99946 | 64120 | 0.6 | 109M| 749 | 0 |1900 |1835 |1900 | 225 |8559 | 35 | 758 | 0.000000e+00 | 4.448540e+05 | Inf
74.59/74.67 c 74.7s|110000 |109946 | 68018 | 0.6 | 119M| 749 | 0 |1900 |1835 |1900 | 230 |9232 | 35 | 758 | 0.000000e+00 | 4.448540e+05 | Inf
81.09/81.17 c 81.2s|120000 |119942 | 71794 | 0.6 | 129M| 749 | 0 |1900 |1837 |1900 | 241 |9835 | 37 | 758 | 0.000000e+00 | 4.448540e+05 | Inf
87.50/87.51 c 87.5s|130000 |129940 | 74747 | 0.6 | 139M| 749 | 0 |1900 |1838 |1900 | 236 | 10k| 38 | 758 | 0.000000e+00 | 4.448540e+05 | Inf
93.80/93.89 c 93.9s|140000 |139938 | 78077 | 0.6 | 149M| 749 | 0 |1900 |1838 |1900 | 221 | 10k| 39 | 758 | 0.000000e+00 | 4.448540e+05 | Inf
100.20/100.23 c 100s|150000 |149936 | 81332 | 0.5 | 159M| 749 | 0 |1900 |1837 |1900 | 224 | 11k| 39 | 758 | 0.000000e+00 | 4.448540e+05 | Inf
106.60/106.60 c 107s|160000 |159934 | 84488 | 0.5 | 169M| 749 | 0 |1900 |1838 |1900 | 231 | 11k| 41 | 758 | 0.000000e+00 | 4.448540e+05 | Inf
112.89/112.99 c 113s|170000 |169934 | 87478 | 0.5 | 178M| 749 | 0 |1900 |1838 |1900 | 231 | 12k| 41 | 758 | 0.000000e+00 | 4.448540e+05 | Inf
119.29/119.38 c 119s|180000 |179932 | 90806 | 0.5 | 188M| 749 | 0 |1900 |1838 |1900 | 238 | 12k| 41 | 760 | 0.000000e+00 | 4.448540e+05 | Inf
125.69/125.72 c 126s|190000 |189932 | 93684 | 0.5 | 198M| 749 | 0 |1900 |1835 |1900 | 240 | 13k| 41 | 760 | 0.000000e+00 | 4.448540e+05 | Inf
132.00/132.09 c 132s|200000 |199932 | 96925 | 0.5 | 208M| 749 | 0 |1900 |1835 |1900 | 218 | 13k| 41 | 760 | 0.000000e+00 | 4.448540e+05 | Inf
138.40/138.43 c 138s|210000 |209930 |100023 | 0.5 | 218M| 749 | 0 |1900 |1833 |1900 | 248 | 14k| 42 | 760 | 0.000000e+00 | 4.448540e+05 | Inf
144.70/144.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.70/144.78 c 145s|220000 |219930 |102828 | 0.5 | 228M| 749 | 0 |1900 |1831 |1900 | 243 | 14k| 42 | 761 | 0.000000e+00 | 4.448540e+05 | Inf
151.10/151.11 c 151s|230000 |229930 |105820 | 0.5 | 238M| 749 | 0 |1900 |1829 |1900 | 248 | 15k| 42 | 761 | 0.000000e+00 | 4.448540e+05 | Inf
155.30/155.30 o 14359
155.30/155.30 c * 155s|236705 |193997 |107787 | 0.5 | 205M| 749 | - |1900 |1830 |1900 | 262 | 15k| 44 | 762 | 0.000000e+00 | 1.435900e+04 | Inf
157.70/157.72 c 158s|240000 |197283 |110052 | 0.5 | 208M| 749 | 0 |1900 |1878 |1900 | 250 | 15k| 94 | 762 | 0.000000e+00 | 1.435900e+04 | Inf
163.00/163.05 o 14224
163.00/163.05 c * 163s|247362 |201894 |114272 | 0.5 | 213M| 749 | - |1900 |1989 |1900 | 265 | 16k| 206 | 762 | 0.000000e+00 | 1.422400e+04 | Inf
164.90/164.95 c 165s|250000 |204393 |115570 | 0.5 | 216M| 749 | 0 |1900 |2575 |1900 | 210 | 16k| 809 | 763 | 0.000000e+00 | 1.422400e+04 | Inf
167.29/167.30 o 14081
167.29/167.30 c * 167s|253240 |204356 |117772 | 0.5 | 218M| 749 | - |1900 |3842 |1900 | 212 | 16k|2112 | 763 | 0.000000e+00 | 1.408100e+04 | Inf
167.29/167.39 o 14051
167.29/167.39 c * 167s|253349 |203767 |117945 | 0.5 | 218M| 749 | - |1900 |3848 |1900 | 214 | 16k|2120 | 763 | 0.000000e+00 | 1.405100e+04 | Inf
167.50/167.58 o 13696
167.50/167.58 c * 168s|253568 |196183 |118251 | 0.5 | 210M| 749 | - |1900 |3890 |1900 | 216 | 16k|2169 | 763 | 0.000000e+00 | 1.369600e+04 | Inf
169.00/169.05 o 13470
169.00/169.05 c * 169s|255482 |193232 |119900 | 0.5 | 208M| 749 | - |1900 |4574 |1900 | 242 | 16k|2930 | 763 | 0.000000e+00 | 1.347000e+04 | Inf
170.90/170.92 o 13380
170.90/170.92 c * 171s|257970 |193692 |121277 | 0.5 | 210M| 749 | - |1900 |5331 |1900 | 227 | 16k|3847 | 763 | 0.000000e+00 | 1.338000e+04 | Inf
170.90/170.93 o 13218
170.90/170.93 c * 171s|257971 |190428 |121280 | 0.5 | 206M| 749 | - |1900 |5331 |1900 | 227 | 16k|3847 | 763 | 0.000000e+00 | 1.321800e+04 | Inf
170.90/170.98 o 12967
170.90/170.98 c * 171s|258022 |185583 |121366 | 0.5 | 201M| 749 | - |1900 |5331 |1900 | 221 | 16k|3847 | 763 | 0.000000e+00 | 1.296700e+04 | Inf
171.00/171.00 o 12801
171.00/171.00 c * 171s|258037 |182229 |121424 | 0.5 | 197M| 749 | - |1900 |5341 |1900 | 225 | 16k|3857 | 763 | 0.000000e+00 | 1.280100e+04 | Inf
171.00/171.02 o 12660
171.00/171.02 c * 171s|258039 |179479 |121462 | 0.5 | 194M| 749 | - |1900 |5341 |1900 | 227 | 16k|3857 | 763 | 0.000000e+00 | 1.266000e+04 | Inf
171.00/171.03 o 12450
171.00/171.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.00/171.03 c * 171s|258040 |174993 |121484 | 0.5 | 190M| 749 | - |1900 |5341 |1900 | 227 | 16k|3857 | 763 | 0.000000e+00 | 1.245000e+04 | Inf
171.10/171.11 o 12383
171.10/171.11 c * 171s|258136 |173593 |121596 | 0.5 | 189M| 749 | - |1900 |5375 |1900 | 223 | 16k|3897 | 763 | 0.000000e+00 | 1.238300e+04 | Inf
171.10/171.18 o 12110
171.10/171.18 c * 171s|258202 |167476 |121636 | 0.5 | 183M| 749 | - |1900 |5370 |1900 | 224 | 16k|3897 | 763 | 0.000000e+00 | 1.211000e+04 | Inf
171.20/171.22 o 12067
171.20/171.22 c * 171s|258259 |166650 |121701 | 0.5 | 182M| 749 | - |1900 |5374 |1900 | 223 | 16k|3907 | 763 | 0.000000e+00 | 1.206700e+04 | Inf
171.20/171.23 o 11926
171.20/171.23 c * 171s|258260 |163554 |121710 | 0.5 | 179M| 749 | - |1900 |5374 |1900 | 223 | 16k|3907 | 763 | 0.000000e+00 | 1.192600e+04 | Inf
171.30/171.31 o 11878
171.30/171.31 c * 171s|258354 |162528 |121854 | 0.5 | 178M| 749 | - |1900 |5408 |1900 | 221 | 16k|3947 | 763 | 0.000000e+00 | 1.187800e+04 | Inf
171.30/171.33 o 11785
171.30/171.33 c * 171s|258358 |160411 |121893 | 0.5 | 176M| 749 | - |1900 |5407 |1900 | 221 | 16k|3947 | 763 | 0.000000e+00 | 1.178500e+04 | Inf
171.30/171.35 o 11733
171.30/171.35 c * 171s|258364 |159235 |121940 | 0.5 | 175M| 749 | - |1900 |5406 |1900 | 227 | 16k|3947 | 763 | 0.000000e+00 | 1.173300e+04 | Inf
171.30/171.35 o 11721
171.30/171.35 c * 171s|258365 |158967 |121947 | 0.5 | 174M| 749 | - |1900 |5406 |1900 | 227 | 16k|3947 | 763 | 0.000000e+00 | 1.172100e+04 | Inf
171.50/171.59 o 11701
171.50/171.59 c * 172s|258660 |158807 |122186 | 0.5 | 175M| 749 | - |1900 |5533 |1900 | 204 | 17k|4106 | 763 | 0.000000e+00 | 1.170100e+04 | Inf
171.60/171.65 o 11518
171.60/171.65 c * 172s|258730 |154845 |122323 | 0.5 | 170M| 749 | - |1900 |5559 |1900 | 204 | 17k|4136 | 763 | 0.000000e+00 | 1.151800e+04 | Inf
171.90/171.90 o 11209
171.90/171.90 c * 172s|259040 |148588 |122699 | 0.5 | 164M| 749 | - |1900 |5615 |1900 | 219 | 17k|4238 | 763 | 0.000000e+00 | 1.120900e+04 | Inf
172.40/172.40 o 11052
172.40/172.40 c * 172s|259662 |145694 |123184 | 0.5 | 162M| 749 | - |1900 |5858 |1900 | 224 | 17k|4565 | 763 | 0.000000e+00 | 1.105200e+04 | Inf
172.40/172.49 o 10869
172.40/172.49 c * 172s|259767 |141664 |123293 | 0.5 | 158M| 749 | - |1900 |5881 |1900 | 225 | 17k|4593 | 763 | 0.000000e+00 | 1.086900e+04 | Inf
172.50/172.55 o 10667
172.50/172.55 c * 173s|259830 |137277 |123360 | 0.5 | 153M| 749 | - |1900 |5896 |1900 | 225 | 17k|4616 | 763 | 0.000000e+00 | 1.066700e+04 | Inf
172.60/172.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.60/172.69 c 173s|260000 |137437 |123781 | 0.5 | 154M| 749 | 0 |1900 |5893 |1900 | 210 | 17k|4659 | 767 | 0.000000e+00 | 1.066700e+04 | Inf
180.49/180.57 c 181s|270000 |146421 |140026 | 0.5 | 164M| 749 | 0 |1900 |4883 |1900 | 223 | 19k|8846 | 782 | 0.000000e+00 | 1.066700e+04 | Inf
181.10/181.15 o 10615
181.10/181.15 c * 181s|270759 |145944 |141284 | 0.5 | 164M| 749 | - |1900 |4976 |1900 | 229 | 19k|9123 | 782 | 0.000000e+00 | 1.061500e+04 | Inf
182.10/182.16 o 10559
182.10/182.16 c * 182s|272002 |145831 |142797 | 0.5 | 164M| 749 | - |1900 |4998 |1900 | 225 | 19k|9613 | 782 | 0.000000e+00 | 1.055900e+04 | Inf
182.10/182.17 o 10387
182.10/182.17 c * 182s|272003 |141942 |142799 | 0.5 | 161M| 749 | - |1900 |4998 |1900 | 225 | 19k|9613 | 782 | 0.000000e+00 | 1.038700e+04 | Inf
183.10/183.12 o 10373
183.10/183.12 c * 183s|273174 |142713 |143970 | 0.5 | 162M| 749 | - |1900 |5063 |1900 | 222 | 19k| 10k| 782 | 0.000000e+00 | 1.037300e+04 | Inf
185.60/185.62 o 10273
185.60/185.62 c * 186s|276230 |143159 |147221 | 0.5 | 163M| 749 | - |1900 |5520 |1900 | 222 | 19k| 11k| 782 | 0.000000e+00 | 1.027300e+04 | Inf
185.60/185.63 o 10093
185.60/185.63 c * 186s|276231 |139337 |147226 | 0.5 | 159M| 749 | - |1900 |5520 |1900 | 222 | 19k| 11k| 782 | 0.000000e+00 | 1.009300e+04 | Inf
186.59/186.63 o 10088
186.59/186.63 c * 187s|277315 |140115 |148803 | 0.5 | 161M| 749 | - |1900 |5685 |1900 | 227 | 20k| 12k| 782 | 0.000000e+00 | 1.008800e+04 | Inf
187.00/187.08 o 9893
187.00/187.08 c * 187s|277859 |136240 |149305 | 0.5 | 156M| 749 | - |1900 |5561 |1900 | 233 | 20k| 12k| 782 | 0.000000e+00 | 9.893000e+03 | Inf
188.80/188.84 c 189s|280000 |138085 |151308 | 0.5 | 159M| 749 | 0 |1900 |5186 |1900 | 219 | 20k| 13k| 782 | 0.000000e+00 | 9.893000e+03 | Inf
193.50/193.59 o 9814
193.50/193.59 c * 194s|285898 |141449 |156939 | 0.5 | 164M| 749 | - |1900 |5066 |1900 | 210 | 21k| 16k| 782 | 0.000000e+00 | 9.814000e+03 | Inf
193.50/193.60 o 9623
193.50/193.60 c * 194s|285900 |137094 |156950 | 0.5 | 159M| 749 | - |1900 |5066 |1900 | 211 | 21k| 16k| 782 | 0.000000e+00 | 9.623000e+03 | Inf
196.70/196.77 c 197s|290000 |140716 |160217 | 0.6 | 163M| 749 | 0 |1900 |4804 |1900 | 223 | 21k| 18k| 782 | 0.000000e+00 | 9.623000e+03 | Inf
199.39/199.46 o 9606
199.39/199.46 c * 199s|293512 |143416 |162898 | 0.6 | 167M| 749 | - |1900 |4598 |1900 | 230 | 21k| 19k| 782 | 0.000000e+00 | 9.606000e+03 | Inf
199.39/199.47 o 9461
199.39/199.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.39/199.47 c * 199s|293513 |139987 |162902 | 0.6 | 163M| 749 | - |1900 |4598 |1900 | 230 | 21k| 19k| 782 | 0.000000e+00 | 9.461000e+03 | Inf
200.49/200.51 o 9358
200.49/200.51 c * 201s|294836 |138738 |164220 | 0.6 | 161M| 749 | - |1900 |4595 |1900 | 236 | 21k| 20k| 782 | 0.000000e+00 | 9.358000e+03 | Inf
200.80/200.86 o 9243
200.80/200.86 c * 201s|295253 |136467 |164810 | 0.6 | 159M| 749 | - |1900 |4737 |1900 | 226 | 21k| 20k| 782 | 0.000000e+00 | 9.243000e+03 | Inf
200.90/200.92 o 9095
200.90/200.92 c * 201s|295317 |133256 |165013 | 0.6 | 154M| 749 | - |1900 |4758 |1900 | 231 | 21k| 20k| 782 | 0.000000e+00 | 9.095000e+03 | Inf
200.90/200.93 o 9009
200.90/200.93 c * 201s|295318 |131273 |165014 | 0.6 | 152M| 749 | - |1900 |4758 |1900 | 231 | 21k| 20k| 782 | 0.000000e+00 | 9.009000e+03 | Inf
202.60/202.62 o 8792
202.60/202.62 c * 203s|297381 |128432 |167641 | 0.6 | 148M| 749 | - |1900 |4560 |1900 | 218 | 22k| 21k| 782 | 0.000000e+00 | 8.792000e+03 | Inf
204.70/204.77 c 205s|300000 |130714 |170706 | 0.6 | 151M| 749 | 0 |1900 |3802 |1900 | 206 | 22k| 22k| 782 | 0.000000e+00 | 8.792000e+03 | Inf
204.90/204.99 o 8744
204.90/204.99 c * 205s|300267 |129995 |171035 | 0.6 | 150M| 749 | - |1900 |3742 |1900 | 233 | 22k| 22k| 782 | 0.000000e+00 | 8.744000e+03 | Inf
205.00/205.00 o 8669
205.00/205.00 c * 205s|300268 |128313 |171038 | 0.6 | 148M| 749 | - |1900 |3742 |1900 | 233 | 22k| 22k| 782 | 0.000000e+00 | 8.669000e+03 | Inf
209.01/209.03 o 8663
209.01/209.03 c * 209s|305273 |132483 |176920 | 0.6 | 154M| 749 | - |1900 |3722 |1900 | 211 | 23k| 24k| 789 | 0.000000e+00 | 8.663000e+03 | Inf
209.01/209.04 o 8656
209.01/209.04 c * 209s|305274 |132351 |176934 | 0.6 | 154M| 749 | - |1900 |3722 |1900 | 211 | 23k| 24k| 789 | 0.000000e+00 | 8.656000e+03 | Inf
212.80/212.82 c 213s|310000 |136393 |181789 | 0.6 | 159M| 749 | 0 |1900 |4089 |1900 | 219 | 24k| 26k| 790 | 0.000000e+00 | 8.656000e+03 | Inf
220.90/220.99 c 221s|320000 |145199 |196536 | 0.6 | 171M| 749 | 0 |1900 |3917 |1900 | 213 | 25k| 30k| 804 | 0.000000e+00 | 8.656000e+03 | Inf
229.00/229.00 c 229s|330000 |153932 |210263 | 0.6 | 183M| 749 | 0 |1900 |4260 |1900 | 219 | 27k| 34k| 821 | 0.000000e+00 | 8.656000e+03 | Inf
236.99/237.02 c 237s|340000 |162648 |223015 | 0.7 | 194M| 749 | 0 |1900 |4143 |1900 | 202 | 28k| 38k| 840 | 0.000000e+00 | 8.656000e+03 | Inf
245.00/245.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.00/245.06 c 245s|350000 |171433 |237189 | 0.7 | 206M| 749 | 0 |1900 |3932 |1900 | 218 | 30k| 41k| 874 | 0.000000e+00 | 8.656000e+03 | Inf
246.20/246.22 o 8603
246.20/246.22 c * 246s|351478 |171524 |238660 | 0.7 | 206M| 749 | - |1900 |3990 |1900 | 217 | 30k| 42k| 874 | 0.000000e+00 | 8.603000e+03 | Inf
246.31/246.38 o 8499
246.31/246.38 c * 246s|351656 |169233 |239127 | 0.7 | 204M| 749 | - |1900 |4000 |1900 | 241 | 30k| 42k| 876 | 0.000000e+00 | 8.499000e+03 | Inf
246.31/246.39 o 8413
246.31/246.39 c * 246s|351657 |167123 |239128 | 0.7 | 201M| 749 | - |1900 |4000 |1900 | 241 | 30k| 42k| 876 | 0.000000e+00 | 8.413000e+03 | Inf
247.69/247.75 o 8229
247.69/247.75 c * 248s|353276 |164020 |241053 | 0.7 | 198M| 749 | - |1900 |4060 |1900 | 219 | 30k| 42k| 893 | 0.000000e+00 | 8.229000e+03 | Inf
248.50/248.51 o 8184
248.50/248.51 c * 248s|354088 |163565 |242629 | 0.7 | 197M| 749 | - |1900 |4051 |1900 | 223 | 31k| 43k| 899 | 0.000000e+00 | 8.184000e+03 | Inf
248.50/248.52 o 8170
248.50/248.52 c * 249s|354089 |163228 |242637 | 0.7 | 197M| 749 | - |1900 |4051 |1900 | 223 | 31k| 43k| 899 | 0.000000e+00 | 8.170000e+03 | Inf
253.30/253.31 c 253s|360000 |168445 |250212 | 0.7 | 204M| 749 | 0 |1900 |4002 |1900 | 220 | 31k| 45k| 921 | 0.000000e+00 | 8.170000e+03 | Inf
261.00/261.08 o 8158
261.00/261.08 c * 261s|369463 |176283 |262554 | 0.7 | 216M| 749 | - |1900 |4301 |1900 | 210 | 33k| 49k| 943 | 0.000000e+00 | 8.158000e+03 | Inf
261.50/261.53 c 262s|370000 |176754 |263535 | 0.7 | 216M| 749 | 0 |1900 |4257 |1900 | 204 | 33k| 49k| 943 | 0.000000e+00 | 8.158000e+03 | Inf
268.31/268.35 o 8113
268.31/268.35 c * 268s|378296 |182723 |274756 | 0.7 | 225M| 749 | - |1900 |4141 |1900 | 226 | 34k| 53k| 981 | 0.000000e+00 | 8.113000e+03 | Inf
269.71/269.73 c 270s|380000 |184188 |277019 | 0.7 | 227M| 749 | 0 |1900 |4404 |1900 | 210 | 35k| 53k| 983 | 0.000000e+00 | 8.113000e+03 | Inf
271.60/271.67 o 8027
271.60/271.67 c * 272s|382406 |184042 |279850 | 0.7 | 228M| 749 | - |1900 |4213 |1900 | 211 | 35k| 54k| 990 | 0.000000e+00 | 8.027000e+03 | Inf
272.00/272.08 o 7937
272.00/272.08 c * 272s|382889 |182145 |280449 | 0.7 | 225M| 749 | - |1900 |4265 |1900 | 213 | 35k| 55k| 990 | 0.000000e+00 | 7.937000e+03 | Inf
272.00/272.09 o 7792
272.00/272.09 c * 272s|382890 |178401 |280456 | 0.7 | 219M| 749 | - |1900 |4265 |1900 | 213 | 35k| 55k| 990 | 0.000000e+00 | 7.792000e+03 | Inf
277.00/277.03 o 7755
277.00/277.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
277.00/277.03 c * 277s|388999 |182545 |286546 | 0.7 | 224M| 749 | - |1900 |4718 |1900 | 208 | 36k| 57k| 997 | 0.000000e+00 | 7.755000e+03 | Inf
277.80/277.90 c 278s|390000 |183392 |288339 | 0.7 | 226M| 749 | 0 |1900 |4730 |1900 | 221 | 36k| 58k|1000 | 0.000000e+00 | 7.755000e+03 | Inf
279.31/279.34 o 7732
279.31/279.34 c * 279s|391709 |184236 |290449 | 0.7 | 227M| 749 | - |1900 |4894 |1900 | 213 | 36k| 59k|1009 | 0.000000e+00 | 7.732000e+03 | Inf
279.31/279.36 o 7668
279.31/279.36 c * 279s|391712 |182494 |290536 | 0.7 | 223M| 749 | - |1900 |4894 |1900 | 221 | 36k| 59k|1009 | 0.000000e+00 | 7.668000e+03 | Inf
279.31/279.37 o 7601
279.31/279.37 c * 279s|391713 |180630 |290538 | 0.7 | 219M| 749 | - |1900 |4894 |1900 | 221 | 36k| 59k|1009 | 0.000000e+00 | 7.601000e+03 | Inf
281.60/281.69 o 7574
281.60/281.69 c * 282s|394421 |182108 |293565 | 0.7 | 222M| 749 | - |1900 |4964 |1900 | 211 | 36k| 60k|1015 | 0.000000e+00 | 7.574000e+03 | Inf
286.30/286.36 c 286s|400000 |186850 |300994 | 0.8 | 229M| 749 | 0 |1900 |4549 |1900 | 223 | 37k| 62k|1043 | 0.000000e+00 | 7.574000e+03 | Inf
286.40/286.42 o 7438
286.40/286.42 c * 286s|400060 |182845 |301096 | 0.8 | 221M| 749 | - |1900 |4572 |1900 | 220 | 37k| 62k|1043 | 0.000000e+00 | 7.438000e+03 | Inf
290.60/290.68 o 7411
290.60/290.68 c * 291s|404876 |186071 |309161 | 0.8 | 226M| 749 | - |1900 |4340 |1900 | 231 | 38k| 64k|1078 | 0.000000e+00 | 7.411000e+03 | Inf
294.81/294.89 c 295s|410000 |190406 |315293 | 0.8 | 232M| 749 | 0 |1900 |4200 |1900 | 226 | 39k| 66k|1093 | 0.000000e+00 | 7.411000e+03 | Inf
295.60/295.60 o 7327
295.60/295.60 c * 296s|410869 |188931 |316126 | 0.8 | 229M| 749 | - |1900 |4248 |1900 | 217 | 39k| 67k|1095 | 0.000000e+00 | 7.327000e+03 | Inf
303.50/303.58 c 304s|420000 |196560 |330167 | 0.8 | 242M| 749 | - |1900 |5065 | 0 | 0 | 41k| 71k|1125 | 0.000000e+00 | 7.327000e+03 | Inf
311.60/311.68 o 7158
311.60/311.68 c * 312s|429257 |199277 |343565 | 0.8 | 244M| 749 | - |1900 |5502 |1900 | 219 | 43k| 76k|1164 | 0.000000e+00 | 7.158000e+03 | Inf
312.31/312.34 c 312s|430000 |199889 |344783 | 0.8 | 245M| 749 | 0 |1900 |5529 |1900 | 215 | 43k| 76k|1165 | 0.000000e+00 | 7.158000e+03 | Inf
317.20/317.25 o 7094
317.20/317.25 c * 317s|435651 |202600 |355009 | 0.8 | 248M| 749 | - |1900 |5227 |1900 | 265 | 45k| 79k|1205 | 0.000000e+00 | 7.094000e+03 | Inf
321.00/321.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.00/321.06 c 321s|440000 |206269 |362445 | 0.8 | 253M| 749 | 0 |1900 |4237 |1900 | 232 | 45k| 80k|1219 | 0.000000e+00 | 7.094000e+03 | Inf
329.90/329.93 c 330s|450000 |214669 |380056 | 0.8 | 267M| 749 | 0 |1900 |5325 |1900 | 217 | 48k| 84k|1256 | 0.000000e+00 | 7.094000e+03 | Inf
338.40/338.50 c 338s|460000 |223064 |394228 | 0.9 | 279M| 749 | 0 |1900 |5225 |1900 | 225 | 50k| 89k|1282 | 0.000000e+00 | 7.094000e+03 | Inf
347.00/347.03 c 347s|470000 |231558 |409898 | 0.9 | 292M| 749 | 0 |1900 |4791 |1900 | 211 | 51k| 92k|1306 | 0.000000e+00 | 7.094000e+03 | Inf
355.50/355.57 c 356s|480000 |239858 |423997 | 0.9 | 304M| 749 | 0 |1900 |5190 |1900 | 219 | 53k| 96k|1343 | 0.000000e+00 | 7.094000e+03 | Inf
359.20/359.23 o 6977
359.20/359.23 c * 359s|484181 |239652 |430917 | 0.9 | 303M| 749 | - |1900 |5267 |1900 | 204 | 54k| 98k|1383 | 0.000000e+00 | 6.977000e+03 | Inf
362.40/362.45 o 6744
362.40/362.45 c * 362s|488017 |234928 |435222 | 0.9 | 295M| 749 | - |1900 |5226 |1900 | 292 | 55k| 100k|1400 | 0.000000e+00 | 6.744000e+03 | Inf
362.40/362.46 o 6660
362.40/362.46 c * 362s|488018 |231985 |435231 | 0.9 | 290M| 749 | - |1900 |5225 |1900 | 292 | 55k| 100k|1400 | 0.000000e+00 | 6.660000e+03 | Inf
364.11/364.20 c 364s|490000 |233666 |438584 | 0.9 | 293M| 749 | 0 |1900 |5202 |1900 | 205 | 55k| 100k|1401 | 0.000000e+00 | 6.660000e+03 | Inf
373.00/373.02 c 373s|500000 |241969 |454486 | 0.9 | 306M| 749 | 0 |1900 |4936 |1900 | 205 | 57k| 105k|1422 | 0.000000e+00 | 6.660000e+03 | Inf
375.01/375.02 o 6619
375.01/375.02 c * 375s|502241 |242427 |457472 | 0.9 | 306M| 749 | - |1900 |5392 |1900 | 214 | 57k| 106k|1432 | 0.000000e+00 | 6.619000e+03 | Inf
375.01/375.02 o 6608
375.01/375.02 c * 375s|502242 |242011 |457474 | 0.9 | 306M| 749 | - |1900 |5392 |1900 | 214 | 57k| 106k|1432 | 0.000000e+00 | 6.608000e+03 | Inf
375.01/375.08 o 6561
375.01/375.08 c * 375s|502303 |240437 |457528 | 0.9 | 302M| 749 | - |1900 |5378 |1900 | 216 | 57k| 106k|1432 | 0.000000e+00 | 6.561000e+03 | Inf
375.01/375.08 o 6550
375.01/375.08 c * 375s|502304 |240078 |457530 | 0.9 | 302M| 749 | - |1900 |5378 |1900 | 216 | 57k| 106k|1432 | 0.000000e+00 | 6.550000e+03 | Inf
381.91/381.94 c 382s|510000 |246523 |470610 | 0.9 | 311M| 749 | 0 |1900 |5147 |1900 | 229 | 59k| 110k|1474 | 0.000000e+00 | 6.550000e+03 | Inf
384.91/384.93 o 6420
384.91/384.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.91/384.93 c * 385s|513428 |244482 |475866 | 0.9 | 306M| 749 | - |1900 |5598 |1900 | 234 | 60k| 111k|1480 | 0.000000e+00 | 6.420000e+03 | Inf
389.31/389.33 o 6298
389.31/389.33 c * 389s|518519 |244107 |483738 | 0.9 | 303M| 749 | - |1900 |5085 |1900 | 226 | 61k| 113k|1483 | 0.000000e+00 | 6.298000e+03 | Inf
389.31/389.34 o 6287
389.31/389.34 c * 389s|518520 |243634 |483740 | 0.9 | 302M| 749 | - |1900 |5085 |1900 | 226 | 61k| 113k|1483 | 0.000000e+00 | 6.287000e+03 | Inf
390.60/390.68 c 391s|520000 |244895 |486153 | 0.9 | 304M| 749 | 0 |1900 |4959 |1900 | 222 | 61k| 114k|1492 | 0.000000e+00 | 6.287000e+03 | Inf
399.91/399.92 c 400s|530000 |253267 |510611 | 1.0 | 317M| 749 | 0 |1900 |4657 |1900 | 221 | 64k| 118k|1562 | 0.000000e+00 | 6.287000e+03 | Inf
403.31/403.34 o 6248
403.31/403.34 c * 403s|533956 |255015 |516076 | 1.0 | 318M| 749 | - |1900 |5047 |1900 | 218 | 64k| 119k|1573 | 0.000000e+00 | 6.248000e+03 | Inf
403.31/403.35 o 6137
403.31/403.35 c * 403s|533957 |250338 |516081 | 1.0 | 308M| 749 | - |1900 |5047 |1900 | 218 | 64k| 119k|1573 | 0.000000e+00 | 6.137000e+03 | Inf
403.71/403.78 o 6123
403.71/403.78 c * 404s|534399 |250109 |517275 | 1.0 | 307M| 749 | - |1900 |5193 |1900 | 218 | 64k| 120k|1577 | 0.000000e+00 | 6.123000e+03 | Inf
404.00/404.04 o 6014
404.00/404.04 c * 404s|534680 |245475 |517762 | 1.0 | 297M| 749 | - |1900 |5210 |1900 | 226 | 64k| 120k|1578 | 0.000000e+00 | 6.014000e+03 | Inf
404.00/404.05 o 5966
404.00/404.05 c * 404s|534681 |243368 |517780 | 1.0 | 293M| 749 | - |1900 |5210 |1900 | 226 | 64k| 120k|1578 | 0.000000e+00 | 5.966000e+03 | Inf
408.51/408.59 o 5654
408.51/408.59 c * 409s|539491 |234102 |529593 | 1.0 | 276M| 749 | - |1900 |5409 |1900 | 228 | 66k| 122k|1603 | 0.000000e+00 | 5.654000e+03 | Inf
409.00/409.06 c 409s|540000 |234527 |530554 | 1.0 | 277M| 749 | 0 |1900 |5377 |1900 | 216 | 66k| 122k|1603 | 0.000000e+00 | 5.654000e+03 | Inf
409.21/409.22 o 5554
409.21/409.22 c * 409s|540123 |230345 |530987 | 1.0 | 269M| 749 | - |1900 |5417 |1900 | 242 | 66k| 122k|1603 | 0.000000e+00 | 5.554000e+03 | Inf
409.21/409.24 o 5479
409.21/409.24 c * 409s|540124 |226992 |530999 | 1.0 | 264M| 749 | - |1900 |5415 |1900 | 242 | 66k| 122k|1603 | 0.000000e+00 | 5.479000e+03 | Inf
418.40/418.46 c 418s|550000 |234872 |551299 | 1.0 | 277M| 749 | 0 |1900 |5165 |1900 | 216 | 68k| 126k|1666 | 0.000000e+00 | 5.479000e+03 | Inf
427.50/427.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.50/427.60 c 428s|560000 |243249 |571795 | 1.0 | 290M| 749 | 0 |1900 |4965 |1900 | 208 | 71k| 130k|1715 | 0.000000e+00 | 5.479000e+03 | Inf
431.70/431.70 o 5406
431.70/431.70 c * 432s|564429 |243588 |580852 | 1.0 | 291M| 749 | - |1900 |5001 |1900 | 230 | 72k| 132k|1744 | 0.000000e+00 | 5.406000e+03 | Inf
436.61/436.69 c 437s|570000 |248193 |591046 | 1.0 | 298M| 749 | 0 |1900 |4967 |1900 | 210 | 73k| 134k|1755 | 0.000000e+00 | 5.406000e+03 | Inf
443.51/443.56 o 5320
443.51/443.56 c * 444s|577437 |250363 |604241 | 1.0 | 302M| 749 | - |1900 |5020 |1900 | 225 | 75k| 137k|1780 | 0.000000e+00 | 5.320000e+03 | Inf
444.31/444.36 o 5307
444.31/444.36 c * 444s|578209 |250353 |605943 | 1.0 | 302M| 749 | - |1900 |5082 |1900 | 219 | 75k| 138k|1782 | 0.000000e+00 | 5.307000e+03 | Inf
444.41/444.46 o 5294
444.41/444.46 c * 444s|578272 |249801 |606296 | 1.0 | 301M| 749 | - |1900 |5128 |1900 | 255 | 75k| 138k|1784 | 0.000000e+00 | 5.294000e+03 | Inf
444.41/444.48 o 5216
444.41/444.48 c * 444s|578275 |246434 |606312 | 1.0 | 296M| 749 | - |1900 |5128 |1900 | 257 | 75k| 138k|1784 | 0.000000e+00 | 5.216000e+03 | Inf
444.41/444.48 o 5183
444.41/444.48 c * 444s|578276 |245041 |606313 | 1.0 | 294M| 749 | - |1900 |5128 |1900 | 257 | 75k| 138k|1784 | 0.000000e+00 | 5.183000e+03 | Inf
446.10/446.13 c 446s|580000 |246425 |609587 | 1.1 | 296M| 749 | 0 |1900 |5054 |1900 | 227 | 76k| 138k|1786 | 0.000000e+00 | 5.183000e+03 | Inf
455.50/455.52 c 456s|590000 |254384 |628171 | 1.1 | 309M| 749 | - |1900 |4888 | 0 | 0 | 78k| 142k|1838 | 0.000000e+00 | 5.183000e+03 | Inf
464.70/464.77 c 465s|600000 |262176 |644899 | 1.1 | 323M| 749 | 0 |1900 |4939 |1900 | 230 | 80k| 147k|1874 | 0.000000e+00 | 5.183000e+03 | Inf
465.22/465.29 o 5041
465.22/465.29 c * 465s|600544 |256524 |646255 | 1.1 | 315M| 749 | - |1900 |4891 |1900 | 224 | 80k| 147k|1875 | 0.000000e+00 | 5.041000e+03 | Inf
465.22/465.30 o 5016
465.22/465.30 c * 465s|600545 |255314 |646264 | 1.1 | 313M| 749 | - |1900 |4891 |1900 | 224 | 80k| 147k|1875 | 0.000000e+00 | 5.016000e+03 | Inf
465.32/465.35 o 4821
465.32/465.35 c * 465s|600570 |246350 |646441 | 1.1 | 301M| 749 | - |1900 |4884 |1900 | 226 | 80k| 147k|1875 | 0.000000e+00 | 4.821000e+03 | Inf
465.41/465.41 o 4717
465.41/465.41 c * 465s|600609 |241848 |646612 | 1.1 | 294M| 749 | - |1900 |4878 |1900 | 231 | 80k| 147k|1875 | 0.000000e+00 | 4.717000e+03 | Inf
465.41/465.43 o 4590
465.41/465.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.41/465.43 c * 465s|600616 |236095 |646635 | 1.1 | 284M| 749 | - |1900 |4885 |1900 | 231 | 80k| 147k|1875 | 0.000000e+00 | 4.590000e+03 | Inf
469.61/469.62 o 4554
469.61/469.62 c * 470s|604863 |237692 |656769 | 1.1 | 287M| 749 | - |1900 |4751 |1900 | 239 | 82k| 149k|1914 | 0.000000e+00 | 4.554000e+03 | Inf
474.70/474.78 c 475s|610000 |241693 |672961 | 1.1 | 294M| 749 | 0 |1900 |4448 |1900 | 213 | 83k| 151k|1933 | 0.000000e+00 | 4.554000e+03 | Inf
484.61/484.69 c 485s|620000 |249389 |698314 | 1.1 | 308M| 749 | 0 |1900 |4900 |1900 | 212 | 87k| 155k|2010 | 0.000000e+00 | 4.554000e+03 | Inf
486.91/486.99 o 4536
486.91/486.99 c * 487s|622261 |250195 |704111 | 1.1 | 310M| 749 | - |1900 |4985 |1900 | 222 | 87k| 156k|2027 | 0.000000e+00 | 4.536000e+03 | Inf
494.81/494.87 c 495s|630000 |256235 |725587 | 1.2 | 321M| 749 | - |1900 |4513 | 0 | 0 | 90k| 159k|2070 | 0.000000e+00 | 4.536000e+03 | Inf
504.92/504.97 c 505s|640000 |263953 |756577 | 1.2 | 337M| 749 | 0 |1900 |4616 |1900 | 209 | 94k| 164k|2133 | 0.000000e+00 | 4.536000e+03 | Inf
505.61/505.68 o 4529
505.61/505.68 c * 506s|640750 |264228 |758331 | 1.2 | 337M| 749 | - |1900 |4773 |1900 | 242 | 94k| 164k|2133 | 0.000000e+00 | 4.529000e+03 | Inf
505.61/505.69 o 4482
505.61/505.69 c * 506s|640751 |261753 |758334 | 1.2 | 333M| 749 | - |1900 |4773 |1900 | 242 | 94k| 164k|2133 | 0.000000e+00 | 4.482000e+03 | Inf
506.01/506.03 o 4476
506.01/506.03 c * 506s|641068 |261701 |759292 | 1.2 | 333M| 749 | - |1900 |4862 |1900 | 220 | 94k| 164k|2133 | 0.000000e+00 | 4.476000e+03 | Inf
515.31/515.33 c 515s|650000 |268485 |789635 | 1.2 | 347M| 749 | - |1900 |4351 | 0 | 0 | 98k| 168k|2191 | 0.000000e+00 | 4.476000e+03 | Inf
515.41/515.40 o 4447
515.41/515.40 c * 515s|650064 |266850 |789774 | 1.2 | 344M| 749 | - |1900 |4357 |1900 | 233 | 98k| 168k|2191 | 0.000000e+00 | 4.447000e+03 | Inf
524.61/524.65 c 525s|660000 |274871 |808980 | 1.2 | 358M| 749 | 0 |1900 |4825 |1900 | 213 | 100k| 171k|2226 | 0.000000e+00 | 4.447000e+03 | Inf
534.21/534.22 c 534s|670000 |282664 |831980 | 1.2 | 373M| 749 | 8 |1900 |5002 |1900 | 228 | 103k| 176k|2275 | 0.000000e+00 | 4.447000e+03 | Inf
543.71/543.74 o 4292
543.71/543.74 c * 544s|679745 |281092 |856435 | 1.3 | 372M| 749 | - |1900 |4814 |1900 | 221 | 106k| 180k|2315 | 0.000000e+00 | 4.292000e+03 | Inf
544.01/544.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.01/544.00 c 544s|680000 |281298 |856984 | 1.3 | 372M| 749 | 0 |1900 |4850 |1900 | 226 | 106k| 180k|2316 | 0.000000e+00 | 4.292000e+03 | Inf
550.71/550.76 o 4205
550.71/550.76 c * 551s|686616 |281090 |876871 | 1.3 | 373M| 749 | - |1900 |4588 |1900 | 247 | 109k| 182k|2351 | 0.000000e+00 | 4.205000e+03 | Inf
553.71/553.76 o 4194
553.71/553.76 c * 554s|689607 |282799 |886216 | 1.3 | 377M| 749 | - |1900 |4658 |1900 | 221 | 110k| 183k|2373 | 0.000000e+00 | 4.194000e+03 | Inf
553.71/553.77 o 4163
553.71/553.77 c * 554s|689608 |280697 |886218 | 1.3 | 373M| 749 | - |1900 |4658 |1900 | 221 | 110k| 183k|2373 | 0.000000e+00 | 4.163000e+03 | Inf
553.81/553.82 o 4084
553.81/553.82 c * 554s|689635 |275806 |886566 | 1.3 | 366M| 749 | - |1900 |4650 |1900 | 218 | 110k| 183k|2373 | 0.000000e+00 | 4.084000e+03 | Inf
553.81/553.83 o 3998
553.81/553.83 c * 554s|689636 |270638 |886566 | 1.3 | 357M| 749 | - |1900 |4650 |1900 | 218 | 110k| 183k|2373 | 0.000000e+00 | 3.998000e+03 | Inf
553.91/553.98 o 3962
553.91/553.98 c * 554s|689772 |268491 |887266 | 1.3 | 354M| 749 | - |1900 |4646 |1900 | 218 | 110k| 183k|2378 | 0.000000e+00 | 3.962000e+03 | Inf
554.11/554.17 o 3899
554.11/554.17 c * 554s|689926 |264798 |888279 | 1.3 | 347M| 749 | - |1900 |4671 |1900 | 249 | 110k| 183k|2381 | 0.000000e+00 | 3.899000e+03 | Inf
554.11/554.19 o 3817
554.11/554.19 c * 554s|689927 |260057 |888283 | 1.3 | 338M| 749 | - |1900 |4671 |1900 | 249 | 110k| 183k|2381 | 0.000000e+00 | 3.817000e+03 | Inf
554.21/554.28 c 554s|690000 |260116 |888684 | 1.3 | 338M| 749 | 0 |1900 |4666 |1900 | 217 | 110k| 183k|2381 | 0.000000e+00 | 3.817000e+03 | Inf
562.61/562.64 o 3717
562.61/562.64 c * 563s|698049 |259827 |916814 | 1.3 | 337M| 749 | - |1900 |4571 |1900 | 261 | 113k| 186k|2427 | 0.000000e+00 | 3.717000e+03 | Inf
562.71/562.72 o 3613
562.71/562.72 c * 563s|698075 |252532 |917288 | 1.3 | 320M| 749 | - |1900 |4575 |1900 | 261 | 114k| 186k|2428 | 0.000000e+00 | 3.613000e+03 | Inf
564.71/564.73 c 565s|700000 |253953 |923767 | 1.3 | 323M| 749 | 0 |1900 |4446 |1900 | 246 | 114k| 187k|2450 | 0.000000e+00 | 3.613000e+03 | Inf
575.41/575.41 c 575s|710000 |261411 |960831 | 1.4 | 338M| 749 | 0 |1900 |3959 |1900 | 212 | 118k| 191k|2519 | 0.000000e+00 | 3.613000e+03 | Inf
582.31/582.40 o 3609
582.31/582.40 c * 582s|716799 |266089 |980736 | 1.4 | 349M| 749 | - |1900 |4543 |1900 | 225 | 121k| 194k|2550 | 0.000000e+00 | 3.609000e+03 | Inf
585.82/585.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
585.82/585.80 c 586s|720000 |268495 |991555 | 1.4 | 354M| 749 | 0 |1900 |4295 |1900 | 230 | 122k| 195k|2561 | 0.000000e+00 | 3.609000e+03 | Inf
589.01/589.06 o 3584
589.01/589.06 c * 589s|723223 |269074 | 1001k| 1.4 | 354M| 749 | - |1900 |4174 |1900 | 231 | 123k| 196k|2573 | 0.000000e+00 | 3.584000e+03 | Inf
596.51/596.51 c 596s|730000 |273904 | 1027k| 1.4 | 365M| 749 | 0 |1900 |4004 |1900 | 219 | 126k| 199k|2624 | 0.000000e+00 | 3.584000e+03 | Inf
598.91/598.91 o 3508
598.91/598.91 c * 599s|732397 |269804 | 1033k| 1.4 | 356M| 749 | - |1900 |4023 |1900 | 219 | 127k| 200k|2634 | 0.000000e+00 | 3.508000e+03 | Inf
599.01/599.05 o 3504
599.01/599.05 c * 599s|732541 |269624 | 1033k| 1.4 | 355M| 749 | - |1900 |4024 |1900 | 221 | 127k| 200k|2634 | 0.000000e+00 | 3.504000e+03 | Inf
599.81/599.83 o 3485
599.81/599.83 c * 600s|733309 |268594 | 1035k| 1.4 | 353M| 749 | - |1900 |4130 |1900 | 230 | 127k| 200k|2637 | 0.000000e+00 | 3.485000e+03 | Inf
599.81/599.84 o 3478
599.81/599.84 c * 600s|733311 |267964 | 1035k| 1.4 | 352M| 749 | - |1900 |4130 |1900 | 230 | 127k| 200k|2637 | 0.000000e+00 | 3.478000e+03 | Inf
601.51/601.53 o 3458
601.51/601.53 c * 602s|735045 |267814 | 1039k| 1.4 | 351M| 749 | - |1900 |4274 |1900 | 225 | 128k| 201k|2637 | 0.000000e+00 | 3.458000e+03 | Inf
606.32/606.39 c 606s|740000 |271605 | 1050k| 1.4 | 359M| 749 | 0 |1900 |4144 |1900 | 216 | 129k| 202k|2652 | 0.000000e+00 | 3.458000e+03 | Inf
611.91/611.92 o 3282
611.91/611.92 c * 612s|745397 |261602 | 1067k| 1.4 | 341M| 749 | - |1900 |4511 |1900 | 246 | 131k| 204k|2681 | 0.000000e+00 | 3.282000e+03 | Inf
614.92/614.91 o 3281
614.92/614.91 c * 615s|748236 |263635 | 1077k| 1.4 | 345M| 749 | - |1900 |4502 |1900 | 227 | 132k| 205k|2696 | 0.000000e+00 | 3.281000e+03 | Inf
614.92/614.92 o 3249
614.92/614.92 c * 615s|748237 |261167 | 1077k| 1.4 | 341M| 749 | - |1900 |4502 |1900 | 227 | 132k| 205k|2696 | 0.000000e+00 | 3.249000e+03 | Inf
617.01/617.06 c 617s|750000 |262371 | 1086k| 1.4 | 344M| 749 | 0 |1900 |3970 |1900 | 227 | 133k| 206k|2720 | 0.000000e+00 | 3.249000e+03 | Inf
622.61/622.60 o 3202
622.61/622.60 c * 623s|755124 |262823 | 1108k| 1.5 | 347M| 749 | - |1900 |3939 |1900 | 257 | 135k| 208k|2756 | 0.000000e+00 | 3.202000e+03 | Inf
622.61/622.62 o 3175
622.61/622.62 c * 623s|755129 |260738 | 1108k| 1.5 | 343M| 749 | - |1900 |3939 |1900 | 257 | 135k| 208k|2756 | 0.000000e+00 | 3.175000e+03 | Inf
622.61/622.63 o 3128
622.61/622.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.61/622.63 c * 623s|755130 |257163 | 1108k| 1.5 | 338M| 749 | - |1900 |3939 |1900 | 257 | 135k| 208k|2756 | 0.000000e+00 | 3.128000e+03 | Inf
622.81/622.85 o 3044
622.81/622.85 c * 623s|755309 |250881 | 1108k| 1.5 | 329M| 749 | - |1900 |3965 |1900 | 249 | 135k| 208k|2757 | 0.000000e+00 | 3.044000e+03 | Inf
622.81/622.86 o 2997
622.81/622.86 c * 623s|755310 |247197 | 1108k| 1.5 | 322M| 749 | - |1900 |3965 |1900 | 249 | 135k| 208k|2757 | 0.000000e+00 | 2.997000e+03 | Inf
628.21/628.21 c 628s|760000 |250407 | 1128k| 1.5 | 330M| 749 | 0 |1900 |3734 |1900 | 219 | 137k| 210k|2773 | 0.000000e+00 | 2.997000e+03 | Inf
629.01/629.02 o 2973
629.01/629.02 c * 629s|760637 |248920 | 1131k| 1.5 | 328M| 749 | - |1900 |3554 |1900 | 232 | 138k| 210k|2783 | 0.000000e+00 | 2.973000e+03 | Inf
629.01/629.03 o 2962
629.01/629.03 c * 629s|760638 |248107 | 1131k| 1.5 | 326M| 749 | - |1900 |3554 |1900 | 232 | 138k| 210k|2783 | 0.000000e+00 | 2.962000e+03 | Inf
629.01/629.10 o 2926
629.01/629.10 c * 629s|760686 |245186 | 1132k| 1.5 | 321M| 749 | - |1900 |3536 |1900 | 210 | 138k| 210k|2783 | 0.000000e+00 | 2.926000e+03 | Inf
629.11/629.10 o 2915
629.11/629.10 c * 629s|760687 |244229 | 1132k| 1.5 | 320M| 749 | - |1900 |3536 |1900 | 210 | 138k| 210k|2783 | 0.000000e+00 | 2.915000e+03 | Inf
640.11/640.17 c 640s|770000 |250506 | 1183k| 1.5 | 337M| 749 | 0 |1900 |4003 |1900 | 221 | 143k| 214k|2854 | 0.000000e+00 | 2.915000e+03 | Inf
645.21/645.26 o 2873
645.21/645.26 c * 645s|774500 |250083 | 1202k| 1.6 | 338M| 749 | - |1900 |3953 |1900 | 228 | 145k| 216k|2892 | 0.000000e+00 | 2.873000e+03 | Inf
651.31/651.35 c 651s|780000 |253982 | 1223k| 1.6 | 348M| 749 | 0 |1900 |3668 |1900 | 214 | 147k| 218k|2924 | 0.000000e+00 | 2.873000e+03 | Inf
652.71/652.72 o 2867
652.71/652.72 c * 653s|781229 |254418 | 1228k| 1.6 | 349M| 749 | - |1900 |3743 |1900 | 229 | 148k| 218k|2930 | 0.000000e+00 | 2.867000e+03 | Inf
659.92/659.93 o 2843
659.92/659.93 c * 660s|787391 |256715 | 1258k| 1.6 | 357M| 749 | - |1900 |4111 |1900 | 225 | 151k| 221k|2981 | 0.000000e+00 | 2.843000e+03 | Inf
659.92/659.94 o 2832
659.92/659.94 c * 660s|787392 |255792 | 1258k| 1.6 | 355M| 749 | - |1900 |4111 |1900 | 225 | 151k| 221k|2981 | 0.000000e+00 | 2.832000e+03 | Inf
659.92/659.99 o 2831
659.92/659.99 c * 660s|787419 |255735 | 1258k| 1.6 | 355M| 749 | - |1900 |4107 |1900 | 232 | 151k| 221k|2981 | 0.000000e+00 | 2.831000e+03 | Inf
660.22/660.26 o 2802
660.22/660.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.22/660.26 c * 660s|787617 |253550 | 1260k| 1.6 | 352M| 749 | - |1900 |4146 |1900 | 238 | 151k| 221k|2981 | 0.000000e+00 | 2.802000e+03 | Inf
663.02/663.07 c 663s|790000 |255250 | 1269k| 1.6 | 356M| 749 | 0 |1900 |4537 |1900 | 227 | 152k| 222k|2995 | 0.000000e+00 | 2.802000e+03 | Inf
663.41/663.45 o 2790
663.41/663.45 c * 663s|790289 |254348 | 1270k| 1.6 | 355M| 749 | - |1900 |4598 |1900 | 227 | 152k| 222k|2999 | 0.000000e+00 | 2.790000e+03 | Inf
665.72/665.79 o 2701
665.72/665.79 c * 666s|792255 |247867 | 1278k| 1.6 | 344M| 749 | - |1900 |3982 |1900 | 218 | 153k| 223k|3020 | 0.000000e+00 | 2.701000e+03 | Inf
665.82/665.80 o 2669
665.82/665.80 c * 666s|792256 |245143 | 1278k| 1.6 | 339M| 749 | - |1900 |3982 |1900 | 218 | 153k| 223k|3020 | 0.000000e+00 | 2.669000e+03 | Inf
672.31/672.30 o 2659
672.31/672.30 c * 672s|798137 |248244 | 1299k| 1.6 | 347M| 749 | - |1900 |4401 |1900 | 221 | 156k| 225k|3037 | 0.000000e+00 | 2.659000e+03 | Inf
674.41/674.48 c 674s|800000 |249491 | 1307k| 1.6 | 350M| 749 | - |1900 |4060 | 0 | 0 | 157k| 226k|3055 | 0.000000e+00 | 2.659000e+03 | Inf
678.82/678.83 o 2639
678.82/678.83 c * 679s|803861 |250349 | 1325k| 1.6 | 353M| 749 | - |1900 |3832 |1900 | 220 | 159k| 228k|3073 | 0.000000e+00 | 2.639000e+03 | Inf
678.82/678.84 o 2592
678.82/678.84 c * 679s|803862 |246013 | 1325k| 1.6 | 345M| 749 | - |1900 |3832 |1900 | 220 | 159k| 228k|3073 | 0.000000e+00 | 2.592000e+03 | Inf
680.01/680.07 o 2507
680.01/680.07 c * 680s|804781 |238203 | 1333k| 1.7 | 332M| 749 | - |1900 |3889 |1900 | 253 | 159k| 228k|3097 | 0.000000e+00 | 2.507000e+03 | Inf
686.72/686.72 c 687s|810000 |241723 | 1371k| 1.7 | 342M| 749 | 0 |1900 |3881 |1900 | 228 | 163k| 230k|3142 | 0.000000e+00 | 2.507000e+03 | Inf
698.31/698.34 c 698s|820000 |248353 | 1414k| 1.7 | 360M| 749 | 0 |1900 |4543 |1900 | 211 | 168k| 234k|3193 | 0.000000e+00 | 2.507000e+03 | Inf
710.01/710.04 c 710s|830000 |254993 | 1459k| 1.8 | 378M| 749 | 0 |1900 |4393 |1900 | 223 | 173k| 238k|3268 | 0.000000e+00 | 2.507000e+03 | Inf
716.51/716.57 o 2482
716.51/716.57 c * 717s|835529 |256345 | 1481k| 1.8 | 384M| 749 | - |1900 |4409 |1900 | 242 | 176k| 240k|3289 | 0.000000e+00 | 2.482000e+03 | Inf
719.32/719.33 o 2331
719.32/719.33 c * 719s|837799 |243457 | 1489k| 1.8 | 364M| 749 | - |1900 |4297 |1900 | 224 | 177k| 241k|3304 | 0.000000e+00 | 2.331000e+03 | Inf
719.32/719.34 o 2320
719.32/719.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.32/719.34 c * 719s|837800 |242284 | 1489k| 1.8 | 362M| 749 | - |1900 |4297 |1900 | 224 | 177k| 241k|3304 | 0.000000e+00 | 2.320000e+03 | Inf
722.01/722.01 c 722s|840000 |243673 | 1500k| 1.8 | 366M| 749 | 0 |1900 |4527 |1900 | 224 | 178k| 242k|3310 | 0.000000e+00 | 2.320000e+03 | Inf
722.51/722.52 o 2243
722.51/722.52 c * 723s|840419 |236082 | 1501k| 1.8 | 353M| 749 | - |1900 |4609 |1900 | 241 | 178k| 242k|3319 | 0.000000e+00 | 2.243000e+03 | Inf
722.51/722.52 o 2232
722.51/722.52 c * 723s|840420 |234877 | 1501k| 1.8 | 351M| 749 | - |1900 |4609 |1900 | 241 | 178k| 242k|3319 | 0.000000e+00 | 2.232000e+03 | Inf
728.13/728.10 o 2201
728.13/728.10 c * 728s|844951 |234550 | 1523k| 1.8 | 355M| 749 | - |1900 |4338 |1900 | 245 | 181k| 244k|3349 | 0.000000e+00 | 2.201000e+03 | Inf
734.22/734.26 c 734s|850000 |237870 | 1546k| 1.8 | 365M| 749 | 0 |1900 |4269 |1900 | 232 | 184k| 246k|3388 | 0.000000e+00 | 2.201000e+03 | Inf
745.42/745.45 o 2177
745.42/745.45 c * 745s|859338 |241485 | 1590k| 1.9 | 378M| 749 | - |1900 |4659 |1900 | 235 | 189k| 250k|3441 | 0.000000e+00 | 2.177000e+03 | Inf
745.42/745.47 o 2143
745.42/745.47 c * 745s|859339 |237985 | 1590k| 1.9 | 371M| 749 | - |1900 |4659 |1900 | 235 | 189k| 250k|3441 | 0.000000e+00 | 2.143000e+03 | Inf
746.21/746.20 c 746s|860000 |238462 | 1592k| 1.9 | 372M| 749 | - |1900 |4556 | 0 | 0 | 190k| 250k|3444 | 0.000000e+00 | 2.143000e+03 | Inf
758.02/758.08 c 758s|870000 |245163 | 1638k| 1.9 | 391M| 749 | 0 |1900 |3792 |1900 | 234 | 195k| 253k|3492 | 0.000000e+00 | 2.143000e+03 | Inf
759.22/759.29 o 2109
759.22/759.29 c * 759s|870916 |242108 | 1644k| 1.9 | 386M| 749 | - |1900 |3873 |1900 | 229 | 196k| 254k|3498 | 0.000000e+00 | 2.109000e+03 | Inf
770.32/770.38 c 770s|880000 |247886 | 1690k| 1.9 | 403M| 749 | 0 |1900 |3971 |1900 | 229 | 201k| 257k|3570 | 0.000000e+00 | 2.109000e+03 | Inf
779.82/779.87 o 2072
779.82/779.87 c * 780s|887854 |249183 | 1728k| 1.9 | 410M| 749 | - |1900 |4025 |1900 | 228 | 206k| 260k|3614 | 0.000000e+00 | 2.072000e+03 | Inf
779.92/779.92 o 1900
779.92/779.92 c * 780s|887855 |229305 | 1728k| 1.9 | 370M| 749 | - |1900 |4025 |1900 | 228 | 206k| 260k|3614 | 0.000000e+00 | 1.900000e+03 | Inf
782.62/782.62 c 783s|890000 |230555 | 1740k| 2.0 | 374M| 749 | 0 |1900 |3898 |1900 | 221 | 207k| 261k|3615 | 0.000000e+00 | 1.900000e+03 | Inf
789.72/789.78 o 1898
789.72/789.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
789.72/789.78 c * 790s|895824 |233950 | 1769k| 2.0 | 384M| 749 | - |1900 |3782 |1900 | 230 | 211k| 263k|3652 | 0.000000e+00 | 1.898000e+03 | Inf
789.82/789.83 o 1812
789.82/789.83 c * 790s|895839 |223809 | 1770k| 2.0 | 364M| 749 | - |1900 |3780 |1900 | 232 | 211k| 263k|3652 | 0.000000e+00 | 1.812000e+03 | Inf
789.82/789.84 o 1801
789.82/789.84 c * 790s|895840 |222395 | 1770k| 2.0 | 361M| 749 | - |1900 |3780 |1900 | 232 | 211k| 263k|3652 | 0.000000e+00 | 1.801000e+03 | Inf
792.42/792.48 o 1800
792.42/792.48 c * 792s|897622 |223257 | 1787k| 2.0 | 365M| 749 | - |1900 |3816 |1900 | 235 | 212k| 264k|3679 | 0.000000e+00 | 1.800000e+03 | Inf
792.72/792.76 o 1711
792.72/792.76 c * 793s|897793 |212992 | 1788k| 2.0 | 344M| 749 | - |1900 |3857 |1900 | 236 | 212k| 264k|3679 | 0.000000e+00 | 1.711000e+03 | Inf
795.72/795.78 c 796s|900000 |214315 | 1805k| 2.0 | 349M| 749 | 0 |1900 |3872 |1900 | 213 | 214k| 264k|3695 | 0.000000e+00 | 1.711000e+03 | Inf
808.72/808.75 o 1669
808.72/808.75 c * 809s|909821 |214887 | 1864k| 2.0 | 359M| 749 | - |1900 |3815 |1900 | 242 | 221k| 269k|3756 | 0.000000e+00 | 1.669000e+03 | Inf
808.82/808.85 o 1594
808.82/808.85 c * 809s|909867 |205304 | 1865k| 2.0 | 339M| 749 | - |1900 |3824 |1900 | 234 | 221k| 269k|3756 | 0.000000e+00 | 1.594000e+03 | Inf
808.82/808.88 o 1544
808.82/808.88 c * 809s|909869 |198307 | 1865k| 2.0 | 325M| 749 | - |1900 |3823 |1900 | 236 | 221k| 269k|3756 | 0.000000e+00 | 1.544000e+03 | Inf
809.02/809.07 c 809s|910000 |198400 | 1866k| 2.1 | 325M| 749 | 0 |1900 |3853 |1900 | 222 | 222k| 269k|3761 | 0.000000e+00 | 1.544000e+03 | Inf
809.22/809.20 o 1409
809.22/809.20 c * 809s|910074 |181060 | 1866k| 2.1 | 290M| 749 | - |1900 |3876 |1900 | 221 | 222k| 269k|3761 | 0.000000e+00 | 1.409000e+03 | Inf
809.42/809.45 o 1288
809.42/809.45 c * 809s|910229 |164440 | 1867k| 2.1 | 255M| 749 | - |1900 |3878 |1900 | 218 | 222k| 269k|3761 | 0.000000e+00 | 1.288000e+03 | Inf
809.62/809.61 o 1279
809.62/809.61 c * 810s|910323 |163411 | 1868k| 2.1 | 253M| 749 | - |1900 |3849 |1900 | 224 | 222k| 269k|3762 | 0.000000e+00 | 1.279000e+03 | Inf
821.82/821.88 o 1228
821.82/821.88 c * 822s|918483 |160743 | 1935k| 2.1 | 260M| 749 | - |1900 |3770 |1900 | 255 | 230k| 273k|3845 | 0.000000e+00 | 1.228000e+03 | Inf
822.52/822.58 o 1220
822.52/822.58 c * 823s|918968 |160207 | 1939k| 2.1 | 260M| 749 | - |1900 |3894 |1900 | 227 | 230k| 273k|3847 | 0.000000e+00 | 1.220000e+03 | Inf
822.52/822.59 o 1217
822.52/822.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.52/822.59 c * 823s|918981 |159661 | 1939k| 2.1 | 258M| 749 | - |1900 |3894 |1900 | 230 | 230k| 273k|3847 | 0.000000e+00 | 1.217000e+03 | Inf
822.62/822.62 o 1161
822.62/822.62 c * 823s|918987 |151935 | 1939k| 2.1 | 244M| 749 | - |1900 |3893 |1900 | 230 | 230k| 273k|3847 | 0.000000e+00 | 1.161000e+03 | Inf
822.62/822.64 o 1114
822.62/822.64 c * 823s|918988 |145164 | 1939k| 2.1 | 232M| 749 | - |1900 |3893 |1900 | 230 | 230k| 273k|3847 | 0.000000e+00 | 1.114000e+03 | Inf
822.72/822.76 o 1068
822.72/822.76 c * 823s|919059 |140167 | 1939k| 2.1 | 222M| 749 | - |1900 |3916 |1900 | 232 | 230k| 273k|3847 | 0.000000e+00 | 1.068000e+03 | Inf
824.32/824.35 c 824s|920000 |140431 | 1948k| 2.1 | 225M| 749 | 8 |1900 |3746 |1900 | 226 | 231k| 274k|3853 | 0.000000e+00 | 1.068000e+03 | Inf
833.82/833.86 o 1061
833.82/833.86 c * 834s|925931 |142075 | 2014k| 2.2 | 240M| 749 | - |1900 |3856 |1900 | 240 | 238k| 277k|3944 | 0.000000e+00 | 1.061000e+03 | Inf
840.82/840.81 c 841s|930000 |143768 | 2066k| 2.2 | 253M| 749 | 3 |1900 |3754 |1900 | 224 | 244k| 279k|3987 | 0.000000e+00 | 1.061000e+03 | Inf
857.12/857.10 o 971
857.12/857.10 c * 857s|939743 |136155 | 2180k| 2.3 | 263M| 749 | - |1900 |3821 |1900 | 261 | 256k| 285k|4117 | 0.000000e+00 | 9.710000e+02 | Inf
857.22/857.23 o 955
857.22/857.23 c * 857s|939791 |132961 | 2181k| 2.3 | 257M| 749 | - |1900 |3634 |1900 | 262 | 256k| 285k|4117 | 0.000000e+00 | 9.550000e+02 | Inf
857.62/857.62 c 858s|940000 |133036 | 2183k| 2.3 | 258M| 749 | 0 |1900 |3291 |1900 | 228 | 256k| 285k|4117 | 0.000000e+00 | 9.550000e+02 | Inf
867.72/867.70 o 909
867.72/867.70 c * 868s|945552 |129081 | 2256k| 2.4 | 267M| 749 | - |1900 |2980 |1900 | 227 | 264k| 288k|4195 | 0.000000e+00 | 9.090000e+02 | Inf
873.12/873.18 o 896
873.12/873.18 c * 873s|948621 |124961 | 2292k| 2.4 | 268M| 749 | - |1900 |3169 |1900 | 239 | 268k| 291k|4232 | 0.000000e+00 | 8.960000e+02 | Inf
873.12/873.20 o 894
873.12/873.20 c * 873s|948626 |124731 | 2292k| 2.4 | 267M| 749 | - |1900 |3119 |1900 | 239 | 268k| 291k|4232 | 0.000000e+00 | 8.940000e+02 | Inf
873.22/873.25 o 757
873.22/873.25 c * 873s|948629 |109091 | 2292k| 2.4 | 240M| 749 | - |1900 |3079 |1900 | 239 | 268k| 291k|4232 | 0.000000e+00 | 7.570000e+02 | Inf
873.32/873.32 o 736
873.32/873.32 c * 873s|948657 |105272 | 2292k| 2.4 | 235M| 749 | - |1900 |2899 |1900 | 240 | 268k| 291k|4232 | 0.000000e+00 | 7.360000e+02 | Inf
873.32/873.39 o 597
873.32/873.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
873.32/873.39 c * 873s|948660 | 84010 | 2292k| 2.4 | 202M| 749 | - |1900 |2839 |1900 | 241 | 268k| 291k|4232 | 0.000000e+00 | 5.970000e+02 | Inf
876.83/876.82 c 877s|950000 | 83063 | 2325k| 2.4 | 210M| 749 | - |1900 |2310 | 0 | 0 | 271k| 293k|4267 | 0.000000e+00 | 5.970000e+02 | Inf
878.62/878.67 o 520
878.62/878.67 c * 879s|950865 | 73213 | 2344k| 2.5 | 195M| 749 | - |1900 |2508 |1900 | 257 | 273k| 294k|4276 | 0.000000e+00 | 5.200000e+02 | Inf
883.92/884.00 o 442
883.92/884.00 c * 884s|953294 | 61429 | 2402k| 2.5 | 181M| 749 | - |1900 |2637 |1900 | 265 | 279k| 296k|4320 | 0.000000e+00 | 4.420000e+02 | Inf
884.92/884.99 o 420
884.92/884.99 c * 885s|953793 | 58876 | 2412k| 2.5 | 175M| 749 | - |1900 |2530 |1900 | 256 | 280k| 297k|4327 | 0.000000e+00 | 4.200000e+02 | Inf
884.92/884.99 o 409
884.92/884.99 c * 885s|953794 | 56731 | 2412k| 2.5 | 170M| 749 | - |1900 |2530 |1900 | 256 | 280k| 297k|4327 | 0.000000e+00 | 4.090000e+02 | Inf
885.02/885.02 o 393
885.02/885.02 c * 885s|953796 | 53185 | 2412k| 2.5 | 164M| 749 | - |1900 |2446 |1900 | 256 | 280k| 297k|4327 | 0.000000e+00 | 3.930000e+02 | Inf
886.12/886.19 o 314
886.12/886.19 c R 886s|954234 | 41892 | 2428k| 2.5 | 135M| 749 | - |1900 |2105 |1900 | 270 | 281k| 298k|4327 | 0.000000e+00 | 3.140000e+02 | Inf
887.02/887.03 o 293
887.02/887.03 c * 887s|954492 | 35430 | 2435k| 2.6 | 125M| 749 | - |1900 |1997 |1900 | 218 | 282k| 298k|4341 | 0.000000e+00 | 2.930000e+02 | Inf
887.02/887.04 o 246
887.02/887.04 c * 887s|954493 | 31722 | 2435k| 2.6 | 114M| 749 | - |1900 |1997 |1900 | 218 | 282k| 298k|4341 | 0.000000e+00 | 2.460000e+02 | Inf
887.12/887.17 o 186
887.12/887.17 c * 887s|954520 | 26551 | 2436k| 2.6 | 100M| 749 | - |1900 |1839 |1900 | 244 | 282k| 298k|4341 | 0.000000e+00 | 1.860000e+02 | Inf
887.22/887.20 o 123
887.22/887.20 c * 887s|954531 | 22901 | 2436k| 2.6 | 90M| 749 | - |1900 |1757 |1900 | 232 | 282k| 298k|4341 | 0.000000e+00 | 1.230000e+02 | Inf
887.32/887.38 o 110
887.32/887.38 c * 887s|954569 | 18341 | 2438k| 2.6 | 82M| 749 | - |1900 |1644 |1900 | 233 | 282k| 299k|4345 | 0.000000e+00 | 1.100000e+02 | Inf
887.53/887.55 o 71
887.53/887.55 c * 888s|954622 | 14502 | 2441k| 2.6 | 72M| 749 | - |1900 |1610 |1900 | 236 | 283k| 299k|4349 | 0.000000e+00 | 7.100000e+01 | Inf
888.22/888.22 o 16
888.22/888.22 c * 888s|954882 | 1580 | 2451k| 2.6 | 30M| 749 | - |1900 |1583 |1900 | 208 | 283k| 299k|4356 | 0.000000e+00 | 1.600000e+01 | Inf
888.62/888.61 c
888.62/888.61 c SCIP Status : problem is solved [optimal solution found]
888.62/888.61 c Solving Time (sec) : 888.60
888.62/888.61 c Solving Nodes : 955103
888.62/888.61 c Primal Bound : +1.60000000000000e+01 (296 solutions)
888.62/888.61 c Dual Bound : +1.60000000000000e+01
888.62/888.61 c Gap : 0.00 %
888.62/888.61 s OPTIMUM FOUND
888.62/888.61 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
888.62/888.61 v -x176 x175 -x174 x173 -x172 x171 -x170 x169 x168 -x167 -x166 x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
888.62/888.61 v -x154 x153 x152 -x151 -x150 x149 x148 -x147 -x146 x145 -x144 x143 x142 -x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 x132
888.62/888.61 v -x131 x130 -x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 x120 -x119 x118 -x117 x116 -x115 -x114 x113 -x112 x111 x110 -x109
888.62/888.61 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
888.62/888.61 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
888.62/888.61 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
888.62/888.61 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
888.62/888.61 c SCIP Status : problem is solved [optimal solution found]
888.62/888.61 c Solving Time : 888.60
888.62/888.61 c Original Problem :
888.62/888.61 c Problem name : HOME/instance-2705751-1278580128.wbo
888.62/888.61 c Variables : 2000 (1100 binary, 0 integer, 900 implicit integer, 0 continuous)
888.62/888.61 c Constraints : 1901 initial, 1901 maximal
888.62/888.61 c Presolved Problem :
888.62/888.61 c Problem name : t_HOME/instance-2705751-1278580128.wbo
888.62/888.61 c Variables : 1900 (1000 binary, 0 integer, 900 implicit integer, 0 continuous)
888.62/888.61 c Constraints : 1800 initial, 6301 maximal
888.62/888.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
888.62/888.61 c trivial : 0.00 0 0 0 0 0 0 0 0
888.62/888.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
888.62/888.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
888.62/888.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
888.62/888.61 c implics : 0.00 0 0 0 0 0 0 0 0
888.62/888.61 c probing : 0.02 0 0 0 0 0 0 0 0
888.62/888.61 c linear : 0.02 0 100 0 900 0 101 0 0
888.62/888.61 c indicator : 0.00 0 0 0 0 0 0 0 0
888.62/888.61 c logicor : 0.00 0 0 0 0 0 0 0 0
888.62/888.61 c root node : - 1782 - - 1782 - - - -
888.62/888.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
888.62/888.61 c integral : 0 0 0 973726 0 0 34 0 0 32122
888.62/888.61 c linear : 900 6 2179121 957516 0 13629 1379551 283962 0 0
888.62/888.61 c indicator : 900 0 2166257 957627 0 10531 22693840 0 0 0
888.62/888.61 c logicor : 0+ 0 859972 0 0 5173 355189 0 0 0
888.62/888.61 c countsols : 0 0 0 865633 0 0 0 0 0 0
888.62/888.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
888.62/888.61 c integral : 4.60 0.00 0.00 4.60 0.00
888.62/888.61 c linear : 49.11 0.00 24.53 24.58 0.00
888.62/888.61 c indicator : 128.19 0.02 68.00 60.17 0.00
888.62/888.61 c logicor : 13.29 0.00 13.29 0.00 0.00
888.62/888.61 c countsols : 0.11 0.00 0.00 0.11 0.00
888.62/888.61 c Propagators : Time Calls Cutoffs DomReds
888.62/888.61 c vbounds : 0.41 2 0 0
888.62/888.61 c rootredcost : 0.38 196 0 890
888.62/888.61 c pseudoobj : 48.95 2248711 69022 21433960
888.62/888.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
888.62/888.61 c propagation : 4.96 87824 87163 351514 27.0 1816 13.7 -
888.62/888.61 c infeasible LP : 0.01 84 84 288 21.9 4 19.8 0
888.62/888.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
888.62/888.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
888.62/888.61 c pseudo solution : 0.00 15 15 52 13.4 0 0.0 -
888.62/888.61 c applied globally : - - - 299873 25.9 - - -
888.62/888.61 c applied locally : - - - 0 0.0 - - -
888.62/888.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
888.62/888.61 c cut pool : 0.00 3 - - 9 - (maximal pool size: 140)
888.62/888.61 c redcost : 43.21 998669 0 1416880 0 0
888.62/888.61 c impliedbounds : 0.00 4 0 0 0 0
888.62/888.61 c intobj : 0.00 0 0 0 0 0
888.62/888.61 c cgmip : 0.00 0 0 0 0 0
888.62/888.61 c gomory : 0.02 4 0 0 123 0
888.62/888.61 c strongcg : 0.02 4 0 0 128 0
888.62/888.61 c cmir : 0.02 4 0 0 0 0
888.62/888.61 c flowcover : 0.02 4 0 0 0 0
888.62/888.61 c clique : 0.00 1 0 0 0 0
888.62/888.61 c zerohalf : 0.00 0 0 0 0 0
888.62/888.61 c mcf : 0.00 1 0 0 0 0
888.62/888.61 c rapidlearning : 0.06 1 0 0 0 0
888.62/888.61 c Pricers : Time Calls Vars
888.62/888.61 c problem variables: 0.00 0 0
888.62/888.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
888.62/888.61 c relpscost : 4.32 16095 0 34 0 0 32122
888.62/888.61 c pscost : 0.00 0 0 0 0 0 0
888.62/888.61 c inference : 114.75 865438 0 0 0 0 1730876
888.62/888.61 c mostinf : 0.00 0 0 0 0 0 0
888.62/888.61 c leastinf : 0.00 0 0 0 0 0 0
888.62/888.61 c fullstrong : 0.00 0 0 0 0 0 0
888.62/888.61 c allfullstrong : 0.00 0 0 0 0 0 0
888.62/888.61 c random : 0.00 0 0 0 0 0 0
888.62/888.61 c Primal Heuristics : Time Calls Found
888.62/888.61 c LP solutions : 1.97 - 195
888.62/888.61 c pseudo solutions : 0.00 - 0
888.62/888.61 c feaspump : 0.00 0 0
888.62/888.61 c intshifting : 0.00 0 0
888.62/888.61 c oneopt : 0.57 154 0
888.62/888.61 c coefdiving : 0.69 997 0
888.62/888.61 c pscostdiving : 0.67 997 0
888.62/888.61 c fracdiving : 0.67 997 0
888.62/888.61 c guideddiving : 0.67 998 0
888.62/888.61 c veclendiving : 0.67 998 0
888.62/888.61 c linesearchdiving : 0.68 998 0
888.62/888.61 c objpscostdiving : 0.69 997 0
888.62/888.61 c rootsoldiving : 0.70 997 0
888.62/888.61 c trivial : 0.00 2 1
888.62/888.61 c simplerounding : 0.30 17999 0
888.62/888.61 c zirounding : 0.21 1000 0
888.62/888.61 c rounding : 0.24 2045 1
888.62/888.61 c shifting : 0.08 538 0
888.62/888.61 c twoopt : 0.00 0 0
888.62/888.61 c fixandinfer : 0.00 0 0
888.62/888.61 c intdiving : 0.00 0 0
888.62/888.61 c actconsdiving : 0.00 0 0
888.62/888.61 c octane : 0.00 0 0
888.62/888.61 c rens : 0.01 1 0
888.62/888.61 c rins : 0.00 0 0
888.62/888.61 c localbranching : 0.00 0 0
888.62/888.61 c mutation : 0.00 0 0
888.62/888.61 c crossover : 4.94 306 3
888.62/888.61 c dins : 0.00 0 0
888.62/888.61 c undercover : 0.00 0 0
888.62/888.61 c nlp : 0.14 0 0
888.62/888.61 c trysol : 0.28 1205 96
888.62/888.61 c LP : Time Calls Iterations Iter/call Iter/sec
888.62/888.61 c primal LP : 0.00 0 0 0.00 -
888.62/888.61 c dual LP : 282.98 230159 2444309 10.62 8637.75
888.62/888.61 c lex dual LP : 0.00 0 0 0.00 -
888.62/888.61 c barrier LP : 0.00 0 0 0.00 -
888.62/888.61 c diving/probing LP: 0.21 155 12307 79.40 57692.13
888.62/888.61 c strong branching : 4.19 4356 83556 19.18 19948.49
888.62/888.61 c (at root node) : - 33 5521 167.30 -
888.62/888.61 c conflict analysis: 0.00 0 0 0.00 -
888.62/888.61 c B&B Tree :
888.62/888.61 c number of runs : 1
888.62/888.61 c nodes : 955103
888.62/888.61 c nodes (total) : 955103
888.62/888.61 c nodes left : 0
888.62/888.61 c max depth : 749
888.62/888.61 c max depth (total): 749
888.62/888.61 c backtracks : 32811 (3.4%)
888.62/888.61 c delayed cutoffs : 57541
888.62/888.61 c repropagations : 182541 (10447098 domain reductions, 25045 cutoffs)
888.62/888.61 c avg switch length: 3.24
888.62/888.61 c switching time : 58.96
888.62/888.61 c Solution :
888.62/888.61 c Solutions found : 296 (197 improvements)
888.62/888.61 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
888.62/888.61 c Primal Bound : +1.60000000000000e+01 (in run 1, after 954882 nodes, 888.20 seconds, depth 14, found by <relaxation>)
888.62/888.61 c Dual Bound : +1.60000000000000e+01
888.62/888.61 c Gap : 0.00 %
888.62/888.61 c Root Dual Bound : +0.00000000000000e+00
888.62/888.61 c Root Iterations : 429
888.62/888.64 c Time complete: 888.67.
OK 16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705751-1278580128/watcher-2705751-1278580128 -o /tmp/evaluation-result-2705751-1278580128/solver-2705751-1278580128 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705751-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.00 2.00 1.94 3/178 24909 /proc/meminfo: memFree=28079964/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=12332 CPUtime=0 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 1917 0 0 0 0 0 0 0 22 0 1 0 26226952 12627968 1836 4089446400 4194304 10345943 140735840137456 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24909/statm: 3083 1836 423 1502 0 1576 0 [startup+0.0242739 s] /proc/loadavg: 2.00 2.00 1.94 3/178 24909 /proc/meminfo: memFree=28079964/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=21916 CPUtime=0.01 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 4511 0 0 0 1 0 0 0 22 0 1 0 26226952 22441984 4076 4089446400 4194304 10345943 140735840137456 18446744073709551615 9107500 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 5479 4079 503 1502 0 3972 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 21916 [startup+0.100273 s] /proc/loadavg: 2.00 2.00 1.94 3/178 24909 /proc/meminfo: memFree=28079964/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=40308 CPUtime=0.09 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 8963 0 0 0 8 1 0 0 22 0 1 0 26226952 41275392 8528 4089446400 4194304 10345943 140735840137456 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 10077 8528 636 1502 0 8570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 40308 [startup+0.300237 s] /proc/loadavg: 2.00 2.00 1.94 3/178 24909 /proc/meminfo: memFree=28079964/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=38916 CPUtime=0.29 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 9974 0 0 0 27 2 0 0 22 0 1 0 26226952 39849984 8583 4089446400 4194304 10345943 140735840137456 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 9729 8583 750 1502 0 8222 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38916 [startup+0.700148 s] /proc/loadavg: 2.00 2.00 1.94 3/178 24909 /proc/meminfo: memFree=28079964/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=38916 CPUtime=0.69 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 9981 0 0 0 66 3 0 0 24 0 1 0 26226952 39849984 8590 4089446400 4194304 10345943 140735840137456 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 9729 8590 757 1502 0 8222 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38916 [startup+1.501 s] /proc/loadavg: 2.00 2.00 1.94 3/179 24911 /proc/meminfo: memFree=28048216/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=39216 CPUtime=1.49 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 10506 0 0 0 144 5 0 0 25 0 1 0 26226952 40157184 8668 4089446400 4194304 10345943 140735840137456 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 9804 8668 760 1502 0 8297 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39216 [startup+3.1007 s] /proc/loadavg: 2.00 2.00 1.94 3/179 24911 /proc/meminfo: memFree=28048712/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=37328 CPUtime=3.09 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 12509 0 0 0 303 6 0 0 25 0 1 0 26226952 38223872 8204 4089446400 4194304 10345943 140735840137456 18446744073709551615 6864970 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 9332 8204 760 1502 0 7825 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37328 [startup+6.30012 s] /proc/loadavg: 2.00 2.00 1.94 3/179 24911 /proc/meminfo: memFree=28047124/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=40384 CPUtime=6.29 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 17483 0 0 0 621 8 0 0 25 0 1 0 26226952 41353216 8866 4089446400 4194304 10345943 140735840137456 18446744073709551615 4602207 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 10096 8866 764 1502 0 8589 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 40384 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 1.94 3/179 24911 /proc/meminfo: memFree=28039148/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=51008 CPUtime=12.69 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 22544 0 0 0 1259 10 0 0 25 0 1 0 26226952 52232192 11431 4089446400 4194304 10345943 140735840137456 18446744073709551615 7508089 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 12752 11431 764 1502 0 11245 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51008 [startup+25.5005 s] /proc/loadavg: 1.92 1.98 1.94 2/171 24959 /proc/meminfo: memFree=28945732/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=68740 CPUtime=25.49 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 29394 0 0 0 2536 13 0 0 25 0 1 0 26226952 70389760 15715 4089446400 4194304 10345943 140735840137456 18446744073709551615 6307222 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 17185 15715 764 1502 0 15678 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 68740 [startup+51.1008 s] /proc/loadavg: 1.61 1.90 1.91 2/171 24960 /proc/meminfo: memFree=28906208/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=110880 CPUtime=51.1 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 42040 0 0 0 5092 18 0 0 25 0 1 0 26226952 113541120 26049 4089446400 4194304 10345943 140735840137456 18446744073709551615 4469734 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 27720 26049 764 1502 0 26213 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 110880 [startup+102.306 s] /proc/loadavg: 1.24 1.75 1.85 2/171 24961 /proc/meminfo: memFree=28825360/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=191792 CPUtime=102.3 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 64083 0 0 0 10202 28 0 0 25 0 1 0 26226952 196395008 45924 4089446400 4194304 10345943 140735840137456 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 47948 45924 764 1502 0 46441 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 191792 [startup+162.301 s] /proc/loadavg: 1.09 1.62 1.80 2/171 24963 /proc/meminfo: memFree=28738480/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=279084 CPUtime=162.3 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 97339 0 0 0 16189 41 0 0 25 0 1 0 26226952 285782016 67430 4089446400 4194304 10345943 140735840137456 18446744073709551615 6307534 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 69771 67430 764 1502 0 68264 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 279084 [startup+222.301 s] /proc/loadavg: 1.03 1.50 1.75 2/171 24964 /proc/meminfo: memFree=28702080/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=316188 CPUtime=222.3 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 200103 0 0 0 22162 68 0 0 25 0 1 0 26226952 323776512 76677 4089446400 4194304 10345943 140735840137456 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 79047 76677 764 1502 0 77540 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 316188 [startup+282.301 s] /proc/loadavg: 1.01 1.41 1.70 2/171 24966 /proc/meminfo: memFree=28664584/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=353840 CPUtime=282.3 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 271483 0 0 0 28137 93 0 0 25 0 1 0 26226952 362332160 85913 4089446400 4194304 10345943 140735840137456 18446744073709551615 6119525 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 88460 85913 764 1502 0 86953 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 353840 [startup+342.301 s] /proc/loadavg: 1.00 1.33 1.65 2/171 24968 /proc/meminfo: memFree=28631524/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=390036 CPUtime=342.3 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 320064 0 0 0 34111 119 0 0 25 0 1 0 26226952 399396864 94228 4089446400 4194304 10345943 140735840137456 18446744073709551615 5926401 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 97509 94228 764 1502 0 96002 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 390036 [startup+402.3 s] /proc/loadavg: 1.00 1.27 1.61 2/171 24969 /proc/meminfo: memFree=28592756/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=430036 CPUtime=402.31 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 383044 0 0 0 40084 147 0 0 25 0 1 0 26226952 440356864 104007 4089446400 4194304 10345943 140735840137456 18446744073709551615 6069236 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 107509 104007 764 1502 0 106002 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 430036 [startup+462.3 s] /proc/loadavg: 1.00 1.21 1.57 2/171 24971 /proc/meminfo: memFree=28575692/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=447836 CPUtime=462.31 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 448027 0 0 0 46055 176 0 0 25 0 1 0 26226952 458584064 108104 4089446400 4194304 10345943 140735840137456 18446744073709551615 6119682 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 111959 108104 764 1502 0 110452 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 447836 [startup+522.301 s] /proc/loadavg: 1.05 1.19 1.53 2/171 24972 /proc/meminfo: memFree=28545976/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=480268 CPUtime=522.31 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 518288 0 0 0 52021 210 0 0 25 0 1 0 26226952 491794432 115762 4089446400 4194304 10345943 140735840137456 18446744073709551615 6068911 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 120067 115762 764 1502 0 118560 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 480268 [startup+582.301 s] /proc/loadavg: 1.02 1.15 1.50 2/171 24974 /proc/meminfo: memFree=28506120/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=522976 CPUtime=582.31 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 577159 0 0 0 57987 244 0 0 25 0 1 0 26226952 535527424 125419 4089446400 4194304 10345943 140735840137456 18446744073709551615 5012673 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 130744 125419 764 1502 0 129237 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 522976 [startup+642.301 s] /proc/loadavg: 1.00 1.12 1.46 2/171 24979 /proc/meminfo: memFree=28489248/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=540936 CPUtime=642.32 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 665274 0 0 0 63946 286 0 0 25 0 1 0 26226952 553918464 129677 4089446400 4194304 10345943 140735840137456 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 135234 129677 764 1502 0 133727 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 540936 [startup+702.301 s] /proc/loadavg: 1.00 1.10 1.43 2/171 24980 /proc/meminfo: memFree=28467620/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=563872 CPUtime=702.32 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 744631 0 0 0 69898 334 0 0 25 0 1 0 26226952 577404928 135138 4089446400 4194304 10345943 140735840137456 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 140968 135138 764 1502 0 139461 0 Current children cumulated CPU time (s) 702.32 Current children cumulated vsize (KiB) 563872 [startup+762.306 s] /proc/loadavg: 1.00 1.08 1.40 2/171 24982 /proc/meminfo: memFree=28439648/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=597084 CPUtime=762.33 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 809481 0 0 0 75859 374 0 0 25 0 1 0 26226952 611414016 142091 4089446400 4194304 10345943 140735840137456 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 149271 142091 764 1502 0 147764 0 Current children cumulated CPU time (s) 762.33 Current children cumulated vsize (KiB) 597084 [startup+822.3 s] /proc/loadavg: 1.00 1.06 1.37 2/171 24983 /proc/meminfo: memFree=28411032/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=630316 CPUtime=822.32 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 869140 0 0 0 81813 419 0 0 25 0 1 0 26226952 645443584 149301 4089446400 4194304 10345943 140735840137456 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 157579 149301 764 1502 0 156072 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 630316 [startup+882.301 s] /proc/loadavg: 1.00 1.05 1.35 2/171 24985 /proc/meminfo: memFree=28386668/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=658280 CPUtime=882.33 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 927006 0 0 0 87750 483 0 0 25 0 1 0 26226952 674078720 155163 4089446400 4194304 10345943 140735840137456 18446744073709551615 6715885 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 164570 155163 765 1502 0 163063 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 658280 Solver just ended. Dumping a history of the last processes samples [startup+883.101 s] /proc/loadavg: 1.00 1.05 1.35 2/171 24985 /proc/meminfo: memFree=28386668/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=658644 CPUtime=883.13 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 927037 0 0 0 87829 484 0 0 25 0 1 0 26226952 674451456 155194 4089446400 4194304 10345943 140735840137456 18446744073709551615 6787788 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 164661 155194 765 1502 0 163154 0 Current children cumulated CPU time (s) 883.13 Current children cumulated vsize (KiB) 658644 [startup+886.3 s] /proc/loadavg: 1.00 1.05 1.35 2/171 24985 /proc/meminfo: memFree=28386292/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=658116 CPUtime=886.32 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 931598 0 0 0 88143 489 0 0 25 0 1 0 26226952 673910784 155297 4089446400 4194304 10345943 140735840137456 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 164529 155297 765 1502 0 163022 0 Current children cumulated CPU time (s) 886.32 Current children cumulated vsize (KiB) 658116 [startup+887.901 s] /proc/loadavg: 1.00 1.05 1.34 2/171 24985 /proc/meminfo: memFree=28386168/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=658120 CPUtime=887.92 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 933880 0 0 0 88301 491 0 0 25 0 1 0 26226952 673914880 155287 4089446400 4194304 10345943 140735840137456 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 164530 155287 765 1502 0 163023 0 Current children cumulated CPU time (s) 887.92 Current children cumulated vsize (KiB) 658120 [startup+888.301 s] /proc/loadavg: 1.00 1.05 1.34 2/171 24985 /proc/meminfo: memFree=28386168/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=658244 CPUtime=888.33 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 935581 0 0 0 88340 493 0 0 25 0 1 0 26226952 674041856 155479 4089446400 4194304 10345943 140735840137456 18446744073709551615 6804096 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 164561 155479 765 1502 0 163054 0 Current children cumulated CPU time (s) 888.33 Current children cumulated vsize (KiB) 658244 [startup+888.501 s] /proc/loadavg: 1.00 1.05 1.34 2/171 24985 /proc/meminfo: memFree=28386168/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=658244 CPUtime=888.53 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 935581 0 0 0 88360 493 0 0 25 0 1 0 26226952 674041856 155479 4089446400 4194304 10345943 140735840137456 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 164561 155479 765 1502 0 163054 0 Current children cumulated CPU time (s) 888.53 Current children cumulated vsize (KiB) 658244 [startup+888.601 s] /proc/loadavg: 1.00 1.05 1.34 2/171 24985 /proc/meminfo: memFree=28386168/32951124 swapFree=67111528/67111528 [pid=24909] ppid=24907 vsize=658244 CPUtime=888.62 /proc/24909/stat : 24909 (pbscip.linux.x8) R 24907 24909 24314 0 -1 4202496 935581 0 0 0 88369 493 0 0 25 0 1 0 26226952 674041856 155479 4089446400 4194304 10345943 140735840137456 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24909/statm: 164561 155479 765 1502 0 163054 0 Current children cumulated CPU time (s) 888.62 Current children cumulated vsize (KiB) 658244 Child status: 0 Real time (s): 888.65 CPU time (s): 888.68 CPU user time (s): 883.722 CPU system time (s): 4.95825 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 665348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 883.722 system time used= 4.95825 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 935588 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= 494 runsolver used 1.15382 second user time and 2.90856 second system time The end
Begin job on node111 at 2010-07-08 11:08:48 IDJOB=2705751 IDBENCH=79415 IDSOLVER=1214 FILE ID=node111/2705751-1278580128 PBS_JOBID= 11240231 Free space on /tmp= 73608 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-jnh306_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-2705751-1278580128/watcher-2705751-1278580128 -o /tmp/evaluation-result-2705751-1278580128/solver-2705751-1278580128 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705751-1278580128.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 066a913179e37120802f974ea952f3b3 RANDOM SEED=361696858 node111.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.825 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.65 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.825 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.98 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.825 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.67 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.825 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.86 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.825 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 : 5233.30 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28080368 kB Buffers: 163176 kB Cached: 3584224 kB SwapCached: 0 kB Active: 2990200 kB Inactive: 1729292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28080368 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12868 kB Writeback: 0 kB AnonPages: 972820 kB Mapped: 17760 kB Slab: 86076 kB PageTables: 6896 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1213932 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73608 MiB End job on node111 at 2010-07-08 11:23:37