Trace number 2703309

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT-8 1789.87 1790.32

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_5.opb
MD5SUMb1b77cfc7c7e45b216596a736ff4b926
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-27
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12452
Sum of products size (including duplicates)24904
Number of different products6226
Sum of products size12452

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2703309-1278572913.opb>
0.01/0.08	c original problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6827 constraints
0.01/0.08	c problem read
0.01/0.08	c presolving settings loaded
0.10/0.17	o 0
0.10/0.17	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.10/0.17	c presolving:
0.29/0.33	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 50208 impls, 400 clqs
0.59/0.67	c    (0.6s) probing: 101/6626 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.67	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.67	c presolving (2 rounds):
0.59/0.67	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.67	c  50208 implications, 400 cliques
0.59/0.67	c presolved problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6827 constraints
0.59/0.67	c     600 constraints of type <setppc>
0.59/0.67	c    6226 constraints of type <and>
0.59/0.67	c       1 constraints of type <linear>
0.59/0.67	c transformed objective value is always integral (scale: 1)
0.59/0.67	c Presolving Time: 0.54
0.59/0.67	c - non default parameters ----------------------------------------------------------------------
0.59/0.67	c # SCIP version 1.2.1.3
0.59/0.67	c 
0.59/0.67	c # frequency for displaying node information lines
0.59/0.67	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.67	c display/freq = 10000
0.59/0.67	c 
0.59/0.67	c # maximal time in seconds to run
0.59/0.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67	c limits/time = 1789.92
0.59/0.67	c 
0.59/0.67	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67	c limits/memory = 1620
0.59/0.67	c 
0.59/0.67	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.67	c # [type: int, range: [1,2], default: 1]
0.59/0.67	c timing/clocktype = 2
0.59/0.67	c 
0.59/0.67	c # should presolving try to simplify inequalities
0.59/0.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67	c constraints/linear/simplifyinequalities = TRUE
0.59/0.67	c 
0.59/0.67	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67	c constraints/indicator/addCouplingCons = TRUE
0.59/0.67	c 
0.59/0.67	c # should presolving try to simplify knapsacks
0.59/0.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.67	c 
0.59/0.67	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.59/0.67	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.67	c heuristics/undercover/freq = 0
0.59/0.67	c 
0.59/0.67	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.67	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.67	c separating/rapidlearning/freq = 0
0.59/0.67	c 
0.59/0.67	c -----------------------------------------------------------------------------------------------
0.59/0.67	c start solving
0.59/0.67	c 
25.68/25.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
25.68/25.71	c t25.6s|     1 |     0 |  6508 |     - |  30M|   0 |3558 |6626 |6827 |6626 |  13k|   0 |   0 |   0 |-1.000000e+02 | 0.000000e+00 | 100.00%
25.68/25.77	o -7
25.68/25.77	c s25.7s|     1 |     0 |  6508 |     - |  30M|   0 |3558 |6626 |6827 |6626 |  13k|   0 |   0 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
49.87/49.99	c  49.9s|     1 |     0 |  7009 |     - |  31M|   0 |3517 |6626 |6828 |6626 |  13k|  53 |   1 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
63.58/63.62	c  63.5s|     1 |     0 |  8239 |     - |  32M|   0 |3511 |6626 |6828 |6626 |  13k|  64 |   1 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
75.77/75.89	c  75.8s|     1 |     0 |  9266 |     - |  32M|   0 |3521 |6626 |6828 |6626 |  13k|  93 |   1 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
75.88/75.95	o -8
75.88/75.95	c s75.9s|     1 |     0 |  9266 |     - |  32M|   0 |3521 |6626 |6828 |6626 |  13k|  93 |   1 |   0 |-1.000000e+02 |-8.000000e+00 |  92.00%
88.97/89.08	c  89.0s|     1 |     0 | 10487 |     - |  32M|   0 |3502 |6626 |6828 |6626 |  13k| 115 |   1 |   0 |-1.000000e+02 |-8.000000e+00 |  92.00%
99.86/99.90	c  99.8s|     1 |     0 | 11448 |     - |  32M|   0 |3499 |6626 |6828 |6626 |  13k| 128 |   1 |   0 |-1.000000e+02 |-8.000000e+00 |  92.00%
111.26/111.32	c   111s|     1 |     0 | 12577 |     - |  32M|   0 |3500 |6626 |6828 |6626 |  13k| 150 |   1 |   0 |-1.000000e+02 |-8.000000e+00 |  92.00%
190.04/190.14	c   190s|     1 |     2 | 12577 |     - |  32M|   0 |3500 |6626 |6828 |6626 |  13k| 150 |   1 |  15 |-1.000000e+02 |-8.000000e+00 |  92.00%
1789.64/1790.19	c 
1789.64/1790.19	c SCIP Status        : solving was interrupted [time limit reached]
1789.64/1790.19	c Solving Time (sec) : 1790.10
1789.64/1790.19	c Solving Nodes      : 18
1789.64/1790.19	c Primal Bound       : -8.00000000000000e+00 (8 solutions)
1789.64/1790.19	c Dual Bound         : -9.98186795166912e+01
1789.64/1790.19	c Gap                : 91.99 %
1789.74/1790.20	s SATISFIABLE
1789.74/1790.20	v -x383 -x316 -x245 -x260 -x248 -x378 -x310 -x305 -x293 -x257 -x230 -x355 -x387 -x352 -x380 -x394 -x240 -x393 -x385 -x376 -x301 -x360 
1789.74/1790.20	v -x290 -x297 -x350 -x209 -x338 -x259 -x218 -x306 -x334 x323 -x348 -x231 -x388 -x312 -x336 -x357 -x339 -x296 -x255 -x239 -x369 
1789.74/1790.20	v -x286 -x299 -x329 -x373 -x330 -x232 -x311 -x226 -x256 -x358 -x372 -x284 -x322 -x370 -x326 -x283 -x246 -x319 x242 -x396 -x268 
1789.74/1790.20	v -x252 -x346 x222 x308 -x204 -x364 -x356 -x331 -x318 -x292 -x262 -x258 -x241 -x397 -x270 -x237 -x313 -x210 -x351 -x371 -x207 
1789.74/1790.20	v -x302 -x320 -x315 -x377 -x344 -x353 -x379 -x219 -x392 -x203 -x395 -x381 -x375 -x300 -x213 -x235 -x295 -x264 -x279 -x275 -x345 
1789.74/1790.20	v x291 -x340 -x289 -x269 -x234 -x317 -x243 -x390 -x228 -x202 -x398 -x363 -x359 -x349 -x337 -x333 -x307 -x303 -x298 -x288 -x282 
1789.74/1790.20	v -x251 -x247 -x244 -x212 -x324 -x386 -x354 -x389 -x223 -x294 -x224 -x236 -x266 -x214 -x254 -x272 -x341 -x362 -x400 -x309 
1789.74/1790.20	v -x285 -x328 -x347 -x201 -x391 -x367 -x365 -x361 -x343 -x342 -x335 -x327 -x325 -x314 -x304 -x281 -x278 -x271 -x267 -x265 -x263 
1789.74/1790.20	v -x238 -x225 -x220 -x217 -x216 -x208 -x205 -x368 -x253 -x384 -x332 -x374 -x280 -x206 -x215 -x287 -x229 -x221 -x399 -x261 -x249 
1789.74/1790.20	v -x227 -x382 -x274 -x250 -x321 -x233 -x277 -x273 x211 x366 x276 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 
1789.74/1790.20	v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 
1789.74/1790.20	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 
1789.74/1790.20	v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 
1789.74/1790.20	v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 
1789.74/1790.20	v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 
1789.74/1790.20	v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 
1789.74/1790.21	v x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 
1789.74/1790.21	v -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 
1789.74/1790.21	v -x6 -x5 x4 x3 -x2 -x1 
1789.74/1790.21	c SCIP Status        : solving was interrupted [time limit reached]
1789.74/1790.21	c Solving Time       :    1790.10
1789.74/1790.21	c Original Problem   :
1789.74/1790.21	c   Problem name     : HOME/instance-2703309-1278572913.opb
1789.74/1790.21	c   Variables        : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.74/1790.21	c   Constraints      : 6827 initial, 6827 maximal
1789.74/1790.21	c Presolved Problem  :
1789.74/1790.21	c   Problem name     : t_HOME/instance-2703309-1278572913.opb
1789.74/1790.21	c   Variables        : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.74/1790.21	c   Constraints      : 6827 initial, 6854 maximal
1789.74/1790.21	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.74/1790.21	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.74/1790.21	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1789.74/1790.21	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.74/1790.21	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.74/1790.21	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.74/1790.21	c   probing          :       0.24          0          0          0          0          0          0          0          0
1789.74/1790.21	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1789.74/1790.21	c   and              :       0.18          0          0          0          0          0          0          0          0
1789.74/1790.21	c   linear           :       0.05          0          0          0          0          0          0          0          0
1789.74/1790.21	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.74/1790.21	c   root node        :          -          0          -          -          0          -          -          -          -
1789.74/1790.21	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.74/1790.21	c   integral         :          0          0          0         17          0          0          0          0          0         34
1789.74/1790.21	c   setppc           :        600          6       3157          0          1          2         10          0          0          0
1789.74/1790.21	c   and              :       6226         88       3155          0          1          5        582     100760          0          0
1789.74/1790.21	c   linear           :          1          6       3150          0          0          1          0          0          0          0
1789.74/1790.21	c   logicor          :          0+         6         19          0          0          0          0          0          0          0
1789.74/1790.21	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.74/1790.21	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.74/1790.21	c   integral         :     636.75       0.00       0.00     636.75       0.00
1789.74/1790.21	c   setppc           :       0.10       0.00       0.10       0.00       0.00
1789.74/1790.21	c   and              :       1.69       0.61       1.08       0.00       0.00
1789.74/1790.21	c   linear           :       0.22       0.13       0.09       0.00       0.00
1789.74/1790.21	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1789.74/1790.21	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.74/1790.21	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.74/1790.21	c   vbounds          :       0.01          2          0          0
1789.74/1790.21	c   rootredcost      :       0.00          1          0          0
1789.74/1790.21	c   pseudoobj        :       0.07       2964          1          0
1789.74/1790.21	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.74/1790.21	c   propagation      :       0.01          9          9         28      112.0          0        0.0          -
1789.74/1790.21	c   infeasible LP    :       0.01          1          1         16      132.1          0        0.0          0
1789.74/1790.21	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.74/1790.21	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.74/1790.21	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.74/1790.21	c   applied globally :          -          -          -         27      100.4          -          -          -
1789.74/1790.21	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.74/1790.21	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.74/1790.21	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 105)
1789.74/1790.21	c   redcost          :       0.10         88          0          0          0          0
1789.74/1790.21	c   impliedbounds    :       0.03          6          0          0        124          0
1789.74/1790.21	c   intobj           :       0.00          0          0          0          0          0
1789.74/1790.21	c   cgmip            :       0.00          0          0          0          0          0
1789.74/1790.21	c   gomory           :      17.38          6          0          0          0          0
1789.74/1790.21	c   strongcg         :      17.38          6          0          0          0          0
1789.74/1790.21	c   cmir             :       1.50          6          0          0          0          0
1789.74/1790.21	c   flowcover        :       1.54          6          0          0          0          0
1789.74/1790.21	c   clique           :       2.30          6          0          0         43          0
1789.74/1790.21	c   zerohalf         :       0.00          0          0          0          0          0
1789.74/1790.21	c   mcf              :       0.62          6          0          0         60          0
1789.74/1790.21	c   rapidlearning    :      12.72          1          0          0          0          0
1789.74/1790.21	c Pricers            :       Time      Calls       Vars
1789.74/1790.21	c   problem variables:       0.00          0          0
1789.74/1790.21	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.74/1790.21	c   relpscost        :     636.75         17          0          0          0          0         34
1789.74/1790.21	c   pscost           :       0.00          0          0          0          0          0          0
1789.74/1790.21	c   inference        :       0.00          1          0          0          0          0          2
1789.74/1790.21	c   mostinf          :       0.00          0          0          0          0          0          0
1789.74/1790.21	c   leastinf         :       0.00          0          0          0          0          0          0
1789.74/1790.21	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.74/1790.21	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.74/1790.21	c   random           :       0.00          0          0          0          0          0          0
1789.74/1790.21	c Primal Heuristics  :       Time      Calls      Found
1789.74/1790.21	c   LP solutions     :       0.00          -          0
1789.74/1790.21	c   pseudo solutions :       0.00          -          0
1789.74/1790.21	c   crossover        :       0.00          0          0
1789.74/1790.21	c   veclendiving     :       0.00          0          0
1789.74/1790.21	c   objpscostdiving  :       0.00          0          0
1789.74/1790.21	c   rootsoldiving    :       0.00          0          0
1789.74/1790.21	c   linesearchdiving :       0.00          0          0
1789.74/1790.21	c   oneopt           :       0.03          2          0
1789.74/1790.21	c   coefdiving       :     150.54          1          0
1789.74/1790.21	c   pscostdiving     :      42.41          1          0
1789.74/1790.21	c   trivial          :       0.03          2          3
1789.74/1790.21	c   simplerounding   :       0.00          0          0
1789.74/1790.21	c   zirounding       :       0.02         17          0
1789.74/1790.21	c   rounding         :      10.70        102          0
1789.74/1790.21	c   shifting         :       0.29          7          5
1789.74/1790.21	c   intshifting      :       0.00          0          0
1789.74/1790.21	c   twoopt           :       0.00          0          0
1789.74/1790.21	c   fixandinfer      :       0.00          0          0
1789.74/1790.21	c   feaspump         :       0.00          0          0
1789.74/1790.21	c   fracdiving       :     138.55          1          0
1789.74/1790.21	c   intdiving        :       0.00          0          0
1789.74/1790.21	c   actconsdiving    :       0.00          0          0
1789.74/1790.21	c   guideddiving     :       0.00          0          0
1789.74/1790.21	c   octane           :       0.00          0          0
1789.74/1790.21	c   rens             :       0.02          0          0
1789.74/1790.21	c   rins             :       0.00          0          0
1789.74/1790.21	c   localbranching   :       0.00          0          0
1789.74/1790.21	c   mutation         :       0.00          0          0
1789.74/1790.21	c   dins             :       0.00          0          0
1789.74/1790.21	c   undercover       :       0.98          1          0
1789.74/1790.21	c   nlp              :       0.00          0          0
1789.74/1790.21	c   trysol           :       0.00          0          0
1789.74/1790.21	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.74/1790.21	c   primal LP        :       0.57          0          0       0.00       0.00
1789.74/1790.21	c   dual LP          :     752.18        105     370886    3532.25     493.08
1789.74/1790.21	c   lex dual LP      :       0.00          0          0       0.00          -
1789.74/1790.21	c   barrier LP       :       0.00          0          0       0.00          -
1789.74/1790.21	c   diving/probing LP:     320.73       1896     209187     110.33     652.23
1789.74/1790.21	c   strong branching :     636.72        276     272674     987.95     428.25
1789.74/1790.21	c     (at root node) :          -         15      14817     987.80          -
1789.74/1790.21	c   conflict analysis:       0.00          0          0       0.00          -
1789.74/1790.21	c B&B Tree           :
1789.74/1790.21	c   number of runs   :          1
1789.74/1790.21	c   nodes            :         18
1789.74/1790.21	c   nodes (total)    :         18
1789.74/1790.21	c   nodes left       :         19
1789.74/1790.21	c   max depth        :          6
1789.74/1790.21	c   max depth (total):          6
1789.74/1790.21	c   backtracks       :          3 (16.7%)
1789.74/1790.21	c   delayed cutoffs  :          0
1789.74/1790.21	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1789.74/1790.21	c   avg switch length:       1.89
1789.74/1790.21	c   switching time   :       0.61
1789.74/1790.21	c Solution           :
1789.74/1790.21	c   Solutions found  :          8 (3 improvements)
1789.74/1790.21	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1789.74/1790.21	c   Primal Bound     : -8.00000000000000e+00   (in run 1, after 1 nodes, 75.82 seconds, depth 0, found by <shifting>)
1789.74/1790.21	c   Dual Bound       : -9.98186795166912e+01
1789.74/1790.21	c   Gap              :      91.99 %
1789.74/1790.21	c   Root Dual Bound  : -9.99999999999999e+01
1789.74/1790.21	c   Root Iterations  :      12577
1789.84/1790.32	c Time complete: 1789.86.

