Trace number 2666627

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT (TO)51 1800.43 1800.94

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_2.opb
MD5SUMe4d0ce6c299ae1a05f607b170c68aad6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33
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 constraint26
Maximum length of a constraint46
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)15670
Sum of products size (including duplicates)31340
Number of different products15670
Sum of products size31340

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2666627-1276655599.opb>
0.10/0.19	c original problem has 16170 variables (16170 bin, 0 int, 0 impl, 0 cont) and 16170 constraints
0.10/0.19	c problem read
0.10/0.19	c presolving settings loaded
0.29/0.38	c presolving:
1.39/1.48	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 1054314 impls, 0 clqs
2.39/2.49	c    (2.0s) probing: 101/16170 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.49	c    (2.0s) probing aborted: 100/100 successive totally useless probings
2.39/2.49	c presolving (2 rounds):
2.39/2.49	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.49	c  1054314 implications, 0 cliques
2.39/2.49	c presolved problem has 16170 variables (16170 bin, 0 int, 0 impl, 0 cont) and 16170 constraints
2.39/2.49	c   15670 constraints of type <and>
2.39/2.49	c     500 constraints of type <logicor>
2.39/2.49	c transformed objective value is always integral (scale: 1)
2.39/2.49	c Presolving Time: 1.98
2.39/2.49	c - non default parameters ----------------------------------------------------------------------
2.39/2.49	c # SCIP version 1.2.1.2
2.39/2.49	c 
2.39/2.49	c # frequency for displaying node information lines
2.39/2.49	c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.49	c display/freq = 10000
2.39/2.49	c 
2.39/2.49	c # maximal time in seconds to run
2.39/2.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.49	c limits/time = 1799.82
2.39/2.49	c 
2.39/2.49	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.49	c limits/memory = 1620
2.39/2.49	c 
2.39/2.49	c # should presolving try to simplify inequalities
2.39/2.49	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.49	c constraints/linear/simplifyinequalities = TRUE
2.39/2.49	c 
2.39/2.49	c # should presolving try to simplify knapsacks
2.39/2.49	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.49	c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.49	c 
2.39/2.49	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
2.39/2.49	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.49	c heuristics/undercover/freq = 0
2.39/2.49	c 
2.39/2.49	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.49	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.49	c separating/rapidlearning/freq = 0
2.39/2.49	c 
2.39/2.49	c -----------------------------------------------------------------------------------------------
2.39/2.49	c start solving
2.49/2.51	c 
3.09/3.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.09/3.10	c   2.6s|     1 |     0 |  1000 |     - |  96M|   0 |1000 |  16k|  16k|  16k|  31k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.20/3.22	o 69
3.20/3.22	c s 2.7s|     1 |     0 |  1000 |     - |  96M|   0 |1000 |  16k|  16k|  16k|  31k|   0 |   0 |   0 | 0.000000e+00 | 6.900000e+01 |    Inf 
9.90/9.91	c   8.8s|     1 |     0 |  2500 |     - |  97M|   0 |1000 |  16k|  16k|  16k|  32k|1000 |   0 |   0 | 0.000000e+00 | 6.900000e+01 |    Inf 
9.99/10.03	o 68
9.99/10.03	c s 8.9s|     1 |     0 |  2500 |     - |  97M|   0 |1000 |  16k|  16k|  16k|  32k|1000 |   0 |   0 | 0.000000e+00 | 6.800000e+01 |    Inf 
15.29/15.33	c  14.0s|     1 |     0 |  4000 |     - |  98M|   0 |1000 |  16k|  16k|  16k|  33k|2003 |   0 |   0 | 0.000000e+00 | 6.800000e+01 |    Inf 
20.98/21.05	c  19.4s|     1 |     0 |  5501 |     - |  98M|   0 |1000 |  16k|  16k|  16k|  34k|3006 |   0 |   0 | 0.000000e+00 | 6.800000e+01 |    Inf 
21.08/21.19	o 58
21.08/21.19	c s19.6s|     1 |     0 |  5501 |     - |  98M|   0 |1000 |  16k|  16k|  16k|  34k|3006 |   0 |   0 | 0.000000e+00 | 5.800000e+01 |    Inf 
27.09/27.14	c  25.3s|     1 |     0 |  7001 |     - |  99M|   0 |1000 |  16k|  16k|  16k|  35k|4008 |   0 |   0 | 0.000000e+00 | 5.800000e+01 |    Inf 
27.19/27.27	o 52
27.19/27.27	c s25.4s|     1 |     0 |  7001 |     - |  99M|   0 |1000 |  16k|  16k|  16k|  35k|4008 |   0 |   0 | 0.000000e+00 | 5.200000e+01 |    Inf 
33.48/33.56	c  31.5s|     1 |     0 |  8501 |     - |  99M|   0 |1000 |  16k|  16k|  16k|  36k|5009 |   0 |   0 | 0.000000e+00 | 5.200000e+01 |    Inf 
33.59/33.69	o 51
33.59/33.69	c s31.6s|     1 |     0 |  8501 |     - |  99M|   0 |1000 |  16k|  16k|  16k|  36k|5009 |   0 |   0 | 0.000000e+00 | 5.100000e+01 |    Inf 
40.18/40.29	c  37.9s|     1 |     0 | 10003 |     - | 100M|   0 |1000 |  16k|  16k|  16k|  37k|6014 |   0 |   0 | 0.000000e+00 | 5.100000e+01 |    Inf 
46.38/46.42	c  43.9s|     1 |     2 | 10003 |     - | 100M|   0 |1000 |  16k|  16k|  16k|  37k|6014 |   0 |  20 | 0.000000e+00 | 5.100000e+01 |    Inf 
1800.09/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.63	c 
1800.09/1800.63	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.63	c Solving Time (sec) : 1773.17
1800.09/1800.63	c Solving Nodes      : 160
1800.09/1800.63	c Primal Bound       : +5.10000000000000e+01 (5 solutions)
1800.09/1800.63	c Dual Bound         : +9.75000000000000e+00
1800.09/1800.63	c Gap                : 423.08 %
1800.09/1800.66	s SATISFIABLE
1800.09/1800.66	v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
1800.09/1800.66	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 
1800.09/1800.66	v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 
1800.09/1800.66	v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 
1800.09/1800.66	v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 
1800.09/1800.66	v -x395 -x394 -x393 x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 
1800.09/1800.66	v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 
1800.09/1800.66	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 
1800.09/1800.66	v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 
1800.09/1800.66	v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 
1800.09/1800.66	v x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 
1800.09/1800.66	v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 
1800.09/1800.66	v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 
1800.09/1800.66	v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 
1800.09/1800.66	v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 
1800.09/1800.66	v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 
1800.09/1800.66	v x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 
1800.09/1800.66	v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 
1800.09/1800.66	v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.09/1800.66	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 
1800.09/1800.66	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 
1800.09/1800.66	v x53 -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 x27 x26 x25 
1800.09/1800.66	v x24 x23 x22 x21 x20 x19 x18 x17 x16 -x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 
1800.09/1800.66	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.66	c Solving Time       :    1773.17
1800.09/1800.66	c Original Problem   :
1800.09/1800.66	c   Problem name     : HOME/instance-2666627-1276655599.opb
1800.09/1800.66	c   Variables        : 16170 (16170 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.66	c   Constraints      : 16170 initial, 16170 maximal
1800.09/1800.66	c Presolved Problem  :
1800.09/1800.66	c   Problem name     : t_HOME/instance-2666627-1276655599.opb
1800.09/1800.66	c   Variables        : 16170 (16170 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.66	c   Constraints      : 16170 initial, 18951 maximal
1800.09/1800.66	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.66	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.09/1800.66	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.66	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.66	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.66	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.66	c   probing          :       0.69          0          0          0          0          0          0          0          0
1800.09/1800.66	c   and              :       1.11          0          0          0          0          0          0          0          0
1800.09/1800.66	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.09/1800.66	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.66	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.66	c   integral         :          0          0          0        160          0          0          0          0          0        320
1800.09/1800.66	c   and              :      15670        801      24582          0          0        426       4992     766157          0          0
1800.09/1800.66	c   logicor          :        500+         6      11539          0          0        672          0          0          0          0
1800.09/1800.66	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.66	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.66	c   integral         :     397.07       0.00       0.00     397.07       0.00
1800.09/1800.66	c   and              :      93.72      17.14      76.58       0.00       0.00
1800.09/1800.66	c   logicor          :       2.34       0.00       2.34       0.00       0.00
1800.09/1800.66	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.66	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.66	c   vbounds          :       0.04          2          0          0
1800.09/1800.66	c   rootredcost      :       0.01          1          0          0
1800.09/1800.66	c   pseudoobj        :       4.94      24534        133          0
1800.09/1800.66	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.66	c   propagation      :       0.88       1231       1231       7394       58.5          0        0.0          -
1800.09/1800.66	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.66	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.66	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.66	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.66	c   applied globally :          -          -          -       7355       58.5          -          -          -
1800.09/1800.66	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.09/1800.66	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.66	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 6014)
1800.09/1800.66	c   redcost          :       1.52        801          0          0          0          0
1800.09/1800.66	c   impliedbounds    :       0.10          6          0          0       6000          0
1800.09/1800.66	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.66	c   cgmip            :       0.00          0          0          0          0          0
1800.09/1800.66	c   gomory           :       2.19          6          0          0       3000          0
1800.09/1800.66	c   strongcg         :       2.23          6          0          0       3000          0
1800.09/1800.66	c   cmir             :      17.21          6          0          0       3000          0
1800.09/1800.66	c   flowcover        :       5.07          6          0          0          0          0
1800.09/1800.66	c   clique           :       1.37          6          0          0         14          0
1800.09/1800.66	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.66	c   mcf              :       0.06          1          0          0          0          0
1800.09/1800.66	c   rapidlearning    :       0.00          0          0          0          0          0
1800.09/1800.66	c Pricers            :       Time      Calls       Vars
1800.09/1800.66	c   problem variables:       0.00          0          0
1800.09/1800.66	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.66	c   relpscost        :     397.05        160          0          0          0          0        320
1800.09/1800.66	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.66	c   inference        :       0.00          0          0          0          0          0          0
1800.09/1800.66	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.66	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.66	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.66	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.66	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.66	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.66	c   LP solutions     :       0.00          -          0
1800.09/1800.66	c   pseudo solutions :       0.00          -          0
1800.09/1800.66	c   crossover        :       0.00          0          0
1800.09/1800.66	c   oneopt           :       0.14          5          0
1800.09/1800.66	c   trivial          :       0.07          2          0
1800.09/1800.66	c   simplerounding   :       0.00          0          0
1800.09/1800.66	c   zirounding       :       0.38        160          0
1800.09/1800.66	c   rounding         :       7.34        396          0
1800.09/1800.66	c   shifting         :       0.78          7          5
1800.09/1800.66	c   intshifting      :       0.00          0          0
1800.09/1800.66	c   twoopt           :       0.00          0          0
1800.09/1800.66	c   fixandinfer      :       0.00          0          0
1800.09/1800.66	c   feaspump         :       0.00          0          0
1800.09/1800.66	c   coefdiving       :      31.42          2          0
1800.09/1800.66	c   pscostdiving     :      60.44          2          0
1800.09/1800.66	c   fracdiving       :      49.39          3          0
1800.09/1800.66	c   veclendiving     :     107.88          7          0
1800.09/1800.66	c   intdiving        :       0.00          0          0
1800.09/1800.66	c   actconsdiving    :       0.00          0          0
1800.09/1800.66	c   objpscostdiving  :     193.83          3          0
1800.09/1800.66	c   rootsoldiving    :      21.87          3          0
1800.09/1800.66	c   linesearchdiving :     127.73          8          0
1800.09/1800.66	c   guideddiving     :     191.22         18          0
1800.09/1800.66	c   octane           :       0.00          0          0
1800.09/1800.66	c   rens             :       2.52          1          0
1800.09/1800.66	c   rins             :       0.00          0          0
1800.09/1800.66	c   localbranching   :       0.00          0          0
1800.09/1800.66	c   mutation         :       0.00          0          0
1800.09/1800.66	c   dins             :       0.00          0          0
1800.09/1800.66	c   undercover       :       0.03          1          0
1800.09/1800.66	c   nlp              :       0.00          0          0
1800.09/1800.66	c   trysol           :       0.00          0          0
1800.09/1800.66	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.66	c   primal LP        :       2.07          0          0       0.00       0.00
1800.09/1800.66	c   dual LP          :     506.79        960     304604     317.30     601.05
1800.09/1800.66	c   lex dual LP      :       0.00          0          0       0.00          -
1800.09/1800.66	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.66	c   diving/probing LP:     566.95      11000     199840      18.17     352.48
1800.09/1800.66	c   strong branching :     396.67       3240     169687      52.37     427.78
1800.09/1800.66	c     (at root node) :          -         20        951      47.55          -
1800.09/1800.66	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.66	c B&B Tree           :
1800.09/1800.66	c   number of runs   :          1
1800.09/1800.66	c   nodes            :        160
1800.09/1800.66	c   nodes (total)    :        160
1800.09/1800.66	c   nodes left       :        161
1800.09/1800.66	c   max depth        :          9
1800.09/1800.66	c   max depth (total):          9
1800.09/1800.66	c   backtracks       :         83 (51.9%)
1800.09/1800.66	c   delayed cutoffs  :          0
1800.09/1800.66	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.09/1800.66	c   avg switch length:       3.73
1800.09/1800.66	c   switching time   :       2.60
1800.09/1800.66	c Solution           :
1800.09/1800.66	c   Solutions found  :          5 (5 improvements)
1800.09/1800.67	c   First Solution   : +6.90000000000000e+01   (in run 1, after 1 nodes, 2.61 seconds, depth 0, found by <shifting>)
1800.09/1800.67	c   Primal Bound     : +5.10000000000000e+01   (in run 1, after 1 nodes, 31.52 seconds, depth 0, found by <shifting>)
1800.09/1800.67	c   Dual Bound       : +9.75000000000000e+00
1800.09/1800.67	c   Gap              :     423.08 %
1800.09/1800.67	c   Root Dual Bound  : +0.00000000000000e+00
1800.09/1800.67	c   Root Iterations  :      10003
1800.38/1800.94	c Time complete: 1800.42.

Verifier Data 

OK	51

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666627-1276655599/watcher-2666627-1276655599 -o /tmp/evaluation-result-2666627-1276655599/solver-2666627-1276655599 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666627-1276655599.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 0.85 0.97 1.06 3/106 7163
/proc/meminfo: memFree=1797676/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=7872 CPUtime=0
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 1048 0 0 0 0 0 0 0 20 0 1 0 39215273 8060928 968 1992294400 4194304 8223781 140737275894960 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7163/statm: 1968 978 348 984 0 981 0

[startup+0.0314021 s]
/proc/loadavg: 0.85 0.97 1.06 3/106 7163
/proc/meminfo: memFree=1797676/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=12352 CPUtime=0.02
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 2365 0 0 0 1 1 0 0 20 0 1 0 39215273 12648448 2285 1992294400 4194304 8223781 140737275894960 18446744073709551615 4325415 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7163/statm: 3088 2285 366 984 0 2101 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12352

[startup+0.101408 s]
/proc/loadavg: 0.85 0.97 1.06 3/106 7163
/proc/meminfo: memFree=1797676/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=18852 CPUtime=0.1
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 4013 0 0 0 8 2 0 0 20 0 1 0 39215273 19304448 3933 1992294400 4194304 8223781 140737275894960 18446744073709551615 4680120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7163/statm: 4713 3933 366 984 0 3726 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18852

[startup+0.301423 s]
/proc/loadavg: 0.85 0.97 1.06 3/106 7163
/proc/meminfo: memFree=1797676/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=50088 CPUtime=0.29
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 12164 0 0 0 24 5 0 0 20 0 1 0 39215273 51290112 11693 1992294400 4194304 8223781 140737275894960 18446744073709551615 4561481 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 12522 11693 403 984 0 11535 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50088

[startup+0.701455 s]
/proc/loadavg: 0.85 0.97 1.06 3/106 7163
/proc/meminfo: memFree=1797676/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=70668 CPUtime=0.69
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 16762 0 0 0 63 6 0 0 20 0 1 0 39215273 72364032 16291 1992294400 4194304 8223781 140737275894960 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 17667 16291 427 984 0 16680 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70668

[startup+1.50152 s]
/proc/loadavg: 0.85 0.97 1.06 2/107 7164
/proc/meminfo: memFree=1718184/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=97488 CPUtime=1.49
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 24375 0 0 0 131 18 0 0 23 0 1 0 39215273 99827712 23037 1992294400 4194304 8223781 140737275894960 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 24372 23037 447 984 0 23385 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97488

[startup+3.10165 s]
/proc/loadavg: 0.85 0.97 1.06 2/107 7164
/proc/meminfo: memFree=1704792/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=158204 CPUtime=3.09
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 40787 0 0 0 275 34 0 0 25 0 1 0 39215273 162000896 37259 1992294400 4194304 8223781 140737275894960 18446744073709551615 6090666 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 39551 37259 542 984 0 38564 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 158204

[startup+6.3009 s]
/proc/loadavg: 0.86 0.97 1.06 2/107 7164
/proc/meminfo: memFree=1649612/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=160080 CPUtime=6.29
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 108569 0 0 0 572 57 0 0 25 0 1 0 39215273 163921920 37412 1992294400 4194304 8223781 140737275894960 18446744073709551615 5716623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 40020 37412 558 984 0 39033 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 160080

[startup+12.7004 s]
/proc/loadavg: 0.87 0.97 1.06 2/107 7164
/proc/meminfo: memFree=1642296/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=168156 CPUtime=12.69
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 176804 0 0 0 1151 118 0 0 25 0 1 0 39215273 172191744 39167 1992294400 4194304 8223781 140737275894960 18446744073709551615 5716590 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 42039 39167 579 984 0 41052 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 168156

[startup+25.5014 s]
/proc/loadavg: 0.90 0.97 1.06 2/107 7164
/proc/meminfo: memFree=1637832/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=174228 CPUtime=25.48
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 317020 0 0 0 2381 167 0 0 25 0 1 0 39215273 178409472 40289 1992294400 4194304 8223781 140737275894960 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 43557 40289 579 984 0 42570 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 174228

[startup+51.1015 s]
/proc/loadavg: 0.93 0.97 1.06 2/107 7164
/proc/meminfo: memFree=1635228/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=175440 CPUtime=51.08
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 515467 0 0 0 4862 246 0 0 25 0 1 0 39215273 179650560 40908 1992294400 4194304 8223781 140737275894960 18446744073709551615 6448670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 43860 40908 577 984 0 42873 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175440

[startup+102.309 s]
/proc/loadavg: 0.97 0.97 1.05 2/107 7166
/proc/meminfo: memFree=1630640/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=180012 CPUtime=102.27
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 588893 0 0 0 9926 301 0 0 25 0 1 0 39215273 184332288 42041 1992294400 4194304 8223781 140737275894960 18446744073709551615 6446767 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 45003 42041 582 984 0 44016 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 180012

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 1.05 2/107 7168
/proc/meminfo: memFree=1627168/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=184756 CPUtime=162.24
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 680245 0 0 0 15855 369 0 0 25 0 1 0 39215273 189190144 42880 1992294400 4194304 8223781 140737275894960 18446744073709551615 6571358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 46189 42880 582 984 0 45202 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 184756

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 1.04 2/107 7170
/proc/meminfo: memFree=1623944/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=188716 CPUtime=222.23
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 756766 0 0 0 21800 423 0 0 25 0 1 0 39215273 193245184 43774 1992294400 4194304 8223781 140737275894960 18446744073709551615 6592379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 47179 43774 600 984 0 46192 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 188716

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 1.04 2/107 7170
/proc/meminfo: memFree=1622704/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=189372 CPUtime=282.21
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 852883 0 0 0 27732 489 0 0 25 0 1 0 39215273 193916928 43942 1992294400 4194304 8223781 140737275894960 18446744073709551615 6568118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 47343 43942 584 984 0 46356 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 189372

[startup+342.302 s]
/proc/loadavg: 1.08 1.00 1.04 2/107 7175
/proc/meminfo: memFree=1621340/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=190448 CPUtime=342.2
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 955426 0 0 0 33659 561 0 0 25 0 1 0 39215273 195018752 44184 1992294400 4194304 8223781 140737275894960 18446744073709551615 6514396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 47612 44184 584 984 0 46625 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 190448

[startup+402.301 s]
/proc/loadavg: 1.03 1.00 1.04 2/107 7177
/proc/meminfo: memFree=1619852/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=191488 CPUtime=402.18
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 1075483 0 0 0 39580 638 0 0 25 0 1 0 39215273 196083712 44543 1992294400 4194304 8223781 140737275894960 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 47872 44543 584 984 0 46885 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 191488

[startup+462.301 s]
/proc/loadavg: 1.01 1.00 1.03 2/107 7179
/proc/meminfo: memFree=1616132/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=195256 CPUtime=462.16
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 1151853 0 0 0 45526 690 0 0 25 0 1 0 39215273 199942144 45498 1992294400 4194304 8223781 140737275894960 18446744073709551615 6482738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 48814 45498 584 984 0 47827 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 195256

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 7181
/proc/meminfo: memFree=1614768/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=195612 CPUtime=522.15
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 1191133 0 0 0 51489 726 0 0 25 0 1 0 39215273 200306688 45798 1992294400 4194304 8223781 140737275894960 18446744073709551615 6563533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 48903 45798 584 984 0 47916 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 195612

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 7181
/proc/meminfo: memFree=1614768/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=195612 CPUtime=582.14
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 1218432 0 0 0 57459 755 0 0 25 0 1 0 39215273 200306688 45788 1992294400 4194304 8223781 140737275894960 18446744073709551615 6563049 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 48903 45788 584 984 0 47916 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 195612

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 7183
/proc/meminfo: memFree=1614768/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=195612 CPUtime=642.12
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 1242912 0 0 0 63426 786 0 0 25 0 1 0 39215273 200306688 45788 1992294400 4194304 8223781 140737275894960 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 48903 45788 584 984 0 47916 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 195612

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7191
/proc/meminfo: memFree=1611296/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=200204 CPUtime=942.03
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 2012754 0 0 0 92980 1223 0 0 25 0 1 0 39215273 205008896 46572 1992294400 4194304 8223781 140737275894960 18446744073709551615 6446805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50051 46572 584 984 0 49064 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 200204

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 7193
/proc/meminfo: memFree=1610924/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=199940 CPUtime=1002.01
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 2214403 0 0 0 98873 1328 0 0 25 0 1 0 39215273 204738560 46609 1992294400 4194304 8223781 140737275894960 18446744073709551615 6536494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 49985 46609 584 984 0 48998 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 199940

[startup+1062.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 7195
/proc/meminfo: memFree=1610676/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=201136 CPUtime=1061.99
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 2444236 0 0 0 104751 1448 0 0 25 0 1 0 39215273 205963264 46688 1992294400 4194304 8223781 140737275894960 18446744073709551615 6598515 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50284 46688 584 984 0 49297 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 201136

[startup+1122.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 7197
/proc/meminfo: memFree=1610924/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=200336 CPUtime=1121.97
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 2598190 0 0 0 110665 1532 0 0 25 0 1 0 39215273 205144064 46658 1992294400 4194304 8223781 140737275894960 18446744073709551615 6448527 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50084 46658 584 984 0 49097 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 200336

[startup+1182.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 7197
/proc/meminfo: memFree=1610552/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=200748 CPUtime=1181.96
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 2738395 0 0 0 116580 1616 0 0 25 0 1 0 39215273 205565952 46755 1992294400 4194304 8223781 140737275894960 18446744073709551615 6521464 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50187 46755 584 984 0 49200 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 200748

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 7199
/proc/meminfo: memFree=1610800/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=200528 CPUtime=1241.94
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 2944046 0 0 0 122471 1723 0 0 25 0 1 0 39215273 205340672 46684 1992294400 4194304 8223781 140737275894960 18446744073709551615 7257340 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50132 46684 584 984 0 49145 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 200528

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 7201
/proc/meminfo: memFree=1609064/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=201964 CPUtime=1301.93
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 3125458 0 0 0 128376 1817 0 0 25 0 1 0 39215273 206811136 47102 1992294400 4194304 8223781 140737275894960 18446744073709551615 6446882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50491 47102 584 984 0 49504 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 201964

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 7203
/proc/meminfo: memFree=1609312/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=202924 CPUtime=1361.91
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 3363363 0 0 0 134256 1935 0 0 25 0 1 0 39215273 207794176 47177 1992294400 4194304 8223781 140737275894960 18446744073709551615 6448661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50731 47177 584 984 0 49744 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 202924

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7205
/proc/meminfo: memFree=1609188/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=202160 CPUtime=1421.9
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 3526767 0 0 0 140162 2028 0 0 25 0 1 0 39215273 207011840 47094 1992294400 4194304 8223781 140737275894960 18446744073709551615 6520475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50540 47094 584 984 0 49553 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 202160

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7205
/proc/meminfo: memFree=1609188/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=202320 CPUtime=1481.88
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 3769277 0 0 0 146035 2153 0 0 25 0 1 0 39215273 207175680 47111 1992294400 4194304 8223781 140737275894960 18446744073709551615 6567161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50580 47111 584 984 0 49593 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 202320

[startup+1542.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 7207
/proc/meminfo: memFree=1609188/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=202596 CPUtime=1541.86
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 3972597 0 0 0 151925 2261 0 0 25 0 1 0 39215273 207458304 47163 1992294400 4194304 8223781 140737275894960 18446744073709551615 6448683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50649 47163 584 984 0 49662 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 202596

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 7209
/proc/meminfo: memFree=1608816/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=202784 CPUtime=1601.85
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 4184135 0 0 0 157814 2371 0 0 25 0 1 0 39215273 207650816 47223 1992294400 4194304 8223781 140737275894960 18446744073709551615 6448661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50696 47223 584 984 0 49709 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 202784

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 7212
/proc/meminfo: memFree=1607196/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=202732 CPUtime=1661.82
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 4341822 0 0 0 163723 2459 0 0 25 0 1 0 39215273 207597568 47498 1992294400 4194304 8223781 140737275894960 18446744073709551615 6592535 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7163/statm: 50683 47498 584 984 0 49696 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 202732

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7222
/proc/meminfo: memFree=1608568/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=201976 CPUtime=1721.8
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 4537287 0 0 0 169612 2568 0 0 25 0 1 0 39215273 206823424 47149 1992294400 4194304 8223781 140737275894960 18446744073709551615 6448663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50494 47149 584 984 0 49507 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 201976

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7222
/proc/meminfo: memFree=1608444/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=202704 CPUtime=1781.79
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 4657432 0 0 0 175534 2645 0 0 25 0 1 0 39215273 207568896 47264 1992294400 4194304 8223781 140737275894960 18446744073709551615 6359580 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50676 47264 584 984 0 49689 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 202704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7224
/proc/meminfo: memFree=1608568/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=202504 CPUtime=1800.09
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 4721656 0 0 0 177332 2677 0 0 25 0 1 0 39215273 207364096 47199 1992294400 4194304 8223781 140737275894960 18446744073709551615 6592449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7163/statm: 50626 47199 584 984 0 49639 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 202504

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7224
/proc/meminfo: memFree=1608568/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=194452 CPUtime=1800.28
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 4722424 0 0 0 177350 2678 0 0 25 0 1 0 39215273 199118848 45348 1992294400 4194304 8223781 140737275894960 18446744073709551615 4382129 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7163/statm: 48613 45348 586 984 0 47626 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 194452

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7224
/proc/meminfo: memFree=1608568/2059040 swapFree=4136680/4192956
[pid=7163] ppid=7161 vsize=162704 CPUtime=1800.38
/proc/7163/stat : 7163 (pbscip.linux.x8) R 7161 7163 7138 0 -1 4202496 4722424 0 0 0 177359 2679 0 0 25 0 1 0 39215273 166608896 37917 1992294400 4194304 8223781 140737275894960 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7163/statm: 40306 37880 586 984 0 39319 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 162704

Child status: 0
Real time (s): 1800.94
CPU time (s): 1800.43
CPU user time (s): 1773.62
CPU system time (s): 26.8109
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 259172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.62
system time used= 26.8109
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4722428
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 4625

runsolver used 2.94455 second user time and 8.5397 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-16 04:33:19
IDJOB=2666627
IDBENCH=48140
IDSOLVER=1169
FILE ID=node026/2666627-1276655599
PBS_JOBID= 11172466
Free space on /tmp= 62560 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666627-1276655599/watcher-2666627-1276655599 -o /tmp/evaluation-result-2666627-1276655599/solver-2666627-1276655599 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666627-1276655599.opb -t 1800 -m 1800

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

MD5SUM BENCH= e4d0ce6c299ae1a05f607b170c68aad6
RANDOM SEED=978857034

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1798204 kB
Buffers:         46640 kB
Cached:         122348 kB
SwapCached:       9808 kB
Active:          93760 kB
Inactive:        88484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1798204 kB
SwapTotal:     4192956 kB
SwapFree:      4136680 kB
Dirty:            4844 kB
Writeback:           0 kB
AnonPages:       11516 kB
Mapped:           9304 kB
Slab:            56880 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180696 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62556 MiB
End job on node026 at 2010-06-16 05:03:21