Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | OPTIMUM | 1004.78 | 1004.77 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-66-100-0.wbo |
| MD5SUM | 229cdc62bd8923cf935a8d792017a43b |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.036993 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1804 |
| Total number of constraints | 4931 |
| Number of soft constraints | 1692 |
| Number of constraints which are clauses | 4707 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 224 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 9 |
| Top cost | 86670 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 86669 |
| Biggest number in a constraint | 19 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 64 |
| Number of bits of the biggest sum of numbers | 7 |
| 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 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3447306-1307899110.wbo>
0.00/0.03 c original problem has 3496 variables (3496 bin, 0 int, 0 impl, 0 cont) and 4932 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.06 c presolving:
0.00/0.08 c (round 1) 67 del vars, 51 del conss, 0 add conss, 16 chg bounds, 112 chg sides, 234 chg coeffs, 0 upgd conss, 32961 impls, 0 clqs
0.00/0.08 c (round 2) 77 del vars, 174 del conss, 0 add conss, 16 chg bounds, 112 chg sides, 234 chg coeffs, 0 upgd conss, 32961 impls, 0 clqs
0.08/0.09 c (round 3) 90 del vars, 177 del conss, 0 add conss, 1695 chg bounds, 112 chg sides, 234 chg coeffs, 0 upgd conss, 32961 impls, 0 clqs
0.09/0.12 c (round 4) 93 del vars, 177 del conss, 0 add conss, 1695 chg bounds, 112 chg sides, 234 chg coeffs, 3089 upgd conss, 32961 impls, 0 clqs
0.59/0.65 c (0.6s) probing: 1000/3416 (29.3%) - 0 fixings, 4 aggregations, 3770 implications, 0 bound changes
0.89/0.92 c (0.9s) probing: 1778/3416 (52.0%) - 0 fixings, 4 aggregations, 3833 implications, 0 bound changes
0.89/0.92 c (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.92 c (round 5) 97 del vars, 177 del conss, 0 add conss, 1695 chg bounds, 112 chg sides, 234 chg coeffs, 3089 upgd conss, 48941 impls, 0 clqs
0.89/0.93 c (round 6) 97 del vars, 181 del conss, 0 add conss, 1695 chg bounds, 112 chg sides, 234 chg coeffs, 3089 upgd conss, 48941 impls, 0 clqs
0.89/0.95 c (round 7) 97 del vars, 184 del conss, 0 add conss, 1695 chg bounds, 112 chg sides, 234 chg coeffs, 3089 upgd conss, 48941 impls, 0 clqs
0.89/0.96 c (1.0s) probing: 1788/3416 (52.3%) - 0 fixings, 4 aggregations, 3833 implications, 0 bound changes
0.89/0.96 c (1.0s) probing aborted: 100/100 successive totally useless probings
0.89/0.96 c presolving (8 rounds):
0.89/0.96 c 97 deleted vars, 184 deleted constraints, 0 added constraints, 1695 tightened bounds, 0 added holes, 112 changed sides, 234 changed coefficients
0.89/0.96 c 50620 implications, 0 cliques
0.89/0.96 c presolved problem has 5091 variables (3412 bin, 0 int, 1679 impl, 0 cont) and 6440 constraints
0.89/0.96 c 137 constraints of type <knapsack>
0.89/0.96 c 1963 constraints of type <setppc>
0.89/0.96 c 1679 constraints of type <linear>
0.89/0.96 c 1679 constraints of type <indicator>
0.89/0.96 c 982 constraints of type <logicor>
0.89/0.96 c transformed objective value is always integral (scale: 1)
0.89/0.96 c Presolving Time: 0.92
0.89/0.96 c - non default parameters ----------------------------------------------------------------------
0.89/0.96 c # SCIP version 2.0.1.4
0.89/0.96 c
0.89/0.96 c # frequency for displaying node information lines
0.89/0.96 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.96 c display/freq = 10000
0.89/0.96 c
0.89/0.96 c # maximal time in seconds to run
0.89/0.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.96 c limits/time = 1800
0.89/0.96 c
0.89/0.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.96 c limits/memory = 13950
0.89/0.96 c
0.89/0.96 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.96 c # [type: int, range: [1,2], default: 1]
0.89/0.96 c timing/clocktype = 2
0.89/0.96 c
0.89/0.96 c # belongs reading time to solving time?
0.89/0.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96 c timing/reading = TRUE
0.89/0.96 c
0.89/0.96 c # should presolving try to simplify inequalities
0.89/0.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96 c constraints/linear/simplifyinequalities = TRUE
0.89/0.96 c
0.89/0.96 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96 c constraints/indicator/addCouplingCons = TRUE
0.89/0.96 c
0.89/0.96 c # should presolving try to simplify knapsacks
0.89/0.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.96 c
0.89/0.96 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.96 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.96 c separating/rapidlearning/freq = 0
0.89/0.96 c
0.89/0.96 c -----------------------------------------------------------------------------------------------
0.89/0.96 c start solving
0.89/0.96 c
1.39/1.40 o 86003
1.39/1.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.40 c y 1.4s| 1 | 0 | 0 | - | 21M| 0 | - |5091 |8119 |5091 |4757 | 0 | 0 | 0 | -- | 8.600300e+04 | Inf
1.39/1.43 c 1.4s| 1 | 0 | 867 | - | 21M| 0 | 435 |5091 |8119 |5091 |4757 | 0 | 0 | 0 | 0.000000e+00 | 8.600300e+04 | Inf
1.79/1.86 c 1.9s| 1 | 0 | 1617 | - | 22M| 0 | 596 |5091 |8128 |5091 |4907 | 150 | 0 | 0 | 0.000000e+00 | 8.600300e+04 | Inf
1.99/2.08 c 2.1s| 1 | 0 | 1882 | - | 22M| 0 | 590 |5091 |8128 |5091 |5000 | 243 | 0 | 0 | 0.000000e+00 | 8.600300e+04 | Inf
2.79/2.81 c 2.8s| 1 | 0 | 2323 | - | 23M| 0 | 623 |5091 |8128 |5091 |5158 | 401 | 0 | 0 | 0.000000e+00 | 8.600300e+04 | Inf
3.19/3.21 c 3.2s| 1 | 0 | 3624 | - | 23M| 0 | 616 |5091 |8128 |5091 |5269 | 512 | 0 | 0 | 0.000000e+00 | 8.600300e+04 | Inf
3.49/3.52 c 3.5s| 1 | 0 | 4502 | - | 24M| 0 | 734 |5091 |8128 |5091 |5388 | 631 | 0 | 0 | 0.000000e+00 | 8.600300e+04 | Inf
3.89/3.91 c 3.9s| 1 | 0 | 5284 | - | 24M| 0 | 744 |5091 |8128 |5091 |5488 | 731 | 0 | 0 | 0.000000e+00 | 8.600300e+04 | Inf
4.99/5.06 c 5.1s| 1 | 2 | 10691 | - | 24M| 0 | 744 |5091 |8128 |5091 |5488 | 731 | 0 | 10 | 0.000000e+00 | 8.600300e+04 | Inf
36.09/36.20 o 1122
36.09/36.20 c *36.2s| 748 | 745 | 26486 | 28.4 | 33M| 103 | - |5091 |8169 |5091 |5170 | 818 | 41 |1901 | 0.000000e+00 | 1.122000e+03 | Inf
50.60/50.67 o 574
50.60/50.67 c *50.7s| 1414 | 1379 | 38230 | 23.3 | 37M| 108 | - |5091 |8170 |5091 |5187 |1521 | 42 |2587 | 0.000000e+00 | 5.740000e+02 | Inf
50.60/50.68 o 525
50.60/50.68 c R50.7s| 1415 | 1378 | 38231 | 23.3 | 38M| 108 | - |5091 |8170 |5091 |5187 |1521 | 42 |2587 | 0.000000e+00 | 5.250000e+02 | Inf
50.99/51.09 o 524
50.99/51.09 c r51.1s| 1430 | 1389 | 38734 | 23.4 | 38M| 108 | 1 |5091 |8172 |5091 |5186 |1598 | 44 |2587 | 0.000000e+00 | 5.240000e+02 | Inf
51.59/51.70 o 388
51.59/51.70 c R51.7s| 1461 | 1337 | 39358 | 23.3 | 38M| 108 | - |5091 |8184 |5091 |5182 |1692 | 56 |2593 | 0.000000e+00 | 3.880000e+02 | Inf
51.70/51.73 o 367
51.70/51.73 c *51.7s| 1465 | 1322 | 39381 | 23.3 | 38M| 108 | - |5091 |8184 |5091 |5182 |1692 | 56 |2593 | 0.000000e+00 | 3.670000e+02 | Inf
53.59/53.60 o 351
53.59/53.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.59/53.60 c *53.6s| 1562 | 1357 | 41411 | 23.1 | 38M| 108 | - |5091 |8241 |5091 |5180 |2001 | 113 |2599 | 0.000000e+00 | 3.510000e+02 | Inf
54.19/54.23 o 335
54.19/54.23 c *54.2s| 1595 | 1359 | 42158 | 23.1 | 38M| 108 | - |5091 |8253 |5091 |5156 |2097 | 125 |2599 | 0.000000e+00 | 3.350000e+02 | Inf
54.29/54.32 o 332
54.29/54.32 c *54.3s| 1598 | 1341 | 42282 | 23.2 | 38M| 108 | - |5091 |8253 |5091 |5162 |2105 | 125 |2599 | 0.000000e+00 | 3.320000e+02 | Inf
54.29/54.39 o 260
54.29/54.39 c *54.4s| 1600 | 1145 | 42382 | 23.2 | 37M| 108 | - |5091 |8253 |5091 |5170 |2113 | 125 |2599 | 0.000000e+00 | 2.600000e+02 | Inf
54.39/54.41 o 256
54.39/54.41 c *54.4s| 1601 | 1141 | 42403 | 23.2 | 37M| 108 | - |5091 |8253 |5091 |5162 |2113 | 125 |2599 | 0.000000e+00 | 2.560000e+02 | Inf
54.69/54.70 o 247
54.69/54.70 c *54.7s| 1613 | 1122 | 42842 | 23.3 | 37M| 108 | - |5091 |8257 |5091 |5155 |2159 | 129 |2599 | 0.000000e+00 | 2.470000e+02 | Inf
54.90/54.95 o 245
54.90/54.95 c *55.0s| 1622 | 1124 | 43196 | 23.4 | 37M| 108 | - |5091 |8259 |5091 |5150 |2200 | 132 |2599 | 0.000000e+00 | 2.450000e+02 | Inf
65.08/65.11 o 233
65.08/65.11 c *65.1s| 2117 | 1380 | 59215 | 25.5 | 38M| 108 | - |5091 |8378 |5091 |5155 |3388 | 319 |2676 | 0.000000e+00 | 2.330000e+02 | Inf
65.08/65.17 o 222
65.08/65.17 c *65.2s| 2119 | 1333 | 59289 | 25.5 | 38M| 108 | - |5091 |8378 |5091 |5155 |3390 | 319 |2676 | 0.000000e+00 | 2.220000e+02 | Inf
83.19/83.28 o 215
83.19/83.28 c *83.3s| 3159 | 1915 | 80517 | 23.8 | 41M| 108 | - |5091 |8523 |5091 |5155 |5760 | 921 |2718 | 0.000000e+00 | 2.150000e+02 | Inf
83.29/83.40 o 199
83.29/83.40 c *83.4s| 3164 | 1870 | 80649 | 23.8 | 41M| 108 | - |5091 |8521 |5091 |5165 |5770 | 924 |2718 | 0.000000e+00 | 1.990000e+02 | Inf
108.69/108.77 o 192
108.69/108.77 c * 109s| 4959 | 3449 |119809 | 23.1 | 47M| 108 | - |5091 |8909 |5091 |5146 |6483 |1901 |2925 | 0.000000e+00 | 1.920000e+02 | Inf
109.19/109.25 o 184
109.19/109.25 c * 109s| 4988 | 3459 |120495 | 23.1 | 47M| 108 | - |5091 |8914 |5091 |5162 |6545 |1914 |2925 | 0.000000e+00 | 1.840000e+02 | Inf
117.39/117.48 o 183
117.39/117.48 c p 117s| 5423 | 3856 |134906 | 23.9 | 49M| 108 | - |5091 |8920 |5091 |5109 |6545 |2237 |2966 | 0.000000e+00 | 1.830000e+02 | Inf
117.89/117.90 o 181
117.89/117.90 c f 118s| 5439 | 3861 |135861 | 24.0 | 49M| 108 | - |5091 |8921 |5091 |5109 |6545 |2250 |2991 | 0.000000e+00 | 1.810000e+02 | Inf
129.19/129.21 o 180
129.19/129.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.19/129.21 c v 129s| 5806 | 4179 |160438 | 26.7 | 52M| 108 | - |5091 |8962 |5091 |5109 |6545 |2486 |3338 | 0.000000e+00 | 1.800000e+02 | Inf
129.49/129.52 o 174
129.49/129.52 c l 130s| 5818 | 4153 |161431 | 26.8 | 52M| 108 | - |5091 |8960 |5091 |5109 |6545 |2497 |3341 | 0.000000e+00 | 1.740000e+02 | Inf
129.80/129.81 o 171
129.80/129.81 c g 130s| 5830 | 4152 |162371 | 26.9 | 52M| 108 | - |5091 |8952 |5091 |5109 |6545 |2504 |3341 | 0.000000e+00 | 1.710000e+02 | Inf
148.19/148.20 o 170
148.19/148.20 c v 148s| 6485 | 4734 |219663 | 33.1 | 57M| 108 | - |5091 |8951 |5091 |5109 |6545 |2831 |3715 | 0.000000e+00 | 1.700000e+02 | Inf
200.99/201.01 o 169
200.99/201.01 c f 201s| 8005 | 5780 |331601 | 40.8 | 66M| 108 | - |5091 |9164 |5091 |5109 |9037 |3875 |4660 | 0.000000e+00 | 1.690000e+02 | Inf
212.59/212.60 o 168
212.59/212.60 c * 213s| 8350 | 5925 |351547 | 41.5 | 67M| 108 | - |5091 |9112 |5091 |5156 | 10k|4161 |4698 | 0.000000e+00 | 1.680000e+02 | Inf
212.59/212.63 o 165
212.59/212.63 c * 213s| 8351 | 5904 |351595 | 41.5 | 67M| 108 | - |5091 |9111 |5091 |5156 | 10k|4161 |4698 | 0.000000e+00 | 1.650000e+02 | Inf
227.69/227.75 o 163
227.69/227.75 c * 228s| 8964 | 6334 |383525 | 42.2 | 72M| 108 | - |5091 |9171 |5091 |5151 | 11k|4569 |4769 | 0.000000e+00 | 1.630000e+02 | Inf
227.69/227.79 o 160
227.69/227.79 c * 228s| 8965 | 6290 |383565 | 42.2 | 71M| 108 | - |5091 |9169 |5091 |5151 | 11k|4569 |4769 | 0.000000e+00 | 1.600000e+02 | Inf
228.00/228.02 o 156
228.00/228.02 c * 228s| 8970 | 6260 |383869 | 42.2 | 71M| 108 | - |5091 |9165 |5091 |5153 | 11k|4569 |4769 | 0.000000e+00 | 1.560000e+02 | Inf
228.00/228.05 o 153
228.00/228.05 c * 228s| 8971 | 6212 |383911 | 42.2 | 70M| 108 | - |5091 |9162 |5091 |5153 | 11k|4569 |4769 | 0.000000e+00 | 1.530000e+02 | Inf
228.89/228.98 o 151
228.89/228.98 c p 229s| 9001 | 6205 |385693 | 42.3 | 70M| 108 | - |5091 |9163 |5091 |5109 | 11k|4587 |4802 | 0.000000e+00 | 1.510000e+02 | Inf
235.79/235.80 o 149
235.79/235.80 c v 236s| 9238 | 6281 |404824 | 43.3 | 71M| 108 | - |5091 |9157 |5091 |5109 | 11k|4761 |4849 | 0.000000e+00 | 1.490000e+02 | Inf
242.79/242.81 o 148
242.79/242.81 c f 243s| 9561 | 6444 |417910 | 43.2 | 72M| 108 | - |5091 |9120 |5091 |5109 | 11k|4989 |4896 | 0.000000e+00 | 1.480000e+02 | Inf
243.59/243.61 o 146
243.59/243.61 c l 244s| 9589 | 6456 |420122 | 43.3 | 72M| 108 | - |5091 |9111 |5091 |5109 | 11k|5006 |4909 | 0.000000e+00 | 1.460000e+02 | Inf
254.49/254.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.49/254.52 c 255s| 10000 | 6710 |443572 | 43.8 | 76M| 108 | 17 |5091 |9068 |5091 |5109 | 11k|5229 |5161 | 0.000000e+00 | 1.460000e+02 | Inf
269.20/269.21 o 145
269.20/269.21 c p 269s| 10524 | 7143 |475363 | 44.7 | 80M| 108 | - |5091 |9051 |5091 |5109 | 11k|5639 |5390 | 0.000000e+00 | 1.450000e+02 | Inf
280.70/280.76 o 144
280.70/280.76 c l 281s| 10990 | 7459 |502742 | 45.3 | 85M| 108 | - |5091 |8999 |5091 |5109 | 11k|5907 |5616 | 0.000000e+00 | 1.440000e+02 | Inf
282.70/282.74 o 141
282.70/282.74 c l 283s| 11047 | 7442 |507461 | 45.5 | 85M| 108 | - |5091 |8990 |5091 |5109 | 11k|5932 |5667 | 0.000000e+00 | 1.410000e+02 | Inf
283.40/283.45 o 140
283.40/283.45 c p 283s| 11070 | 7457 |509012 | 45.5 | 85M| 108 | - |5091 |8978 |5091 |5109 | 11k|5939 |5682 | 0.000000e+00 | 1.400000e+02 | Inf
283.89/283.91 o 137
283.89/283.91 c f 284s| 11081 | 7435 |510420 | 45.6 | 85M| 108 | - |5091 |8957 |5091 |5109 | 11k|5944 |5690 | 0.000000e+00 | 1.370000e+02 | Inf
284.39/284.46 o 136
284.39/284.46 c l 284s| 11117 | 7402 |511595 | 45.5 | 84M| 108 | - |5091 |8975 |5091 |5109 | 11k|5987 |5695 | 0.000000e+00 | 1.360000e+02 | Inf
293.60/293.63 o 135
293.60/293.63 c l 294s| 11478 | 7630 |532214 | 45.9 | 86M| 108 | - |5091 |9028 |5091 |5109 | 11k|6274 |5848 | 0.000000e+00 | 1.350000e+02 | Inf
479.50/479.60 o 134
479.50/479.60 c c 480s| 16981 | 9251 |745527 | 43.6 | 110M| 108 | - |5091 |9021 |5091 |5065 | 40k|9042 |7218 | 0.000000e+00 | 1.340000e+02 | Inf
627.50/627.58 c 628s| 20000 | 10090 |912352 | 45.4 | 125M| 108 | 251 |5091 |8955 |5091 |5065 | 66k| 10k|8396 | 0.000000e+00 | 1.340000e+02 | Inf
713.41/713.46 o 133
713.41/713.46 c c 713s| 21912 | 10541 | 1012k| 46.0 | 140M| 108 | - |5091 |9043 |5091 |5065 | 80k| 11k|9226 | 0.000000e+00 | 1.330000e+02 | Inf
809.31/809.35 o 131
809.31/809.35 c l 809s| 24258 | 11175 | 1121k| 46.0 | 154M| 108 | - |5091 |9046 |5091 |5109 | 96k| 12k|9828 | 0.000000e+00 | 1.310000e+02 | Inf
811.61/811.65 o 130
811.61/811.65 c c 812s| 24346 | 11191 | 1126k| 46.1 | 154M| 108 | - |5091 |9050 |5091 |5109 | 96k| 12k|9846 | 0.000000e+00 | 1.300000e+02 | Inf
816.21/816.24 o 129
816.21/816.24 c g 816s| 24501 | 11232 | 1135k| 46.1 | 156M| 108 | - |5091 |9074 |5091 |5065 | 96k| 12k|9885 | 0.000000e+00 | 1.290000e+02 | Inf
821.71/821.73 o 108
821.71/821.73 c * 822s| 24630 | 10777 | 1147k| 46.4 | 148M| 108 | - |5091 |9021 |5091 |5140 | 97k| 12k|9919 | 0.000000e+00 | 1.080000e+02 | Inf
822.81/822.87 o 99
822.81/822.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.81/822.87 c * 823s| 24660 | 9890 | 1149k| 46.4 | 133M| 108 | - |5091 |9021 |5091 |5173 | 97k| 12k|9919 | 0.000000e+00 | 9.900000e+01 | Inf
824.70/824.75 o 97
824.70/824.75 c * 825s| 24728 | 9820 | 1152k| 46.4 | 132M| 108 | - |5091 |8930 |5091 |5138 | 97k| 12k|9937 | 0.000000e+00 | 9.700000e+01 | Inf
828.60/828.66 o 94
828.60/828.66 c * 829s| 24931 | 9810 | 1159k| 46.3 | 133M| 108 | - |5091 |8805 |5091 |5140 | 97k| 12k|9959 | 0.000000e+00 | 9.400000e+01 | Inf
829.50/829.53 o 92
829.50/829.53 c * 830s| 24970 | 9788 | 1160k| 46.3 | 133M| 108 | - |5091 |8680 |5091 |5112 | 97k| 12k|9959 | 0.000000e+00 | 9.200000e+01 | Inf
830.61/830.64 o 89
830.61/830.64 c g 831s| 25034 | 9760 | 1163k| 46.3 | 133M| 108 | - |5091 |8590 |5091 |5109 | 97k| 12k|9960 | 0.000000e+00 | 8.900000e+01 | Inf
830.80/830.84 o 87
830.80/830.84 c p 831s| 25045 | 9678 | 1163k| 46.3 | 132M| 108 | - |5091 |8477 |5091 |5109 | 97k| 12k|9960 | 0.000000e+00 | 8.700000e+01 | Inf
838.21/838.23 o 86
838.21/838.23 c c 838s| 25348 | 9704 | 1178k| 46.3 | 133M| 108 | - |5091 |8351 |5091 |5109 | 97k| 12k|9983 | 0.000000e+00 | 8.600000e+01 | Inf
845.10/845.13 o 74
845.10/845.13 c * 845s| 25614 | 8240 | 1189k| 46.2 | 121M| 108 | - |5091 |8372 |5091 |5142 | 98k| 13k| 10k| 0.000000e+00 | 7.400000e+01 | Inf
855.60/855.61 o 72
855.60/855.61 c * 856s| 26030 | 8196 | 1204k| 46.1 | 118M| 108 | - |5091 |8004 |5091 |5149 | 99k| 13k| 10k| 0.000000e+00 | 7.200000e+01 | Inf
860.51/860.52 o 70
860.51/860.52 c v 861s| 26178 | 7887 | 1212k| 46.1 | 113M| 108 | - |5091 |7913 |5091 |5109 | 100k| 13k| 10k| 0.000000e+00 | 7.000000e+01 | Inf
876.80/876.88 o 68
876.80/876.88 c p 877s| 26622 | 7583 | 1238k| 46.3 | 108M| 108 | - |5091 |7775 |5091 |5065 | 102k| 13k| 10k| 0.000000e+00 | 6.800000e+01 | Inf
894.31/894.35 o 64
894.31/894.35 c v 894s| 26931 | 7064 | 1260k| 46.6 | 91M| 108 | - |5091 |7704 |5091 |5109 | 106k| 13k| 10k| 0.000000e+00 | 6.400000e+01 | Inf
899.81/899.81 o 57
899.81/899.81 c * 900s| 27108 | 5472 | 1269k| 46.7 | 72M| 108 | - |5091 |7593 |5091 |5164 | 107k| 13k| 10k| 0.000000e+00 | 5.700000e+01 | Inf
900.51/900.52 o 55
900.51/900.52 c * 901s| 27131 | 5382 | 1270k| 46.6 | 71M| 108 | - |5091 |7291 |5091 |5152 | 107k| 13k| 10k| 0.000000e+00 | 5.500000e+01 | Inf
903.30/903.34 o 52
903.30/903.34 c v 903s| 27192 | 5296 | 1275k| 46.7 | 69M| 108 | - |5091 |7180 |5091 |5109 | 107k| 13k| 10k| 0.000000e+00 | 5.200000e+01 | Inf
910.71/910.78 o 50
910.71/910.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
910.71/910.78 c g 911s| 27382 | 5163 | 1285k| 46.8 | 65M| 108 | - |5091 |7133 |5091 |5109 | 109k| 13k| 10k| 0.000000e+00 | 5.000000e+01 | Inf
919.90/919.91 o 47
919.90/919.91 c c 920s| 27541 | 5030 | 1293k| 46.8 | 63M| 108 | - |5091 |7086 |5091 |5109 | 111k| 13k| 10k| 0.000000e+00 | 4.700000e+01 | Inf
926.80/926.87 o 45
926.80/926.87 c v 927s| 27804 | 4784 | 1312k| 47.0 | 62M| 108 | - |5091 |6972 |5091 |5109 | 111k| 14k| 10k| 0.000000e+00 | 4.500000e+01 | Inf
927.91/927.91 o 44
927.91/927.91 c p 928s| 27838 | 4630 | 1315k| 47.1 | 60M| 108 | - |5091 |6914 |5091 |5109 | 111k| 14k| 10k| 0.000000e+00 | 4.400000e+01 | Inf
930.31/930.39 o 41
930.31/930.39 c p 930s| 27905 | 4570 | 1323k| 47.2 | 59M| 108 | - |5091 |6858 |5091 |5109 | 111k| 14k| 10k| 0.000000e+00 | 4.100000e+01 | Inf
932.31/932.38 o 35
932.31/932.38 c * 932s| 27997 | 4426 | 1327k| 47.2 | 57M| 108 | - |5091 |6704 |5091 |5068 | 111k| 14k| 10k| 0.000000e+00 | 3.500000e+01 | Inf
932.51/932.59 o 21
932.51/932.59 c * 933s| 28006 | 4120 | 1328k| 47.2 | 53M| 108 | - |5091 |6492 |5091 |5076 | 111k| 14k| 10k| 0.000000e+00 | 2.100000e+01 | Inf
932.71/932.76 o 19
932.71/932.76 c * 933s| 28019 | 4080 | 1328k| 47.2 | 52M| 108 | - |5091 |5905 |5091 |5066 | 111k| 14k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
933.00/933.00 o 16
933.00/933.00 c * 933s| 28035 | 4033 | 1329k| 47.2 | 51M| 108 | - |5091 |5821 |5091 |5070 | 111k| 14k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
933.10/933.12 o 14
933.10/933.12 c * 933s| 28049 | 4022 | 1329k| 47.2 | 51M| 108 | - |5091 |5708 |5091 |5068 | 111k| 14k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
934.70/934.76 o 13
934.70/934.76 c * 935s| 28114 | 4003 | 1335k| 47.3 | 51M| 108 | - |5091 |5630 |5091 |5109 | 111k| 14k| 10k| 0.000000e+00 | 1.300000e+01 | Inf
934.80/934.82 o 11
934.80/934.82 c * 935s| 28121 | 3977 | 1335k| 47.3 | 51M| 108 | - |5091 |5561 |5091 |5109 | 111k| 14k| 10k| 0.000000e+00 | 1.100000e+01 | Inf
934.91/934.98 o 10
934.91/934.98 c * 935s| 28147 | 3938 | 1336k| 47.3 | 51M| 108 | - |5091 |5518 |5091 |5065 | 111k| 14k| 10k| 0.000000e+00 | 1.000000e+01 | Inf
935.11/935.15 o 8
935.11/935.15 c * 935s| 28178 | 3821 | 1337k| 47.3 | 50M| 108 | - |5091 |5473 |5091 |5110 | 111k| 14k| 10k| 0.000000e+00 | 8.000000e+00 | Inf
935.61/935.64 o 4
935.61/935.64 c * 936s| 28229 | 3545 | 1338k| 47.2 | 48M| 108 | - |5091 |5118 |5091 |5112 | 111k| 14k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
939.90/939.93 o 2
939.90/939.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
939.90/939.93 c * 940s| 28319 | 3387 | 1353k| 47.6 | 47M| 108 | - |5091 |4966 |5091 |5067 | 111k| 14k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
971.91/971.92 c 972s| 30000 | 2522 | 1487k| 49.4 | 46M| 108 | 540 |5091 |5314 |5091 |5065 | 111k| 15k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1004.71/1004.72 c
1004.71/1004.72 c SCIP Status : problem is solved [optimal solution found]
1004.71/1004.72 c Solving Time (sec) : 1004.72
1004.71/1004.72 c Solving Nodes : 31842
1004.71/1004.72 c Primal Bound : +2.00000000000000e+00 (279 solutions)
1004.71/1004.72 c Dual Bound : +2.00000000000000e+00
1004.71/1004.72 c Gap : 0.00 %
1004.71/1004.72 s OPTIMUM FOUND
1004.71/1004.72 v x1804 -x1803 -x1802 -x1801 -x1800 -x1799 x1798 x1797 -x1796 -x1795 -x1794 x1793 -x1792 x1791 x1790 x1789 -x1788 x1787 x1786 x1785
1004.71/1004.72 v -x1784 -x1783 x1782 x1781 x1780 x1779 x1778 x1777 x1776 -x1775 x1774 x1773 -x1772 x1771 x1770 x1769 -x1768 x1767 x1766 x1765
1004.71/1004.72 v -x1764 -x1763 x1762 -x1761 -x1760 x1759 -x1758 x1757 -x1756 x1755 -x1754 x1753 x1752 -x1751 -x1750 x1749 -x1748 x1747 -x1746
1004.71/1004.72 v -x1745 -x1744 x1743 x1742 x1741 -x1740 x1739 -x1738 -x1737 x1736 x1735 x1734 x1733 x1732 x1731 x1730 x1729 x1728 -x1727 -x1726
1004.71/1004.72 v -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 x1716 x1715 x1714 x1713 -x1712 x1711 x1710 -x1709 x1708 x1707
1004.71/1004.72 v -x1706 x1705 x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689
1004.71/1004.72 v -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 x1673 x1672 x1671
1004.71/1004.72 v x1670 -x1669 x1668 x1667 -x1666 x1665 x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652
1004.71/1004.72 v -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 x1636 x1635 x1634
1004.71/1004.72 v x1633 -x1632 x1631 x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 x1618 -x1617 -x1616 -x1615
1004.71/1004.72 v -x1614 -x1613 -x1612 -x1611 x1610 x1609 x1608 x1607 x1606 x1605 x1604 -x1603 -x1602 -x1601 -x1600 -x1599 x1598 x1597 x1596
1004.71/1004.72 v -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578
1004.71/1004.72 v -x1577 -x1576 x1575 x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560
1004.71/1004.72 v -x1559 -x1558 -x1557 -x1556 -x1555 x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 x1542
1004.71/1004.72 v -x1541 -x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524
1004.71/1004.72 v -x1523 -x1522 -x1521 -x1520 x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 x1510 -x1509 -x1508 -x1507 -x1506
1004.71/1004.72 v -x1505 x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487
1004.71/1004.72 v -x1486 -x1485 x1484 x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 x1472 -x1471 -x1470 x1469
1004.71/1004.72 v -x1468 -x1467 -x1466 x1465 -x1464 -x1463 x1462 x1461 x1460 x1459 x1458 -x1457 -x1456 x1455 x1454 x1453 x1452 x1451 -x1450
1004.71/1004.72 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 x1433 -x1432 x1431
1004.71/1004.72 v -x1430 -x1429 -x1428 -x1427 x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 x1418 -x1417 x1416 -x1415 -x1414 -x1413
1004.71/1004.72 v -x1412 -x1411 -x1410 -x1409 -x1408 x1407 -x1406 -x1405 x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395
1004.71/1004.72 v x1394 x1393 x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376
1004.71/1004.72 v -x1375 x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358
1004.71/1004.72 v -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 x1343 -x1342 -x1341 -x1340
1004.71/1004.72 v -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322
1004.71/1004.72 v -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305
1004.71/1004.72 v -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 x1289 -x1288 -x1287
1004.71/1004.72 v -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269
1004.71/1004.72 v -x1268 x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 x1255 -x1254 -x1253 -x1252 -x1251 -x1250
1004.71/1004.72 v -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 x1232
1004.71/1004.72 v x1231 x1230 x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 x1219 -x1218 -x1217 -x1216 -x1215 -x1214
1004.71/1004.72 v -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196
1004.71/1004.72 v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 -x1181 -x1180 -x1179 -x1178
1004.71/1004.72 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160
1004.71/1004.72 v -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142
1004.71/1004.72 v -x1141 -x1140 -x1139 x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124
1004.71/1004.72 v -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106
1004.71/1004.72 v -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088
1004.71/1004.72 v -x1087 -x1086 -x1085 -x1084 -x1083 x1082 x1081 x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1074 -x1073 -x1072 -x1071 -x1070
1004.71/1004.72 v -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052
1004.71/1004.72 v -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034
1004.71/1004.72 v -x1033 -x1032 x1031 -x1030 -x1029 -x1028 x1027 -x1026 -x1025 -x1024 -x1023 x1022 x1021 x1020 -x1019 -x1018 x1017 -x1016 -x1015
1004.71/1004.72 v -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 x998 -x997 -x996
1004.71/1004.72 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 x982 x981 x980 -x979 -x978 -x977 -x976 -x975
1004.71/1004.72 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 x955 -x954 -x953
1004.71/1004.72 v -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933
1004.71/1004.72 v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 x919 x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911
1004.71/1004.72 v -x910 -x909 -x908 x907 -x906 -x905 -x904 x903 x902 x901 -x900 -x899 x898 x897 x896 -x895 -x894 -x893 x892 -x891 -x890 -x889
1004.71/1004.72 v -x888 -x887 -x886 -x885 x884 -x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 x875 -x874 -x873 -x872 -x871 -x870 x869 -x868
1004.71/1004.72 v -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 x857 x856 x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846
1004.71/1004.72 v -x845 x844 -x843 -x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825
1004.71/1004.72 v -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804
1004.71/1004.72 v -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783
1004.71/1004.72 v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 x765 -x764 x763 x762
1004.71/1004.72 v x761 x760 -x759 -x758 x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 x747 -x746 x745 x744 x743 x742 -x741 -x740 -x739
1004.71/1004.72 v -x738 -x737 -x736 -x735 x734 -x733 x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718
1004.71/1004.72 v -x717 -x716 -x715 -x714 -x713 -x712 -x711 x710 x709 x708 x707 -x706 x705 -x704 -x703 -x702 -x701 x700 -x699 -x698 -x697 -x696
1004.71/1004.72 v -x695 -x694 -x693 -x692 -x691 -x690 x689 x688 x687 x686 -x685 -x684 -x683 -x682 -x681 x680 x679 x678 -x677 -x676 -x675 -x674
1004.71/1004.72 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 x663 -x662 -x661 -x660 x659 x658 x657 -x656 -x655 -x654 -x653 x652
1004.71/1004.72 v x651 x650 -x649 -x648 -x647 -x646 -x645 x644 x643 -x642 x641 x640 x639 x638 -x637 -x636 x635 x634 -x633 x632 -x631 -x630
1004.71/1004.72 v -x629 -x628 -x627 x626 x625 x624 x623 x622 x621 x620 x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607
1004.71/1004.72 v x606 -x605 x604 x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 x594 x593 x592 -x591 x590 x589 -x588 -x587 -x586 -x585
1004.71/1004.72 v -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 x574 -x573 x572 x571 -x570 x569 x568 -x567 -x566 -x565 -x564 -x563
1004.71/1004.72 v -x562 -x561 -x560 x559 x558 x557 x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 x547 x546 x545 x544 x543 x542 -x541
1004.71/1004.72 v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 x528 x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
1004.71/1004.72 v x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 x511 x510 -x509 -x508 x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 x499 -x498
1004.71/1004.72 v -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 -x481 -x480 -x479 -x478 -x477
1004.71/1004.72 v -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455
1004.71/1004.72 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 x436 -x435 -x434
1004.71/1004.72 v -x433 -x432 -x431 -x430 x429 x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 -x416 -x415 x414 x413 -x412
1004.71/1004.72 v -x411 -x410 x409 x408 x407 -x406 x405 -x404 -x403 -x402 x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 x393 x392 x391 x390
1004.71/1004.72 v x389 x388 x387 x386 -x385 x384 x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 -x368
1004.71/1004.72 v x367 x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346
1004.71/1004.72 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 x335 x334 x333 x332 x331 x330 x329 x328 -x327 -x326 -x325 -x324
1004.71/1004.72 v -x323 x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 x313 x312 x311 -x310 x309 -x308 -x307 -x306 x305 -x304 -x303 -x302
1004.71/1004.72 v -x301 -x300 -x299 x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 x280
1004.71/1004.72 v x279 x278 x277 x276 x275 x274 x273 x272 -x271 -x270 x269 x268 -x267 -x266 x265 -x264 -x263 x262 x261 -x260 x259 x258 x257
1004.71/1004.72 v -x256 -x255 -x254 -x253 x252 x251 -x250 -x249 -x248 -x247 -x246 x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 x235
1004.71/1004.72 v -x234 -x233 x232 -x231 x230 x229 -x228 x227 -x226 x225 -x224 -x223 -x222 x221 -x220 -x219 x218 x217 -x216 -x215 -x214 -x213
1004.71/1004.72 v -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 x198 x197 x196 -x195 -x194 -x193 x192 -x191
1004.71/1004.72 v -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 x170 x169
1004.71/1004.72 v x168 -x167 x166 x165 x164 -x163 x162 -x161 -x160 x159 x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147
1004.71/1004.72 v -x146 -x145 x144 -x143 -x142 x141 -x140 -x139 x138 -x137 x136 x135 x134 -x133 x132 x131 -x130 -x129 -x128 x127 -x126 x125 x124
1004.71/1004.72 v x123 -x122 x121 x120 x119 x118 x117 x116 x115 -x114 -x113 -x112 x111 x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102
1004.71/1004.72 v x101 x100 -x99 -x98 x97 x96 x95 x94 x93 x92 -x91 -x90 x89 -x88 x87 x86 x85 -x84 -x83 -x82 -x81 x80 x79 x78 -x77 x76 -x75 -x74
1004.71/1004.72 v -x73 -x72 x71 -x70 x69 -x68 -x67 x66 -x65 -x64 -x63 x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 x51 x50 x49 x48 x47
1004.71/1004.72 v x46 -x45 -x44 x43 -x42 -x41 x40 -x39 -x38 x37 -x36 x35 -x34 -x33 x32 x31 x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 x22 -x21 -x20
1004.71/1004.72 v x19 x18 x17 -x16 x15 x14 -x13 -x12 x11 -x10 x9 -x8 x7 x6 x5 -x4 -x3 x2 -x1
1004.71/1004.72 c SCIP Status : problem is solved [optimal solution found]
1004.71/1004.72 c Total Time : 1004.72
1004.71/1004.72 c solving : 1004.72
1004.71/1004.72 c presolving : 0.92 (included in solving)
1004.71/1004.72 c reading : 0.04 (included in solving)
1004.71/1004.72 c Original Problem :
1004.71/1004.72 c Problem name : HOME/instance-3447306-1307899110.wbo
1004.71/1004.72 c Variables : 3496 (3496 binary, 0 integer, 0 implicit integer, 0 continuous)
1004.71/1004.72 c Constraints : 4932 initial, 4932 maximal
1004.71/1004.72 c Presolved Problem :
1004.71/1004.72 c Problem name : t_HOME/instance-3447306-1307899110.wbo
1004.71/1004.72 c Variables : 5091 (3412 binary, 0 integer, 1679 implicit integer, 0 continuous)
1004.71/1004.72 c Constraints : 6440 initial, 9186 maximal
1004.71/1004.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1004.71/1004.72 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1004.71/1004.72 c dualfix : 0.00 26 0 0 0 0 0 0 0 0
1004.71/1004.72 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1004.71/1004.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1004.71/1004.72 c implics : 0.00 0 50 0 0 0 0 0 0 0
1004.71/1004.72 c probing : 0.79 0 4 0 0 0 0 0 0 0
1004.71/1004.72 c varbound : 0.00 0 0 0 0 0 0 0 0 0
1004.71/1004.72 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1004.71/1004.72 c setppc : 0.01 0 0 0 0 0 7 0 0 0
1004.71/1004.72 c linear : 0.07 16 1 0 1695 0 164 0 112 234
1004.71/1004.72 c indicator : 0.00 0 0 0 0 0 13 0 0 0
1004.71/1004.72 c logicor : 0.02 0 0 0 0 0 0 0 0 0
1004.71/1004.72 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 0
1004.71/1004.72 c root node : - 4357 - - 4357 - - - - -
1004.71/1004.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1004.71/1004.72 c integral : 0 0 0 135693 0 1717 0 3 211 0 0 49402
1004.71/1004.72 c varbound : 0+ 6 325380 110826 0 0 17980 10 2224114 110976 0 0
1004.71/1004.72 c knapsack : 137 6 327574 42 0 1714 14034 486 41232 598 0 0
1004.71/1004.72 c setppc : 1963 6 327239 42 0 1707 89899 360 628612 0 0 0
1004.71/1004.72 c linear : 1679+ 7 326942 42 0 1707 64539 1923 1042543 0 0 0
1004.71/1004.72 c indicator : 1679 0 326871 110826 0 1707 15715 0 10216 0 0 0
1004.71/1004.72 c logicor : 982+ 6 226003 42 0 237 37646 2716 417569 0 0 0
1004.71/1004.72 c bounddisjunction : 0+ 0 53901 0 0 0 3448 91 9092 0 0 0
1004.71/1004.72 c countsols : 0 0 0 42 0 239 0 0 0 0 0 0
1004.71/1004.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1004.71/1004.72 c integral : 105.22 0.00 0.00 105.20 0.00 0.02 0.00
1004.71/1004.72 c varbound : 17.71 0.00 9.01 8.69 0.00 0.00 0.01
1004.71/1004.72 c knapsack : 0.98 0.01 0.88 0.00 0.00 0.08 0.01
1004.71/1004.72 c setppc : 7.68 0.00 7.21 0.00 0.00 0.43 0.04
1004.71/1004.72 c linear : 9.04 0.00 8.30 0.00 0.00 0.68 0.06
1004.71/1004.72 c indicator : 35.10 0.00 10.57 22.63 0.00 1.90 0.01
1004.71/1004.72 c logicor : 2.78 0.00 2.71 0.00 0.00 0.03 0.04
1004.71/1004.72 c bounddisjunction : 0.32 0.00 0.32 0.00 0.00 0.00 0.00
1004.71/1004.72 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1004.71/1004.72 c Propagators : #Propagate #Resprop Cutoffs DomReds
1004.71/1004.72 c vbounds : 136596 4494 16 2169032
1004.71/1004.72 c rootredcost : 80 0 0 1664
1004.71/1004.72 c pseudoobj : 328774 23430 2135 2220617
1004.71/1004.72 c Propagator Timings : TotalTime Propagate Resprop
1004.71/1004.72 c vbounds : 29.76 29.76 0.00
1004.71/1004.72 c rootredcost : 0.10 0.10 0.00
1004.71/1004.72 c pseudoobj : 14.01 13.49 0.51
1004.71/1004.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1004.71/1004.72 c propagation : 0.83 7737 7640 25322 22.0 1098 9.5 -
1004.71/1004.72 c infeasible LP : 0.11 207 207 304 7.9 18 7.9 0
1004.71/1004.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1004.71/1004.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1004.71/1004.72 c pseudo solution : 0.00 2 2 2 2.5 0 0.0 -
1004.71/1004.72 c applied globally : - - - 16818 17.6 - - -
1004.71/1004.72 c applied locally : - - - 0 0.0 - - -
1004.71/1004.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1004.71/1004.72 c cut pool : 0.00 5 - - 413 - (maximal pool size: 1874)
1004.71/1004.72 c redcost : 8.49 50813 0 2143091 0 0
1004.71/1004.72 c impliedbounds : 0.00 6 0 0 109 0
1004.71/1004.72 c intobj : 0.00 0 0 0 0 0
1004.71/1004.72 c gomory : 0.58 6 0 0 2722 0
1004.71/1004.72 c cgmip : 0.00 0 0 0 0 0
1004.71/1004.72 c closecuts : 0.00 0 0 0 0 0
1004.71/1004.72 c strongcg : 0.48 6 0 0 2868 0
1004.71/1004.72 c cmir : 0.17 6 0 0 0 0
1004.71/1004.72 c flowcover : 0.36 6 0 0 871 0
1004.71/1004.72 c clique : 0.02 6 0 0 40 0
1004.71/1004.72 c zerohalf : 0.00 0 0 0 0 0
1004.71/1004.72 c mcf : 0.01 1 0 0 0 0
1004.71/1004.72 c oddcycle : 0.00 0 0 0 0 0
1004.71/1004.72 c rapidlearning : 0.19 1 0 0 0 9
1004.71/1004.72 c Pricers : Time Calls Vars
1004.71/1004.72 c problem variables: 0.00 0 0
1004.71/1004.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1004.71/1004.72 c relpscost : 105.14 24864 3 211 0 0 49402
1004.71/1004.72 c pscost : 0.00 0 0 0 0 0 0
1004.71/1004.72 c inference : 0.00 0 0 0 0 0 0
1004.71/1004.72 c mostinf : 0.00 0 0 0 0 0 0
1004.71/1004.72 c leastinf : 0.00 0 0 0 0 0 0
1004.71/1004.72 c fullstrong : 0.00 0 0 0 0 0 0
1004.71/1004.72 c allfullstrong : 0.00 0 0 0 0 0 0
1004.71/1004.72 c random : 0.00 0 0 0 0 0 0
1004.71/1004.72 c Primal Heuristics : Time Calls Found
1004.71/1004.72 c LP solutions : 0.04 - 42
1004.71/1004.72 c pseudo solutions : 0.00 - 0
1004.71/1004.72 c intshifting : 0.00 0 0
1004.71/1004.72 c feaspump : 0.69 1 0
1004.71/1004.72 c oneopt : 1.82 76 0
1004.71/1004.72 c objpscostdiving : 5.64 17 0
1004.71/1004.72 c rootsoldiving : 3.00 20 0
1004.71/1004.72 c crossover : 1.73 25 0
1004.71/1004.72 c fracdiving : 22.08 141 4
1004.71/1004.72 c coefdiving : 27.80 141 5
1004.71/1004.72 c veclendiving : 19.54 141 7
1004.71/1004.72 c linesearchdiving : 24.11 142 7
1004.71/1004.72 c guideddiving : 26.17 142 4
1004.71/1004.72 c pscostdiving : 20.20 142 8
1004.71/1004.72 c trivial : 0.00 2 0
1004.71/1004.72 c shiftandpropagate: 0.43 1 0
1004.71/1004.72 c simplerounding : 0.28 26951 1
1004.71/1004.72 c zirounding : 0.24 1000 0
1004.71/1004.72 c rounding : 2.59 9818 2
1004.71/1004.72 c shifting : 1.44 677 0
1004.71/1004.72 c twoopt : 0.00 0 0
1004.71/1004.72 c fixandinfer : 0.00 0 0
1004.71/1004.72 c clique : 0.00 0 0
1004.71/1004.72 c intdiving : 0.00 0 0
1004.71/1004.72 c actconsdiving : 0.00 0 0
1004.71/1004.72 c octane : 0.00 0 0
1004.71/1004.72 c rens : 0.06 1 0
1004.71/1004.72 c rins : 0.00 0 0
1004.71/1004.72 c localbranching : 0.00 0 0
1004.71/1004.72 c mutation : 0.00 0 0
1004.71/1004.72 c dins : 0.00 0 0
1004.71/1004.72 c vbounds : 0.00 0 0
1004.71/1004.72 c undercover : 0.00 0 0
1004.71/1004.72 c subnlp : 0.01 0 0
1004.71/1004.72 c trysol : 0.46 1378 199
1004.71/1004.72 c LP : Time Calls Iterations Iter/call Iter/sec
1004.71/1004.72 c primal LP : 0.04 0 0 0.00 0.00
1004.71/1004.72 c dual LP : 497.55 142779 1277624 8.95 2567.81
1004.71/1004.72 c lex dual LP : 0.00 0 0 0.00 -
1004.71/1004.72 c barrier LP : 0.00 0 0 0.00 -
1004.71/1004.72 c diving/probing LP: 101.17 29666 349298 11.77 3452.68
1004.71/1004.72 c strong branching : 103.17 11828 319599 27.02 3097.83
1004.71/1004.72 c (at root node) : - 10 1661 166.10 -
1004.71/1004.72 c conflict analysis: 0.00 0 0 0.00 -
1004.71/1004.72 c B&B Tree :
1004.71/1004.72 c number of runs : 1
1004.71/1004.72 c nodes : 31842
1004.71/1004.72 c nodes (total) : 31842
1004.71/1004.72 c nodes left : 0
1004.71/1004.72 c max depth : 108
1004.71/1004.72 c max depth (total): 108
1004.71/1004.72 c backtracks : 4079 (12.8%)
1004.71/1004.72 c delayed cutoffs : 7994
1004.71/1004.72 c repropagations : 20505 (637527 domain reductions, 631 cutoffs)
1004.71/1004.72 c avg switch length: 6.00
1004.71/1004.72 c switching time : 15.74
1004.71/1004.72 c Solution :
1004.71/1004.72 c Solutions found : 279 (81 improvements)
1004.71/1004.72 c First Solution : +8.60030000000000e+04 (in run 1, after 1 nodes, 1.39 seconds, depth 2003, found by <trysol>)
1004.71/1004.72 c Primal Bound : +2.00000000000000e+00 (in run 1, after 28319 nodes, 939.93 seconds, depth 54, found by <relaxation>)
1004.71/1004.72 c Dual Bound : +2.00000000000000e+00
1004.71/1004.72 c Gap : 0.00 %
1004.71/1004.72 c Root Dual Bound : +0.00000000000000e+00
1004.71/1004.72 c Root Iterations : 5284
1004.71/1004.76 c Time complete: 1004.77.
OK 2
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3447306-1307899110/watcher-3447306-1307899110 -o /tmp/evaluation-result-3447306-1307899110/solver-3447306-1307899110 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447306-1307899110.wbo -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.84 1.96 1.90 2/177 3809 /proc/meminfo: memFree=32441592/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=10120 CPUtime=0 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 1526 0 0 0 0 0 0 0 25 0 1 0 901513750 10362880 1479 33554432000 4194304 9128323 140735455907008 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3809/statm: 2530 1479 399 1205 0 1321 0 [startup+0.0953861 s] /proc/loadavg: 1.84 1.96 1.90 2/177 3809 /proc/meminfo: memFree=32441592/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=35788 CPUtime=0.08 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 7897 0 0 0 8 0 0 0 25 0 1 0 901513750 36646912 7591 33554432000 4194304 9128323 140735455907008 18446744073709551615 5192510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3809/statm: 8947 7591 532 1205 0 7738 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 35788 [startup+0.100386 s] /proc/loadavg: 1.84 1.96 1.90 2/177 3809 /proc/meminfo: memFree=32441592/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=35788 CPUtime=0.09 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 7915 0 0 0 9 0 0 0 25 0 1 0 901513750 36646912 7609 33554432000 4194304 9128323 140735455907008 18446744073709551615 4337002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3809/statm: 8947 7609 532 1205 0 7738 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 35788 [startup+0.30035 s] /proc/loadavg: 1.84 1.96 1.90 2/177 3809 /proc/meminfo: memFree=32441592/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=37652 CPUtime=0.29 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 8533 0 0 0 29 0 0 0 25 0 1 0 901513750 38555648 8191 33554432000 4194304 9128323 140735455907008 18446744073709551615 6578464 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3809/statm: 9413 8191 567 1205 0 8204 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37652 [startup+0.700275 s] /proc/loadavg: 1.84 1.96 1.90 2/177 3809 /proc/meminfo: memFree=32441592/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=38624 CPUtime=0.69 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 8780 0 0 0 69 0 0 0 25 0 1 0 901513750 39550976 8438 33554432000 4194304 9128323 140735455907008 18446744073709551615 5089491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3809/statm: 9656 8438 571 1205 0 8447 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38624 [startup+1.50114 s] /proc/loadavg: 1.84 1.96 1.90 3/178 3810 /proc/meminfo: memFree=32336084/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=54072 CPUtime=1.49 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 13036 0 0 0 148 1 0 0 25 0 1 0 901513750 55369728 12470 33554432000 4194304 9128323 140735455907008 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3809/statm: 13518 12470 689 1205 0 12309 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 54072 [startup+3.10085 s] /proc/loadavg: 1.84 1.96 1.90 3/178 3810 /proc/meminfo: memFree=32273100/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=90132 CPUtime=3.09 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 22472 0 0 0 306 3 0 0 25 0 1 0 901513750 92295168 21536 33554432000 4194304 9128323 140735455907008 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3809/statm: 22533 21536 744 1205 0 21324 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 90132 [startup+6.30029 s] /proc/loadavg: 1.85 1.96 1.90 3/178 3810 /proc/meminfo: memFree=32261728/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=91680 CPUtime=6.29 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 23000 0 0 0 619 10 0 0 25 0 1 0 901513750 93880320 21996 33554432000 4194304 9128323 140735455907008 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3809/statm: 22920 21996 751 1205 0 21711 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 91680 [startup+12.7001 s] /proc/loadavg: 1.86 1.97 1.90 3/178 3810 /proc/meminfo: memFree=32235224/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=91680 CPUtime=12.69 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 23000 0 0 0 1249 20 0 0 25 0 1 0 901513750 93880320 21996 33554432000 4194304 9128323 140735455907008 18446744073709551615 7192234 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3809/statm: 22920 21996 751 1205 0 21711 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 91680 [startup+25.5009 s] /proc/loadavg: 1.89 1.97 1.91 3/178 3810 /proc/meminfo: memFree=32235560/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=91680 CPUtime=25.49 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 23003 0 0 0 2515 34 0 0 25 0 1 0 901513750 93880320 21999 33554432000 4194304 9128323 140735455907008 18446744073709551615 7363227 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3809/statm: 22920 21999 754 1205 0 21711 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 91680 [startup+51.1003 s] /proc/loadavg: 1.93 1.97 1.91 3/178 3811 /proc/meminfo: memFree=32235940/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=90172 CPUtime=51.09 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 26899 0 0 0 5052 57 0 0 25 0 1 0 901513750 92336128 21686 33554432000 4194304 9128323 140735455907008 18446744073709551615 7216720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3809/statm: 22543 21686 755 1205 0 21334 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 90172 [startup+102.306 s] /proc/loadavg: 1.97 1.97 1.91 3/178 3812 /proc/meminfo: memFree=32233464/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=92300 CPUtime=102.3 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 40391 0 0 0 10137 93 0 0 25 0 1 0 901513750 94515200 22164 33554432000 4194304 9128323 140735455907008 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 23075 22164 755 1205 0 21866 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 92300 [startup+162.301 s] /proc/loadavg: 2.04 1.99 1.91 3/178 3814 /proc/meminfo: memFree=32216304/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=109124 CPUtime=162.29 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 67420 0 0 0 16058 171 0 0 25 0 1 0 901513750 111742976 26434 33554432000 4194304 9128323 140735455907008 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 27281 26434 756 1205 0 26072 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 109124 [startup+222.301 s] /proc/loadavg: 2.01 1.99 1.91 3/178 3816 /proc/meminfo: memFree=32197776/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=122572 CPUtime=222.29 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 84692 0 0 0 22011 218 0 0 25 0 1 0 901513750 125513728 29816 33554432000 4194304 9128323 140735455907008 18446744073709551615 7192154 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 30643 29816 757 1205 0 29434 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 122572 [startup+282.3 s] /proc/loadavg: 2.00 1.99 1.91 3/178 3817 /proc/meminfo: memFree=32159656/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=147360 CPUtime=282.29 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 106494 0 0 0 27951 278 0 0 25 0 1 0 901513750 150896640 35994 33554432000 4194304 9128323 140735455907008 18446744073709551615 6712802 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 36840 35994 757 1205 0 35631 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 147360 [startup+342.301 s] /proc/loadavg: 2.00 1.99 1.91 3/178 3819 /proc/meminfo: memFree=32131580/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=167164 CPUtime=342.3 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 117871 0 0 0 33901 329 0 0 25 0 1 0 901513750 171175936 40936 33554432000 4194304 9128323 140735455907008 18446744073709551615 5992478 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 41791 40936 757 1205 0 40582 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 167164 [startup+402.301 s] /proc/loadavg: 2.00 1.99 1.91 3/178 3820 /proc/meminfo: memFree=32107208/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=178756 CPUtime=402.29 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 127172 0 0 0 39861 368 0 0 25 0 1 0 901513750 183046144 43745 33554432000 4194304 9128323 140735455907008 18446744073709551615 4528519 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 44689 43745 757 1205 0 43480 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 178756 [startup+462.3 s] /proc/loadavg: 2.00 1.99 1.91 3/178 3822 /proc/meminfo: memFree=32082600/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=190968 CPUtime=462.3 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 130168 0 0 0 45827 403 0 0 25 0 1 0 901513750 195551232 46741 33554432000 4194304 9128323 140735455907008 18446744073709551615 5089432 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 47742 46741 757 1205 0 46533 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 190968 [startup+522.301 s] /proc/loadavg: 2.00 1.99 1.91 3/178 3824 /proc/meminfo: memFree=32059336/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=199008 CPUtime=522.3 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 140025 0 0 0 51777 453 0 0 25 0 1 0 901513750 203784192 48770 33554432000 4194304 9128323 140735455907008 18446744073709551615 6505877 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 49752 48770 757 1205 0 48543 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 199008 [startup+582.301 s] /proc/loadavg: 2.00 1.99 1.91 3/178 3825 /proc/meminfo: memFree=32036348/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=206388 CPUtime=582.3 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 147917 0 0 0 57733 497 0 0 25 0 1 0 901513750 211341312 50618 33554432000 4194304 9128323 140735455907008 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 51597 50618 757 1205 0 50388 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 206388 [startup+642.3 s] /proc/loadavg: 2.00 1.99 1.91 3/178 3827 /proc/meminfo: memFree=32004788/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=221588 CPUtime=642.31 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 153641 0 0 0 63693 538 0 0 25 0 1 0 901513750 226906112 54365 33554432000 4194304 9128323 140735455907008 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 55397 54365 757 1205 0 54188 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 221588 [startup+702.301 s] /proc/loadavg: 2.08 2.00 1.92 3/178 3828 /proc/meminfo: memFree=31976824/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=236256 CPUtime=702.3 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 157280 0 0 0 69654 576 0 0 25 0 1 0 901513750 241926144 58004 33554432000 4194304 9128323 140735455907008 18446744073709551615 6712703 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 59064 58004 757 1205 0 57855 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 236256 [startup+762.306 s] /proc/loadavg: 2.03 2.00 1.92 3/178 3830 /proc/meminfo: memFree=31947496/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=249892 CPUtime=762.31 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 168478 0 0 0 75616 615 0 0 25 0 1 0 901513750 255889408 61482 33554432000 4194304 9128323 140735455907008 18446744073709551615 7192161 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 62473 61482 757 1205 0 61264 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 249892 [startup+822.301 s] /proc/loadavg: 2.01 2.00 1.92 3/178 3832 /proc/meminfo: memFree=31921024/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=262640 CPUtime=822.3 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 173866 0 0 0 81574 656 0 0 25 0 1 0 901513750 268943360 64648 33554432000 4194304 9128323 140735455907008 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 65660 64648 757 1205 0 64451 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 262640 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.92 3/178 3833 /proc/meminfo: memFree=31893568/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=271816 CPUtime=882.3 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 198088 0 0 0 87517 713 0 0 25 0 1 0 901513750 278339584 66925 33554432000 4194304 9128323 140735455907008 18446744073709551615 7343216 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 67954 66925 757 1205 0 66745 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 271816 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 3835 /proc/meminfo: memFree=31877528/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=273096 CPUtime=942.3 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 204647 0 0 0 93459 771 0 0 25 0 1 0 901513750 279650304 67263 33554432000 4194304 9128323 140735455907008 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 68274 67263 757 1205 0 67065 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 273096 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 3836 /proc/meminfo: memFree=31859508/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=276424 CPUtime=1002.31 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 227026 0 0 0 99347 884 0 0 25 0 1 0 901513750 283058176 68108 33554432000 4194304 9128323 140735455907008 18446744073709551615 5207323 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 69106 68108 757 1205 0 67897 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 276424 Solver just ended. Dumping a history of the last processes samples [startup+1003.1 s] /proc/loadavg: 2.00 2.00 1.92 3/178 3837 /proc/meminfo: memFree=31859384/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=276424 CPUtime=1003.11 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 227026 0 0 0 99426 885 0 0 25 0 1 0 901513750 283058176 68108 33554432000 4194304 9128323 140735455907008 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 69106 68108 757 1205 0 67897 0 Current children cumulated CPU time (s) 1003.11 Current children cumulated vsize (KiB) 276424 [startup+1003.9 s] /proc/loadavg: 2.00 2.00 1.92 3/178 3837 /proc/meminfo: memFree=31859384/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=276424 CPUtime=1003.91 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 227026 0 0 0 99504 887 0 0 25 0 1 0 901513750 283058176 68108 33554432000 4194304 9128323 140735455907008 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 69106 68108 757 1205 0 67897 0 Current children cumulated CPU time (s) 1003.91 Current children cumulated vsize (KiB) 276424 [startup+1004.31 s] /proc/loadavg: 2.00 2.00 1.92 3/178 3837 /proc/meminfo: memFree=31859260/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=276424 CPUtime=1004.31 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 227026 0 0 0 99544 887 0 0 25 0 1 0 901513750 283058176 68108 33554432000 4194304 9128323 140735455907008 18446744073709551615 7261980 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 69106 68108 757 1205 0 67897 0 Current children cumulated CPU time (s) 1004.31 Current children cumulated vsize (KiB) 276424 [startup+1004.7 s] /proc/loadavg: 2.00 2.00 1.92 3/178 3837 /proc/meminfo: memFree=31859260/32951124 swapFree=67050044/67111528 [pid=3809] ppid=3807 vsize=276424 CPUtime=1004.71 cores=1,3,5,7 /proc/3809/stat : 3809 (scip-2.0.1.4.li) R 3807 3809 2655 0 -1 4202496 227026 0 0 0 99583 888 0 0 25 0 1 0 901513750 283058176 68108 33554432000 4194304 9128323 140735455907008 18446744073709551615 4525287 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/3809/statm: 69106 68108 757 1205 0 67897 0 Current children cumulated CPU time (s) 1004.71 Current children cumulated vsize (KiB) 276424 Child status: 0 Real time (s): 1004.77 CPU time (s): 1004.78 CPU user time (s): 995.888 CPU system time (s): 8.89565 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 295644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 995.888 system time used= 8.89565 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 227030 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= 6 involuntary context switches= 1904 runsolver used 1.58676 second user time and 3.57146 second system time The end
Begin job on node101 at 2011-06-12 19:18:30 IDJOB=3447306 IDBENCH=79015 IDSOLVER=1944 FILE ID=node101/3447306-1307899110 RUNJOBID= node101-1307897307-3644 PBS_JOBID= 13559601 Free space on /tmp= 74048 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl--soft-66-100-0.wbo COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3447306-1307899110/watcher-3447306-1307899110 -o /tmp/evaluation-result-3447306-1307899110/solver-3447306-1307899110 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447306-1307899110.wbo -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 229cdc62bd8923cf935a8d792017a43b RANDOM SEED=425194441 node101.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.841 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.68 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.841 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 : 5226.07 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.841 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.77 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.841 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.841 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.74 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.841 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.841 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.841 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: 32442160 kB Buffers: 106476 kB Cached: 174412 kB SwapCached: 24724 kB Active: 240868 kB Inactive: 82728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32442160 kB SwapTotal: 67111528 kB SwapFree: 67050044 kB Dirty: 24496 kB Writeback: 0 kB AnonPages: 39508 kB Mapped: 10768 kB Slab: 120824 kB PageTables: 4304 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 224260 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= 74036 MiB End job on node101 at 2011-06-12 19:35:15