Trace number 3692457

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 SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed? 1799.35 1799.63

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12037_6.std.opb
MD5SUM40c1638d55110dda04152daa502917a6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark175
Best CPU time to get the best result obtained on this benchmark1800.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints245028
Number of constraints which are clauses243828
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3692457-1338040233.opb>
0.69/0.70	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245028 constraints
0.69/0.70	c problem read in 0.70
1.19/1.24	c presolving:
7.49/7.51	c (round 1) 6376 del vars, 19734 del conss, 0 add conss, 4693 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16636336 impls, 0 clqs
11.88/11.98	c (round 2) 13606 del vars, 48014 del conss, 0 add conss, 11613 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16678311 impls, 0 clqs
13.29/13.33	c (round 3) 16251 del vars, 60077 del conss, 0 add conss, 13061 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16697685 impls, 0 clqs
14.20/14.22	c (round 4) 17712 del vars, 65661 del conss, 0 add conss, 14014 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16710820 impls, 0 clqs
14.69/14.74	c (round 5) 18637 del vars, 69342 del conss, 0 add conss, 14539 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16722589 impls, 0 clqs
14.99/15.07	c (round 6) 19180 del vars, 71569 del conss, 0 add conss, 14844 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16729756 impls, 0 clqs
15.29/15.31	c (round 7) 19489 del vars, 72905 del conss, 0 add conss, 15034 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16733285 impls, 0 clqs
15.40/15.48	c (round 8) 19677 del vars, 73724 del conss, 0 add conss, 15161 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16735081 impls, 0 clqs
15.59/15.61	c (round 9) 19782 del vars, 74192 del conss, 0 add conss, 15217 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16736760 impls, 0 clqs
15.69/15.72	c (round 10) 19836 del vars, 74455 del conss, 0 add conss, 15247 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16737543 impls, 0 clqs
15.79/15.81	c (round 11) 19884 del vars, 74668 del conss, 0 add conss, 15285 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16737762 impls, 0 clqs
15.89/15.91	c (round 12) 19904 del vars, 74761 del conss, 0 add conss, 15295 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16738138 impls, 0 clqs
15.98/16.03	c (round 13) 19918 del vars, 74826 del conss, 0 add conss, 15308 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16738304 impls, 0 clqs
16.09/16.11	c (round 14) 19930 del vars, 74892 del conss, 0 add conss, 15312 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16738310 impls, 0 clqs
16.89/16.93	c (round 15) 19930 del vars, 74894 del conss, 0 add conss, 15312 chg bounds, 20 chg sides, 26 chg coeffs, 170134 upgd conss, 16738310 impls, 0 clqs
17.98/18.06	c (round 16) 19930 del vars, 74909 del conss, 31 add conss, 15312 chg bounds, 64 chg sides, 240 chg coeffs, 170136 upgd conss, 16738310 impls, 0 clqs
293.65/293.78	c    (293.8s) probing: 1000/52912 (1.9%) - 0 fixings, 0 aggregations, 5160661 implications, 0 bound changes
294.04/294.13	c    (294.1s) probing: 1001/52912 (1.9%) - 0 fixings, 0 aggregations, 5175473 implications, 0 bound changes
294.04/294.13	c    (294.1s) probing aborted: 1000/1000 successive useless probings
294.04/294.13	c (round 17) 19930 del vars, 157255 del conss, 26136 add conss, 15312 chg bounds, 70 chg sides, 278 chg coeffs, 170136 upgd conss, 27089256 impls, 0 clqs
294.84/294.95	c (round 18) 19930 del vars, 178147 del conss, 47028 add conss, 15312 chg bounds, 70 chg sides, 307 chg coeffs, 170136 upgd conss, 27089256 impls, 4041 clqs
295.54/295.60	c presolving (19 rounds):
295.54/295.60	c  19930 deleted vars, 178147 deleted constraints, 47028 added constraints, 15312 tightened bounds, 0 added holes, 70 changed sides, 307 changed coefficients
295.54/295.60	c  27089256 implications, 24933 cliques
295.54/295.60	c presolved problem has 52912 variables (52912 bin, 0 int, 0 impl, 0 cont) and 113909 constraints
295.54/295.60	c    1185 constraints of type <knapsack>
295.54/295.60	c  111558 constraints of type <setppc>
295.54/295.60	c    1166 constraints of type <and>
295.54/295.60	c transformed objective value is always integral (scale: 1)
295.54/295.60	c Presolving Time: 294.51
295.54/295.60	c - non default parameters ----------------------------------------------------------------------
295.54/295.60	c # SCIP version 2.1.1.4
295.54/295.60	c 
295.54/295.60	c # maximal time in seconds to run
295.54/295.60	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
295.54/295.60	c limits/time = 1797
295.54/295.60	c 
295.54/295.60	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
295.54/295.60	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
295.54/295.60	c limits/memory = 13950
295.54/295.60	c 
295.54/295.60	c # default clock type (1: CPU user seconds, 2: wall clock time)
295.54/295.60	c # [type: int, range: [1,2], default: 1]
295.54/295.60	c timing/clocktype = 2
295.54/295.60	c 
295.54/295.60	c # belongs reading time to solving time?
295.54/295.60	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
295.54/295.60	c timing/reading = TRUE
295.54/295.60	c 
295.54/295.60	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
295.54/295.60	c # [type: int, range: [-1,2147483647], default: -1]
295.54/295.60	c separating/rapidlearning/freq = 0
295.54/295.60	c 
295.54/295.60	c -----------------------------------------------------------------------------------------------
295.54/295.60	c start solving
295.85/295.92	c 
1798.31/1798.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1798.31/1798.66	c  1799s|     1 |     0 |151395 |     - |1041M|   0 |   - |  52k| 113k|  52k| 115k|   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1798.31/1798.66	c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
1798.41/1798.72	c  1799s|     1 |     2 |151395 |     - |1041M|   0 |   - |  52k| 113k|  52k| 115k|   0 |  30 |   0 | 0.000000e+00 |      --      |    Inf 
1798.41/1798.72	c 
1798.41/1798.72	c SCIP Status        : solving was interrupted [time limit reached]
1798.41/1798.72	c Solving Time (sec) : 1798.72
1798.41/1798.72	c Solving Nodes      : 1
1798.41/1798.72	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1798.41/1798.72	c Dual Bound         : +0.00000000000000e+00
1798.41/1798.72	c Gap                : infinite
1798.41/1798.72	s UNKNOWN
1798.41/1798.72	c SCIP Status        : solving was interrupted [time limit reached]
1798.41/1798.72	c Total Time         :    1798.72
1798.41/1798.72	c   solving          :    1798.72
1798.41/1798.72	c   presolving       :     294.51 (included in solving)
1798.41/1798.72	c   reading          :       0.70 (included in solving)
1798.41/1798.72	c   copying          :       0.00 (0 times copied the problem)
1798.41/1798.72	c Original Problem   :
1798.41/1798.72	c   Problem name     : HOME/instance-3692457-1338040233.opb
1798.41/1798.72	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.41/1798.72	c   Constraints      : 245028 initial, 245028 maximal
1798.41/1798.72	c   Objective sense  : minimize
1798.41/1798.72	c Presolved Problem  :
1798.41/1798.72	c   Problem name     : t_HOME/instance-3692457-1338040233.opb
1798.41/1798.72	c   Variables        : 52912 (52912 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.41/1798.72	c   Constraints      : 113909 initial, 113939 maximal
1798.41/1798.72	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1798.41/1798.72	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.41/1798.72	c   trivial          :       0.06       0.00       1212          0          0          0          0          0          0          0          0
1798.41/1798.72	c   dualfix          :       0.09       0.00        123          0          0          0          0          0          0          0          0
1798.41/1798.72	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.41/1798.72	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.41/1798.72	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.41/1798.72	c   gateextraction   :       0.28       0.00          0          0          0          0          0      82342      26100          0          0
1798.41/1798.72	c   implics          :       0.64       0.00          0          0          0          0          0          0          0          0          0
1798.41/1798.72	c   components       :       0.07       0.00          0          0          0          0          0          0          0          0          0
1798.41/1798.72	c   pseudoobj        :       0.00       0.28          0          0          0          0          0          0          0          0          0
1798.41/1798.72	c   probing          :     275.51       0.00          0          0          0          0          0          0          0          0          0
1798.41/1798.72	c   knapsack         :       1.52       0.00          0          0          0          0          0          1         36         50        281
1798.41/1798.72	c   setppc           :       0.55       0.00          0          0          0          0          0         18          0          0          0
1798.41/1798.72	c   and              :       0.39       0.00          0          0          0          0          0      20892      20892          0          0
1798.41/1798.72	c   linear           :      14.86       0.12      14100       4495          0      15312          0      74894          0         20         26
1798.41/1798.72	c   logicor          :       0.09       0.02          0          0          0          0          0          0          0          0          0
1798.41/1798.72	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1798.41/1798.72	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1798.41/1798.72	c   integral         :          0          0          0          0          0          0          3          0          0          0          0          0          0
1798.41/1798.72	c   knapsack         :       1185       1185          0      54880          0          1          3         45         15          0          0          0          0
1798.41/1798.72	c   setppc           :     111558     111558          0      54865          0          1          1       1095          0          0          0          0          0
1798.41/1798.72	c   and              :       1166       1166          0      54865          0          1          0          0          0          0          0          0          0
1798.41/1798.72	c   logicor          :          0+        30          0          1          0          0          0          0          0          0          0          0          0
1798.41/1798.72	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1798.41/1798.72	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1798.41/1798.72	c   integral         :       0.01       0.00       0.00       0.00       0.00       0.00       0.01       0.00
1798.41/1798.72	c   knapsack         :       3.72       0.00       0.00       3.72       0.00       0.00       0.00       0.00
1798.41/1798.72	c   setppc           :     208.06       0.00       0.00     208.01       0.00       0.04       0.00       0.00
1798.41/1798.72	c   and              :      51.20       0.00       0.00      51.20       0.00       0.00       0.00       0.00
1798.41/1798.72	c   logicor          :       0.02       0.02       0.00       0.00       0.00       0.00       0.00       0.00
1798.41/1798.72	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1798.41/1798.72	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1798.41/1798.72	c   rootredcost      :          0          0          0          0
1798.41/1798.72	c   pseudoobj        :       5153          0          0          0
1798.41/1798.72	c   vbounds          :          0          0          0          0
1798.41/1798.72	c   redcost          :          0          0          0          0
1798.41/1798.72	c   probing          :          0          0          0          0
1798.41/1798.72	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1798.41/1798.72	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00
1798.41/1798.72	c   pseudoobj        :       0.32       0.28       0.00       0.04       0.00
1798.41/1798.72	c   vbounds          :       0.04       0.01       0.00       0.03       0.00
1798.41/1798.72	c   redcost          :       0.02       0.00       0.00       0.02       0.00
1798.41/1798.72	c   probing          :     275.51       0.00     275.51       0.00       0.00
1798.41/1798.72	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.41/1798.72	c   propagation      :       0.00         15         15         30       20.0          0        0.0          -
1798.41/1798.72	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1798.41/1798.72	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.41/1798.72	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.41/1798.72	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.41/1798.72	c   applied globally :          -          -          -         30       20.0          -          -          -
1798.41/1798.72	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.41/1798.72	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1798.41/1798.72	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 0)
1798.41/1798.72	c   clique           :       0.00       0.00          0          0          0          0          0
1798.41/1798.72	c   closecuts        :       0.00       0.00          0          0          0          0          0
1798.41/1798.72	c   cgmip            :       0.00       0.00          0          0          0          0          0
1798.41/1798.72	c   cmir             :       0.00       0.00          0          0          0          0          0
1798.41/1798.72	c   flowcover        :       0.00       0.00          0          0          0          0          0
1798.41/1798.72	c   gomory           :       0.00       0.00          0          0          0          0          0
1798.41/1798.72	c   impliedbounds    :       0.00       0.00          0          0          0          0          0
1798.41/1798.72	c   intobj           :       0.00       0.00          0          0          0          0          0
1798.41/1798.72	c   mcf              :       0.00       0.00          0          0          0          0          0
1798.41/1798.72	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1798.41/1798.72	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1798.41/1798.72	c   strongcg         :       0.00       0.00          0          0          0          0          0
1798.41/1798.72	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1798.41/1798.72	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1798.41/1798.72	c   problem variables:       0.00          -          0          0
1798.41/1798.72	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.41/1798.72	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
1798.41/1798.72	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1798.41/1798.72	c   inference        :       0.01       0.00          1          0          0          0          0          2
1798.41/1798.72	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1798.41/1798.72	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1798.41/1798.72	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1798.41/1798.72	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1798.41/1798.72	c   random           :       0.00       0.00          0          0          0          0          0          0
1798.41/1798.72	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1798.41/1798.72	c   LP solutions     :       0.00          -          -          0
1798.41/1798.72	c   pseudo solutions :       0.00          -          -          0
1798.41/1798.72	c   oneopt           :       0.00       0.00          0          0
1798.41/1798.72	c   smallcard        :       0.00       0.00          0          0
1798.41/1798.72	c   trivial          :       0.07       0.00          2          0
1798.41/1798.72	c   shiftandpropagate:      21.90       0.00          1          0
1798.41/1798.72	c   simplerounding   :       0.00       0.00          0          0
1798.41/1798.72	c   zirounding       :       0.00       0.00          0          0
1798.41/1798.72	c   rounding         :       0.00       0.00          0          0
1798.41/1798.72	c   shifting         :       0.00       0.00          0          0
1798.41/1798.72	c   intshifting      :       0.00       0.00          0          0
1798.41/1798.72	c   twoopt           :       0.00       0.00          0          0
1798.41/1798.72	c   indtwoopt        :       0.00       0.00          0          0
1798.41/1798.72	c   indoneopt        :       0.00       0.00          0          0
1798.41/1798.72	c   fixandinfer      :       0.00       0.00          0          0
1798.41/1798.72	c   feaspump         :       0.00       0.00          0          0
1798.41/1798.72	c   clique           :       0.00       0.00          0          0
1798.41/1798.72	c   indrounding      :       0.00       0.00          0          0
1798.41/1798.72	c   indcoefdiving    :       0.00       0.00          0          0
1798.41/1798.72	c   coefdiving       :       0.00       0.00          0          0
1798.41/1798.72	c   pscostdiving     :       0.00       0.00          0          0
1798.41/1798.72	c   nlpdiving        :       0.00       0.00          0          0
1798.41/1798.72	c   fracdiving       :       0.00       0.00          0          0
1798.41/1798.72	c   veclendiving     :       0.00       0.00          0          0
1798.41/1798.72	c   intdiving        :       0.00       0.00          0          0
1798.41/1798.72	c   actconsdiving    :       0.00       0.00          0          0
1798.41/1798.72	c   objpscostdiving  :       0.00       0.00          0          0
1798.41/1798.72	c   rootsoldiving    :       0.00       0.00          0          0
1798.41/1798.72	c   linesearchdiving :       0.00       0.00          0          0
1798.41/1798.72	c   guideddiving     :       0.00       0.00          0          0
1798.41/1798.72	c   octane           :       0.00       0.00          0          0
1798.41/1798.72	c   rens             :       0.00       0.00          0          0
1798.41/1798.72	c   rins             :       0.00       0.00          0          0
1798.41/1798.72	c   localbranching   :       0.00       0.00          0          0
1798.41/1798.72	c   mutation         :       0.00       0.00          0          0
1798.41/1798.72	c   crossover        :       0.00       0.00          0          0
1798.41/1798.72	c   dins             :       0.00       0.00          0          0
1798.41/1798.72	c   vbounds          :       0.00       0.00          0          0
1798.41/1798.72	c   undercover       :       0.00       0.00          0          0
1798.41/1798.72	c   subnlp           :       0.00       0.00          0          0
1798.41/1798.72	c   trysol           :       0.00       0.00          0          0
1798.41/1798.72	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1798.41/1798.72	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
1798.41/1798.72	c   dual LP          :    1480.81          1     151395  151395.00     102.24       0.00          0
1798.41/1798.72	c   lex dual LP      :       0.00          0          0       0.00          -
1798.41/1798.72	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1798.41/1798.72	c   diving/probing LP:       0.00          0          0       0.00          -
1798.41/1798.72	c   strong branching :       0.00          0          0       0.00          -
1798.41/1798.72	c     (at root node) :          -          0          0       0.00          -
1798.41/1798.72	c   conflict analysis:       0.00          0          0       0.00          -
1798.41/1798.72	c B&B Tree           :
1798.41/1798.72	c   number of runs   :          1
1798.41/1798.72	c   nodes            :          1
1798.41/1798.72	c   nodes (total)    :          1
1798.41/1798.72	c   nodes left       :          2
1798.41/1798.72	c   max depth        :          0
1798.41/1798.72	c   max depth (total):          0
1798.41/1798.72	c   backtracks       :          0 (0.0%)
1798.41/1798.72	c   delayed cutoffs  :          0
1798.41/1798.72	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1798.41/1798.72	c   avg switch length:       1.00
1798.41/1798.72	c   switching time   :       0.00
1798.41/1798.72	c Solution           :
1798.41/1798.72	c   Solutions found  :          0 (0 improvements)
1798.41/1798.72	c   Primal Bound     :          -
1798.41/1798.72	c   Dual Bound       : +0.00000000000000e+00
1798.41/1798.72	c   Gap              :   infinite
1798.41/1798.72	c   Root Dual Bound  : +0.00000000000000e+00
1798.41/1798.72	c   Root Iterations  :     151395
1799.32/1799.62	c Time complete: 1799.34.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3692457-1338040233/watcher-3692457-1338040233 -o /tmp/evaluation-result-3692457-1338040233/solver-3692457-1338040233 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692457-1338040233.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: 2.01 2.01 2.00 3/177 3261
/proc/meminfo: memFree=27397300/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=13232 CPUtime=0 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 2044 0 0 0 0 0 0 0 20 0 1 0 270149411 13549568 1998 33554432000 4194304 10219143 140736300252912 140737411613032 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 3308 1998 421 1471 0 1828 0

