Trace number 3693789

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 standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixedSAT17 1796.91 1797.27

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_3.opb
MD5SUMd5313ea0d4ce989dad692c9adfb6f827
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1796.85
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint61
Maximum length of a constraint111
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37460
Sum of products size (including duplicates)74920
Number of different products37460
Sum of products size74920

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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3693789-1338035328.opb>
0.00/0.03	c original problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.00/0.03	c problem read in 0.03
0.19/0.21	o 500
0.19/0.21	c feasible solution found by trivial heuristic, objective value  5.000000e+02
0.19/0.21	c presolving:
2.89/2.92	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 5741098 impls, 0 clqs
3.69/3.74	c    (3.7s) probing: 51/37960 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.69/3.74	c    (3.7s) probing aborted: 50/50 successive totally useless probings
3.69/3.78	c presolving (2 rounds):
3.69/3.78	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.69/3.78	c  5741098 implications, 0 cliques
3.69/3.78	c presolved problem has 37960 variables (37960 bin, 0 int, 0 impl, 0 cont) and 37960 constraints
3.69/3.78	c   37460 constraints of type <and>
3.69/3.78	c     500 constraints of type <logicor>
3.69/3.78	c transformed objective value is always integral (scale: 1)
3.69/3.78	c Presolving Time: 3.74
3.69/3.78	c - non default parameters ----------------------------------------------------------------------
3.69/3.78	c # SCIP version 2.1.1.4
3.69/3.78	c 
3.69/3.78	c # maximal time in seconds to run
3.69/3.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.69/3.78	c limits/time = 1797
3.69/3.78	c 
3.69/3.78	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.69/3.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.69/3.78	c limits/memory = 13950
3.69/3.78	c 
3.69/3.78	c # default clock type (1: CPU user seconds, 2: wall clock time)
3.69/3.78	c # [type: int, range: [1,2], default: 1]
3.69/3.78	c timing/clocktype = 2
3.69/3.78	c 
3.69/3.78	c # belongs reading time to solving time?
3.69/3.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.69/3.78	c timing/reading = TRUE
3.69/3.78	c 
3.69/3.78	c -----------------------------------------------------------------------------------------------
3.69/3.78	c start solving
3.78/3.89	c 
4.48/4.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.48/4.55	c t 4.6s|     1 |     0 |  1000 |     - | 301M|   0 |1000 |  37k|  37k|  37k|  75k|   0 |   0 |   0 | 0.000000e+00 | 5.000000e+02 |    Inf 
16.78/16.85	c  16.8s|     1 |     0 |  2500 |     - | 302M|   0 |1000 |  37k|  37k|  37k|  76k|1002 |   0 |   0 | 0.000000e+00 | 5.000000e+02 |    Inf 
23.48/23.53	c  23.5s|     1 |     0 |  4000 |     - | 303M|   0 |1000 |  37k|  37k|  37k|  77k|2003 |   0 |   0 | 0.000000e+00 | 5.000000e+02 |    Inf 
30.68/30.72	c  30.7s|     1 |     0 |  5501 |     - | 303M|   0 |1000 |  37k|  37k|  37k|  78k|3006 |   0 |   0 | 0.000000e+00 | 5.000000e+02 |    Inf 
30.68/30.80	o 25
30.68/30.80	c s30.8s|     1 |     0 |  5501 |     - | 304M|   0 |1000 |  37k|  37k|  37k|  78k|3006 |   0 |   0 | 0.000000e+00 | 2.500000e+01 |    Inf 
37.39/37.45	c  37.4s|     1 |     0 |  7001 |     - | 304M|   0 |1000 |  37k|  37k|  37k|  79k|4008 |   0 |   0 | 0.000000e+00 | 2.500000e+01 |    Inf 
44.38/44.48	c  44.5s|     1 |     0 |  8501 |     - | 305M|   0 |1000 |  37k|  37k|  37k|  80k|5013 |   0 |   0 | 0.000000e+00 | 2.500000e+01 |    Inf 
44.48/44.56	o 24
44.48/44.56	c s44.6s|     1 |     0 |  8501 |     - | 305M|   0 |1000 |  37k|  37k|  37k|  80k|5013 |   0 |   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
51.78/51.82	c  51.8s|     1 |     0 | 10001 |     - | 306M|   0 |1000 |  37k|  37k|  37k|  81k|6019 |   0 |   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
52.28/52.34	c  52.3s|     1 |     2 | 10001 |     - | 306M|   0 |1000 |  37k|  37k|  37k|  81k|6019 |   0 |   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
176.05/176.19	o 19
176.05/176.19	c * 176s|    53 |    51 |142630 |2550.6 | 300M|  31 |   - |  37k|  37k|  37k|  20k|  31k|  19 | 279 | 1.000000e+00 | 1.900000e+01 |1800.00%
290.81/290.90	c   291s|   100 |    96 |287488 |2802.9 | 306M|  32 | 165 |  37k|  39k|  37k|  20k|  51k|1119 | 417 | 1.000000e+00 | 1.900000e+01 |1800.00%
512.16/512.38	c   512s|   200 |   186 |526110 |2593.5 | 311M|  32 |   - |  37k|  39k|  37k|  21k|  94k|2128 | 695 | 1.000000e+00 | 1.900000e+01 |1800.00%
597.94/598.15	o 18
597.94/598.15	c * 598s|   238 |   166 |602541 |2500.2 | 312M|  34 |   - |  37k|  39k|  37k|  20k| 109k|2290 | 870 | 1.000000e+00 | 1.800000e+01 |1700.00%
706.02/706.22	c   706s|   300 |   200 |743154 |2452.0 | 312M|  34 | 610 |  37k|  39k|  37k|  21k| 134k|2499 |1008 | 1.000000e+00 | 1.800000e+01 |1700.00%
893.78/894.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
893.78/894.04	c   894s|   400 |   250 |968827 |2403.1 | 316M|  34 |   - |  37k|  39k|  37k|  21k| 172k|3157 |1230 | 1.000000e+00 | 1.800000e+01 |1700.00%
957.47/957.70	o 17
957.47/957.70	c * 958s|   442 |   214 |  1045k|2348.2 | 316M|  34 |   - |  37k|  39k|  37k|  21k| 187k|3157 |1326 | 1.000000e+00 | 1.700000e+01 |1600.00%
1052.36/1052.67	c  1053s|   500 |   234 |  1135k|2256.2 | 318M|  34 |   - |  37k|  40k|  37k|  20k| 208k|4341 |1391 | 1.000000e+00 | 1.700000e+01 |1600.00%
1195.44/1195.75	c  1196s|   600 |   252 |  1316k|2180.9 | 319M|  34 |   - |  37k|  40k|  37k|  20k| 245k|4789 |1529 | 1.000000e+00 | 1.700000e+01 |1600.00%
1324.02/1324.38	c  1324s|   700 |   320 |  1491k|2119.6 | 319M|  34 |  98 |  37k|  41k|  37k|  14k| 290k|5238 |1698 | 1.000000e+00 | 1.700000e+01 |1600.00%
1486.09/1486.43	c  1486s|   800 |   402 |  1679k|2090.0 | 322M|  34 | 137 |  37k|  41k|  37k|  15k| 334k|5984 |1912 | 1.000000e+00 | 1.700000e+01 |1600.00%
1626.36/1626.73	c  1627s|   900 |   484 |  1862k|2060.7 | 325M|  34 |   - |  37k|  41k|  37k|  16k| 379k|6844 |2076 | 1.000000e+00 | 1.700000e+01 |1600.00%
1742.74/1743.17	c  1743s|  1000 |   550 |  2031k|2023.3 | 327M|  34 | 188 |  37k|  41k|  37k|  16k| 419k|7117 |2182 | 1.000000e+00 | 1.700000e+01 |1600.00%
1796.63/1797.00	c 
1796.63/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.63/1797.00	c Solving Time (sec) : 1797.00
1796.63/1797.00	c Solving Nodes      : 1044
1796.63/1797.00	c Primal Bound       : +1.70000000000000e+01 (7 solutions)
1796.63/1797.00	c Dual Bound         : +1.00000000000000e+00
1796.63/1797.00	c Gap                : 1600.00 %
1796.63/1797.01	s SATISFIABLE
1796.63/1797.01	v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
1796.63/1797.01	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 
1796.63/1797.01	v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 
1796.63/1797.01	v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 
1796.63/1797.01	v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 
1796.63/1797.01	v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 
1796.63/1797.01	v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 
1796.63/1797.01	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 x333 
1796.63/1797.01	v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 
1796.63/1797.01	v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 
1796.63/1797.01	v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 
1796.63/1797.01	v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 
1796.63/1797.01	v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 
1796.63/1797.01	v -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 
1796.63/1797.01	v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 
1796.63/1797.01	v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 
1796.63/1797.01	v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 
1796.63/1797.01	v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 
1796.63/1797.01	v x123 x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 
1796.63/1797.01	v -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 
1796.63/1797.01	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 
1796.63/1797.01	v -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 
1796.63/1797.01	v -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 x4 x3 -x2 -x1 
1796.63/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.63/1797.01	c Total Time         :    1797.00
1796.63/1797.01	c   solving          :    1797.00
1796.63/1797.01	c   presolving       :       3.74 (included in solving)
1796.63/1797.01	c   reading          :       0.03 (included in solving)
1796.63/1797.01	c   copying          :       0.27 (3 #copies) (minimal 0.08, maximal 0.10, average 0.09)
1796.63/1797.01	c Original Problem   :
1796.63/1797.01	c   Problem name     : HOME/instance-3693789-1338035328.opb
1796.63/1797.01	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.63/1797.01	c   Constraints      : 500 initial, 500 maximal
1796.63/1797.01	c   Objective sense  : minimize
1796.63/1797.01	c Presolved Problem  :
1796.63/1797.01	c   Problem name     : t_HOME/instance-3693789-1338035328.opb
1796.63/1797.01	c   Variables        : 37960 (37960 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.63/1797.01	c   Constraints      : 37960 initial, 41875 maximal
1796.63/1797.01	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.63/1797.01	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   components       :       0.03       0.00          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   pseudoobj        :       0.00       0.11          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   probing          :       0.31       0.00          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   and              :       3.16       0.00          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   linear           :       0.03       0.00          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   logicor          :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.63/1797.01	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.63/1797.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.63/1797.01	c   integral         :          0          0          0          0       1361          0        866          0          3        125          0          0       1704
1796.63/1797.01	c   and              :      37460      37460       4733      19039        455          0        861     208085         90    3724463    1320288          0          0
1796.63/1797.01	c   logicor          :        500+      4415          6       9887          3          0          4      15550       2108          5          0          0          0
1796.63/1797.01	c   countsols        :          0          0          0          0          3          0          7          0          0          0          0          0          0
1796.63/1797.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.63/1797.01	c   integral         :     368.24       0.00       0.00       0.00     368.14       0.00       0.10       0.00
1796.63/1797.01	c   and              :     192.14       0.00      87.50     100.05       4.26       0.00       0.10       0.24
1796.63/1797.01	c   logicor          :      70.33       0.00       0.00      70.27       0.00       0.00       0.00       0.06
1796.63/1797.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.63/1797.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.63/1797.01	c   rootredcost      :          4          0          0          0
1796.63/1797.01	c   pseudoobj        :      19939     143240         73        243
1796.63/1797.01	c   vbounds          :          0          0          0          0
1796.63/1797.01	c   redcost          :       6629          0          0      65760
1796.63/1797.01	c   probing          :          0          0          0          0
1796.63/1797.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.63/1797.01	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00
1796.63/1797.01	c   pseudoobj        :      74.60       0.11       0.00       6.19      68.30
1796.63/1797.01	c   vbounds          :       0.03       0.01       0.00       0.02       0.00
1796.63/1797.01	c   redcost          :       9.14       0.00       0.00       9.14       0.00
1796.63/1797.01	c   probing          :       0.31       0.00       0.31       0.00       0.00
1796.63/1797.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.63/1797.01	c   propagation      :      69.19       2271       2269       7121       32.2          0        0.0          -
1796.63/1797.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.63/1797.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.63/1797.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.63/1797.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.63/1797.01	c   applied globally :          -          -          -       7121       32.2          -          -          -
1796.63/1797.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.63/1797.01	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.63/1797.01	c   cut pool         :       0.00                     5          -          -          0          -    (maximal pool size: 6019)
1796.63/1797.01	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.63/1797.01	c   impliedbounds    :       0.05       0.00          6          0          0       6000          0
1796.63/1797.01	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.63/1797.01	c   gomory           :       0.21       0.00          6          0          0        300          0
1796.63/1797.01	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.63/1797.01	c   strongcg         :       2.02       0.00          6          0          0       3000          0
1796.63/1797.01	c   cmir             :      24.22       0.00          6          0          0       3000          0
1796.63/1797.01	c   flowcover        :       9.66       0.00          6          0          0          0          0
1796.63/1797.01	c   clique           :       5.22       0.00          6          0          0         19          0
1796.63/1797.01	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.63/1797.01	c   mcf              :       0.05       0.00          1          0          0          0          0
1796.63/1797.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.63/1797.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.63/1797.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.63/1797.01	c   problem variables:       0.00          -          0          0
1796.63/1797.01	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.63/1797.01	c   relpscost        :     368.12       0.00        733          3        125          0          0       1358
1796.63/1797.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.63/1797.01	c   inference        :       0.02       0.00        173          0          0          0          0        346
1796.63/1797.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.63/1797.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.63/1797.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.63/1797.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.63/1797.01	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.63/1797.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.63/1797.01	c   LP solutions     :       0.02          -          -          3
1796.63/1797.01	c   pseudo solutions :       0.00          -          -          0
1796.63/1797.01	c   oneopt           :       0.09       0.00          5          0
1796.63/1797.01	c   fracdiving       :      64.81       0.00         19          0
1796.63/1797.01	c   veclendiving     :      46.89       0.00         19          0
1796.63/1797.01	c   coefdiving       :      46.04       0.00         20          0
1796.63/1797.01	c   pscostdiving     :      36.79       0.00         20          0
1796.63/1797.01	c   guideddiving     :      33.24       0.00         21          0
1796.63/1797.01	c   smallcard        :       0.00       0.00          0          0
1796.63/1797.01	c   trivial          :       0.04       0.00          2          1
1796.63/1797.01	c   shiftandpropagate:       0.00       0.00          0          0
1796.63/1797.01	c   simplerounding   :       0.01       0.00          0          0
1796.63/1797.01	c   zirounding       :       1.74       0.00        854          0
1796.63/1797.01	c   rounding         :       2.56       0.00        905          0
1796.63/1797.01	c   shifting         :       4.73       0.00        597          2
1796.63/1797.01	c   intshifting      :       0.00       0.00          0          0
1796.63/1797.01	c   twoopt           :       0.00       0.00          0          0
1796.63/1797.01	c   indoneopt        :       0.01       0.00          0          0
1796.63/1797.01	c   indtwoopt        :       0.00       0.00          0          0
1796.63/1797.01	c   fixandinfer      :       0.00       0.00          0          0
1796.63/1797.01	c   feaspump         :       0.00       0.00          0          0
1796.63/1797.01	c   clique           :       0.00       0.00          0          0
1796.63/1797.01	c   indrounding      :       0.00       0.00          0          0
1796.63/1797.01	c   indcoefdiving    :       0.00       0.00          0          0
1796.63/1797.01	c   nlpdiving        :       0.00       0.00          0          0
1796.63/1797.01	c   intdiving        :       0.00       0.00          0          0
1796.63/1797.01	c   actconsdiving    :       0.00       0.00          0          0
1796.63/1797.01	c   objpscostdiving  :      21.80       0.00          7          0
1796.63/1797.01	c   rootsoldiving    :       2.17       0.00          6          0
1796.63/1797.01	c   linesearchdiving :     125.84       0.00         21          0
1796.63/1797.01	c   octane           :       0.00       0.00          0          0
1796.63/1797.01	c   rens             :       0.44       0.00          1          0
1796.63/1797.01	c   rins             :       0.00       0.00          0          0
1796.63/1797.01	c   localbranching   :       0.00       0.00          0          0
1796.63/1797.01	c   mutation         :       0.00       0.00          0          0
1796.63/1797.01	c   crossover        :       1.12       0.00          2          1
1796.63/1797.01	c   dins             :       0.00       0.00          0          0
1796.63/1797.01	c   vbounds          :       0.00       0.00          0          0
1796.63/1797.01	c   undercover       :       1.01       0.00          1          0
1796.63/1797.01	c   subnlp           :       0.00       0.00          0          0
1796.63/1797.01	c   trysol           :       0.01       0.00          0          0
1796.63/1797.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.63/1797.01	c   primal LP        :       7.17        758          0       0.00       0.00       7.17        758
1796.63/1797.01	c   dual LP          :     812.21       6824    1999125     321.45    2461.33       4.87        605
1796.63/1797.01	c   lex dual LP      :       0.00          0          0       0.00          -
1796.63/1797.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.63/1797.01	c   diving/probing LP:     102.96       6600     112066      16.98    1088.43
1796.63/1797.01	c   strong branching :     367.08       2222     636701     286.54    1734.50
1796.63/1797.01	c     (at root node) :          -          0          0       0.00          -
1796.63/1797.01	c   conflict analysis:       0.00          0          0       0.00          -
1796.63/1797.01	c B&B Tree           :
1796.63/1797.01	c   number of runs   :          1
1796.63/1797.01	c   nodes            :       1044
1796.63/1797.01	c   nodes (total)    :       1044
1796.63/1797.01	c   nodes left       :        574
1796.63/1797.01	c   max depth        :         34
1796.63/1797.01	c   max depth (total):         34
1796.63/1797.01	c   backtracks       :        238 (22.8%)
1796.63/1797.01	c   delayed cutoffs  :          0
1796.63/1797.01	c   repropagations   :          3 (63066 domain reductions, 0 cutoffs)
1796.63/1797.01	c   avg switch length:       4.64
1796.63/1797.01	c   switching time   :      12.85
1796.63/1797.01	c Solution           :
1796.63/1797.01	c   Solutions found  :          7 (6 improvements)
1796.63/1797.01	c   First Solution   : +5.00000000000000e+02   (in run 1, after 0 nodes, 0.19 seconds, depth 0, found by <trivial>)
1796.63/1797.01	c   Primal Bound     : +1.70000000000000e+01   (in run 1, after 442 nodes, 957.70 seconds, depth 31, found by <relaxation>)
1796.63/1797.01	c   Dual Bound       : +1.00000000000000e+00
1796.63/1797.01	c   Gap              :    1600.00 %
1796.63/1797.01	c   Root Dual Bound  : +0.00000000000000e+00
1796.63/1797.01	c   Root Iterations  :      10001
1796.83/1797.26	c Time complete: 1796.9.

Verifier Data 

OK	17

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 24333
/proc/meminfo: memFree=28181060/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=10244 CPUtime=0 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 1321 0 0 0 0 0 0 0 20 0 1 0 269657653 10489856 1275 33554432000 4194304 10169799 140735483161632 140733913296936 7543003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 2561 1276 414 1459 0 1093 0

[startup+0.0588021 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 24333
/proc/meminfo: memFree=28181060/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=29656 CPUtime=0.05 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 5882 0 0 0 4 1 0 0 20 0 1 0 269657653 30367744 5838 33554432000 4194304 10169799 140735483161632 140733913296936 7543003 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 7414 5873 509 1459 0 5946 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 29656

[startup+0.100303 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 24333
/proc/meminfo: memFree=28181060/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=44056 CPUtime=0.09 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 9540 0 0 0 8 1 0 0 20 0 1 0 269657653 45113344 9494 33554432000 4194304 10169799 140735483161632 140733913296936 5282281 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 11014 9494 509 1459 0 9546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44056

[startup+0.300236 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 24333
/proc/meminfo: memFree=28181060/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=94852 CPUtime=0.28 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 21676 0 0 0 25 3 0 0 20 0 1 0 269657653 97128448 21630 33554432000 4194304 10169799 140735483161632 140735483157608 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 23713 21630 538 1459 0 22245 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 94852

[startup+0.700222 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 24333
/proc/meminfo: memFree=28181060/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=134012 CPUtime=0.69 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 31455 0 0 0 63 6 0 0 20 0 1 0 269657653 137228288 31409 33554432000 4194304 10169799 140735483161632 140735483157608 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 33759 31434 538 1459 0 32291 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134012

[startup+1.50023 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 24334
/proc/meminfo: memFree=28028028/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=204844 CPUtime=1.49 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 49131 0 0 0 140 9 0 0 20 0 1 0 269657653 209760256 49085 33554432000 4194304 10169799 140735483161632 140735483160040 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 51211 49085 538 1459 0 49743 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 204844

[startup+3.10023 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 24334
/proc/meminfo: memFree=27938492/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=296388 CPUtime=3.09 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 72724 0 0 0 276 33 0 0 20 0 1 0 269657653 303501312 71924 33554432000 4194304 10169799 140735483161632 140735483160040 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 74097 71924 562 1459 0 72629 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 296388

[startup+6.30022 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 24334
/proc/meminfo: memFree=27617924/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=475816 CPUtime=6.28 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 143960 0 0 0 558 70 0 0 20 0 1 0 269657653 487235584 116463 33554432000 4194304 10169799 140735483161632 140735483157672 7271364 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 118954 116463 798 1459 0 117486 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 475816

[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 24334
/proc/meminfo: memFree=27716644/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=475816 CPUtime=12.69 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 143983 0 0 0 1146 123 0 0 20 0 1 0 269657653 487235584 116486 33554432000 4194304 10169799 140735483161632 140735483158744 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 118954 116486 804 1459 0 117486 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 475816

[startup+25.5002 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 24334
/proc/meminfo: memFree=27692832/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=506876 CPUtime=25.48 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 145286 0 0 0 2259 289 0 0 20 0 1 0 269657653 519041024 122602 33554432000 4194304 10169799 140735483161632 140735483158168 7271364 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 126719 122602 814 1459 0 125251 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 506876

[startup+51.1002 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 24334
/proc/meminfo: memFree=27680796/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=512420 CPUtime=51.07 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 146275 0 0 0 4801 306 0 0 20 0 1 0 269657653 524718080 125635 33554432000 4194304 10169799 140735483161632 140735483157944 7280653 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 128105 125635 814 1459 0 126637 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 512420

[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 24337
/proc/meminfo: memFree=27670848/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=522868 CPUtime=102.27 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 173335 0 0 0 9899 328 0 0 20 0 1 0 269657653 535416832 128361 33554432000 4194304 10169799 140735483161632 140735483156424 7908823 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 130717 128361 832 1459 0 129249 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 522868

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 24337
/proc/meminfo: memFree=27663384/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=528652 CPUtime=162.24 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 174756 0 0 0 15880 344 0 0 20 0 1 0 269657653 541339648 129948 33554432000 4194304 10169799 140735483161632 140735483155912 7908783 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 132163 129948 833 1459 0 130695 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 528652

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 24338
/proc/meminfo: memFree=27652708/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=538540 CPUtime=222.22 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 177266 0 0 0 21862 360 0 0 20 0 1 0 269657653 551464960 132781 33554432000 4194304 10169799 140735483161632 140735483156280 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 134635 132781 833 1459 0 133167 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 538540

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 24339
/proc/meminfo: memFree=27645856/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=542336 CPUtime=282.22 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 178219 0 0 0 27843 379 0 0 20 0 1 0 269657653 555352064 133775 33554432000 4194304 10169799 140735483161632 140735483158152 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 135584 133775 833 1459 0 134116 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 542336

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24339
/proc/meminfo: memFree=27643288/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=545756 CPUtime=342.2 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 179066 0 0 0 33823 397 0 0 20 0 1 0 269657653 558854144 134665 33554432000 4194304 10169799 140735483161632 140735483157752 7680013 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 136439 134665 833 1459 0 134971 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 545756

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24339
/proc/meminfo: memFree=27636568/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=547584 CPUtime=402.2 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 179534 0 0 0 39806 414 0 0 20 0 1 0 269657653 560726016 135716 33554432000 4194304 10169799 140735483161632 140735483155960 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 136896 135716 833 1459 0 135428 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 547584

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24339
/proc/meminfo: memFree=27641096/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=547584 CPUtime=462.17 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 179557 0 0 0 45789 428 0 0 20 0 1 0 269657653 560726016 135739 33554432000 4194304 10169799 140735483161632 140735483159096 6124338 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 136896 135739 833 1459 0 135428 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 547584

[startup+522.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 24339
/proc/meminfo: memFree=27635948/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=547584 CPUtime=522.16 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 179557 0 0 0 51772 444 0 0 20 0 1 0 269657653 560726016 135739 33554432000 4194304 10169799 140735483161632 140735483157816 5280500 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 136896 135739 833 1459 0 135428 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 547584

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24340
/proc/meminfo: memFree=27623548/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=552556 CPUtime=582.15 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 180776 0 0 0 57756 459 0 0 20 0 1 0 269657653 565817344 136958 33554432000 4194304 10169799 140735483161632 140735483156088 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24333/statm: 138139 136958 833 1459 0 136671 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 552556

[startup+642.3 s]

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

/proc/meminfo: memFree=27604360/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=571420 CPUtime=1122.04 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 216467 0 0 0 111410 794 0 0 20 0 1 0 269657653 585134080 141697 33554432000 4194304 10169799 140735483161632 140735483155768 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 142855 141697 842 1459 0 141387 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 571420

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24345
/proc/meminfo: memFree=27602252/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=571420 CPUtime=1182.03 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 216478 0 0 0 117346 857 0 0 20 0 1 0 269657653 585134080 141708 33554432000 4194304 10169799 140735483161632 140735483156088 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 142855 141708 842 1459 0 141387 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 571420

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24345
/proc/meminfo: memFree=27596424/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=574612 CPUtime=1242.02 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 217255 0 0 0 123297 905 0 0 20 0 1 0 269657653 588402688 142485 33554432000 4194304 10169799 140735483161632 140735483156616 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 143653 142485 842 1459 0 142185 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 574612

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24355
/proc/meminfo: memFree=28046316/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=572728 CPUtime=1302.02 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 249535 0 0 0 129239 963 0 0 20 0 1 0 269657653 586473472 141921 33554432000 4194304 10169799 140735483161632 140735483159224 5081514 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 143182 141921 848 1459 0 141714 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 572728

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 24386
/proc/meminfo: memFree=27972900/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=574520 CPUtime=1362 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 250080 0 0 0 135212 988 0 0 20 0 1 0 269657653 588308480 142466 33554432000 4194304 10169799 140735483161632 140735483159240 5081429 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 143630 142466 848 1459 0 142162 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 574520

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24386
/proc/meminfo: memFree=27957896/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=579972 CPUtime=1422 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 251445 0 0 0 141149 1051 0 0 20 0 1 0 269657653 593891328 143831 33554432000 4194304 10169799 140735483161632 140735483156648 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 144993 143831 848 1459 0 143525 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 579972

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 24387
/proc/meminfo: memFree=27926620/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=580916 CPUtime=1481.99 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 251681 0 0 0 147113 1086 0 0 20 0 1 0 269657653 594857984 144067 33554432000 4194304 10169799 140735483161632 140735483156424 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 145229 144067 848 1459 0 143761 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 580916

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24387
/proc/meminfo: memFree=27891316/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=580916 CPUtime=1541.97 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 251681 0 0 0 153068 1129 0 0 20 0 1 0 269657653 594857984 144067 33554432000 4194304 10169799 140735483161632 140735483159224 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 145229 144067 848 1459 0 143761 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 580916

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24387
/proc/meminfo: memFree=27856016/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=582304 CPUtime=1601.97 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 251912 0 0 0 159024 1173 0 0 20 0 1 0 269657653 596279296 144298 33554432000 4194304 10169799 140735483161632 140735483156088 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 145576 144298 848 1459 0 144108 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 582304

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24387
/proc/meminfo: memFree=27818940/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=584596 CPUtime=1661.96 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 252602 0 0 0 164996 1200 0 0 20 0 1 0 269657653 598626304 144988 33554432000 4194304 10169799 140735483161632 140735483156136 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 146149 144988 848 1459 0 144681 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 584596

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24387
/proc/meminfo: memFree=27776096/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=591796 CPUtime=1721.95 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 254409 0 0 0 170968 1227 0 0 20 0 1 0 269657653 605999104 146795 33554432000 4194304 10169799 140735483161632 140735483158968 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 147949 146795 848 1459 0 146481 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 591796

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24388
/proc/meminfo: memFree=27732804/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=595280 CPUtime=1781.93 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 255280 0 0 0 176946 1247 0 0 20 0 1 0 269657653 609566720 147659 33554432000 4194304 10169799 140735483161632 140735483156424 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 148820 147659 848 1459 0 147352 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 595280

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24388
/proc/meminfo: memFree=27729332/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=595540 CPUtime=1785.13 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 255282 0 0 0 177265 1248 0 0 20 0 1 0 269657653 609832960 147661 33554432000 4194304 10169799 140735483161632 140735483156056 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 148885 147661 848 1459 0 147417 0
Current children cumulated CPU time (s) 1785.13
Current children cumulated vsize (KiB) 595540

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24388
/proc/meminfo: memFree=27722636/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=597280 CPUtime=1791.54 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 255587 0 0 0 177904 1250 0 0 20 0 1 0 269657653 611614720 147966 33554432000 4194304 10169799 140735483161632 140735483156056 8009696 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 149320 147966 848 1459 0 147852 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 597280

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24388
/proc/meminfo: memFree=27721520/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=597280 CPUtime=1794.74 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 255588 0 0 0 178223 1251 0 0 20 0 1 0 269657653 611614720 147967 33554432000 4194304 10169799 140735483161632 140735483156328 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 149320 147967 848 1459 0 147852 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 597280

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24388
/proc/meminfo: memFree=27721520/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=597280 CPUtime=1795.53 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 255588 0 0 0 178302 1251 0 0 20 0 1 0 269657653 611614720 147967 33554432000 4194304 10169799 140735483161632 140735483155960 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 149320 147967 848 1459 0 147852 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (KiB) 597280

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24388
/proc/meminfo: memFree=27721396/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=597280 CPUtime=1796.33 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 255588 0 0 0 178382 1251 0 0 20 0 1 0 269657653 611614720 147967 33554432000 4194304 10169799 140735483161632 140735483156056 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 149320 147967 848 1459 0 147852 0
Current children cumulated CPU time (s) 1796.33
Current children cumulated vsize (KiB) 597280

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24388
/proc/meminfo: memFree=27721396/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=572992 CPUtime=1796.73 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 255590 0 0 0 178422 1251 0 0 20 0 1 0 269657653 586743808 142232 33554432000 4194304 10169799 140735483161632 140735483159480 5058534 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 143248 142232 850 1459 0 141780 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 572992

[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24388
/proc/meminfo: memFree=27721396/32873844 swapFree=7104/7104
[pid=24333] ppid=24331 vsize=561752 CPUtime=1796.83 cores=0,2,4,6
/proc/24333/stat : 24333 (scip-2.1.1.4sfi) R 24331 24333 22949 0 -1 4202496 255590 0 0 0 178432 1251 0 0 20 0 1 0 269657653 575234048 139429 33554432000 4194304 10169799 140735483161632 140735483160920 7547443 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 140438 139429 850 1459 0 138970 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 561752

Child status: 0
Real time (s): 1797.27
CPU time (s): 1796.91
CPU user time (s): 1784.36
CPU system time (s): 12.5451
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 700456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.36
system time used= 12.5451
maximum resident set size= 694208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255592
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= 42
involuntary context switches= 2611

runsolver used 3.09853 second user time and 8.82366 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-26 14:28:48
IDJOB=3693789
IDBENCH=48124
IDSOLVER=2272
FILE ID=node142/3693789-1338035328
RUNJOBID= node142-1338029393-23714
PBS_JOBID= 14624333
Free space on /tmp= 71592 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_3.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693789-1338035328/watcher-3693789-1338035328 -o /tmp/evaluation-result-3693789-1338035328/solver-3693789-1338035328 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693789-1338035328.opb -t 1800 -m 15500

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

MD5SUM BENCH= d5313ea0d4ce989dad692c9adfb6f827
RANDOM SEED=1470428400

node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28180688 kB
Buffers:          259236 kB
Cached:          3218472 kB
SwapCached:            0 kB
Active:          1029312 kB
Inactive:        2890624 kB
Active(anon):     444240 kB
Inactive(anon):        0 kB
Active(file):     585072 kB
Inactive(file):  2890624 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14288 kB
Writeback:            64 kB
AnonPages:        450528 kB
Mapped:            17740 kB
Shmem:               200 kB
Slab:             633892 kB
SReclaimable:      76260 kB
SUnreclaim:       557632 kB
KernelStack:        1456 kB
PageTables:         5056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     559788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    313344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71592 MiB
End job on node142 at 2012-05-26 14:58:45