Trace number 1868832

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT27156 1798.22 1800.53

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUMf675f355e04fd5af6f49610fb88dbbd3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25184
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24674
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.08	c SCIP version 1.1.0.7
0.00/0.08	c LP-Solver SoPlex 1.4.1
0.00/0.08	c user parameter file <scip.set> not found - using default parameters
0.00/0.08	c read problem <HOME/instance-1868832-1245146821.opb>
0.00/0.08	c original problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.07/0.10	c start presolving problem
0.07/0.10	c presolving:
0.09/0.17	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.20/0.25	c (round 2) 0 del vars, 2880 del conss, 0 chg bounds, 3360 chg sides, 5040 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.40/0.47	c    (0.4s) probing: 401/540 (74.3%) - 0 fixings, 0 aggregations, 1590 implications, 0 bound changes
0.40/0.47	c    (0.4s) probing aborted: 100/100 successive totally useless probings
0.40/0.47	c presolving (3 rounds):
0.40/0.47	c  0 deleted vars, 2880 deleted constraints, 0 tightened bounds, 0 added holes, 3360 changed sides, 5040 changed coefficients
0.40/0.47	c  4440 implications, 210 cliques
0.40/0.47	c presolved problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.40/0.47	c    1734 constraints of type <knapsack>
0.40/0.47	c     210 constraints of type <setppc>
0.40/0.47	c    2532 constraints of type <logicor>
0.40/0.47	c transformed objective value is always integral (scale: 1)
0.40/0.47	c Presolving Time: 0.35
0.40/0.47	c OPT-LIN
0.40/0.47	c -----------------------------------------------------------------------------------------------
0.40/0.47	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.40/0.47	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.40/0.47	c limits/memory = c 1620
0.40/0.47	c # maximal time in seconds to run
0.40/0.47	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.40/0.47	c limits/time = c 1791
0.40/0.47	c # frequency for displaying node information lines
0.40/0.47	c # [type: int, range: [-1,2147483647], default: 100]
0.40/0.47	c display/freq = c 10000
0.40/0.47	c -----------------------------------------------------------------------------------------------
0.40/0.47	c start solving problem
0.40/0.47	c 
1.20/1.21	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.20/1.21	c   1.1s|     1 |     0 |  1440 |8761k|   0 | 222 | 540 |4476 |4476 | 540 |4476 |   0 |   0 |   0 | 1.742200e+04 |      --      |    Inf 
6.50/6.57	c   6.4s|     1 |     0 |  4198 |  10M|   0 | 214 | 540 |4476 |4476 | 540 |4484 |   8 |   0 |   0 | 1.742200e+04 |      --      |    Inf 
8.09/8.15	c   8.0s|     1 |     0 |  4516 |  12M|   0 | 220 | 540 |4476 |4476 | 540 |4491 |  15 |   0 |   0 | 1.742200e+04 |      --      |    Inf 
9.69/9.72	c   9.6s|     1 |     0 |  4722 |  14M|   0 | 226 | 540 |4476 |4476 | 540 |4500 |  24 |   0 |   0 | 1.742200e+04 |      --      |    Inf 
11.28/11.35	c  11.2s|     1 |     0 |  5023 |  16M|   0 | 213 | 540 |4476 |4476 | 540 |4506 |  30 |   0 |   0 | 1.742200e+04 |      --      |    Inf 
12.99/13.10	c  12.9s|     1 |     0 |  5395 |  18M|   0 | 223 | 540 |4476 |4476 | 540 |4512 |  36 |   0 |   0 | 1.742200e+04 |      --      |    Inf 
15.08/15.16	c  14.9s|     1 |     0 |  5961 |  20M|   0 | 226 | 540 |4476 |4476 | 540 |4520 |  44 |   0 |   0 | 1.742200e+04 |      --      |    Inf 
29.08/29.17	c  28.9s|     1 |     2 |  5961 |  20M|   0 | 226 | 540 |4476 |4476 | 540 |4520 |  44 |   0 |  21 | 1.742200e+04 |      --      |    Inf 
192.82/192.98	o 31729
192.82/192.98	c v 192s|   169 |   158 | 71816 |  21M|  21 |   - | 540 |4590 |2456 | 540 |4500 |  44 | 114 | 270 | 1.742200e+04 | 3.172900e+04 |  82.12%
577.59/578.32	o 30365
577.59/578.32	c v 575s|   618 |   583 |430641 |  22M|  28 |   - | 540 |4964 |2722 | 540 |4500 |  44 | 834 | 655 | 1.742200e+04 | 3.036500e+04 |  74.29%
588.59/589.34	o 27156
588.59/589.34	c v 586s|   627 |   590 |441637 |  22M|  28 |   - | 540 |4978 |3548 | 540 |4500 |  44 | 870 | 663 | 1.742200e+04 | 2.715600e+04 |  55.87%
1798.08/1800.47	c 
1798.08/1800.47	c SCIP Status        : solving was interrupted [time limit reached]
1798.08/1800.47	c Solving Time (sec) : 1791.00
1798.08/1800.47	c Solving Nodes      : 2840
1798.08/1800.47	c Primal Bound       : +2.71560000000000e+04 (3 solutions)
1798.08/1800.47	c Dual Bound         : +1.74220000000000e+04
1798.08/1800.47	c Gap                : 55.87 %
1798.08/1800.48	c NODE         2840
1798.08/1800.48	c DUAL BOUND   17422
1798.08/1800.48	c PRIMAL BOUND 27156
1798.08/1800.48	c GAP          0.558719
1798.08/1800.48	s SATISFIABLE
1798.08/1800.48	v -x325 x289 x253 -x217 -x181 x145 x109 x73 -x37 -x1 -x360 -x324 x288 x252 -x216 -x180 -x144 x108 x72 x36 x353 x317 -x281 -x245 x209 
1798.08/1800.48	v x173 -x137 -x101 -x65 x29 -x346 -x310 x274 x238 -x202 -x166 x130 x94 x58 -x22 x339 -x303 -x267 -x231 x195 x159 x123 -x87 
1798.08/1800.48	v -x51 x15 x332 x296 -x260 x224 x188 -x152 -x116 -x80 x44 -x8 -x359 -x323 -x287 -x251 x215 -x179 -x143 -x107 -x71 -x35 -x358 -x322 
1798.08/1800.48	v -x286 -x250 -x214 -x178 x142 -x106 -x70 -x34 x357 -x321 -x285 -x249 -x213 -x177 -x141 -x105 -x69 -x33 -x356 x320 -x284 -x248 
1798.08/1800.48	v -x212 -x176 -x140 -x104 -x68 -x32 -x355 -x319 -x283 -x247 -x211 x175 -x139 -x103 -x67 -x31 -x354 -x318 x282 -x246 -x210 -x174 
1798.08/1800.48	v -x138 -x102 -x66 -x30 -x352 -x316 -x280 x244 -x208 -x172 -x136 -x100 -x64 -x28 -x351 -x315 -x279 -x243 -x207 -x171 x135 
1798.08/1800.48	v -x99 -x63 -x27 -x350 -x314 -x278 -x242 -x206 -x170 -x134 -x98 x62 -x26 -x349 -x313 -x277 -x241 -x205 -x169 -x133 x97 -x61 -x25 
1798.08/1800.48	v -x348 -x312 -x276 -x240 -x204 -x168 -x132 -x96 -x60 x24 x347 -x311 -x275 -x239 -x203 -x167 -x131 -x95 -x59 -x23 -x345 -x309 
1798.08/1800.48	v -x273 -x237 -x201 x165 -x129 -x93 -x57 -x21 -x344 -x308 -x272 -x236 x200 -x164 -x128 -x92 -x56 -x20 -x343 x307 -x271 -x235 -x199 
1798.08/1800.48	v -x163 -x127 -x91 -x55 -x19 -x342 -x306 -x270 -x234 -x198 -x162 -x126 -x90 x54 -x18 -x341 x305 -x269 -x233 -x197 -x161 -x125 
1798.08/1800.48	v -x89 -x53 -x17 -x340 -x304 -x268 -x232 -x196 -x160 -x124 x88 -x52 -x16 -x338 -x302 -x266 x230 -x194 -x158 -x122 -x86 -x50 
1798.08/1800.48	v -x14 -x337 -x301 x265 -x229 -x193 -x157 -x121 -x85 -x49 -x13 -x336 -x300 -x264 -x228 -x192 -x156 -x120 x84 -x48 -x12 -x335 -x299 
1798.08/1800.48	v -x263 -x227 -x191 x155 -x119 -x83 -x47 -x11 -x334 -x298 x262 -x226 -x190 -x154 -x118 -x82 -x46 -x10 -x333 -x297 -x261 -x225 
1798.08/1800.48	v -x189 -x153 -x117 -x81 -x45 x9 -x331 -x295 -x259 -x223 -x187 -x151 x115 -x79 -x43 -x7 -x330 -x294 -x258 x222 -x186 -x150 
1798.08/1800.48	v -x114 -x78 -x42 -x6 -x329 -x293 -x257 -x221 -x185 -x149 -x113 -x77 -x41 x5 -x328 -x292 -x256 -x220 -x184 -x148 -x112 -x76 x40 
1798.08/1800.48	v -x4 -x327 -x291 -x255 -x219 x183 -x147 -x111 -x75 -x39 -x3 x326 -x290 -x254 -x218 -x182 -x146 -x110 -x74 -x38 -x2 -x540 x539 
1798.08/1800.48	v -x538 x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 
1798.08/1800.48	v -x516 -x515 x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 
1798.08/1800.48	v x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 x474 
1798.08/1800.48	v -x473 -x472 -x471 x470 -x469 x468 -x467 x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 x454 -x453 -x452 
1798.08/1800.48	v -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 x435 -x434 -x433 x432 -x431 -x430 
1798.08/1800.48	v -x429 -x428 -x427 x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 
1798.08/1800.48	v -x408 x407 -x406 -x405 -x404 -x403 x402 -x401 x400 -x399 x398 x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 
1798.08/1800.48	v x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 
1798.08/1800.48	v x364 -x363 x362 x361 
1798.08/1800.48	c SCIP Status        : solving was interrupted [time limit reached]
1798.08/1800.48	c Solving Time       :    1791.00
1798.08/1800.48	c Original Problem   :
1798.08/1800.48	c   Problem name     : HOME/instance-1868832-1245146821.opb
1798.08/1800.48	c   Variables        : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.08/1800.48	c   Constraints      : 4476 initial, 4476 maximal
1798.08/1800.48	c Presolved Problem  :
1798.08/1800.48	c   Problem name     : t_HOME/instance-1868832-1245146821.opb
1798.08/1800.48	c   Variables        : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.08/1800.48	c   Constraints      : 4476 initial, 4978 maximal
1798.08/1800.48	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1798.08/1800.48	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1798.08/1800.48	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1798.08/1800.48	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1798.08/1800.48	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1798.08/1800.48	c   implics          :       0.00          0          0          0          0          0          0          0          0
1798.08/1800.48	c   probing          :       0.17          0          0          0          0          0          0          0          0
1798.08/1800.48	c   knapsack         :       0.10          0          0          0          0          0          0       3360       5040
1798.08/1800.48	c   setppc           :       0.01          0          0          0          0          0       2880          0          0
1798.08/1800.48	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1798.08/1800.48	c   root node        :          -          0          -          -          0          -          -          -          -
1798.08/1800.48	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1798.08/1800.48	c   integral         :          0          0          0       2817          0          1          8          0          0       5618
1798.08/1800.48	c   knapsack         :       1734          6      38867          0          1          6       2391          0          0          0
1798.08/1800.48	c   setppc           :        210          6      38859          0          1        197      31080          0          0          0
1798.08/1800.48	c   logicor          :       2532+         6      19189          0          1         89      13808          0          0          0
1798.08/1800.48	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1798.08/1800.48	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1798.08/1800.48	c   integral         :     341.89       0.00       0.00     341.89       0.00
1798.08/1800.48	c   knapsack         :       6.54       0.02       6.52       0.00       0.00
1798.08/1800.48	c   setppc           :       0.89       0.00       0.89       0.00       0.00
1798.08/1800.48	c   logicor          :       0.86       0.00       0.86       0.00       0.00
1798.08/1800.48	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1798.08/1800.48	c Propagators        :       Time      Calls    Cutoffs    DomReds
1798.08/1800.48	c   rootredcost      :       0.06          3          0          0
1798.08/1800.48	c   pseudoobj        :       0.60      37790          1          0
1798.08/1800.48	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.08/1800.48	c   propagation      :       0.01        293        293       1763       26.3        111        8.7          -
1798.08/1800.48	c   infeasible LP    :       0.37        405        264       2724       50.9         49        6.3          0
1798.08/1800.48	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.08/1800.48	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.08/1800.48	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.08/1800.48	c   applied globally :          -          -          -       2445       25.5          -          -          -
1798.08/1800.48	c   applied locally  :          -          -          -         14       62.3          -          -          -
1798.08/1800.48	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1798.08/1800.48	c   cut pool         :       0.02          5          -          -          3          -    (maximal pool size: 1573)
1798.08/1800.48	c   redcost          :       0.13       2831          0         48          0          0
1798.08/1800.48	c   impliedbounds    :       0.00          6          0          0          0          0
1798.08/1800.48	c   intobj           :       0.00          0          0          0          0          0
1798.08/1800.48	c   gomory           :       6.52          6          0          0         51          0
1798.08/1800.48	c   strongcg         :       1.13          6          0          0       3000          0
1798.08/1800.48	c   cmir             :       0.16          6          0          0          0          0
1798.08/1800.48	c   flowcover        :       0.20          6          0          0          0          0
1798.08/1800.48	c   clique           :       0.01          6          0          0         42          0
1798.08/1800.48	c   zerohalf         :       0.00          0          0          0          0          0
1798.08/1800.48	c   mcf              :       0.01          1          0          0          0          0
1798.08/1800.48	c Pricers            :       Time      Calls       Vars
1798.08/1800.48	c   problem variables:       0.00          0          0
1798.08/1800.48	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.08/1800.48	c   relpscost        :     341.88       2817          1          8          0          0       5618
1798.08/1800.48	c   pscost           :       0.00          0          0          0          0          0          0
1798.08/1800.48	c   inference        :       0.00          1          0          0          0          0          2
1798.08/1800.48	c   mostinf          :       0.00          0          0          0          0          0          0
1798.08/1800.48	c   leastinf         :       0.00          0          0          0          0          0          0
1798.08/1800.48	c   fullstrong       :       0.00          0          0          0          0          0          0
1798.08/1800.48	c   allfullstrong    :       0.00          0          0          0          0          0          0
1798.08/1800.48	c   random           :       0.00          0          0          0          0          0          0
1798.08/1800.48	c Primal Heuristics  :       Time      Calls      Found
1798.08/1800.48	c   LP solutions     :       0.00          -          0
1798.08/1800.48	c   pseudo solutions :       0.00          -          0
1798.08/1800.48	c   oneopt           :       0.01          3          0
1798.08/1800.48	c   crossover        :       0.09          1          0
1798.08/1800.48	c   linesearchdiving :      54.29         45          0
1798.08/1800.48	c   simplerounding   :       0.00          0          0
1798.08/1800.48	c   rounding         :       0.73        704          0
1798.08/1800.48	c   shifting         :       0.50        180          0
1798.08/1800.48	c   intshifting      :       0.00          0          0
1798.08/1800.48	c   fixandinfer      :       0.00          0          0
1798.08/1800.48	c   feaspump         :      14.79          9          0
1798.08/1800.48	c   coefdiving       :      64.60         22          0
1798.08/1800.48	c   pscostdiving     :      57.82         34          0
1798.08/1800.48	c   fracdiving       :      66.26         66          0
1798.08/1800.48	c   veclendiving     :     178.65        104          3
1798.08/1800.48	c   intdiving        :       0.00          0          0
1798.08/1800.48	c   actconsdiving    :       0.00          0          0
1798.08/1800.48	c   objpscostdiving  :      29.42         12          0
1798.08/1800.48	c   rootsoldiving    :      22.61         11          0
1798.08/1800.48	c   guideddiving     :      67.09         53          0
1798.08/1800.48	c   octane           :       0.00          0          0
1798.08/1800.48	c   rens             :       0.07          1          0
1798.08/1800.48	c   rins             :       0.00          0          0
1798.08/1800.48	c   localbranching   :       0.00          0          0
1798.08/1800.48	c   mutation         :       0.00          0          0
1798.08/1800.48	c   dins             :       0.00          0          0
1798.08/1800.48	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1798.08/1800.48	c   primal LP        :       0.00          0          0       0.00          -
1798.08/1800.48	c   dual LP          :     876.16       2838    1060734     373.76    1210.66
1798.08/1800.48	c   barrier LP       :       0.00          0          0       0.00          -
1798.08/1800.48	c   diving/probing LP:     521.98      20278     627553      30.95    1202.25
1798.08/1800.48	c   strong branching :     341.57       1625     429419     264.26    1257.19
1798.08/1800.48	c     (at root node) :          -         21      14115     672.14          -
1798.08/1800.48	c   conflict analysis:       0.00          0          0       0.00          -
1798.08/1800.48	c B&B Tree           :
1798.08/1800.48	c   number of runs   :          1
1798.08/1800.48	c   nodes            :       2840
1798.08/1800.48	c   nodes (total)    :       2840
1798.08/1800.48	c   nodes left       :       2779
1798.08/1800.48	c   max depth        :         43
1798.08/1800.48	c   max depth (total):         43
1798.08/1800.48	c   backtracks       :        623 (21.9%)
1798.08/1800.48	c   delayed cutoffs  :          0
1798.08/1800.48	c   repropagations   :         30 (33 domain reductions, 0 cutoffs)
1798.08/1800.48	c   avg switch length:       6.25
1798.08/1800.48	c   switching time   :       0.97
1798.08/1800.48	c Solution           :
1798.08/1800.48	c   Solutions found  :          3 (3 improvements)
1798.08/1800.48	c   Primal Bound     : +2.71560000000000e+04   (in run 1, after 627 nodes, 586.22 seconds, depth 31, found by <veclendiving>)
1798.08/1800.48	c   Dual Bound       : +1.74220000000000e+04
1798.08/1800.48	c   Gap              :      55.87 %
1798.08/1800.48	c   Root Dual Bound  : +1.74220000000000e+04
1798.18/1800.52	c Time complete: 1798.2.

