Trace number 2666599

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)48 1802.14 1802.84

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_1.opb
MD5SUM93a95f0846e71f0984a2317cf811edef
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark1800.55
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
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 constraint49
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)15716
Sum of products size (including duplicates)31432
Number of different products15716
Sum of products size31432

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-2666599-1276652242.opb>
0.09/0.19	c original problem has 16216 variables (16216 bin, 0 int, 0 impl, 0 cont) and 16216 constraints
0.09/0.19	c problem read
0.09/0.19	c presolving settings loaded
0.29/0.38	c presolving:
1.49/1.50	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 1060856 impls, 0 clqs
2.49/2.53	c    (2.0s) probing: 101/16216 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.49/2.53	c    (2.0s) probing aborted: 100/100 successive totally useless probings
2.49/2.53	c presolving (2 rounds):
2.49/2.53	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.49/2.53	c  1060856 implications, 0 cliques
2.49/2.53	c presolved problem has 16216 variables (16216 bin, 0 int, 0 impl, 0 cont) and 16216 constraints
2.49/2.53	c   15716 constraints of type <and>
2.49/2.53	c     500 constraints of type <logicor>
2.49/2.53	c transformed objective value is always integral (scale: 1)
2.49/2.53	c Presolving Time: 1.99
2.49/2.53	c - non default parameters ----------------------------------------------------------------------
2.49/2.53	c # SCIP version 1.2.1.2
2.49/2.53	c 
2.49/2.53	c # frequency for displaying node information lines
2.49/2.53	c # [type: int, range: [-1,2147483647], default: 100]
2.49/2.53	c display/freq = 10000
2.49/2.53	c 
2.49/2.53	c # maximal time in seconds to run
2.49/2.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.53	c limits/time = 1799.82
2.49/2.53	c 
2.49/2.53	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.49/2.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.53	c limits/memory = 1620
2.49/2.53	c 
2.49/2.53	c # should presolving try to simplify inequalities
2.49/2.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.53	c constraints/linear/simplifyinequalities = TRUE
2.49/2.53	c 
2.49/2.53	c # should presolving try to simplify knapsacks
2.49/2.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.53	c constraints/knapsack/simplifyinequalities = TRUE
2.49/2.53	c 
2.49/2.53	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
2.49/2.53	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.53	c heuristics/undercover/freq = 0
2.49/2.53	c 
2.49/2.53	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.49/2.53	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.53	c separating/rapidlearning/freq = 0
2.49/2.53	c 
2.49/2.53	c -----------------------------------------------------------------------------------------------
2.49/2.53	c start solving
2.49/2.54	c 
3.09/3.14	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.24	c   2.6s|     1 |     0 |  1000 |     - |  96M|   0 |1000 |  16k|  16k|  16k|  31k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.09/3.25	o 64
3.09/3.25	c s 2.7s|     1 |     0 |  1000 |     - |  97M|   0 |1000 |  16k|  16k|  16k|  31k|   0 |   0 |   0 | 0.000000e+00 | 6.400000e+01 |    Inf 
9.89/9.95	c   8.8s|     1 |     0 |  2500 |     - |  97M|   0 |1000 |  16k|  16k|  16k|  32k|1001 |   0 |   0 | 0.000000e+00 | 6.400000e+01 |    Inf 
15.50/15.59	c  14.2s|     1 |     0 |  4000 |     - |  98M|   0 |1000 |  16k|  16k|  16k|  33k|2003 |   0 |   0 | 0.000000e+00 | 6.400000e+01 |    Inf 
15.69/15.71	o 61
15.69/15.71	c s14.3s|     1 |     0 |  4000 |     - |  98M|   0 |1000 |  16k|  16k|  16k|  33k|2003 |   0 |   0 | 0.000000e+00 | 6.100000e+01 |    Inf 
21.28/21.35	c  19.7s|     1 |     0 |  5500 |     - |  98M|   0 |1000 |  16k|  16k|  16k|  34k|3007 |   0 |   0 | 0.000000e+00 | 6.100000e+01 |    Inf 
21.38/21.48	o 51
21.38/21.48	c s19.8s|     1 |     0 |  5500 |     - |  99M|   0 |1000 |  16k|  16k|  16k|  34k|3007 |   0 |   0 | 0.000000e+00 | 5.100000e+01 |    Inf 
27.38/27.42	c  25.5s|     1 |     0 |  7000 |     - |  99M|   0 |1000 |  16k|  16k|  16k|  35k|4007 |   0 |   0 | 0.000000e+00 | 5.100000e+01 |    Inf 
27.48/27.55	o 49
27.48/27.55	c s25.6s|     1 |     0 |  7000 |     - |  99M|   0 |1000 |  16k|  16k|  16k|  35k|4007 |   0 |   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
33.78/33.86	c  31.7s|     1 |     0 |  8500 |     - | 100M|   0 |1000 |  16k|  16k|  16k|  36k|5008 |   0 |   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
33.88/33.99	o 48
33.88/33.99	c s31.9s|     1 |     0 |  8500 |     - | 100M|   0 |1000 |  16k|  16k|  16k|  36k|5008 |   0 |   0 | 0.000000e+00 | 4.800000e+01 |    Inf 
40.59/40.64	c  38.3s|     1 |     0 | 10001 |     - | 100M|   0 |1000 |  16k|  16k|  16k|  37k|6013 |   0 |   0 | 0.000000e+00 | 4.800000e+01 |    Inf 
46.29/46.38	c  43.8s|     1 |     2 | 10001 |     - | 100M|   0 |1000 |  16k|  16k|  16k|  37k|6013 |   0 |  17 | 0.000000e+00 | 4.800000e+01 |    Inf 
1800.11/1800.81	c pressed CTRL-C 1 times (5 times for forcing termination)
1802.00/1802.76	c 
1802.00/1802.76	c SCIP Status        : solving was interrupted [user interrupt]
1802.00/1802.76	c Solving Time (sec) : 1778.36
1802.00/1802.76	c Solving Nodes      : 127
1802.00/1802.76	c Primal Bound       : +4.80000000000000e+01 (5 solutions)
1802.00/1802.76	c Dual Bound         : +9.75000000000000e+00
1802.00/1802.76	c Gap                : 392.31 %
1802.09/1802.80	s SATISFIABLE
1802.09/1802.80	v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 
1802.09/1802.80	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 
1802.09/1802.80	v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 
1802.09/1802.80	v x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 
1802.09/1802.80	v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 
1802.09/1802.80	v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 
1802.09/1802.80	v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 
1802.09/1802.80	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 
1802.09/1802.80	v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 
1802.09/1802.80	v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 
1802.09/1802.80	v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 
1802.09/1802.80	v -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 
1802.09/1802.80	v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 
1802.09/1802.80	v -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 
1802.09/1802.80	v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 
1802.09/1802.80	v -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 
1802.09/1802.80	v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 
1802.09/1802.80	v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 
1802.09/1802.80	v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 
1802.09/1802.80	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 
1802.09/1802.80	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 
1802.09/1802.80	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 x27 x26 
1802.09/1802.80	v 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 
1802.09/1802.80	c SCIP Status        : solving was interrupted [user interrupt]
1802.09/1802.80	c Solving Time       :    1778.36
1802.09/1802.80	c Original Problem   :
1802.09/1802.80	c   Problem name     : HOME/instance-2666599-1276652242.opb
1802.09/1802.80	c   Variables        : 16216 (16216 binary, 0 integer, 0 implicit integer, 0 continuous)
1802.09/1802.80	c   Constraints      : 16216 initial, 16216 maximal
1802.09/1802.80	c Presolved Problem  :
1802.09/1802.80	c   Problem name     : t_HOME/instance-2666599-1276652242.opb
1802.09/1802.80	c   Variables        : 16216 (16216 binary, 0 integer, 0 implicit integer, 0 continuous)
1802.09/1802.80	c   Constraints      : 16216 initial, 19245 maximal
1802.09/1802.80	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1802.09/1802.80	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1802.09/1802.80	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1802.09/1802.80	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1802.09/1802.80	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1802.09/1802.80	c   implics          :       0.01          0          0          0          0          0          0          0          0
1802.09/1802.80	c   probing          :       0.70          0          0          0          0          0          0          0          0
1802.09/1802.80	c   and              :       1.12          0          0          0          0          0          0          0          0
1802.09/1802.80	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1802.09/1802.80	c   root node        :          -          0          -          -          0          -          -          -          -
1802.09/1802.80	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1802.09/1802.80	c   integral         :          0          0          0        127          0          0          0          0          0        254
1802.09/1802.80	c   and              :      15716        636      22086          0          0        361       3983     639904          0          0
1802.09/1802.80	c   logicor          :        500+         6      10607          0          0        650          0          0          0          0
1802.09/1802.80	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1802.09/1802.80	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1802.09/1802.80	c   integral         :     299.21       0.00       0.00     299.21       0.00
1802.09/1802.80	c   and              :      82.69      14.01      68.68       0.00       0.00
1802.09/1802.80	c   logicor          :       2.17       0.00       2.17       0.00       0.00
1802.09/1802.80	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1802.09/1802.80	c Propagators        :       Time      Calls    Cutoffs    DomReds
1802.09/1802.80	c   vbounds          :       0.05          2          0          0
1802.09/1802.80	c   rootredcost      :       0.06          1          0          0
1802.09/1802.80	c   pseudoobj        :       5.07      22036        138          0
1802.09/1802.80	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1802.09/1802.80	c   propagation      :       0.82       1149       1149       7326       55.6          0        0.0          -
1802.09/1802.80	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1802.09/1802.80	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1802.09/1802.80	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1802.09/1802.80	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1802.09/1802.80	c   applied globally :          -          -          -       6969       55.3          -          -          -
1802.09/1802.80	c   applied locally  :          -          -          -          0        0.0          -          -          -
1802.09/1802.80	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1802.09/1802.80	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 6013)
1802.09/1802.80	c   redcost          :       1.29        636          0          0          0          0
1802.09/1802.80	c   impliedbounds    :       0.09          6          0          0       6000          0
1802.09/1802.80	c   intobj           :       0.00          0          0          0          0          0
1802.09/1802.80	c   cgmip            :       0.00          0          0          0          0          0
1802.09/1802.80	c   gomory           :       2.20          6          0          0       3000          0
1802.09/1802.80	c   strongcg         :       2.23          6          0          0       3000          0
1802.09/1802.80	c   cmir             :      17.45          6          0          0       3000          0
1802.09/1802.80	c   flowcover        :       5.15          6          0          0          0          0
1802.09/1802.80	c   clique           :       1.38          6          0          0         13          0
1802.09/1802.80	c   zerohalf         :       0.00          0          0          0          0          0
1802.09/1802.80	c   mcf              :       0.07          1          0          0          0          0
1802.09/1802.80	c   rapidlearning    :       0.00          0          0          0          0          0
1802.09/1802.80	c Pricers            :       Time      Calls       Vars
1802.09/1802.80	c   problem variables:       0.00          0          0
1802.09/1802.80	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1802.09/1802.80	c   relpscost        :     299.21        127          0          0          0          0        254
1802.09/1802.80	c   pscost           :       0.00          0          0          0          0          0          0
1802.09/1802.80	c   inference        :       0.00          0          0          0          0          0          0
1802.09/1802.80	c   mostinf          :       0.00          0          0          0          0          0          0
1802.09/1802.80	c   leastinf         :       0.00          0          0          0          0          0          0
1802.09/1802.80	c   fullstrong       :       0.00          0          0          0          0          0          0
1802.09/1802.80	c   allfullstrong    :       0.00          0          0          0          0          0          0
1802.09/1802.80	c   random           :       0.00          0          0          0          0          0          0
1802.09/1802.80	c Primal Heuristics  :       Time      Calls      Found
1802.09/1802.80	c   LP solutions     :       0.00          -          0
1802.09/1802.80	c   pseudo solutions :       0.00          -          0
1802.09/1802.80	c   crossover        :       0.00          0          0
1802.09/1802.80	c   oneopt           :       0.13          5          0
1802.09/1802.80	c   guideddiving     :     156.61         12          0
1802.09/1802.80	c   trivial          :       0.06          2          0
1802.09/1802.80	c   simplerounding   :       0.00          0          0
1802.09/1802.80	c   zirounding       :       0.23        127          0
1802.09/1802.80	c   rounding         :       5.85        342          0
1802.09/1802.80	c   shifting         :       0.78          7          5
1802.09/1802.80	c   intshifting      :       0.00          0          0
1802.09/1802.80	c   twoopt           :       0.00          0          0
1802.09/1802.80	c   fixandinfer      :       0.00          0          0
1802.09/1802.80	c   feaspump         :       0.00          0          0
1802.09/1802.80	c   coefdiving       :      25.53          2          0
1802.09/1802.80	c   pscostdiving     :      54.10          2          0
1802.09/1802.80	c   fracdiving       :      77.70          3          0
1802.09/1802.80	c   veclendiving     :      82.22          6          0
1802.09/1802.80	c   intdiving        :       0.00          0          0
1802.09/1802.80	c   actconsdiving    :       0.00          0          0
1802.09/1802.80	c   objpscostdiving  :     481.37          1          0
1802.09/1802.80	c   rootsoldiving    :      14.42          2          0
1802.09/1802.80	c   linesearchdiving :     110.75          7          0
1802.09/1802.80	c   octane           :       0.00          0          0
1802.09/1802.80	c   rens             :       2.54          1          0
1802.09/1802.80	c   rins             :       0.00          0          0
1802.09/1802.80	c   localbranching   :       0.00          0          0
1802.09/1802.80	c   mutation         :       0.00          0          0
1802.09/1802.80	c   dins             :       0.00          0          0
1802.09/1802.80	c   undercover       :       0.03          1          0
1802.09/1802.80	c   nlp              :       0.00          0          0
1802.09/1802.80	c   trysol           :       0.00          0          0
1802.09/1802.80	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1802.09/1802.80	c   primal LP        :       1.76          0          0       0.00       0.00
1802.09/1802.80	c   dual LP          :     399.76        763     242538     317.87     606.71
1802.09/1802.80	c   lex dual LP      :       0.00          0          0       0.00          -
1802.09/1802.80	c   barrier LP       :       0.00          0          0       0.00          -
1802.09/1802.80	c   diving/probing LP:     795.65      11058     276711      25.02     347.78
1802.09/1802.80	c   strong branching :     298.84       2625     124432      47.40     416.38
1802.09/1802.80	c     (at root node) :          -         17        855      50.29          -
1802.09/1802.80	c   conflict analysis:       0.00          0          0       0.00          -
1802.09/1802.80	c B&B Tree           :
1802.09/1802.80	c   number of runs   :          1
1802.09/1802.80	c   nodes            :        127
1802.09/1802.80	c   nodes (total)    :        127
1802.09/1802.80	c   nodes left       :        128
1802.09/1802.80	c   max depth        :          9
1802.09/1802.80	c   max depth (total):          9
1802.09/1802.80	c   backtracks       :         74 (58.3%)
1802.09/1802.80	c   delayed cutoffs  :          0
1802.09/1802.80	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1802.09/1802.80	c   avg switch length:       4.52
1802.09/1802.80	c   switching time   :       2.23
1802.09/1802.80	c Solution           :
1802.09/1802.80	c   Solutions found  :          5 (5 improvements)
1802.09/1802.80	c   First Solution   : +6.40000000000000e+01   (in run 1, after 1 nodes, 2.61 seconds, depth 0, found by <shifting>)
1802.09/1802.80	c   Primal Bound     : +4.80000000000000e+01   (in run 1, after 1 nodes, 31.76 seconds, depth 0, found by <shifting>)
1802.09/1802.80	c   Dual Bound       : +9.75000000000000e+00
1802.09/1802.80	c   Gap              :     392.31 %
1802.09/1802.80	c   Root Dual Bound  : +0.00000000000000e+00
1802.09/1802.80	c   Root Iterations  :      10001

