Trace number 3450598

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
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4SAT (TO)21 1800.35 1800.33

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_5.opb
MD5SUM08d7a5060b972f308367859ff82f87f6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1797.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2528
Sum of products size (including duplicates)5056
Number of different products2528
Sum of products size5056

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.01	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-3450598-1307102172.opb>
0.00/0.02	c original problem has 2728 variables (2728 bin, 0 int, 0 impl, 0 cont) and 2928 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.03	o 200
0.00/0.03	c feasible solution found by trivial heuristic, objective value  2.000000e+02
0.00/0.03	c presolving:
0.02/0.08	c (round 1) 0 del vars, 2728 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73808 impls, 0 clqs
0.02/0.09	c (round 2) 2528 del vars, 2728 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 73808 impls, 0 clqs
0.02/0.09	c    (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.09	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.09	c presolving (3 rounds):
0.02/0.09	c  2528 deleted vars, 2728 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.09	c  73808 implications, 0 cliques
0.02/0.09	c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.02/0.09	c     200 constraints of type <logicor>
0.02/0.09	c transformed objective value is always integral (scale: 1)
0.02/0.09	c Presolving Time: 0.06
0.02/0.09	c - non default parameters ----------------------------------------------------------------------
0.02/0.09	c # SCIP version 2.0.1.5
0.02/0.09	c 
0.02/0.09	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.02/0.09	c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.09	c conflict/interconss = 0
0.02/0.09	c 
0.02/0.09	c # should binary conflicts be preferred?
0.02/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.09	c conflict/preferbinary = TRUE
0.02/0.09	c 
0.02/0.09	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.02/0.09	c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.09	c constraints/agelimit = 1
0.02/0.09	c 
0.02/0.09	c # should enforcement of pseudo solution be disabled?
0.02/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.09	c constraints/disableenfops = TRUE
0.02/0.09	c 
0.02/0.09	c # frequency for displaying node information lines
0.02/0.09	c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.09	c display/freq = 10000
0.02/0.09	c 
0.02/0.09	c # maximal time in seconds to run
0.02/0.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.09	c limits/time = 1800
0.02/0.09	c 
0.02/0.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.09	c limits/memory = 13950
0.02/0.09	c 
0.02/0.09	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.09	c # [type: int, range: [1,2], default: 1]
0.02/0.09	c timing/clocktype = 2
0.02/0.09	c 
0.02/0.09	c # belongs reading time to solving time?
0.02/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.09	c timing/reading = TRUE
0.02/0.09	c 
0.02/0.09	c # should presolving try to simplify inequalities
0.02/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.09	c constraints/linear/simplifyinequalities = TRUE
0.02/0.09	c 
0.02/0.09	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.09	c constraints/indicator/addCouplingCons = TRUE
0.02/0.09	c 
0.02/0.09	c # should presolving try to simplify knapsacks
0.02/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.09	c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.09	c 
0.02/0.09	c -----------------------------------------------------------------------------------------------
0.02/0.09	c start solving
0.02/0.09	c 
0.18/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.18/0.20	c t 0.2s|     1 |     0 |  1999 |     - |6475k|   0 | 129 | 200 | 200 | 200 | 200 |   0 |   0 |   0 | 1.426308e+01 | 2.000000e+02 |1302.22%
0.18/0.20	o 129
0.18/0.20	c r 0.2s|     1 |     0 |  1999 |     - |6481k|   0 | 129 | 200 | 200 | 200 | 200 |   0 |   0 |   0 | 1.426308e+01 | 1.290000e+02 | 804.43%
0.18/0.21	o 128
0.18/0.21	c R 0.2s|     1 |     0 |  1999 |     - |6486k|   0 | 129 | 200 | 200 | 200 | 200 |   0 |   0 |   0 | 1.426308e+01 | 1.280000e+02 | 797.42%
0.18/0.21	o 127
0.18/0.21	c s 0.2s|     1 |     0 |  1999 |     - |6491k|   0 | 129 | 200 | 200 | 200 | 200 |   0 |   0 |   0 | 1.426308e+01 | 1.270000e+02 | 790.41%
0.18/0.25	c   0.2s|     1 |     0 |  2094 |     - |7319k|   0 | 126 | 200 | 200 | 200 | 201 |   1 |   0 |   0 | 1.429884e+01 | 1.270000e+02 | 788.18%
0.18/0.25	o 35
0.18/0.25	c b 0.2s|     1 |     0 |  2094 |     - |7324k|   0 | 126 | 200 | 200 | 200 | 201 |   1 |   0 |   0 | 1.429884e+01 | 3.500000e+01 | 144.78%
0.18/0.28	c   0.3s|     1 |     0 |  2183 |     - |7960k|   0 | 128 | 200 | 200 | 200 | 202 |   2 |   0 |   0 | 1.431907e+01 | 3.500000e+01 | 144.43%
0.28/0.32	c   0.3s|     1 |     0 |  2233 |     - |8227k|   0 | 126 | 200 | 200 | 200 | 203 |   3 |   0 |   0 | 1.432672e+01 | 3.500000e+01 | 144.30%
0.28/0.35	c   0.3s|     1 |     0 |  2284 |     - |8281k|   0 | 123 | 200 | 200 | 200 | 204 |   4 |   0 |   0 | 1.433595e+01 | 3.500000e+01 | 144.14%
0.28/0.38	c   0.4s|     1 |     0 |  2342 |     - |8294k|   0 | 123 | 200 | 200 | 200 | 205 |   5 |   0 |   0 | 1.433792e+01 | 3.500000e+01 | 144.11%
1.10/1.18	c   1.2s|     1 |     2 |  2342 |     - |8305k|   0 | 123 | 200 | 200 | 200 | 205 |   5 |   0 |  17 | 1.433792e+01 | 3.500000e+01 | 144.11%
3.08/3.16	o 32
3.08/3.16	c z 3.2s|    10 |    11 |  3968 | 180.7 |8362k|   9 |  54 | 200 | 200 | 200 | 205 |   5 |   0 | 158 | 1.450090e+01 | 3.200000e+01 | 120.68%
3.08/3.16	o 27
3.08/3.16	c b 3.2s|    11 |    10 |  3968 | 162.6 |8368k|  10 |   - | 200 | 200 | 200 | 205 |   5 |   0 | 158 | 1.450090e+01 | 2.700000e+01 |  86.20%
3.29/3.39	o 23
3.29/3.39	c c 3.4s|    15 |    16 |  4752 | 172.1 |8545k|  14 |   - | 200 | 200 | 200 | 205 |   5 |   0 | 221 | 1.450090e+01 | 2.300000e+01 |  58.61%
6.88/6.97	o 22
6.88/6.97	c v 7.0s|    53 |    54 | 10607 | 158.9 |8554k|  14 |   - | 200 | 200 | 200 | 205 |   5 |   0 | 592 | 1.450090e+01 | 2.200000e+01 |  51.71%
9.38/9.45	o 21
9.38/9.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
9.38/9.45	c C 9.4s|   253 |   191 | 44137 | 165.9 |8641k|  23 |   - | 200 | 200 | 200 | 205 |   5 |   0 | 670 | 1.511721e+01 | 2.100000e+01 |  38.91%
126.08/126.17	c   126s| 10000 |  9886 |  1992k| 199.0 |  12M|  38 |  91 | 200 | 200 | 200 | 205 |   5 |   0 |1830 | 1.702384e+01 | 2.100000e+01 |  23.36%
216.08/216.12	c   216s| 20000 | 19852 |  3578k| 178.8 |  17M|  43 |  95 | 200 | 200 | 200 | 205 |   5 |   0 |2611 | 1.719963e+01 | 2.100000e+01 |  22.10%
296.78/296.80	c   297s| 30000 | 29594 |  5067k| 168.9 |  24M|  43 |  81 | 200 | 200 | 200 | 205 |   5 |   0 |3207 | 1.729924e+01 | 2.100000e+01 |  21.39%
374.08/374.14	c   374s| 40000 | 39156 |  6515k| 162.8 |  31M|  45 |  73 | 200 | 200 | 200 | 205 |   5 |   0 |3707 | 1.736062e+01 | 2.100000e+01 |  20.96%
445.50/445.56	c   446s| 50000 | 48442 |  7879k| 157.6 |  39M|  45 |  78 | 200 | 200 | 200 | 205 |   5 |   0 |4074 | 1.740683e+01 | 2.100000e+01 |  20.64%
516.48/516.53	c   517s| 60000 | 57686 |  9220k| 153.6 |  47M|  45 |  73 | 200 | 200 | 200 | 205 |   5 |   0 |4489 | 1.744528e+01 | 2.100000e+01 |  20.38%
585.49/585.55	c   586s| 70000 | 66834 | 10540k| 150.5 |  54M|  45 |  84 | 200 | 200 | 200 | 205 |   5 |   0 |4840 | 1.748333e+01 | 2.100000e+01 |  20.11%
654.09/654.10	c   654s| 80000 | 75814 | 11876k| 148.4 |  62M|  45 |  94 | 200 | 200 | 200 | 205 |   5 |   0 |5143 | 1.751084e+01 | 2.100000e+01 |  19.93%
719.99/720.06	c   720s| 90000 | 84746 | 13157k| 146.2 |  70M|  45 |  65 | 200 | 200 | 200 | 205 |   5 |   0 |5416 | 1.753898e+01 | 2.100000e+01 |  19.73%
785.31/785.32	c   785s|100000 | 93560 | 14422k| 144.2 |  79M|  45 |  67 | 200 | 200 | 200 | 205 |   5 |   0 |5741 | 1.756696e+01 | 2.100000e+01 |  19.54%
848.79/848.80	c   849s|110000 |102150 | 15661k| 142.4 |  87M|  47 |  74 | 200 | 200 | 200 | 205 |   5 |   0 |5961 | 1.759732e+01 | 2.100000e+01 |  19.34%
913.89/913.94	c   914s|120000 |110814 | 16926k| 141.0 |  95M|  47 |   - | 200 | 200 | 200 | 205 |   5 |   0 |6228 | 1.762549e+01 | 2.100000e+01 |  19.15%
977.10/977.15	c   977s|130000 |119364 | 18163k| 139.7 | 103M|  47 |  86 | 200 | 200 | 200 | 205 |   5 |   0 |6508 | 1.764972e+01 | 2.100000e+01 |  18.98%
1037.70/1037.74	c  1038s|140000 |127798 | 19345k| 138.2 | 112M|  47 |  59 | 200 | 200 | 200 | 205 |   5 |   0 |6737 | 1.766697e+01 | 2.100000e+01 |  18.87%
1098.21/1098.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1098.21/1098.28	c  1098s|150000 |136058 | 20525k| 136.8 | 120M|  49 |  82 | 200 | 200 | 200 | 205 |   5 |   0 |6927 | 1.768612e+01 | 2.100000e+01 |  18.74%
1156.51/1156.59	c  1157s|160000 |144108 | 21660k| 135.4 | 129M|  49 |  71 | 200 | 200 | 200 | 205 |   5 |   0 |7146 | 1.770471e+01 | 2.100000e+01 |  18.61%
1216.81/1216.89	c  1217s|170000 |152332 | 22837k| 134.3 | 137M|  49 |  78 | 200 | 200 | 200 | 205 |   5 |   0 |7351 | 1.772951e+01 | 2.100000e+01 |  18.45%
1276.41/1276.48	c  1276s|180000 |160576 | 23996k| 133.3 | 146M|  49 |  76 | 200 | 200 | 200 | 205 |   5 |   0 |7558 | 1.775091e+01 | 2.100000e+01 |  18.30%
1335.32/1335.32	c  1335s|190000 |168582 | 25139k| 132.3 | 154M|  49 |  90 | 200 | 200 | 200 | 205 |   5 |   0 |7761 | 1.777042e+01 | 2.100000e+01 |  18.17%
1393.73/1393.75	c  1394s|200000 |176454 | 26284k| 131.4 | 163M|  49 |  97 | 200 | 200 | 200 | 205 |   5 |   0 |7928 | 1.778752e+01 | 2.100000e+01 |  18.06%
1450.71/1450.70	c  1451s|210000 |184258 | 27398k| 130.5 | 172M|  49 |  67 | 200 | 200 | 200 | 205 |   5 |   0 |8151 | 1.780490e+01 | 2.100000e+01 |  17.95%
1506.52/1506.58	c  1507s|220000 |192102 | 28491k| 129.5 | 180M|  49 |  80 | 200 | 200 | 200 | 205 |   5 |   0 |8331 | 1.782242e+01 | 2.100000e+01 |  17.83%
1562.31/1562.32	c  1562s|230000 |199974 | 29583k| 128.6 | 189M|  49 |   - | 200 | 200 | 200 | 205 |   5 |   0 |8473 | 1.784012e+01 | 2.100000e+01 |  17.71%
1615.41/1615.45	c  1615s|240000 |207510 | 30630k| 127.6 | 198M|  49 |   - | 200 | 200 | 200 | 205 |   5 |   0 |8683 | 1.785805e+01 | 2.100000e+01 |  17.59%
1669.73/1669.71	c  1670s|250000 |215054 | 31700k| 126.8 | 206M|  49 |  69 | 200 | 200 | 200 | 205 |   5 |   0 |8816 | 1.787186e+01 | 2.100000e+01 |  17.50%
1724.52/1724.53	c  1725s|260000 |222608 | 32768k| 126.0 | 215M|  49 |  53 | 200 | 200 | 200 | 205 |   5 |   0 |9013 | 1.788887e+01 | 2.100000e+01 |  17.39%
1777.72/1777.70	c  1778s|270000 |230018 | 33807k| 125.2 | 224M|  49 |  64 | 200 | 200 | 200 | 205 |   5 |   0 |9138 | 1.790162e+01 | 2.100000e+01 |  17.31%
1800.04/1800.02	c 
1800.04/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.02	c Solving Time (sec) : 1800.01
1800.04/1800.02	c Solving Nodes      : 274130
1800.04/1800.02	c Primal Bound       : +2.10000000000000e+01 (528 solutions)
1800.04/1800.02	c Dual Bound         : +1.79076796225814e+01
1800.04/1800.02	c Gap                : 17.27 %
1800.04/1800.02	s SATISFIABLE
1800.04/1800.02	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1800.04/1800.02	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 
1800.04/1800.02	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1800.04/1800.02	v x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 
1800.04/1800.02	v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 
1800.04/1800.02	v -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 -x69 
1800.04/1800.02	v -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 
1800.04/1800.02	v x43 -x42 x41 x40 x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 x26 -x25 x24 -x23 -x22 -x21 x20 x19 -x18 -x17 
1800.04/1800.02	v x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 x7 -x6 -x5 -x4 -x3 x2 x1 
1800.04/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.02	c Total Time         :    1800.01
1800.04/1800.02	c   solving          :    1800.01
1800.04/1800.02	c   presolving       :       0.06 (included in solving)
1800.04/1800.02	c   reading          :       0.01 (included in solving)
1800.04/1800.02	c Original Problem   :
1800.04/1800.02	c   Problem name     : HOME/instance-3450598-1307102172.opb
1800.04/1800.02	c   Variables        : 2728 (2728 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.02	c   Constraints      : 2928 initial, 2928 maximal
1800.04/1800.02	c Presolved Problem  :
1800.04/1800.02	c   Problem name     : t_HOME/instance-3450598-1307102172.opb
1800.04/1800.02	c   Variables        : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.02	c   Constraints      : 200 initial, 200 maximal
1800.04/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.04/1800.02	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.02	c   dualfix          :       0.01       2528          0          0          0          0          0          0          0          0
1800.04/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.02	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.02	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.02	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.02	c   linear           :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.02	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.02	c   pseudoboolean    :       0.00          0          0          0          0          0       2728          0          0          0
1800.04/1800.02	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.04/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   integral         :          0          0          0     253960          0        533          0         29        774          0          0     507262
1800.04/1800.02	c   logicor          :        200          6     437097          0          0        528          0          0         13          0          0          0
1800.04/1800.02	c   countsols        :          0          0          0          0          0        531          0          0          0          0          0          0
1800.04/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.04/1800.02	c   integral         :      59.39       0.00       0.00      59.39       0.00       0.00       0.00
1800.04/1800.02	c   logicor          :       2.19       0.00       2.19       0.00       0.00       0.00       0.00
1800.04/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.02	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.04/1800.02	c   vbounds          :          0          0          0          0
1800.04/1800.02	c   rootredcost      :          4          0          0          0
1800.04/1800.02	c   pseudoobj        :     976364          0          0          0
1800.04/1800.02	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.04/1800.02	c   vbounds          :       0.20       0.20       0.00
1800.04/1800.02	c   rootredcost      :       0.24       0.24       0.00
1800.04/1800.02	c   pseudoobj        :       4.17       4.17       0.00
1800.04/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.02	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.02	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.02	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.04/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.02	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 325)
1800.04/1800.02	c   redcost          :       3.91     360853          0    2574571          0          0
1800.04/1800.02	c   impliedbounds    :       0.00          6          0          0          0          0
1800.04/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.02	c   gomory           :       0.06          6          0          0          0          0
1800.04/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.02	c   closecuts        :       0.00          0          0          0          0          0
1800.04/1800.02	c   strongcg         :       0.06          6          0          0        325          0
1800.04/1800.02	c   cmir             :       0.01          6          0          0          0          0
1800.04/1800.02	c   flowcover        :       0.02          6          0          0          0          0
1800.04/1800.02	c   clique           :       0.00          1          0          0          0          0
1800.04/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.02	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.02	c   oddcycle         :       0.00          0          0          0          0          0
1800.04/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.02	c Pricers            :       Time      Calls       Vars
1800.04/1800.02	c   problem variables:       0.00          0          0
1800.04/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   relpscost        :      59.24     253960         29        774          0          0     507262
1800.04/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   inference        :       0.00          2          0          0          0          0          4
1800.04/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.02	c   LP solutions     :       0.00          -          0
1800.04/1800.02	c   pseudo solutions :       0.00          -          0
1800.04/1800.02	c   feaspump         :       0.01          0          0
1800.04/1800.02	c   oneopt           :       0.06          7          2
1800.04/1800.02	c   crossover        :       0.30         11          4
1800.04/1800.02	c   objpscostdiving  :      48.47        268        221
1800.04/1800.02	c   pscostdiving     :      72.08       3072         57
1800.04/1800.02	c   coefdiving       :      71.41       3994         62
1800.04/1800.02	c   guideddiving     :      67.15       5376          0
1800.04/1800.02	c   fracdiving       :      68.24       5377          0
1800.04/1800.02	c   veclendiving     :      52.19       5377          8
1800.04/1800.02	c   trivial          :       0.00          2          2
1800.04/1800.02	c   shiftandpropagate:       0.00          0          0
1800.04/1800.02	c   simplerounding   :       2.04     253966         33
1800.04/1800.02	c   zirounding       :       0.75       6701        134
1800.04/1800.02	c   rounding         :       1.78      24131          1
1800.04/1800.02	c   shifting         :       0.71       8174          4
1800.04/1800.02	c   intshifting      :       0.00          0          0
1800.04/1800.02	c   twoopt           :       0.00          0          0
1800.04/1800.02	c   fixandinfer      :       0.00          0          0
1800.04/1800.02	c   clique           :       0.00          0          0
1800.04/1800.02	c   intdiving        :       0.00          0          0
1800.04/1800.02	c   actconsdiving    :       0.00          0          0
1800.04/1800.02	c   rootsoldiving    :       8.89        242          0
1800.04/1800.02	c   linesearchdiving :      77.27       4309          0
1800.04/1800.02	c   octane           :       0.00          0          0
1800.04/1800.02	c   rens             :       0.01          0          0
1800.04/1800.02	c   rins             :       0.00          0          0
1800.04/1800.02	c   localbranching   :       0.00          0          0
1800.04/1800.02	c   mutation         :       0.00          0          0
1800.04/1800.02	c   dins             :       0.00          0          0
1800.04/1800.02	c   vbounds          :       0.00          0          0
1800.04/1800.02	c   undercover       :       0.00          0          0
1800.04/1800.02	c   subnlp           :       0.04          0          0
1800.04/1800.02	c   trysol           :       0.08          0          0
1800.04/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.02	c   dual LP          :    1236.05     274435   25127898      91.56   20329.27
1800.04/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.02	c   diving/probing LP:     427.12     609586    9109530      14.94   21328.00
1800.04/1800.02	c   strong branching :      54.29       9230    1030566     111.65   18981.18
1800.04/1800.02	c     (at root node) :          -         17       9589     564.06          -
1800.04/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.02	c B&B Tree           :
1800.04/1800.02	c   number of runs   :          1
1800.04/1800.02	c   nodes            :     274130
1800.04/1800.02	c   nodes (total)    :     274130
1800.04/1800.02	c   nodes left       :     233090
1800.04/1800.02	c   max depth        :         49
1800.04/1800.02	c   max depth (total):         49
1800.04/1800.02	c   backtracks       :      51034 (18.6%)
1800.04/1800.02	c   delayed cutoffs  :          0
1800.04/1800.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.04/1800.02	c   avg switch length:       5.31
1800.04/1800.02	c   switching time   :       4.66
1800.04/1800.02	c Solution           :
1800.04/1800.02	c   Solutions found  :        528 (10 improvements)
1800.04/1800.02	c   First Solution   : +2.00000000000000e+02   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1800.02	c   Primal Bound     : +2.10000000000000e+01   (in run 1, after 253 nodes, 9.44 seconds, depth 15, found by <crossover>)
1800.04/1800.02	c   Dual Bound       : +1.79076796225814e+01
1800.04/1800.02	c   Gap              :      17.27 %
1800.04/1800.02	c   Root Dual Bound  : +1.43379242216134e+01
1800.04/1800.02	c   Root Iterations  :       2342
1800.32/1800.32	c Time complete: 1800.34.

Verifier Data 

OK	21

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450598-1307102172/watcher-3450598-1307102172 -o /tmp/evaluation-result-3450598-1307102172/solver-3450598-1307102172 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450598-1307102172.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/400 29959
/proc/meminfo: memFree=29820380/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=9592 CPUtime=0 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 1533 0 0 0 0 0 0 0 25 0 1 0 821816942 9822208 1486 33554432000 4194304 9163163 140733205119824 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29959/statm: 2398 1488 352 1214 0 1180 0

[startup+0.0411071 s]
/proc/loadavg: 2.00 2.01 2.00 3/400 29959
/proc/meminfo: memFree=29820380/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=25956 CPUtime=0.02 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 5214 0 0 0 2 0 0 0 25 0 1 0 821816942 26578944 5166 33554432000 4194304 9163163 140733205119824 18446744073709551615 6922322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 6489 5166 500 1214 0 5271 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25956

[startup+0.101095 s]
/proc/loadavg: 2.00 2.01 2.00 3/400 29959
/proc/meminfo: memFree=29820380/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=31848 CPUtime=0.08 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 7060 0 0 0 8 0 0 0 25 0 1 0 821816942 32612352 6753 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 7962 6753 639 1214 0 6744 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31848

[startup+0.301059 s]
/proc/loadavg: 2.00 2.01 2.00 3/400 29959
/proc/meminfo: memFree=29820380/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=35416 CPUtime=0.28 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 7997 0 0 0 27 1 0 0 25 0 1 0 821816942 36265984 7690 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 8854 7690 676 1214 0 7636 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 35416

[startup+0.700986 s]
/proc/loadavg: 2.00 2.01 2.00 3/400 29959
/proc/meminfo: memFree=29820380/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=36652 CPUtime=0.68 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 9970 0 0 0 65 3 0 0 25 0 1 0 821816942 37531648 8040 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 9163 8040 701 1214 0 7945 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 36652

[startup+1.5009 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 29960
/proc/meminfo: memFree=29790176/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=36652 CPUtime=1.48 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 9973 0 0 0 142 6 0 0 25 0 1 0 821816942 37531648 8043 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 9163 8043 704 1214 0 7945 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36652

[startup+3.10056 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 29960
/proc/meminfo: memFree=29789412/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=36652 CPUtime=3.08 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 9973 0 0 0 294 14 0 0 25 0 1 0 821816942 37531648 8043 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 9163 8043 704 1214 0 7945 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 36652

[startup+6.30105 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 29960
/proc/meminfo: memFree=29789284/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=36980 CPUtime=6.28 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 10062 0 0 0 597 31 0 0 25 0 1 0 821816942 37867520 8132 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 9245 8132 705 1214 0 8027 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36980

[startup+12.7008 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 29960
/proc/meminfo: memFree=29788680/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=37184 CPUtime=12.68 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 12735 0 0 0 1206 62 0 0 25 0 1 0 821816942 38076416 8200 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 9296 8200 722 1214 0 8078 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37184

[startup+25.5006 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 29961
/proc/meminfo: memFree=29789132/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=37348 CPUtime=25.48 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 12771 0 0 0 2419 129 0 0 25 0 1 0 821816942 38244352 8236 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 9337 8236 722 1214 0 8119 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37348

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 29961
/proc/meminfo: memFree=29787684/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=38748 CPUtime=51.08 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 13136 0 0 0 4853 255 0 0 25 0 1 0 821816942 39677952 8601 33554432000 4194304 9163163 140733205119824 18446744073709551615 6687928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 9687 8601 722 1214 0 8469 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38748

[startup+102.315 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 29963
/proc/meminfo: memFree=29785552/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=40044 CPUtime=102.29 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 21230 0 0 0 9715 514 0 0 25 0 1 0 821816942 41005056 8936 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 10011 8936 722 1214 0 8793 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 40044

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/401 29964
/proc/meminfo: memFree=29780416/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=43112 CPUtime=162.28 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 27276 0 0 0 15380 848 0 0 25 0 1 0 821816942 44146688 9734 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 10778 9734 722 1214 0 9560 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 43112

[startup+222.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/401 29966
/proc/meminfo: memFree=29778032/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=46256 CPUtime=222.28 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 30752 0 0 0 21052 1176 0 0 25 0 1 0 821816942 47366144 10562 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 11564 10562 722 1214 0 10346 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 46256

[startup+282.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 29968
/proc/meminfo: memFree=29773156/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=52528 CPUtime=282.29 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 32333 0 0 0 26720 1509 0 0 25 0 1 0 821816942 53788672 12143 33554432000 4194304 9163163 140733205119824 18446744073709551615 7346183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 13132 12143 722 1214 0 11914 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 52528

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 29978
/proc/meminfo: memFree=29763692/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=59556 CPUtime=342.28 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 36648 0 0 0 32384 1844 0 0 25 0 1 0 821816942 60985344 13939 33554432000 4194304 9163163 140733205119824 18446744073709551615 7375476 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 14889 13939 722 1214 0 13671 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 59556

[startup+402.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/401 29980
/proc/meminfo: memFree=29755964/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=65768 CPUtime=402.28 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 38223 0 0 0 38043 2185 0 0 25 0 1 0 821816942 67346432 15514 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 16442 15514 722 1214 0 15224 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 65768

[startup+462.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 29981
/proc/meminfo: memFree=29747756/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=73500 CPUtime=462.29 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 40205 0 0 0 43703 2526 0 0 25 0 1 0 821816942 75264000 17496 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 18375 17496 722 1214 0 17157 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 73500

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 29986
/proc/meminfo: memFree=29738532/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=82540 CPUtime=522.29 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 45065 0 0 0 49355 2874 0 0 25 0 1 0 821816942 84520960 19728 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 20635 19728 722 1214 0 19417 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 82540

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 29988
/proc/meminfo: memFree=29730072/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=90728 CPUtime=582.29 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 46677 0 0 0 55013 3216 0 0 25 0 1 0 821816942 92905472 21340 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 22682 21340 722 1214 0 21464 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 90728

[startup+642.301 s]

################
# More data... #
################

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30051
/proc/meminfo: memFree=29940128/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=145356 CPUtime=942.3 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 62967 0 0 0 88332 5898 0 0 25 0 1 0 821816942 148844544 35101 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 36339 35101 722 1214 0 35121 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 145356

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30053
/proc/meminfo: memFree=29912300/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=162816 CPUtime=1002.3 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 67391 0 0 0 93854 6376 0 0 25 0 1 0 821816942 166723584 39525 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 40704 39525 722 1214 0 39486 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 162816

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30054
/proc/meminfo: memFree=29897964/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=171420 CPUtime=1062.3 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 69545 0 0 0 99376 6854 0 0 25 0 1 0 821816942 175534080 41679 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 42855 41679 722 1214 0 41637 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 171420

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30056
/proc/meminfo: memFree=29883516/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=180248 CPUtime=1122.3 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 71783 0 0 0 104898 7332 0 0 25 0 1 0 821816942 184573952 43917 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 45062 43917 722 1214 0 43844 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 180248

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30058
/proc/meminfo: memFree=29865868/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=190496 CPUtime=1182.3 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 74420 0 0 0 110429 7801 0 0 25 0 1 0 821816942 195067904 46554 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 47624 46554 722 1214 0 46406 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 190496

[startup+1242.3 s]
/proc/loadavg: 2.16 2.03 2.01 3/401 30059
/proc/meminfo: memFree=29852192/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=199244 CPUtime=1242.3 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 76627 0 0 0 115953 8277 0 0 25 0 1 0 821816942 204025856 48761 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 49811 48761 722 1214 0 48593 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 199244

[startup+1302.3 s]
/proc/loadavg: 2.17 2.06 2.02 3/401 30061
/proc/meminfo: memFree=29836776/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=207444 CPUtime=1302.32 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 78736 0 0 0 121473 8759 0 0 25 0 1 0 821816942 212422656 50870 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 51861 50870 722 1214 0 50643 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 207444

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/401 30062
/proc/meminfo: memFree=29824448/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=212660 CPUtime=1362.3 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 80055 0 0 0 126994 9236 0 0 25 0 1 0 821816942 217763840 52188 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 53165 52188 722 1214 0 51947 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 212660

[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 30064
/proc/meminfo: memFree=29809272/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=221780 CPUtime=1422.32 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 82383 0 0 0 132518 9714 0 0 25 0 1 0 821816942 227102720 54516 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 55445 54516 722 1214 0 54227 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 221780

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 30066
/proc/meminfo: memFree=29790380/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=236176 CPUtime=1482.31 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 88410 0 0 0 138043 10188 0 0 25 0 1 0 821816942 241844224 58080 33554432000 4194304 9163163 140733205119824 18446744073709551615 7390821 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 59044 58080 722 1214 0 57826 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 236176

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30067
/proc/meminfo: memFree=29762560/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=262392 CPUtime=1542.31 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 93978 0 0 0 143565 10666 0 0 25 0 1 0 821816942 268689408 63648 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 65598 63648 722 1214 0 64380 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 262392

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30069
/proc/meminfo: memFree=29742508/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=274964 CPUtime=1602.32 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 97186 0 0 0 149087 11145 0 0 25 0 1 0 821816942 281563136 66856 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 68741 66856 722 1214 0 67523 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 274964

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30070
/proc/meminfo: memFree=29721508/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=285592 CPUtime=1662.31 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 99871 0 0 0 154600 11631 0 0 25 0 1 0 821816942 292446208 69541 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 71398 69541 722 1214 0 70180 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 285592

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30072
/proc/meminfo: memFree=29708424/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=291992 CPUtime=1722.32 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 101476 0 0 0 160133 12099 0 0 25 0 1 0 821816942 298999808 71146 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 72998 71146 722 1214 0 71780 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 291992

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30074
/proc/meminfo: memFree=29688668/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=301732 CPUtime=1782.32 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 103944 0 0 0 165665 12567 0 0 25 0 1 0 821816942 308973568 73614 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 75433 73614 722 1214 0 74215 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 301732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30074
/proc/meminfo: memFree=29684072/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=304888 CPUtime=1800.04 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 104765 0 0 0 167298 12706 0 0 25 0 1 0 821816942 312205312 74435 33554432000 4194304 9163163 140733205119824 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29959/statm: 76222 74435 722 1214 0 75004 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 304888

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30074
/proc/meminfo: memFree=29684072/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=304888 CPUtime=1800.22 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 104768 0 0 0 167316 12706 0 0 25 0 1 0 821816942 312205312 74438 33554432000 4194304 9163163 140733205119824 18446744073709551615 4807064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29959/statm: 76222 74438 725 1214 0 75004 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 304888

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30074
/proc/meminfo: memFree=29684072/32950904 swapFree=56615552/67111528
[pid=29959] ppid=29957 vsize=304888 CPUtime=1800.32 cores=1,3,5,7
/proc/29959/stat : 29959 (scip-2.0.1.4b.l) R 29957 29959 27067 0 -1 4202496 104768 0 0 0 167326 12706 0 0 25 0 1 0 821816942 312205312 74438 33554432000 4194304 9163163 140733205119824 18446744073709551615 6923021 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29959/statm: 76222 74438 725 1214 0 75004 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 304888

Child status: 0
Real time (s): 1800.33
CPU time (s): 1800.35
CPU user time (s): 1673.28
CPU system time (s): 127.076
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 304888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1673.28
system time used= 127.076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104770
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 20863

runsolver used 6.79397 second user time and 15.4826 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-03 13:56:12
IDJOB=3450598
IDBENCH=48122
IDSOLVER=1948
FILE ID=node121/3450598-1307102172
RUNJOBID= node121-1307093547-27086
PBS_JOBID= 13497996
Free space on /tmp= 73940 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_5.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450598-1307102172/watcher-3450598-1307102172 -o /tmp/evaluation-result-3450598-1307102172/solver-3450598-1307102172 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450598-1307102172.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6
RANDOM SEED=542237915

node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      29820660 kB
Buffers:        281652 kB
Cached:         413416 kB
SwapCached:       9896 kB
Active:        2501948 kB
Inactive:       369104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      29820660 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:           12076 kB
Writeback:           0 kB
AnonPages:     2173456 kB
Mapped:          16080 kB
Slab:           140564 kB
PageTables:      52508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 83859288 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73928 MiB
End job on node121 at 2011-06-03 14:26:14