Verifier Data 

OK	-8

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.04 0.35 3/106 1503
/proc/meminfo: memFree=1700488/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=5824 CPUtime=0
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 785 0 0 0 0 0 0 0 18 0 1 0 25505039 5963776 700 1992294400 4194304 8395647 140733868713984 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1503/statm: 1456 705 336 1026 0 426 0

[startup+0.0216019 s]
/proc/loadavg: 0.00 0.04 0.35 3/106 1503
/proc/meminfo: memFree=1700488/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=12104 CPUtime=0.01
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 2311 0 0 0 1 0 0 0 20 0 1 0 25505039 12394496 2223 1992294400 4194304 8395647 140733868713984 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1503/statm: 3026 2223 393 1026 0 1996 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12104

[startup+0.10161 s]
/proc/loadavg: 0.00 0.04 0.35 3/106 1503
/proc/meminfo: memFree=1700488/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=24456 CPUtime=0.1
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 5695 0 0 0 8 2 0 0 20 0 1 0 25505039 25042944 5253 1992294400 4194304 8395647 140733868713984 18446744073709551615 7320681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 6114 5253 409 1026 0 5084 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 24456

[startup+0.300629 s]
/proc/loadavg: 0.00 0.04 0.35 3/106 1503
/proc/meminfo: memFree=1700488/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=35344 CPUtime=0.29
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 8217 0 0 0 27 2 0 0 20 0 1 0 25505039 36192256 7775 1992294400 4194304 8395647 140733868713984 18446744073709551615 4684118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 8836 7775 474 1026 0 7806 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35344