Verifier Data 

OK	27156

Watcher Data 

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

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

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: 1.89 1.91 1.72 3/73 1384
/proc/meminfo: memFree=1797512/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=6100 CPUtime=0
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 839 0 0 0 0 0 0 0 20 0 1 0 182280635 6246400 821 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/1384/statm: 1525 830 325 886 0 635 0

[startup+0.0851099 s]
/proc/loadavg: 1.89 1.91 1.72 3/73 1384
/proc/meminfo: memFree=1797512/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=12056 CPUtime=0.07
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 2520 0 0 0 7 0 0 0 20 0 1 0 182280635 12345344 2148 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 3014 2158 365 886 0 2124 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12056

[startup+0.102484 s]
/proc/loadavg: 1.89 1.91 1.72 3/73 1384
/proc/meminfo: memFree=1797512/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=18100 CPUtime=0.09
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 3922 0 0 0 8 1 0 0 20 0 1 0 182280635 18534400 3550 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 4525 3586 420 886 0 3635 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18100

[startup+0.305945 s]
/proc/loadavg: 1.89 1.91 1.72 3/73 1384
/proc/meminfo: memFree=1797512/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=24276 CPUtime=0.29
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 5504 0 0 0 26 3 0 0 23 0 1 0 182280635 24858624 5132 1992294400 4194304 7823515 548682068736 18446744073709551615 5103040 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 6069 5132 450 886 0 5179 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24276

