Trace number 2663627

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverOPT3 93.4638 93.4885

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb
MD5SUMbc362e080dfd9e6c883df7eeb6006e66
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.764882
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)441
Sum of products size (including duplicates)882
Number of different products441
Sum of products size882

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2663627-1276648506.opb>
0.00/0.01	c original problem has 630 variables (630 bin, 0 int, 0 impl, 0 cont) and 460 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02	c presolving:
0.00/0.10	c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 50 chg coeffs, 0 upgd conss, 2916 impls, 0 clqs
0.09/0.11	c (round 2) 23 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 62 chg coeffs, 10 upgd conss, 4260 impls, 0 clqs
0.09/0.11	c (round 3) 37 del vars, 24 del conss, 0 chg bounds, 0 chg sides, 74 chg coeffs, 10 upgd conss, 5436 impls, 0 clqs
0.09/0.11	c (round 4) 51 del vars, 36 del conss, 0 chg bounds, 0 chg sides, 86 chg coeffs, 10 upgd conss, 6444 impls, 0 clqs
0.09/0.12	c (round 5) 65 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 98 chg coeffs, 10 upgd conss, 7284 impls, 0 clqs
0.09/0.12	c (round 6) 79 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 110 chg coeffs, 10 upgd conss, 7956 impls, 0 clqs
0.09/0.13	c (round 7) 93 del vars, 72 del conss, 0 chg bounds, 0 chg sides, 122 chg coeffs, 10 upgd conss, 8460 impls, 0 clqs
0.09/0.13	c (round 8) 107 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 134 chg coeffs, 10 upgd conss, 8796 impls, 0 clqs
0.09/0.13	c (round 9) 121 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 146 chg coeffs, 10 upgd conss, 8964 impls, 0 clqs
0.09/0.14	c (round 10) 135 del vars, 108 del conss, 0 chg bounds, 0 chg sides, 158 chg coeffs, 10 upgd conss, 8964 impls, 0 clqs
0.09/0.16	c    (0.1s) probing: 204/495 (41.2%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes
0.09/0.16	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16	c presolving (11 rounds):
0.09/0.16	c  135 deleted vars, 108 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 158 changed coefficients
0.09/0.16	c  9000 implications, 0 cliques
0.09/0.16	c presolved problem has 495 variables (495 bin, 0 int, 0 impl, 0 cont) and 343 constraints
0.09/0.16	c     324 constraints of type <and>
0.09/0.16	c       9 constraints of type <linear>
0.09/0.16	c      10 constraints of type <logicor>
0.09/0.16	c transformed objective value is always integral (scale: 2)
0.09/0.16	c Presolving Time: 0.08
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 1.2.1.2
0.09/0.16	c 
0.09/0.16	c # frequency for displaying node information lines
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16	c display/freq = 10000
0.09/0.16	c 
0.09/0.16	c # maximal time in seconds to run
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/time = 1800
0.09/0.16	c 
0.09/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/memory = 1620
0.09/0.16	c 
0.09/0.16	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16	c lp/solvefreq = -1
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify inequalities
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/linear/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify knapsacks
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c heuristics/undercover/freq = 0
0.09/0.16	c 
0.09/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c separating/rapidlearning/freq = 0
0.09/0.16	c 
0.09/0.16	c -----------------------------------------------------------------------------------------------
0.09/0.16	c start solving
0.09/0.16	c 
0.09/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.17	c   0.1s|     1 |     2 |     0 |     - |1663k|   0 |   - | 495 | 343 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
2.49/2.56	c   2.2s| 10000 |  7269 |     0 |   0.0 |7017k| 285 |   - | 495 | 866 |   0 |   0 |   0 |2112 |   0 | 1.000000e+00 |      --      |    Inf 
5.19/5.26	c   4.7s| 20000 | 13984 |     0 |   0.0 |  12M| 285 |   - | 495 |1295 |   0 |   0 |   0 |4934 |   0 | 1.000000e+00 |      --      |    Inf 
7.89/7.93	c   7.1s| 30000 | 20704 |     0 |   0.0 |  17M| 285 |   - | 495 |1560 |   0 |   0 |   0 |7467 |   0 | 1.000000e+00 |      --      |    Inf 
10.49/10.53	c   9.4s| 40000 | 27692 |     0 |   0.0 |  22M| 285 |   - | 495 | 639 |   0 |   0 |   0 |9493 |   0 | 1.000000e+00 |      --      |    Inf 
13.09/13.15	c  11.8s| 50000 | 34467 |     0 |   0.0 |  26M| 285 |   - | 495 |1291 |   0 |   0 |   0 |  11k|   0 | 1.000000e+00 |      --      |    Inf 
15.99/16.01	c  14.5s| 60000 | 41084 |     0 |   0.0 |  31M| 285 |   - | 495 |1533 |   0 |   0 |   0 |  14k|   0 | 1.000000e+00 |      --      |    Inf 
19.09/19.10	c  17.3s| 70000 | 47300 |     0 |   0.0 |  36M| 285 |   - | 495 |1873 |   0 |   0 |   0 |  17k|   0 | 1.000000e+00 |      --      |    Inf 
21.68/21.79	c  19.8s| 80000 | 54747 |     0 |   0.0 |  41M| 285 |   - | 495 |1742 |   0 |   0 |   0 |  19k|   0 | 1.000000e+00 |      --      |    Inf 
24.30/24.37	c  22.1s| 90000 | 62495 |     0 |   0.0 |  46M| 285 |   - | 495 |1612 |   0 |   0 |   0 |  21k|   0 | 1.000000e+00 |      --      |    Inf 
26.99/27.00	c  24.5s|100000 | 69920 |     0 |   0.0 |  51M| 285 |   - | 495 |1771 |   0 |   0 |   0 |  23k|   0 | 1.000000e+00 |      --      |    Inf 
29.98/30.04	c  27.3s|110000 | 76614 |     0 |   0.0 |  56M| 285 |   - | 495 |2177 |   0 |   0 |   0 |  26k|   0 | 1.000000e+00 |      --      |    Inf 
32.98/33.05	c  30.1s|120000 | 83543 |     0 |   0.0 |  61M| 285 |   - | 495 |1792 |   0 |   0 |   0 |  29k|   0 | 1.000000e+00 |      --      |    Inf 
35.59/35.69	c  32.5s|130000 | 91154 |     0 |   0.0 |  67M| 285 |   - | 495 |1962 |   0 |   0 |   0 |  31k|   0 | 1.000000e+00 |      --      |    Inf 
38.78/38.83	c  35.3s|140000 | 97711 |     0 |   0.0 |  72M| 285 |   - | 495 |2423 |   0 |   0 |   0 |  34k|   0 | 1.000000e+00 |      --      |    Inf 
41.98/42.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
41.98/42.05	c  38.3s|150000 |104381 |     0 |   0.0 |  77M| 285 |   - | 495 |2559 |   0 |   0 |   0 |  36k|   0 | 1.000000e+00 |      --      |    Inf 
44.88/44.93	c  41.0s|160000 |111672 |     0 |   0.0 |  82M| 285 |   - | 495 |2595 |   0 |   0 |   0 |  38k|   0 | 1.000000e+00 |      --      |    Inf 
47.88/47.92	c  43.7s|170000 |118503 |     0 |   0.0 |  87M| 285 |   - | 495 |2917 |   0 |   0 |   0 |  41k|   0 | 1.000000e+00 |      --      |    Inf 
51.58/51.65	c  47.2s|180000 |123733 |     0 |   0.0 |  91M| 285 |   - | 495 |2836 |   0 |   0 |   0 |  44k|   0 | 1.000000e+00 |      --      |    Inf 
55.27/55.33	c  50.6s|190000 |129446 |     0 |   0.0 |  96M| 285 |   - | 495 |2838 |   0 |   0 |   0 |  47k|   0 | 1.000000e+00 |      --      |    Inf 
59.17/59.21	c  54.2s|200000 |134440 |     0 |   0.0 | 101M| 285 |   - | 495 |3181 |   0 |   0 |   0 |  51k|   0 | 1.000000e+00 |      --      |    Inf 
62.08/62.12	c  56.9s|210000 |141420 |     0 |   0.0 | 106M| 285 |   - | 495 |3135 |   0 |   0 |   0 |  53k|   0 | 1.000000e+00 |      --      |    Inf 
65.07/65.10	c  59.6s|220000 |148172 |     0 |   0.0 | 111M| 285 |   - | 495 |3118 |   0 |   0 |   0 |  55k|   0 | 1.000000e+00 |      --      |    Inf 
69.07/69.16	c  63.4s|230000 |152910 |     0 |   0.0 | 115M| 285 |   - | 495 |3135 |   0 |   0 |   0 |  59k|   0 | 1.000000e+00 |      --      |    Inf 
73.57/73.62	c  67.6s|240000 |156358 |     0 |   0.0 | 120M| 285 |   - | 495 |3257 |   0 |   0 |   0 |  62k|   0 | 1.000000e+00 |      --      |    Inf 
75.98/76.01	c  69.7s|250000 |164799 |     0 |   0.0 | 125M| 285 |   - | 495 | 640 |   0 |   0 |   0 |  64k|   0 | 1.000000e+00 |      --      |    Inf 
78.37/78.44	c  71.9s|260000 |172775 |     0 |   0.0 | 131M| 285 |   - | 495 | 889 |   0 |   0 |   0 |  65k|   0 | 1.000000e+00 |      --      |    Inf 
80.97/81.06	c  74.3s|270000 |180301 |     0 |   0.0 | 137M| 285 |   - | 495 | 949 |   0 |   0 |   0 |  67k|   0 | 1.000000e+00 |      --      |    Inf 
83.46/83.59	c  76.6s|280000 |187920 |     0 |   0.0 | 142M| 285 |   - | 495 |1003 |   0 |   0 |   0 |  69k|   0 | 1.000000e+00 |      --      |    Inf 
83.97/84.06	o 27
83.97/84.06	c *77.0s|281924 |189192 |     0 |   0.0 | 143M| 285 |   - | 495 |1019 |   0 |   0 |   0 |  69k|   0 | 1.000000e+00 | 2.700000e+01 |2600.00%
85.56/85.68	o 3
85.56/85.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
85.56/85.68	c *78.5s|287879 |154940 |     0 |   0.0 | 119M| 285 |   - | 495 |1142 |   0 |   0 |   0 |  71k|   0 | 1.000000e+00 | 3.000000e+00 | 200.00%
93.36/93.45	c 
93.36/93.45	c SCIP Status        : problem is solved [optimal solution found]
93.36/93.45	c Solving Time (sec) : 86.10
93.36/93.45	c Solving Nodes      : 287880
93.36/93.45	c Primal Bound       : +3.00000000000000e+00 (2 solutions)
93.36/93.45	c Dual Bound         : +3.00000000000000e+00
93.36/93.45	c Gap                : 0.00 %
93.36/93.45	s OPTIMUM FOUND
93.36/93.45	v -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x126 -x125 -x124 -x123 -x122 x121 x120 -x175 
93.36/93.45	v -x174 -x173 -x172 -x171 x170 x169 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x112 
93.36/93.45	v -x111 -x110 -x109 x108 -x107 x106 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x154 -x153 
93.36/93.45	v -x152 -x151 -x150 -x149 -x148 -x98 -x97 -x96 -x95 -x94 x93 x92 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x91 -x90 -x89 -x88 
93.36/93.45	v -x87 -x86 x85 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x84 x83 -x82 x81 -x80 x79 x78 -x133 -x132 -x131 -x130 -x129 -x128 -x127 
93.36/93.45	v -x77 x76 x75 x74 -x73 -x72 x71 x70 -x69 -x68 -x67 x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 x58 x57 x56 -x55 -x54 x53 x52 -x51 
93.36/93.45	v x50 -x49 -x48 -x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 x36 -x35 -x34 -x33 -x32 -x31 x30 x29 -x28 -x27 -x26 -x25 -x24 
93.36/93.45	v x23 x22 -x21 -x20 -x19 -x18 -x17 x16 x15 -x14 -x13 x12 -x11 -x10 x9 x8 -x7 -x6 -x5 -x4 -x3 x2 x1 
93.36/93.45	c SCIP Status        : problem is solved [optimal solution found]
93.36/93.45	c Solving Time       :      86.10
93.36/93.45	c Original Problem   :
93.36/93.45	c   Problem name     : HOME/instance-2663627-1276648506.opb
93.36/93.45	c   Variables        : 630 (630 binary, 0 integer, 0 implicit integer, 0 continuous)
93.36/93.45	c   Constraints      : 460 initial, 460 maximal
93.36/93.45	c Presolved Problem  :
93.36/93.45	c   Problem name     : t_HOME/instance-2663627-1276648506.opb
93.36/93.45	c   Variables        : 495 (495 binary, 0 integer, 0 implicit integer, 0 continuous)
93.36/93.45	c   Constraints      : 343 initial, 3338 maximal
93.36/93.45	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
93.36/93.45	c   trivial          :       0.00          0          0          0          0          0          0          0          0
93.36/93.45	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
93.36/93.45	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
93.36/93.46	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
93.36/93.46	c   implics          :       0.00          0          0          0          0          0          0          0          0
93.36/93.46	c   probing          :       0.02          0          0          0          0          0          0          0          0
93.36/93.46	c   and              :       0.05         18        108          0          0          0        108          0        108
93.36/93.46	c   linear           :       0.00          1          8          0          0          0          0          0         50
93.36/93.46	c   logicor          :       0.00          0          0          0          0          0          0          0          0
93.36/93.46	c   root node        :          -         49          -          -         49          -          -          -          -
93.36/93.46	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
93.36/93.46	c   integral         :          0          0          0          0          0          0          0          0          0          0
93.36/93.46	c   and              :        324          0     712551          0     254242       6966    1136818          0          0          0
93.36/93.46	c   linear           :          9          0     705583          0     254242      42506     521955          0          0          0
93.36/93.46	c   logicor          :         10+         0     310579          0     254221       3606     102760          0          0          0
93.36/93.46	c   countsols        :          0          0          0          0     254244          0          0          0          0          0
93.36/93.46	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
93.36/93.46	c   integral         :       0.00       0.00       0.00       0.00       0.00
93.36/93.46	c   and              :      10.65       0.00       6.83       0.00       3.82
93.36/93.46	c   linear           :      19.81       0.00      19.52       0.00       0.29
93.36/93.46	c   logicor          :       8.16       0.00       7.65       0.00       0.51
93.36/93.46	c   countsols        :       0.11       0.00       0.00       0.00       0.11
93.36/93.46	c Propagators        :       Time      Calls    Cutoffs    DomReds
93.36/93.46	c   vbounds          :       0.33          2          0          0
93.36/93.46	c   rootredcost      :       0.22          0          0          0
93.36/93.46	c   pseudoobj        :       0.87     712127          0        347
93.36/93.46	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
93.36/93.46	c   propagation      :       8.91      53077      52722     528723       50.7       4406       44.2          -
93.36/93.46	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
93.36/93.46	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
93.36/93.46	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
93.36/93.46	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
93.36/93.46	c   applied globally :          -          -          -      66525       28.5          -          -          -
93.36/93.46	c   applied locally  :          -          -          -       4672       57.8          -          -          -
93.36/93.46	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
93.36/93.46	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
93.36/93.46	c   redcost          :       0.00          0          0          0          0          0
93.36/93.46	c   impliedbounds    :       0.00          0          0          0          0          0
93.36/93.46	c   intobj           :       0.00          0          0          0          0          0
93.36/93.46	c   cgmip            :       0.00          0          0          0          0          0
93.36/93.46	c   gomory           :       0.00          0          0          0          0          0
93.36/93.46	c   strongcg         :       0.00          0          0          0          0          0
93.36/93.46	c   cmir             :       0.00          0          0          0          0          0
93.36/93.46	c   flowcover        :       0.00          0          0          0          0          0
93.36/93.46	c   clique           :       0.00          0          0          0          0          0
93.36/93.46	c   zerohalf         :       0.00          0          0          0          0          0
93.36/93.46	c   mcf              :       0.00          0          0          0          0          0
93.36/93.46	c   rapidlearning    :       0.00          0          0          0          0          0
93.36/93.46	c Pricers            :       Time      Calls       Vars
93.36/93.46	c   problem variables:       0.00          0          0
93.36/93.46	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
93.36/93.46	c   relpscost        :       0.00          0          0          0          0          0          0
93.36/93.46	c   pscost           :       0.00          0          0          0          0          0          0
93.36/93.46	c   inference        :      12.81     254242          0          0          0          0     508484
93.36/93.46	c   mostinf          :       0.00          0          0          0          0          0          0
93.36/93.46	c   leastinf         :       0.00          0          0          0          0          0          0
93.36/93.46	c   fullstrong       :       0.00          0          0          0          0          0          0
93.36/93.46	c   allfullstrong    :       0.00          0          0          0          0          0          0
93.36/93.46	c   random           :       0.00          0          0          0          0          0          0
93.36/93.46	c Primal Heuristics  :       Time      Calls      Found
93.36/93.46	c   LP solutions     :       0.00          -          0
93.36/93.46	c   pseudo solutions :       0.10          -          2
93.36/93.46	c   oneopt           :       0.08          0          0
93.36/93.46	c   trivial          :       0.00          2          0
93.36/93.46	c   simplerounding   :       0.00          0          0
93.36/93.46	c   zirounding       :       0.00          0          0
93.36/93.46	c   rounding         :       0.00          0          0
93.36/93.46	c   shifting         :       0.00          0          0
93.36/93.46	c   intshifting      :       0.00          0          0
93.36/93.46	c   twoopt           :       0.00          0          0
93.36/93.46	c   fixandinfer      :       0.00          0          0
93.36/93.46	c   feaspump         :       0.00          0          0
93.36/93.46	c   coefdiving       :       0.00          0          0
93.36/93.46	c   pscostdiving     :       0.00          0          0
93.36/93.46	c   fracdiving       :       0.00          0          0
93.36/93.46	c   veclendiving     :       0.00          0          0
93.36/93.46	c   intdiving        :       0.00          0          0
93.36/93.46	c   actconsdiving    :       0.00          0          0
93.36/93.46	c   objpscostdiving  :       0.00          0          0
93.36/93.46	c   rootsoldiving    :       0.00          0          0
93.36/93.46	c   linesearchdiving :       0.00          0          0
93.36/93.46	c   guideddiving     :       0.00          0          0
93.36/93.46	c   octane           :       0.00          0          0
93.36/93.46	c   rens             :       0.00          0          0
93.36/93.46	c   rins             :       0.00          0          0
93.36/93.46	c   localbranching   :       0.00          0          0
93.36/93.46	c   mutation         :       0.00          0          0
93.36/93.46	c   crossover        :       0.00          0          0
93.36/93.46	c   dins             :       0.00          0          0
93.36/93.46	c   undercover       :       0.00          0          0
93.36/93.46	c   nlp              :       0.15          0          0
93.36/93.46	c   trysol           :       0.15          0          0
93.36/93.46	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
93.36/93.46	c   primal LP        :       0.00          0          0       0.00          -
93.36/93.46	c   dual LP          :       0.00          0          0       0.00          -
93.36/93.46	c   lex dual LP      :       0.00          0          0       0.00          -
93.36/93.46	c   barrier LP       :       0.00          0          0       0.00          -
93.36/93.46	c   diving/probing LP:       0.00          0          0       0.00          -
93.36/93.46	c   strong branching :       0.00          0          0       0.00          -
93.36/93.46	c     (at root node) :          -          0          0       0.00          -
93.36/93.46	c   conflict analysis:       0.00          0          0       0.00          -
93.36/93.46	c B&B Tree           :
93.36/93.46	c   number of runs   :          1
93.36/93.46	c   nodes            :     287880
93.36/93.46	c   nodes (total)    :     287880
93.36/93.46	c   nodes left       :          0
93.36/93.46	c   max depth        :        285
93.36/93.46	c   max depth (total):        285
93.36/93.46	c   backtracks       :      22590 (7.8%)
93.36/93.46	c   delayed cutoffs  :     181725
93.36/93.46	c   repropagations   :      67881 (227604 domain reductions, 19442 cutoffs)
93.36/93.46	c   avg switch length:       5.04
93.36/93.46	c   switching time   :      21.48
93.36/93.46	c Solution           :
93.36/93.46	c   Solutions found  :          2 (2 improvements)
93.36/93.46	c   First Solution   : +2.70000000000000e+01   (in run 1, after 281924 nodes, 77.01 seconds, depth 88, found by <relaxation>)
93.36/93.46	c   Primal Bound     : +3.00000000000000e+00   (in run 1, after 287879 nodes, 78.39 seconds, depth 111, found by <relaxation>)
93.36/93.46	c   Dual Bound       : +3.00000000000000e+00
93.36/93.46	c   Gap              :       0.00 %
93.36/93.46	c   Root Dual Bound  : +1.00000000000000e+00
93.36/93.46	c   Root Iterations  :          0
93.36/93.48	c Time complete: 93.45.

Verifier Data 

OK	3

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663627-1276648506/watcher-2663627-1276648506 -o /tmp/evaluation-result-2663627-1276648506/solver-2663627-1276648506 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663627-1276648506.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: 0.99 0.98 0.99 3/105 13979
/proc/meminfo: memFree=1787424/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=6584 CPUtime=0
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 1069 0 0 0 0 0 0 0 25 0 1 0 6144399 6742016 992 1992294400 4194304 7136930 140733349808624 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13979/statm: 1646 1001 254 719 0 925 0

[startup+0.106869 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 13979
/proc/meminfo: memFree=1787424/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=12864 CPUtime=0.09
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 3221 0 0 0 4 5 0 0 25 0 1 0 6144399 13172736 2278 1992294400 4194304 7136930 140733349808624 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 3216 2296 351 719 0 2495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12864

[startup+0.20088 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 13979
/proc/meminfo: memFree=1787424/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=13808 CPUtime=0.19
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 8543 0 0 0 12 7 0 0 25 0 1 0 6144399 14139392 2716 1992294400 4194304 7136930 140733349808624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 3452 2716 389 719 0 2731 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13808

[startup+0.300891 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 13979
/proc/meminfo: memFree=1787424/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=14072 CPUtime=0.29
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 8629 0 0 0 21 8 0 0 25 0 1 0 6144399 14409728 2802 1992294400 4194304 7136930 140733349808624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 3518 2802 394 719 0 2797 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14072

[startup+0.700936 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 13979
/proc/meminfo: memFree=1787424/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=15436 CPUtime=0.69
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 8959 0 0 0 55 14 0 0 25 0 1 0 6144399 15806464 3132 1992294400 4194304 7136930 140733349808624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 3859 3132 394 719 0 3138 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15436

[startup+1.50103 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13980
/proc/meminfo: memFree=1774644/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=18052 CPUtime=1.49
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 9624 0 0 0 127 22 0 0 25 0 1 0 6144399 18485248 3797 1992294400 4194304 7136930 140733349808624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 4513 3797 394 719 0 3792 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18052

[startup+3.1012 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13980
/proc/meminfo: memFree=1771792/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=21920 CPUtime=3.09
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 10611 0 0 0 273 36 0 0 25 0 1 0 6144399 22446080 4784 1992294400 4194304 7136930 140733349808624 18446744073709551615 4240371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 5480 4784 394 719 0 4759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21920

[startup+6.30057 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13980
/proc/meminfo: memFree=1763980/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=29548 CPUtime=6.29
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 12549 0 0 0 561 68 0 0 25 0 1 0 6144399 30257152 6722 1992294400 4194304 7136930 140733349808624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 7387 6722 394 719 0 6666 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29548

[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13980
/proc/meminfo: memFree=1747364/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=43960 CPUtime=12.68
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 16221 0 0 0 1143 125 0 0 25 0 1 0 6144399 45015040 10394 1992294400 4194304 7136930 140733349808624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 10990 10394 394 719 0 10269 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 43960

[startup+25.5007 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13980
/proc/meminfo: memFree=1720332/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=72232 CPUtime=25.48
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 22872 0 0 0 2314 234 0 0 25 0 1 0 6144399 73965568 17045 1992294400 4194304 7136930 140733349808624 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 18058 17045 394 719 0 17337 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72232

[startup+51.1006 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13980
/proc/meminfo: memFree=1674452/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=118652 CPUtime=51.08
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 34720 0 0 0 4666 442 0 0 25 0 1 0 6144399 121499648 28893 1992294400 4194304 7136930 140733349808624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 29663 28893 394 719 0 28942 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 118652

Solver just ended. Dumping a history of the last processes samples

[startup+51.2006 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13980
/proc/meminfo: memFree=1674452/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=118652 CPUtime=51.17
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 34720 0 0 0 4675 442 0 0 25 0 1 0 6144399 121499648 28893 1992294400 4194304 7136930 140733349808624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 29663 28893 394 719 0 28942 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 118652

[startup+76.8005 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13982
/proc/meminfo: memFree=1637376/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=156216 CPUtime=76.77
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 44256 0 0 0 7044 633 0 0 25 0 1 0 6144399 159965184 38429 1992294400 4194304 7136930 140733349808624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 39054 38429 394 719 0 38333 0
Current children cumulated CPU time (s) 76.77
Current children cumulated vsize (KiB) 156216

[startup+83.2002 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13982
/proc/meminfo: memFree=1617536/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=174128 CPUtime=83.17
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 48803 0 0 0 7624 693 0 0 25 0 1 0 6144399 178307072 42976 1992294400 4194304 7136930 140733349808624 18446744073709551615 4740383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 43532 42976 394 719 0 42811 0
Current children cumulated CPU time (s) 83.17
Current children cumulated vsize (KiB) 174128

[startup+89.601 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13982
/proc/meminfo: memFree=1609600/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=180380 CPUtime=89.56
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 50397 0 0 0 8236 720 0 0 25 0 1 0 6144399 184709120 44570 1992294400 4194304 7136930 140733349808624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 45095 44570 394 719 0 44374 0
Current children cumulated CPU time (s) 89.56
Current children cumulated vsize (KiB) 180380

[startup+91.2011 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13982
/proc/meminfo: memFree=1609600/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=180380 CPUtime=91.17
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 50397 0 0 0 8394 723 0 0 25 0 1 0 6144399 184709120 44570 1992294400 4194304 7136930 140733349808624 18446744073709551615 6123187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 45095 44570 394 719 0 44374 0
Current children cumulated CPU time (s) 91.17
Current children cumulated vsize (KiB) 180380

[startup+92.8003 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13982
/proc/meminfo: memFree=1609600/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=180380 CPUtime=92.77
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 50397 0 0 0 8548 729 0 0 25 0 1 0 6144399 184709120 44570 1992294400 4194304 7136930 140733349808624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 45095 44570 394 719 0 44374 0
Current children cumulated CPU time (s) 92.77
Current children cumulated vsize (KiB) 180380

[startup+93.2004 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13982
/proc/meminfo: memFree=1609600/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=179864 CPUtime=93.16
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 50397 0 0 0 8585 731 0 0 25 0 1 0 6144399 184180736 44441 1992294400 4194304 7136930 140733349808624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 44966 44441 394 719 0 44245 0
Current children cumulated CPU time (s) 93.16
Current children cumulated vsize (KiB) 179864

[startup+93.4004 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13982
/proc/meminfo: memFree=1609600/2059040 swapFree=4192956/4192956
[pid=13979] ppid=13977 vsize=171664 CPUtime=93.36
/proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13634 0 -1 4202496 50397 0 0 0 8604 732 0 0 25 0 1 0 6144399 175783936 42391 1992294400 4194304 7136930 140733349808624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13979/statm: 42916 42391 394 719 0 42195 0
Current children cumulated CPU time (s) 93.36
Current children cumulated vsize (KiB) 171664

Child status: 0
Real time (s): 93.4885
CPU time (s): 93.4638
CPU user time (s): 86.1159
CPU system time (s): 7.34788
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 180380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.1159
system time used= 7.34788
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50409
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= 3
involuntary context switches= 73

runsolver used 0.171973 second user time and 0.443932 second system time

The end

Launcher Data 

Begin job on node085 at 2010-06-16 02:35:06
IDJOB=2663627
IDBENCH=48000
IDSOLVER=1167
FILE ID=node085/2663627-1276648506
PBS_JOBID= 11172412
Free space on /tmp= 121872 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663627-1276648506/watcher-2663627-1276648506 -o /tmp/evaluation-result-2663627-1276648506/solver-2663627-1276648506 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663627-1276648506.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= bc362e080dfd9e6c883df7eeb6006e66
RANDOM SEED=1764081626

node085.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		: 3000.221
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	: 6000.44
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		: 3000.221
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	: 5999.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1787952 kB
Buffers:         25636 kB
Cached:         110732 kB
SwapCached:          0 kB
Active:         117240 kB
Inactive:        78584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1787952 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3264 kB
Writeback:           0 kB
AnonPages:       59488 kB
Mapped:          15412 kB
Slab:            53552 kB
PageTables:       3940 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180556 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121868 MiB
End job on node085 at 2010-06-16 02:36:39