[startup+0.700671 s]
/proc/loadavg: 0.00 0.04 0.35 3/106 1503
/proc/meminfo: memFree=1700488/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=42648 CPUtime=0.69
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 10171 0 0 0 66 3 0 0 21 0 1 0 25505039 43671552 9729 1992294400 4194304 8395647 140733868713984 18446744073709551615 6349190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 10662 9729 525 1026 0 9632 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42648

[startup+1.50075 s]
/proc/loadavg: 0.08 0.05 0.36 2/107 1504
/proc/meminfo: memFree=1643192/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=67724 CPUtime=1.49
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 16493 0 0 0 144 5 0 0 23 0 1 0 25505039 69349376 15610 1992294400 4194304 8395647 140733868713984 18446744073709551615 6503918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 16931 15610 590 1026 0 15901 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67724

[startup+3.10092 s]
/proc/loadavg: 0.08 0.05 0.36 2/107 1504
/proc/meminfo: memFree=1639224/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=70084 CPUtime=3.09
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 17142 0 0 0 302 7 0 0 25 0 1 0 25505039 71766016 16250 1992294400 4194304 8395647 140733868713984 18446744073709551615 6752906 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 17521 16250 589 1026 0 16491 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 70084

[startup+6.30124 s]
/proc/loadavg: 0.08 0.05 0.36 2/107 1504
/proc/meminfo: memFree=1636744/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=70084 CPUtime=6.29
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 17315 0 0 0 621 8 0 0 25 0 1 0 25505039 71766016 16414 1992294400 4194304 8395647 140733868713984 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 17521 16414 580 1026 0 16491 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70084

