Trace number 3739344

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT (TO)43 1800.06 1800.35

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_15_errors.opb
MD5SUMb155444c97f18a8f3025da7494a3d01e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark49.9814
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
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 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

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.02	c SCIP version 1.1.0.7
0.00/0.02	c LP-Solver SoPlex 1.4.1
0.00/0.02	c user parameter file <scip.set> not found - using default parameters
0.00/0.02	c read problem <HOME/instance-3739344-1338756109.opb>
0.00/0.02	c original problem has 2990 variables (2990 bin, 0 int, 0 impl, 0 cont) and 2833 constraints
0.00/0.02	c start presolving problem
0.00/0.02	c presolving:
0.09/0.17	c (round 1) 253 del vars, 49 del conss, 161 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 367878 impls, 286 clqs
0.09/0.19	c (round 2) 805 del vars, 102 del conss, 194 chg bounds, 0 chg sides, 245 chg coeffs, 0 upgd conss, 374631 impls, 243 clqs
0.19/0.24	c (round 3) 809 del vars, 103 del conss, 194 chg bounds, 1 chg sides, 249 chg coeffs, 0 upgd conss, 374921 impls, 243 clqs
0.28/0.30	c (round 4) 809 del vars, 103 del conss, 194 chg bounds, 1 chg sides, 249 chg coeffs, 243 upgd conss, 374921 impls, 243 clqs
0.59/0.69	c    (0.5s) probing: 1000/2181 (45.9%) - 0 fixings, 0 aggregations, 18198 implications, 0 bound changes
0.89/0.96	c    (0.8s) probing: 2000/2181 (91.7%) - 0 fixings, 8 aggregations, 23393 implications, 0 bound changes
0.89/0.97	c    (0.8s) probing: 2055/2181 (94.2%) - 0 fixings, 8 aggregations, 23393 implications, 0 bound changes
0.89/0.97	c    (0.8s) probing aborted: 100/100 successive totally useless probings
0.89/0.97	c (round 5) 817 del vars, 103 del conss, 194 chg bounds, 1 chg sides, 249 chg coeffs, 243 upgd conss, 422745 impls, 243 clqs
0.99/1.02	c    (0.8s) probing: 2065/2181 (94.7%) - 0 fixings, 8 aggregations, 23393 implications, 0 bound changes
0.99/1.02	c    (0.8s) probing aborted: 100/100 successive totally useless probings
0.99/1.02	c presolving (6 rounds):
0.99/1.02	c  817 deleted vars, 103 deleted constraints, 194 tightened bounds, 0 added holes, 1 changed sides, 249 changed coefficients
0.99/1.02	c  422745 implications, 243 cliques
0.99/1.02	c presolved problem has 2173 variables (2173 bin, 0 int, 0 impl, 0 cont) and 2190 constraints
0.99/1.02	c     243 constraints of type <setppc>
0.99/1.02	c    1857 constraints of type <and>
0.99/1.02	c      90 constraints of type <linear>
0.99/1.02	c transformed objective value is always integral (scale: 1)
0.99/1.02	c Presolving Time: 0.82
0.99/1.02	c OPT-NLC
0.99/1.02	c -----------------------------------------------------------------------------------------------
0.99/1.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.02	c limits/memory = c 13950
0.99/1.02	c # maximal time in seconds to run
0.99/1.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.02	c limits/time = c 1791
0.99/1.02	c # frequency for displaying node information lines
0.99/1.02	c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.02	c display/freq = c 10000
0.99/1.02	c -----------------------------------------------------------------------------------------------
0.99/1.02	c start solving problem
0.99/1.02	c 
1.29/1.35	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.29/1.35	c   1.1s|     1 |     0 |  1782 |  22M|   0 | 428 |2173 |2190 |2190 |2173 |3959 |   0 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
3.49/3.55	c   3.3s|     1 |     0 |  4810 |  23M|   0 | 476 |2173 |2190 |2190 |2173 |4548 | 589 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
4.69/4.79	c   4.5s|     1 |     0 |  6297 |  23M|   0 | 392 |2173 |2190 |2190 |2173 |5180 |1221 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
5.89/5.94	c   5.7s|     1 |     0 |  7953 |  23M|   0 | 446 |2173 |2190 |2190 |2173 |5540 |1581 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
7.79/7.85	c   7.6s|     1 |     0 |  9623 |  24M|   0 | 401 |2173 |2190 |2190 |2173 |6113 |2154 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
9.09/9.19	c   8.9s|     1 |     0 | 11420 |  24M|   0 | 454 |2173 |2190 |2190 |2173 |6381 |2422 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
11.29/11.37	c  11.1s|     1 |     0 | 13367 |  24M|   0 | 409 |2173 |2190 |2190 |2173 |6828 |2869 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
13.09/13.15	c  12.9s|     1 |     0 | 15405 |  24M|   0 | 393 |2173 |2190 |2190 |2173 |6980 |3021 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
26.98/27.06	c  26.7s|     1 |     2 | 15405 |  24M|   0 | 393 |2173 |2190 |2190 |2173 |6980 |3021 |   0 |  28 | 1.300000e+01 |      --      |    Inf 
1432.07/1432.37	o 45
1432.07/1432.37	c *1424s|  5733 |  3795 |  4531k|  45M|  56 |   - |2173 |4137 |1495 |2173 |2956 | 452k|5590 |6020 | 1.300000e+01 | 4.500000e+01 | 246.15%
1432.07/1432.37	o 43
1432.07/1432.37	c k1424s|  5733 |  3701 |  4531k|  44M|  56 |   - |2173 |4137 |1495 |2173 |2956 | 452k|5590 |6020 | 1.300000e+01 | 4.300000e+01 | 230.77%
1800.01/1800.30	c 
1800.01/1800.30	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.30	c Solving Time (sec) : 1789.32
1800.01/1800.30	c Solving Nodes      : 6746
1800.01/1800.30	c Primal Bound       : +4.30000000000000e+01 (2 solutions)
1800.01/1800.30	c Dual Bound         : +1.30217391304348e+01
1800.01/1800.30	c Gap                : 230.22 %
1800.01/1800.31	c NODE         6746
1800.01/1800.31	c DUAL BOUND   13.0217
1800.01/1800.31	c PRIMAL BOUND 43
1800.01/1800.31	c GAP          2.30217
1800.01/1800.31	s SATISFIABLE
1800.01/1800.31	v -x584 -x583 x582 x581 x580 -x579 x578 -x577 -x576 x575 x574 -x573 x572 -x571 -x570 x569 x568 -x567 -x566 -x565 x564 x563 -x562 
1800.01/1800.31	v -x561 x560 -x559 -x558 -x557 -x556 x555 x554 x553 x552 -x551 x550 -x549 -x548 x547 x546 x545 x544 x543 x542 x541 -x540 -x539 
1800.01/1800.31	v -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 x530 -x529 -x528 -x527 -x526 x525 x524 x523 x522 x521 x520 -x519 x518 x517 x516 
1800.01/1800.31	v x515 x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 x500 x499 -x498 x497 x496 -x495 -x494 
1800.01/1800.31	v x493 -x492 x491 x490 -x489 -x488 -x487 -x486 x485 x484 x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 
1800.01/1800.31	v x471 x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 x462 -x461 -x460 x459 -x458 x457 -x456 x455 x454 x453 -x452 x451 x450 -x449 
1800.01/1800.31	v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 x433 -x432 x431 x430 x429 x428 -x427 
1800.01/1800.31	v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 x415 x414 -x413 -x412 x411 x410 x409 -x408 -x407 x406 x405 
1800.01/1800.31	v x404 -x403 -x402 -x401 x400 x399 -x398 x397 -x396 x395 x394 x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 x383 
1800.01/1800.31	v -x382 -x381 -x380 x379 -x378 x377 -x376 -x375 x374 -x373 -x372 x371 x370 -x369 x368 x367 -x366 -x365 -x364 x363 -x362 -x361 
1800.01/1800.31	v x360 -x359 x358 -x357 x356 -x355 -x354 -x353 x352 -x351 -x350 x349 -x348 -x347 x346 -x345 -x344 -x343 x342 x341 -x340 -x339 -x338 
1800.01/1800.31	v -x337 x336 -x335 x334 -x333 x332 x331 x330 x329 x328 -x327 -x326 -x325 -x324 x323 x322 x321 x320 x319 -x318 x317 -x316 x315 
1800.01/1800.31	v x314 x313 -x312 x311 x310 x309 -x308 -x307 -x306 x305 x304 -x303 x302 -x301 -x300 x299 -x298 -x297 x296 -x295 -x294 -x293 
1800.01/1800.31	v x292 -x291 x290 -x289 -x288 x287 x286 -x285 x284 x283 x282 -x281 x280 x279 -x278 x277 x276 x275 -x274 x273 x272 -x271 x270 -x269 
1800.01/1800.31	v -x268 -x267 -x266 -x264 -x265 -x263 -x262 x261 -x258 -x259 -x260 -x257 -x256 x255 -x251 -x252 -x253 -x254 -x250 x249 -x248 
1800.01/1800.31	v -x247 x243 x244 -x245 -x246 x242 x241 x240 x239 -x235 -x236 -x237 -x238 -x234 -x233 -x232 x231 -x227 x228 -x229 x230 -x226 
1800.01/1800.31	v -x225 x223 -x224 x222 -x217 -x218 x219 x220 x221 -x216 -x215 x214 -x213 x212 x211 -x210 -x209 -x208 x207 -x206 -x205 x204 x203 
1800.01/1800.31	v x202 -x201 x200 x199 x198 x197 -x196 x195 x194 x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 x185 -x184 x183 -x182 -x181 -x180 
1800.01/1800.31	v -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 -x158 
1800.01/1800.31	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 
1800.01/1800.31	v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 x117 x116 
1800.01/1800.31	v -x115 -x114 -x113 -x112 x111 x110 -x109 x108 -x107 x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 
1800.01/1800.31	v -x92 -x91 x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 x69 -x68 -x67 
1800.01/1800.31	v -x66 -x65 -x64 -x63 x62 -x61 x60 -x59 x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 x43 -x42 x41 -x40 
1800.01/1800.31	v -x39 x38 -x37 -x36 -x35 -x34 x33 -x32 x31 -x30 -x29 x28 -x27 -x26 x25 -x24 x23 -x22 -x21 x20 -x19 x18 -x17 -x16 -x15 -x14 
1800.01/1800.31	v -x13 -x12 -x11 -x10 -x9 x8 -x7 x6 -x5 x4 -x3 -x2 -x1 
1800.01/1800.31	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.31	c Solving Time       :    1789.32
1800.01/1800.31	c Original Problem   :
1800.01/1800.31	c   Problem name     : HOME/instance-3739344-1338756109.opb
1800.01/1800.31	c   Variables        : 2990 (2990 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.31	c   Constraints      : 2833 initial, 2833 maximal
1800.01/1800.31	c Presolved Problem  :
1800.01/1800.31	c   Problem name     : t_HOME/instance-3739344-1338756109.opb
1800.01/1800.31	c   Variables        : 2173 (2173 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.31	c   Constraints      : 2190 initial, 5250 maximal
1800.01/1800.31	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.31	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.31	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.01/1800.31	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.31	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.31	c   implics          :       0.00          0          2          0          0          0          0          0          0
1800.01/1800.31	c   probing          :       0.61          0          8          0          0          0          0          0          0
1800.01/1800.31	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.31	c   and              :       0.18        473          9          0          0          0          9          0        249
1800.01/1800.31	c   linear           :       0.02        221        103          0        194          0         94          1          0
1800.01/1800.31	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.31	c   root node        :          -          1          -          -          1          -          -          -          -
1800.01/1800.31	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.31	c   integral         :          0          0          0       5952          0         16        268          0          0      11600
1800.01/1800.31	c   setppc           :        243          7      44259          2          0         45      49792          0          0          0
1800.01/1800.31	c   and              :       1857      27066      44214          2          0         97     260842     592874          0          0
1800.01/1800.31	c   linear           :         90          7      44117          1          0         16       1762          0          0          0
1800.01/1800.31	c   logicor          :          0+         0      16642          0          0         37       5034          0          0          0
1800.01/1800.31	c   countsols        :          0          0          0          1          0          0          0          0          0          0
1800.01/1800.31	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.31	c   integral         :     488.90       0.00       0.00     488.90       0.00
1800.01/1800.31	c   setppc           :       0.22       0.00       0.22       0.00       0.00
1800.01/1800.31	c   and              :      10.33       9.18       1.15       0.00       0.00
1800.01/1800.31	c   linear           :       0.79       0.02       0.77       0.00       0.00
1800.01/1800.31	c   logicor          :       0.22       0.00       0.22       0.00       0.00
1800.01/1800.31	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.31	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.31	c   rootredcost      :       0.01          1          0          0
1800.01/1800.31	c   pseudoobj        :       0.28      38611          0          0
1800.01/1800.31	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.31	c   propagation      :       0.01        195        195        991       26.4         33       11.4          -
1800.01/1800.31	c   infeasible LP    :       0.29       1099       1099      11588       56.0        132        9.4          0
1800.01/1800.31	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.31	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.31	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.31	c   applied globally :          -          -          -       6683       47.7          -          -          -
1800.01/1800.31	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.31	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.31	c   cut pool         :       0.00          6          -          -        117          -    (maximal pool size: 3696)
1800.01/1800.31	c   redcost          :       1.04      27067          0       1279          0          0
1800.01/1800.31	c   impliedbounds    :       0.01          7          0          0       5370          0
1800.01/1800.31	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.31	c   gomory           :       2.54          7          0          0        697          0
1800.01/1800.31	c   strongcg         :       2.46          7          0          0        550          0
1800.01/1800.31	c   cmir             :       0.33          7          0          0        263          0
1800.01/1800.31	c   flowcover        :       0.35          7          0          0        730          0
1800.01/1800.31	c   clique           :       0.19          7          0          0         59          0
1800.01/1800.31	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.31	c   mcf              :       0.00          1          0          0          0          0
1800.01/1800.31	c Pricers            :       Time      Calls       Vars
1800.01/1800.31	c   problem variables:       0.00          0          0
1800.01/1800.31	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.31	c   relpscost        :     488.88       5950         16        268          0          0      11600
1800.01/1800.31	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.31	c   inference        :       0.00          0          0          0          0          0          0
1800.01/1800.31	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.31	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.31	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.31	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.31	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.31	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.31	c   LP solutions     :       0.00          -          1
1800.01/1800.31	c   pseudo solutions :       0.00          -          0
1800.01/1800.31	c   crossover        :       0.00          0          0
1800.01/1800.31	c   oneopt           :       0.01          1          1
1800.01/1800.31	c   coefdiving       :      15.63         29          0
1800.01/1800.31	c   pscostdiving     :      12.14         29          0
1800.01/1800.31	c   fracdiving       :      11.00         29          0
1800.01/1800.31	c   linesearchdiving :       8.07         29          0
1800.01/1800.31	c   veclendiving     :       8.76         29          0
1800.01/1800.31	c   feaspump         :      11.42         15          0
1800.01/1800.31	c   simplerounding   :       0.00          0          0
1800.01/1800.31	c   rounding         :       0.56       2461          0
1800.01/1800.31	c   shifting         :       1.88        700          0
1800.01/1800.31	c   intshifting      :       0.00          0          0
1800.01/1800.31	c   fixandinfer      :       0.00          0          0
1800.01/1800.31	c   intdiving        :       0.00          0          0
1800.01/1800.31	c   actconsdiving    :       0.00          0          0
1800.01/1800.31	c   objpscostdiving  :      35.97         15          0
1800.01/1800.31	c   rootsoldiving    :       6.88         15          0
1800.01/1800.31	c   guideddiving     :      16.76         29          0
1800.01/1800.31	c   octane           :       0.00          0          0
1800.01/1800.31	c   rens             :       0.04          1          0
1800.01/1800.31	c   rins             :       0.00          0          0
1800.01/1800.31	c   localbranching   :       0.00          0          0
1800.01/1800.31	c   mutation         :       0.00          0          0
1800.01/1800.31	c   dins             :       0.00          0          0
1800.01/1800.31	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.31	c   primal LP        :       7.40          0          0       0.00       0.00
1800.01/1800.31	c   dual LP          :    1126.06      31922    5544649     173.69    4923.94
1800.01/1800.31	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.31	c   diving/probing LP:     121.55       9823     443655      45.16    3649.98
1800.01/1800.31	c   strong branching :     488.28       6704    2259371     337.02    4627.20
1800.01/1800.31	c     (at root node) :          -         28      28000    1000.00          -
1800.01/1800.31	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.31	c B&B Tree           :
1800.01/1800.31	c   number of runs   :          1
1800.01/1800.31	c   nodes            :       6746
1800.01/1800.31	c   nodes (total)    :       6746
1800.01/1800.31	c   nodes left       :       4595
1800.01/1800.31	c   max depth        :         56
1800.01/1800.31	c   max depth (total):         56
1800.01/1800.31	c   backtracks       :        502 (7.4%)
1800.01/1800.31	c   delayed cutoffs  :         35
1800.01/1800.31	c   repropagations   :       2594 (25118 domain reductions, 28 cutoffs)
1800.01/1800.31	c   avg switch length:       3.67
1800.01/1800.31	c   switching time   :       9.55
1800.01/1800.31	c Solution           :
1800.01/1800.31	c   Solutions found  :          2 (2 improvements)
1800.01/1800.31	c   Primal Bound     : +4.30000000000000e+01   (in run 1, after 5733 nodes, 1423.52 seconds, depth 34, found by <oneopt>)
1800.01/1800.31	c   Dual Bound       : +1.30217391304348e+01
1800.01/1800.31	c   Gap              :     230.22 %
1800.01/1800.31	c   Root Dual Bound  : +1.30000000000000e+01
1800.01/1800.34	c Time complete: 1800.05.

Verifier Data 

OK	43

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 3.94 4.84 3.36 3/176 10524
/proc/meminfo: memFree=30433600/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=9064 CPUtime=0 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 1607 0 0 0 0 0 0 0 20 0 1 0 341735474 9281536 1559 33554432000 4194304 7823515 140734543901648 140734543766200 6883856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 2266 1559 356 887 0 1376 0

[startup+0.106376 s]
/proc/loadavg: 3.94 4.84 3.36 3/176 10524
/proc/meminfo: memFree=30433600/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=33516 CPUtime=0.09 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 7796 0 0 0 9 0 0 0 20 0 1 0 341735474 34320384 7394 33554432000 4194304 7823515 140734543901648 140734543766200 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 8379 7394 405 887 0 7489 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33516

[startup+0.200321 s]
/proc/loadavg: 3.94 4.84 3.36 3/176 10524
/proc/meminfo: memFree=30433600/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=40644 CPUtime=0.19 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 9610 0 0 0 15 4 0 0 20 0 1 0 341735474 41619456 9208 33554432000 4194304 7823515 140734543901648 140734543766200 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 10161 9208 437 887 0 9271 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 40644

[startup+0.30029 s]
/proc/loadavg: 3.94 4.84 3.36 3/176 10524
/proc/meminfo: memFree=30433600/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=40644 CPUtime=0.28 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 9612 0 0 0 18 10 0 0 20 0 1 0 341735474 41619456 9210 33554432000 4194304 7823515 140734543901648 140734543766200 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 10161 9210 439 887 0 9271 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 40644

[startup+0.700249 s]
/proc/loadavg: 3.94 4.84 3.36 3/176 10524
/proc/meminfo: memFree=30433600/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=40644 CPUtime=0.69 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 9659 0 0 0 55 14 0 0 20 0 1 0 341735474 41619456 9257 33554432000 4194304 7823515 140734543901648 140734543766200 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 10161 9257 461 887 0 9271 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40644

[startup+1.50025 s]
/proc/loadavg: 3.94 4.84 3.36 3/177 10525
/proc/meminfo: memFree=30386076/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=56428 CPUtime=1.49 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 13747 0 0 0 130 19 0 0 20 0 1 0 341735474 57782272 13115 33554432000 4194304 7823515 140734543901648 140734543898344 6216816 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 14107 13115 539 887 0 13217 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56428

[startup+3.10025 s]
/proc/loadavg: 3.94 4.84 3.36 3/177 10525
/proc/meminfo: memFree=30382480/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=59116 CPUtime=3.09 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 14620 0 0 0 286 23 0 0 20 0 1 0 341735474 60534784 13882 33554432000 4194304 7823515 140734543901648 140734543897656 6206232 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 14779 13882 572 887 0 13889 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59116

[startup+6.30022 s]
/proc/loadavg: 3.78 4.79 3.35 3/177 10525
/proc/meminfo: memFree=30373800/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=64416 CPUtime=6.29 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 16034 0 0 0 604 25 0 0 20 0 1 0 341735474 65961984 15515 33554432000 4194304 7823515 140734543901648 140734543896792 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 16104 15515 572 887 0 15214 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64416

[startup+12.7002 s]
/proc/loadavg: 3.64 4.74 3.34 3/177 10525
/proc/meminfo: memFree=30370196/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=67288 CPUtime=12.69 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 16720 0 0 0 1241 28 0 0 20 0 1 0 341735474 68902912 16154 33554432000 4194304 7823515 140734543901648 140734543896840 6211692 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 16822 16154 572 887 0 15932 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67288

[startup+25.5003 s]
/proc/loadavg: 3.28 4.61 3.32 3/177 10525
/proc/meminfo: memFree=30369692/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=68224 CPUtime=25.49 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 21783 0 0 0 2517 32 0 0 20 0 1 0 341735474 69861376 16387 33554432000 4194304 7823515 140734543901648 140734543896344 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 17056 16387 578 887 0 16166 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68224

[startup+51.1003 s]
/proc/loadavg: 2.84 4.40 3.29 3/177 10525
/proc/meminfo: memFree=30368492/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=68224 CPUtime=51.08 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 21793 0 0 0 5060 48 0 0 20 0 1 0 341735474 69861376 16560 33554432000 4194304 7823515 140734543901648 140734543897336 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 17056 16560 578 887 0 16166 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 68224

[startup+102.3 s]
/proc/loadavg: 2.36 4.02 3.22 3/177 10525
/proc/meminfo: memFree=30366380/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=68224 CPUtime=102.28 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 21805 0 0 0 10154 74 0 0 20 0 1 0 341735474 69861376 16572 33554432000 4194304 7823515 140734543901648 140734543897480 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 17056 16572 584 887 0 16166 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 68224

[startup+162.3 s]
/proc/loadavg: 2.13 3.65 3.14 3/177 10525
/proc/meminfo: memFree=30366256/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=68224 CPUtime=162.26 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 21809 0 0 0 16118 108 0 0 20 0 1 0 341735474 69861376 16576 33554432000 4194304 7823515 140734543901648 140734543897448 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 17056 16576 584 887 0 16166 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 68224

[startup+222.306 s]
/proc/loadavg: 2.05 3.35 3.06 3/177 10525
/proc/meminfo: memFree=30366256/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=68224 CPUtime=222.25 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 21811 0 0 0 22080 145 0 0 20 0 1 0 341735474 69861376 16578 33554432000 4194304 7823515 140734543901648 140734543896360 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 17056 16578 584 887 0 16166 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 68224

[startup+282.3 s]
/proc/loadavg: 2.02 3.10 2.99 3/177 10526
/proc/meminfo: memFree=30365828/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=68224 CPUtime=282.24 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 21814 0 0 0 28038 186 0 0 20 0 1 0 341735474 69861376 16580 33554432000 4194304 7823515 140734543901648 140734543896760 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 17056 16580 584 887 0 16166 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 68224

[startup+342.3 s]
/proc/loadavg: 2.00 2.90 2.93 3/177 10526
/proc/meminfo: memFree=30364896/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=68224 CPUtime=342.23 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 21814 0 0 0 34001 222 0 0 20 0 1 0 341735474 69861376 16580 33554432000 4194304 7823515 140734543901648 140734543896984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 17056 16580 584 887 0 16166 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 68224

[startup+402.3 s]
/proc/loadavg: 2.00 2.73 2.87 3/177 10526
/proc/meminfo: memFree=30363532/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=69172 CPUtime=402.22 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 22052 0 0 0 39964 258 0 0 20 0 1 0 341735474 70832128 16818 33554432000 4194304 7823515 140734543901648 140734543897336 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 17293 16818 584 887 0 16403 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 69172

[startup+462.3 s]
/proc/loadavg: 2.00 2.60 2.81 3/177 10526
/proc/meminfo: memFree=30360244/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=71204 CPUtime=462.22 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 22575 0 0 0 45924 298 0 0 20 0 1 0 341735474 72912896 17340 33554432000 4194304 7823515 140734543901648 140734543896760 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 17801 17340 584 887 0 16911 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 71204

[startup+522.3 s]
/proc/loadavg: 2.07 2.50 2.76 3/178 10529
/proc/meminfo: memFree=30358188/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=72872 CPUtime=522.21 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 22948 0 0 0 51881 340 0 0 20 0 1 0 341735474 74620928 17713 33554432000 4194304 7823515 140734543901648 140734543897400 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 18218 17713 584 887 0 17328 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 72872

[startup+582.3 s]
/proc/loadavg: 2.02 2.41 2.71 3/177 10569
/proc/meminfo: memFree=30139376/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=73960 CPUtime=582.19 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 23272 0 0 0 57844 375 0 0 20 0 1 0 341735474 75735040 18036 33554432000 4194304 7823515 140734543901648 140734543896984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 18490 18036 584 887 0 17600 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 73960

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.18 2.54 3/177 10683
/proc/meminfo: memFree=30198208/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=79280 CPUtime=822.15 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 24584 0 0 0 81711 504 0 0 20 0 1 0 341735474 81182720 19345 33554432000 4194304 7823515 140734543901648 140734543896984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 19820 19345 584 887 0 18930 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 79280

[startup+882.306 s]
/proc/loadavg: 2.00 2.15 2.51 3/177 10684
/proc/meminfo: memFree=30195232/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=79804 CPUtime=882.15 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 24723 0 0 0 87678 537 0 0 20 0 1 0 341735474 81719296 19484 33554432000 4194304 7823515 140734543901648 140734543896984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 19951 19484 584 887 0 19061 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 79804

[startup+942.3 s]
/proc/loadavg: 2.00 2.12 2.47 3/177 10684
/proc/meminfo: memFree=30195104/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=80916 CPUtime=942.14 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 24946 0 0 0 93643 571 0 0 20 0 1 0 341735474 82857984 19707 33554432000 4194304 7823515 140734543901648 140734543896696 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 20229 19707 584 887 0 19339 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 80916

[startup+1002.3 s]
/proc/loadavg: 2.00 2.09 2.44 3/177 10684
/proc/meminfo: memFree=30193304/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=81732 CPUtime=1002.13 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 25199 0 0 0 99606 607 0 0 20 0 1 0 341735474 83693568 19958 33554432000 4194304 7823515 140734543901648 140734543897400 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 20433 19958 584 887 0 19543 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 81732

[startup+1062.3 s]
/proc/loadavg: 2.00 2.07 2.41 3/177 10684
/proc/meminfo: memFree=30192560/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=82780 CPUtime=1062.12 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 25479 0 0 0 105567 645 0 0 20 0 1 0 341735474 84766720 20238 33554432000 4194304 7823515 140734543901648 140734543897400 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 20695 20238 584 887 0 19805 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 82780

[startup+1122.3 s]
/proc/loadavg: 2.03 2.07 2.39 3/178 10687
/proc/meminfo: memFree=30190816/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=83720 CPUtime=1122.11 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 25700 0 0 0 111528 683 0 0 20 0 1 0 341735474 85729280 20459 33554432000 4194304 7823515 140734543901648 140734543896344 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 20930 20459 584 887 0 20040 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 83720

[startup+1182.3 s]
/proc/loadavg: 2.01 2.06 2.36 3/178 10711
/proc/meminfo: memFree=30190068/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=84368 CPUtime=1182.1 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 25840 0 0 0 117493 717 0 0 20 0 1 0 341735474 86392832 20599 33554432000 4194304 7823515 140734543901648 140734543896808 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 21092 20599 584 887 0 20202 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 84368

[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.33 3/177 10711
/proc/meminfo: memFree=30187096/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=85368 CPUtime=1242.09 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 26114 0 0 0 123458 751 0 0 20 0 1 0 341735474 87416832 20871 33554432000 4194304 7823515 140734543901648 140734543897448 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 21342 20871 584 887 0 20452 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 85368

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.31 3/177 10711
/proc/meminfo: memFree=30186352/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=86576 CPUtime=1302.08 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 26416 0 0 0 129421 787 0 0 20 0 1 0 341735474 88653824 21173 33554432000 4194304 7823515 140734543901648 140734543896984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 21644 21173 584 887 0 20754 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 86576

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.29 3/177 10711
/proc/meminfo: memFree=30184240/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=87236 CPUtime=1362.07 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 26603 0 0 0 135385 822 0 0 20 0 1 0 341735474 89329664 21360 33554432000 4194304 7823515 140734543901648 140734543896984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 21809 21360 584 887 0 20919 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 87236

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.27 3/177 10711
/proc/meminfo: memFree=30181756/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=89196 CPUtime=1422.07 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 27065 0 0 0 141353 854 0 0 20 0 1 0 341735474 91336704 21820 33554432000 4194304 7823515 140734543901648 140734543896984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 22299 21820 584 887 0 21409 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 89196

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.25 3/177 10712
/proc/meminfo: memFree=30180268/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=90788 CPUtime=1482.05 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 27471 0 0 0 147319 886 0 0 20 0 1 0 341735474 92966912 22226 33554432000 4194304 7823515 140734543901648 140734543897448 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 22697 22226 584 887 0 21807 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 90788

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.23 3/177 10712
/proc/meminfo: memFree=30177600/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=92756 CPUtime=1542.05 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 27944 0 0 0 153281 924 0 0 20 0 1 0 341735474 94982144 22699 33554432000 4194304 7823515 140734543901648 140734543897336 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 23189 22699 584 887 0 22299 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 92756

[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.22 3/177 10712
/proc/meminfo: memFree=30177472/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=93596 CPUtime=1602.04 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 28189 0 0 0 159244 960 0 0 20 0 1 0 341735474 95842304 22942 33554432000 4194304 7823515 140734543901648 140734543897128 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 23399 22942 584 887 0 22509 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 93596

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.20 3/177 10712
/proc/meminfo: memFree=30175488/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=95056 CPUtime=1662.03 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 28557 0 0 0 165209 994 0 0 20 0 1 0 341735474 97337344 23310 33554432000 4194304 7823515 140734543901648 140734543896984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 23764 23310 584 887 0 22874 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 95056

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.18 3/178 10715
/proc/meminfo: memFree=30174484/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=95988 CPUtime=1722.02 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 28774 0 0 0 171176 1026 0 0 20 0 1 0 341735474 98291712 23527 33554432000 4194304 7823515 140734543901648 140734543896344 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 23997 23527 584 887 0 23107 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 95988

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.17 3/177 10716
/proc/meminfo: memFree=30173624/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=96284 CPUtime=1782 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 28844 0 0 0 177142 1058 0 0 20 0 1 0 341735474 98594816 23597 33554432000 4194304 7823515 140734543901648 140734543897432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 24071 23597 584 887 0 23181 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 96284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.07 2.02 2.17 3/177 10716
/proc/meminfo: memFree=30173064/32873844 swapFree=7900/7900
[pid=10524] ppid=10522 vsize=96284 CPUtime=1800.01 cores=0,2,4,6
/proc/10524/stat : 10524 (pbscip.linux.x8) R 10522 10524 8610 0 -1 4202496 28847 0 0 0 178933 1068 0 0 20 0 1 0 341735474 98594816 23599 33554432000 4194304 7823515 140734543901648 140734543897128 6234963 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10524/statm: 24071 23599 584 887 0 23181 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 96284

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

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

Child status: 0
Real time (s): 1800.35
CPU time (s): 1800.06
CPU user time (s): 1789.37
CPU system time (s): 10.6904
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 96284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.37
system time used= 10.6904
maximum resident set size= 94404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28852
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= 27
involuntary context switches= 1965

runsolver used 3.3025 second user time and 8.5147 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 22:41:49
IDJOB=3739344
IDBENCH=72485
IDSOLVER=2321
FILE ID=node137/3739344-1338756109
RUNJOBID= node137-1338748474-8626
PBS_JOBID= 14636788
Free space on /tmp= 70316 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_15_errors.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739344-1338756109/watcher-3739344-1338756109 -o /tmp/evaluation-result-3739344-1338756109/solver-3739344-1338756109 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3739344-1338756109.opb

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

MD5SUM BENCH= b155444c97f18a8f3025da7494a3d01e
RANDOM SEED=696185070

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30433600 kB
Buffers:          277224 kB
Cached:          1250816 kB
SwapCached:         5796 kB
Active:           903544 kB
Inactive:         712504 kB
Active(anon):      83280 kB
Inactive(anon):     7172 kB
Active(file):     820264 kB
Inactive(file):   705332 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:              9816 kB
Writeback:             0 kB
AnonPages:         91732 kB
Mapped:            11424 kB
Shmem:                 0 kB
Slab:             685300 kB
SReclaimable:     126104 kB
SUnreclaim:       559196 kB
KernelStack:        1448 kB
PageTables:         4284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     207180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70304 MiB
End job on node137 at 2012-06-03 23:11:52