Trace number 3693636

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 standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed? 1797.75 1798.05

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1207_6.std.opb
MD5SUMd16d5193341210b17a0f2e49373cb527
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark125
Best CPU time to get the best result obtained on this benchmark1800.02
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 constraints234141
Number of constraints which are clauses232941
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 constraint67
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: a3bf3a4-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-3693636-1338040253.opb>
0.58/0.61	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234141 constraints
0.58/0.61	c problem read in 0.61
1.39/1.45	c presolving:
7.48/7.58	c (round 1) 5047 del vars, 15271 del conss, 0 add conss, 3503 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034200 impls, 0 clqs
11.99/12.06	c (round 2) 12844 del vars, 42362 del conss, 0 add conss, 11000 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16074485 impls, 0 clqs
13.28/13.38	c (round 3) 15687 del vars, 54937 del conss, 0 add conss, 12623 chg bounds, 29 chg sides, 19 chg coeffs, 0 upgd conss, 16091281 impls, 0 clqs
14.09/14.19	c (round 4) 16875 del vars, 59552 del conss, 0 add conss, 13402 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16098910 impls, 0 clqs
14.48/14.58	c (round 5) 17532 del vars, 62185 del conss, 0 add conss, 13759 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16103405 impls, 0 clqs
14.69/14.78	c (round 6) 17834 del vars, 63489 del conss, 0 add conss, 13905 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16105955 impls, 0 clqs
14.89/14.93	c (round 7) 17973 del vars, 64070 del conss, 0 add conss, 13989 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16107417 impls, 0 clqs
14.98/15.06	c (round 8) 18073 del vars, 64485 del conss, 0 add conss, 14049 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108307 impls, 0 clqs
15.08/15.15	c (round 9) 18105 del vars, 64671 del conss, 0 add conss, 14067 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108617 impls, 0 clqs
15.19/15.23	c (round 10) 18123 del vars, 64769 del conss, 0 add conss, 14076 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108753 impls, 0 clqs
15.19/15.30	c (round 11) 18125 del vars, 64792 del conss, 0 add conss, 14077 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108771 impls, 0 clqs
321.13/321.25	c    (321.2s) probing: 1000/54715 (1.8%) - 0 fixings, 0 aggregations, 5522285 implications, 0 bound changes
321.33/321.44	c    (321.4s) probing: 1001/54715 (1.8%) - 0 fixings, 0 aggregations, 5525062 implications, 0 bound changes
321.33/321.44	c    (321.4s) probing aborted: 1000/1000 successive useless probings
322.13/322.26	c (round 12) 18127 del vars, 64804 del conss, 0 add conss, 14078 chg bounds, 53 chg sides, 45 chg coeffs, 169337 upgd conss, 27158911 impls, 0 clqs
322.93/323.02	c (round 13) 18127 del vars, 64810 del conss, 15 add conss, 14078 chg bounds, 77 chg sides, 165 chg coeffs, 169337 upgd conss, 27159799 impls, 2778 clqs
323.63/323.76	c (round 14) 18127 del vars, 148731 del conss, 27033 add conss, 14078 chg bounds, 83 chg sides, 192 chg coeffs, 169337 upgd conss, 27159805 impls, 2879 clqs
324.22/324.33	c (round 15) 18127 del vars, 171742 del conss, 50048 add conss, 14078 chg bounds, 91 chg sides, 218 chg coeffs, 169337 upgd conss, 27159805 impls, 5758 clqs
324.83/324.96	c presolving (16 rounds):
324.83/324.96	c  18127 deleted vars, 171742 deleted constraints, 50048 added constraints, 14078 tightened bounds, 0 added holes, 91 changed sides, 220 changed coefficients
324.83/324.96	c  27159805 implications, 28768 cliques
324.83/324.96	c presolved problem has 54715 variables (54715 bin, 0 int, 0 impl, 0 cont) and 112447 constraints
324.83/324.96	c    1138 constraints of type <knapsack>
324.83/324.96	c  110183 constraints of type <setppc>
324.83/324.96	c    1124 constraints of type <and>
324.83/324.96	c       2 constraints of type <logicor>
324.83/324.96	c transformed objective value is always integral (scale: 1)
324.83/324.96	c Presolving Time: 324.11
324.83/324.96	c - non default parameters ----------------------------------------------------------------------
324.83/324.96	c # SCIP version 2.1.1.4
324.83/324.96	c 
324.83/324.96	c # maximal time in seconds to run
324.83/324.96	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
324.83/324.96	c limits/time = 1797
324.83/324.96	c 
324.83/324.96	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
324.83/324.96	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
324.83/324.96	c limits/memory = 13950
324.83/324.96	c 
324.83/324.96	c # default clock type (1: CPU user seconds, 2: wall clock time)
324.83/324.96	c # [type: int, range: [1,2], default: 1]
324.83/324.96	c timing/clocktype = 2
324.83/324.96	c 
324.83/324.96	c # belongs reading time to solving time?
324.83/324.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
324.83/324.96	c timing/reading = TRUE
324.83/324.96	c 
324.83/324.96	c -----------------------------------------------------------------------------------------------
324.83/324.96	c start solving
325.13/325.26	c 
1409.15/1409.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1409.15/1409.42	c  1409s|     1 |     0 |134709 |     - |1003M|   0 |9702 |  54k| 112k|  54k| 113k|   0 |  15 |   0 | 1.046547e+02 |      --      |    Inf 
1796.99/1797.36	c (node 1) unresolved numerical troubles in LP 2 -- using pseudo solution instead (loop 1)
1796.99/1797.36	c (node 1) LP solver hit time limit in LP 2 -- using pseudo solution instead
1796.99/1797.39	c  1797s|     1 |     2 |193738 |     - |1010M|   0 |   - |  54k| 112k|  54k| 113k|   0 |  15 |   0 | 1.046547e+02 |      --      |    Inf 
1796.99/1797.39	c 
1796.99/1797.39	c SCIP Status        : solving was interrupted [time limit reached]
1796.99/1797.39	c Solving Time (sec) : 1797.38
1796.99/1797.39	c Solving Nodes      : 1
1796.99/1797.39	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.99/1797.39	c Dual Bound         : +1.04654720286241e+02
1796.99/1797.39	c Gap                : infinite
1796.99/1797.39	s UNKNOWN
1796.99/1797.39	c SCIP Status        : solving was interrupted [time limit reached]
1796.99/1797.39	c Total Time         :    1797.38
1796.99/1797.39	c   solving          :    1797.38
1796.99/1797.39	c   presolving       :     324.11 (included in solving)
1796.99/1797.39	c   reading          :       0.61 (included in solving)
1796.99/1797.39	c   copying          :       0.00 (0 times copied the problem)
1796.99/1797.39	c Original Problem   :
1796.99/1797.39	c   Problem name     : HOME/instance-3693636-1338040253.opb
1796.99/1797.39	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.99/1797.39	c   Constraints      : 234141 initial, 234141 maximal
1796.99/1797.39	c   Objective sense  : minimize
1796.99/1797.39	c Presolved Problem  :
1796.99/1797.39	c   Problem name     : t_HOME/instance-3693636-1338040253.opb
1796.99/1797.39	c   Variables        : 54715 (54715 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.99/1797.39	c   Constraints      : 112447 initial, 112462 maximal
1796.99/1797.39	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.99/1797.39	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.39	c   trivial          :       0.05       0.00       1308          0          0          0          0          0          0          0          0
1796.99/1797.39	c   dualfix          :       0.08       0.00        121          0          0          0          0          0          0          0          0
1796.99/1797.39	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.39	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.39	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.39	c   gateextraction   :       0.35       0.00          0          0          0          0          0      83921      27014          0          0
1796.99/1797.39	c   implics          :       0.58       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.39	c   components       :       0.06       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.39	c   pseudoobj        :       0.00       0.29          0          0          0          0          0          0          0          0          0
1796.99/1797.39	c   probing          :     306.04       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.39	c   knapsack         :       0.92       0.00          0          0          0          0          0          2         23         38        175
1796.99/1797.39	c   setppc           :       0.53       0.00          0          0          0          0          0          4          0          0          0
1796.99/1797.39	c   and              :       0.43       0.00          0          0          0          0          0      23011      23011          0          0
1796.99/1797.39	c   linear           :      14.05       0.00      12770       3928          0      14078          0      64804          0         53         45
1796.99/1797.39	c   logicor          :       0.12       0.00          0          0          0          0          0          0          0          0          0
1796.99/1797.39	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.99/1797.39	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.99/1797.39	c   integral         :          0          0          0          0          0          0          4          0          0          0          0          0          0
1796.99/1797.39	c   knapsack         :       1138       1138          0      19151          0          1          3          3          0          0          0          0          0
1796.99/1797.39	c   setppc           :     110183     110183          0      19151          0          1          1       4013          2          0          0          0          0
1796.99/1797.39	c   and              :       1124       1124          0      19149          0          1          0         13          0          0          0          0          0
1796.99/1797.39	c   logicor          :          2+        17          0         16          0          1          0          1         13          0          0          0          0
1796.99/1797.39	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1796.99/1797.39	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.99/1797.39	c   integral         :       0.01       0.00       0.00       0.00       0.00       0.00       0.01       0.00
1796.99/1797.39	c   knapsack         :       1.00       0.00       0.00       1.00       0.00       0.00       0.00       0.00
1796.99/1797.39	c   setppc           :      50.14       0.00       0.00      50.11       0.00       0.02       0.00       0.00
1796.99/1797.39	c   and              :       1.16       0.00       0.00       1.15       0.00       0.00       0.00       0.00
1796.99/1797.39	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.99/1797.39	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.99/1797.39	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.99/1797.39	c   rootredcost      :          0          0          0          0
1796.99/1797.39	c   pseudoobj        :      19151          0          0          0
1796.99/1797.39	c   vbounds          :          0          0          0          0
1796.99/1797.39	c   redcost          :          1          0          0          0
1796.99/1797.39	c   probing          :          0          0          0          0
1796.99/1797.39	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.99/1797.39	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00
1796.99/1797.39	c   pseudoobj        :       0.37       0.29       0.00       0.08       0.00
1796.99/1797.39	c   vbounds          :       0.04       0.01       0.00       0.04       0.00
1796.99/1797.39	c   redcost          :       0.03       0.00       0.00       0.03       0.00
1796.99/1797.39	c   probing          :     306.04       0.00     306.04       0.00       0.00
1796.99/1797.39	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.99/1797.39	c   propagation      :       0.00         15         15         15       91.7          0        0.0          -
1796.99/1797.39	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.99/1797.39	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.99/1797.39	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.99/1797.39	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.99/1797.39	c   applied globally :          -          -          -         15       91.7          -          -          -
1796.99/1797.39	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.99/1797.39	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.99/1797.39	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 0)
1796.99/1797.39	c   clique           :       0.00       0.00          0          0          0          0          0
1796.99/1797.39	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.99/1797.39	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.99/1797.39	c   cmir             :       0.00       0.00          0          0          0          0          0
1796.99/1797.39	c   flowcover        :       0.00       0.00          0          0          0          0          0
1796.99/1797.39	c   gomory           :       0.00       0.00          0          0          0          0          0
1796.99/1797.39	c   impliedbounds    :       0.00       0.00          0          0          0          0          0
1796.99/1797.39	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.99/1797.39	c   mcf              :       0.00       0.00          0          0          0          0          0
1796.99/1797.39	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.99/1797.39	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.99/1797.39	c   strongcg         :       0.00       0.00          0          0          0          0          0
1796.99/1797.39	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.99/1797.39	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.99/1797.39	c   problem variables:       0.00          -          0          0
1796.99/1797.39	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.99/1797.39	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.39	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.39	c   inference        :       0.01       0.00          1          0          0          0          0          2
1796.99/1797.39	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.39	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.39	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.39	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.39	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.99/1797.39	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.99/1797.39	c   LP solutions     :       0.00          -          -          0
1796.99/1797.39	c   pseudo solutions :       0.00          -          -          0
1796.99/1797.39	c   oneopt           :       0.00       0.00          0          0
1796.99/1797.39	c   smallcard        :       0.00       0.00          0          0
1796.99/1797.39	c   trivial          :       0.07       0.00          2          0
1796.99/1797.39	c   shiftandpropagate:      53.17       0.00          1          0
1796.99/1797.39	c   simplerounding   :       0.00       0.00          0          0
1796.99/1797.39	c   zirounding       :       0.00       0.00          0          0
1796.99/1797.39	c   rounding         :       0.01       0.00          1          0
1796.99/1797.39	c   shifting         :       0.05       0.00          1          0
1796.99/1797.39	c   intshifting      :       0.00       0.00          0          0
1796.99/1797.39	c   twoopt           :       0.00       0.00          0          0
1796.99/1797.39	c   indtwoopt        :       0.00       0.00          0          0
1796.99/1797.39	c   indoneopt        :       0.00       0.00          0          0
1796.99/1797.39	c   fixandinfer      :       0.00       0.00          0          0
1796.99/1797.39	c   feaspump         :     387.88       0.00          1          0
1796.99/1797.39	c   clique           :       0.00       0.00          0          0
1796.99/1797.39	c   indrounding      :       0.00       0.00          0          0
1796.99/1797.39	c   indcoefdiving    :       0.00       0.00          0          0
1796.99/1797.39	c   coefdiving       :       0.00       0.00          0          0
1796.99/1797.39	c   pscostdiving     :       0.00       0.00          0          0
1796.99/1797.39	c   nlpdiving        :       0.00       0.00          0          0
1796.99/1797.39	c   fracdiving       :       0.00       0.00          0          0
1796.99/1797.39	c   veclendiving     :       0.00       0.00          0          0
1796.99/1797.39	c   intdiving        :       0.00       0.00          0          0
1796.99/1797.39	c   actconsdiving    :       0.00       0.00          0          0
1796.99/1797.39	c   objpscostdiving  :       0.00       0.00          0          0
1796.99/1797.39	c   rootsoldiving    :       0.00       0.00          0          0
1796.99/1797.39	c   linesearchdiving :       0.00       0.00          0          0
1796.99/1797.39	c   guideddiving     :       0.00       0.00          0          0
1796.99/1797.39	c   octane           :       0.00       0.00          0          0
1796.99/1797.39	c   rens             :       0.00       0.00          0          0
1796.99/1797.39	c   rins             :       0.00       0.00          0          0
1796.99/1797.39	c   localbranching   :       0.00       0.00          0          0
1796.99/1797.39	c   mutation         :       0.00       0.00          0          0
1796.99/1797.39	c   crossover        :       0.00       0.00          0          0
1796.99/1797.39	c   dins             :       0.00       0.00          0          0
1796.99/1797.39	c   vbounds          :       0.00       0.00          0          0
1796.99/1797.39	c   undercover       :       0.00       0.00          0          0
1796.99/1797.39	c   subnlp           :       0.00       0.00          0          0
1796.99/1797.39	c   trysol           :       0.00       0.00          0          0
1796.99/1797.39	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.99/1797.39	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
1796.99/1797.39	c   dual LP          :    1030.94          1     134709  134709.00     130.67       0.00          0
1796.99/1797.39	c   lex dual LP      :       0.00          0          0       0.00          -
1796.99/1797.39	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.99/1797.39	c   diving/probing LP:     387.84          1      59029   59029.00     152.20
1796.99/1797.39	c   strong branching :       0.00          0          0       0.00          -
1796.99/1797.39	c     (at root node) :          -          0          0       0.00          -
1796.99/1797.39	c   conflict analysis:       0.00          0          0       0.00          -
1796.99/1797.39	c B&B Tree           :
1796.99/1797.39	c   number of runs   :          1
1796.99/1797.39	c   nodes            :          1
1796.99/1797.39	c   nodes (total)    :          1
1796.99/1797.39	c   nodes left       :          2
1796.99/1797.39	c   max depth        :          0
1796.99/1797.39	c   max depth (total):          0
1796.99/1797.39	c   backtracks       :          0 (0.0%)
1796.99/1797.39	c   delayed cutoffs  :          0
1796.99/1797.39	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.99/1797.39	c   avg switch length:       1.00
1796.99/1797.39	c   switching time   :       0.00
1796.99/1797.39	c Solution           :
1796.99/1797.39	c   Solutions found  :          0 (0 improvements)
1796.99/1797.39	c   Primal Bound     :          -
1796.99/1797.39	c   Dual Bound       : +1.04654720286241e+02
1796.99/1797.39	c   Gap              :   infinite
1796.99/1797.39	c   Root Dual Bound  : +1.04654720286241e+02
1796.99/1797.39	c   Root Iterations  :     193738
1797.69/1798.05	c Time complete: 1797.74.

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-3693636-1338040253/watcher-3693636-1338040253 -o /tmp/evaluation-result-3693636-1338040253/solver-3693636-1338040253 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693636-1338040253.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.02 2.01 2.00 3/177 10113
/proc/meminfo: memFree=28712764/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=10524 CPUtime=0 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 1392 0 0 0 0 0 0 0 20 0 1 0 270150774 10776576 1346 33554432000 4194304 10169799 140733295551184 140735264606232 8797266 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 2665 1354 412 1459 0 1197 0