[startup+12.7019 s]
/proc/loadavg: 0.22 0.08 0.36 2/107 1504
/proc/meminfo: memFree=1634636/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=73396 CPUtime=12.69
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 18128 0 0 0 1260 9 0 0 25 0 1 0 25505039 75157504 16891 1992294400 4194304 8395647 140733868713984 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 18349 16891 580 1026 0 17319 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73396

[startup+25.5012 s]
/proc/loadavg: 0.34 0.11 0.37 2/107 1505
/proc/meminfo: memFree=1634388/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=73396 CPUtime=25.48
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 18158 0 0 0 2535 13 0 0 25 0 1 0 25505039 75157504 16921 1992294400 4194304 8395647 140733868713984 18446744073709551615 6698030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 18349 16921 580 1026 0 17319 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73396

[startup+51.1008 s]
/proc/loadavg: 0.56 0.18 0.38 2/107 1506
/proc/meminfo: memFree=1602644/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=51.08
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 33856 0 0 0 5053 55 0 0 25 0 1 0 25505039 105558016 24796 1992294400 4194304 8395647 140733868713984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 24796 637 1026 0 24741 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 103084

[startup+102.308 s]
/proc/loadavg: 0.94 0.35 0.43 2/107 1507
/proc/meminfo: memFree=1602520/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=102.27
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 33861 0 0 0 10159 68 0 0 25 0 1 0 25505039 105558016 24801 1992294400 4194304 8395647 140733868713984 18446744073709551615 6124428 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 24801 637 1026 0 24741 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 103084