[startup+0.707699 s]
/proc/loadavg: 1.89 1.91 1.72 3/73 1384
/proc/meminfo: memFree=1797512/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=33184 CPUtime=0.7
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 7846 0 0 0 65 5 0 0 25 0 1 0 182280635 33980416 7349 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 8296 7349 522 886 0 7406 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 33184

[startup+1.50427 s]
/proc/loadavg: 1.98 1.93 1.72 2/74 1385
/proc/meminfo: memFree=1769984/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=33716 CPUtime=1.49
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 8015 0 0 0 144 5 0 0 25 0 1 0 182280635 34525184 7518 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 8429 7518 536 886 0 7539 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33716

[startup+3.10745 s]
/proc/loadavg: 1.98 1.93 1.72 5/74 1385
/proc/meminfo: memFree=1768320/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=34312 CPUtime=3.09
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 8226 0 0 0 304 5 0 0 25 0 1 0 182280635 35135488 7729 1992294400 4194304 7823515 548682068736 18446744073709551615 6208534 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 8578 7729 536 886 0 7688 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34312

[startup+6.30181 s]
/proc/loadavg: 1.98 1.93 1.72 2/74 1385
/proc/meminfo: memFree=1768392/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=37852 CPUtime=6.29
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 9159 0 0 0 622 7 0 0 25 0 1 0 182280635 38760448 8662 1992294400 4194304 7823515 548682068736 18446744073709551615 4291321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 9463 8662 567 886 0 8573 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37852

