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 | 176.609 | 176.607 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-66-100-0.wbo |
| MD5SUM | 0f5209330b13fd9909fb37660b8a3f5d |
| 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.013997 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1328 |
| Total number of constraints | 3349 |
| Number of soft constraints | 1145 |
| Number of constraints which are clauses | 3165 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 184 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Top cost | 58120 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 58119 |
| Biggest number in a constraint | 33 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 126 |
| 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-3447402-1307899762.wbo>
0.00/0.02 c original problem has 2473 variables (2473 bin, 0 int, 0 impl, 0 cont) and 3350 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 70 del vars, 32 del conss, 0 add conss, 7 chg bounds, 92 chg sides, 192 chg coeffs, 0 upgd conss, 18016 impls, 0 clqs
0.00/0.06 c (round 2) 74 del vars, 152 del conss, 0 add conss, 7 chg bounds, 92 chg sides, 192 chg coeffs, 0 upgd conss, 18016 impls, 0 clqs
0.06/0.07 c (round 3) 78 del vars, 159 del conss, 0 add conss, 1148 chg bounds, 93 chg sides, 192 chg coeffs, 0 upgd conss, 18016 impls, 0 clqs
0.06/0.09 c (round 4) 81 del vars, 159 del conss, 0 add conss, 1148 chg bounds, 93 chg sides, 192 chg coeffs, 2056 upgd conss, 18016 impls, 0 clqs
0.39/0.41 c (0.4s) probing: 1000/2397 (41.7%) - 1 fixings, 5 aggregations, 1376 implications, 0 bound changes
0.39/0.43 c (0.4s) probing: 1046/2397 (43.6%) - 1 fixings, 5 aggregations, 1376 implications, 0 bound changes
0.39/0.43 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.43 c (round 5) 87 del vars, 159 del conss, 0 add conss, 1148 chg bounds, 93 chg sides, 192 chg coeffs, 2056 upgd conss, 21938 impls, 0 clqs
0.39/0.43 c (round 6) 87 del vars, 165 del conss, 0 add conss, 1148 chg bounds, 93 chg sides, 192 chg coeffs, 2056 upgd conss, 21938 impls, 0 clqs
0.39/0.44 c (round 7) 88 del vars, 171 del conss, 0 add conss, 1148 chg bounds, 93 chg sides, 192 chg coeffs, 2056 upgd conss, 21938 impls, 0 clqs
0.39/0.45 c (round 8) 89 del vars, 171 del conss, 0 add conss, 1148 chg bounds, 93 chg sides, 192 chg coeffs, 2056 upgd conss, 21938 impls, 0 clqs
0.39/0.46 c (0.5s) probing: 1056/2397 (44.1%) - 1 fixings, 5 aggregations, 1376 implications, 0 bound changes
0.39/0.46 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.46 c presolving (9 rounds):
0.39/0.46 c 89 deleted vars, 171 deleted constraints, 0 added constraints, 1148 tightened bounds, 0 added holes, 93 changed sides, 192 changed coefficients
0.39/0.46 c 23077 implications, 0 cliques
0.39/0.46 c presolved problem has 3529 variables (2390 bin, 0 int, 1139 impl, 0 cont) and 4324 constraints
0.39/0.46 c 123 constraints of type <knapsack>
0.39/0.46 c 1291 constraints of type <setppc>
0.39/0.46 c 1139 constraints of type <linear>
0.39/0.46 c 1139 constraints of type <indicator>
0.39/0.46 c 632 constraints of type <logicor>
0.39/0.46 c transformed objective value is always integral (scale: 1)
0.39/0.46 c Presolving Time: 0.43
0.39/0.46 c - non default parameters ----------------------------------------------------------------------
0.39/0.46 c # SCIP version 2.0.1.4
0.39/0.46 c
0.39/0.46 c # frequency for displaying node information lines
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.46 c display/freq = 10000
0.39/0.46 c
0.39/0.46 c # maximal time in seconds to run
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/time = 1800
0.39/0.46 c
0.39/0.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/memory = 13950
0.39/0.46 c
0.39/0.46 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.46 c # [type: int, range: [1,2], default: 1]
0.39/0.46 c timing/clocktype = 2
0.39/0.46 c
0.39/0.46 c # belongs reading time to solving time?
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c timing/reading = TRUE
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify inequalities
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/linear/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/indicator/addCouplingCons = TRUE
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify knapsacks
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.46 c separating/rapidlearning/freq = 0
0.39/0.46 c
0.39/0.46 c -----------------------------------------------------------------------------------------------
0.39/0.46 c start solving
0.39/0.46 c
0.59/0.69 o 1431
0.59/0.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.69 c T 0.7s| 1 | 0 | 0 | - | 15M| 0 | - |3529 |5463 |3529 |3182 | 0 | 0 | 0 | -- | 1.431000e+03 | Inf
0.69/0.71 c 0.7s| 1 | 0 | 575 | - | 14M| 0 | 302 |3529 |5463 |3529 |3182 | 0 | 0 | 0 | 0.000000e+00 | 1.431000e+03 | Inf
0.89/1.00 c 1.0s| 1 | 0 | 1147 | - | 15M| 0 | 423 |3529 |5493 |3529 |3293 | 111 | 0 | 0 | 0.000000e+00 | 1.431000e+03 | Inf
1.09/1.13 c 1.1s| 1 | 0 | 1530 | - | 15M| 0 | 453 |3529 |5493 |3529 |3398 | 216 | 0 | 0 | 0.000000e+00 | 1.431000e+03 | Inf
1.29/1.31 c 1.3s| 1 | 0 | 1883 | - | 15M| 0 | 528 |3529 |5493 |3529 |3520 | 338 | 0 | 0 | 0.000000e+00 | 1.431000e+03 | Inf
1.49/1.57 c 1.6s| 1 | 0 | 2198 | - | 16M| 0 | 520 |3529 |5493 |3529 |3615 | 433 | 0 | 0 | 0.000000e+00 | 1.431000e+03 | Inf
1.89/1.91 c 1.9s| 1 | 0 | 2989 | - | 16M| 0 | 525 |3529 |5493 |3529 |3682 | 500 | 0 | 0 | 0.000000e+00 | 1.431000e+03 | Inf
2.39/2.40 c 2.4s| 1 | 0 | 3422 | - | 16M| 0 | 578 |3529 |5493 |3529 |3755 | 573 | 0 | 0 | 0.000000e+00 | 1.431000e+03 | Inf
3.69/3.72 c 3.7s| 1 | 2 | 3422 | - | 16M| 0 | 578 |3529 |5493 |3529 |3755 | 573 | 0 | 16 | 0.000000e+00 | 1.431000e+03 | Inf
17.69/17.70 o 664
17.69/17.70 c *17.7s| 221 | 218 | 9616 | 28.2 | 19M| 101 | - |3529 |5500 |3529 |3616 | 645 | 7 |1682 | 0.000000e+00 | 6.640000e+02 | Inf
18.09/18.10 o 624
18.09/18.10 c *18.1s| 238 | 231 | 9897 | 27.3 | 19M| 101 | - |3529 |5502 |3529 |3615 | 692 | 9 |1722 | 0.000000e+00 | 6.240000e+02 | Inf
18.50/18.51 o 589
18.50/18.51 c *18.5s| 254 | 243 | 10119 | 26.5 | 20M| 101 | - |3529 |5502 |3529 |3608 | 732 | 9 |1773 | 0.000000e+00 | 5.890000e+02 | Inf
19.09/19.16 o 581
19.09/19.16 c z19.2s| 291 | 270 | 10538 | 24.5 | 21M| 101 | 1 |3529 |5503 |3529 |3604 | 791 | 10 |1842 | 0.000000e+00 | 5.810000e+02 | Inf
19.99/20.01 o 547
19.99/20.01 c *20.0s| 351 | 310 | 11319 | 22.6 | 22M| 102 | - |3529 |5512 |3529 |3605 | 923 | 19 |1889 | 0.000000e+00 | 5.470000e+02 | Inf
22.69/22.76 o 526
22.69/22.76 c *22.8s| 415 | 364 | 13395 | 24.1 | 23M| 102 | - |3529 |5520 |3529 |3595 | 977 | 27 |2217 | 0.000000e+00 | 5.260000e+02 | Inf
22.89/22.94 o 511
22.89/22.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.89/22.94 c *22.9s| 431 | 378 | 13637 | 23.8 | 24M| 102 | - |3529 |5520 |3529 |3600 |1009 | 27 |2219 | 0.000000e+00 | 5.110000e+02 | Inf
23.09/23.10 o 471
23.09/23.10 c r23.1s| 446 | 385 | 13917 | 23.6 | 24M| 102 | 1 |3529 |5520 |3529 |3602 |1043 | 27 |2219 | 0.000000e+00 | 4.710000e+02 | Inf
23.19/23.25 o 411
23.19/23.25 c z23.3s| 455 | 381 | 14133 | 23.6 | 24M| 102 | - |3529 |5521 |3529 |3606 |1081 | 28 |2219 | 0.000000e+00 | 4.110000e+02 | Inf
31.09/31.18 o 232
31.09/31.18 c *31.2s| 1216 | 831 | 21283 | 14.7 | 25M| 102 | - |3529 |5609 |3529 |3598 |1524 | 116 |2908 | 0.000000e+00 | 2.320000e+02 | Inf
36.79/36.88 o 222
36.79/36.88 c *36.9s| 2383 | 1785 | 29434 | 10.9 | 27M| 102 | - |3529 |5717 |3529 |3594 |1831 | 308 |3005 | 0.000000e+00 | 2.220000e+02 | Inf
37.30/37.31 o 214
37.30/37.31 c *37.3s| 2438 | 1821 | 30042 | 10.9 | 27M| 102 | - |3529 |5721 |3529 |3596 |1899 | 315 |3008 | 0.000000e+00 | 2.140000e+02 | Inf
39.09/39.13 o 212
39.09/39.13 c *39.1s| 2715 | 2030 | 32339 | 10.7 | 28M| 102 | - |3529 |5751 |3529 |3589 |2173 | 366 |3018 | 0.000000e+00 | 2.120000e+02 | Inf
40.60/40.69 o 209
40.60/40.69 c *40.7s| 3044 | 2303 | 34212 | 10.1 | 28M| 102 | - |3529 |5763 |3529 |3596 |2334 | 403 |3031 | 0.000000e+00 | 2.090000e+02 | Inf
133.10/133.12 c 133s| 10000 | 4884 |150466 | 14.7 | 36M| 102 | 2 |3529 |5851 |3529 |3568 | 22k|1882 |3396 | 0.000000e+00 | 2.090000e+02 | Inf
134.29/134.31 o 196
134.29/134.31 c * 134s| 10115 | 4946 |152139 | 14.7 | 36M| 102 | - |3529 |5844 |3529 |3598 | 23k|1900 |3406 | 0.000000e+00 | 1.960000e+02 | Inf
139.99/140.08 o 189
139.99/140.08 c * 140s| 10875 | 5535 |160009 | 14.4 | 38M| 102 | - |3529 |5838 |3529 |3598 | 23k|1993 |3524 | 0.000000e+00 | 1.890000e+02 | Inf
140.09/140.19 o 170
140.09/140.19 c * 140s| 10883 | 5432 |160161 | 14.4 | 38M| 102 | - |3529 |5841 |3529 |3583 | 23k|2000 |3524 | 0.000000e+00 | 1.700000e+02 | Inf
140.19/140.29 o 169
140.19/140.29 c * 140s| 10889 | 5434 |160340 | 14.4 | 38M| 102 | - |3529 |5841 |3529 |3591 | 23k|2000 |3524 | 0.000000e+00 | 1.690000e+02 | Inf
140.59/140.61 o 150
140.59/140.61 c * 141s| 10930 | 5365 |160855 | 14.4 | 38M| 102 | - |3529 |5842 |3529 |3588 | 23k|2004 |3524 | 0.000000e+00 | 1.500000e+02 | Inf
142.00/142.08 o 143
142.00/142.08 c * 142s| 11083 | 5430 |162843 | 14.4 | 38M| 102 | - |3529 |5868 |3529 |3588 | 24k|2049 |3526 | 0.000000e+00 | 1.430000e+02 | Inf
142.59/142.66 o 130
142.59/142.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.59/142.66 c * 143s| 11123 | 5363 |163511 | 14.4 | 37M| 102 | - |3529 |5869 |3529 |3599 | 24k|2071 |3526 | 0.000000e+00 | 1.300000e+02 | Inf
145.89/145.98 o 120
145.89/145.98 c * 146s| 11523 | 5575 |167305 | 14.2 | 37M| 102 | - |3529 |5840 |3529 |3596 | 24k|2124 |3698 | 0.000000e+00 | 1.200000e+02 | Inf
147.89/147.97 o 112
147.89/147.97 c * 148s| 11869 | 5398 |170222 | 14.1 | 36M| 102 | - |3529 |5891 |3529 |3578 | 24k|2213 |3729 | 0.000000e+00 | 1.120000e+02 | Inf
147.99/148.08 o 102
147.99/148.08 c * 148s| 11879 | 5203 |170400 | 14.1 | 36M| 102 | - |3529 |5892 |3529 |3575 | 24k|2216 |3730 | 0.000000e+00 | 1.020000e+02 | Inf
152.29/152.32 o 96
152.29/152.32 c v 152s| 12206 | 4777 |175202 | 14.1 | 36M| 102 | - |3529 |5908 |3529 |3568 | 25k|2294 |4071 | 0.000000e+00 | 9.600000e+01 | Inf
152.79/152.81 o 94
152.79/152.81 c c 153s| 12217 | 4752 |176036 | 14.1 | 36M| 102 | - |3529 |5791 |3529 |3568 | 25k|2302 |4134 | 0.000000e+00 | 9.400000e+01 | Inf
154.19/154.28 o 92
154.19/154.28 c g 154s| 12286 | 4484 |177822 | 14.2 | 35M| 102 | - |3529 |5760 |3529 |3568 | 25k|2317 |4334 | 0.000000e+00 | 9.200000e+01 | Inf
156.20/156.29 o 89
156.20/156.29 c f 156s| 12336 | 4510 |180557 | 14.4 | 35M| 102 | - |3529 |5698 |3529 |3568 | 25k|2325 |4631 | 0.000000e+00 | 8.900000e+01 | Inf
156.79/156.88 o 87
156.79/156.88 c o 157s| 12362 | 4532 |182494 | 14.5 | 35M| 102 | 0 |3529 |5619 |3529 |3568 | 25k|2331 |4644 | 0.000000e+00 | 8.700000e+01 | Inf
159.30/159.31 o 48
159.30/159.31 c * 159s| 12500 | 3396 |184982 | 14.5 | 32M| 102 | - |3529 |5584 |3529 |3571 | 25k|2351 |4978 | 0.000000e+00 | 4.800000e+01 | Inf
159.70/159.73 o 46
159.70/159.73 c l 160s| 12511 | 3358 |185518 | 14.6 | 32M| 102 | - |3529 |4701 |3529 |3568 | 25k|2353 |5039 | 0.000000e+00 | 4.600000e+01 | Inf
164.00/164.06 o 45
164.00/164.06 c g 164s| 12860 | 3629 |193445 | 14.8 | 34M| 102 | - |3529 |4702 |3529 |3568 | 25k|2416 |5431 | 0.000000e+00 | 4.500000e+01 | Inf
165.69/165.73 o 39
165.69/165.73 c c 166s| 12972 | 3342 |197743 | 15.0 | 33M| 102 | - |3529 |4687 |3529 |3568 | 25k|2429 |5510 | 0.000000e+00 | 3.900000e+01 | Inf
169.40/169.47 o 28
169.40/169.47 c * 169s| 13116 | 3050 |202921 | 15.2 | 32M| 102 | - |3529 |4569 |3529 |3576 | 25k|2455 |5978 | 0.000000e+00 | 2.800000e+01 | Inf
169.40/169.49 o 26
169.40/169.49 c * 169s| 13117 | 3036 |202941 | 15.2 | 32M| 102 | - |3529 |4569 |3529 |3573 | 25k|2455 |5978 | 0.000000e+00 | 2.600000e+01 | Inf
169.49/169.53 o 19
169.49/169.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.49/169.53 c * 170s| 13119 | 2611 |203005 | 15.2 | 30M| 102 | - |3529 |4179 |3529 |3569 | 25k|2455 |5978 | 0.000000e+00 | 1.900000e+01 | Inf
171.09/171.10 o 14
171.09/171.10 c p 171s| 13176 | 2556 |206414 | 15.4 | 30M| 102 | - |3529 |3985 |3529 |3568 | 25k|2472 |6087 | 0.000000e+00 | 1.400000e+01 | Inf
172.29/172.34 o 11
172.29/172.34 c o 172s| 13221 | 2552 |210354 | 15.7 | 30M| 102 | 0 |3529 |3855 |3529 |3568 | 25k|2478 |6219 | 0.000000e+00 | 1.100000e+01 | Inf
172.49/172.54 o 6
172.49/172.54 c * 173s| 13248 | 1444 |210818 | 15.7 | 27M| 102 | - |3529 |3782 |3529 |3571 | 25k|2482 |6220 | 0.000000e+00 | 6.000000e+00 | Inf
172.70/172.79 o 5
172.70/172.79 c l 173s| 13260 | 1377 |211317 | 15.7 | 27M| 102 | - |3529 |3626 |3529 |3568 | 25k|2496 |6241 | 0.000000e+00 | 5.000000e+00 | Inf
174.69/174.79 o 4
174.69/174.79 c v 175s| 13357 | 536 |216064 | 15.9 | 25M| 102 | - |3529 |3621 |3529 |3463 | 25k|2530 |6458 | 0.000000e+00 | 4.000000e+00 | Inf
176.30/176.31 o 2
176.30/176.31 c v 176s| 13511 | 320 |221462 | 16.1 | 24M| 102 | - |3529 |3643 |3529 |3463 | 25k|2570 |6533 | 0.000000e+00 | 2.000000e+00 | Inf
176.50/176.58 c
176.50/176.58 c SCIP Status : problem is solved [optimal solution found]
176.50/176.58 c Solving Time (sec) : 176.58
176.50/176.58 c Solving Nodes : 13536
176.50/176.58 c Primal Bound : +2.00000000000000e+00 (173 solutions)
176.50/176.58 c Dual Bound : +2.00000000000000e+00
176.50/176.58 c Gap : 0.00 %
176.50/176.58 s OPTIMUM FOUND
176.50/176.58 v -x1328 -x1327 -x1326 -x1325 x1324 -x1323 -x1322 -x1321 -x1320 -x1319 x1318 x1317 x1316 x1315 x1314 x1313 x1312 x1311 x1310 x1309
176.50/176.58 v -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 x1302 x1301 x1300 x1299 x1298 x1297 x1296 x1295 x1294 x1293 x1292 x1291 -x1290 -x1289
176.50/176.58 v -x1288 -x1287 -x1286 x1285 x1284 x1283 x1282 x1281 -x1280 -x1279 -x1278 -x1277 x1276 -x1275 x1274 x1273 x1272 -x1271 -x1270
176.50/176.58 v -x1269 -x1268 -x1267 x1266 x1265 x1264 x1263 x1262 -x1261 x1260 x1259 x1258 x1257 x1256 x1255 x1254 -x1253 -x1252 -x1251
176.50/176.58 v -x1250 x1249 x1248 x1247 x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 x1237 x1236 x1235 x1234 -x1233 x1232 x1231
176.50/176.58 v x1230 x1229 x1228 -x1227 -x1226 -x1225 -x1224 x1223 x1222 x1221 x1220 x1219 x1218 x1217 x1216 x1215 -x1214 -x1213 -x1212
176.50/176.58 v -x1211 x1210 x1209 x1208 x1207 x1206 x1205 x1204 x1203 x1202 x1201 x1200 x1199 x1198 x1197 x1196 -x1195 -x1194 -x1193 -x1192
176.50/176.58 v -x1191 -x1190 -x1189 x1188 x1187 x1186 x1185 x1184 x1183 -x1182 -x1181 x1180 x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173
176.50/176.58 v -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155
176.50/176.58 v -x1154 -x1153 -x1152 x1151 x1150 x1149 x1148 -x1147 x1146 -x1145 -x1144 x1143 x1142 x1141 x1140 x1139 -x1138 x1137 -x1136 -x1135
176.50/176.58 v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 x1123 x1122 x1121 x1120 -x1119 x1118 -x1117
176.50/176.58 v -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099
176.50/176.58 v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081
176.50/176.58 v -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 x1067 x1066 x1065 x1064 -x1063 -x1062
176.50/176.58 v -x1061 -x1060 -x1059 x1058 -x1057 -x1056 x1055 -x1054 x1053 -x1052 -x1051 x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044
176.50/176.58 v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 x1032 x1031 x1030 -x1029 -x1028 -x1027 -x1026 x1025
176.50/176.58 v -x1024 x1023 -x1022 x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 x1012 x1011 -x1010 -x1009 -x1008 -x1007
176.50/176.58 v -x1006 -x1005 x1004 x1003 x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986
176.50/176.58 v x985 x984 x983 x982 x981 x980 x979 -x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 x970 x969 -x968 -x967 -x966 -x965 -x964
176.50/176.58 v -x963 -x962 -x961 -x960 -x959 -x958 x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943
176.50/176.58 v -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922
176.50/176.58 v -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 x901
176.50/176.58 v x900 x899 x898 x897 x896 x895 -x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 x881 x880 x879 x878
176.50/176.58 v -x877 -x876 x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856
176.50/176.58 v -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835
176.50/176.58 v -x834 -x833 -x832 x831 x830 -x829 x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 x817 -x816 -x815 -x814
176.50/176.58 v -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 x801 x800 x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
176.50/176.58 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 x784 x783 x782 -x781 x780 x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
176.50/176.58 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749
176.50/176.58 v -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 x732 x731 x730 x729 -x728 -x727
176.50/176.58 v -x726 x725 x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 x706
176.50/176.58 v x705 x704 x703 x702 -x701 x700 -x699 -x698 -x697 -x696 -x695 x694 x693 x692 x691 x690 -x689 -x688 -x687 x686 x685 x684 x683
176.50/176.58 v -x682 x681 x680 x679 x678 -x677 x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 x661
176.50/176.58 v -x660 -x659 -x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 x641 x640 -x639
176.50/176.58 v -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618
176.50/176.58 v -x617 x616 x615 -x614 x613 x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597
176.50/176.58 v -x596 -x595 -x594 x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 x584 x583 x582 x581 x580 x579 x578 x577 -x576 -x575 x574
176.50/176.58 v x573 x572 x571 x570 x569 x568 -x567 x566 x565 x564 x563 x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 x552 -x551
176.50/176.58 v x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 x542 x541 x540 x539 x538 x537 x536 x535 -x534 x533 -x532 -x531 -x530 -x529 -x528
176.50/176.58 v x527 -x526 -x525 x524 x523 x522 -x521 x520 -x519 -x518 -x517 -x516 x515 x514 x513 -x512 -x511 -x510 -x509 -x508 x507 -x506
176.50/176.58 v -x505 x504 x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 x485 x484
176.50/176.58 v -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 x464 -x463 -x462
176.50/176.58 v -x461 x460 x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441
176.50/176.58 v -x440 -x439 -x438 -x437 x436 x435 x434 x433 x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419
176.50/176.58 v -x418 -x417 -x416 -x415 -x414 x413 x412 x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397
176.50/176.58 v -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376
176.50/176.58 v -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 x362 x361 x360 -x359 x358 x357 -x356 -x355 -x354
176.50/176.58 v -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333
176.50/176.58 v -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 x321 x320 x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311
176.50/176.58 v -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 x294 x293 x292 x291 x290 x289
176.50/176.58 v x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 x269 x268 x267
176.50/176.58 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 x247 -x246
176.50/176.58 v x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 x236 -x235 -x234 -x233 x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 x224
176.50/176.58 v x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202
176.50/176.58 v -x201 -x200 x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 x187 x186 -x185 x184 -x183 -x182 x181 -x180
176.50/176.58 v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 x160 x159
176.50/176.58 v -x158 -x157 -x156 x155 -x154 x153 x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 x141 -x140 x139 -x138 -x137
176.50/176.58 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116
176.50/176.58 v x115 -x114 -x113 -x112 -x111 -x110 x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 x97 -x96 -x95 -x94 x93
176.50/176.58 v -x92 -x91 x90 x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 x72 -x71 -x70 x69 x68 x67 x66
176.50/176.58 v -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 x52 x51 x50 -x49 -x48 -x47 x46 x45 x44 -x43 x42 -x41 -x40 x39
176.50/176.58 v -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 x26 x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 x14 x13 -x12
176.50/176.58 v x11 x10 x9 x8 x7 x6 -x5 -x4 x3 x2 x1
176.50/176.58 c SCIP Status : problem is solved [optimal solution found]
176.50/176.58 c Total Time : 176.58
176.50/176.58 c solving : 176.58
176.50/176.58 c presolving : 0.43 (included in solving)
176.50/176.58 c reading : 0.02 (included in solving)
176.50/176.58 c Original Problem :
176.50/176.58 c Problem name : HOME/instance-3447402-1307899762.wbo
176.50/176.58 c Variables : 2473 (2473 binary, 0 integer, 0 implicit integer, 0 continuous)
176.50/176.58 c Constraints : 3350 initial, 3350 maximal
176.50/176.58 c Presolved Problem :
176.50/176.58 c Problem name : t_HOME/instance-3447402-1307899762.wbo
176.50/176.58 c Variables : 3529 (2390 binary, 0 integer, 1139 implicit integer, 0 continuous)
176.50/176.58 c Constraints : 4324 initial, 5926 maximal
176.50/176.58 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
176.50/176.58 c trivial : 0.00 1 0 0 0 0 0 0 0 0
176.50/176.58 c dualfix : 0.00 12 0 0 0 0 0 0 0 0
176.50/176.58 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
176.50/176.58 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
176.50/176.58 c implics : 0.00 0 55 0 0 0 0 0 0 0
176.50/176.58 c probing : 0.33 1 5 0 0 0 0 0 0 0
176.50/176.58 c varbound : 0.00 0 0 0 0 0 0 0 0 0
176.50/176.58 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
176.50/176.58 c setppc : 0.01 0 0 0 0 0 10 0 0 0
176.50/176.58 c linear : 0.06 7 8 0 1148 0 155 0 93 192
176.50/176.58 c indicator : 0.00 0 0 0 0 0 6 0 0 0
176.50/176.58 c logicor : 0.01 0 0 0 0 0 0 0 0 0
176.50/176.58 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 0
176.50/176.58 c root node : - 2278 - - 2278 - - - - -
176.50/176.58 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
176.50/176.58 c integral : 0 0 0 35339 0 1041 0 0 149 0 0 21436
176.50/176.58 c varbound : 0+ 6 71166 24502 0 0 1386 0 166656 24607 0 0
176.50/176.58 c knapsack : 123 6 71500 26 0 1038 1256 76 12141 567 0 0
176.50/176.58 c setppc : 1291 6 71302 26 0 1031 12675 39 151957 0 0 0
176.50/176.58 c linear : 1139+ 7 71385 26 0 1031 5775 806 266091 0 0 0
176.50/176.58 c indicator : 1139 0 72666 24502 0 1031 1583 0 4798 0 0 0
176.50/176.58 c logicor : 632+ 6 39253 26 0 147 3135 536 54025 0 0 0
176.50/176.58 c bounddisjunction : 0+ 0 8313 0 0 0 162 16 547 0 0 0
176.50/176.58 c countsols : 0 0 0 26 0 149 0 0 0 0 0 0
176.50/176.58 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
176.50/176.58 c integral : 35.31 0.00 0.00 35.29 0.00 0.02 0.00
176.50/176.58 c varbound : 2.58 0.00 1.45 1.12 0.00 0.00 0.00
176.50/176.58 c knapsack : 0.23 0.01 0.18 0.00 0.00 0.05 0.00
176.50/176.58 c setppc : 1.26 0.00 1.10 0.00 0.00 0.16 0.01
176.50/176.58 c linear : 1.73 0.00 1.49 0.00 0.00 0.23 0.01
176.50/176.58 c indicator : 5.42 0.00 1.82 2.90 0.00 0.71 0.00
176.50/176.58 c logicor : 0.33 0.00 0.31 0.00 0.00 0.01 0.00
176.50/176.58 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00 0.00 0.00
176.50/176.58 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
176.50/176.58 c Propagators : #Propagate #Resprop Cutoffs DomReds
176.50/176.58 c vbounds : 17210 2036 0 1063236
176.50/176.58 c rootredcost : 42 0 0 1131
176.50/176.58 c pseudoobj : 71474 2107 174 164425
176.50/176.58 c Propagator Timings : TotalTime Propagate Resprop
176.50/176.58 c vbounds : 3.42 3.42 0.00
176.50/176.58 c rootredcost : 0.02 0.02 0.00
176.50/176.58 c pseudoobj : 1.74 1.71 0.03
176.50/176.58 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
176.50/176.58 c propagation : 0.07 1646 1597 3039 11.1 91 8.2 -
176.50/176.58 c infeasible LP : 0.02 58 58 71 4.6 6 5.0 0
176.50/176.58 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
176.50/176.58 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
176.50/176.58 c pseudo solution : 0.00 1 1 1 2.0 1 6.0 -
176.50/176.58 c applied globally : - - - 2581 9.1 - - -
176.50/176.58 c applied locally : - - - 0 0.0 - - -
176.50/176.58 c Separators : Time Calls Cutoffs DomReds Cuts Conss
176.50/176.58 c cut pool : 0.00 5 - - 224 - (maximal pool size: 1623)
176.50/176.58 c redcost : 3.21 25132 0 1059734 0 0
176.50/176.58 c impliedbounds : 0.00 6 0 0 64 0
176.50/176.58 c intobj : 0.00 0 0 0 0 0
176.50/176.58 c gomory : 0.54 6 0 0 2300 0
176.50/176.58 c cgmip : 0.00 0 0 0 0 0
176.50/176.58 c closecuts : 0.00 0 0 0 0 0
176.50/176.58 c strongcg : 0.31 6 0 0 2822 0
176.50/176.58 c cmir : 0.12 6 0 0 0 0
176.50/176.58 c flowcover : 0.23 6 0 0 704 0
176.50/176.58 c clique : 0.01 6 0 0 38 0
176.50/176.58 c zerohalf : 0.00 0 0 0 0 0
176.50/176.58 c mcf : 0.01 1 0 0 0 0
176.50/176.58 c oddcycle : 0.00 0 0 0 0 0
176.50/176.58 c rapidlearning : 0.14 1 0 0 0 30
176.50/176.58 c Pricers : Time Calls Vars
176.50/176.58 c problem variables: 0.00 0 0
176.50/176.58 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
176.50/176.58 c relpscost : 35.28 10837 0 149 0 0 21436
176.50/176.58 c pscost : 0.00 0 0 0 0 0 0
176.50/176.58 c inference : 0.00 0 0 0 0 0 0
176.50/176.58 c mostinf : 0.00 0 0 0 0 0 0
176.50/176.58 c leastinf : 0.00 0 0 0 0 0 0
176.50/176.58 c fullstrong : 0.00 0 0 0 0 0 0
176.50/176.58 c allfullstrong : 0.00 0 0 0 0 0 0
176.50/176.58 c random : 0.00 0 0 0 0 0 0
176.50/176.58 c Primal Heuristics : Time Calls Found
176.50/176.58 c LP solutions : 0.01 - 26
176.50/176.58 c pseudo solutions : 0.00 - 0
176.50/176.58 c intshifting : 0.00 0 0
176.50/176.58 c feaspump : 0.00 0 0
176.50/176.58 c oneopt : 0.58 42 0
176.50/176.58 c crossover : 0.48 10 0
176.50/176.58 c rootsoldiving : 0.54 16 0
176.50/176.58 c objpscostdiving : 0.60 16 2
176.50/176.58 c coefdiving : 1.70 32 2
176.50/176.58 c linesearchdiving : 1.62 32 2
176.50/176.58 c guideddiving : 1.60 32 2
176.50/176.58 c pscostdiving : 1.91 32 1
176.50/176.58 c fracdiving : 1.82 32 1
176.50/176.58 c veclendiving : 1.46 32 3
176.50/176.58 c trivial : 0.00 2 0
176.50/176.58 c shiftandpropagate: 0.23 1 1
176.50/176.58 c simplerounding : 0.10 11355 3
176.50/176.58 c zirounding : 0.21 1000 2
176.50/176.58 c rounding : 0.33 1469 0
176.50/176.58 c shifting : 0.73 471 1
176.50/176.58 c twoopt : 0.00 0 0
176.50/176.58 c fixandinfer : 0.00 0 0
176.50/176.58 c clique : 0.00 0 0
176.50/176.58 c intdiving : 0.00 0 0
176.50/176.58 c actconsdiving : 0.00 0 0
176.50/176.58 c octane : 0.00 0 0
176.50/176.58 c rens : 0.08 1 0
176.50/176.58 c rins : 0.00 0 0
176.50/176.58 c localbranching : 0.00 0 0
176.50/176.58 c mutation : 0.00 0 0
176.50/176.58 c dins : 0.00 0 0
176.50/176.58 c vbounds : 0.00 0 0
176.50/176.58 c undercover : 0.00 0 0
176.50/176.58 c subnlp : 0.00 0 0
176.50/176.58 c trysol : 0.18 854 127
176.50/176.58 c LP : Time Calls Iterations Iter/call Iter/sec
176.50/176.58 c primal LP : 0.01 0 0 0.00 -
176.50/176.58 c dual LP : 81.31 38673 194658 5.03 2394.07
176.50/176.58 c lex dual LP : 0.00 0 0 0.00 -
176.50/176.58 c barrier LP : 0.00 0 0 0.00 -
176.50/176.58 c diving/probing LP: 7.91 4464 28511 6.39 3604.95
176.50/176.58 c strong branching : 34.82 6536 134231 20.54 3855.18
176.50/176.58 c (at root node) : - 16 8210 513.12 -
176.50/176.58 c conflict analysis: 0.00 0 0 0.00 -
176.50/176.58 c B&B Tree :
176.50/176.58 c number of runs : 1
176.50/176.58 c nodes : 13536
176.50/176.58 c nodes (total) : 13536
176.50/176.58 c nodes left : 0
176.50/176.58 c max depth : 102
176.50/176.58 c max depth (total): 102
176.50/176.58 c backtracks : 1278 (9.4%)
176.50/176.58 c delayed cutoffs : 1834
176.50/176.58 c repropagations : 5054 (30426 domain reductions, 50 cutoffs)
176.50/176.58 c avg switch length: 3.69
176.50/176.58 c switching time : 3.55
176.50/176.58 c Solution :
176.50/176.58 c Solutions found : 173 (43 improvements)
176.50/176.58 c First Solution : +1.43100000000000e+03 (in run 1, after 1 nodes, 0.69 seconds, depth 1614, found by <shiftandpropagate>)
176.50/176.58 c Primal Bound : +2.00000000000000e+00 (in run 1, after 13511 nodes, 176.31 seconds, depth 65, found by <veclendiving>)
176.50/176.58 c Dual Bound : +2.00000000000000e+00
176.50/176.58 c Gap : 0.00 %
176.50/176.58 c Root Dual Bound : +0.00000000000000e+00
176.50/176.58 c Root Iterations : 3422
176.60/176.60 c Time complete: 176.6.
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 /var/tmp/evaluation-result-3447402-1307899762/watcher-3447402-1307899762 -o /var/tmp/evaluation-result-3447402-1307899762/solver-3447402-1307899762 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447402-1307899762.wbo -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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: 2.07 2.01 1.88 2/177 21451 /proc/meminfo: memFree=3150892/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=10128 CPUtime=0 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 1527 0 0 0 0 0 0 0 25 0 1 0 901574666 10371072 1481 33554432000 4194304 9128323 140734440913616 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21451/statm: 2532 1481 399 1205 0 1323 0 [startup+0.0768571 s] /proc/loadavg: 2.07 2.01 1.88 2/177 21451 /proc/meminfo: memFree=3150892/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=31712 CPUtime=0.06 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 6924 0 0 0 6 0 0 0 25 0 1 0 901574666 32473088 6619 33554432000 4194304 9128323 140734440913616 18446744073709551615 8009006 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 7928 6619 532 1205 0 6719 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 31712 [startup+0.100843 s] /proc/loadavg: 2.07 2.01 1.88 2/177 21451 /proc/meminfo: memFree=3150892/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=32648 CPUtime=0.09 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 7172 0 0 0 9 0 0 0 25 0 1 0 901574666 33431552 6867 33554432000 4194304 9128323 140734440913616 18446744073709551615 5266288 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 8162 6867 553 1205 0 6953 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 32648 [startup+0.300808 s] /proc/loadavg: 2.07 2.01 1.88 2/177 21451 /proc/meminfo: memFree=3150892/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=32648 CPUtime=0.29 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 7225 0 0 0 29 0 0 0 25 0 1 0 901574666 33431552 6920 33554432000 4194304 9128323 140734440913616 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 8162 6920 567 1205 0 6953 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32648 [startup+0.700783 s] /proc/loadavg: 2.07 2.01 1.88 2/177 21451 /proc/meminfo: memFree=3150892/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=41688 CPUtime=0.69 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 9738 0 0 0 69 0 0 0 25 0 1 0 901574666 42688512 9376 33554432000 4194304 9128323 140734440913616 18446744073709551615 6912480 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 10455 9385 666 1205 0 9246 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41688 [startup+1.50063 s] /proc/loadavg: 2.07 2.01 1.88 3/178 21452 /proc/meminfo: memFree=3087544/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=70864 CPUtime=1.49 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 17506 0 0 0 147 2 0 0 25 0 1 0 901574666 72564736 16684 33554432000 4194304 9128323 140734440913616 18446744073709551615 6694354 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 17716 16684 750 1205 0 16507 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 70864 [startup+3.10036 s] /proc/loadavg: 2.06 2.01 1.88 3/178 21452 /proc/meminfo: memFree=3086552/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=77652 CPUtime=3.09 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 19033 0 0 0 306 3 0 0 25 0 1 0 901574666 79515648 18144 33554432000 4194304 9128323 140734440913616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 19413 18144 757 1205 0 18204 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 77652 [startup+6.3008 s] /proc/loadavg: 2.06 2.01 1.88 3/178 21452 /proc/meminfo: memFree=3080356/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=77652 CPUtime=6.29 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 19037 0 0 0 623 6 0 0 25 0 1 0 901574666 79515648 18147 33554432000 4194304 9128323 140734440913616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 19413 18147 756 1205 0 18204 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 77652 [startup+12.7007 s] /proc/loadavg: 2.05 2.01 1.88 3/178 21452 /proc/meminfo: memFree=3080112/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=77652 CPUtime=12.7 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 19058 0 0 0 1260 10 0 0 25 0 1 0 901574666 79515648 18168 33554432000 4194304 9128323 140734440913616 18446744073709551615 7183732 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 19413 18168 756 1205 0 18204 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 77652 [startup+25.5006 s] /proc/loadavg: 2.04 2.01 1.89 3/178 21453 /proc/meminfo: memFree=3078224/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=77652 CPUtime=25.49 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 20619 0 0 0 2534 15 0 0 25 0 1 0 901574666 79515648 18542 33554432000 4194304 9128323 140734440913616 18446744073709551615 7192205 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 19413 18542 761 1205 0 18204 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77652 [startup+51.1003 s] /proc/loadavg: 2.03 2.01 1.89 3/178 21454 /proc/meminfo: memFree=3078200/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=77652 CPUtime=51.09 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 28583 0 0 0 5084 25 0 0 25 0 1 0 901574666 79515648 18551 33554432000 4194304 9128323 140734440913616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 19413 18551 761 1205 0 18204 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 77652 [startup+102.307 s] /proc/loadavg: 2.01 2.00 1.89 3/178 21455 /proc/meminfo: memFree=3073688/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=77652 CPUtime=102.3 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 35182 0 0 0 10189 41 0 0 25 0 1 0 901574666 79515648 18559 33554432000 4194304 9128323 140734440913616 18446744073709551615 4339395 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 19413 18559 761 1205 0 18204 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 77652 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.90 3/178 21456 /proc/meminfo: memFree=3062096/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=84292 CPUtime=162.29 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 59003 0 0 0 16165 64 0 0 25 0 1 0 901574666 86315008 20225 33554432000 4194304 9128323 140734440913616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 21073 20225 761 1205 0 19864 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 84292 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 2.00 2.00 1.90 3/178 21457 /proc/meminfo: memFree=3061348/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=84772 CPUtime=166.29 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 59121 0 0 0 16564 65 0 0 25 0 1 0 901574666 86806528 20343 33554432000 4194304 9128323 140734440913616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 21193 20343 761 1205 0 19984 0 Current children cumulated CPU time (s) 166.29 Current children cumulated vsize (KiB) 84772 [startup+172.707 s] /proc/loadavg: 2.00 2.00 1.90 3/178 21457 /proc/meminfo: memFree=3060964/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=85080 CPUtime=172.7 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 59193 0 0 0 17201 69 0 0 25 0 1 0 901574666 87121920 20415 33554432000 4194304 9128323 140734440913616 18446744073709551615 7366207 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 21270 20415 761 1205 0 20061 0 Current children cumulated CPU time (s) 172.7 Current children cumulated vsize (KiB) 85080 [startup+174.301 s] /proc/loadavg: 2.00 2.00 1.90 3/178 21457 /proc/meminfo: memFree=3060344/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=85468 CPUtime=174.29 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 59302 0 0 0 17359 70 0 0 25 0 1 0 901574666 87519232 20524 33554432000 4194304 9128323 140734440913616 18446744073709551615 7343184 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 21367 20524 761 1205 0 20158 0 Current children cumulated CPU time (s) 174.29 Current children cumulated vsize (KiB) 85468 [startup+175.9 s] /proc/loadavg: 2.00 2.00 1.90 3/178 21457 /proc/meminfo: memFree=3060216/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=85640 CPUtime=175.9 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 59326 0 0 0 17519 71 0 0 25 0 1 0 901574666 87695360 20548 33554432000 4194304 9128323 140734440913616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 21410 20548 761 1205 0 20201 0 Current children cumulated CPU time (s) 175.9 Current children cumulated vsize (KiB) 85640 [startup+176.3 s] /proc/loadavg: 2.00 2.00 1.90 3/178 21457 /proc/meminfo: memFree=3060216/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=85992 CPUtime=176.3 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 59408 0 0 0 17559 71 0 0 25 0 1 0 901574666 88055808 20630 33554432000 4194304 9128323 140734440913616 18446744073709551615 7346392 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 21498 20630 761 1205 0 20289 0 Current children cumulated CPU time (s) 176.3 Current children cumulated vsize (KiB) 85992 [startup+176.5 s] /proc/loadavg: 2.00 2.00 1.90 3/178 21457 /proc/meminfo: memFree=3060216/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=85992 CPUtime=176.5 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 59414 0 0 0 17579 71 0 0 25 0 1 0 901574666 88055808 20636 33554432000 4194304 9128323 140734440913616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21451/statm: 21498 20636 761 1205 0 20289 0 Current children cumulated CPU time (s) 176.5 Current children cumulated vsize (KiB) 85992 [startup+176.6 s] /proc/loadavg: 2.00 2.00 1.90 3/178 21457 /proc/meminfo: memFree=3060216/32951124 swapFree=67054520/67111528 [pid=21451] ppid=21449 vsize=81356 CPUtime=176.6 cores=0,2,4,6 /proc/21451/stat : 21451 (scip-2.0.1.4.li) R 21449 21451 20310 0 -1 4202496 59416 0 0 0 17589 71 0 0 18 0 1 0 901574666 83308544 19714 33554432000 4194304 9128323 140734440913616 18446744073709551615 6885407 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21451/statm: 20339 19596 763 1205 0 19130 0 Current children cumulated CPU time (s) 176.6 Current children cumulated vsize (KiB) 81356 Child status: 0 Real time (s): 176.607 CPU time (s): 176.609 CPU user time (s): 175.893 CPU system time (s): 0.715891 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 103812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 175.893 system time used= 0.715891 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59418 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= 7 involuntary context switches= 235 runsolver used 0.236963 second user time and 0.575912 second system time The end
Begin job on node130 at 2011-06-12 19:29:22 IDJOB=3447402 IDBENCH=79051 IDSOLVER=1944 FILE ID=node130/3447402-1307899762 RUNJOBID= node130-1307897879-21246 PBS_JOBID= 13559576 Free space on /var/tmp= 2896 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-elf.rf7.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 /var/tmp/evaluation-result-3447402-1307899762/watcher-3447402-1307899762 -o /var/tmp/evaluation-result-3447402-1307899762/solver-3447402-1307899762 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447402-1307899762.wbo -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0f5209330b13fd9909fb37660b8a3f5d RANDOM SEED=383529343 node130.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.838 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.67 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.81 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.838 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.75 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.838 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.838 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.838 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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 3151072 kB Buffers: 54892 kB Cached: 28632512 kB SwapCached: 10292 kB Active: 14306200 kB Inactive: 14590228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 3151072 kB SwapTotal: 67111528 kB SwapFree: 67054520 kB Dirty: 17084 kB Writeback: 4 kB AnonPages: 206508 kB Mapped: 15664 kB Slab: 839076 kB PageTables: 4996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 407332 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 /var/tmp at the end= 2884 MiB End job on node130 at 2011-06-12 19:32:18