[startup+162.301 s]
/proc/loadavg: 0.98 0.47 0.46 2/107 1508
/proc/meminfo: memFree=1602396/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=162.25
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 33863 0 0 0 16144 81 0 0 25 0 1 0 25505039 105558016 24803 1992294400 4194304 8395647 140733868713984 18446744073709551615 6702063 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 24803 638 1026 0 24741 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 103084

[startup+222.301 s]
/proc/loadavg: 0.99 0.56 0.49 2/107 1510
/proc/meminfo: memFree=1602396/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=222.23
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 33866 0 0 0 22126 97 0 0 25 0 1 0 25505039 105558016 24806 1992294400 4194304 8395647 140733868713984 18446744073709551615 6702088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 24806 639 1026 0 24741 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 103084

[startup+282.302 s]
/proc/loadavg: 0.99 0.64 0.52 2/107 1512
/proc/meminfo: memFree=1602396/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=282.22
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34122 0 0 0 28104 118 0 0 25 0 1 0 25505039 105558016 25062 1992294400 4194304 8395647 140733868713984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25062 895 1026 0 24741 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 103084

[startup+342.301 s]
/proc/loadavg: 0.99 0.70 0.55 2/107 1513
/proc/meminfo: memFree=1602396/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=342.2
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34122 0 0 0 34086 134 0 0 25 0 1 0 25505039 105558016 25062 1992294400 4194304 8395647 140733868713984 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25062 895 1026 0 24741 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 103084