[startup+12.7015 s]
/proc/loadavg: 1.90 1.91 1.72 3/74 1385
/proc/meminfo: memFree=1752136/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=50444 CPUtime=12.69
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 12495 0 0 0 1257 12 0 0 25 0 1 0 182280635 51654656 11871 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 12611 11871 567 886 0 11721 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50444

[startup+25.5021 s]
/proc/loadavg: 1.84 1.90 1.72 4/74 1385
/proc/meminfo: memFree=1748040/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=54972 CPUtime=25.48
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 16594 0 0 0 2529 19 0 0 25 0 1 0 182280635 56291328 12880 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 13743 12880 577 886 0 12853 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54972

[startup+51.1079 s]
/proc/loadavg: 1.99 1.92 1.73 2/74 1385
/proc/meminfo: memFree=1748040/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=55116 CPUtime=51.08
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 16639 0 0 0 5080 28 0 0 25 0 1 0 182280635 56438784 12925 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 13779 12925 577 886 0 12889 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 55116

[startup+102.307 s]
/proc/loadavg: 2.34 2.04 1.78 2/74 1385
/proc/meminfo: memFree=1747976/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=55116 CPUtime=102.26
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 16642 0 0 0 10178 48 0 0 25 0 1 0 182280635 56438784 12928 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 13779 12928 577 886 0 12889 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 55116

