Trace number 3452762

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 SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.07 1800.03

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
MD5SUMfe9b3ae0ed0deb400897e8cf071ce6eb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark91
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 95
Optimality of the best value was proved NO
Number of variables1812
Total number of constraints3443
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3443
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1307
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3452762-1307091895.opb>
0.04/0.08	c original problem has 1812 variables (1812 bin, 0 int, 0 impl, 0 cont) and 3443 constraints
0.04/0.08	c problem read
0.04/0.08	c presolving settings loaded
0.09/0.12	c presolving:
0.09/0.14	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 132 chg sides, 132 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.15	c (round 2) 0 del vars, 1650 del conss, 0 add conss, 0 chg bounds, 132 chg sides, 132 chg coeffs, 77 upgd conss, 0 impls, 0 clqs
0.09/0.16	c (round 3) 0 del vars, 1650 del conss, 0 add conss, 0 chg bounds, 132 chg sides, 132 chg coeffs, 143 upgd conss, 704 impls, 0 clqs
0.39/0.48	c    (0.5s) probing: 111/1812 (6.1%) - 0 fixings, 0 aggregations, 1430 implications, 0 bound changes
0.39/0.48	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.48	c presolving (4 rounds):
0.39/0.48	c  0 deleted vars, 1650 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 132 changed sides, 132 changed coefficients
0.39/0.48	c  3564 implications, 0 cliques
0.39/0.48	c presolved problem has 1812 variables (1812 bin, 0 int, 0 impl, 0 cont) and 1793 constraints
0.39/0.48	c     143 constraints of type <knapsack>
0.39/0.48	c    1650 constraints of type <linear>
0.39/0.48	c transformed objective value is always integral (scale: 1)
0.39/0.48	c Presolving Time: 0.39
0.39/0.48	c - non default parameters ----------------------------------------------------------------------
0.39/0.48	c # SCIP version 2.0.1.4
0.39/0.48	c 
0.39/0.48	c # frequency for displaying node information lines
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.48	c display/freq = 10000
0.39/0.48	c 
0.39/0.48	c # maximal time in seconds to run
0.39/0.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.48	c limits/time = 1800
0.39/0.48	c 
0.39/0.48	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.48	c limits/memory = 13950
0.39/0.48	c 
0.39/0.48	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.48	c # [type: int, range: [1,2], default: 1]
0.39/0.48	c timing/clocktype = 2
0.39/0.48	c 
0.39/0.48	c # belongs reading time to solving time?
0.39/0.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48	c timing/reading = TRUE
0.39/0.48	c 
0.39/0.48	c # should presolving try to simplify inequalities
0.39/0.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48	c constraints/linear/simplifyinequalities = TRUE
0.39/0.48	c 
0.39/0.48	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48	c constraints/indicator/addCouplingCons = TRUE
0.39/0.48	c 
0.39/0.48	c # should presolving try to simplify knapsacks
0.39/0.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.48	c 
0.39/0.48	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.48	c separating/rapidlearning/freq = 0
0.39/0.48	c 
0.39/0.48	c -----------------------------------------------------------------------------------------------
0.39/0.48	c start solving
0.39/0.48	c 
0.49/0.57	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.57	c   0.6s|     1 |     0 |  1809 |     - |  14M|   0 |1064 |1812 |1808 |1812 |1793 |   0 |  15 |   0 | 1.100000e+01 |      --      |    Inf 
2.29/2.33	c   2.3s|     1 |     0 |  8693 |     - |  16M|   0 |1086 |1812 |2184 |1812 |1852 |  59 |  15 |   0 | 1.100000e+01 |      --      |    Inf 
2.49/2.52	c   2.5s|     1 |     0 |  8893 |     - |  17M|   0 |1084 |1812 |2184 |1812 |1909 | 116 |  15 |   0 | 1.100000e+01 |      --      |    Inf 
2.69/2.72	c   2.7s|     1 |     0 |  9075 |     - |  17M|   0 |1081 |1812 |2184 |1812 |1968 | 175 |  15 |   0 | 1.100000e+01 |      --      |    Inf 
2.89/2.92	c   2.9s|     1 |     0 |  9313 |     - |  18M|   0 |1079 |1812 |2184 |1812 |2034 | 241 |  15 |   0 | 1.100000e+01 |      --      |    Inf 
3.09/3.15	c   3.2s|     1 |     0 |  9657 |     - |  18M|   0 |1110 |1812 |2184 |1812 |2095 | 302 |  15 |   0 | 1.100198e+01 |      --      |    Inf 
3.39/3.43	c   3.4s|     1 |     0 | 10046 |     - |  19M|   0 |1099 |1812 |2184 |1812 |2146 | 353 |  15 |   0 | 1.100889e+01 |      --      |    Inf 
3.59/3.68	c   3.7s|     1 |     0 | 10267 |     - |  20M|   0 |1096 |1812 |2184 |1812 |2198 | 405 |  15 |   0 | 1.100889e+01 |      --      |    Inf 
3.89/3.93	c   3.9s|     1 |     0 | 10660 |     - |  20M|   0 |1101 |1812 |2184 |1812 |2254 | 461 |  15 |   0 | 1.100889e+01 |      --      |    Inf 
4.19/4.21	c   4.2s|     1 |     0 | 10980 |     - |  20M|   0 |1103 |1812 |2184 |1812 |2303 | 510 |  15 |   0 | 1.100889e+01 |      --      |    Inf 
4.41/4.47	c   4.5s|     1 |     0 | 11437 |     - |  21M|   0 |1102 |1812 |2184 |1812 |2373 | 580 |  15 |   0 | 1.100889e+01 |      --      |    Inf 
4.69/4.77	c   4.8s|     1 |     0 | 12783 |     - |  21M|   0 |1112 |1812 |2184 |1812 |2389 | 633 |  15 |   0 | 1.100889e+01 |      --      |    Inf 
8.99/9.10	c   9.1s|     1 |     2 | 12783 |     - |  21M|   0 |1112 |1812 |2184 |1812 |2389 | 633 |  15 |  46 | 1.100889e+01 |      --      |    Inf 
302.90/302.91	c   303s| 10000 |  3820 |  2236k| 222.3 |  39M|  45 |   - |1812 |3833 |   0 |   0 | 633 |  15k|5750 | 1.700000e+01 |      --      |    Inf 
484.51/484.57	c   485s| 20000 |  5832 |  3869k| 192.8 |  57M|  52 | 613 |1812 |5258 |1812 |2032 | 633 |  32k|  10k| 1.800000e+01 |      --      |    Inf 
659.81/659.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
659.81/659.89	c   660s| 30000 |  7398 |  5424k| 180.4 |  71M|  53 |   - |1812 |5004 |1812 |2032 | 633 |  51k|  14k| 1.900000e+01 |      --      |    Inf 
797.52/797.57	c   798s| 40000 |  8250 |  6798k| 169.6 |  80M|  59 |   - |1812 |4649 |1812 |2032 | 633 |  70k|  16k| 2.000000e+01 |      --      |    Inf 
960.72/960.75	c   961s| 50000 |  9191 |  8273k| 165.2 |  90M|  64 | 473 |1812 |5760 |1812 |2032 | 633 |  91k|  20k| 2.100000e+01 |      --      |    Inf 
1107.52/1107.52	c  1108s| 60000 |  9927 |  9586k| 159.6 | 100M|  64 |   - |1812 |6108 |   0 |   0 | 633 | 110k|  23k| 2.200000e+01 |      --      |    Inf 
1220.52/1220.50	c  1221s| 70000 | 10708 | 10846k| 154.8 | 108M|  64 | 394 |1812 |6063 |1812 |2032 | 633 | 128k|  24k| 2.300000e+01 |      --      |    Inf 
1366.93/1366.93	c  1367s| 80000 | 11237 | 12164k| 151.9 | 115M|  65 | 613 |1812 |5828 |1812 |2032 | 633 | 147k|  28k| 2.300000e+01 |      --      |    Inf 
1504.53/1504.50	c  1505s| 90000 | 11658 | 13346k| 148.2 | 120M|  98 |   - |1812 |6243 |1812 |2032 | 633 | 165k|  32k| 2.400000e+01 |      --      |    Inf 
1591.93/1591.95	c  1592s|100000 | 11934 | 14390k| 143.8 | 125M|  98 | 436 |1812 |6577 |1812 |2032 | 633 | 182k|  32k| 2.400000e+01 |      --      |    Inf 
1730.94/1730.97	c  1731s|110000 | 12442 | 15686k| 142.5 | 131M|  98 |   - |1812 |6767 |1812 |2032 | 633 | 200k|  35k| 2.450000e+01 |      --      |    Inf 
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.03/1800.00	c Solving Time (sec) : 1800.00
1800.03/1800.00	c Solving Nodes      : 115124
1800.03/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00	c Dual Bound         : +2.50000000000000e+01
1800.03/1800.00	c Gap                : infinite
1800.03/1800.00	s UNKNOWN
1800.03/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.03/1800.00	c Total Time         :    1800.00
1800.03/1800.00	c   solving          :    1800.00
1800.03/1800.00	c   presolving       :       0.39 (included in solving)
1800.03/1800.00	c   reading          :       0.09 (included in solving)
1800.03/1800.00	c Original Problem   :
1800.03/1800.00	c   Problem name     : HOME/instance-3452762-1307091895.opb
1800.03/1800.00	c   Variables        : 1812 (1812 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00	c   Constraints      : 3443 initial, 3443 maximal
1800.03/1800.00	c Presolved Problem  :
1800.03/1800.00	c   Problem name     : t_HOME/instance-3452762-1307091895.opb
1800.03/1800.00	c   Variables        : 1812 (1812 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00	c   Constraints      : 1793 initial, 7117 maximal
1800.03/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.03/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   probing          :       0.31          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   knapsack         :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   linear           :       0.04          0          0          0          0          0       1650          0        132        132
1800.03/1800.00	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.03/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.00	c   integral         :          0          0          0      80658          0          4          0        171      27894          0          0     149342
1800.03/1800.00	c   knapsack         :        143         11     574200          0          0          3    1713171       6927     470424       1374          0          0
1800.03/1800.00	c   linear           :       1650+        12     567274          0          0          0     528198      33377   12257722          2          0          0
1800.03/1800.00	c   logicor          :          0+        11     312670          0          0          0     642621       2569     425714          0          0          0
1800.03/1800.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.03/1800.00	c   integral         :     444.84       0.00       0.00     444.84       0.00       0.00       0.00
1800.03/1800.00	c   knapsack         :      15.81       0.02      14.95       0.00       0.00       0.00       0.84
1800.03/1800.00	c   linear           :     110.07       0.00     109.27       0.00       0.00       0.00       0.79
1800.03/1800.00	c   logicor          :      15.75       0.00      15.13       0.00       0.00       0.00       0.62
1800.03/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.03/1800.00	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.03/1800.00	c   vbounds          :          0          0          0          0
1800.03/1800.00	c   rootredcost      :          0          0          0          0
1800.03/1800.00	c   pseudoobj        :     574007          0          0          0
1800.03/1800.00	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.03/1800.00	c   vbounds          :       0.11       0.11       0.00
1800.03/1800.00	c   rootredcost      :       0.11       0.11       0.00
1800.03/1800.00	c   pseudoobj        :       0.29       0.29       0.00
1800.03/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.00	c   propagation      :       3.69      42873      42848     422922       39.0       2475       22.4          -
1800.03/1800.00	c   infeasible LP    :       5.34      30046      30046     132408       25.9       2243       20.0          0
1800.03/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.00	c   applied globally :          -          -          -     209105       27.1          -          -          -
1800.03/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.00	c   cut pool         :       0.01         10          -          -       7862          -    (maximal pool size: 6269)
1800.03/1800.00	c   redcost          :       2.07      80576          0          6          0          0
1800.03/1800.00	c   impliedbounds    :       0.00         11          0          0         33          0
1800.03/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.00	c   gomory           :       0.12         11          0          0         72          0
1800.03/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.00	c   closecuts        :       0.00          0          0          0          0          0
1800.03/1800.00	c   strongcg         :       0.12         11          0          0         59          0
1800.03/1800.00	c   cmir             :       0.93         10          0          0       5000          0
1800.03/1800.00	c   flowcover        :       0.56         10          0          0       2000          0
1800.03/1800.00	c   clique           :       0.00          1          0          0          0          0
1800.03/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.00	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.00	c   oddcycle         :       0.00          0          0          0          0          0
1800.03/1800.00	c   rapidlearning    :       1.05          1          0          0          0        376
1800.03/1800.00	c Pricers            :       Time      Calls       Vars
1800.03/1800.00	c   problem variables:       0.00          0          0
1800.03/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.00	c   relpscost        :     444.76      80658        171      27894          0          0     149342
1800.03/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   inference        :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.00	c   LP solutions     :       0.00          -          0
1800.03/1800.00	c   pseudo solutions :       0.00          -          0
1800.03/1800.00	c   oneopt           :       0.05          0          0
1800.03/1800.00	c   crossover        :       0.03          0          0
1800.03/1800.00	c   guideddiving     :       0.00          0          0
1800.03/1800.00	c   objpscostdiving  :      19.08         89          0
1800.03/1800.00	c   feaspump         :      26.52        102          0
1800.03/1800.00	c   coefdiving       :      81.80        215          0
1800.03/1800.00	c   fracdiving       :      54.99        225          0
1800.03/1800.00	c   rootsoldiving    :      11.48        113          0
1800.03/1800.00	c   pscostdiving     :      35.94        334          0
1800.03/1800.00	c   linesearchdiving :      23.87        334          0
1800.03/1800.00	c   veclendiving     :      24.76        334          0
1800.03/1800.00	c   trivial          :       0.00          2          0
1800.03/1800.00	c   shiftandpropagate:       0.05          1          0
1800.03/1800.00	c   simplerounding   :       0.03          0          0
1800.03/1800.00	c   zirounding       :       0.29       1000          0
1800.03/1800.00	c   rounding         :       1.29       3949          0
1800.03/1800.00	c   shifting         :       7.12       1230          0
1800.03/1800.00	c   intshifting      :       0.00          0          0
1800.03/1800.00	c   twoopt           :       0.00          0          0
1800.03/1800.00	c   fixandinfer      :       0.00          0          0
1800.03/1800.00	c   clique           :       0.00          0          0
1800.03/1800.00	c   intdiving        :       0.00          0          0
1800.03/1800.00	c   actconsdiving    :       0.00          0          0
1800.03/1800.00	c   octane           :       0.00          0          0
1800.03/1800.00	c   rens             :       0.01          0          0
1800.03/1800.00	c   rins             :       0.00          0          0
1800.03/1800.00	c   localbranching   :       0.00          0          0
1800.03/1800.00	c   mutation         :       0.00          0          0
1800.03/1800.00	c   dins             :       0.00          0          0
1800.03/1800.00	c   vbounds          :       0.00          0          0
1800.03/1800.00	c   undercover       :       0.00          0          0
1800.03/1800.00	c   subnlp           :       0.02          0          0
1800.03/1800.00	c   trysol           :       0.03          0          0
1800.03/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.00	c   primal LP        :       0.01          0          0       0.00          -
1800.03/1800.00	c   dual LP          :     814.30      94439   13514929     143.11   16597.02
1800.03/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.00	c   diving/probing LP:     242.30      48392    2742331      56.67   11317.93
1800.03/1800.00	c   strong branching :     433.37      37120    4383975     118.10   10115.93
1800.03/1800.00	c     (at root node) :          -         46      26393     573.76          -
1800.03/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.00	c B&B Tree           :
1800.03/1800.00	c   number of runs   :          1
1800.03/1800.00	c   nodes            :     115124
1800.03/1800.00	c   nodes (total)    :     115124
1800.03/1800.00	c   nodes left       :      12620
1800.03/1800.00	c   max depth        :         98
1800.03/1800.00	c   max depth (total):         98
1800.03/1800.00	c   backtracks       :      23683 (20.6%)
1800.03/1800.00	c   delayed cutoffs  :      21599
1800.03/1800.00	c   repropagations   :     153405 (4170440 domain reductions, 12840 cutoffs)
1800.03/1800.00	c   avg switch length:       7.67
1800.03/1800.00	c   switching time   :      76.18
1800.03/1800.00	c Solution           :
1800.03/1800.00	c   Solutions found  :          0 (0 improvements)
1800.03/1800.00	c   Primal Bound     :          -
1800.03/1800.00	c   Dual Bound       : +2.50000000000000e+01
1800.03/1800.00	c   Gap              :   infinite
1800.03/1800.00	c   Root Dual Bound  : +1.10088888888889e+01
1800.03/1800.00	c   Root Iterations  :      12783

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3452762-1307091895/watcher-3452762-1307091895 -o /tmp/evaluation-result-3452762-1307091895/solver-3452762-1307091895 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452762-1307091895.opb -t 1800 -m 15500 

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.04 2.01 2/458 6763
/proc/meminfo: memFree=26129820/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=9980 CPUtime=0 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 1508 0 0 0 0 0 0 0 25 0 1 0 820787682 10219520 1461 33554432000 4194304 9128323 140734158614832 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6763/statm: 2495 1461 400 1205 0 1286 0

[startup+0.045298 s]
/proc/loadavg: 2.10 2.04 2.01 2/458 6763
/proc/meminfo: memFree=26129820/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=12112 CPUtime=0.04 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 2024 0 0 0 4 0 0 0 25 0 1 0 820787682 12402688 1977 33554432000 4194304 9128323 140734158614832 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6763/statm: 3028 1977 400 1205 0 1819 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12112

[startup+0.100313 s]
/proc/loadavg: 2.10 2.04 2.01 2/458 6763
/proc/meminfo: memFree=26129820/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=27476 CPUtime=0.09 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 5604 0 0 0 9 0 0 0 25 0 1 0 820787682 28135424 5555 33554432000 4194304 9128323 140734158614832 18446744073709551615 4815375 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 6949 5613 468 1205 0 5740 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27476

[startup+0.300275 s]
/proc/loadavg: 2.10 2.04 2.01 2/458 6763
/proc/meminfo: memFree=26129820/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=51180 CPUtime=0.29 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 11665 0 0 0 28 1 0 0 25 0 1 0 820787682 52408320 11359 33554432000 4194304 9128323 140734158614832 18446744073709551615 5205712 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 12795 11359 543 1205 0 11586 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51180

[startup+0.701219 s]
/proc/loadavg: 2.10 2.04 2.01 2/458 6763
/proc/meminfo: memFree=26129820/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=63040 CPUtime=0.69 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 15584 0 0 0 67 2 0 0 25 0 1 0 820787682 64552960 14419 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 15760 14419 804 1205 0 14551 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63040

[startup+1.50106 s]
/proc/loadavg: 2.10 2.04 2.01 3/459 6764
/proc/meminfo: memFree=26074384/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=88712 CPUtime=1.49 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 21888 0 0 0 146 3 0 0 25 0 1 0 820787682 90841088 20646 33554432000 4194304 9128323 140734158614832 18446744073709551615 5234385 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 22178 20646 770 1205 0 20969 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88712

[startup+3.10075 s]
/proc/loadavg: 2.10 2.04 2.01 3/459 6764
/proc/meminfo: memFree=26046240/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=93044 CPUtime=3.09 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 23288 0 0 0 306 3 0 0 25 0 1 0 820787682 95277056 21994 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 23261 21994 752 1205 0 22052 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93044

[startup+6.30021 s]
/proc/loadavg: 2.09 2.04 2.01 3/459 6764
/proc/meminfo: memFree=25972792/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=93044 CPUtime=6.29 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 23382 0 0 0 625 4 0 0 25 0 1 0 820787682 95277056 22063 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 23261 22063 733 1205 0 22052 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93044

[startup+12.7011 s]
/proc/loadavg: 2.08 2.04 2.01 3/459 6764
/proc/meminfo: memFree=25966060/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=93044 CPUtime=12.69 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 23382 0 0 0 1260 9 0 0 25 0 1 0 820787682 95277056 22063 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 23261 22063 733 1205 0 22052 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93044

[startup+25.5008 s]
/proc/loadavg: 2.06 2.04 2.01 3/459 6764
/proc/meminfo: memFree=25966256/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=93044 CPUtime=25.49 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 23383 0 0 0 2529 20 0 0 25 0 1 0 820787682 95277056 22064 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 23261 22064 733 1205 0 22052 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93044

[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.00 3/459 6765
/proc/meminfo: memFree=25965796/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=93044 CPUtime=51.09 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 23387 0 0 0 5067 42 0 0 25 0 1 0 820787682 95277056 22067 33554432000 4194304 9128323 140734158614832 18446744073709551615 7346442 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 23261 22067 734 1205 0 22052 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 93044

[startup+102.317 s]
/proc/loadavg: 2.21 2.09 2.02 3/459 6766
/proc/meminfo: memFree=25964256/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=93044 CPUtime=102.31 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 23393 0 0 0 10140 91 0 0 25 0 1 0 820787682 95277056 22073 33554432000 4194304 9128323 140734158614832 18446744073709551615 5200378 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 23261 22073 734 1205 0 22052 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 93044

[startup+162.3 s]
/proc/loadavg: 2.25 2.11 2.03 3/459 6768
/proc/meminfo: memFree=25961740/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=96144 CPUtime=162.3 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 24039 0 0 0 16071 159 0 0 25 0 1 0 820787682 98451456 22714 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 24036 22714 734 1205 0 22827 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 96144

[startup+222.301 s]
/proc/loadavg: 2.16 2.11 2.03 3/459 6770
/proc/meminfo: memFree=25959716/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=98824 CPUtime=222.29 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 63576 0 0 0 22006 223 0 0 25 0 1 0 820787682 101195776 23373 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 24706 23373 734 1205 0 23497 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 98824

[startup+282.301 s]
/proc/loadavg: 2.06 2.08 2.02 3/459 6771
/proc/meminfo: memFree=25953844/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=104904 CPUtime=282.3 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 84965 0 0 0 27947 283 0 0 25 0 1 0 820787682 107421696 24922 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 26226 24922 734 1205 0 25017 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 104904

[startup+342.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/459 6773
/proc/meminfo: memFree=25945244/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=111928 CPUtime=342.3 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 94620 0 0 0 33883 347 0 0 25 0 1 0 820787682 114614272 26804 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 27982 26804 734 1205 0 26773 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 111928

[startup+402.301 s]
/proc/loadavg: 2.06 2.07 2.02 3/459 6774
/proc/meminfo: memFree=25934300/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=123080 CPUtime=402.3 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 101118 0 0 0 39824 406 0 0 25 0 1 0 820787682 126033920 29597 33554432000 4194304 9128323 140734158614832 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 30770 29597 734 1205 0 29561 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 123080

[startup+462.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/459 6776
/proc/meminfo: memFree=25924968/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=132312 CPUtime=462.3 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 105365 0 0 0 45756 474 0 0 25 0 1 0 820787682 135487488 31816 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 33078 31816 734 1205 0 31869 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 132312

[startup+522.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/459 6778
/proc/meminfo: memFree=25916004/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=141460 CPUtime=522.31 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 110878 0 0 0 51688 543 0 0 25 0 1 0 820787682 144855040 34103 33554432000 4194304 9128323 140734158614832 18446744073709551615 7216745 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 35365 34103 734 1205 0 34156 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 141460

[startup+582.301 s]
/proc/loadavg: 2.10 2.07 2.02 3/459 6779
/proc/meminfo: memFree=25909780/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=149672 CPUtime=582.31 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 121750 0 0 0 57620 611 0 0 25 0 1 0 820787682 153264128 36115 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 37418 36115 770 1205 0 36209 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 149672

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/459 6786
/proc/meminfo: memFree=25874924/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=179972 CPUtime=822.31 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 149342 0 0 0 81357 874 0 0 25 0 1 0 820787682 184291328 43762 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 44993 43762 734 1205 0 43784 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 179972

[startup+882.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/459 6787
/proc/meminfo: memFree=25870812/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=184248 CPUtime=882.31 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 154131 0 0 0 87289 942 0 0 25 0 1 0 820787682 188669952 44811 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 46062 44811 734 1205 0 44853 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 184248

[startup+942.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/459 6789
/proc/meminfo: memFree=25860240/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=194408 CPUtime=942.32 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 159042 0 0 0 93224 1008 0 0 25 0 1 0 820787682 199073792 47422 33554432000 4194304 9128323 140734158614832 18446744073709551615 5207429 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 48602 47422 734 1205 0 47393 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 194408

[startup+1002.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/459 6790
/proc/meminfo: memFree=25854764/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=200132 CPUtime=1002.32 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 165240 0 0 0 99160 1072 0 0 25 0 1 0 820787682 204935168 48772 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 50033 48772 734 1205 0 48824 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 200132

[startup+1062.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/459 6792
/proc/meminfo: memFree=25841324/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=207068 CPUtime=1062.32 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 167035 0 0 0 105096 1136 0 0 25 0 1 0 820787682 212037632 50567 33554432000 4194304 9128323 140734158614832 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 51767 50567 734 1205 0 50558 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 207068

[startup+1122.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/459 6794
/proc/meminfo: memFree=25834352/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=213800 CPUtime=1122.32 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 169758 0 0 0 111033 1199 0 0 25 0 1 0 820787682 218931200 52291 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 53450 52291 734 1205 0 52241 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 213800

[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/459 6795
/proc/meminfo: memFree=25821536/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=220572 CPUtime=1182.32 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 173482 0 0 0 116959 1273 0 0 25 0 1 0 820787682 225865728 53969 33554432000 4194304 9128323 140734158614832 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 55143 53969 734 1205 0 53934 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 220572

[startup+1242.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/459 6797
/proc/meminfo: memFree=25812308/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=223820 CPUtime=1242.32 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 178119 0 0 0 122888 1344 0 0 25 0 1 0 820787682 229191680 54751 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 55955 54751 734 1205 0 54746 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 223820

[startup+1302.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/459 6798
/proc/meminfo: memFree=25805208/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=228104 CPUtime=1302.33 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 179941 0 0 0 128822 1411 0 0 25 0 1 0 820787682 233578496 55863 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 57026 55863 734 1205 0 55817 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 228104

[startup+1362.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/459 6800
/proc/meminfo: memFree=25806412/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=233112 CPUtime=1362.32 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 182803 0 0 0 134757 1475 0 0 25 0 1 0 820787682 238706688 57048 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 58278 57048 734 1205 0 57069 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 233112

[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/459 6802
/proc/meminfo: memFree=25789524/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=238172 CPUtime=1422.35 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 187380 0 0 0 140691 1544 0 0 25 0 1 0 820787682 243888128 58338 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 59543 58338 734 1205 0 58334 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 238172

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 6803
/proc/meminfo: memFree=25779456/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=242344 CPUtime=1482.33 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 189519 0 0 0 146625 1608 0 0 25 0 1 0 820787682 248160256 59469 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 60586 59469 734 1205 0 59377 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 242344

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 6805
/proc/meminfo: memFree=25770992/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=246508 CPUtime=1542.33 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 191340 0 0 0 152562 1671 0 0 25 0 1 0 820787682 252424192 60489 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 61627 60489 734 1205 0 60418 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 246508

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 6806
/proc/meminfo: memFree=25764532/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=252912 CPUtime=1602.33 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 193811 0 0 0 158490 1743 0 0 25 0 1 0 820787682 258981888 62116 33554432000 4194304 9128323 140734158614832 18446744073709551615 5959958 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 63228 62116 734 1205 0 62019 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 252912

[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/459 6808
/proc/meminfo: memFree=25762644/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=258896 CPUtime=1662.33 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 197243 0 0 0 164425 1808 0 0 25 0 1 0 820787682 265109504 63501 33554432000 4194304 9128323 140734158614832 18446744073709551615 7162938 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 64724 63501 734 1205 0 63515 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 258896

[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/459 6810
/proc/meminfo: memFree=25746004/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=262872 CPUtime=1722.33 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 199273 0 0 0 170363 1870 0 0 25 0 1 0 820787682 269180928 64534 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 65718 64534 734 1205 0 64509 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 262872

[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/459 6811
/proc/meminfo: memFree=25735176/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=265076 CPUtime=1782.33 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 201840 0 0 0 176301 1932 0 0 25 0 1 0 820787682 271437824 65168 33554432000 4194304 9128323 140734158614832 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6763/statm: 66269 65168 734 1205 0 65060 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 265076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.04 2.00 2/453 6830
/proc/meminfo: memFree=26061420/32951124 swapFree=60688864/67111528
[pid=6763] ppid=6761 vsize=266204 CPUtime=1800.04 cores=0,2,4,6
/proc/6763/stat : 6763 (scip-2.0.1.4.li) R 6761 6763 2978 0 -1 4202496 203186 0 0 0 178053 1951 0 0 18 0 1 0 820787682 272592896 65450 33554432000 4194304 9128323 140734158614832 18446744073709551615 5200046 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6763/statm: 66551 65450 735 1205 0 65342 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 266204

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1780.55
CPU system time (s): 19.528
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 267388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.55
system time used= 19.528
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203187
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= 4
involuntary context switches= 2082

runsolver used 8.63369 second user time and 17.6993 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-03 11:04:55
IDJOB=3452762
IDBENCH=2636
IDSOLVER=1949
FILE ID=node132/3452762-1307091895
RUNJOBID= node132-1307084684-6276
PBS_JOBID= 13497854
Free space on /tmp= 73860 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452762-1307091895/watcher-3452762-1307091895 -o /tmp/evaluation-result-3452762-1307091895/solver-3452762-1307091895 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452762-1307091895.opb -t 1800 -m 15500

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

MD5SUM BENCH= fe9b3ae0ed0deb400897e8cf071ce6eb
RANDOM SEED=2132971722

node132.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.833
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.833
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.74
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.833
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.76
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.833
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.833
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.833
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.67
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.833
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.82
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.833
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:     32951124 kB
MemFree:      26129976 kB
Buffers:        311980 kB
Cached:        3012840 kB
SwapCached:      15140 kB
Active:        1217320 kB
Inactive:      5341884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26129976 kB
SwapTotal:    67111528 kB
SwapFree:     60688864 kB
Dirty:           30304 kB
Writeback:           0 kB
AnonPages:     3227052 kB
Mapped:          21848 kB
Slab:           144444 kB
PageTables:      50140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 109410240 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= 73864 MiB
End job on node132 at 2011-06-03 11:34:57