Trace number 3488649

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-33 1797.15 1797.1

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-33
Best CPU time to get the best result obtained on this benchmark1797.15
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 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-3488649-1307786444.opb>
0.00/0.03	c original problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 7227 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.03/0.06	o 0
0.03/0.06	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.03/0.06	c presolving:
0.09/0.12	c (round 1) 0 del vars, 7026 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 50208 impls, 399 clqs
0.09/0.14	c (round 2) 6226 del vars, 7026 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 50208 impls, 0 clqs
0.09/0.17	c    (0.2s) probing: 101/400 (25.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.17	c presolving (3 rounds):
0.09/0.17	c  6226 deleted vars, 7026 deleted constraints, 400 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17	c  50208 implications, 0 cliques
0.09/0.17	c presolved problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.09/0.17	c     400 constraints of type <knapsack>
0.09/0.17	c     200 constraints of type <setppc>
0.09/0.17	c       1 constraints of type <linear>
0.09/0.17	c transformed objective value is always integral (scale: 1)
0.09/0.17	c Presolving Time: 0.12
0.09/0.17	c - non default parameters ----------------------------------------------------------------------
0.09/0.17	c # SCIP version 2.0.1.5
0.09/0.17	c 
0.09/0.17	c # frequency for displaying node information lines
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17	c display/freq = 10000
0.09/0.17	c 
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = 1797
0.09/0.17	c 
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = 13950
0.09/0.17	c 
0.09/0.17	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.17	c # [type: int, range: [1,2], default: 1]
0.09/0.17	c timing/clocktype = 2
0.09/0.17	c 
0.09/0.17	c # belongs reading time to solving time?
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c timing/reading = TRUE
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify inequalities
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/linear/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/indicator/addCouplingCons = TRUE
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify knapsacks
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17	c separating/rapidlearning/freq = 0
0.09/0.17	c 
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving
0.09/0.17	c 
0.79/0.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.86	c t 0.9s|     1 |     0 |  3526 |     - |  17M|   0 | 400 | 400 | 601 | 400 | 601 |   0 |   0 |   0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.79/0.87	o -1
0.79/0.87	c R 0.9s|     1 |     0 |  3526 |     - |  17M|   0 | 400 | 400 | 601 | 400 | 601 |   0 |   0 |   0 |-1.000000e+02 |-1.000000e+00 |  99.00%
5.59/5.64	c   5.6s|     1 |     2 |  7480 |     - |  17M|   0 | 400 | 400 | 601 | 400 | 601 |   0 |   0 |  14 |-1.000000e+02 |-1.000000e+00 |  99.00%
16.19/16.22	o -2
16.19/16.22	c R16.2s|     6 |     5 |  8071 | 909.0 |  17M|   5 | 362 | 400 | 601 | 400 | 601 |   0 |   0 |  59 |-9.884807e+01 |-2.000000e+00 |  97.98%
17.50/17.59	o -3
17.50/17.59	c R17.6s|     7 |     6 |  8166 | 773.3 |  17M|   6 | 331 | 400 | 601 | 400 | 601 |   0 |   0 |  72 |-9.884807e+01 |-3.000000e+00 |  96.97%
32.70/32.78	o -28
32.70/32.78	c c32.8s|    17 |    18 |  8974 | 340.5 |  17M|  16 |   - | 400 | 601 | 400 | 601 |   0 |   0 | 236 |-9.884807e+01 |-2.800000e+01 |  71.67%
53.39/53.41	o -29
53.39/53.41	c f53.4s|    41 |    42 | 13500 | 249.3 |  17M|  16 |   - | 400 | 601 | 400 | 601 |   0 |   1 | 601 |-9.884807e+01 |-2.900000e+01 |  70.66%
106.20/106.22	o -30
106.20/106.22	c f 106s|   141 |   142 | 39492 | 256.9 |  18M|  22 |   - | 400 | 610 | 400 | 601 |   0 |  10 |1556 |-9.863261e+01 |-3.000000e+01 |  69.58%
122.70/122.75	o -31
122.70/122.75	c f 123s|   505 |   506 | 93466 | 178.5 |  19M|  29 |   - | 400 | 645 | 400 | 601 |   0 |  47 |1623 |-9.706261e+01 |-3.100000e+01 |  68.06%
123.20/123.27	o -32
123.20/123.27	c l 123s|   508 |   509 | 94728 | 179.9 |  19M|  29 |   - | 400 | 645 | 400 | 601 |   0 |  47 |1623 |-9.706261e+01 |-3.200000e+01 |  67.03%
140.49/140.51	o -33
140.49/140.51	c l 141s|   580 |   581 |120652 | 202.3 |  19M|  29 |   - | 400 | 646 | 400 | 601 |   0 |  51 |1623 |-9.529706e+01 |-3.300000e+01 |  65.37%
657.91/657.97	c   658s| 10000 | 10001 |  1579k| 157.6 |  30M|  86 | 151 | 400 | 815 | 400 | 601 |   0 | 268 |2121 |-8.732147e+01 |-3.300000e+01 |  62.21%
1004.22/1004.29	c  1004s| 20000 | 20001 |  2804k| 140.1 |  42M| 112 | 186 | 400 | 917 | 400 | 601 |   0 | 463 |2944 |-8.635808e+01 |-3.300000e+01 |  61.79%
1290.23/1290.30	c  1290s| 30000 | 30001 |  3985k| 132.7 |  54M| 112 | 122 | 400 | 967 | 400 | 601 |   0 | 708 |3652 |-8.548522e+01 |-3.300000e+01 |  61.40%
1557.83/1557.88	c  1558s| 40000 | 40001 |  5140k| 128.4 |  67M| 112 | 285 | 400 | 995 | 400 | 601 |   0 | 907 |4205 |-8.492697e+01 |-3.300000e+01 |  61.14%
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      : 49226
1797.05/1797.00	c Primal Bound       : -3.30000000000000e+01 (582 solutions)
1797.05/1797.00	c Dual Bound         : -8.45168661631879e+01
1797.05/1797.00	c Gap                : 60.95 %
1797.05/1797.01	s SATISFIABLE
1797.05/1797.01	v -x383 -x316 -x245 -x260 -x248 -x378 -x310 -x305 x293 -x257 -x230 -x355 -x387 -x352 x380 -x394 -x240 -x393 x385 -x376 -x301 x360 
1797.05/1797.01	v x290 -x297 -x350 -x209 -x338 -x259 -x218 -x306 -x334 x323 -x348 -x231 -x388 -x312 -x336 -x357 x339 -x296 -x255 -x239 x369 x286 
1797.05/1797.01	v -x299 -x329 -x373 -x330 -x232 -x311 -x226 -x256 -x358 x372 -x284 -x322 -x370 -x326 x283 -x246 -x319 -x242 -x396 -x268 x252 
1797.05/1797.01	v -x346 -x222 -x308 -x204 x364 x356 -x331 -x318 -x292 -x262 -x258 -x241 x397 -x270 -x237 -x313 -x210 x351 x371 -x207 -x302 -x320 
1797.05/1797.01	v x315 x377 -x344 -x353 x379 -x219 -x392 -x203 x395 -x381 -x375 -x300 -x213 -x235 -x295 -x264 -x279 -x275 -x345 -x291 -x340 
1797.05/1797.01	v x289 -x269 -x234 -x317 -x243 -x390 -x228 -x202 -x398 x363 x359 -x349 -x337 -x333 -x307 -x303 -x298 -x288 x282 -x251 -x247 -x244 
1797.05/1797.01	v -x212 -x324 -x386 -x354 -x389 -x223 -x294 -x224 -x236 -x266 -x214 -x254 -x272 -x341 -x362 x400 -x309 -x285 -x328 -x347 -x201 
1797.05/1797.01	v -x391 -x367 x365 -x361 -x343 -x342 -x335 x327 -x325 -x314 x304 x281 -x278 -x271 -x267 -x265 -x263 -x238 -x225 -x220 -x217 
1797.05/1797.01	v -x216 -x208 -x205 -x368 -x253 -x384 x332 -x374 -x280 -x206 -x215 x287 -x229 -x221 -x399 -x261 -x249 -x227 -x382 -x274 x250 -x321 
1797.05/1797.01	v -x233 -x277 -x273 -x211 -x366 -x276 -x200 -x199 x198 -x197 -x196 -x195 -x194 x193 x192 x191 x190 -x189 -x188 -x187 -x186 
1797.05/1797.01	v -x185 x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 
1797.05/1797.01	v -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 x155 x154 -x153 -x152 -x151 x150 x149 -x148 -x147 -x146 x145 -x144 -x143 x142 
1797.05/1797.01	v -x141 x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 
1797.05/1797.01	v -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 
1797.05/1797.01	v -x98 x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 
1797.05/1797.01	v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 x51 -x50 x49 -x48 
1797.05/1797.01	v -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 x27 x26 -x25 -x24 -x23 -x22 
1797.05/1797.01	v -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -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.12 (included in solving)
1797.05/1797.01	c   reading          :       0.03 (included in solving)
1797.05/1797.01	c Original Problem   :
1797.05/1797.01	c   Problem name     : HOME/instance-3488649-1307786444.opb
1797.05/1797.01	c   Variables        : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01	c   Constraints      : 7227 initial, 7227 maximal
1797.05/1797.01	c Presolved Problem  :
1797.05/1797.01	c   Problem name     : t_HOME/instance-3488649-1307786444.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, 1021 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.01       6226          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.01          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       7026        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      49226          0        587          0          0          0          0          0      98452
1797.05/1797.01	c   knapsack         :        400          1     450032          0          0        582      14824         74     447326          0          0          0
1797.05/1797.01	c   setppc           :        200          1     422071          0          0        581        888          0      35048          0          0          0
1797.05/1797.01	c   linear           :          1          1     449958          0          0        581          0        310          0          0          0          0
1797.05/1797.01	c   logicor          :          0+         0      55419          0          0          0          0          0          0          0          0          0
1797.05/1797.01	c   countsols        :          0          0          0          0          0        585          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         :     186.58       0.00       0.00     186.58       0.00       0.00       0.00
1797.05/1797.01	c   knapsack         :       4.12       0.01       3.93       0.00       0.00       0.18       0.01
1797.05/1797.01	c   setppc           :       0.56       0.00       0.55       0.00       0.00       0.01       0.00
1797.05/1797.01	c   linear           :       0.44       0.01       0.43       0.00       0.00       0.00       0.00
1797.05/1797.01	c   logicor          :       0.18       0.00       0.18       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      :          9          0          0          0
1797.05/1797.01	c   pseudoobj        :     450922        148        212          0
1797.05/1797.01	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.05/1797.01	c   vbounds          :       0.09       0.09       0.00
1797.05/1797.01	c   rootredcost      :       0.08       0.08       0.00
1797.05/1797.01	c   pseudoobj        :       1.98       1.98       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.03         74         74       1372      117.3          0        0.0          -
1797.05/1797.01	c   infeasible LP    :       0.07       1265       1243       3157       36.5          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 :          -          -          -       1090       13.2          -          -          -
1797.05/1797.01	c   applied locally  :          -          -          -         32       67.5          -          -          -
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.50      49230          0         13          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.02          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.02          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        :     186.55      49226          0          0          0          0      98452
1797.05/1797.01	c   pscost           :       0.00          0          0          0          0          0          0
1797.05/1797.01	c   inference        :       0.00          0          0          0          0          0          0
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          9          0
1797.05/1797.01	c   crossover        :       5.00          8          5
1797.05/1797.01	c   fracdiving       :      58.86        755          3
1797.05/1797.01	c   pscostdiving     :      71.98        755          0
1797.05/1797.01	c   linesearchdiving :      56.52        755          2
1797.05/1797.01	c   guideddiving     :      38.21        755          0
1797.05/1797.01	c   trivial          :       0.01          2          1
1797.05/1797.01	c   shiftandpropagate:       0.00          0          0
1797.05/1797.01	c   simplerounding   :       0.01          0          0
1797.05/1797.01	c   zirounding       :       4.23          0          0
1797.05/1797.01	c   rounding         :      39.30      16645          3
1797.05/1797.01	c   shifting         :      18.08       4926        472
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.55          1          0
1797.05/1797.01	c   clique           :       0.00          0          0
1797.05/1797.01	c   coefdiving       :      92.27        756          1
1797.05/1797.01	c   veclendiving     :      18.88        139          0
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   objpscostdiving  :      31.56        162         63
1797.05/1797.01	c   rootsoldiving    :      11.01        199         32
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.01          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          :    1152.15      49227    4649736      94.45    4035.71
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:     342.43     333703    1553846       4.66    4537.71
1797.05/1797.01	c   strong branching :     184.33       4604     192028      41.71    1041.73
1797.05/1797.01	c     (at root node) :          -         14       6026     430.43          -
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            :      49226
1797.05/1797.01	c   nodes (total)    :      49226
1797.05/1797.01	c   nodes left       :      49227
1797.05/1797.01	c   max depth        :        112
1797.05/1797.01	c   max depth (total):        112
1797.05/1797.01	c   backtracks       :       4670 (9.5%)
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:       4.47
1797.05/1797.01	c   switching time   :       2.23
1797.05/1797.01	c Solution           :
1797.05/1797.01	c   Solutions found  :        582 (10 improvements)
1797.05/1797.01	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1797.05/1797.01	c   Primal Bound     : -3.30000000000000e+01   (in run 1, after 580 nodes, 140.51 seconds, depth 150, found by <linesearchdiving>)
1797.05/1797.01	c   Dual Bound       : -8.45168661631879e+01
1797.05/1797.01	c   Gap              :      60.95 %
1797.05/1797.01	c   Root Dual Bound  : -1.00000000000000e+02
1797.05/1797.01	c   Root Iterations  :       3526
1797.14/1797.10	c Time complete: 1797.14.

Verifier Data 

OK	-33

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-3488649-1307786444/watcher-3488649-1307786444 -o /tmp/evaluation-result-3488649-1307786444/solver-3488649-1307786444 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488649-1307786444.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.78 1.97 1.98 2/177 22618
/proc/meminfo: memFree=31709292/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=13012 CPUtime=0 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 2252 0 0 0 0 0 0 0 20 0 1 0 890242594 13324288 2206 33554432000 4194304 9016284 140736763594064 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22618/statm: 3253 2206 377 1178 0 2071 0

[startup+0.0378539 s]
/proc/loadavg: 1.78 1.97 1.98 2/177 22618
/proc/meminfo: memFree=31709292/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=26040 CPUtime=0.03 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 5486 0 0 0 3 0 0 0 20 0 1 0 890242594 26664960 5440 33554432000 4194304 9016284 140736763594064 18446744073709551615 6813442 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 6510 5441 420 1178 0 5328 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26040

[startup+0.100833 s]
/proc/loadavg: 1.78 1.97 1.98 2/177 22618
/proc/meminfo: memFree=31709292/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=39720 CPUtime=0.09 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 8964 0 0 0 9 0 0 0 20 0 1 0 890242594 40673280 8661 33554432000 4194304 9016284 140736763594064 18446744073709551615 18446744073699065971 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 9930 8661 485 1178 0 8748 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39720

[startup+0.30079 s]
/proc/loadavg: 1.78 1.97 1.98 2/177 22618
/proc/meminfo: memFree=31709292/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=48696 CPUtime=0.29 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 11378 0 0 0 28 1 0 0 18 0 1 0 890242594 49864704 11025 33554432000 4194304 9016284 140736763594064 18446744073709551615 7219255 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 12174 11025 638 1178 0 10992 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48696

[startup+0.700734 s]
/proc/loadavg: 1.78 1.97 1.98 2/177 22618
/proc/meminfo: memFree=31709292/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=50188 CPUtime=0.69 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 11772 0 0 0 68 1 0 0 18 0 1 0 890242594 51392512 11419 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 12547 11419 638 1178 0 11365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50188

[startup+1.50059 s]
/proc/loadavg: 1.78 1.97 1.98 3/179 22620
/proc/meminfo: memFree=31612364/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=50816 CPUtime=1.49 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 16498 0 0 0 146 3 0 0 19 0 1 0 890242594 52035584 11724 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 12704 11724 708 1178 0 11522 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50816

[startup+3.10029 s]
/proc/loadavg: 1.78 1.97 1.98 3/179 22621
/proc/meminfo: memFree=31625632/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=51728 CPUtime=3.09 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 18481 0 0 0 304 5 0 0 24 0 1 0 890242594 52969472 11979 33554432000 4194304 9016284 140736763594064 18446744073709551615 7220608 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 12932 11979 709 1178 0 11750 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51728

[startup+6.30071 s]
/proc/loadavg: 1.80 1.97 1.98 3/179 22621
/proc/meminfo: memFree=31625044/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=51520 CPUtime=6.29 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 20285 0 0 0 623 6 0 0 25 0 1 0 890242594 52756480 11894 33554432000 4194304 9016284 140736763594064 18446744073709551615 7219221 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 12880 11894 708 1178 0 11698 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51520

[startup+12.7005 s]
/proc/loadavg: 1.81 1.97 1.98 3/179 22621
/proc/meminfo: memFree=31624952/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=51376 CPUtime=12.7 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 27562 0 0 0 1259 11 0 0 25 0 1 0 890242594 52609024 11886 33554432000 4194304 9016284 140736763594064 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 12844 11886 708 1178 0 11662 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 51376

[startup+25.5002 s]
/proc/loadavg: 1.85 1.97 1.98 3/179 22630
/proc/meminfo: memFree=31624872/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=51524 CPUtime=25.49 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 29499 0 0 0 2533 16 0 0 25 0 1 0 890242594 52760576 11935 33554432000 4194304 9016284 140736763594064 18446744073709551615 7178612 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 12881 11935 708 1178 0 11699 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51524

[startup+51.1006 s]
/proc/loadavg: 1.90 1.97 1.98 3/179 22631
/proc/meminfo: memFree=31624820/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=51736 CPUtime=51.09 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 30166 0 0 0 5084 25 0 0 25 0 1 0 890242594 52977664 11955 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 12934 11955 708 1178 0 11752 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 51736

[startup+102.306 s]
/proc/loadavg: 1.96 1.97 1.98 3/179 22632
/proc/meminfo: memFree=31608332/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=51856 CPUtime=102.3 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 31716 0 0 0 10177 53 0 0 25 0 1 0 890242594 53100544 11987 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 12964 11987 711 1178 0 11782 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 51856

[startup+162.3 s]
/proc/loadavg: 1.98 1.97 1.98 3/179 22634
/proc/meminfo: memFree=31577668/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=67772 CPUtime=162.3 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 38794 0 0 0 16110 120 0 0 25 0 1 0 890242594 69398528 15902 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 16943 15902 717 1178 0 15761 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 67772

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 22637
/proc/meminfo: memFree=31555312/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=67772 CPUtime=222.29 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 38797 0 0 0 22042 187 0 0 25 0 1 0 890242594 69398528 15905 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 16943 15905 717 1178 0 15761 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 67772

[startup+282.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/179 22640
/proc/meminfo: memFree=31536452/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=67772 CPUtime=282.3 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 38801 0 0 0 27965 265 0 0 25 0 1 0 890242594 69398528 15909 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 16943 15909 717 1178 0 15761 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 67772

[startup+342.301 s]
/proc/loadavg: 2.01 1.99 1.99 3/179 22642
/proc/meminfo: memFree=31516828/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=67772 CPUtime=342.3 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 38816 0 0 0 33881 349 0 0 25 0 1 0 890242594 69398528 15924 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 16943 15924 717 1178 0 15761 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 67772

[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 22643
/proc/meminfo: memFree=31494476/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=67132 CPUtime=402.31 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 39713 0 0 0 39796 435 0 0 25 0 1 0 890242594 68743168 15864 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 16783 15864 717 1178 0 15601 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 67132

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 22645
/proc/meminfo: memFree=31474964/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=67132 CPUtime=462.3 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 39718 0 0 0 45715 515 0 0 25 0 1 0 890242594 68743168 15869 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 16783 15869 717 1178 0 15601 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 67132

[startup+522.301 s]
/proc/loadavg: 2.15 2.02 2.00 3/179 22646
/proc/meminfo: memFree=31451868/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=67132 CPUtime=522.31 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 39722 0 0 0 51634 597 0 0 25 0 1 0 890242594 68743168 15873 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 16783 15873 717 1178 0 15601 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 67132

[startup+582.301 s]
/proc/loadavg: 2.11 2.03 2.00 3/179 22648
/proc/meminfo: memFree=31432880/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=67132 CPUtime=582.3 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 41760 0 0 0 57542 688 0 0 25 0 1 0 890242594 68743168 15880 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 16783 15880 717 1178 0 15601 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 67132

[startup+642.301 s]

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

/proc/meminfo: memFree=31246484/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=83368 CPUtime=1062.32 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 55971 0 0 0 104792 1440 0 0 25 0 1 0 890242594 85368832 19924 33554432000 4194304 9016284 140736763594064 18446744073709551615 7103560 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 20842 19924 717 1178 0 19660 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 83368

[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 2.01 4/179 22662
/proc/meminfo: memFree=31225256/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=86780 CPUtime=1122.32 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 60210 0 0 0 110682 1550 0 0 25 0 1 0 890242594 88862720 20822 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 21695 20822 717 1178 0 20513 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 86780

[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 4/179 22664
/proc/meminfo: memFree=31201412/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=88956 CPUtime=1182.32 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 60755 0 0 0 116577 1655 0 0 25 0 1 0 890242594 91090944 21367 33554432000 4194304 9016284 140736763594064 18446744073709551615 7219374 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 22239 21367 717 1178 0 21057 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 88956

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 22666
/proc/meminfo: memFree=31178444/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=92000 CPUtime=1242.32 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 61489 0 0 0 122467 1765 0 0 25 0 1 0 890242594 94208000 22101 33554432000 4194304 9016284 140736763594064 18446744073709551615 7178597 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 23000 22101 717 1178 0 21818 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 92000

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 22667
/proc/meminfo: memFree=31148656/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=96940 CPUtime=1302.34 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 62747 0 0 0 128357 1877 0 0 25 0 1 0 890242594 99266560 23359 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 24235 23359 717 1178 0 23053 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 96940

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 22669
/proc/meminfo: memFree=31127040/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=100252 CPUtime=1362.33 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 63599 0 0 0 134246 1987 0 0 25 0 1 0 890242594 102658048 24211 33554432000 4194304 9016284 140736763594064 18446744073709551615 7219660 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 25063 24211 717 1178 0 23881 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 100252

[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 22670
/proc/meminfo: memFree=31102080/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=104500 CPUtime=1422.34 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 64650 0 0 0 140147 2087 0 0 25 0 1 0 890242594 107008000 25262 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 26125 25262 717 1178 0 24943 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 104500

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 22672
/proc/meminfo: memFree=31078228/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=107524 CPUtime=1482.33 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 68540 0 0 0 146033 2200 0 0 25 0 1 0 890242594 110104576 26048 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 26881 26048 717 1178 0 25699 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 107524

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 22674
/proc/meminfo: memFree=31052532/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=109816 CPUtime=1542.34 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 69046 0 0 0 151920 2314 0 0 25 0 1 0 890242594 112451584 26554 33554432000 4194304 9016284 140736763594064 18446744073709551615 7219702 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 27454 26554 717 1178 0 26272 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 109816

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 22675
/proc/meminfo: memFree=31025088/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=112476 CPUtime=1602.34 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 69798 0 0 0 157808 2426 0 0 25 0 1 0 890242594 115175424 27306 33554432000 4194304 9016284 140736763594064 18446744073709551615 7219255 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 28119 27306 717 1178 0 26937 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 112476

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22677
/proc/meminfo: memFree=31007940/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=113476 CPUtime=1662.34 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 69986 0 0 0 163693 2541 0 0 25 0 1 0 890242594 116199424 27494 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 28369 27494 717 1178 0 27187 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 113476

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 4/179 22678
/proc/meminfo: memFree=30986572/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=115520 CPUtime=1722.34 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 70572 0 0 0 169572 2662 0 0 25 0 1 0 890242594 118292480 28080 33554432000 4194304 9016284 140736763594064 18446744073709551615 7219660 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 28880 28080 717 1178 0 27698 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 115520

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 22680
/proc/meminfo: memFree=30959012/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=118932 CPUtime=1782.35 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 71409 0 0 0 175464 2771 0 0 25 0 1 0 890242594 121786368 28917 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 29733 28917 717 1178 0 28551 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 118932

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 22680
/proc/meminfo: memFree=30958764/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=118932 CPUtime=1785.55 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 71410 0 0 0 175779 2776 0 0 25 0 1 0 890242594 121786368 28918 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 29733 28918 717 1178 0 28551 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 118932

[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 22680
/proc/meminfo: memFree=30954544/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=118932 CPUtime=1791.95 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 71415 0 0 0 176409 2786 0 0 25 0 1 0 890242594 121786368 28923 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 29733 28923 717 1178 0 28551 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 118932

[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22680
/proc/meminfo: memFree=30953924/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=118932 CPUtime=1795.15 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 71415 0 0 0 176720 2795 0 0 25 0 1 0 890242594 121786368 28923 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 29733 28923 717 1178 0 28551 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 118932

[startup+1795.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22680
/proc/meminfo: memFree=30953924/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=118932 CPUtime=1795.95 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 71418 0 0 0 176799 2796 0 0 25 0 1 0 890242594 121786368 28926 33554432000 4194304 9016284 140736763594064 18446744073709551615 7220512 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 29733 28926 717 1178 0 28551 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 118932

[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22680
/proc/meminfo: memFree=30953180/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=118932 CPUtime=1796.74 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 71418 0 0 0 176877 2797 0 0 25 0 1 0 890242594 121786368 28926 33554432000 4194304 9016284 140736763594064 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22618/statm: 29733 28926 717 1178 0 28551 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 118932

[startup+1797.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22680
/proc/meminfo: memFree=30953180/32951124 swapFree=67063556/67111528
[pid=22618] ppid=22614 vsize=45384 CPUtime=1797.14 cores=1,3,5,7
/proc/22618/stat : 22618 (scip-2.0.1.4b_2) R 22614 22618 20281 0 -1 4202496 71420 0 0 0 176916 2798 0 0 18 0 1 0 890242594 46473216 2889 33554432000 4194304 9016284 140736763594064 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22618/statm: 11346 2377 719 1178 0 10164 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 45384

Child status: 0
Real time (s): 1797.1
CPU time (s): 1797.15
CPU user time (s): 1769.17
CPU system time (s): 27.9887
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 118932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.17
system time used= 27.9887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71425
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= 8
involuntary context switches= 4283

runsolver used 2.73958 second user time and 7.03493 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-11 12:00:44
IDJOB=3488649
IDBENCH=48253
IDSOLVER=1979
FILE ID=node134/3488649-1307786444
RUNJOBID= node134-1307786444-22592
PBS_JOBID= 13550869
Free space on /tmp= 74124 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_25_5.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-3488649-1307786444/watcher-3488649-1307786444 -o /tmp/evaluation-result-3488649-1307786444/solver-3488649-1307786444 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488649-1307786444.opb -t 1800 -m 15500

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

MD5SUM BENCH= b1b77cfc7c7e45b216596a736ff4b926
RANDOM SEED=1225137211

node134.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.831
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.66
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.831
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	: 5332.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.80
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.831
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.83
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31710264 kB
Buffers:        307840 kB
Cached:         712256 kB
SwapCached:      10284 kB
Active:         513252 kB
Inactive:       525016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31710264 kB
SwapTotal:    67111528 kB
SwapFree:     67063556 kB
Dirty:           33528 kB
Writeback:           0 kB
AnonPages:       15684 kB
Mapped:           9856 kB
Slab:           138628 kB
PageTables:       3680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   159516 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74088 MiB
End job on node134 at 2011-06-11 12:30:41