[startup+0.043704 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10113
/proc/meminfo: memFree=28712764/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=25284 CPUtime=0.03 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 5082 0 0 0 3 0 0 0 20 0 1 0 270150774 25890816 5036 33554432000 4194304 10169799 140733295551184 140733295417512 5477139 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 6321 5036 412 1459 0 4853 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25284

[startup+0.100288 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10113
/proc/meminfo: memFree=28712764/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=44628 CPUtime=0.09 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 9932 0 0 0 8 1 0 0 20 0 1 0 270150774 45699072 9859 33554432000 4194304 10169799 140733295551184 140733295417512 5477139 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 11157 9859 412 1459 0 9689 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44628

[startup+0.300227 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10113
/proc/meminfo: memFree=28712764/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=72604 CPUtime=0.29 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 16923 0 0 0 27 2 0 0 20 0 1 0 270150774 74346496 16850 33554432000 4194304 10169799 140733295551184 140733295417512 7408175 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 18151 16850 412 1459 0 16683 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72604

[startup+0.700232 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10113
/proc/meminfo: memFree=28712764/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=201360 CPUtime=0.68 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 48991 0 0 0 63 5 0 0 20 0 1 0 270150774 206192640 48899 33554432000 4194304 10169799 140733295551184 140733295417512 4897840 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 50340 48899 463 1459 0 48872 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 201360

[startup+1.50025 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10114
/proc/meminfo: memFree=28420880/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=406196 CPUtime=1.49 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 108375 0 0 0 135 14 0 0 20 0 1 0 270150774 415944704 98026 33554432000 4194304 10169799 140733295551184 140733295549144 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 101549 98026 545 1459 0 100081 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 406196

[startup+3.10025 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10114
/proc/meminfo: memFree=28242280/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=595428 CPUtime=3.08 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 155486 0 0 0 286 22 0 0 20 0 1 0 270150774 609718272 145137 33554432000 4194304 10169799 140733295551184 140733295549336 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 148857 145137 557 1459 0 147389 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 595428

[startup+6.3003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10114
/proc/meminfo: memFree=27944412/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=847920 CPUtime=6.29 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 216218 0 0 0 595 34 0 0 20 0 1 0 270150774 868270080 205869 33554432000 4194304 10169799 140733295551184 140733295549336 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 211980 205869 563 1459 0 210512 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 847920

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10114
/proc/meminfo: memFree=27846380/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=891820 CPUtime=12.69 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 228226 0 0 0 1223 46 0 0 20 0 1 0 270150774 913223680 216784 33554432000 4194304 10169799 140733295551184 140733295549336 7433752 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 222955 216784 565 1459 0 221487 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 891820

[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10114
/proc/meminfo: memFree=27828500/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=909852 CPUtime=25.48 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 232798 0 0 0 2477 71 0 0 20 0 1 0 270150774 931688448 221179 33554432000 4194304 10169799 140733295551184 140733295548696 4484316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 227463 221179 584 1459 0 225995 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 909852

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10114
/proc/meminfo: memFree=27819152/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=917988 CPUtime=51.08 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 234865 0 0 0 5034 74 0 0 20 0 1 0 270150774 940019712 223585 33554432000 4194304 10169799 140733295551184 140733295548696 4484316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 229497 223585 584 1459 0 228029 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 917988

[startup+102.307 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 10114
/proc/meminfo: memFree=27794132/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=940404 CPUtime=102.27 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 240222 0 0 0 10149 78 0 0 20 0 1 0 270150774 962973696 229652 33554432000 4194304 10169799 140733295551184 140733295548696 4950707 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 235101 229652 584 1459 0 233633 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 940404

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10114
/proc/meminfo: memFree=27756960/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=976588 CPUtime=162.25 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 247412 0 0 0 16140 85 0 0 20 0 1 0 270150774 1000026112 238935 33554432000 4194304 10169799 140733295551184 140733295548696 4484316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 244147 238935 584 1459 0 242679 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 976588

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10114
/proc/meminfo: memFree=27708136/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1028980 CPUtime=222.25 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 259651 0 0 0 22133 92 0 0 20 0 1 0 270150774 1053675520 251176 33554432000 4194304 10169799 140733295551184 140733295548696 4477834 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 257245 251176 584 1459 0 255777 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1028980

[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10115
/proc/meminfo: memFree=27652364/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1086360 CPUtime=282.23 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 274085 0 0 0 28124 99 0 0 20 0 1 0 270150774 1112432640 265602 33554432000 4194304 10169799 140733295551184 140733295548696 4484316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 271590 265602 584 1459 0 270122 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1086360

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10115
/proc/meminfo: memFree=27447076/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1295304 CPUtime=342.23 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 328781 0 0 0 34082 141 0 0 20 0 1 0 270150774 1326391296 316365 33554432000 4194304 10169799 140733295551184 140733295548216 4777685 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 323826 316365 704 1459 0 322358 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1295304

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10115
/proc/meminfo: memFree=27346692/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1402652 CPUtime=402.21 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 345308 0 0 0 40068 153 0 0 20 0 1 0 270150774 1436315648 341309 33554432000 4194304 10169799 140733295551184 140733295545512 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 350663 341309 790 1459 0 349195 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1402652

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10115
/proc/meminfo: memFree=27327600/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419120 CPUtime=462.2 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 348898 0 0 0 46059 161 0 0 20 0 1 0 270150774 1453178880 345846 33554432000 4194304 10169799 140733295551184 140733295545512 8010556 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354780 345846 790 1459 0 353312 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1419120

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10115
/proc/meminfo: memFree=27323940/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1428300 CPUtime=522.19 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 350389 0 0 0 52050 169 0 0 20 0 1 0 270150774 1462579200 347019 33554432000 4194304 10169799 140733295551184 140733295545512 8015301 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 357075 347019 790 1459 0 355607 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1428300

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10119
/proc/meminfo: memFree=27302756/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1442184 CPUtime=582.18 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352337 0 0 0 58045 173 0 0 20 0 1 0 270150774 1476796416 352099 33554432000 4194304 10169799 140733295551184 140733295546008 8010496 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 360546 352099 790 1459 0 359078 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1442184

[startup+642.3 s]

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

/proc/meminfo: memFree=26627972/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1442184 CPUtime=1122.09 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352430 0 0 0 111996 213 0 0 20 0 1 0 270150774 1476796416 357324 33554432000 4194304 10169799 140733295551184 140733295545976 8022904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 360546 357324 790 1459 0 359078 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1442184

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10185
/proc/meminfo: memFree=26647696/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1442184 CPUtime=1182.08 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352438 0 0 0 117990 218 0 0 20 0 1 0 270150774 1476796416 357332 33554432000 4194304 10169799 140733295551184 140733295545512 7978382 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 360546 357332 790 1459 0 359078 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1442184

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10185
/proc/meminfo: memFree=26630328/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1442184 CPUtime=1242.08 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352441 0 0 0 123985 223 0 0 20 0 1 0 270150774 1476796416 357335 33554432000 4194304 10169799 140733295551184 140733295546008 8004333 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 360546 357335 790 1459 0 359078 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1442184

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10185
/proc/meminfo: memFree=26630080/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1442184 CPUtime=1302.08 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352442 0 0 0 129980 228 0 0 20 0 1 0 270150774 1476796416 357336 33554432000 4194304 10169799 140733295551184 140733295545512 8010537 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 360546 357336 790 1459 0 359078 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1442184

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10185
/proc/meminfo: memFree=26604232/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1442184 CPUtime=1362.06 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352444 0 0 0 135974 232 0 0 20 0 1 0 270150774 1476796416 357338 33554432000 4194304 10169799 140733295551184 140733295545512 8010432 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 360546 357338 790 1459 0 359078 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1442184

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10185
/proc/meminfo: memFree=26661048/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1422.05 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352852 0 0 0 141968 237 0 0 20 0 1 0 270150774 1453916160 352037 33554432000 4194304 10169799 140733295551184 140733295543864 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352037 804 1459 0 353492 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1419840

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10186
/proc/meminfo: memFree=26648828/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1482.04 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352883 0 0 0 147961 243 0 0 20 0 1 0 270150774 1453916160 352068 33554432000 4194304 10169799 140733295551184 140733295543640 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352068 804 1459 0 353492 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1419840

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10186
/proc/meminfo: memFree=26646372/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1542.03 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352883 0 0 0 153957 246 0 0 20 0 1 0 270150774 1453916160 352068 33554432000 4194304 10169799 140733295551184 140733295543464 8004697 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352068 804 1459 0 353492 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1419840

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10186
/proc/meminfo: memFree=26646140/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1602.02 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 159952 250 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543592 8020471 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1419840

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10186
/proc/meminfo: memFree=26605768/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1662.01 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 165947 254 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543640 8020484 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1419840

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10186
/proc/meminfo: memFree=26599780/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1722 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 171942 258 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543640 8020471 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1419840

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596252/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1782 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 177938 262 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543464 8020396 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1419840

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596748/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1785.2 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 178258 262 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543464 8004362 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 1419840

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596608/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1791.6 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 178898 262 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543464 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 1419840

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596732/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1794.8 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 179218 262 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543640 8043938 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 1419840

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596732/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1796.39 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 179377 262 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543864 8023412 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 1419840

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596856/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1797.19 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352916 0 0 0 179457 262 0 0 20 0 1 0 270150774 1453916160 352101 33554432000 4194304 10169799 140733295551184 140733295543592 7542233 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352101 818 1459 0 353492 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 1419840

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596856/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1312340 CPUtime=1797.6 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352917 0 0 0 179496 264 0 0 20 0 1 0 270150774 1343836160 325317 33554432000 4194304 10169799 140733295551184 140733295543592 5882499 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 328085 325317 819 1459 0 326617 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 1312340

[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596856/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1074840 CPUtime=1797.69 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352918 0 0 0 179503 266 0 0 20 0 1 0 270150774 1100636160 267043 33554432000 4194304 10169799 140733295551184 140733295550328 5882464 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 268710 267043 820 1459 0 267242 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 1074840

Child status: 0
Real time (s): 1798.05
CPU time (s): 1797.75
CPU user time (s): 1795.05
CPU system time (s): 2.70459
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 1442184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 2.70459
maximum resident set size= 1429400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352931
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= 43
involuntary context switches= 1897

runsolver used 4.96024 second user time and 13.099 second system time

The end

Launcher Data

Begin job on node125 at 2012-05-26 15:50:53
IDJOB=3693636
IDBENCH=77618
IDSOLVER=2272
FILE ID=node125/3693636-1338040253
RUNJOBID= node125-1338029661-8140
PBS_JOBID= 14624346
Free space on /tmp= 71268 MiB

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

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

MD5SUM BENCH= d16d5193341210b17a0f2e49373cb527
RANDOM SEED=608268377

node125.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.373
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	: 5332.74
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.373
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.373
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	: 5331.92
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.373
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.90
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.373
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.91
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.373
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	: 5438.54
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.373
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.91
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.373
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:        28713136 kB
Buffers:          249976 kB
Cached:          2911476 kB
SwapCached:            0 kB
Active:          1328140 kB
Inactive:        2054200 kB
Active(anon):     223512 kB
Inactive(anon):        0 kB
Active(file):    1104628 kB
Inactive(file):  2054200 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             20700 kB
Writeback:             0 kB
AnonPages:        227732 kB
Mapped:            17760 kB
Shmem:               200 kB
Slab:             641816 kB
SReclaimable:      85784 kB
SUnreclaim:       556032 kB
KernelStack:        1456 kB
PageTables:         4352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     335616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 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= 71248 MiB
End job on node125 at 2012-05-26 16:20:52