Trace number 3485074

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 2 2011-06-10 (fixed)SAT16 1797.36 1797.32

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_1.opb
MD5SUM7931a71f4daac58a32a56f6c89bc3525
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1797.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
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 constraint104
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)37366
Sum of products size (including duplicates)74732
Number of different products37366
Sum of products size74732

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.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3485074-1307780490.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
0.00/0.03	c presolving settings loaded
0.09/0.19	o 500
0.09/0.19	c feasible solution found by trivial heuristic, objective value  5.000000e+02
0.09/0.19	c presolving:
2.69/2.73	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 5731930 impls, 0 clqs
3.49/3.55	c    (3.5s) probing: 101/37866 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.49/3.55	c    (3.5s) probing aborted: 100/100 successive totally useless probings
3.49/3.55	c presolving (2 rounds):
3.49/3.55	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.49/3.55	c  5731930 implications, 0 cliques
3.49/3.55	c presolved problem has 37866 variables (37866 bin, 0 int, 0 impl, 0 cont) and 37866 constraints
3.49/3.55	c   37366 constraints of type <and>
3.49/3.55	c     500 constraints of type <logicor>
3.49/3.55	c transformed objective value is always integral (scale: 1)
3.49/3.55	c Presolving Time: 3.51
3.49/3.55	c - non default parameters ----------------------------------------------------------------------
3.49/3.55	c # SCIP version 2.0.1.4
3.49/3.55	c 
3.49/3.55	c # frequency for displaying node information lines
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 100]
3.49/3.55	c display/freq = 10000
3.49/3.55	c 
3.49/3.55	c # maximal time in seconds to run
3.49/3.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.55	c limits/time = 1797
3.49/3.55	c 
3.49/3.55	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.49/3.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.55	c limits/memory = 13950
3.49/3.55	c 
3.49/3.55	c # default clock type (1: CPU user seconds, 2: wall clock time)
3.49/3.55	c # [type: int, range: [1,2], default: 1]
3.49/3.55	c timing/clocktype = 2
3.49/3.55	c 
3.49/3.55	c # belongs reading time to solving time?
3.49/3.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.55	c timing/reading = TRUE
3.49/3.55	c 
3.49/3.55	c # should presolving try to simplify inequalities
3.49/3.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.55	c constraints/linear/simplifyinequalities = TRUE
3.49/3.55	c 
3.49/3.55	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.49/3.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.55	c constraints/indicator/addCouplingCons = TRUE
3.49/3.55	c 
3.49/3.55	c # should presolving try to simplify knapsacks
3.49/3.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.55	c constraints/knapsack/simplifyinequalities = TRUE
3.49/3.55	c 
3.49/3.55	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.55	c separating/rapidlearning/freq = 0
3.49/3.55	c 
3.49/3.55	c -----------------------------------------------------------------------------------------------
3.49/3.55	c start solving
3.49/3.56	c 
4.09/4.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.09/4.11	c t 4.1s|     1 |     0 |  1000 |     - | 298M|   0 |1000 |  37k|  37k|  37k|  75k|   0 |   0 |   0 | 0.000000e+00 | 5.000000e+02 |    Inf 
14.88/14.98	c  15.0s|     1 |     0 |  2500 |     - | 299M|   0 |1000 |  37k|  37k|  37k|  76k|1001 |   0 |   0 | 0.000000e+00 | 5.000000e+02 |    Inf 
22.18/22.25	c  22.2s|     1 |     0 |  4000 |     - | 299M|   0 |1000 |  37k|  37k|  37k|  77k|2003 |   0 |   0 | 0.000000e+00 | 5.000000e+02 |    Inf 
22.28/22.32	o 31
22.28/22.32	c s22.3s|     1 |     0 |  4000 |     - | 300M|   0 |1000 |  37k|  37k|  37k|  77k|2003 |   0 |   0 | 0.000000e+00 | 3.100000e+01 |    Inf 
29.29/29.32	c  29.3s|     1 |     0 |  5500 |     - | 300M|   0 |1000 |  37k|  37k|  37k|  78k|3006 |   0 |   0 | 0.000000e+00 | 3.100000e+01 |    Inf 
37.59/37.69	c  37.7s|     1 |     0 |  7000 |     - | 301M|   0 |1000 |  37k|  37k|  37k|  79k|4009 |   0 |   0 | 0.000000e+00 | 3.100000e+01 |    Inf 
37.69/37.77	o 30
37.69/37.77	c s37.8s|     1 |     0 |  7000 |     - | 301M|   0 |1000 |  37k|  37k|  37k|  79k|4009 |   0 |   0 | 0.000000e+00 | 3.000000e+01 |    Inf 
45.38/45.40	c  45.4s|     1 |     0 |  8501 |     - | 302M|   0 |1000 |  37k|  37k|  37k|  80k|5011 |   0 |   0 | 0.000000e+00 | 3.000000e+01 |    Inf 
45.38/45.48	o 26
45.38/45.48	c s45.5s|     1 |     0 |  8501 |     - | 302M|   0 |1000 |  37k|  37k|  37k|  80k|5011 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
53.39/53.41	c  53.4s|     1 |     0 | 10001 |     - | 303M|   0 |1000 |  37k|  37k|  37k|  81k|6013 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
54.08/54.12	c  54.1s|     1 |     2 | 10001 |     - | 303M|   0 |1000 |  37k|  37k|  37k|  81k|6013 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
244.39/244.40	o 20
244.39/244.40	c * 244s|   100 |    88 |273565 |2662.3 | 291M|  34 |   - |  37k|  37k|  37k|  20k|  49k|   0 | 298 | 1.000000e+00 | 2.000000e+01 |1900.00%
927.10/927.19	o 19
927.10/927.19	c * 927s|   559 |   520 |  1137k|2021.1 | 310M|  34 |   - |  37k|  38k|  37k|  16k| 274k| 535 |1559 | 1.000000e+00 | 1.900000e+01 |1800.00%
930.11/930.16	o 18
930.11/930.16	c * 930s|   563 |   493 |  1140k|2011.6 | 309M|  34 |   - |  37k|  38k|  37k|  16k| 275k| 536 |1561 | 1.000000e+00 | 1.800000e+01 |1700.00%
933.20/933.28	o 17
933.20/933.28	c * 933s|   566 |   479 |  1143k|2006.5 | 309M|  34 |   - |  37k|  38k|  37k|  16k| 276k| 536 |1567 | 1.000000e+00 | 1.700000e+01 |1600.00%
1761.33/1761.32	o 16
1761.33/1761.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1761.33/1761.32	c *1761s|  1116 |   890 |  2277k|2033.7 | 323M|  34 |   - |  37k|  39k|  37k|  16k| 533k|2466 |2475 | 1.000000e+00 | 1.600000e+01 |1500.00%
1797.02/1797.02	c 
1797.02/1797.02	c SCIP Status        : solving was interrupted [time limit reached]
1797.02/1797.02	c Solving Time (sec) : 1797.02
1797.02/1797.02	c Solving Nodes      : 1144
1797.02/1797.02	c Primal Bound       : +1.60000000000000e+01 (9 solutions)
1797.02/1797.02	c Dual Bound         : +1.00000000000000e+00
1797.02/1797.02	c Gap                : 1500.00 %
1797.02/1797.03	s SATISFIABLE
1797.02/1797.03	v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
1797.02/1797.03	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 
1797.02/1797.03	v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 
1797.02/1797.03	v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 
1797.02/1797.03	v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 
1797.02/1797.03	v -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 
1797.02/1797.03	v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 
1797.02/1797.03	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 
1797.02/1797.03	v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 
1797.02/1797.03	v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 
1797.02/1797.03	v x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 
1797.02/1797.03	v -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 
1797.02/1797.03	v x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 
1797.02/1797.03	v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 
1797.02/1797.03	v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 
1797.02/1797.03	v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 x168 -x167 -x166 
1797.02/1797.03	v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 
1797.02/1797.03	v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 
1797.02/1797.03	v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 
1797.02/1797.03	v -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 
1797.02/1797.03	v -x78 -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 
1797.02/1797.03	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 
1797.02/1797.03	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 
1797.02/1797.03	c SCIP Status        : solving was interrupted [time limit reached]
1797.02/1797.03	c Total Time         :    1797.02
1797.02/1797.03	c   solving          :    1797.02
1797.02/1797.03	c   presolving       :       3.51 (included in solving)
1797.02/1797.03	c   reading          :       0.03 (included in solving)
1797.02/1797.03	c Original Problem   :
1797.02/1797.03	c   Problem name     : HOME/instance-3485074-1307780490.opb
1797.02/1797.03	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.03	c   Constraints      : 500 initial, 500 maximal
1797.02/1797.03	c Presolved Problem  :
1797.02/1797.03	c   Problem name     : t_HOME/instance-3485074-1307780490.opb
1797.02/1797.03	c   Variables        : 37866 (37866 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.03	c   Constraints      : 37866 initial, 39924 maximal
1797.02/1797.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.02/1797.03	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.03	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.03	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.03	c   probing          :       0.55          0          0          0          0          0          0          0          0          0
1797.02/1797.03	c   and              :       2.76          0          0          0          0          0          0          0          0          0
1797.02/1797.03	c   linear           :       0.02          0          0          0          0          0          0          0          0          0
1797.02/1797.03	c   logicor          :       0.01          0          0          0          0          0          0          0          0          0
1797.02/1797.03	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.02/1797.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.02/1797.03	c   integral         :          0          0          0       1651          0        921          0          0         65          0          0       2162
1797.02/1797.03	c   and              :      37366       5586      23384        535          1        916      78498         23    1740947    1754058          0          0
1797.02/1797.03	c   logicor          :        500+         6      11483          5          1          4       5399        891          2          0          0          0
1797.02/1797.03	c   countsols        :          0          0          0          5          1          7          0          0          0          0          0          0
1797.02/1797.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.02/1797.03	c   integral         :     366.95       0.00       0.00     366.67       0.00       0.28       0.00
1797.02/1797.03	c   and              :     187.59     113.26      68.41       5.76       0.00       0.13       0.03
1797.02/1797.03	c   logicor          :       1.31       0.00       1.29       0.00       0.00       0.00       0.02
1797.02/1797.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.02/1797.03	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.02/1797.03	c   vbounds          :          0          0          0          0
1797.02/1797.03	c   rootredcost      :          6          0          0          0
1797.02/1797.03	c   pseudoobj        :      23234      54949         48        952
1797.02/1797.03	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.02/1797.03	c   vbounds          :       0.01       0.01       0.00
1797.02/1797.03	c   rootredcost      :       0.02       0.02       0.00
1797.02/1797.03	c   pseudoobj        :       2.59       2.25       0.34
1797.02/1797.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.02/1797.03	c   propagation      :       0.46        962        962       2695       28.3          0        0.0          -
1797.02/1797.03	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.02/1797.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.02/1797.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.02/1797.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.02/1797.03	c   applied globally :          -          -          -       2695       28.3          -          -          -
1797.02/1797.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.02/1797.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.02/1797.03	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 6013)
1797.02/1797.03	c   redcost          :       7.65       5587          0      22920          0          0
1797.02/1797.03	c   impliedbounds    :       0.04          6          0          0       6000          0
1797.02/1797.03	c   intobj           :       0.00          0          0          0          0          0
1797.02/1797.03	c   gomory           :       1.94          6          0          0       3000          0
1797.02/1797.03	c   cgmip            :       0.00          0          0          0          0          0
1797.02/1797.03	c   closecuts        :       0.00          0          0          0          0          0
1797.02/1797.03	c   strongcg         :       1.82          6          0          0       3000          0
1797.02/1797.03	c   cmir             :      25.57          6          0          0       3000          0
1797.02/1797.03	c   flowcover        :      10.72          6          0          0          0          0
1797.02/1797.03	c   clique           :       4.25          6          0          0         13          0
1797.02/1797.03	c   zerohalf         :       0.00          0          0          0          0          0
1797.02/1797.03	c   mcf              :       0.05          1          0          0          0          0
1797.02/1797.03	c   oddcycle         :       0.00          0          0          0          0          0
1797.02/1797.03	c   rapidlearning    :       0.00          0          0          0          0          0
1797.02/1797.03	c Pricers            :       Time      Calls       Vars
1797.02/1797.03	c   problem variables:       0.00          0          0
1797.02/1797.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.02/1797.03	c   relpscost        :     366.65        925          0         65          0          0       1782
1797.02/1797.03	c   pscost           :       0.00          0          0          0          0          0          0
1797.02/1797.03	c   inference        :       0.02        191          0          0          0          0        382
1797.02/1797.03	c   mostinf          :       0.00          0          0          0          0          0          0
1797.02/1797.03	c   leastinf         :       0.00          0          0          0          0          0          0
1797.02/1797.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.02/1797.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.02/1797.03	c   random           :       0.00          0          0          0          0          0          0
1797.02/1797.03	c Primal Heuristics  :       Time      Calls      Found
1797.02/1797.03	c   LP solutions     :       0.04          -          5
1797.02/1797.03	c   pseudo solutions :       0.00          -          0
1797.02/1797.03	c   oneopt           :       0.13          8          0
1797.02/1797.03	c   linesearchdiving :      39.07         32          0
1797.02/1797.03	c   pscostdiving     :      68.53         32          0
1797.02/1797.03	c   coefdiving       :      54.49         32          0
1797.02/1797.03	c   veclendiving     :      17.91         33          0
1797.02/1797.03	c   fracdiving       :      41.36         33          0
1797.02/1797.03	c   trivial          :       0.04          2          1
1797.02/1797.03	c   shiftandpropagate:       0.00          0          0
1797.02/1797.03	c   simplerounding   :       0.01          0          0
1797.02/1797.03	c   zirounding       :       2.15       1000          0
1797.02/1797.03	c   rounding         :       2.84       1009          0
1797.02/1797.03	c   shifting         :       3.25        301          3
1797.02/1797.03	c   intshifting      :       0.00          0          0
1797.02/1797.03	c   twoopt           :       0.00          0          0
1797.02/1797.03	c   fixandinfer      :       0.00          0          0
1797.02/1797.03	c   feaspump         :       0.00          0          0
1797.02/1797.03	c   clique           :       0.00          0          0
1797.02/1797.03	c   intdiving        :       0.00          0          0
1797.02/1797.03	c   actconsdiving    :       0.00          0          0
1797.02/1797.03	c   objpscostdiving  :      57.84          5          0
1797.02/1797.03	c   rootsoldiving    :       4.88         12          0
1797.02/1797.03	c   guideddiving     :      85.59         33          0
1797.02/1797.03	c   octane           :       0.00          0          0
1797.02/1797.03	c   rens             :       0.64          1          0
1797.02/1797.03	c   rins             :       0.00          0          0
1797.02/1797.03	c   localbranching   :       0.00          0          0
1797.02/1797.03	c   mutation         :       0.00          0          0
1797.02/1797.03	c   crossover        :       0.93          2          0
1797.02/1797.03	c   dins             :       0.00          0          0
1797.02/1797.03	c   vbounds          :       0.00          0          0
1797.02/1797.03	c   undercover       :       0.03          1          0
1797.02/1797.03	c   subnlp           :       0.00          0          0
1797.02/1797.03	c   trysol           :       0.00          0          0
1797.02/1797.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.02/1797.03	c   primal LP        :       8.85          0          0       0.00       0.00
1797.02/1797.03	c   dual LP          :     790.23       7191    2077937     288.96    2629.55
1797.02/1797.03	c   lex dual LP      :       0.00          0          0       0.00          -
1797.02/1797.03	c   barrier LP       :       0.00          0          0       0.00          -
1797.02/1797.03	c   diving/probing LP:     216.41       8756     244877      27.97    1131.54
1797.02/1797.03	c   strong branching :     365.52       2488     611778     245.89    1673.70
1797.02/1797.03	c     (at root node) :          -          0          0       0.00          -
1797.02/1797.03	c   conflict analysis:       0.00          0          0       0.00          -
1797.02/1797.03	c B&B Tree           :
1797.02/1797.03	c   number of runs   :          1
1797.02/1797.03	c   nodes            :       1144
1797.02/1797.03	c   nodes (total)    :       1144
1797.02/1797.03	c   nodes left       :        912
1797.02/1797.03	c   max depth        :         34
1797.02/1797.03	c   max depth (total):         34
1797.02/1797.03	c   backtracks       :        249 (21.8%)
1797.02/1797.03	c   delayed cutoffs  :          0
1797.02/1797.03	c   repropagations   :          1 (71 domain reductions, 0 cutoffs)
1797.02/1797.03	c   avg switch length:       3.78
1797.02/1797.03	c   switching time   :      12.62
1797.02/1797.03	c Solution           :
1797.02/1797.03	c   Solutions found  :          9 (9 improvements)
1797.02/1797.03	c   First Solution   : +5.00000000000000e+02   (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1797.02/1797.03	c   Primal Bound     : +1.60000000000000e+01   (in run 1, after 1116 nodes, 1761.31 seconds, depth 20, found by <relaxation>)
1797.02/1797.03	c   Dual Bound       : +1.00000000000000e+00
1797.02/1797.03	c   Gap              :    1500.00 %
1797.02/1797.03	c   Root Dual Bound  : +0.00000000000000e+00
1797.02/1797.03	c   Root Iterations  :      10001
1797.33/1797.32	c Time complete: 1797.34.

Verifier Data 

OK	16

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3485074-1307780490/watcher-3485074-1307780490 -o /tmp/evaluation-result-3485074-1307780490/solver-3485074-1307780490 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485074-1307780490.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.02 2.02 1.96 3/177 21103
/proc/meminfo: memFree=31091348/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=10256 CPUtime=0 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 1576 0 0 0 0 0 0 0 25 0 1 0 622240245 10502144 1531 33554432000 4194304 8979876 140734770276368 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21103/statm: 2564 1531 368 1169 0 1391 0

[startup+0.041509 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 21103
/proc/meminfo: memFree=31091348/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=19112 CPUtime=0.03 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 3738 0 0 0 3 0 0 0 25 0 1 0 622240245 19570688 3693 33554432000 4194304 8979876 140734770276368 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21103/statm: 4843 3730 417 1169 0 3670 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19112

[startup+0.100515 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 21103
/proc/meminfo: memFree=31091348/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=48652 CPUtime=0.09 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 10889 0 0 0 9 0 0 0 25 0 1 0 622240245 49819648 10844 33554432000 4194304 8979876 140734770276368 18446744073709551615 5273254 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21103/statm: 12163 10844 456 1169 0 10990 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48652

[startup+0.300483 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 21103
/proc/meminfo: memFree=31091348/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=95916 CPUtime=0.29 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 22167 0 0 0 27 2 0 0 25 0 1 0 622240245 98217984 22122 33554432000 4194304 8979876 140734770276368 18446744073709551615 6783404 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21103/statm: 23979 22122 481 1169 0 22806 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 95916

[startup+0.700413 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 21103
/proc/meminfo: memFree=31091348/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=135288 CPUtime=0.69 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 31980 0 0 0 66 3 0 0 25 0 1 0 622240245 138534912 31935 33554432000 4194304 8979876 140734770276368 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21103/statm: 33822 31935 481 1169 0 32649 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135288

[startup+1.50027 s]
/proc/loadavg: 2.02 2.02 1.96 3/178 21104
/proc/meminfo: memFree=30937356/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=203752 CPUtime=1.49 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 49069 0 0 0 145 4 0 0 25 0 1 0 622240245 208642048 49024 33554432000 4194304 8979876 140734770276368 18446744073709551615 6492493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21103/statm: 50938 49024 481 1169 0 49765 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 203752

[startup+3.10097 s]
/proc/loadavg: 2.02 2.02 1.96 3/178 21104
/proc/meminfo: memFree=30849312/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=297724 CPUtime=3.09 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 73466 0 0 0 302 7 0 0 25 0 1 0 622240245 304869376 72622 33554432000 4194304 8979876 140734770276368 18446744073709551615 4222938 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21103/statm: 74431 72622 599 1169 0 73258 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 297724

[startup+6.30043 s]
/proc/loadavg: 2.02 2.02 1.96 3/178 21104
/proc/meminfo: memFree=30624120/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=479172 CPUtime=6.28 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 121663 0 0 0 616 12 0 0 23 0 1 0 622240245 490672128 117145 33554432000 4194304 8979876 140734770276368 18446744073709551615 6582918 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 119793 117145 686 1169 0 118620 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 479172

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 21104
/proc/meminfo: memFree=30624008/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=479172 CPUtime=12.68 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 121683 0 0 0 1256 12 0 0 25 0 1 0 622240245 490672128 117150 33554432000 4194304 8979876 140734770276368 18446744073709551615 6254470 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 119793 117150 676 1169 0 118620 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 479172

[startup+25.5011 s]
/proc/loadavg: 2.09 2.03 1.97 3/178 21104
/proc/meminfo: memFree=30599572/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=503460 CPUtime=25.49 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 128255 0 0 0 2535 14 0 0 25 0 1 0 622240245 515543040 123283 33554432000 4194304 8979876 140734770276368 18446744073709551615 7836098 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 125865 123283 723 1169 0 124692 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 503460

[startup+51.1005 s]
/proc/loadavg: 2.06 2.03 1.97 3/178 21105
/proc/meminfo: memFree=30591640/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=509164 CPUtime=51.08 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 129606 0 0 0 5094 14 0 0 25 0 1 0 622240245 521383936 124620 33554432000 4194304 8979876 140734770276368 18446744073709551615 6293618 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 127291 124620 709 1169 0 126118 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 509164

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 1.97 3/178 21106
/proc/meminfo: memFree=30576484/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=513956 CPUtime=102.29 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 168997 0 0 0 10196 33 0 0 25 0 1 0 622240245 526290944 125644 33554432000 4194304 8979876 140734770276368 18446744073709551615 5034283 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 128489 125644 720 1169 0 127316 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 513956

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 1.97 3/178 21108
/proc/meminfo: memFree=30554732/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=513956 CPUtime=162.28 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 169001 0 0 0 16182 46 0 0 25 0 1 0 622240245 526290944 125648 33554432000 4194304 8979876 140734770276368 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 128489 125648 723 1169 0 127316 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 513956

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 21109
/proc/meminfo: memFree=30549972/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=519360 CPUtime=222.29 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 170326 0 0 0 22170 59 0 0 25 0 1 0 622240245 531824640 126973 33554432000 4194304 8979876 140734770276368 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 129840 126973 723 1169 0 128667 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 519360

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21111
/proc/meminfo: memFree=30538264/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=532512 CPUtime=282.29 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 174008 0 0 0 28158 71 0 0 25 0 1 0 622240245 545292288 130248 33554432000 4194304 8979876 140734770276368 18446744073709551615 7841783 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 133128 130248 727 1169 0 131955 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 532512

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21113
/proc/meminfo: memFree=30534744/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=535980 CPUtime=342.29 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 174544 0 0 0 34144 85 0 0 25 0 1 0 622240245 548843520 130783 33554432000 4194304 8979876 140734770276368 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 133995 130783 727 1169 0 132822 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 535980

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21114
/proc/meminfo: memFree=30525272/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=535980 CPUtime=402.29 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 174766 0 0 0 40130 99 0 0 25 0 1 0 622240245 548843520 131005 33554432000 4194304 8979876 140734770276368 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 133995 131005 727 1169 0 132822 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 535980

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21116
/proc/meminfo: memFree=30524332/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=536564 CPUtime=462.29 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 175041 0 0 0 46115 114 0 0 25 0 1 0 622240245 549441536 131280 33554432000 4194304 8979876 140734770276368 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 134141 131280 727 1169 0 132968 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 536564

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21117
/proc/meminfo: memFree=30508384/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=538756 CPUtime=522.29 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 175583 0 0 0 52100 129 0 0 25 0 1 0 622240245 551686144 131822 33554432000 4194304 8979876 140734770276368 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 134689 131822 727 1169 0 133516 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 538756

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21119
/proc/meminfo: memFree=30505604/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=541744 CPUtime=582.3 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 176330 0 0 0 58087 143 0 0 25 0 1 0 622240245 554745856 132569 33554432000 4194304 8979876 140734770276368 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 135436 132569 727 1169 0 134263 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 541744

[startup+642.3 s]

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

/proc/meminfo: memFree=30474752/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=565564 CPUtime=1062.3 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 205819 0 0 0 105971 259 0 0 25 0 1 0 622240245 579137536 138519 33554432000 4194304 8979876 140734770276368 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 141391 138519 740 1169 0 140218 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 565564

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21133
/proc/meminfo: memFree=30465020/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=569840 CPUtime=1122.3 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 206885 0 0 0 111960 270 0 0 25 0 1 0 622240245 583516160 139585 33554432000 4194304 8979876 140734770276368 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 142460 139585 740 1169 0 141287 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 569840

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21135
/proc/meminfo: memFree=30456420/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=574216 CPUtime=1182.31 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 208009 0 0 0 117950 281 0 0 25 0 1 0 622240245 587997184 140709 33554432000 4194304 8979876 140734770276368 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 143554 140709 740 1169 0 142381 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 574216

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21137
/proc/meminfo: memFree=30438872/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=580384 CPUtime=1242.31 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 209522 0 0 0 123935 296 0 0 25 0 1 0 622240245 594313216 142222 33554432000 4194304 8979876 140734770276368 18446744073709551615 7156596 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 145096 142222 740 1169 0 143923 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 580384

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21138
/proc/meminfo: memFree=30441788/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=577548 CPUtime=1302.32 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 231744 0 0 0 129918 314 0 0 25 0 1 0 622240245 591409152 141440 33554432000 4194304 8979876 140734770276368 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 144387 141440 740 1169 0 143214 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 577548

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21140
/proc/meminfo: memFree=30440752/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=578488 CPUtime=1362.32 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 232052 0 0 0 135903 329 0 0 25 0 1 0 622240245 592371712 141748 33554432000 4194304 8979876 140734770276368 18446744073709551615 6581068 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 144622 141748 740 1169 0 143449 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 578488

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21141
/proc/meminfo: memFree=30439956/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=578956 CPUtime=1422.33 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 232173 0 0 0 141891 342 0 0 25 0 1 0 622240245 592850944 141869 33554432000 4194304 8979876 140734770276368 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 144739 141869 740 1169 0 143566 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 578956

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/178 21143
/proc/meminfo: memFree=30439288/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=579476 CPUtime=1482.32 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 232330 0 0 0 147877 355 0 0 25 0 1 0 622240245 593383424 142026 33554432000 4194304 8979876 140734770276368 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 144869 142026 740 1169 0 143696 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 579476

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 21145
/proc/meminfo: memFree=30437740/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=581356 CPUtime=1542.32 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 232785 0 0 0 153864 368 0 0 25 0 1 0 622240245 595308544 142481 33554432000 4194304 8979876 140734770276368 18446744073709551615 7046483 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 145339 142481 740 1169 0 144166 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 581356

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21146
/proc/meminfo: memFree=30436320/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=582556 CPUtime=1602.31 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 233091 0 0 0 159852 379 0 0 25 0 1 0 622240245 596537344 142787 33554432000 4194304 8979876 140734770276368 18446744073709551615 7046464 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 145639 142787 740 1169 0 144466 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 582556

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21148
/proc/meminfo: memFree=30429184/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=587648 CPUtime=1662.32 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 234398 0 0 0 165840 392 0 0 25 0 1 0 622240245 601751552 144094 33554432000 4194304 8979876 140734770276368 18446744073709551615 7179628 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 146912 144094 740 1169 0 145739 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 587648

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21149
/proc/meminfo: memFree=30421676/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=592312 CPUtime=1722.32 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 235452 0 0 0 171831 401 0 0 25 0 1 0 622240245 606527488 145148 33554432000 4194304 8979876 140734770276368 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 148078 145148 740 1169 0 146905 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 592312

[startup+1782.3 s]
/proc/loadavg: 1.47 1.86 1.94 2/172 21175
/proc/meminfo: memFree=31423392/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=597100 CPUtime=1782.32 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 236867 0 0 0 177818 414 0 0 25 0 1 0 622240245 611430400 146563 33554432000 4194304 8979876 140734770276368 18446744073709551615 7047490 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 149275 146563 740 1169 0 148102 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 597100

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

[startup+1785.5 s]
/proc/loadavg: 1.47 1.86 1.94 2/172 21175
/proc/meminfo: memFree=31423512/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=597100 CPUtime=1785.52 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 236867 0 0 0 178137 415 0 0 25 0 1 0 622240245 611430400 146563 33554432000 4194304 8979876 140734770276368 18446744073709551615 5034166 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 149275 146563 740 1169 0 148102 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 597100

[startup+1791.91 s]
/proc/loadavg: 1.40 1.83 1.93 2/172 21175
/proc/meminfo: memFree=31423508/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=597100 CPUtime=1791.93 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 236867 0 0 0 178777 416 0 0 25 0 1 0 622240245 611430400 146563 33554432000 4194304 8979876 140734770276368 18446744073709551615 7047490 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 149275 146563 740 1169 0 148102 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 597100

[startup+1795.1 s]
/proc/loadavg: 1.40 1.83 1.93 2/172 21175
/proc/meminfo: memFree=31423508/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=597100 CPUtime=1795.13 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 236867 0 0 0 179096 417 0 0 25 0 1 0 622240245 611430400 146563 33554432000 4194304 8979876 140734770276368 18446744073709551615 6427099 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 149275 146563 740 1169 0 148102 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 597100

[startup+1796.7 s]
/proc/loadavg: 1.37 1.82 1.92 2/172 21175
/proc/meminfo: memFree=31423384/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=597100 CPUtime=1796.72 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 236867 0 0 0 179255 417 0 0 25 0 1 0 622240245 611430400 146563 33554432000 4194304 8979876 140734770276368 18446744073709551615 7179154 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21103/statm: 149275 146563 740 1169 0 148102 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 597100

[startup+1797.1 s]
/proc/loadavg: 1.37 1.82 1.92 2/172 21175
/proc/meminfo: memFree=31423384/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=572812 CPUtime=1797.12 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 236870 0 0 0 179295 417 0 0 25 0 1 0 622240245 586559488 141186 33554432000 4194304 8979876 140734770276368 18446744073709551615 6586823 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21103/statm: 143203 141186 743 1169 0 142030 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 572812

[startup+1797.3 s]
/proc/loadavg: 1.37 1.82 1.92 2/172 21175
/proc/meminfo: memFree=31576152/32951124 swapFree=67055708/67111528
[pid=21103] ppid=21101 vsize=393640 CPUtime=1797.33 cores=0,2,4,6
/proc/21103/stat : 21103 (scip-2.0.1.4_2.) R 21101 21103 17032 0 -1 4202496 236870 0 0 0 179315 418 0 0 25 0 1 0 622240245 403087360 96846 33554432000 4194304 8979876 140734770276368 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21103/statm: 98410 96590 743 1169 0 97237 0
Current children cumulated CPU time (s) 1797.33
Current children cumulated vsize (KiB) 393640

Child status: 0
Real time (s): 1797.32
CPU time (s): 1797.36
CPU user time (s): 1793.16
CPU system time (s): 4.19736
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 671552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.16
system time used= 4.19736
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236875
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= 5
involuntary context switches= 23911

runsolver used 2.76758 second user time and 5.53216 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-11 10:21:30
IDJOB=3485074
IDBENCH=48120
IDSOLVER=1977
FILE ID=node107/3485074-1307780490
RUNJOBID= node107-1307776545-20425
PBS_JOBID= 13550853
Free space on /tmp= 74116 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_1.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485074-1307780490/watcher-3485074-1307780490 -o /tmp/evaluation-result-3485074-1307780490/solver-3485074-1307780490 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485074-1307780490.opb -t 1800 -m 15500

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

MD5SUM BENCH= 7931a71f4daac58a32a56f6c89bc3525
RANDOM SEED=1048899540

node107.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.829
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.65
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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.829
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31091900 kB
Buffers:        149512 kB
Cached:         594908 kB
SwapCached:      19468 kB
Active:        1180256 kB
Inactive:       489948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31091900 kB
SwapTotal:    67111528 kB
SwapFree:     67055708 kB
Dirty:           17264 kB
Writeback:           0 kB
AnonPages:      923836 kB
Mapped:          15588 kB
Slab:           122120 kB
PageTables:       6580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1111820 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= 74116 MiB
End job on node107 at 2011-06-11 10:51:27