[startup+0.02002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3261
/proc/meminfo: memFree=27397300/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=20460 CPUtime=0.01 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 3859 0 0 0 1 0 0 0 20 0 1 0 270149411 20951040 3813 33554432000 4194304 10219143 140736300252912 140736300118088 5541619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 5115 3813 421 1471 0 3635 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20460

[startup+0.100264 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3261
/proc/meminfo: memFree=27397300/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=50912 CPUtime=0.09 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 11470 0 0 0 8 1 0 0 20 0 1 0 270149411 52133888 11424 33554432000 4194304 10219143 140736300252912 140736300118088 5347038 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 12728 11424 421 1471 0 11248 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50912

[startup+0.300242 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3261
/proc/meminfo: memFree=27397300/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=90232 CPUtime=0.29 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 21255 0 0 0 26 3 0 0 20 0 1 0 270149411 92397568 21209 33554432000 4194304 10219143 140736300252912 140736300118088 6051223 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 22558 21209 421 1471 0 21078 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90232

[startup+0.700264 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3261
/proc/meminfo: memFree=27397300/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=174336 CPUtime=0.69 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 42118 0 0 0 64 5 0 0 20 0 1 0 270149411 178520064 42074 33554432000 4194304 10219143 140736300252912 140736300118088 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 43584 42112 421 1471 0 42104 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 174336

[startup+1.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 3262
/proc/meminfo: memFree=27040800/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=446288 CPUtime=1.49 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 108930 0 0 0 134 15 0 0 20 0 1 0 270149411 456998912 108815 33554432000 4194304 10219143 140736300252912 140736300118088 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 111572 108815 550 1471 0 110092 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 446288

[startup+3.10017 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 3262
/proc/meminfo: memFree=26882808/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=631812 CPUtime=3.09 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 155111 0 0 0 286 23 0 0 20 0 1 0 270149411 646975488 154996 33554432000 4194304 10219143 140736300252912 140736300249912 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 157953 154996 560 1471 0 156473 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 631812

[startup+6.30025 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 3262
/proc/meminfo: memFree=26590348/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=875512 CPUtime=6.29 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 213877 0 0 0 595 34 0 0 20 0 1 0 270149411 896524288 213762 33554432000 4194304 10219143 140736300252912 140736300249912 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 218878 213762 567 1471 0 217398 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 875512

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 3262
/proc/meminfo: memFree=26489284/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=917496 CPUtime=12.69 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 224238 0 0 0 1225 44 0 0 20 0 1 0 270149411 939515904 223866 33554432000 4194304 10219143 140736300252912 140736300249912 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 229374 223866 569 1471 0 227894 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 917496

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 3262
/proc/meminfo: memFree=26413428/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=980944 CPUtime=25.49 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 250894 0 0 0 2460 89 0 0 20 0 1 0 270149411 1004486656 239260 33554432000 4194304 10219143 140736300252912 140736300249272 5934055 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 245236 239260 628 1471 0 243756 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 980944

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3262
/proc/meminfo: memFree=26373352/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=993992 CPUtime=51.08 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 253816 0 0 0 5016 92 0 0 20 0 1 0 270149411 1017847808 242182 33554432000 4194304 10219143 140736300252912 140736300249272 6191148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 248498 242182 628 1471 0 247018 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 993992

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3262
/proc/meminfo: memFree=26180788/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1019740 CPUtime=102.28 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 260648 0 0 0 10130 98 0 0 20 0 1 0 270149411 1044213760 249014 33554432000 4194304 10219143 140736300252912 140736300249272 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 254935 249014 628 1471 0 253455 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1019740

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3262
/proc/meminfo: memFree=26136672/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1065044 CPUtime=162.26 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 271522 0 0 0 16119 107 0 0 20 0 1 0 270149411 1090605056 259888 33554432000 4194304 10219143 140736300252912 140736300249272 4819061 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 266261 259888 628 1471 0 264781 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1065044

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3262
/proc/meminfo: memFree=25980924/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1109808 CPUtime=222.25 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 283300 0 0 0 22111 114 0 0 20 0 1 0 270149411 1136443392 271666 33554432000 4194304 10219143 140736300252912 140736300249272 6191162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 277452 271666 628 1471 0 275972 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1109808

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3263
/proc/meminfo: memFree=25912396/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1170304 CPUtime=282.25 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 298032 0 0 0 28101 124 0 0 20 0 1 0 270149411 1198391296 286398 33554432000 4194304 10219143 140736300252912 140736300249272 6191148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 292576 286398 628 1471 0 291096 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1170304

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3263
/proc/meminfo: memFree=25630228/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1425640 CPUtime=342.24 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 343415 0 0 0 34078 146 0 0 20 0 1 0 270149411 1459855360 349243 33554432000 4194304 10219143 140736300252912 140736300246088 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 356410 349243 782 1471 0 354930 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1425640

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3263
/proc/meminfo: memFree=25614164/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1434752 CPUtime=402.23 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 345969 0 0 0 40072 151 0 0 20 0 1 0 270149411 1469186048 351777 33554432000 4194304 10219143 140736300252912 140736300246088 8051277 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 358688 351777 782 1471 0 357208 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1434752

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3263
/proc/meminfo: memFree=25611468/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1435908 CPUtime=462.22 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 346130 0 0 0 46068 154 0 0 20 0 1 0 270149411 1470369792 352433 33554432000 4194304 10219143 140736300252912 140736300246088 7999874 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 358977 352433 782 1471 0 357497 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1435908

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3263
/proc/meminfo: memFree=25603248/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1443332 CPUtime=522.21 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 347675 0 0 0 52063 158 0 0 20 0 1 0 270149411 1477971968 354489 33554432000 4194304 10219143 140736300252912 140736300246088 8057394 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 360833 354489 782 1471 0 359353 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1443332

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3267
/proc/meminfo: memFree=25603308/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1444052 CPUtime=582.21 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 347710 0 0 0 58058 163 0 0 20 0 1 0 270149411 1478709248 354524 33554432000 4194304 10219143 140736300252912 140736300246088 8062262 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 361013 354524 782 1471 0 359533 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 1444052

[startup+642.3 s]

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

/proc/meminfo: memFree=25560408/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1122.12 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350781 0 0 0 112007 205 0 0 20 0 1 0 270149411 1503100928 364612 33554432000 4194304 10219143 140736300252912 140736300246088 8099013 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 364612 782 1471 0 365488 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1467872

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 3295
/proc/meminfo: memFree=25558416/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1182.1 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350786 0 0 0 118001 209 0 0 20 0 1 0 270149411 1503100928 365015 33554432000 4194304 10219143 140736300252912 140736300246088 8069905 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365015 782 1471 0 365488 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1467872

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3295
/proc/meminfo: memFree=25558420/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1242.1 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350788 0 0 0 123997 213 0 0 20 0 1 0 270149411 1503100928 365072 33554432000 4194304 10219143 140736300252912 140736300246536 7754585 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365072 782 1471 0 365488 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1467872

[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 3295
/proc/meminfo: memFree=25558704/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1302.09 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350788 0 0 0 129993 216 0 0 20 0 1 0 270149411 1503100928 365091 33554432000 4194304 10219143 140736300252912 140736300246088 8057476 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365091 782 1471 0 365488 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1467872

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3295
/proc/meminfo: memFree=25558632/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1362.08 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350788 0 0 0 135988 220 0 0 20 0 1 0 270149411 1503100928 365097 33554432000 4194304 10219143 140736300252912 140736300246088 8108186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365097 782 1471 0 365488 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1467872

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3295
/proc/meminfo: memFree=25558660/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1422.07 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350788 0 0 0 141983 224 0 0 20 0 1 0 270149411 1503100928 365101 33554432000 4194304 10219143 140736300252912 140736300246088 8056250 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365101 782 1471 0 365488 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1467872

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3296
/proc/meminfo: memFree=25558564/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1482.06 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350789 0 0 0 147978 228 0 0 20 0 1 0 270149411 1503100928 365105 33554432000 4194304 10219143 140736300252912 140736300246088 8056484 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365105 783 1471 0 365488 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1467872

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3296
/proc/meminfo: memFree=25557600/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1542.05 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350789 0 0 0 153975 230 0 0 20 0 1 0 270149411 1503100928 365429 33554432000 4194304 10219143 140736300252912 140736300245432 8069860 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365429 783 1471 0 365488 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1467872

[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 3334
/proc/meminfo: memFree=21860016/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1602.04 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350789 0 0 0 159970 234 0 0 20 0 1 0 270149411 1503100928 365439 33554432000 4194304 10219143 140736300252912 140736300246088 8083859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365439 783 1471 0 365488 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1467872

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 3334
/proc/meminfo: memFree=21860124/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1662.03 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350789 0 0 0 165965 238 0 0 20 0 1 0 270149411 1503100928 365439 33554432000 4194304 10219143 140736300252912 140736300246088 8062316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365439 783 1471 0 365488 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1467872

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 3334
/proc/meminfo: memFree=21860272/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1722.02 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350789 0 0 0 171960 242 0 0 20 0 1 0 270149411 1503100928 365439 33554432000 4194304 10219143 140736300252912 140736300246088 8000516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365439 783 1471 0 365488 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1467872

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 3338
/proc/meminfo: memFree=21860048/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1782.01 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350789 0 0 0 177955 246 0 0 20 0 1 0 270149411 1503100928 365439 33554432000 4194304 10219143 140736300252912 140736300246088 8051306 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365439 783 1471 0 365488 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1467872

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3338
/proc/meminfo: memFree=21860040/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1791.62 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350789 0 0 0 178915 247 0 0 20 0 1 0 270149411 1503100928 365439 33554432000 4194304 10219143 140736300252912 140736300246088 8029260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365439 783 1471 0 365488 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 1467872

[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3338
/proc/meminfo: memFree=21860024/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1794.82 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350789 0 0 0 179235 247 0 0 20 0 1 0 270149411 1503100928 365439 33554432000 4194304 10219143 140736300252912 140736300246088 8069905 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365439 783 1471 0 365488 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 1467872

[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3338
/proc/meminfo: memFree=21860024/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1796.41 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350789 0 0 0 179394 247 0 0 20 0 1 0 270149411 1503100928 365439 33554432000 4194304 10219143 140736300252912 140736300246088 8056463 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365439 783 1471 0 365488 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 1467872

[startup+1798.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3338
/proc/meminfo: memFree=21860024/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1467872 CPUtime=1798.01 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350789 0 0 0 179554 247 0 0 20 0 1 0 270149411 1503100928 365439 33554432000 4194304 10219143 140736300252912 140736300246088 8051314 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366968 365439 783 1471 0 365488 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 1467872

[startup+1799.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3338
/proc/meminfo: memFree=21860024/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1465716 CPUtime=1798.81 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350810 0 0 0 179634 247 0 0 20 0 1 0 270149411 1500893184 364921 33554432000 4194304 10219143 140736300252912 140736300245848 5542186 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 366429 364921 804 1471 0 364949 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 1465716

[startup+1799.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3338
/proc/meminfo: memFree=22221180/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=1095744 CPUtime=1799.22 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350810 0 0 0 179671 251 0 0 20 0 1 0 270149411 1122041856 272801 33554432000 4194304 10219143 140736300252912 140736300245848 9036791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 273936 272801 804 1471 0 272456 0
Current children cumulated CPU time (s) 1799.22
Current children cumulated vsize (KiB) 1095744

[startup+1799.61 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3338
/proc/meminfo: memFree=22221180/32873648 swapFree=6852/6852
[pid=3261] ppid=3259 vsize=832268 CPUtime=1799.32 cores=1,3,5,7
/proc/3261/stat : 3261 (scip-2.1.1.4exp) R 3259 3261 1296 0 -1 4202496 350821 0 0 0 179678 254 0 0 20 0 1 0 270149411 852242432 207089 33554432000 4194304 10219143 140736300252912 140736300252152 9036791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3261/statm: 207811 207089 815 1471 0 206331 0
Current children cumulated CPU time (s) 1799.32
Current children cumulated vsize (KiB) 832268

Child status: 0
Real time (s): 1799.63
CPU time (s): 1799.35
CPU user time (s): 1796.78
CPU system time (s): 2.56061
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1467872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.78
system time used= 2.56061
maximum resident set size= 1461832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350823
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= 15
involuntary context switches= 1854

runsolver used 3.75143 second user time and 15.1217 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-26 15:50:34
IDJOB=3692457
IDBENCH=77189
IDSOLVER=2271
FILE ID=node116/3692457-1338040233
RUNJOBID= node116-1338028819-2419
PBS_JOBID= 14624355
Free space on /tmp= 71564 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12037_6.std.opb
COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692457-1338040233/watcher-3692457-1338040233 -o /tmp/evaluation-result-3692457-1338040233/solver-3692457-1338040233 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692457-1338040233.opb -t 1800 -m 15500

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

MD5SUM BENCH= 40c1638d55110dda04152daa502917a6
RANDOM SEED=396158049

node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27397572 kB
Buffers:          253132 kB
Cached:          3348904 kB
SwapCached:            0 kB
Active:          1806312 kB
Inactive:        2899004 kB
Active(anon):    1105820 kB
Inactive(anon):        0 kB
Active(file):     700492 kB
Inactive(file):  2899004 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             21752 kB
Writeback:             0 kB
AnonPages:       1113584 kB
Mapped:            15964 kB
Shmem:               200 kB
Slab:             631228 kB
SReclaimable:      75760 kB
SUnreclaim:       555468 kB
KernelStack:        1472 kB
PageTables:         6332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1237764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71324 MiB
End job on node116 at 2012-05-26 16:20:33