Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPT | 1 | 946.26 | 946.583 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_2.opb |
| MD5SUM | 031b0f629913e7cd5c934f00ec1a1885 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 113.9 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1 |
| Optimality of the best value was proved | YES |
| Number of variables | 94 |
| Total number of constraints | 8 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 44 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 64 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2040 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 808 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2934 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667660-1276614011.opb>
0.00/0.01 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.00
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 16 | - | 350k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 o 320
0.09/0.11 c y 0.1s| 1 | 0 | 41 | - | 375k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 46 | - | 527k| 0 | 8 | 94 | 130 | 94 | 10 | 6 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 52 | - | 567k| 0 | 9 | 94 | 130 | 94 | 16 | 12 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 56 | - | 593k| 0 | 12 | 94 | 130 | 94 | 21 | 17 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 69 | - | 606k| 0 | 15 | 94 | 130 | 94 | 25 | 21 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 80 | - | 617k| 0 | 14 | 94 | 130 | 94 | 28 | 24 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 88 | - | 620k| 0 | 16 | 94 | 130 | 94 | 30 | 26 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.19/0.28 c 0.2s| 1 | 2 | 88 | - | 620k| 0 | 16 | 94 | 130 | 94 | 30 | 26 | 0 | 9 | 0.000000e+00 | 3.200000e+02 | Inf
0.29/0.32 o 116
0.29/0.32 c c 0.2s| 22 | 23 | 246 | 7.5 | 647k| 21 | - | 94 | 130 | 94 | 17 | 26 | 0 | 91 | 0.000000e+00 | 1.160000e+02 | Inf
0.29/0.36 o 114
0.29/0.36 c v 0.3s| 63 | 64 | 378 | 4.7 | 644k| 22 | - | 94 | 107 | 94 | 17 | 26 | 7 | 178 | 0.000000e+00 | 1.140000e+02 | Inf
0.29/0.39 o 90
0.29/0.39 c s 0.3s| 99 | 98 | 572 | 4.9 | 657k| 22 | 4 | 94 | 109 | 94 | 17 | 26 | 9 | 205 | 0.000000e+00 | 9.000000e+01 | Inf
0.39/0.41 o 87
0.39/0.41 c g 0.3s| 126 | 125 | 650 | 4.5 | 676k| 31 | - | 94 | 111 | 94 | 17 | 26 | 11 | 233 | 0.000000e+00 | 8.700000e+01 | Inf
0.39/0.45 o 86
0.39/0.45 c * 0.4s| 185 | 176 | 875 | 4.3 | 704k| 31 | - | 94 | 111 | 94 | 17 | 26 | 12 | 266 | 0.000000e+00 | 8.600000e+01 | Inf
0.39/0.45 o 82
0.39/0.45 c * 0.4s| 190 | 176 | 876 | 4.2 | 705k| 33 | - | 94 | 111 | 94 | 17 | 26 | 12 | 274 | 0.000000e+00 | 8.200000e+01 | Inf
0.39/0.46 o 80
0.39/0.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.46 c f 0.4s| 204 | 187 | 905 | 4.0 | 722k| 34 | - | 94 | 111 | 94 | 17 | 26 | 13 | 311 | 0.000000e+00 | 8.000000e+01 | Inf
0.39/0.47 o 79
0.39/0.47 c v 0.4s| 218 | 201 | 941 | 3.9 | 732k| 34 | - | 94 | 111 | 94 | 17 | 26 | 13 | 317 | 0.000000e+00 | 7.900000e+01 | Inf
0.39/0.48 o 77
0.39/0.48 c * 0.4s| 251 | 229 | 1049 | 3.8 | 746k| 34 | - | 94 | 114 | 94 | 17 | 26 | 16 | 319 | 0.000000e+00 | 7.700000e+01 | Inf
0.39/0.49 o 76
0.39/0.49 c * 0.4s| 259 | 234 | 1069 | 3.8 | 749k| 34 | - | 94 | 114 | 94 | 17 | 26 | 16 | 339 | 0.000000e+00 | 7.600000e+01 | Inf
0.39/0.49 o 74
0.39/0.49 c * 0.4s| 260 | 229 | 1069 | 3.8 | 749k| 34 | - | 94 | 114 | 94 | 17 | 26 | 16 | 339 | 0.000000e+00 | 7.400000e+01 | Inf
0.49/0.52 o 73
0.49/0.52 c * 0.4s| 319 | 274 | 1226 | 3.6 | 772k| 34 | - | 94 | 114 | 94 | 17 | 26 | 18 | 372 | 0.000000e+00 | 7.300000e+01 | Inf
0.49/0.56 o 70
0.49/0.56 c c 0.5s| 372 | 312 | 1446 | 3.7 | 799k| 34 | - | 94 | 118 | 94 | 17 | 26 | 23 | 403 | 0.000000e+00 | 7.000000e+01 | Inf
0.49/0.59 o 57
0.49/0.59 c p 0.5s| 415 | 336 | 1571 | 3.6 | 819k| 34 | - | 94 | 118 | 94 | 17 | 26 | 24 | 426 | 0.000000e+00 | 5.700000e+01 | Inf
0.59/0.61 o 55
0.59/0.61 c * 0.5s| 449 | 352 | 1678 | 3.5 | 819k| 34 | - | 94 | 21 | 94 | 17 | 26 | 26 | 440 | 0.000000e+00 | 5.500000e+01 | Inf
0.59/0.61 o 53
0.59/0.61 c * 0.5s| 450 | 348 | 1678 | 3.5 | 818k| 34 | - | 94 | 21 | 94 | 17 | 26 | 26 | 440 | 0.000000e+00 | 5.300000e+01 | Inf
0.59/0.61 o 51
0.59/0.61 c * 0.5s| 465 | 356 | 1715 | 3.5 | 823k| 34 | - | 94 | 21 | 94 | 17 | 26 | 26 | 451 | 0.000000e+00 | 5.100000e+01 | Inf
0.59/0.62 o 50
0.59/0.62 c f 0.5s| 475 | 363 | 1755 | 3.5 | 836k| 34 | - | 94 | 22 | 94 | 17 | 26 | 28 | 453 | 0.000000e+00 | 5.000000e+01 | Inf
0.59/0.64 o 49
0.59/0.64 c * 0.5s| 516 | 390 | 1847 | 3.4 | 849k| 34 | - | 94 | 23 | 94 | 17 | 26 | 30 | 457 | 0.000000e+00 | 4.900000e+01 | Inf
0.59/0.67 o 47
0.59/0.67 c * 0.6s| 572 | 433 | 2034 | 3.4 | 872k| 34 | - | 94 | 28 | 94 | 17 | 26 | 39 | 461 | 0.000000e+00 | 4.700000e+01 | Inf
0.59/0.68 o 45
0.59/0.68 c l 0.6s| 596 | 450 | 2178 | 3.5 | 887k| 34 | - | 94 | 33 | 94 | 17 | 26 | 45 | 466 | 0.000000e+00 | 4.500000e+01 | Inf
0.69/0.75 o 43
0.69/0.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.75 c * 0.6s| 714 | 541 | 2689 | 3.6 | 931k| 34 | - | 94 | 44 | 94 | 17 | 26 | 65 | 471 | 0.000000e+00 | 4.300000e+01 | Inf
0.69/0.79 o 42
0.69/0.79 c g 0.7s| 780 | 593 | 3063 | 3.8 | 960k| 34 | - | 94 | 52 | 94 | 17 | 26 | 74 | 479 | 0.000000e+00 | 4.200000e+01 | Inf
0.79/0.80 o 41
0.79/0.80 c p 0.7s| 785 | 596 | 3090 | 3.8 | 970k| 34 | - | 94 | 53 | 94 | 17 | 26 | 78 | 481 | 0.000000e+00 | 4.100000e+01 | Inf
0.79/0.81 o 35
0.79/0.81 c s 0.7s| 813 | 596 | 3193 | 3.8 | 965k| 34 | 4 | 94 | 55 | 94 | 17 | 26 | 81 | 482 | 0.000000e+00 | 3.500000e+01 | Inf
0.79/0.82 o 33
0.79/0.82 c v 0.7s| 829 | 604 | 3242 | 3.8 | 977k| 34 | - | 94 | 58 | 94 | 17 | 26 | 85 | 482 | 0.000000e+00 | 3.300000e+01 | Inf
0.79/0.88 o 31
0.79/0.88 c * 0.8s| 927 | 668 | 3705 | 3.9 |1018k| 34 | - | 94 | 71 | 94 | 17 | 26 | 102 | 485 | 0.000000e+00 | 3.100000e+01 | Inf
0.89/0.96 o 30
0.89/0.96 c v 0.8s| 1055 | 744 | 4212 | 3.9 |1077k| 34 | - | 94 | 115 | 94 | 17 | 26 | 157 | 493 | 0.000000e+00 | 3.000000e+01 | Inf
0.99/1.07 o 27
0.99/1.07 c c 0.9s| 1251 | 865 | 5106 | 4.0 |1155k| 34 | - | 94 | 162 | 94 | 17 | 26 | 205 | 510 | 0.000000e+00 | 2.700000e+01 | Inf
1.10/1.12 o 25
1.10/1.12 c l 1.0s| 1339 | 907 | 5443 | 4.0 |1189k| 34 | - | 94 | 183 | 94 | 17 | 26 | 226 | 514 | 0.000000e+00 | 2.500000e+01 | Inf
1.10/1.12 o 23
1.10/1.12 c c 1.0s| 1339 | 893 | 5443 | 4.0 |1182k| 34 | - | 94 | 183 | 94 | 17 | 26 | 226 | 514 | 0.000000e+00 | 2.300000e+01 | Inf
1.10/1.15 o 22
1.10/1.15 c * 1.0s| 1384 | 907 | 5631 | 4.0 |1159k| 34 | - | 94 | 204 | 94 | 17 | 26 | 249 | 515 | 0.000000e+00 | 2.200000e+01 | Inf
1.39/1.47 o 21
1.39/1.47 c f 1.3s| 1832 | 1159 | 7661 | 4.1 |1333k| 34 | - | 94 | 308 | 94 | 17 | 26 | 365 | 523 | 0.000000e+00 | 2.100000e+01 | Inf
1.39/1.47 o 20
1.39/1.47 c * 1.3s| 1840 | 1144 | 7697 | 4.1 |1327k| 34 | - | 94 | 308 | 94 | 17 | 26 | 365 | 523 | 0.000000e+00 | 2.000000e+01 | Inf
1.39/1.49 o 16
1.39/1.49 c * 1.3s| 1856 | 1080 | 7760 | 4.1 |1299k| 34 | - | 94 | 309 | 94 | 17 | 26 | 366 | 523 | 0.000000e+00 | 1.600000e+01 | Inf
2.10/2.12 o 15
2.10/2.12 c * 1.9s| 3193 | 1550 | 12411 | 3.9 |1641k| 34 | - | 94 | 545 | 94 | 17 | 26 | 625 | 530 | 0.000000e+00 | 1.500000e+01 | Inf
2.10/2.12 o 13
2.10/2.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.10/2.12 c * 1.9s| 3195 | 1520 | 12411 | 3.9 |1623k| 34 | - | 94 | 545 | 94 | 17 | 26 | 625 | 530 | 0.000000e+00 | 1.300000e+01 | Inf
2.10/2.12 o 11
2.10/2.12 c * 1.9s| 3196 | 1481 | 12411 | 3.9 |1600k| 34 | - | 94 | 545 | 94 | 17 | 26 | 625 | 530 | 0.000000e+00 | 1.100000e+01 | Inf
2.69/2.76 o 10
2.69/2.76 c * 2.5s| 4728 | 1760 | 16303 | 3.4 |1889k| 34 | - | 94 | 810 | 94 | 17 | 26 | 916 | 537 | 0.000000e+00 | 1.000000e+01 | Inf
2.89/2.96 o 8
2.89/2.96 c * 2.6s| 5178 | 1750 | 17541 | 3.4 |1929k| 34 | - | 94 | 874 | 94 | 17 | 26 | 987 | 542 | 0.000000e+00 | 8.000000e+00 | Inf
2.89/2.96 o 6
2.89/2.96 c * 2.6s| 5179 | 1708 | 17541 | 3.4 |1905k| 34 | - | 94 | 874 | 94 | 17 | 26 | 987 | 542 | 0.000000e+00 | 6.000000e+00 | Inf
4.89/4.94 c 4.5s| 10000 | 1843 | 28577 | 2.8 |2479k| 34 | - | 94 |1707 | 0 | 0 | 26 |1910 | 603 | 0.000000e+00 | 6.000000e+00 | Inf
9.48/9.57 c 8.8s| 20000 | 1825 | 50067 | 2.5 |3238k| 34 | 4 | 94 |3117 | 94 | 17 | 26 |3715 | 701 | 0.000000e+00 | 6.000000e+00 | Inf
10.19/10.28 o 5
10.19/10.28 c * 9.4s| 21368 | 1833 | 53304 | 2.5 |3340k| 34 | - | 94 |3355 | 94 | 17 | 26 |3966 | 716 | 0.000000e+00 | 5.000000e+00 | Inf
14.88/14.97 c 13.8s| 30000 | 1694 | 72454 | 2.4 |3584k| 34 | 4 | 94 |3905 | 94 | 17 | 26 |5400 | 812 | 0.000000e+00 | 5.000000e+00 | Inf
20.48/20.58 c 19.1s| 40000 | 1636 | 93497 | 2.3 |3756k| 34 | 4 | 94 |3984 | 94 | 17 | 26 |7291 | 889 | 0.000000e+00 | 5.000000e+00 | Inf
23.69/23.77 o 4
23.69/23.77 c *22.1s| 46335 | 1564 |107253 | 2.3 |3490k| 34 | - | 94 |3312 | 94 | 17 | 26 |8422 | 933 | 0.000000e+00 | 4.000000e+00 | Inf
25.29/25.40 c 23.6s| 50000 | 1578 |115231 | 2.3 |3490k| 34 | 4 | 94 |3263 | 94 | 17 | 26 |8950 | 939 | 0.000000e+00 | 4.000000e+00 | Inf
29.88/29.93 c 27.8s| 60000 | 1599 |136438 | 2.3 |3694k| 34 | - | 94 |3662 | 94 | 17 | 26 | 10k| 951 | 0.000000e+00 | 4.000000e+00 | Inf
32.38/32.40 o 2
32.38/32.40 c *30.1s| 65535 | 1544 |148464 | 2.3 |3633k| 34 | - | 94 |3629 | 94 | 17 | 26 | 11k| 954 | 0.000000e+00 | 2.000000e+00 | Inf
34.09/34.12 c 31.7s| 70000 | 1690 |157520 | 2.2 |3451k| 34 | - | 94 |2831 | 94 | 17 | 26 | 11k| 959 | 0.000000e+00 | 2.000000e+00 | Inf
37.98/38.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.98/38.08 c 35.4s| 80000 | 1451 |178990 | 2.2 |3220k| 34 | - | 94 |2656 | 94 | 17 | 26 | 12k| 961 | 0.000000e+00 | 2.000000e+00 | Inf
41.68/41.74 c 38.7s| 90000 | 1481 |199288 | 2.2 |2997k| 34 | - | 94 |1884 | 94 | 17 | 26 | 13k|1007 | 0.000000e+00 | 2.000000e+00 | Inf
45.18/45.28 c 42.0s|100000 | 1680 |219117 | 2.2 |3155k| 34 | - | 94 |1975 | 94 | 17 | 26 | 15k|1012 | 0.000000e+00 | 2.000000e+00 | Inf
45.48/45.54 o 1
45.48/45.54 c *42.2s|100690 | 1624 |220448 | 2.2 |3112k| 34 | - | 94 |1920 | 94 | 17 | 26 | 15k|1013 | 0.000000e+00 | 1.000000e+00 | Inf
50.48/50.52 c 46.8s|110000 | 1466 |235853 | 2.1 |3729k| 34 | 4 | 94 |4024 | 94 | 17 | 26 | 20k|1027 | 0.000000e+00 | 1.000000e+00 | Inf
56.97/57.04 c 53.0s|120000 | 1266 |252396 | 2.1 |3708k| 34 | 4 | 94 |4149 | 94 | 17 | 26 | 26k|1045 | 0.000000e+00 | 1.000000e+00 | Inf
63.36/63.43 c 59.0s|130000 | 1307 |269324 | 2.1 |4235k| 34 | - | 94 |5347 | 0 | 0 | 26 | 33k|1045 | 0.000000e+00 | 1.000000e+00 | Inf
70.86/70.91 c 66.1s|140000 | 1254 |286553 | 2.0 |4753k| 34 | 4 | 94 |7130 | 94 | 17 | 26 | 39k|1045 | 0.000000e+00 | 1.000000e+00 | Inf
79.66/79.73 c 74.5s|150000 | 1156 |303686 | 2.0 |5481k| 34 | - | 94 |8867 | 94 | 17 | 26 | 46k|1046 | 0.000000e+00 | 1.000000e+00 | Inf
89.35/89.48 c 84.0s|160000 | 1172 |321052 | 2.0 |5503k| 34 | 4 | 94 |8342 | 94 | 17 | 26 | 53k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
98.65/98.77 c 92.9s|170000 | 1140 |337996 | 2.0 |5602k| 34 | - | 94 |8502 | 0 | 0 | 26 | 60k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
107.76/107.86 c 102s|180000 | 1224 |355864 | 2.0 |5916k| 34 | 4 | 94 |8858 | 94 | 17 | 26 | 67k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
117.75/117.80 c 111s|190000 | 1132 |373582 | 2.0 |6478k| 34 | - | 94 | 10k| 94 | 17 | 26 | 74k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
129.14/129.21 c 122s|200000 | 973 |392048 | 2.0 |5669k| 34 | 4 | 94 |8107 | 94 | 17 | 26 | 81k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
137.94/138.06 c 131s|210000 | 1055 |410354 | 2.0 |6220k| 34 | 4 | 94 |9352 | 94 | 17 | 26 | 88k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
149.34/149.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.34/149.48 c 142s|220000 | 1052 |428257 | 1.9 |6629k| 34 | - | 94 | 10k| 94 | 17 | 26 | 94k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
159.53/159.69 c 151s|230000 | 839 |445186 | 1.9 |5658k| 34 | - | 94 |7832 | 0 | 0 | 26 | 101k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
169.03/169.10 c 161s|240000 | 1100 |462694 | 1.9 |5657k| 34 | 4 | 94 |7025 | 94 | 17 | 26 | 107k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
178.52/178.61 c 170s|250000 | 1281 |480699 | 1.9 |6903k| 34 | 4 | 94 | 10k| 94 | 17 | 26 | 115k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
190.72/190.84 c 182s|260000 | 1088 |497462 | 1.9 |7088k| 34 | - | 94 | 10k| 94 | 17 | 26 | 122k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
202.92/203.03 c 193s|270000 | 871 |514239 | 1.9 |7223k| 34 | - | 94 | 11k| 94 | 17 | 26 | 129k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
215.22/215.38 c 205s|280000 | 876 |531360 | 1.9 |7297k| 34 | - | 94 | 12k| 0 | 0 | 26 | 136k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
227.91/228.02 c 218s|290000 | 768 |548534 | 1.9 |7298k| 34 | - | 94 | 12k| 94 | 17 | 26 | 143k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
240.50/240.69 c 230s|300000 | 740 |566100 | 1.9 |7820k| 34 | - | 94 | 13k| 94 | 17 | 26 | 150k|1069 | 0.000000e+00 | 1.000000e+00 | Inf
253.60/253.75 c 243s|310000 | 786 |583683 | 1.9 |6823k| 34 | - | 94 | 10k| 94 | 17 | 26 | 157k|1072 | 0.000000e+00 | 1.000000e+00 | Inf
264.70/264.86 c 253s|320000 | 861 |601553 | 1.9 |7757k| 34 | - | 94 | 12k| 94 | 17 | 26 | 164k|1072 | 0.000000e+00 | 1.000000e+00 | Inf
278.80/278.96 c 267s|330000 | 744 |619095 | 1.9 |8427k| 34 | 4 | 94 | 14k| 94 | 17 | 26 | 171k|1072 | 0.000000e+00 | 1.000000e+00 | Inf
294.19/294.37 c 282s|340000 | 730 |637118 | 1.9 |9396k| 34 | - | 94 | 17k| 0 | 0 | 26 | 177k|1077 | 0.000000e+00 | 1.000000e+00 | Inf
312.78/312.93 c 300s|350000 | 739 |654761 | 1.9 | 10M| 34 | 4 | 94 | 20k| 94 | 17 | 26 | 184k|1077 | 0.000000e+00 | 1.000000e+00 | Inf
333.48/333.69 c 320s|360000 | 763 |672773 | 1.9 |9424k| 34 | 4 | 94 | 16k| 94 | 17 | 26 | 190k|1081 | 0.000000e+00 | 1.000000e+00 | Inf
349.68/349.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.68/349.84 c 336s|370000 | 567 |689765 | 1.9 |7720k| 34 | - | 94 | 11k| 0 | 0 | 26 | 196k|1085 | 0.000000e+00 | 1.000000e+00 | Inf
360.16/360.31 c 346s|380000 | 587 |706932 | 1.9 |6477k| 34 | 4 | 94 |6894 | 94 | 17 | 26 | 203k|1106 | 0.000000e+00 | 1.000000e+00 | Inf
370.07/370.29 c 356s|390000 | 475 |724246 | 1.9 |7194k| 34 | 4 | 94 |9411 | 94 | 17 | 26 | 209k|1108 | 0.000000e+00 | 1.000000e+00 | Inf
381.16/381.38 c 367s|400000 | 1003 |742368 | 1.9 |7755k| 34 | 4 | 94 |9790 | 94 | 17 | 26 | 216k|1108 | 0.000000e+00 | 1.000000e+00 | Inf
392.96/393.18 c 378s|410000 | 1247 |760281 | 1.9 |8484k| 34 | 4 | 94 | 10k| 94 | 17 | 26 | 222k|1108 | 0.000000e+00 | 1.000000e+00 | Inf
405.35/405.59 c 390s|420000 | 1272 |777809 | 1.9 |9044k| 34 | 4 | 94 | 12k| 94 | 17 | 26 | 228k|1108 | 0.000000e+00 | 1.000000e+00 | Inf
419.15/419.35 c 403s|430000 | 1242 |795576 | 1.8 |9355k| 34 | 4 | 94 | 13k| 94 | 17 | 26 | 235k|1108 | 0.000000e+00 | 1.000000e+00 | Inf
432.94/433.14 c 417s|440000 | 1220 |813001 | 1.8 | 10M| 34 | 4 | 94 | 15k| 94 | 17 | 26 | 242k|1108 | 0.000000e+00 | 1.000000e+00 | Inf
448.84/449.03 c 432s|450000 | 1151 |831110 | 1.8 | 10M| 34 | - | 94 | 15k| 0 | 0 | 26 | 248k|1108 | 0.000000e+00 | 1.000000e+00 | Inf
466.03/466.29 c 449s|460000 | 867 |849177 | 1.8 |9680k| 34 | - | 94 | 14k| 94 | 17 | 26 | 255k|1108 | 0.000000e+00 | 1.000000e+00 | Inf
480.82/481.00 c 463s|470000 | 828 |867524 | 1.8 |9767k| 34 | - | 94 | 14k| 94 | 17 | 26 | 262k|1108 | 0.000000e+00 | 1.000000e+00 | Inf
496.82/497.05 c 479s|480000 | 721 |885177 | 1.8 |9489k| 34 | 4 | 94 | 14k| 94 | 17 | 26 | 269k|1108 | 0.000000e+00 | 1.000000e+00 | Inf
512.42/512.66 c 494s|490000 | 414 |901850 | 1.8 |8495k| 34 | 4 | 94 | 13k| 94 | 17 | 26 | 276k|1108 | 0.000000e+00 | 1.000000e+00 | Inf
525.62/525.84 c 507s|500000 | 470 |920073 | 1.8 |8472k| 34 | - | 94 | 13k| 94 | 17 | 26 | 282k|1120 | 0.000000e+00 | 1.000000e+00 | Inf
539.92/540.13 c 521s|510000 | 453 |938213 | 1.8 |9262k| 34 | 4 | 94 | 15k| 94 | 17 | 26 | 289k|1120 | 0.000000e+00 | 1.000000e+00 | Inf
554.70/554.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.70/554.98 c 535s|520000 | 706 |956121 | 1.8 |8836k| 34 | - | 94 | 14k| 94 | 17 | 26 | 295k|1238 | 0.000000e+00 | 1.000000e+00 | Inf
569.99/570.23 c 550s|530000 | 779 |973393 | 1.8 |9707k| 34 | 4 | 94 | 16k| 94 | 17 | 26 | 301k|1238 | 0.000000e+00 | 1.000000e+00 | Inf
586.89/587.10 c 567s|540000 | 582 |990799 | 1.8 |9811k| 34 | - | 94 | 16k| 0 | 0 | 26 | 308k|1238 | 0.000000e+00 | 1.000000e+00 | Inf
604.58/604.87 c 584s|550000 | 643 | 1008k| 1.8 | 10M| 34 | - | 94 | 18k| 94 | 17 | 26 | 314k|1238 | 0.000000e+00 | 1.000000e+00 | Inf
621.38/621.65 c 600s|560000 | 297 | 1026k| 1.8 |7064k| 34 | 4 | 94 |8857 | 94 | 17 | 26 | 321k|1248 | 0.000000e+00 | 1.000000e+00 | Inf
631.37/631.61 c 610s|570000 | 493 | 1044k| 1.8 |7689k| 34 | - | 94 | 10k| 94 | 17 | 26 | 327k|1248 | 0.000000e+00 | 1.000000e+00 | Inf
643.28/643.59 c 622s|580000 | 242 | 1062k| 1.8 |7210k| 34 | - | 94 |9431 | 0 | 0 | 26 | 334k|1248 | 0.000000e+00 | 1.000000e+00 | Inf
655.47/655.79 c 633s|590000 | 332 | 1079k| 1.8 |7824k| 34 | 4 | 94 | 11k| 94 | 17 | 26 | 339k|1248 | 0.000000e+00 | 1.000000e+00 | Inf
668.66/668.95 c 646s|600000 | 328 | 1097k| 1.8 |8679k| 34 | - | 94 | 13k| 94 | 17 | 26 | 346k|1248 | 0.000000e+00 | 1.000000e+00 | Inf
684.06/684.38 c 661s|610000 | 285 | 1115k| 1.8 |9036k| 34 | 4 | 94 | 15k| 94 | 17 | 26 | 353k|1248 | 0.000000e+00 | 1.000000e+00 | Inf
700.05/700.39 c 677s|620000 | 291 | 1134k| 1.8 | 10M| 34 | - | 94 | 18k| 94 | 17 | 26 | 359k|1248 | 0.000000e+00 | 1.000000e+00 | Inf
719.75/720.07 c 696s|630000 | 367 | 1153k| 1.8 | 11M| 34 | - | 94 | 23k| 0 | 0 | 26 | 366k|1248 | 0.000000e+00 | 1.000000e+00 | Inf
743.74/744.03 c 720s|640000 | 272 | 1172k| 1.8 | 12M| 34 | 4 | 94 | 23k| 94 | 17 | 26 | 374k|1248 | 0.000000e+00 | 1.000000e+00 | Inf
762.93/763.24 c 738s|650000 | 142 | 1190k| 1.8 |9922k| 34 | 4 | 94 | 16k| 94 | 17 | 26 | 380k|1290 | 0.000000e+00 | 1.000000e+00 | Inf
779.03/779.32 c 754s|660000 | 65 | 1209k| 1.8 |8855k| 34 | - | 94 | 12k| 94 | 17 | 26 | 387k|1290 | 0.000000e+00 | 1.000000e+00 | Inf
793.93/794.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
793.93/794.22 c 769s|670000 | 119 | 1228k| 1.8 | 10M| 34 | - | 94 | 17k| 94 | 17 | 26 | 394k|1290 | 0.000000e+00 | 1.000000e+00 | Inf
812.91/813.26 c 787s|680000 | 149 | 1247k| 1.8 | 10M| 34 | - | 94 | 18k| 94 | 17 | 26 | 401k|1290 | 0.000000e+00 | 1.000000e+00 | Inf
834.41/834.73 c 808s|690000 | 166 | 1266k| 1.8 | 11M| 34 | 4 | 94 | 22k| 94 | 17 | 26 | 408k|1290 | 0.000000e+00 | 1.000000e+00 | Inf
859.40/859.75 c 833s|700000 | 188 | 1284k| 1.8 | 12M| 34 | 4 | 94 | 25k| 94 | 17 | 26 | 414k|1290 | 0.000000e+00 | 1.000000e+00 | Inf
887.49/887.83 c 861s|710000 | 180 | 1303k| 1.8 | 13M| 34 | 4 | 94 | 27k| 94 | 17 | 26 | 420k|1290 | 0.000000e+00 | 1.000000e+00 | Inf
916.78/917.17 c 890s|720000 | 167 | 1322k| 1.8 | 14M| 34 | - | 94 | 30k| 94 | 17 | 26 | 427k|1290 | 0.000000e+00 | 1.000000e+00 | Inf
946.17/946.51 c
946.17/946.51 c SCIP Status : problem is solved [optimal solution found]
946.17/946.51 c Solving Time (sec) : 918.43
946.17/946.51 c Solving Nodes : 728410
946.17/946.51 c Primal Bound : +1.00000000000000e+00 (65 solutions)
946.17/946.51 c Dual Bound : +1.00000000000000e+00
946.17/946.51 c Gap : 0.00 %
946.17/946.51 s OPTIMUM FOUND
946.17/946.51 v -x69 x94 -x93 x92 x91 x90 x89 x88 -x87 x86 -x85 -x84 x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 x72 -x71 x70 x68 x67 -x66
946.17/946.51 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
946.17/946.51 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
946.17/946.51 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
946.17/946.51 c SCIP Status : problem is solved [optimal solution found]
946.17/946.51 c Solving Time : 918.43
946.17/946.51 c Original Problem :
946.17/946.51 c Problem name : HOME/instance-2667660-1276614011.opb
946.17/946.51 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
946.17/946.51 c Constraints : 8 initial, 8 maximal
946.17/946.51 c Presolved Problem :
946.17/946.51 c Problem name : t_HOME/instance-2667660-1276614011.opb
946.17/946.51 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
946.17/946.51 c Constraints : 4 initial, 33402 maximal
946.17/946.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
946.17/946.51 c trivial : 0.00 0 0 0 0 0 0 0 0
946.17/946.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
946.17/946.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
946.17/946.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
946.17/946.51 c implics : 0.00 0 0 0 0 0 0 0 0
946.17/946.51 c probing : 0.00 0 0 0 0 0 0 0 0
946.17/946.51 c linear : 0.00 0 0 0 0 0 4 0 0
946.17/946.51 c logicor : 0.00 0 0 0 0 0 0 0 0
946.17/946.51 c root node : - 65 - - 65 - - - -
946.17/946.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
946.17/946.51 c integral : 0 0 0 406287 0 43 364 0 0 811728
946.17/946.51 c linear : 4+ 7 1746836 2 0 204626 1229888 0 0 0
946.17/946.51 c logicor : 0+ 0 936439 0 0 10916 441097 0 0 0
946.17/946.51 c countsols : 0 0 0 26 0 0 0 0 0 0
946.17/946.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
946.17/946.51 c integral : 5.60 0.00 0.00 5.60 0.00
946.17/946.51 c linear : 92.89 0.00 92.89 0.00 0.00
946.17/946.51 c logicor : 346.28 0.00 346.28 0.00 0.00
946.17/946.51 c countsols : 0.00 0.00 0.00 0.00 0.00
946.17/946.51 c Propagators : Time Calls Cutoffs DomReds
946.17/946.51 c vbounds : 0.86 2 0 0
946.17/946.51 c rootredcost : 0.91 46 0 64
946.17/946.51 c pseudoobj : 9.25 1747260 580 10613
946.17/946.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
946.17/946.51 c propagation : 10.89 216121 143001 368002 20.3 48 18.5 -
946.17/946.51 c infeasible LP : 11.95 175788 175780 313963 13.6 1961 17.0 0
946.17/946.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
946.17/946.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
946.17/946.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
946.17/946.51 c applied globally : - - - 433367 15.4 - - -
946.17/946.51 c applied locally : - - - 252 32.1 - - -
946.17/946.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
946.17/946.51 c cut pool : 0.00 5 - - 27 - (maximal pool size: 66)
946.17/946.51 c redcost : 2.14 412722 0 90335 0 0
946.17/946.51 c impliedbounds : 0.00 6 0 0 0 0
946.17/946.51 c intobj : 0.00 0 0 0 0 0
946.17/946.51 c cgmip : 0.00 0 0 0 0 0
946.17/946.51 c gomory : 0.00 6 0 0 0 0
946.17/946.51 c strongcg : 0.00 6 0 0 12 0
946.17/946.51 c cmir : 0.00 6 0 0 30 0
946.17/946.51 c flowcover : 0.03 6 0 0 45 0
946.17/946.51 c clique : 0.00 1 0 0 0 0
946.17/946.51 c zerohalf : 0.00 0 0 0 0 0
946.17/946.51 c mcf : 0.00 1 0 0 0 0
946.17/946.51 c rapidlearning : 0.07 1 0 0 0 126
946.17/946.51 c Pricers : Time Calls Vars
946.17/946.51 c problem variables: 0.00 0 0
946.17/946.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
946.17/946.51 c relpscost : 5.08 406261 43 364 0 0 811728
946.17/946.51 c pscost : 0.00 0 0 0 0 0 0
946.17/946.51 c inference : 0.00 0 0 0 0 0 0
946.17/946.51 c mostinf : 0.00 0 0 0 0 0 0
946.17/946.51 c leastinf : 0.00 0 0 0 0 0 0
946.17/946.51 c fullstrong : 0.00 0 0 0 0 0 0
946.17/946.51 c allfullstrong : 0.00 0 0 0 0 0 0
946.17/946.51 c random : 0.00 0 0 0 0 0 0
946.17/946.51 c Primal Heuristics : Time Calls Found
946.17/946.51 c LP solutions : 0.00 - 26
946.17/946.51 c pseudo solutions : 0.00 - 0
946.17/946.51 c feaspump : 0.14 1 0
946.17/946.51 c oneopt : 0.56 45 0
946.17/946.51 c rootsoldiving : 1.02 702 3
946.17/946.51 c coefdiving : 2.70 1429 4
946.17/946.51 c pscostdiving : 2.63 1429 2
946.17/946.51 c linesearchdiving : 2.79 1429 2
946.17/946.51 c guideddiving : 2.80 1429 2
946.17/946.51 c fracdiving : 2.49 1429 3
946.17/946.51 c veclendiving : 3.40 1429 4
946.17/946.51 c objpscostdiving : 0.47 715 0
946.17/946.51 c trivial : 0.00 2 0
946.17/946.51 c simplerounding : 0.28 0 0
946.17/946.51 c zirounding : 0.55 1000 0
946.17/946.51 c rounding : 0.61 9060 0
946.17/946.51 c shifting : 12.63 20824 18
946.17/946.51 c intshifting : 0.07 0 0
946.17/946.51 c twoopt : 0.00 0 0
946.17/946.51 c fixandinfer : 0.00 0 0
946.17/946.51 c intdiving : 0.00 0 0
946.17/946.51 c actconsdiving : 0.00 0 0
946.17/946.51 c octane : 0.00 0 0
946.17/946.51 c rens : 0.06 1 0
946.17/946.51 c rins : 0.00 0 0
946.17/946.51 c localbranching : 0.00 0 0
946.17/946.51 c mutation : 0.00 0 0
946.17/946.51 c crossover : 0.04 1 0
946.17/946.51 c dins : 0.00 0 0
946.17/946.51 c undercover : 0.00 0 0
946.17/946.51 c nlp : 0.43 0 0
946.17/946.51 c trysol : 0.54 0 0
946.17/946.51 c LP : Time Calls Iterations Iter/call Iter/sec
946.17/946.51 c primal LP : 0.00 0 0 0.00 -
946.17/946.51 c dual LP : 60.94 589082 1281493 2.18 21028.77
946.17/946.51 c lex dual LP : 0.00 0 0 0.00 -
946.17/946.51 c barrier LP : 0.00 0 0 0.00 -
946.17/946.51 c diving/probing LP: 2.87 28246 56561 2.00 19707.67
946.17/946.51 c strong branching : 0.20 1292 6023 4.66 30115.00
946.17/946.51 c (at root node) : - 9 402 44.67 -
946.17/946.51 c conflict analysis: 0.00 0 0 0.00 -
946.17/946.51 c B&B Tree :
946.17/946.51 c number of runs : 1
946.17/946.51 c nodes : 728410
946.17/946.51 c nodes (total) : 728410
946.17/946.51 c nodes left : 0
946.17/946.51 c max depth : 34
946.17/946.51 c max depth (total): 34
946.17/946.51 c backtracks : 227703 (31.3%)
946.17/946.51 c delayed cutoffs : 82777
946.17/946.51 c repropagations : 511187 (740759 domain reductions, 72236 cutoffs)
946.17/946.51 c avg switch length: 4.44
946.17/946.51 c switching time : 228.19
946.17/946.51 c Solution :
946.17/946.51 c Solutions found : 65 (46 improvements)
946.17/946.51 c First Solution : +3.20000000000000e+02 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trysol>)
946.17/946.51 c Primal Bound : +1.00000000000000e+00 (in run 1, after 100690 nodes, 42.20 seconds, depth 25, found by <relaxation>)
946.17/946.51 c Dual Bound : +1.00000000000000e+00
946.17/946.51 c Gap : 0.00 %
946.17/946.51 c Root Dual Bound : +0.00000000000000e+00
946.17/946.51 c Root Iterations : 88
946.17/946.58 c Time complete: 946.25.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667660-1276614011/watcher-2667660-1276614011 -o /tmp/evaluation-result-2667660-1276614011/solver-2667660-1276614011 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667660-1276614011.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.14 1.63 1.52 3/106 1945 /proc/meminfo: memFree=1787128/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=5084 CPUtime=0 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 591 0 0 0 0 0 0 0 25 0 1 0 35052933 5206016 513 1992294400 4194304 8223781 140734739353280 18446744073709551615 7302042 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1945/statm: 1311 523 326 984 0 324 0 [startup+0.0765801 s] /proc/loadavg: 1.14 1.63 1.52 3/106 1945 /proc/meminfo: memFree=1787128/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=19944 CPUtime=0.06 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 4722 0 0 0 4 2 0 0 25 0 1 0 35052933 20422656 3753 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 4986 3753 565 984 0 3999 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 19944 [startup+0.101583 s] /proc/loadavg: 1.14 1.63 1.52 3/106 1945 /proc/meminfo: memFree=1787128/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=20088 CPUtime=0.09 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 4736 0 0 0 6 3 0 0 25 0 1 0 35052933 20570112 3767 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 5022 3767 565 984 0 4035 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20088 [startup+0.300621 s] /proc/loadavg: 1.14 1.63 1.52 3/106 1945 /proc/meminfo: memFree=1787128/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=13892 CPUtime=0.29 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 8072 0 0 0 23 6 0 0 25 0 1 0 35052933 14225408 2631 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 3473 2631 587 984 0 2486 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13892 [startup+0.700698 s] /proc/loadavg: 1.14 1.63 1.52 3/106 1945 /proc/meminfo: memFree=1787128/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=13892 CPUtime=0.69 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 8073 0 0 0 59 10 0 0 25 0 1 0 35052933 14225408 2632 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 3473 2632 588 984 0 2486 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13892 [startup+1.50084 s] /proc/loadavg: 1.13 1.62 1.52 2/107 1946 /proc/meminfo: memFree=1778192/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=14088 CPUtime=1.49 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 11158 0 0 0 130 19 0 0 25 0 1 0 35052933 14426112 2686 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 3522 2686 589 984 0 2535 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14088 [startup+3.10113 s] /proc/loadavg: 1.13 1.62 1.52 2/107 1946 /proc/meminfo: memFree=1777820/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=15268 CPUtime=3.09 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 11424 0 0 0 277 32 0 0 25 0 1 0 35052933 15634432 2952 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 3817 2952 589 984 0 2830 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15268 [startup+6.30071 s] /proc/loadavg: 1.13 1.62 1.52 2/107 1946 /proc/meminfo: memFree=1775836/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=17028 CPUtime=6.29 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 11881 0 0 0 572 57 0 0 25 0 1 0 35052933 17436672 3409 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 4257 3409 589 984 0 3270 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17028 [startup+12.7009 s] /proc/loadavg: 1.11 1.60 1.51 2/107 1946 /proc/meminfo: memFree=1774472/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=18080 CPUtime=12.69 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 12104 0 0 0 1169 100 0 0 25 0 1 0 35052933 18513920 3632 1992294400 4194304 8223781 140734739353280 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 4520 3632 589 984 0 3533 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18080 [startup+25.5012 s] /proc/loadavg: 1.09 1.58 1.50 2/107 1946 /proc/meminfo: memFree=1773108/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=19392 CPUtime=25.49 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 12420 0 0 0 2369 180 0 0 25 0 1 0 35052933 19857408 3948 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 4848 3948 589 984 0 3861 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19392 [startup+51.1009 s] /proc/loadavg: 1.06 1.53 1.49 2/107 1946 /proc/meminfo: memFree=1772984/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=19532 CPUtime=51.07 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 12463 0 0 0 4737 370 0 0 25 0 1 0 35052933 20000768 3991 1992294400 4194304 8223781 140734739353280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 4883 3991 589 984 0 3896 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19532 [startup+102.308 s] /proc/loadavg: 1.06 1.45 1.46 2/107 1958 /proc/meminfo: memFree=1768024/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=24488 CPUtime=102.26 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 13568 0 0 0 9625 601 0 0 25 0 1 0 35052933 25075712 5096 1992294400 4194304 8223781 140734739353280 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 6122 5096 589 984 0 5135 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 24488 [startup+162.301 s] /proc/loadavg: 1.13 1.40 1.44 2/107 1960 /proc/meminfo: memFree=1766536/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=26228 CPUtime=162.23 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 13966 0 0 0 15399 824 0 0 25 0 1 0 35052933 26857472 5494 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 6557 5494 589 984 0 5570 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 26228 [startup+222.301 s] /proc/loadavg: 1.05 1.32 1.41 2/107 1962 /proc/meminfo: memFree=1766040/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=27252 CPUtime=222.21 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 14088 0 0 0 21200 1021 0 0 25 0 1 0 35052933 27906048 5616 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 6813 5616 589 984 0 5826 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 27252 [startup+282.301 s] /proc/loadavg: 1.02 1.26 1.38 2/107 1964 /proc/meminfo: memFree=1764924/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=28716 CPUtime=282.19 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 14424 0 0 0 27018 1201 0 0 25 0 1 0 35052933 29405184 5952 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 7179 5952 589 984 0 6192 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 28716 [startup+342.301 s] /proc/loadavg: 1.00 1.21 1.36 2/107 1964 /proc/meminfo: memFree=1760956/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=33280 CPUtime=342.18 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 15390 0 0 0 32884 1334 0 0 25 0 1 0 35052933 34078720 6918 1992294400 4194304 8223781 140734739353280 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 8320 6918 589 984 0 7333 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 33280 [startup+402.301 s] /proc/loadavg: 1.00 1.17 1.33 2/107 1966 /proc/meminfo: memFree=1760832/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=33280 CPUtime=402.15 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 15390 0 0 0 38687 1528 0 0 25 0 1 0 35052933 34078720 6918 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 8320 6918 589 984 0 7333 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 33280 [startup+462.302 s] /proc/loadavg: 1.00 1.14 1.31 2/107 1968 /proc/meminfo: memFree=1760584/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=33280 CPUtime=462.14 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 15390 0 0 0 44528 1686 0 0 25 0 1 0 35052933 34078720 6918 1992294400 4194304 8223781 140734739353280 18446744073709551615 4455748 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 8320 6918 589 984 0 7333 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 33280 [startup+522.302 s] /proc/loadavg: 1.00 1.11 1.29 2/107 1970 /proc/meminfo: memFree=1760584/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=33280 CPUtime=522.12 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 15392 0 0 0 50371 1841 0 0 25 0 1 0 35052933 34078720 6920 1992294400 4194304 8223781 140734739353280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 8320 6920 589 984 0 7333 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 33280 [startup+582.302 s] /proc/loadavg: 1.00 1.09 1.26 2/107 1972 /proc/meminfo: memFree=1760460/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=33964 CPUtime=582.09 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 15436 0 0 0 56208 2001 0 0 25 0 1 0 35052933 34779136 6964 1992294400 4194304 8223781 140734739353280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 8491 6964 589 984 0 7504 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 33964 [startup+642.302 s] /proc/loadavg: 1.00 1.07 1.25 2/107 1972 /proc/meminfo: memFree=1760336/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=33964 CPUtime=642.08 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 15450 0 0 0 62041 2167 0 0 25 0 1 0 35052933 34779136 6978 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 8491 6978 589 984 0 7504 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 33964 [startup+702.3 s] /proc/loadavg: 1.00 1.05 1.23 2/107 1975 /proc/meminfo: memFree=1759964/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=34256 CPUtime=702.05 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 15504 0 0 0 67871 2334 0 0 25 0 1 0 35052933 35078144 7032 1992294400 4194304 8223781 140734739353280 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 8564 7032 589 984 0 7577 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 34256 [startup+762.308 s] /proc/loadavg: 1.00 1.04 1.21 2/107 1977 /proc/meminfo: memFree=1757360/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=36728 CPUtime=762.04 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 16135 0 0 0 73754 2450 0 0 25 0 1 0 35052933 37609472 7663 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 9182 7663 589 984 0 8195 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 36728 [startup+822.301 s] /proc/loadavg: 1.00 1.03 1.19 2/107 1979 /proc/meminfo: memFree=1757360/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=36728 CPUtime=822.01 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 16137 0 0 0 79610 2591 0 0 25 0 1 0 35052933 37609472 7665 1992294400 4194304 8223781 140734739353280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 9182 7665 589 984 0 8195 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 36728 [startup+882.301 s] /proc/loadavg: 1.00 1.02 1.18 2/107 1981 /proc/meminfo: memFree=1756616/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=37440 CPUtime=881.99 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 16306 0 0 0 85512 2687 0 0 25 0 1 0 35052933 38338560 7834 1992294400 4194304 8223781 140734739353280 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 9360 7834 589 984 0 8373 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 37440 [startup+942.301 s] /proc/loadavg: 1.00 1.02 1.17 2/107 1981 /proc/meminfo: memFree=1754260/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=39604 CPUtime=941.98 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 16876 0 0 0 91427 2771 0 0 25 0 1 0 35052933 40554496 8404 1992294400 4194304 8223781 140734739353280 18446744073709551615 4208866 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 9901 8404 589 984 0 8914 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 39604 Solver just ended. Dumping a history of the last processes samples [startup+943.901 s] /proc/loadavg: 1.00 1.02 1.17 2/107 1981 /proc/meminfo: memFree=1753144/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=42040 CPUtime=943.57 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 17198 0 0 0 91585 2772 0 0 25 0 1 0 35052933 43048960 8726 1992294400 4194304 8223781 140734739353280 18446744073709551615 4644815 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 10510 8726 589 984 0 9523 0 Current children cumulated CPU time (s) 943.57 Current children cumulated vsize (KiB) 42040 [startup+945.501 s] /proc/loadavg: 1.00 1.02 1.17 2/107 1981 /proc/meminfo: memFree=1752772/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=44324 CPUtime=945.17 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 17662 0 0 0 91743 2774 0 0 25 0 1 0 35052933 45387776 9190 1992294400 4194304 8223781 140734739353280 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 11081 9190 589 984 0 10094 0 Current children cumulated CPU time (s) 945.17 Current children cumulated vsize (KiB) 44324 [startup+946.301 s] /proc/loadavg: 1.00 1.02 1.16 2/107 1981 /proc/meminfo: memFree=1751160/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=44324 CPUtime=945.97 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 17662 0 0 0 91822 2775 0 0 25 0 1 0 35052933 45387776 9190 1992294400 4194304 8223781 140734739353280 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 11081 9190 589 984 0 10094 0 Current children cumulated CPU time (s) 945.97 Current children cumulated vsize (KiB) 44324 [startup+946.501 s] /proc/loadavg: 1.00 1.02 1.16 2/107 1981 /proc/meminfo: memFree=1751160/2059040 swapFree=4140328/4192956 [pid=1945] ppid=1943 vsize=44324 CPUtime=946.17 /proc/1945/stat : 1945 (pbscip.linux.x8) R 1943 1945 1650 0 -1 4202496 17662 0 0 0 91842 2775 0 0 25 0 1 0 35052933 45387776 9190 1992294400 4194304 8223781 140734739353280 18446744073709551615 4223889 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1945/statm: 11081 9190 589 984 0 10094 0 Current children cumulated CPU time (s) 946.17 Current children cumulated vsize (KiB) 44324 Child status: 0 Real time (s): 946.583 CPU time (s): 946.26 CPU user time (s): 918.502 CPU system time (s): 27.7578 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 44324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 918.502 system time used= 27.7578 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17668 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= 2 involuntary context switches= 1491 runsolver used 2.12968 second user time and 4.76028 second system time The end
Begin job on node027 at 2010-06-15 17:00:11 IDJOB=2667660 IDBENCH=2916 IDSOLVER=1169 FILE ID=node027/2667660-1276614011 PBS_JOBID= 11172291 Free space on /tmp= 62536 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667660-1276614011/watcher-2667660-1276614011 -o /tmp/evaluation-result-2667660-1276614011/solver-2667660-1276614011 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667660-1276614011.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885 RANDOM SEED=1243940286 node027.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.261 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5600.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.261 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1787532 kB Buffers: 63536 kB Cached: 127896 kB SwapCached: 6128 kB Active: 96320 kB Inactive: 108616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1787532 kB SwapTotal: 4192956 kB SwapFree: 4140328 kB Dirty: 4532 kB Writeback: 0 kB AnonPages: 11704 kB Mapped: 13200 kB Slab: 44688 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182836 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node027 at 2010-06-15 17:15:57