[startup+402.301 s]
/proc/loadavg: 0.99 0.75 0.57 2/107 1515
/proc/meminfo: memFree=1602396/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=402.19
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34122 0 0 0 40066 153 0 0 25 0 1 0 25505039 105558016 25062 1992294400 4194304 8395647 140733868713984 18446744073709551615 6502774 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25062 895 1026 0 24741 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 103084

[startup+462.301 s]
/proc/loadavg: 0.99 0.80 0.60 2/107 1516
/proc/meminfo: memFree=1602396/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=462.17
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34122 0 0 0 46046 171 0 0 25 0 1 0 25505039 105558016 25062 1992294400 4194304 8395647 140733868713984 18446744073709551615 6663860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25062 895 1026 0 24741 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 103084

[startup+522.301 s]
/proc/loadavg: 0.99 0.83 0.62 3/107 1518
/proc/meminfo: memFree=1602272/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=522.15
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34122 0 0 0 52024 191 0 0 25 0 1 0 25505039 105558016 25062 1992294400 4194304 8395647 140733868713984 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25062 895 1026 0 24741 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 103084

[startup+582.301 s]
/proc/loadavg: 0.99 0.86 0.64 2/107 1520
/proc/meminfo: memFree=1602272/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=582.14
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34122 0 0 0 58006 208 0 0 25 0 1 0 25505039 105558016 25062 1992294400 4194304 8395647 140733868713984 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25062 895 1026 0 24741 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 103084

[startup+642.301 s]
/proc/loadavg: 1.04 0.89 0.66 2/107 1524
/proc/meminfo: memFree=1601776/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=642.13
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34122 0 0 0 63987 226 0 0 25 0 1 0 25505039 105558016 25062 1992294400 4194304 8395647 140733868713984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25062 895 1026 0 24741 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 103084

[startup+702.302 s]

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

/proc/meminfo: memFree=1602024/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1002.04
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34122 0 0 0 99857 347 0 0 25 0 1 0 25505039 105558016 25062 1992294400 4194304 8395647 140733868713984 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25062 895 1026 0 24741 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 103084