[startup+162.301 s]
/proc/loadavg: 2.18 2.06 1.80 2/74 1385
/proc/meminfo: memFree=1747592/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=55356 CPUtime=162.23
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 16747 0 0 0 16153 70 0 0 25 0 1 0 182280635 56684544 13033 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 13839 13033 583 886 0 12949 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 55356

[startup+222.301 s]
/proc/loadavg: 2.00 2.03 1.81 2/74 1385
/proc/meminfo: memFree=1747528/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=55356 CPUtime=222.09
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 16747 0 0 0 22118 91 0 0 25 0 1 0 182280635 56684544 13033 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 13839 13033 583 886 0 12949 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 55356

[startup+282.301 s]
/proc/loadavg: 1.95 1.99 1.81 2/74 1385
/proc/meminfo: memFree=1747464/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=55356 CPUtime=281.88
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 16776 0 0 0 28071 117 0 0 25 0 1 0 182280635 56684544 13062 1992294400 4194304 7823515 548682068736 18446744073709551615 6211327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 13839 13062 583 886 0 12949 0
Current children cumulated CPU time (s) 281.88
Current children cumulated vsize (KiB) 55356

[startup+342.302 s]
/proc/loadavg: 1.88 1.95 1.80 4/74 1385
/proc/meminfo: memFree=1747400/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=55568 CPUtime=341.68
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 16778 0 0 0 34028 140 0 0 25 0 1 0 182280635 56901632 13064 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 13892 13064 583 886 0 13002 0
Current children cumulated CPU time (s) 341.68
Current children cumulated vsize (KiB) 55568

