Trace number 3489736

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E_2 2011-06-10 (fixed)? 1797.88 1797.83

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12024_7.std.opb
MD5SUM9510b6ff1580c9ed67c57164f070d9e8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark112
Best CPU time to get the best result obtained on this benchmark1.14382
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 constraints245025
Number of constraints which are clauses243825
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 constraint33
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.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3489736-1307792682.opb>
1.29/1.32	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245025 constraints
1.29/1.32	c problem read
1.29/1.32	c presolving settings loaded
1.69/1.76	c presolving:
9.69/9.78	c (round 1) 6326 del vars, 19058 del conss, 0 add conss, 4633 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16678482 impls, 0 clqs
14.39/14.44	c (round 2) 14523 del vars, 50270 del conss, 0 add conss, 12541 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16722779 impls, 0 clqs
15.79/15.80	c (round 3) 17707 del vars, 65021 del conss, 0 add conss, 14326 chg bounds, 50 chg sides, 30 chg coeffs, 0 upgd conss, 16744198 impls, 0 clqs
16.59/16.66	c (round 4) 19126 del vars, 70654 del conss, 0 add conss, 15291 chg bounds, 71 chg sides, 60 chg coeffs, 0 upgd conss, 16754846 impls, 0 clqs
17.09/17.15	c (round 5) 20112 del vars, 74362 del conss, 0 add conss, 15867 chg bounds, 75 chg sides, 68 chg coeffs, 0 upgd conss, 16765245 impls, 0 clqs
17.39/17.48	c (round 6) 20676 del vars, 76612 del conss, 0 add conss, 16220 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16772244 impls, 0 clqs
17.60/17.68	c (round 7) 20995 del vars, 77974 del conss, 0 add conss, 16407 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16775887 impls, 0 clqs
17.79/17.84	c (round 8) 21222 del vars, 78883 del conss, 0 add conss, 16539 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16778163 impls, 0 clqs
17.89/17.94	c (round 9) 21324 del vars, 79368 del conss, 0 add conss, 16595 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16779908 impls, 0 clqs
17.99/18.03	c (round 10) 21401 del vars, 79683 del conss, 0 add conss, 16644 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16780781 impls, 0 clqs
18.09/18.15	c (round 11) 21461 del vars, 79937 del conss, 0 add conss, 16686 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16781088 impls, 0 clqs
18.19/18.21	c (round 12) 21481 del vars, 80050 del conss, 0 add conss, 16694 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16781212 impls, 0 clqs
18.19/18.27	c (round 13) 21485 del vars, 80081 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16781261 impls, 0 clqs
668.71/668.72	c    (668.7s) probing: 1000/51355 (1.9%) - 11 fixings, 4 aggregations, 11109569 implications, 0 bound changes
1157.23/1157.23	c    (1157.2s) probing: 2000/51355 (3.9%) - 11 fixings, 4 aggregations, 17664125 implications, 0 bound changes
1383.03/1383.01	c    (1383.0s) probing: 2506/51355 (4.9%) - 11 fixings, 4 aggregations, 20727895 implications, 0 bound changes
1383.03/1383.01	c    (1383.0s) probing aborted: 2000/2000 successive useless probings
1383.03/1383.01	c (round 14) 21502 del vars, 80093 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 95861611 impls, 0 clqs
1383.33/1383.37	c (round 15) 21505 del vars, 80510 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 95861679 impls, 0 clqs
1384.13/1384.10	c (round 16) 21505 del vars, 80513 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 164512 upgd conss, 95861679 impls, 0 clqs
1541.94/1541.98	c    (1542.0s) probing: 2706/51355 (5.3%) - 11 fixings, 4 aggregations, 21802764 implications, 0 bound changes
1541.94/1541.98	c    (1542.0s) probing aborted: 2000/2000 successive useless probings
1541.94/1541.98	c presolving (17 rounds):
1541.94/1541.98	c  21505 deleted vars, 80513 deleted constraints, 3 added constraints, 16697 tightened bounds, 0 added holes, 93 changed sides, 334 changed coefficients
1541.94/1541.98	c  98810765 implications, 0 cliques
1541.94/1541.98	c presolved problem has 51337 variables (51337 bin, 0 int, 0 impl, 0 cont) and 164515 constraints
1541.94/1541.98	c    1071 constraints of type <knapsack>
1541.94/1541.98	c  138116 constraints of type <setppc>
1541.94/1541.98	c   25328 constraints of type <logicor>
1541.94/1541.98	c transformed objective value is always integral (scale: 1)
1541.94/1541.98	c Presolving Time: 1540.35
1541.94/1541.98	c - non default parameters ----------------------------------------------------------------------
1541.94/1541.98	c # SCIP version 2.0.1.5
1541.94/1541.98	c 
1541.94/1541.98	c # frequency for displaying node information lines
1541.94/1541.98	c # [type: int, range: [-1,2147483647], default: 100]
1541.94/1541.98	c display/freq = 10000
1541.94/1541.98	c 
1541.94/1541.98	c # maximal time in seconds to run
1541.94/1541.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1541.94/1541.98	c limits/time = 1797
1541.94/1541.98	c 
1541.94/1541.98	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1541.94/1541.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1541.94/1541.98	c limits/memory = 13950
1541.94/1541.98	c 
1541.94/1541.98	c # default clock type (1: CPU user seconds, 2: wall clock time)
1541.94/1541.98	c # [type: int, range: [1,2], default: 1]
1541.94/1541.98	c timing/clocktype = 2
1541.94/1541.98	c 
1541.94/1541.98	c # belongs reading time to solving time?
1541.94/1541.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1541.94/1541.98	c timing/reading = TRUE
1541.94/1541.98	c 
1541.94/1541.98	c # should presolving try to simplify inequalities
1541.94/1541.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1541.94/1541.98	c constraints/linear/simplifyinequalities = TRUE
1541.94/1541.98	c 
1541.94/1541.98	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1541.94/1541.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1541.94/1541.98	c constraints/indicator/addCouplingCons = TRUE
1541.94/1541.98	c 
1541.94/1541.98	c # should presolving try to simplify knapsacks
1541.94/1541.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1541.94/1541.98	c constraints/knapsack/simplifyinequalities = TRUE
1541.94/1541.98	c 
1541.94/1541.98	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1541.94/1541.98	c # [type: int, range: [-1,2147483647], default: -1]
1541.94/1541.98	c separating/rapidlearning/freq = 0
1541.94/1541.98	c 
1541.94/1541.98	c -----------------------------------------------------------------------------------------------
1541.94/1541.98	c start solving
1542.03/1542.00	c 
1715.34/1715.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1715.34/1715.38	c  1715s|     1 |     0 | 43815 |     - |2848M|   0 |1083 |  51k| 164k|  51k| 164k|   0 |  64 |   0 | 1.120000e+02 |      --      |    Inf 
1797.04/1797.09	c  1797s|     1 |     2 | 78186 |     - |2851M|   0 |   - |  51k| 164k|  51k| 164k|   0 |  64 |   0 | 1.120000e+02 |      --      |    Inf 
1797.04/1797.09	c 
1797.04/1797.09	c SCIP Status        : solving was interrupted [time limit reached]
1797.04/1797.09	c Solving Time (sec) : 1797.09
1797.04/1797.09	c Solving Nodes      : 1
1797.04/1797.09	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.04/1797.09	c Dual Bound         : +1.12000000000000e+02
1797.04/1797.09	c Gap                : infinite
1797.04/1797.09	s UNKNOWN
1797.04/1797.09	c SCIP Status        : solving was interrupted [time limit reached]
1797.04/1797.09	c Total Time         :    1797.09
1797.04/1797.09	c   solving          :    1797.09
1797.04/1797.09	c   presolving       :    1540.35 (included in solving)
1797.04/1797.09	c   reading          :       1.32 (included in solving)
1797.04/1797.09	c Original Problem   :
1797.04/1797.09	c   Problem name     : HOME/instance-3489736-1307792682.opb
1797.04/1797.09	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.09	c   Constraints      : 245025 initial, 245025 maximal
1797.04/1797.09	c Presolved Problem  :
1797.04/1797.09	c   Problem name     : t_HOME/instance-3489736-1307792682.opb
1797.04/1797.09	c   Variables        : 51337 (51337 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.09	c   Constraints      : 164515 initial, 164579 maximal
1797.04/1797.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.04/1797.09	c   trivial          :       0.05       1363          0          0          0          0          0          0          0          0
1797.04/1797.09	c   dualfix          :       0.08        120          0          0          0          0          0          0          0          0
1797.04/1797.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.04/1797.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.04/1797.09	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1797.04/1797.09	c   implics          :       0.86          0          0          0          0          0          0          0          0          0
1797.04/1797.09	c   probing          :    1521.79         11          4          0          0          0          0          0          0          0
1797.04/1797.09	c   knapsack         :       0.38          0          0          0          0          0          0          3          6        246
1797.04/1797.09	c   setppc           :       0.21          0          0          0          0          0          0          0          0          0
1797.04/1797.09	c   linear           :      16.60      15334       4673          0      16697          0      80513          0         87         88
1797.04/1797.09	c   logicor          :       0.03          0          0          0          0          0          0          0          0          0
1797.04/1797.09	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.04/1797.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.04/1797.09	c   integral         :          0          0          0          0          0          4          0          0          0          0          0          0
1797.04/1797.09	c   knapsack         :       1071          0       8856          0          1          3        138          0          0          0          0          0
1797.04/1797.09	c   setppc           :     138116          0       8855          0          1          1       1336         12          0          0          0          0
1797.04/1797.09	c   logicor          :      25328+         0       7043          0          1          0        280          2          0          0          0          0
1797.04/1797.09	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1797.04/1797.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.04/1797.09	c   integral         :       0.01       0.00       0.00       0.00       0.00       0.01       0.00
1797.04/1797.09	c   knapsack         :       0.30       0.00       0.30       0.00       0.00       0.00       0.00
1797.04/1797.09	c   setppc           :      14.41       0.00      14.37       0.00       0.04       0.00       0.00
1797.04/1797.09	c   logicor          :       1.32       0.00       1.31       0.00       0.01       0.00       0.00
1797.04/1797.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.04/1797.09	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.04/1797.09	c   vbounds          :          0          0          0          0
1797.04/1797.09	c   rootredcost      :          0          0          0          0
1797.04/1797.09	c   pseudoobj        :       4883          0          0          0
1797.04/1797.09	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.04/1797.09	c   vbounds          :       0.06       0.06       0.00
1797.04/1797.09	c   rootredcost      :       0.03       0.03       0.00
1797.04/1797.09	c   pseudoobj        :       0.03       0.03       0.00
1797.04/1797.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.04/1797.09	c   propagation      :       0.00         14         14         64       19.0          0        0.0          -
1797.04/1797.09	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.04/1797.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.04/1797.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.04/1797.09	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.04/1797.09	c   applied globally :          -          -          -         64       19.0          -          -          -
1797.04/1797.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.04/1797.09	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.04/1797.09	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1797.04/1797.09	c   redcost          :       0.00          0          0          0          0          0
1797.04/1797.09	c   impliedbounds    :       0.00          0          0          0          0          0
1797.04/1797.09	c   intobj           :       0.00          0          0          0          0          0
1797.04/1797.09	c   gomory           :       0.00          0          0          0          0          0
1797.04/1797.09	c   cgmip            :       0.00          0          0          0          0          0
1797.04/1797.09	c   closecuts        :       0.00          0          0          0          0          0
1797.04/1797.09	c   strongcg         :       0.00          0          0          0          0          0
1797.04/1797.09	c   cmir             :       0.00          0          0          0          0          0
1797.04/1797.09	c   flowcover        :       0.00          0          0          0          0          0
1797.04/1797.09	c   clique           :       0.00          0          0          0          0          0
1797.04/1797.09	c   zerohalf         :       0.00          0          0          0          0          0
1797.04/1797.09	c   mcf              :       0.00          0          0          0          0          0
1797.04/1797.09	c   oddcycle         :       0.00          0          0          0          0          0
1797.04/1797.09	c   rapidlearning    :       0.00          0          0          0          0          0
1797.04/1797.09	c Pricers            :       Time      Calls       Vars
1797.04/1797.09	c   problem variables:       0.00          0          0
1797.04/1797.09	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.04/1797.09	c   relpscost        :       0.00          0          0          0          0          0          0
1797.04/1797.09	c   pscost           :       0.00          0          0          0          0          0          0
1797.04/1797.09	c   inference        :       0.01          1          0          0          0          0          2
1797.04/1797.09	c   mostinf          :       0.00          0          0          0          0          0          0
1797.04/1797.09	c   leastinf         :       0.00          0          0          0          0          0          0
1797.04/1797.09	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.04/1797.09	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.04/1797.09	c   random           :       0.00          0          0          0          0          0          0
1797.04/1797.09	c Primal Heuristics  :       Time      Calls      Found
1797.04/1797.09	c   LP solutions     :       0.00          -          0
1797.04/1797.09	c   pseudo solutions :       0.00          -          0
1797.04/1797.09	c   oneopt           :       0.00          0          0
1797.04/1797.09	c   trivial          :       0.08          2          0
1797.04/1797.09	c   shiftandpropagate:       4.55          1          0
1797.04/1797.09	c   simplerounding   :       0.00          0          0
1797.04/1797.09	c   zirounding       :       0.00          0          0
1797.04/1797.09	c   rounding         :       0.00          1          0
1797.04/1797.09	c   shifting         :       0.01          1          0
1797.04/1797.09	c   intshifting      :       0.00          0          0
1797.04/1797.09	c   twoopt           :       0.00          0          0
1797.04/1797.09	c   fixandinfer      :       0.00          0          0
1797.04/1797.09	c   feaspump         :      81.64          1          0
1797.04/1797.09	c   clique           :       0.00          0          0
1797.04/1797.09	c   coefdiving       :       0.00          0          0
1797.04/1797.09	c   pscostdiving     :       0.00          0          0
1797.04/1797.09	c   fracdiving       :       0.00          0          0
1797.04/1797.09	c   veclendiving     :       0.00          0          0
1797.04/1797.09	c   intdiving        :       0.00          0          0
1797.04/1797.09	c   actconsdiving    :       0.00          0          0
1797.04/1797.09	c   objpscostdiving  :       0.00          0          0
1797.04/1797.09	c   rootsoldiving    :       0.00          0          0
1797.04/1797.09	c   linesearchdiving :       0.00          0          0
1797.04/1797.09	c   guideddiving     :       0.00          0          0
1797.04/1797.09	c   octane           :       0.00          0          0
1797.04/1797.09	c   rens             :       0.00          0          0
1797.04/1797.09	c   rins             :       0.00          0          0
1797.04/1797.09	c   localbranching   :       0.00          0          0
1797.04/1797.09	c   mutation         :       0.00          0          0
1797.04/1797.09	c   crossover        :       0.00          0          0
1797.04/1797.09	c   dins             :       0.00          0          0
1797.04/1797.09	c   vbounds          :       0.00          0          0
1797.04/1797.09	c   undercover       :       0.00          0          0
1797.04/1797.09	c   subnlp           :       0.00          0          0
1797.04/1797.09	c   trysol           :       0.00          0          0
1797.04/1797.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.04/1797.09	c   primal LP        :       0.00          0          0       0.00          -
1797.04/1797.09	c   dual LP          :     168.76          1      43815   43815.00     259.62
1797.04/1797.09	c   lex dual LP      :       0.00          0          0       0.00          -
1797.04/1797.09	c   barrier LP       :       0.00          0          0       0.00          -
1797.04/1797.09	c   diving/probing LP:      80.47         27      34371    1273.00     427.11
1797.04/1797.09	c   strong branching :       0.00          0          0       0.00          -
1797.04/1797.09	c     (at root node) :          -          0          0       0.00          -
1797.04/1797.09	c   conflict analysis:       0.00          0          0       0.00          -
1797.04/1797.09	c B&B Tree           :
1797.04/1797.09	c   number of runs   :          1
1797.04/1797.09	c   nodes            :          1
1797.04/1797.09	c   nodes (total)    :          1
1797.04/1797.09	c   nodes left       :          2
1797.04/1797.09	c   max depth        :          0
1797.04/1797.09	c   max depth (total):          0
1797.04/1797.09	c   backtracks       :          0 (0.0%)
1797.04/1797.09	c   delayed cutoffs  :          0
1797.04/1797.09	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.04/1797.09	c   avg switch length:       1.00
1797.04/1797.09	c   switching time   :       0.00
1797.04/1797.09	c Solution           :
1797.04/1797.09	c   Solutions found  :          0 (0 improvements)
1797.04/1797.09	c   Primal Bound     :          -
1797.04/1797.09	c   Dual Bound       : +1.12000000000000e+02
1797.04/1797.09	c   Gap              :   infinite
1797.04/1797.09	c   Root Dual Bound  : +1.12000000000000e+02
1797.04/1797.09	c   Root Iterations  :      78186
1797.85/1797.82	c Time complete: 1797.87.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.02 1.08 1.40 3/173 23335
/proc/meminfo: memFree=31687240/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=10944 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 1772 0 0 0 0 0 0 0 22 0 1 0 890866437 11206656 1726 33554432000 4194304 9016284 140735187377616 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 2736 1737 340 1178 0 1554 0

[startup+0.0688531 s]
/proc/loadavg: 1.02 1.08 1.40 3/173 23335
/proc/meminfo: memFree=31687240/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=27632 CPUtime=0.05 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 5877 0 0 0 5 0 0 0 22 0 1 0 890866437 28295168 5831 33554432000 4194304 9016284 140735187377616 18446744073709551615 7870498 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 6908 5831 360 1178 0 5726 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27632

[startup+0.100833 s]
/proc/loadavg: 1.02 1.08 1.40 3/173 23335
/proc/meminfo: memFree=31687240/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=32256 CPUtime=0.09 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 7064 0 0 0 9 0 0 0 22 0 1 0 890866437 33030144 7018 33554432000 4194304 9016284 140735187377616 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 8064 7018 360 1178 0 6882 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32256

[startup+0.300808 s]
/proc/loadavg: 1.02 1.08 1.40 3/173 23335
/proc/meminfo: memFree=31687240/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=59136 CPUtime=0.29 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 13784 0 0 0 28 1 0 0 23 0 1 0 890866437 60555264 13738 33554432000 4194304 9016284 140735187377616 18446744073709551615 4445973 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 14784 13738 360 1178 0 13602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59136

[startup+0.700734 s]
/proc/loadavg: 1.02 1.08 1.40 3/173 23335
/proc/meminfo: memFree=31687240/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=88692 CPUtime=0.69 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 21173 0 0 0 67 2 0 0 25 0 1 0 890866437 90820608 21127 33554432000 4194304 9016284 140735187377616 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 22173 21127 360 1178 0 20991 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88692

[startup+1.50056 s]
/proc/loadavg: 1.02 1.08 1.40 3/179 23345
/proc/meminfo: memFree=31458844/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=288104 CPUtime=1.49 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 70650 0 0 0 142 7 0 0 25 0 1 0 890866437 295018496 70566 33554432000 4194304 9016284 140735187377616 18446744073709551615 4881085 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 72235 70576 406 1178 0 71053 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 288104

[startup+3.1003 s]
/proc/loadavg: 1.02 1.08 1.40 3/179 23345
/proc/meminfo: memFree=30898488/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=514048 CPUtime=3.08 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 125943 0 0 0 295 13 0 0 25 0 1 0 890866437 526385152 125860 33554432000 4194304 9016284 140735187377616 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 128512 125896 485 1178 0 127330 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 514048

[startup+6.30072 s]
/proc/loadavg: 1.10 1.10 1.40 3/179 23345
/proc/meminfo: memFree=30373292/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=725396 CPUtime=6.29 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 178420 0 0 0 610 19 0 0 25 0 1 0 890866437 742805504 178336 33554432000 4194304 9016284 140735187377616 18446744073709551615 5277962 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 181349 178336 485 1178 0 180167 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 725396

[startup+12.7006 s]
/proc/loadavg: 1.17 1.11 1.40 3/179 23345
/proc/meminfo: memFree=29989288/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=876112 CPUtime=12.69 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 214511 0 0 0 1246 23 0 0 25 0 1 0 890866437 897138688 214170 33554432000 4194304 9016284 140735187377616 18446744073709551615 6481251 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 219028 214170 496 1178 0 217846 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 876112

[startup+25.5012 s]
/proc/loadavg: 1.35 1.16 1.41 3/179 23345
/proc/meminfo: memFree=29864900/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=918864 CPUtime=25.49 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 224949 0 0 0 2525 24 0 0 25 0 1 0 890866437 940916736 224494 33554432000 4194304 9016284 140735187377616 18446744073709551615 4888095 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 229716 224494 518 1178 0 228534 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 918864

[startup+51.1005 s]
/proc/loadavg: 1.57 1.22 1.43 3/179 23346
/proc/meminfo: memFree=29797572/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=954092 CPUtime=51.09 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 233475 0 0 0 5084 25 0 0 25 0 1 0 890866437 976990208 233020 33554432000 4194304 9016284 140735187377616 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 238523 233020 518 1178 0 237341 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 954092

[startup+102.306 s]
/proc/loadavg: 1.81 1.34 1.46 3/179 23348
/proc/meminfo: memFree=29656448/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1023164 CPUtime=102.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 250196 0 0 0 10203 27 0 0 25 0 1 0 890866437 1047719936 249741 33554432000 4194304 9016284 140735187377616 18446744073709551615 5227733 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 255791 249741 518 1178 0 254609 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1023164

[startup+162.3 s]
/proc/loadavg: 1.98 1.47 1.49 3/179 23349
/proc/meminfo: memFree=29393552/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1154024 CPUtime=162.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 282656 0 0 0 16199 31 0 0 25 0 1 0 890866437 1181720576 282201 33554432000 4194304 9016284 140735187377616 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 288506 282201 518 1178 0 287324 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1154024

[startup+222.3 s]
/proc/loadavg: 1.99 1.57 1.52 3/179 23351
/proc/meminfo: memFree=29063560/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1299664 CPUtime=222.29 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 317982 0 0 0 22193 36 0 0 25 0 1 0 890866437 1330855936 317527 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 324916 317527 518 1178 0 323734 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1299664

[startup+282.3 s]
/proc/loadavg: 2.04 1.66 1.55 3/179 23352
/proc/meminfo: memFree=28825960/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1444480 CPUtime=282.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 353617 0 0 0 28190 40 0 0 25 0 1 0 890866437 1479147520 353162 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480421 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 361120 353162 518 1178 0 359938 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1444480

[startup+342.3 s]
/proc/loadavg: 2.01 1.72 1.58 3/179 23354
/proc/meminfo: memFree=28562920/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1561948 CPUtime=342.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 382748 0 0 0 34186 44 0 0 25 0 1 0 890866437 1599434752 382293 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 390487 382293 518 1178 0 389305 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1561948

[startup+402.301 s]
/proc/loadavg: 2.00 1.77 1.60 3/179 23356
/proc/meminfo: memFree=28293320/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1735440 CPUtime=402.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 426086 0 0 0 40180 50 0 0 25 0 1 0 890866437 1777090560 425631 33554432000 4194304 9016284 140735187377616 18446744073709551615 4330762 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 433860 425631 518 1178 0 432678 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1735440

[startup+462.301 s]
/proc/loadavg: 2.00 1.81 1.62 3/179 23357
/proc/meminfo: memFree=28109396/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1833976 CPUtime=462.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 450296 0 0 0 46176 54 0 0 25 0 1 0 890866437 1877991424 449841 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 458494 449841 518 1178 0 457312 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1833976

[startup+522.301 s]
/proc/loadavg: 2.04 1.85 1.65 3/179 23359
/proc/meminfo: memFree=27860744/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=1979400 CPUtime=522.31 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 486356 0 0 0 52172 59 0 0 25 0 1 0 890866437 2026905600 485901 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 494850 485901 518 1178 0 493668 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1979400

[startup+582.301 s]
/proc/loadavg: 2.08 1.89 1.67 3/179 23360
/proc/meminfo: memFree=27675948/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=2097088 CPUtime=582.3 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 515862 0 0 0 58168 62 0 0 25 0 1 0 890866437 2147418112 515407 33554432000 4194304 9016284 140735187377616 18446744073709551615 4848395 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 524272 515407 518 1178 0 523090 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2097088

[startup+642.301 s]

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

/proc/meminfo: memFree=26126184/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3005252 CPUtime=1122.32 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 742001 0 0 0 112141 91 0 0 25 0 1 0 890866437 3077378048 741546 33554432000 4194304 9016284 140735187377616 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 751313 741546 523 1178 0 750131 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3005252

[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 1.83 3/179 23387
/proc/meminfo: memFree=26025212/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3072704 CPUtime=1182.32 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 758560 0 0 0 118138 94 0 0 25 0 1 0 890866437 3146448896 758105 33554432000 4194304 9016284 140735187377616 18446744073709551615 6476183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 768176 758105 523 1178 0 766994 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3072704

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 1.84 3/179 23390
/proc/meminfo: memFree=25914836/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3136184 CPUtime=1242.32 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 774745 0 0 0 124136 96 0 0 25 0 1 0 890866437 3211452416 774290 33554432000 4194304 9016284 140735187377616 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 784046 774290 523 1178 0 782864 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3136184

[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 1.85 3/179 23392
/proc/meminfo: memFree=25795276/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3216876 CPUtime=1302.33 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 794365 0 0 0 130135 98 0 0 25 0 1 0 890866437 3294081024 793910 33554432000 4194304 9016284 140735187377616 18446744073709551615 5257434 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 804219 793910 523 1178 0 803037 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3216876

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.86 3/179 23393
/proc/meminfo: memFree=25696296/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3289668 CPUtime=1362.33 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 812747 0 0 0 136133 100 0 0 25 0 1 0 890866437 3368620032 812292 33554432000 4194304 9016284 140735187377616 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 822417 812292 523 1178 0 821235 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3289668

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.86 3/179 23395
/proc/meminfo: memFree=25583176/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3366064 CPUtime=1422.33 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 844786 0 0 0 142130 103 0 0 25 0 1 0 890866437 3446849536 830986 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 841516 830986 579 1178 0 840334 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3366064

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/179 23396
/proc/meminfo: memFree=25441912/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3409540 CPUtime=1482.33 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 856043 0 0 0 148129 104 0 0 25 0 1 0 890866437 3491368960 842243 33554432000 4194304 9016284 140735187377616 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 852385 842243 579 1178 0 851203 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3409540

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/179 23398
/proc/meminfo: memFree=25302252/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3563072 CPUtime=1542.34 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 895783 0 0 0 154125 109 0 0 25 0 1 0 890866437 3648585728 879903 33554432000 4194304 9016284 140735187377616 18446744073709551615 6569166 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 890768 879903 618 1178 0 889586 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3563072

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 23400
/proc/meminfo: memFree=25032516/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3749276 CPUtime=1602.33 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 942153 0 0 0 160115 118 0 0 25 0 1 0 890866437 3839258624 922857 33554432000 4194304 9016284 140735187377616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 937319 922857 891 1178 0 936137 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3749276

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.89 3/179 23401
/proc/meminfo: memFree=24930444/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3771048 CPUtime=1662.34 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 948058 0 0 0 166111 123 0 0 25 0 1 0 890866437 3861553152 928402 33554432000 4194304 9016284 140735187377616 18446744073709551615 7181248 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 942762 928402 805 1178 0 941580 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3771048

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.90 3/179 23403
/proc/meminfo: memFree=24827220/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3779712 CPUtime=1722.34 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 950617 0 0 0 172107 127 0 0 25 0 1 0 890866437 3870425088 930922 33554432000 4194304 9016284 140735187377616 18446744073709551615 6976898 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 944928 930922 811 1178 0 943746 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3779712

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23404
/proc/meminfo: memFree=24761964/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3779712 CPUtime=1782.34 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 953512 0 0 0 178103 131 0 0 25 0 1 0 890866437 3870425088 932891 33554432000 4194304 9016284 140735187377616 18446744073709551615 7227419 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 944928 932891 1375 1178 0 943746 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3779712

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23404
/proc/meminfo: memFree=24761708/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3779712 CPUtime=1785.55 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 953512 0 0 0 178423 132 0 0 25 0 1 0 890866437 3870425088 932891 33554432000 4194304 9016284 140735187377616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 944928 932891 1375 1178 0 943746 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 3779712

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24761580/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3779712 CPUtime=1791.95 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 953512 0 0 0 179063 132 0 0 25 0 1 0 890866437 3870425088 932891 33554432000 4194304 9016284 140735187377616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 944928 932891 1375 1178 0 943746 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 3779712

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24757736/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3779712 CPUtime=1795.15 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 954017 0 0 0 179383 132 0 0 25 0 1 0 890866437 3870425088 932908 33554432000 4194304 9016284 140735187377616 18446744073709551615 7213554 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 944928 932908 904 1178 0 943746 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 3779712

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24757612/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3779712 CPUtime=1796.74 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 954017 0 0 0 179542 132 0 0 25 0 1 0 890866437 3870425088 932908 33554432000 4194304 9016284 140735187377616 18446744073709551615 5767132 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23335/statm: 944928 932908 904 1178 0 943746 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 3779712

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24758480/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3742188 CPUtime=1797.54 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 954182 0 0 0 179622 132 0 0 18 0 1 0 890866437 3832000512 923761 33554432000 4194304 9016284 140735187377616 18446744073709551615 6817690 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 935547 923761 913 1178 0 934365 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 3742188

[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24758480/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=3249172 CPUtime=1797.75 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 954185 0 0 0 179640 135 0 0 18 0 1 0 890866437 3327152128 801935 33554432000 4194304 9016284 140735187377616 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 812036 801421 883 1178 0 810854 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 3249172

[startup+1797.8 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 23405
/proc/meminfo: memFree=24758480/32951124 swapFree=67063556/67111528
[pid=23335] ppid=23333 vsize=2465488 CPUtime=1797.85 cores=0,2,4,6
/proc/23335/stat : 23335 (scip-2.0.1.4b_2) R 23333 23335 20281 0 -1 4202496 954185 0 0 0 179640 145 0 0 18 0 1 0 890866437 2524659712 161544 33554432000 4194304 9016284 140735187377616 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23335/statm: 616372 161544 733 1178 0 615190 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 2465488

Child status: 0
Real time (s): 1797.83
CPU time (s): 1797.88
CPU user time (s): 1796.4
CPU system time (s): 1.47678
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3779712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.4
system time used= 1.47677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 954190
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 1341

runsolver used 3.16652 second user time and 6.47202 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-11 13:44:42
IDJOB=3489736
IDBENCH=77437
IDSOLVER=1979
FILE ID=node134/3489736-1307792682
RUNJOBID= node134-1307792682-23316
PBS_JOBID= 13550869
Free space on /tmp= 74108 MiB

SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12024_7.std.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3489736-1307792682/watcher-3489736-1307792682 -o /tmp/evaluation-result-3489736-1307792682/solver-3489736-1307792682 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489736-1307792682.opb -t 1800 -m 15500

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

MD5SUM BENCH= 9510b6ff1580c9ed67c57164f070d9e8
RANDOM SEED=301293496

node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 7186.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31687792 kB
Buffers:        313376 kB
Cached:         729908 kB
SwapCached:      10284 kB
Active:         517164 kB
Inactive:       544380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31687792 kB
SwapTotal:    67111528 kB
SwapFree:     67063556 kB
Dirty:           48136 kB
Writeback:           0 kB
AnonPages:       15292 kB
Mapped:           9488 kB
Slab:           137924 kB
PageTables:       4396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   159596 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74072 MiB
End job on node134 at 2011-06-11 14:14:40