Trace number 3488636

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
SCIP spx E_2 2011-06-10 (fixed)SAT-58 1797.16 1797.11

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM169f1f6799c5c0fd2a1b0aca08165f42
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-58
Best CPU time to get the best result obtained on this benchmark1797.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
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)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

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 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 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-3488636-1307785598.opb>
0.00/0.02	c original problem has 2924 variables (2924 bin, 0 int, 0 impl, 0 cont) and 3525 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.03	o 0
0.00/0.03	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.00/0.03	c presolving:
0.00/0.06	c (round 1) 0 del vars, 3324 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 20592 impls, 399 clqs
0.00/0.07	c (round 2) 2524 del vars, 3324 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 20592 impls, 0 clqs
0.00/0.09	c    (0.1s) probing: 101/400 (25.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.09	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.09	c presolving (3 rounds):
0.00/0.09	c  2524 deleted vars, 3324 deleted constraints, 400 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.09	c  20592 implications, 0 cliques
0.00/0.09	c presolved problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.00/0.09	c     400 constraints of type <knapsack>
0.00/0.09	c     200 constraints of type <setppc>
0.00/0.09	c       1 constraints of type <linear>
0.00/0.09	c transformed objective value is always integral (scale: 1)
0.00/0.09	c Presolving Time: 0.06
0.00/0.09	c - non default parameters ----------------------------------------------------------------------
0.00/0.09	c # SCIP version 2.0.1.5
0.00/0.09	c 
0.00/0.09	c # frequency for displaying node information lines
0.00/0.09	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.09	c display/freq = 10000
0.00/0.09	c 
0.00/0.09	c # maximal time in seconds to run
0.00/0.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09	c limits/time = 1797
0.00/0.09	c 
0.00/0.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09	c limits/memory = 13950
0.00/0.09	c 
0.00/0.09	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.09	c # [type: int, range: [1,2], default: 1]
0.00/0.09	c timing/clocktype = 2
0.00/0.09	c 
0.00/0.09	c # belongs reading time to solving time?
0.00/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09	c timing/reading = TRUE
0.00/0.09	c 
0.00/0.09	c # should presolving try to simplify inequalities
0.00/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09	c constraints/linear/simplifyinequalities = TRUE
0.00/0.09	c 
0.00/0.09	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09	c constraints/indicator/addCouplingCons = TRUE
0.00/0.09	c 
0.00/0.09	c # should presolving try to simplify knapsacks
0.00/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.09	c 
0.00/0.09	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.09	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09	c separating/rapidlearning/freq = 0
0.00/0.09	c 
0.00/0.09	c -----------------------------------------------------------------------------------------------
0.00/0.09	c start solving
0.00/0.09	c 
0.49/0.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.55	c t 0.6s|     1 |     0 |  3500 |     - |8186k|   0 | 400 | 400 | 601 | 400 | 601 |   0 |   0 |   0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.49/0.56	o -1
0.49/0.56	c R 0.6s|     1 |     0 |  3500 |     - |8217k|   0 | 400 | 400 | 601 | 400 | 601 |   0 |   0 |   0 |-1.000000e+02 |-1.000000e+00 |  99.00%
4.49/4.56	c   4.6s|     1 |     2 | 10319 |     - |8256k|   0 | 400 | 400 | 601 | 400 | 601 |   0 |   0 |  21 |-1.000000e+02 |-1.000000e+00 |  99.00%
19.80/19.82	o -2
19.80/19.82	c R19.8s|    13 |    12 | 10975 | 622.9 |8289k|  12 | 388 | 400 | 601 | 400 | 601 |   0 |   0 | 172 |-9.802535e+01 |-2.000000e+00 |  97.96%
26.59/26.61	o -49
26.59/26.61	c c26.6s|    17 |    18 | 13086 | 599.1 |8546k|  16 |   - | 400 | 601 | 400 | 601 |   0 |   0 | 246 |-9.802535e+01 |-4.900000e+01 |  50.01%
37.59/37.64	o -50
37.59/37.64	c p37.6s|    29 |    30 | 15448 | 426.7 |8522k|  16 |   - | 400 | 601 | 400 | 601 |   0 |   0 | 434 |-9.802535e+01 |-5.000000e+01 |  48.99%
48.79/48.87	o -57
48.79/48.87	c f48.9s|    41 |    42 | 17562 | 351.6 |8636k|  16 |   - | 400 | 601 | 400 | 601 |   0 |   0 | 617 |-9.802535e+01 |-5.700000e+01 |  41.85%
86.90/86.94	o -58
86.90/86.94	c l86.9s|    89 |    90 | 40457 | 420.0 |8791k|  18 |   - | 400 | 613 | 400 | 601 |   0 |  12 |1251 |-9.802535e+01 |-5.800000e+01 |  40.83%
271.20/271.25	c   271s| 10000 |  4335 |632669 |  62.9 |  14M| 128 | 275 | 400 | 664 | 400 | 601 |   0 |  64 |1315 |-9.515812e+01 |-5.800000e+01 |  39.05%
520.61/520.67	c   521s| 20000 | 14335 |  1666k|  83.2 |  22M| 128 | 220 | 400 | 737 | 400 | 601 |   0 | 137 |1578 |-9.460232e+01 |-5.800000e+01 |  38.69%
746.51/746.52	c   747s| 30000 | 24335 |  2631k|  87.6 |  31M| 128 | 200 | 400 | 810 | 400 | 601 |   0 | 223 |1980 |-9.425062e+01 |-5.800000e+01 |  38.46%
969.53/969.54	c   970s| 40000 | 34335 |  3612k|  90.2 |  39M| 128 | 318 | 400 | 792 | 400 | 601 |   0 | 273 |2341 |-9.395273e+01 |-5.800000e+01 |  38.27%
1189.83/1189.83	c  1190s| 50000 | 44335 |  4585k|  91.6 |  47M| 128 | 287 | 400 | 769 | 400 | 601 |   0 | 327 |2627 |-9.373524e+01 |-5.800000e+01 |  38.12%
1406.04/1406.01	c  1406s| 60000 | 54335 |  5538k|  92.3 |  56M| 128 | 236 | 400 | 759 | 400 | 601 |   0 | 382 |2838 |-9.354383e+01 |-5.800000e+01 |  38.00%
1620.04/1620.02	c  1620s| 70000 | 64335 |  6507k|  92.9 |  64M| 128 | 231 | 400 | 757 | 400 | 601 |   0 | 435 |3021 |-9.337784e+01 |-5.800000e+01 |  37.89%
1797.05/1797.00	c 
1797.05/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1797.05/1797.00	c Solving Time (sec) : 1797.00
1797.05/1797.00	c Solving Nodes      : 78550
1797.05/1797.00	c Primal Bound       : -5.80000000000000e+01 (498 solutions)
1797.05/1797.00	c Dual Bound         : -9.32332929880080e+01
1797.05/1797.00	c Gap                : 37.79 %
1797.05/1797.01	s SATISFIABLE
1797.05/1797.01	v -x337 -x254 -x326 -x298 x375 x353 x329 x311 -x351 -x391 -x235 -x400 -x393 -x398 -x312 x293 x336 -x331 -x259 x304 -x366 x349 x276 
1797.05/1797.01	v -x341 x281 -x396 -x359 -x228 -x399 -x346 -x255 -x244 -x322 -x358 x270 x219 -x314 -x266 -x347 x371 -x279 -x372 -x260 -x382 -x333 
1797.05/1797.01	v -x216 -x277 -x243 -x269 x324 -x320 -x267 -x237 -x352 -x387 -x310 -x335 x214 -x261 x356 -x263 -x274 -x385 -x381 x265 x316 
1797.05/1797.01	v -x213 -x253 x278 -x227 x357 -x290 x289 -x288 -x285 x251 -x313 -x379 -x294 -x210 -x272 -x241 -x378 -x249 -x209 x389 -x286 -x250 
1797.05/1797.01	v -x234 x224 x264 x306 -x361 -x268 x388 x334 -x383 x380 -x330 x271 -x247 -x301 -x239 -x291 -x362 -x354 -x258 -x256 -x230 -x211 
1797.05/1797.01	v -x308 x340 x392 -x232 -x394 x206 -x397 x363 x309 -x297 -x282 -x238 -x218 -x207 x296 x287 -x222 x368 -x348 x390 x370 -x292 
1797.05/1797.01	v -x246 x217 -x248 -x344 x273 -x299 -x343 x332 -x245 -x376 x377 x373 -x307 x295 -x240 x236 -x262 -x223 -x325 -x395 -x220 x300 -x203 
1797.05/1797.01	v -x367 -x257 -x233 -x208 -x305 -x221 -x321 -x283 -x323 -x319 -x374 -x369 -x202 -x360 x339 -x280 -x252 -x231 -x225 x212 -x205 
1797.05/1797.01	v -x318 -x350 -x342 -x303 -x215 -x204 x365 x315 x355 -x201 -x384 -x328 x317 -x242 -x345 -x386 x229 -x226 x338 x364 -x327 -x275 
1797.05/1797.01	v -x284 x302 -x200 x199 x198 -x197 -x196 x195 x194 x193 -x192 x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 x183 -x182 x181 
1797.05/1797.01	v -x180 x179 -x178 -x177 x176 -x175 x174 -x173 -x172 -x171 -x170 x169 -x168 x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 
1797.05/1797.01	v x158 -x157 -x156 -x155 x154 -x153 x152 x151 x150 -x149 -x148 -x147 x146 x145 -x144 -x143 x142 x141 -x140 -x139 -x138 x137 -x136 
1797.05/1797.01	v -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 x127 -x126 -x125 -x124 x123 -x122 x121 -x120 -x119 x118 -x117 -x116 -x115 
1797.05/1797.01	v -x114 x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 x99 -x98 -x97 -x96 -x95 x94 -x93 x92 x91 
1797.05/1797.01	v -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 x74 -x73 x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 
1797.05/1797.01	v -x64 -x63 -x62 -x61 -x60 x59 -x58 x57 -x56 -x55 x54 -x53 x52 -x51 x50 x49 x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 
1797.05/1797.01	v -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 
1797.05/1797.01	v -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1 
1797.05/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1797.05/1797.01	c Total Time         :    1797.00
1797.05/1797.01	c   solving          :    1797.00
1797.05/1797.01	c   presolving       :       0.06 (included in solving)
1797.05/1797.01	c   reading          :       0.02 (included in solving)
1797.05/1797.01	c Original Problem   :
1797.05/1797.01	c   Problem name     : HOME/instance-3488636-1307785598.opb
1797.05/1797.01	c   Variables        : 2924 (2924 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01	c   Constraints      : 3525 initial, 3525 maximal
1797.05/1797.01	c Presolved Problem  :
1797.05/1797.01	c   Problem name     : t_HOME/instance-3488636-1307785598.opb
1797.05/1797.01	c   Variables        : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01	c   Constraints      : 601 initial, 816 maximal
1797.05/1797.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.05/1797.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1797.05/1797.01	c   dualfix          :       0.00       2524          0          0          0          0          0          0          0          0
1797.05/1797.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.05/1797.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.05/1797.01	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1797.05/1797.01	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1797.05/1797.01	c   probing          :       0.01          0          0          0          0          0          0          0          0          0
1797.05/1797.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0          0
1797.05/1797.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0          0
1797.05/1797.01	c   linear           :       0.01          0          0          0          0          0          0          0          0          0
1797.05/1797.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1797.05/1797.01	c   pseudoboolean    :       0.01          0          0          0          0          0       3324        400          0          0
1797.05/1797.01	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.05/1797.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.05/1797.01	c   integral         :          0          0          0      75724          0        503          0          1          9          0          0     151430
1797.05/1797.01	c   knapsack         :        400          1     668442          0          2        498         95          1     238897          0          0          0
1797.05/1797.01	c   setppc           :        200          1     620186          0          2        497         21          0      56403          0          0          0
1797.05/1797.01	c   linear           :          1          1     668441          0          0        497          0         55          0          0          0          0
1797.05/1797.01	c   logicor          :          0+         0      71563          0          0          0          0          0          0          0          0          0
1797.05/1797.01	c   countsols        :          0          0          0          0          2        501          0          0          0          0          0          0
1797.05/1797.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.05/1797.01	c   integral         :     126.09       0.00       0.00     126.09       0.00       0.00       0.00
1797.05/1797.01	c   knapsack         :       4.14       0.00       4.07       0.00       0.00       0.07       0.00
1797.05/1797.01	c   setppc           :       0.89       0.00       0.89       0.00       0.00       0.01       0.00
1797.05/1797.01	c   linear           :       0.55       0.01       0.54       0.00       0.00       0.00       0.00
1797.05/1797.01	c   logicor          :       0.11       0.00       0.11       0.00       0.00       0.00       0.00
1797.05/1797.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.05/1797.01	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.05/1797.01	c   vbounds          :          0          0          0          0
1797.05/1797.01	c   rootredcost      :          6          0          0          0
1797.05/1797.01	c   pseudoobj        :     668890          2          9          0
1797.05/1797.01	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.05/1797.01	c   vbounds          :       0.13       0.13       0.00
1797.05/1797.01	c   rootredcost      :       0.12       0.12       0.00
1797.05/1797.01	c   pseudoobj        :       2.93       2.93       0.00
1797.05/1797.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.05/1797.01	c   propagation      :       0.00          1          1          3      141.7          0        0.0          -
1797.05/1797.01	c   infeasible LP    :       0.03        592        510        586       15.3          0        0.0          0
1797.05/1797.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.05/1797.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.05/1797.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.05/1797.01	c   applied globally :          -          -          -        480        3.0          -          -          -
1797.05/1797.01	c   applied locally  :          -          -          -          1      141.0          -          -          -
1797.05/1797.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.05/1797.01	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1797.05/1797.01	c   redcost          :       0.64      77639          0      12514          0          0
1797.05/1797.01	c   impliedbounds    :       0.00          1          0          0          0          0
1797.05/1797.01	c   intobj           :       0.00          0          0          0          0          0
1797.05/1797.01	c   gomory           :       0.06          1          0          0          0          0
1797.05/1797.01	c   cgmip            :       0.00          0          0          0          0          0
1797.05/1797.01	c   closecuts        :       0.00          0          0          0          0          0
1797.05/1797.01	c   strongcg         :       0.05          1          0          0          0          0
1797.05/1797.01	c   cmir             :       0.00          1          0          0          0          0
1797.05/1797.01	c   flowcover        :       0.00          1          0          0          0          0
1797.05/1797.01	c   clique           :       0.00          1          0          0          0          0
1797.05/1797.01	c   zerohalf         :       0.00          0          0          0          0          0
1797.05/1797.01	c   mcf              :       0.00          1          0          0          0          0
1797.05/1797.01	c   oddcycle         :       0.00          0          0          0          0          0
1797.05/1797.01	c   rapidlearning    :       0.17          1          0          0          0          0
1797.05/1797.01	c Pricers            :       Time      Calls       Vars
1797.05/1797.01	c   problem variables:       0.00          0          0
1797.05/1797.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.05/1797.01	c   relpscost        :     126.04      75724          1          9          0          0     151430
1797.05/1797.01	c   pscost           :       0.00          0          0          0          0          0          0
1797.05/1797.01	c   inference        :       0.00          2          0          0          0          0          4
1797.05/1797.01	c   mostinf          :       0.00          0          0          0          0          0          0
1797.05/1797.01	c   leastinf         :       0.00          0          0          0          0          0          0
1797.05/1797.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.05/1797.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.05/1797.01	c   random           :       0.00          0          0          0          0          0          0
1797.05/1797.01	c Primal Heuristics  :       Time      Calls      Found
1797.05/1797.01	c   LP solutions     :       0.00          -          0
1797.05/1797.01	c   pseudo solutions :       0.00          -          0
1797.05/1797.01	c   oneopt           :       0.02          6          0
1797.05/1797.01	c   crossover        :       0.10          2          1
1797.05/1797.01	c   rootsoldiving    :       6.77         62          2
1797.05/1797.01	c   objpscostdiving  :      39.38         70         59
1797.05/1797.01	c   veclendiving     :      23.74        169          0
1797.05/1797.01	c   guideddiving     :      51.28        408          0
1797.05/1797.01	c   fracdiving       :      71.11        529          1
1797.05/1797.01	c   linesearchdiving :      73.48        551          1
1797.05/1797.01	c   pscostdiving     :     115.70        674          1
1797.05/1797.01	c   trivial          :       0.00          2          1
1797.05/1797.01	c   shiftandpropagate:       0.00          0          0
1797.05/1797.01	c   simplerounding   :       0.02          0          0
1797.05/1797.01	c   zirounding       :       5.00          0          0
1797.05/1797.01	c   rounding         :      39.15      17644          2
1797.05/1797.01	c   shifting         :      35.60       7715        429
1797.05/1797.01	c   intshifting      :       0.00          0          0
1797.05/1797.01	c   twoopt           :       0.00          0          0
1797.05/1797.01	c   fixandinfer      :       0.00          0          0
1797.05/1797.01	c   feaspump         :       0.60          1          0
1797.05/1797.01	c   clique           :       0.00          0          0
1797.05/1797.01	c   coefdiving       :     118.03        699          1
1797.05/1797.01	c   intdiving        :       0.00          0          0
1797.05/1797.01	c   actconsdiving    :       0.00          0          0
1797.05/1797.01	c   octane           :       0.00          0          0
1797.05/1797.01	c   rens             :       0.01          0          0
1797.05/1797.01	c   rins             :       0.00          0          0
1797.05/1797.01	c   localbranching   :       0.00          0          0
1797.05/1797.01	c   mutation         :       0.00          0          0
1797.05/1797.01	c   dins             :       0.00          0          0
1797.05/1797.01	c   vbounds          :       0.00          0          0
1797.05/1797.01	c   undercover       :       0.00          0          0
1797.05/1797.01	c   subnlp           :       0.01          0          0
1797.05/1797.01	c   trysol           :       0.02          0          0
1797.05/1797.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.05/1797.01	c   primal LP        :       0.00          0          0       0.00          -
1797.05/1797.01	c   dual LP          :    1075.54      79597    5008861      62.93    4657.07
1797.05/1797.01	c   lex dual LP      :       0.00          0          0       0.00          -
1797.05/1797.01	c   barrier LP       :       0.00          0          0       0.00          -
1797.05/1797.01	c   diving/probing LP:     447.86     450414    2292869       5.09    5119.56
1797.05/1797.01	c   strong branching :     121.71       3153     161460      51.21    1326.63
1797.05/1797.01	c     (at root node) :          -         21       7156     340.76          -
1797.05/1797.01	c   conflict analysis:       0.00          0          0       0.00          -
1797.05/1797.01	c B&B Tree           :
1797.05/1797.01	c   number of runs   :          1
1797.05/1797.01	c   nodes            :      78550
1797.05/1797.01	c   nodes (total)    :      78550
1797.05/1797.01	c   nodes left       :      72885
1797.05/1797.01	c   max depth        :        128
1797.05/1797.01	c   max depth (total):        128
1797.05/1797.01	c   backtracks       :       6431 (8.2%)
1797.05/1797.01	c   delayed cutoffs  :          0
1797.05/1797.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.05/1797.01	c   avg switch length:       3.24
1797.05/1797.01	c   switching time   :       2.19
1797.05/1797.01	c Solution           :
1797.05/1797.01	c   Solutions found  :        498 (7 improvements)
1797.05/1797.01	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.05/1797.01	c   Primal Bound     : -5.80000000000000e+01   (in run 1, after 89 nodes, 86.94 seconds, depth 216, found by <linesearchdiving>)
1797.05/1797.01	c   Dual Bound       : -9.32332929880080e+01
1797.05/1797.01	c   Gap              :      37.79 %
1797.05/1797.01	c   Root Dual Bound  : -9.99999999999982e+01
1797.05/1797.01	c   Root Iterations  :       3500
1797.15/1797.10	c Time complete: 1797.15.

Verifier Data 

OK	-58

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488636-1307785598/watcher-3488636-1307785598 -o /tmp/evaluation-result-3488636-1307785598/solver-3488636-1307785598 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488636-1307785598.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.84 1.98 1.95 2/177 9252
/proc/meminfo: memFree=31673888/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=12692 CPUtime=0 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 2138 0 0 0 0 0 0 0 25 0 1 0 968790475 12996608 2093 33554432000 4194304 9016284 140737208079120 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9252/statm: 3173 2100 353 1178 0 1991 0

[startup+0.0118531 s]
/proc/loadavg: 1.84 1.98 1.95 2/177 9252
/proc/meminfo: memFree=31673888/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=15536 CPUtime=0 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 2870 0 0 0 0 0 0 0 25 0 1 0 968790475 15908864 2825 33554432000 4194304 9016284 140737208079120 18446744073709551615 7928096 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9252/statm: 3884 2825 376 1178 0 2702 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15536

[startup+0.100839 s]
/proc/loadavg: 1.84 1.98 1.95 2/177 9252
/proc/meminfo: memFree=31673888/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=30140 CPUtime=0.09 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 6726 0 0 0 9 0 0 0 25 0 1 0 968790475 30863360 6424 33554432000 4194304 9016284 140737208079120 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 7535 6424 637 1178 0 6353 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30140

[startup+0.3008 s]
/proc/loadavg: 1.84 1.98 1.95 2/177 9252
/proc/meminfo: memFree=31673888/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=31176 CPUtime=0.29 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 7014 0 0 0 28 1 0 0 25 0 1 0 968790475 31924224 6712 33554432000 4194304 9016284 140737208079120 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 7794 6712 638 1178 0 6612 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31176

[startup+0.700728 s]
/proc/loadavg: 1.84 1.98 1.95 2/177 9252
/proc/meminfo: memFree=31673888/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=45492 CPUtime=0.69 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 10809 0 0 0 68 1 0 0 25 0 1 0 968790475 46583808 10055 33554432000 4194304 9016284 140737208079120 18446744073709551615 18446744073699065971 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 11373 10057 686 1178 0 10191 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45492

[startup+1.50058 s]
/proc/loadavg: 1.84 1.98 1.95 3/178 9253
/proc/meminfo: memFree=31615748/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=34312 CPUtime=1.49 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 13722 0 0 0 145 4 0 0 25 0 1 0 968790475 35135488 7504 33554432000 4194304 9016284 140737208079120 18446744073709551615 7178317 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 8578 7504 708 1178 0 7396 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34312

[startup+3.10029 s]
/proc/loadavg: 1.84 1.98 1.95 3/178 9253
/proc/meminfo: memFree=31615756/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=35224 CPUtime=3.09 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 13993 0 0 0 304 5 0 0 25 0 1 0 968790475 36069376 7775 33554432000 4194304 9016284 140737208079120 18446744073709551615 7189400 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 8806 7775 708 1178 0 7624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35224

[startup+6.3007 s]
/proc/loadavg: 1.86 1.98 1.95 3/178 9253
/proc/meminfo: memFree=31617260/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=34156 CPUtime=6.29 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 14389 0 0 0 623 6 0 0 25 0 1 0 968790475 34975744 7554 33554432000 4194304 9016284 140737208079120 18446744073709551615 7178808 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 8539 7554 708 1178 0 7357 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34156

[startup+12.7005 s]
/proc/loadavg: 1.87 1.98 1.95 3/178 9253
/proc/meminfo: memFree=31616160/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=34820 CPUtime=12.7 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 15237 0 0 0 1260 10 0 0 25 0 1 0 968790475 35655680 7739 33554432000 4194304 9016284 140737208079120 18446744073709551615 7219194 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 8705 7739 708 1178 0 7523 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 34820

[startup+25.5002 s]
/proc/loadavg: 1.90 1.98 1.95 3/178 9254
/proc/meminfo: memFree=31617248/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=34648 CPUtime=25.5 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 15835 0 0 0 2533 17 0 0 25 0 1 0 968790475 35479552 7673 33554432000 4194304 9016284 140737208079120 18446744073709551615 7219239 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 8662 7673 708 1178 0 7480 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 34648

[startup+51.1005 s]
/proc/loadavg: 1.93 1.98 1.95 3/178 9255
/proc/meminfo: memFree=31618412/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=34976 CPUtime=51.09 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 15918 0 0 0 5084 25 0 0 25 0 1 0 968790475 35815424 7756 33554432000 4194304 9016284 140737208079120 18446744073709551615 7219015 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 8744 7756 708 1178 0 7562 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34976

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 9256
/proc/meminfo: memFree=31617332/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=35556 CPUtime=102.3 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 17706 0 0 0 10179 51 0 0 25 0 1 0 968790475 36409344 7900 33554432000 4194304 9016284 140737208079120 18446744073709551615 4679808 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 8889 7900 711 1178 0 7707 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 35556

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9257
/proc/meminfo: memFree=31612636/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=38052 CPUtime=162.3 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 18314 0 0 0 16126 104 0 0 25 0 1 0 968790475 38965248 8508 33554432000 4194304 9016284 140737208079120 18446744073709551615 7143468 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 9513 8508 711 1178 0 8331 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 38052

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9259
/proc/meminfo: memFree=31599212/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=52108 CPUtime=222.3 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 25888 0 0 0 22052 178 0 0 25 0 1 0 968790475 53358592 11707 33554432000 4194304 9016284 140737208079120 18446744073709551615 7219210 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 13027 11707 714 1178 0 11845 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 52108

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9261
/proc/meminfo: memFree=31597296/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=52108 CPUtime=282.3 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 25973 0 0 0 27970 260 0 0 25 0 1 0 968790475 53358592 11792 33554432000 4194304 9016284 140737208079120 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 13027 11792 714 1178 0 11845 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 52108

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9262
/proc/meminfo: memFree=31597244/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=52108 CPUtime=342.3 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 25981 0 0 0 33891 339 0 0 25 0 1 0 968790475 53358592 11800 33554432000 4194304 9016284 140737208079120 18446744073709551615 7082000 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 13027 11800 714 1178 0 11845 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 52108

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9264
/proc/meminfo: memFree=31592472/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=53324 CPUtime=402.3 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 26546 0 0 0 39811 419 0 0 25 0 1 0 968790475 54603776 12365 33554432000 4194304 9016284 140737208079120 18446744073709551615 7198972 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 13331 12365 714 1178 0 12149 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 53324

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9265
/proc/meminfo: memFree=31589044/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=53324 CPUtime=462.3 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 26556 0 0 0 45729 501 0 0 25 0 1 0 968790475 54603776 12375 33554432000 4194304 9016284 140737208079120 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 13331 12375 714 1178 0 12149 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 53324

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9267
/proc/meminfo: memFree=31588128/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=53836 CPUtime=522.31 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 26694 0 0 0 51647 584 0 0 25 0 1 0 968790475 55128064 12513 33554432000 4194304 9016284 140737208079120 18446744073709551615 7220673 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 13459 12513 714 1178 0 12277 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 53836

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9269
/proc/meminfo: memFree=31580520/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=58068 CPUtime=582.31 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 27752 0 0 0 57562 669 0 0 25 0 1 0 968790475 59461632 13571 33554432000 4194304 9016284 140737208079120 18446744073709551615 7218092 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 14517 13571 714 1178 0 13335 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 58068

[startup+642.3 s]

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

/proc/meminfo: memFree=31543764/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=75888 CPUtime=1062.32 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 33837 0 0 0 104874 1358 0 0 25 0 1 0 968790475 77709312 18120 33554432000 4194304 9016284 140737208079120 18446744073709551615 7218915 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 18972 18120 714 1178 0 17790 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 75888

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9292
/proc/meminfo: memFree=31537636/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=78864 CPUtime=1122.32 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 34484 0 0 0 110786 1446 0 0 25 0 1 0 968790475 80756736 18767 33554432000 4194304 9016284 140737208079120 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 19716 18767 714 1178 0 18534 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 78864

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9294
/proc/meminfo: memFree=31532004/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=79704 CPUtime=1182.33 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 34807 0 0 0 116701 1532 0 0 25 0 1 0 968790475 81616896 19090 33554432000 4194304 9016284 140737208079120 18446744073709551615 7218085 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 19926 19090 714 1178 0 18744 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 79704

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9295
/proc/meminfo: memFree=31527120/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=81088 CPUtime=1242.33 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 36669 0 0 0 122609 1624 0 0 25 0 1 0 968790475 83034112 19444 33554432000 4194304 9016284 140737208079120 18446744073709551615 7219645 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 20272 19444 714 1178 0 19090 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 81088

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9297
/proc/meminfo: memFree=31518752/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=85540 CPUtime=1302.34 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 37800 0 0 0 128525 1709 0 0 25 0 1 0 968790475 87592960 20575 33554432000 4194304 9016284 140737208079120 18446744073709551615 7219696 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 21385 20575 714 1178 0 20203 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 85540

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9298
/proc/meminfo: memFree=31513720/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=87516 CPUtime=1362.34 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 38295 0 0 0 134439 1795 0 0 25 0 1 0 968790475 89616384 21070 33554432000 4194304 9016284 140737208079120 18446744073709551615 7055200 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 21879 21070 714 1178 0 20697 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 87516

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9300
/proc/meminfo: memFree=31507840/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=91200 CPUtime=1422.34 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 39228 0 0 0 140354 1880 0 0 25 0 1 0 968790475 93388800 22003 33554432000 4194304 9016284 140737208079120 18446744073709551615 7178866 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 22800 22003 714 1178 0 21618 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 91200

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9302
/proc/meminfo: memFree=31503328/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=93984 CPUtime=1482.33 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 39967 0 0 0 146268 1965 0 0 25 0 1 0 968790475 96239616 22742 33554432000 4194304 9016284 140737208079120 18446744073709551615 7178593 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 23496 22742 714 1178 0 22314 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 93984

[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 1.96 3/178 9303
/proc/meminfo: memFree=31498192/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=96752 CPUtime=1542.34 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 40627 0 0 0 152182 2052 0 0 25 0 1 0 968790475 99074048 23402 33554432000 4194304 9016284 140737208079120 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 24188 23402 714 1178 0 23006 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 96752

[startup+1602.3 s]
/proc/loadavg: 2.02 2.00 1.96 3/178 9305
/proc/meminfo: memFree=31493060/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=100036 CPUtime=1602.34 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 41482 0 0 0 158093 2141 0 0 25 0 1 0 968790475 102436864 24257 33554432000 4194304 9016284 140737208079120 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 25009 24257 714 1178 0 23827 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 100036

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 9306
/proc/meminfo: memFree=31488304/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=103456 CPUtime=1662.34 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 41810 0 0 0 164015 2219 0 0 25 0 1 0 968790475 105938944 24585 33554432000 4194304 9016284 140737208079120 18446744073709551615 7219692 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 25864 24585 714 1178 0 24682 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 103456

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/178 9308
/proc/meminfo: memFree=31482808/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=106284 CPUtime=1722.34 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 42569 0 0 0 169926 2308 0 0 25 0 1 0 968790475 108834816 25344 33554432000 4194304 9016284 140737208079120 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 26571 25344 714 1178 0 25389 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 106284

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31480648/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=107888 CPUtime=1782.34 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 42935 0 0 0 175840 2394 0 0 25 0 1 0 968790475 110477312 25710 33554432000 4194304 9016284 140737208079120 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 26972 25710 714 1178 0 25790 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 107888

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31480772/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=107888 CPUtime=1785.55 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 42935 0 0 0 176156 2399 0 0 25 0 1 0 968790475 110477312 25710 33554432000 4194304 9016284 140737208079120 18446744073709551615 7178253 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 26972 25710 714 1178 0 25790 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 107888

[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31479516/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=108288 CPUtime=1791.95 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 43052 0 0 0 176787 2408 0 0 25 0 1 0 968790475 110886912 25827 33554432000 4194304 9016284 140737208079120 18446744073709551615 7219210 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 27072 25827 714 1178 0 25890 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 108288

[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31479516/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=108288 CPUtime=1795.15 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 43055 0 0 0 177103 2412 0 0 25 0 1 0 968790475 110886912 25830 33554432000 4194304 9016284 140737208079120 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 27072 25830 714 1178 0 25890 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 108288

[startup+1795.9 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31479516/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=108288 CPUtime=1795.95 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 43055 0 0 0 177181 2414 0 0 25 0 1 0 968790475 110886912 25830 33554432000 4194304 9016284 140737208079120 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 27072 25830 714 1178 0 25890 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 108288

[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31479516/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=108288 CPUtime=1796.75 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 43055 0 0 0 177260 2415 0 0 25 0 1 0 968790475 110886912 25830 33554432000 4194304 9016284 140737208079120 18446744073709551615 5878559 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9252/statm: 27072 25830 714 1178 0 25890 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 108288

[startup+1797.1 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31479516/32950928 swapFree=67051812/67111528
[pid=9252] ppid=9250 vsize=99724 CPUtime=1797.15 cores=1,3,5,7
/proc/9252/stat : 9252 (scip-2.0.1.4b_2) R 9250 9252 9206 0 -1 4202496 43057 0 0 0 177300 2415 0 0 25 0 1 0 968790475 102117376 24188 33554432000 4194304 9016284 140737208079120 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9252/statm: 24931 24188 716 1178 0 23749 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 99724

Child status: 0
Real time (s): 1797.11
CPU time (s): 1797.16
CPU user time (s): 1773
CPU system time (s): 24.1593
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 108288

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

runsolver used 2.47662 second user time and 5.69513 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-11 11:46:38
IDJOB=3488636
IDBENCH=48240
IDSOLVER=1979
FILE ID=node116/3488636-1307785598
RUNJOBID= node116-1307785598-9225
PBS_JOBID= 13550910
Free space on /tmp= 74132 MiB

SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488636-1307785598/watcher-3488636-1307785598 -o /tmp/evaluation-result-3488636-1307785598/solver-3488636-1307785598 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488636-1307785598.opb -t 1800 -m 15500

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

MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42
RANDOM SEED=815019601

node116.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31677184 kB
Buffers:        289488 kB
Cached:         757996 kB
SwapCached:      13064 kB
Active:         482580 kB
Inactive:       597952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31677184 kB
SwapTotal:    67111528 kB
SwapFree:     67051812 kB
Dirty:           33636 kB
Writeback:         112 kB
AnonPages:       30496 kB
Mapped:          10220 kB
Slab:           126116 kB
PageTables:       4948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   223336 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74112 MiB
End job on node116 at 2011-06-11 12:16:35