[startup+402.306 s]
/proc/loadavg: 1.88 1.94 1.81 3/74 1385
/proc/meminfo: memFree=1746888/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=56504 CPUtime=401.66
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 16899 0 0 0 40002 164 0 0 25 0 1 0 182280635 57860096 13185 1992294400 4194304 7823515 548682068736 18446744073709551615 6208329 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 14126 13185 583 886 0 13236 0
Current children cumulated CPU time (s) 401.66
Current children cumulated vsize (KiB) 56504

[startup+462.307 s]
/proc/loadavg: 1.69 1.87 1.79 2/74 1385
/proc/meminfo: memFree=1746632/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=56504 CPUtime=461.65
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 16969 0 0 0 45979 186 0 0 25 0 1 0 182280635 57860096 13255 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 14126 13255 583 886 0 13236 0
Current children cumulated CPU time (s) 461.65
Current children cumulated vsize (KiB) 56504

[startup+522.301 s]
/proc/loadavg: 1.39 1.75 1.76 2/74 1385
/proc/meminfo: memFree=1746248/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=56964 CPUtime=521.61
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 17184 0 0 0 51952 209 0 0 25 0 1 0 182280635 58331136 13470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 14241 13470 583 886 0 13351 0
Current children cumulated CPU time (s) 521.61
Current children cumulated vsize (KiB) 56964

[startup+582.305 s]
/proc/loadavg: 1.72 1.79 1.77 2/74 1385
/proc/meminfo: memFree=1745352/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=57460 CPUtime=581.59
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 17273 0 0 0 57928 231 0 0 25 0 1 0 182280635 58839040 13559 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 14365 13559 583 886 0 13475 0
Current children cumulated CPU time (s) 581.59
Current children cumulated vsize (KiB) 57460

[startup+642.302 s]
/proc/loadavg: 1.97 1.85 1.79 3/74 1385
/proc/meminfo: memFree=1745288/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=57460 CPUtime=641.58
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 17275 0 0 0 63907 251 0 0 25 0 1 0 182280635 58839040 13561 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 14365 13561 583 886 0 13475 0
Current children cumulated CPU time (s) 641.58
Current children cumulated vsize (KiB) 57460

[startup+702.306 s]

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

/proc/meminfo: memFree=1742600/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=59872 CPUtime=1061.31
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 20942 0 0 0 105720 411 0 0 25 0 1 0 182280635 61308928 14163 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 14968 14163 583 886 0 14078 0
Current children cumulated CPU time (s) 1061.31
Current children cumulated vsize (KiB) 59872

[startup+1122.31 s]
/proc/loadavg: 2.17 1.97 1.85 2/74 1385
/proc/meminfo: memFree=1742536/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=59872 CPUtime=1121.21
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 20943 0 0 0 111684 437 0 0 25 0 1 0 182280635 61308928 14164 1992294400 4194304 7823515 548682068736 18446744073709551615 6214782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 14968 14164 583 886 0 14078 0
Current children cumulated CPU time (s) 1121.21
Current children cumulated vsize (KiB) 59872