Verifier Data 

OK	48

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666599-1276652242/watcher-2666599-1276652242 -o /tmp/evaluation-result-2666599-1276652242/solver-2666599-1276652242 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666599-1276652242.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.92 0.98 0.99 3/106 13554
/proc/meminfo: memFree=1614648/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=7872 CPUtime=0
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 1033 0 0 0 0 0 0 0 20 0 1 0 6517100 8060928 953 1992294400 4194304 8223781 140737304482992 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13554/statm: 1968 962 348 984 0 981 0

[startup+0.100864 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13554
/proc/meminfo: memFree=1614648/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=18804 CPUtime=0.09
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 4010 0 0 0 8 1 0 0 20 0 1 0 6517100 19255296 3930 1992294400 4194304 8223781 140737304482992 18446744073709551615 6641292 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13554/statm: 4701 3930 366 984 0 3714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18804

[startup+0.200874 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13554
/proc/meminfo: memFree=1614648/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=28908 CPUtime=0.19
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 6833 0 0 0 17 2 0 0 20 0 1 0 6517100 29601792 6389 1992294400 4194304 8223781 140737304482992 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 7227 6393 381 984 0 6240 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28908

[startup+0.300883 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13554
/proc/meminfo: memFree=1614648/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=50076 CPUtime=0.29
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 12148 0 0 0 24 5 0 0 20 0 1 0 6517100 51277824 11689 1992294400 4194304 8223781 140737304482992 18446744073709551615 4561378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 12519 11689 403 984 0 11532 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50076

[startup+0.700922 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13554
/proc/meminfo: memFree=1614648/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=70736 CPUtime=0.69
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 16784 0 0 0 62 7 0 0 21 0 1 0 6517100 72433664 16325 1992294400 4194304 8223781 140737304482992 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 17684 16325 427 984 0 16697 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70736

[startup+1.501 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 13555
/proc/meminfo: memFree=1531560/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=98596 CPUtime=1.49
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 24632 0 0 0 129 20 0 0 23 0 1 0 6517100 100962304 23306 1992294400 4194304 8223781 140737304482992 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 24649 23306 447 984 0 23662 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98596

[startup+3.10116 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 13555
/proc/meminfo: memFree=1519656/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=157880 CPUtime=3.09
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 40690 0 0 0 272 37 0 0 25 0 1 0 6517100 161669120 37185 1992294400 4194304 8223781 140737304482992 18446744073709551615 6248430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 39470 37185 538 984 0 38483 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 157880

[startup+6.30147 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 13555
/proc/meminfo: memFree=1465468/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=161240 CPUtime=6.29
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 108908 0 0 0 571 58 0 0 25 0 1 0 6517100 165109760 37708 1992294400 4194304 8223781 140737304482992 18446744073709551615 5716590 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 40310 37708 561 984 0 39323 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 161240

[startup+12.7011 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 13555
/proc/meminfo: memFree=1457904/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=170420 CPUtime=12.69
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 177189 0 0 0 1144 125 0 0 25 0 1 0 6517100 174510080 39742 1992294400 4194304 8223781 140737304482992 18446744073709551615 5719189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 42605 39742 580 984 0 41618 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 170420

[startup+25.5094 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13557
/proc/meminfo: memFree=1453564/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=176004 CPUtime=25.49
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 317130 0 0 0 2378 171 0 0 25 0 1 0 6517100 180228096 40571 1992294400 4194304 8223781 140737304482992 18446744073709551615 5743084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 44001 40571 576 984 0 43014 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 176004

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13557
/proc/meminfo: memFree=1451084/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=175404 CPUtime=51.08
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 513338 0 0 0 4864 244 0 0 25 0 1 0 6517100 179613696 41145 1992294400 4194304 8223781 140737304482992 18446744073709551615 6564972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 43851 41145 576 984 0 42864 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175404

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13559
/proc/meminfo: memFree=1449596/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=178576 CPUtime=102.27
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 595993 0 0 0 9927 300 0 0 25 0 1 0 6517100 182861824 41511 1992294400 4194304 8223781 140737304482992 18446744073709551615 6567127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 44644 41511 577 984 0 43657 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 178576

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13559
/proc/meminfo: memFree=1443272/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=185528 CPUtime=162.25
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 713428 0 0 0 15847 378 0 0 25 0 1 0 6517100 189980672 43051 1992294400 4194304 8223781 140737304482992 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 46382 43051 581 984 0 45395 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 185528

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13561
/proc/meminfo: memFree=1438684/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=189728 CPUtime=222.25
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 795836 0 0 0 21793 432 0 0 25 0 1 0 6517100 194281472 44194 1992294400 4194304 8223781 140737304482992 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 47432 44194 583 984 0 46445 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 189728

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13563
/proc/meminfo: memFree=1438560/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=189800 CPUtime=282.22
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 887539 0 0 0 27730 492 0 0 25 0 1 0 6517100 194355200 44219 1992294400 4194304 8223781 140737304482992 18446744073709551615 6563074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 47450 44219 583 984 0 46463 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 189800

[startup+342.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13565
/proc/meminfo: memFree=1437940/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=189984 CPUtime=342.21
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 912695 0 0 0 33699 522 0 0 25 0 1 0 6517100 194543616 44378 1992294400 4194304 8223781 140737304482992 18446744073709551615 6563306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 47496 44378 583 984 0 46509 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 189984

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13567
/proc/meminfo: memFree=1437692/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=189992 CPUtime=402.19
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 939913 0 0 0 39671 548 0 0 25 0 1 0 6517100 194551808 44421 1992294400 4194304 8223781 140737304482992 18446744073709551615 6611759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 47498 44421 583 984 0 46511 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 189992

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13567
/proc/meminfo: memFree=1437196/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=190376 CPUtime=462.18
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 961130 0 0 0 45643 575 0 0 25 0 1 0 6517100 194945024 44529 1992294400 4194304 8223781 140737304482992 18446744073709551615 6612726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 47594 44529 583 984 0 46607 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 190376

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13569
/proc/meminfo: memFree=1437196/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=190376 CPUtime=522.16
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 981579 0 0 0 51617 599 0 0 25 0 1 0 6517100 194945024 44513 1992294400 4194304 8223781 140737304482992 18446744073709551615 6563023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 47594 44513 583 984 0 46607 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 190376

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13571
/proc/meminfo: memFree=1437196/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=190376 CPUtime=582.15
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 999519 0 0 0 57586 629 0 0 25 0 1 0 6517100 194945024 44518 1992294400 4194304 8223781 140737304482992 18446744073709551615 6563023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 47594 44518 583 984 0 46607 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 190376

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13573
/proc/meminfo: memFree=1437072/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=190376 CPUtime=642.13
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 1017377 0 0 0 63558 655 0 0 25 0 1 0 6517100 194945024 44523 1992294400 4194304 8223781 140737304482992 18446744073709551615 6563036 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 47594 44523 583 984 0 46607 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 190376

[startup+702.301 s]

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

/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 1530848 0 0 0 99200 1005 0 0 25 0 1 0 6517100 201105408 45773 1992294400 4194304 8223781 140737304482992 18446744073709551615 6565121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 49098 45773 583 984 0 48111 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 196392

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13583
/proc/meminfo: memFree=1431616/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=196992 CPUtime=1062.03
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 1683121 0 0 0 105109 1094 0 0 25 0 1 0 6517100 201719808 45887 1992294400 4194304 8223781 140737304482992 18446744073709551615 6250747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 49248 45887 583 984 0 48261 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 196992

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13585
/proc/meminfo: memFree=1430128/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=197132 CPUtime=1122.01
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 1854058 0 0 0 111017 1184 0 0 25 0 1 0 6517100 201863168 46156 1992294400 4194304 8223781 140737304482992 18446744073709551615 4677718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 49283 46156 583 984 0 48296 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 197132

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13587
/proc/meminfo: memFree=1429012/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=200576 CPUtime=1182
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 2063161 0 0 0 116915 1285 0 0 25 0 1 0 6517100 205389824 46543 1992294400 4194304 8223781 140737304482992 18446744073709551615 6589953 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50144 46543 583 984 0 49157 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 200576

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13589
/proc/meminfo: memFree=1428392/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=200264 CPUtime=1241.98
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 2217907 0 0 0 122830 1368 0 0 25 0 1 0 6517100 205070336 46616 1992294400 4194304 8223781 140737304482992 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50066 46616 583 984 0 49079 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 200264

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13591
/proc/meminfo: memFree=1426160/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=202128 CPUtime=1301.96
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 2450491 0 0 0 128718 1478 0 0 25 0 1 0 6517100 206979072 47083 1992294400 4194304 8223781 140737304482992 18446744073709551615 6591304 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50532 47083 583 984 0 49545 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 202128

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13591
/proc/meminfo: memFree=1426036/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=202304 CPUtime=1361.95
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 2650781 0 0 0 134606 1589 0 0 25 0 1 0 6517100 207159296 47122 1992294400 4194304 8223781 140737304482992 18446744073709551615 6567106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50576 47122 583 984 0 49589 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 202304

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13602
/proc/meminfo: memFree=1426160/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=201456 CPUtime=1421.91
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 2862116 0 0 0 140490 1701 0 0 25 0 1 0 6517100 206290944 47004 1992294400 4194304 8223781 140737304482992 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50364 47004 583 984 0 49377 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 201456

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/112 13956
/proc/meminfo: memFree=1419596/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=203684 CPUtime=1481.71
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 3067287 0 0 0 146362 1809 0 0 25 0 1 0 6517100 208572416 47485 1992294400 4194304 8223781 140737304482992 18446744073709551615 6328715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50921 47485 583 984 0 49934 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 203684

[startup+1542.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 14106
/proc/meminfo: memFree=1420968/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=201944 CPUtime=1541.67
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 3205604 0 0 0 152276 1891 0 0 25 0 1 0 6517100 206790656 47119 1992294400 4194304 8223781 140737304482992 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50486 47119 583 984 0 49499 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 201944

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 14108
/proc/meminfo: memFree=1420720/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=201952 CPUtime=1601.64
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 3425947 0 0 0 158160 2004 0 0 25 0 1 0 6517100 206798848 47153 1992294400 4194304 8223781 140737304482992 18446744073709551615 6568359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50488 47153 583 984 0 49501 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 201952

[startup+1662.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14108
/proc/meminfo: memFree=1419976/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=203312 CPUtime=1661.64
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 3675118 0 0 0 164040 2124 0 0 25 0 1 0 6517100 208191488 47413 1992294400 4194304 8223781 140737304482992 18446744073709551615 6536473 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50828 47413 583 984 0 49841 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 203312

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14110
/proc/meminfo: memFree=1419976/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=201060 CPUtime=1721.61
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 3886698 0 0 0 169926 2235 0 0 25 0 1 0 6517100 205885440 47279 1992294400 4194304 8223781 140737304482992 18446744073709551615 6591942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50265 47279 583 984 0 49278 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 201060

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14112
/proc/meminfo: memFree=1419232/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=203404 CPUtime=1781.6
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 4058018 0 0 0 175831 2329 0 0 25 0 1 0 6517100 208285696 47580 1992294400 4194304 8223781 140737304482992 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50851 47580 583 984 0 49864 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 203404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14112
/proc/meminfo: memFree=1419976/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=203248 CPUtime=1800.11
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 4106610 0 0 0 177658 2353 0 0 25 0 1 0 6517100 208125952 47410 1992294400 4194304 8223781 140737304482992 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50812 47410 583 984 0 49825 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 203248

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13554

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

[startup+1801.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14112
/proc/meminfo: memFree=1419976/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=203292 CPUtime=1800.89
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 4107323 0 0 0 177736 2353 0 0 25 0 1 0 6517100 208171008 47428 1992294400 4194304 8223781 140737304482992 18446744073709551615 6358932 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50823 47428 583 984 0 49836 0
Current children cumulated CPU time (s) 1800.89
Current children cumulated vsize (KiB) 203292

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14113
/proc/meminfo: memFree=1419596/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=203368 CPUtime=1801.7
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 4108622 0 0 0 177816 2354 0 0 25 0 1 0 6517100 208248832 47428 1992294400 4194304 8223781 140737304482992 18446744073709551615 6568395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13554/statm: 50842 47428 583 984 0 49855 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 203368

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14113
/proc/meminfo: memFree=1419596/2059040 swapFree=4192956/4192956
[pid=13554] ppid=13552 vsize=203344 CPUtime=1802.09
/proc/13554/stat : 13554 (pbscip.linux.x8) R 13552 13554 12809 0 -1 4202496 4109284 0 0 0 177855 2354 0 0 25 0 1 0 6517100 208224256 47477 1992294400 4194304 8223781 140737304482992 18446744073709551615 4201928 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13554/statm: 50836 47477 583 984 0 49849 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 203344

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.84
CPU time (s): 1802.14
CPU user time (s): 1778.57
CPU system time (s): 23.5654
CPU usage (%): 99.9612
Max. virtual memory (cumulated for all children) (KiB): 260584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.57
system time used= 23.5654
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4109626
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= 7957

runsolver used 3.04554 second user time and 8.46171 second system time

The end

Launcher Data 

Begin job on node036 at 2010-06-16 03:37:22
IDJOB=2666599
IDBENCH=48112
IDSOLVER=1169
FILE ID=node036/2666599-1276652242
PBS_JOBID= 11172433
Free space on /tmp= 62524 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_1.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-2666599-1276652242/watcher-2666599-1276652242 -o /tmp/evaluation-result-2666599-1276652242/solver-2666599-1276652242 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666599-1276652242.opb -t 1800 -m 1800

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

MD5SUM BENCH= 93a95f0846e71f0984a2317cf811edef
RANDOM SEED=465384588

node036.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.251
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.50
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.251
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1615176 kB
Buffers:         83124 kB
Cached:         219964 kB
SwapCached:          0 kB
Active:         153092 kB
Inactive:       209488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1615176 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4772 kB
Writeback:           0 kB
AnonPages:       59444 kB
Mapped:          15448 kB
Slab:            59512 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180080 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= 62520 MiB
End job on node036 at 2010-06-16 04:07:25