[startup+1062.3 s]
/proc/loadavg: 1.00 0.96 0.77 2/107 1535
/proc/meminfo: memFree=1602024/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1062.02
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34122 0 0 0 105839 363 0 0 25 0 1 0 25505039 105558016 25062 1992294400 4194304 8395647 140733868713984 18446744073709551615 6697351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25062 895 1026 0 24741 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 103084

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.78 2/107 1537
/proc/meminfo: memFree=1602024/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1122.01
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34122 0 0 0 111821 380 0 0 25 0 1 0 25505039 105558016 25062 1992294400 4194304 8395647 140733868713984 18446744073709551615 6663825 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25062 895 1026 0 24741 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 103084

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.79 2/107 1539
/proc/meminfo: memFree=1601900/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1181.99
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 117800 399 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 6663825 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 103084

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.80 2/107 1540
/proc/meminfo: memFree=1601652/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1241.97
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 123782 415 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 103084

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/107 1542
/proc/meminfo: memFree=1601652/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1301.96
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 129765 431 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 103084

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 1543
/proc/meminfo: memFree=1601652/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1361.95
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 135750 445 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 6696326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 103084

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 1545
/proc/meminfo: memFree=1601652/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1421.93
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 141732 461 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 6702104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 103084

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 1547
/proc/meminfo: memFree=1601652/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1481.91
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 147714 477 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 103084

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 1548
/proc/meminfo: memFree=1601652/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1541.9
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 153696 494 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 103084

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 1550
/proc/meminfo: memFree=1601652/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1601.88
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 159679 509 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 6721188 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 103084

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 1551
/proc/meminfo: memFree=1601652/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1661.87
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 165658 529 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 103084

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 1553
/proc/meminfo: memFree=1601652/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1721.86
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 171636 550 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 6670373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 103084

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 1555
/proc/meminfo: memFree=1601404/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1781.83
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 177616 567 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 103084

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

[startup+1785.5 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 1555
/proc/meminfo: memFree=1601404/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1785.03
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 177935 568 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 6697959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1785.03
Current children cumulated vsize (KiB) 103084

[startup+1788.7 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 1555
/proc/meminfo: memFree=1601404/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1788.23
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 178254 569 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1788.23
Current children cumulated vsize (KiB) 103084

[startup+1789.5 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 1555
/proc/meminfo: memFree=1601404/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1789.04
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 178334 570 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1789.04
Current children cumulated vsize (KiB) 103084

[startup+1789.9 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 1555
/proc/meminfo: memFree=1601404/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1789.44
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34123 0 0 0 178374 570 0 0 25 0 1 0 25505039 105558016 25063 1992294400 4194304 8395647 140733868713984 18446744073709551615 6503558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25063 896 1026 0 24741 0
Current children cumulated CPU time (s) 1789.44
Current children cumulated vsize (KiB) 103084

[startup+1790.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 1555
/proc/meminfo: memFree=1601404/2059040 swapFree=4134944/4192956
[pid=1503] ppid=1501 vsize=103084 CPUtime=1789.84
/proc/1503/stat : 1503 (pbscip.linux.x8) R 1501 1503 1476 0 -1 4202496 34125 0 0 0 178414 570 0 0 25 0 1 0 25505039 105558016 25065 1992294400 4194304 8395647 140733868713984 18446744073709551615 4739572 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1503/statm: 25771 25065 898 1026 0 24741 0
Current children cumulated CPU time (s) 1789.84
Current children cumulated vsize (KiB) 103084

Child status: 0
Real time (s): 1790.32
CPU time (s): 1789.87
CPU user time (s): 1784.15
CPU system time (s): 5.71313
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 121068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.15
system time used= 5.71313
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34128
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= 3
involuntary context switches= 15107

runsolver used 2.92056 second user time and 8.48671 second system time

The end

Launcher Data 

Begin job on node002 at 2010-07-08 09:08:33
IDJOB=2703309
IDBENCH=48253
IDSOLVER=1213
FILE ID=node002/2703309-1278572913
PBS_JOBID= 11240113
Free space on /tmp= 62568 MiB

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

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

MD5SUM BENCH= b1b77cfc7c7e45b216596a736ff4b926
RANDOM SEED=1106380042

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1700892 kB
Buffers:         95004 kB
Cached:         177764 kB
SwapCached:      12900 kB
Active:         165880 kB
Inactive:       122048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1700892 kB
SwapTotal:     4192956 kB
SwapFree:      4134944 kB
Dirty:           10548 kB
Writeback:           0 kB
AnonPages:       11856 kB
Mapped:           8368 kB
Slab:            48204 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179624 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62556 MiB
End job on node002 at 2010-07-08 09:38:24