[startup+1182.3 s]
/proc/loadavg: 1.89 1.93 1.84 2/74 1385
/proc/meminfo: memFree=1742536/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=59872 CPUtime=1181.19
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 20943 0 0 0 117660 459 0 0 25 0 1 0 182280635 61308928 14164 1992294400 4194304 7823515 548682068736 18446744073709551615 6212582 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 14968 14164 583 886 0 14078 0
Current children cumulated CPU time (s) 1181.19
Current children cumulated vsize (KiB) 59872

[startup+1242.3 s]
/proc/loadavg: 2.13 1.97 1.86 4/74 1385
/proc/meminfo: memFree=1742344/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=59872 CPUtime=1240.84
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 20945 0 0 0 123598 486 0 0 25 0 1 0 182280635 61308928 14166 1992294400 4194304 7823515 548682068736 18446744073709551615 6212317 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 14968 14166 583 886 0 14078 0
Current children cumulated CPU time (s) 1240.84
Current children cumulated vsize (KiB) 59872

[startup+1302.3 s]
/proc/loadavg: 1.92 1.94 1.85 2/74 1385
/proc/meminfo: memFree=1742216/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=59872 CPUtime=1300.68
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 20946 0 0 0 129559 509 0 0 25 0 1 0 182280635 61308928 14167 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 14968 14167 583 886 0 14078 0
Current children cumulated CPU time (s) 1300.68
Current children cumulated vsize (KiB) 59872

[startup+1362.3 s]
/proc/loadavg: 1.61 1.86 1.83 2/74 1385
/proc/meminfo: memFree=1742216/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=60028 CPUtime=1360.66
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21026 0 0 0 135535 531 0 0 25 0 1 0 182280635 61468672 14247 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 15007 14247 583 886 0 14117 0
Current children cumulated CPU time (s) 1360.66
Current children cumulated vsize (KiB) 60028

[startup+1422.31 s]
/proc/loadavg: 1.87 1.89 1.84 2/74 1385
/proc/meminfo: memFree=1742024/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=60200 CPUtime=1420.59
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21064 0 0 0 141504 555 0 0 25 0 1 0 182280635 61644800 14285 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 15050 14285 583 886 0 14160 0
Current children cumulated CPU time (s) 1420.59
Current children cumulated vsize (KiB) 60200

[startup+1482.3 s]
/proc/loadavg: 2.10 1.95 1.86 3/74 1385
/proc/meminfo: memFree=1741960/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=60200 CPUtime=1480.57
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21064 0 0 0 147481 576 0 0 25 0 1 0 182280635 61644800 14285 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 15050 14285 583 886 0 14160 0
Current children cumulated CPU time (s) 1480.57
Current children cumulated vsize (KiB) 60200

[startup+1542.31 s]
/proc/loadavg: 1.97 1.95 1.87 4/74 1385
/proc/meminfo: memFree=1741832/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=60200 CPUtime=1540.54
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21087 0 0 0 153452 602 0 0 25 0 1 0 182280635 61644800 14308 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 15050 14308 583 886 0 14160 0
Current children cumulated CPU time (s) 1540.54
Current children cumulated vsize (KiB) 60200

[startup+1602.3 s]
/proc/loadavg: 1.74 1.90 1.85 2/74 1385
/proc/meminfo: memFree=1740616/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=61792 CPUtime=1600.52
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21397 0 0 0 159427 625 0 0 25 0 1 0 182280635 63275008 14618 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 15448 14618 583 886 0 14558 0
Current children cumulated CPU time (s) 1600.52
Current children cumulated vsize (KiB) 61792

[startup+1662.3 s]
/proc/loadavg: 1.90 1.93 1.86 4/74 1385
/proc/meminfo: memFree=1740040/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=62008 CPUtime=1660.09
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21517 0 0 0 165357 652 0 0 25 0 1 0 182280635 63496192 14738 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 15502 14738 583 886 0 14612 0
Current children cumulated CPU time (s) 1660.09
Current children cumulated vsize (KiB) 62008

[startup+1722.31 s]
/proc/loadavg: 1.94 1.93 1.87 2/74 1385
/proc/meminfo: memFree=1740040/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=62008 CPUtime=1720.01
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21517 0 0 0 171322 679 0 0 25 0 1 0 182280635 63496192 14738 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 15502 14738 583 886 0 14612 0
Current children cumulated CPU time (s) 1720.01
Current children cumulated vsize (KiB) 62008

[startup+1782.3 s]
/proc/loadavg: 1.88 1.93 1.87 2/74 1385
/proc/meminfo: memFree=1739848/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=62008 CPUtime=1779.99
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21519 0 0 0 177298 701 0 0 25 0 1 0 182280635 63496192 14740 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 15502 14740 583 886 0 14612 0
Current children cumulated CPU time (s) 1779.99
Current children cumulated vsize (KiB) 62008

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

[startup+1791.93 s]
/proc/loadavg: 2.06 1.96 1.88 4/74 1385
/proc/meminfo: memFree=1739912/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=62008 CPUtime=1789.61
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21519 0 0 0 178256 705 0 0 25 0 1 0 182280635 63496192 14740 1992294400 4194304 7823515 548682068736 18446744073709551615 6211726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 15502 14740 583 886 0 14612 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (KiB) 62008

[startup+1795.11 s]
/proc/loadavg: 2.06 1.96 1.88 3/74 1385
/proc/meminfo: memFree=1739912/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=62008 CPUtime=1792.79
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21519 0 0 0 178573 706 0 0 25 0 1 0 182280635 63496192 14740 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 15502 14740 583 886 0 14612 0
Current children cumulated CPU time (s) 1792.79
Current children cumulated vsize (KiB) 62008

[startup+1798.31 s]
/proc/loadavg: 2.05 1.96 1.88 3/74 1385
/proc/meminfo: memFree=1739912/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=62008 CPUtime=1795.99
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21519 0 0 0 178891 708 0 0 25 0 1 0 182280635 63496192 14740 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 15502 14740 583 886 0 14612 0
Current children cumulated CPU time (s) 1795.99
Current children cumulated vsize (KiB) 62008

[startup+1799.91 s]
/proc/loadavg: 2.05 1.96 1.88 2/74 1385
/proc/meminfo: memFree=1739912/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=62008 CPUtime=1797.59
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21519 0 0 0 179050 709 0 0 25 0 1 0 182280635 63496192 14740 1992294400 4194304 7823515 548682068736 18446744073709551615 6211711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 15502 14740 583 886 0 14612 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 62008

[startup+1800.31 s]
/proc/loadavg: 2.05 1.96 1.88 2/74 1385
/proc/meminfo: memFree=1739912/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=62008 CPUtime=1797.98
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21519 0 0 0 179089 709 0 0 25 0 1 0 182280635 63496192 14740 1992294400 4194304 7823515 548682068736 18446744073709551615 6205922 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1384/statm: 15502 14740 583 886 0 14612 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 62008

[startup+1800.5 s]
/proc/loadavg: 2.05 1.96 1.88 2/74 1385
/proc/meminfo: memFree=1739912/2055920 swapFree=4192948/4192956
[pid=1384] ppid=1382 vsize=62008 CPUtime=1798.18
/proc/1384/stat : 1384 (pbscip.linux.x8) R 1382 1384 1192 0 -1 4194304 21521 0 0 0 179109 709 0 0 25 0 1 0 182280635 63496192 14742 1992294400 4194304 7823515 548682068736 18446744073709551615 5875900 0 0 4096 0 0 0 0 17 1 0 0
/proc/1384/statm: 15502 14742 585 886 0 14612 0
Current children cumulated CPU time (s) 1798.18
Current children cumulated vsize (KiB) 62008

Child status: 0
Real time (s): 1800.53
CPU time (s): 1798.22
CPU user time (s): 1791.11
CPU system time (s): 7.10692
CPU usage (%): 99.8715
Max. virtual memory (cumulated for all children) (KiB): 69612

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

runsolver used 2.38564 second user time and 6.11107 second system time

The end

Launcher Data 

Begin job on node85 at 2009-06-16 12:07:01
IDJOB=1868832
IDBENCH=2010
IDSOLVER=683
FILE ID=node85/1868832-1245146821
PBS_JOBID= 9363772
Free space on /tmp= 126844 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.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-1868832-1245146821/watcher-1868832-1245146821 -o /tmp/evaluation-result-1868832-1245146821/solver-1868832-1245146821 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868832-1245146821.opb

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

MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3
RANDOM SEED=495007155

node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.213
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
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.213
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1798000 kB
Buffers:         16908 kB
Cached:         136900 kB
SwapCached:          8 kB
Active:          57528 kB
Inactive:       126172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1798000 kB
SwapTotal:     4192956 kB
SwapFree:      4192948 kB
Dirty:           10260 kB
Writeback:           0 kB
Mapped:          41228 kB
Slab:            59288 kB
Committed_AS:   578320 kB
PageTables:       2044 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126836 MiB
End job on node85 at 2009-06-16 12:37:01