Trace number 3692464

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed? 1799.33 1799.64

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12051_6.std.opb
MD5SUM75e952fe200f2a6f99db60c06cf77c7e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark228
Best CPU time to get the best result obtained on this benchmark1800.09
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 constraints256265
Number of constraints which are clauses255065
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 constraint98
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3692464-1338040253.opb>
0.68/0.70	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256265 constraints
0.68/0.70	c problem read in 0.70
1.19/1.24	c presolving:
7.79/7.81	c (round 1) 7452 del vars, 22165 del conss, 0 add conss, 5831 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17281696 impls, 0 clqs
12.18/12.24	c (round 2) 14346 del vars, 52436 del conss, 0 add conss, 12349 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17321935 impls, 0 clqs
13.58/13.64	c (round 3) 16990 del vars, 65084 del conss, 0 add conss, 13898 chg bounds, 36 chg sides, 22 chg coeffs, 0 upgd conss, 17342746 impls, 0 clqs
14.49/14.51	c (round 4) 18284 del vars, 70329 del conss, 0 add conss, 14828 chg bounds, 52 chg sides, 41 chg coeffs, 0 upgd conss, 17355972 impls, 0 clqs
15.09/15.10	c (round 5) 19238 del vars, 74197 del conss, 0 add conss, 15494 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17364035 impls, 0 clqs
15.49/15.54	c (round 6) 19965 del vars, 76984 del conss, 0 add conss, 15978 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17370955 impls, 0 clqs
15.79/15.84	c (round 7) 20418 del vars, 78883 del conss, 0 add conss, 16273 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17375932 impls, 0 clqs
16.09/16.11	c (round 8) 20795 del vars, 80381 del conss, 0 add conss, 16529 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17379386 impls, 0 clqs
16.18/16.29	c (round 9) 21008 del vars, 81350 del conss, 0 add conss, 16653 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17381918 impls, 0 clqs
16.39/16.43	c (round 10) 21134 del vars, 81918 del conss, 0 add conss, 16725 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17383943 impls, 0 clqs
16.49/16.54	c (round 11) 21214 del vars, 82293 del conss, 0 add conss, 16771 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385069 impls, 0 clqs
16.59/16.64	c (round 12) 21254 del vars, 82506 del conss, 0 add conss, 16794 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385507 impls, 0 clqs
16.69/16.76	c (round 13) 21274 del vars, 82615 del conss, 0 add conss, 16808 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385586 impls, 0 clqs
16.79/16.84	c (round 14) 21276 del vars, 82641 del conss, 0 add conss, 16808 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385596 impls, 0 clqs
17.59/17.65	c (round 15) 21276 del vars, 82642 del conss, 0 add conss, 16808 chg bounds, 57 chg sides, 48 chg coeffs, 173623 upgd conss, 17385596 impls, 0 clqs
18.29/18.37	c (round 16) 21286 del vars, 82658 del conss, 32 add conss, 16814 chg bounds, 93 chg sides, 223 chg coeffs, 173633 upgd conss, 17388914 impls, 7546 clqs
18.79/18.81	c (round 17) 21302 del vars, 82711 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 264 chg coeffs, 173638 upgd conss, 17393396 impls, 8106 clqs
18.98/19.03	c (round 18) 21310 del vars, 82744 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 266 chg coeffs, 173642 upgd conss, 17400796 impls, 8106 clqs
19.19/19.23	c (round 19) 21322 del vars, 82784 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173648 upgd conss, 17402746 impls, 8106 clqs
19.38/19.42	c (round 20) 21334 del vars, 82830 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173654 upgd conss, 17402934 impls, 8106 clqs
19.48/19.58	c (round 21) 21346 del vars, 82880 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173660 upgd conss, 17403100 impls, 8106 clqs
19.69/19.76	c (round 22) 21358 del vars, 82920 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173666 upgd conss, 17403150 impls, 8106 clqs
19.88/19.92	c (round 23) 21358 del vars, 82942 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173666 upgd conss, 17403150 impls, 8106 clqs
347.41/347.56	c    (347.6s) probing: 1000/51484 (1.9%) - 0 fixings, 0 aggregations, 6703168 implications, 0 bound changes
348.00/348.16	c    (348.2s) probing: 1001/51484 (1.9%) - 0 fixings, 0 aggregations, 6707852 implications, 0 bound changes
348.00/348.16	c    (348.2s) probing aborted: 1000/1000 successive useless probings
348.00/348.16	c (round 24) 21358 del vars, 161800 del conss, 25450 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173666 upgd conss, 30818854 impls, 8106 clqs
348.90/349.03	c (round 25) 21358 del vars, 183560 del conss, 47210 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173666 upgd conss, 30818854 impls, 10714 clqs
349.61/349.79	c presolving (26 rounds):
349.61/349.79	c  21358 deleted vars, 183560 deleted constraints, 47210 added constraints, 16814 tightened bounds, 0 added holes, 103 changed sides, 267 changed coefficients
349.61/349.79	c  30818854 implications, 32474 cliques
349.61/349.79	c presolved problem has 51484 variables (51484 bin, 0 int, 0 impl, 0 cont) and 119915 constraints
349.61/349.79	c    1150 constraints of type <knapsack>
349.61/349.79	c  117716 constraints of type <setppc>
349.61/349.79	c    1047 constraints of type <and>
349.61/349.79	c       2 constraints of type <logicor>
349.61/349.79	c transformed objective value is always integral (scale: 1)
349.61/349.79	c Presolving Time: 348.68
349.61/349.79	c - non default parameters ----------------------------------------------------------------------
349.61/349.79	c # SCIP version 2.1.1.4
349.61/349.79	c 
349.61/349.79	c # maximal time in seconds to run
349.61/349.79	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
349.61/349.79	c limits/time = 1797
349.61/349.79	c 
349.61/349.79	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
349.61/349.79	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
349.61/349.79	c limits/memory = 13950
349.61/349.79	c 
349.61/349.79	c # default clock type (1: CPU user seconds, 2: wall clock time)
349.61/349.79	c # [type: int, range: [1,2], default: 1]
349.61/349.79	c timing/clocktype = 2
349.61/349.79	c 
349.61/349.79	c # belongs reading time to solving time?
349.61/349.79	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
349.61/349.79	c timing/reading = TRUE
349.61/349.79	c 
349.61/349.79	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
349.61/349.79	c # [type: int, range: [-1,2147483647], default: -1]
349.61/349.79	c separating/rapidlearning/freq = 0
349.61/349.79	c 
349.61/349.79	c -----------------------------------------------------------------------------------------------
349.61/349.79	c start solving
350.00/350.17	c 
1798.28/1798.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1798.28/1798.62	c  1799s|     1 |     0 |125869 |     - |1120M|   0 |   - |  51k| 118k|  51k| 120k|   0 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
1798.28/1798.62	c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
1798.28/1798.69	c  1799s|     1 |     2 |125869 |     - |1120M|   0 |   - |  51k| 118k|  51k| 120k|   0 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
1798.28/1798.69	c 
1798.28/1798.69	c SCIP Status        : solving was interrupted [time limit reached]
1798.28/1798.69	c Solving Time (sec) : 1798.69
1798.28/1798.69	c Solving Nodes      : 1
1798.28/1798.69	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1798.28/1798.69	c Dual Bound         : +0.00000000000000e+00
1798.28/1798.69	c Gap                : infinite
1798.28/1798.69	s UNKNOWN
1798.28/1798.69	c SCIP Status        : solving was interrupted [time limit reached]
1798.28/1798.69	c Total Time         :    1798.69
1798.28/1798.69	c   solving          :    1798.69
1798.28/1798.69	c   presolving       :     348.68 (included in solving)
1798.28/1798.69	c   reading          :       0.70 (included in solving)
1798.28/1798.69	c   copying          :       0.00 (0 times copied the problem)
1798.28/1798.69	c Original Problem   :
1798.28/1798.69	c   Problem name     : HOME/instance-3692464-1338040253.opb
1798.28/1798.69	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.28/1798.69	c   Constraints      : 256265 initial, 256265 maximal
1798.28/1798.69	c   Objective sense  : minimize
1798.28/1798.69	c Presolved Problem  :
1798.28/1798.69	c   Problem name     : t_HOME/instance-3692464-1338040253.opb
1798.28/1798.69	c   Variables        : 51484 (51484 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.28/1798.69	c   Constraints      : 119915 initial, 119930 maximal
1798.28/1798.69	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1798.28/1798.69	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.28/1798.69	c   trivial          :       0.08       0.00       1030          0          0          0          0          0          0          0          0
1798.28/1798.69	c   dualfix          :       0.10       0.00        121          0          0          0          0          0          0          0          0
1798.28/1798.69	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.28/1798.69	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.28/1798.69	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.28/1798.69	c   gateextraction   :       0.35       0.00          0          0          0          0          0      78853      25415          0          0
1798.28/1798.69	c   implics          :       0.92       0.00          0         41          0          0          0          0          0          0          0
1798.28/1798.69	c   components       :       0.07       0.00          0          0          0          0          0          0          0          0          0
1798.28/1798.69	c   pseudoobj        :       0.00       0.35          0          0          0          0          0          0          0          0          0
1798.28/1798.69	c   probing          :     327.76       0.00          0          0          0          0          0          0          0          0          0
1798.28/1798.69	c   knapsack         :       1.51       0.00          0          0          0          2          0          2         35         46        219
1798.28/1798.69	c   setppc           :       0.93       0.00         35          0          0          4          0        303          0          0          0
1798.28/1798.69	c   and              :       0.41       0.00          0          0          0          0          0      21760      21760          0          0
1798.28/1798.69	c   linear           :      15.55       0.12      15784       4347          0      16808          0      82642          0         57         48
1798.28/1798.69	c   logicor          :       0.52       0.00          0          0          0          0          0          0          0          0          0
1798.28/1798.69	c   root node        :          -          -        412          -          -        412          -          -          -          -          -
1798.28/1798.69	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1798.28/1798.69	c   integral         :          0          0          0          0          0          0          3          0          0          0          0          0          0
1798.28/1798.69	c   knapsack         :       1150       1150          0      50443          0          1          3          1          1          0          0          0          0
1798.28/1798.69	c   setppc           :     117716     117716          0      50442          0          1          1        269          3        410          0          0          0
1798.28/1798.69	c   and              :       1047       1047          0      50439          0          1          0          0          0          0          0          0          0
1798.28/1798.69	c   logicor          :          2+        17          0         16          0          1          0          2         11          2          0          0          0
1798.28/1798.69	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1798.28/1798.69	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1798.28/1798.69	c   integral         :       0.01       0.00       0.00       0.00       0.00       0.00       0.01       0.00
1798.28/1798.69	c   knapsack         :       3.60       0.00       0.00       3.60       0.00       0.00       0.00       0.00
1798.28/1798.69	c   setppc           :     228.76       0.00       0.00     228.72       0.00       0.05       0.00       0.00
1798.28/1798.69	c   and              :      57.22       0.00       0.00      57.21       0.00       0.00       0.00       0.00
1798.28/1798.69	c   logicor          :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00
1798.28/1798.69	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1798.28/1798.69	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1798.28/1798.69	c   rootredcost      :          0          0          0          0
1798.28/1798.69	c   pseudoobj        :        507          0          0          0
1798.28/1798.69	c   vbounds          :          0          0          0          0
1798.28/1798.69	c   redcost          :          0          0          0          0
1798.28/1798.69	c   probing          :          0          0          0          0
1798.28/1798.69	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1798.28/1798.69	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00
1798.28/1798.69	c   pseudoobj        :       0.39       0.35       0.00       0.03       0.00
1798.28/1798.69	c   vbounds          :       0.03       0.01       0.00       0.03       0.00
1798.28/1798.69	c   redcost          :       0.02       0.00       0.00       0.02       0.00
1798.28/1798.69	c   probing          :     327.76       0.00     327.76       0.00       0.00
1798.28/1798.69	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.28/1798.69	c   propagation      :       0.00         15         15         15       41.8          0        0.0          -
1798.28/1798.69	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1798.28/1798.69	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.28/1798.69	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.28/1798.69	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.28/1798.69	c   applied globally :          -          -          -         15       41.8          -          -          -
1798.28/1798.69	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.28/1798.69	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1798.28/1798.69	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 0)
1798.28/1798.69	c   clique           :       0.00       0.00          0          0          0          0          0
1798.28/1798.69	c   closecuts        :       0.00       0.00          0          0          0          0          0
1798.28/1798.69	c   cgmip            :       0.00       0.00          0          0          0          0          0
1798.28/1798.69	c   cmir             :       0.00       0.00          0          0          0          0          0
1798.28/1798.69	c   flowcover        :       0.00       0.00          0          0          0          0          0
1798.28/1798.69	c   gomory           :       0.00       0.00          0          0          0          0          0
1798.28/1798.69	c   impliedbounds    :       0.00       0.00          0          0          0          0          0
1798.28/1798.69	c   intobj           :       0.00       0.00          0          0          0          0          0
1798.28/1798.69	c   mcf              :       0.00       0.00          0          0          0          0          0
1798.28/1798.69	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1798.28/1798.69	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1798.28/1798.69	c   strongcg         :       0.00       0.00          0          0          0          0          0
1798.28/1798.69	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1798.28/1798.69	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1798.28/1798.69	c   problem variables:       0.00          -          0          0
1798.28/1798.69	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.28/1798.69	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
1798.28/1798.69	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1798.28/1798.69	c   inference        :       0.02       0.00          1          0          0          0          0          2
1798.28/1798.69	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1798.28/1798.69	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1798.28/1798.69	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1798.28/1798.69	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1798.28/1798.69	c   random           :       0.00       0.00          0          0          0          0          0          0
1798.28/1798.69	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1798.28/1798.69	c   LP solutions     :       0.00          -          -          0
1798.28/1798.69	c   pseudo solutions :       0.00          -          -          0
1798.28/1798.69	c   oneopt           :       0.00       0.00          0          0
1798.28/1798.69	c   smallcard        :       0.00       0.00          0          0
1798.28/1798.69	c   trivial          :       0.07       0.00          2          0
1798.28/1798.69	c   shiftandpropagate:       3.54       0.00          1          0
1798.28/1798.69	c   simplerounding   :       0.00       0.00          0          0
1798.28/1798.69	c   zirounding       :       0.00       0.00          0          0
1798.28/1798.69	c   rounding         :       0.00       0.00          0          0
1798.28/1798.69	c   shifting         :       0.00       0.00          0          0
1798.28/1798.69	c   intshifting      :       0.00       0.00          0          0
1798.28/1798.69	c   twoopt           :       0.00       0.00          0          0
1798.28/1798.69	c   indtwoopt        :       0.00       0.00          0          0
1798.28/1798.69	c   indoneopt        :       0.00       0.00          0          0
1798.28/1798.69	c   fixandinfer      :       0.00       0.00          0          0
1798.28/1798.69	c   feaspump         :       0.00       0.00          0          0
1798.28/1798.69	c   clique           :       0.00       0.00          0          0
1798.28/1798.69	c   indrounding      :       0.00       0.00          0          0
1798.28/1798.69	c   indcoefdiving    :       0.00       0.00          0          0
1798.28/1798.69	c   coefdiving       :       0.00       0.00          0          0
1798.28/1798.69	c   pscostdiving     :       0.00       0.00          0          0
1798.28/1798.69	c   nlpdiving        :       0.00       0.00          0          0
1798.28/1798.69	c   fracdiving       :       0.00       0.00          0          0
1798.28/1798.69	c   veclendiving     :       0.00       0.00          0          0
1798.28/1798.69	c   intdiving        :       0.00       0.00          0          0
1798.28/1798.69	c   actconsdiving    :       0.00       0.00          0          0
1798.28/1798.69	c   objpscostdiving  :       0.00       0.00          0          0
1798.28/1798.69	c   rootsoldiving    :       0.00       0.00          0          0
1798.28/1798.69	c   linesearchdiving :       0.00       0.00          0          0
1798.28/1798.69	c   guideddiving     :       0.00       0.00          0          0
1798.28/1798.69	c   octane           :       0.00       0.00          0          0
1798.28/1798.69	c   rens             :       0.00       0.00          0          0
1798.28/1798.69	c   rins             :       0.00       0.00          0          0
1798.28/1798.69	c   localbranching   :       0.00       0.00          0          0
1798.28/1798.69	c   mutation         :       0.00       0.00          0          0
1798.28/1798.69	c   crossover        :       0.00       0.00          0          0
1798.28/1798.69	c   dins             :       0.00       0.00          0          0
1798.28/1798.69	c   vbounds          :       0.00       0.00          0          0
1798.28/1798.69	c   undercover       :       0.00       0.00          0          0
1798.28/1798.69	c   subnlp           :       0.00       0.00          0          0
1798.28/1798.69	c   trysol           :       0.00       0.00          0          0
1798.28/1798.69	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1798.28/1798.69	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
1798.28/1798.69	c   dual LP          :    1441.82          1     125869  125869.00      87.30       0.00          0
1798.28/1798.69	c   lex dual LP      :       0.00          0          0       0.00          -
1798.28/1798.69	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1798.28/1798.69	c   diving/probing LP:       0.00          0          0       0.00          -
1798.28/1798.69	c   strong branching :       0.00          0          0       0.00          -
1798.28/1798.69	c     (at root node) :          -          0          0       0.00          -
1798.28/1798.69	c   conflict analysis:       0.00          0          0       0.00          -
1798.28/1798.69	c B&B Tree           :
1798.28/1798.69	c   number of runs   :          1
1798.28/1798.69	c   nodes            :          1
1798.28/1798.69	c   nodes (total)    :          1
1798.28/1798.69	c   nodes left       :          2
1798.28/1798.69	c   max depth        :          0
1798.28/1798.69	c   max depth (total):          0
1798.28/1798.69	c   backtracks       :          0 (0.0%)
1798.28/1798.69	c   delayed cutoffs  :          0
1798.28/1798.69	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1798.28/1798.69	c   avg switch length:       1.00
1798.28/1798.69	c   switching time   :       0.00
1798.28/1798.69	c Solution           :
1798.28/1798.69	c   Solutions found  :          0 (0 improvements)
1798.28/1798.69	c   Primal Bound     :          -
1798.28/1798.69	c   Dual Bound       : +0.00000000000000e+00
1798.28/1798.69	c   Gap              :   infinite
1798.28/1798.69	c   Root Dual Bound  : +0.00000000000000e+00
1798.28/1798.69	c   Root Iterations  :     125869
1799.28/1799.64	c Time complete: 1799.32.

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-3692464-1338040253/watcher-3692464-1338040253 -o /tmp/evaluation-result-3692464-1338040253/solver-3692464-1338040253 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692464-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.01 2.01 2.00 4/177 20489
/proc/meminfo: memFree=28901048/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=13016 CPUtime=0 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 1989 0 0 0 0 0 0 0 20 0 1 0 270150787 13328384 1944 33554432000 4194304 10219143 140736783062608 140736398203352 8844480 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 3254 1945 421 1471 0 1774 0

[startup+0.043001 s]
/proc/loadavg: 2.01 2.01 2.00 4/177 20489
/proc/meminfo: memFree=28901048/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=28880 CPUtime=0.03 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 5960 0 0 0 3 0 0 0 20 0 1 0 270150787 29573120 5914 33554432000 4194304 10219143 140736783062608 140736398203352 4488708 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 7220 5914 421 1471 0 5740 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28880

[startup+0.100228 s]
/proc/loadavg: 2.01 2.01 2.00 4/177 20489
/proc/meminfo: memFree=28901048/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=50916 CPUtime=0.09 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 11472 0 0 0 8 1 0 0 20 0 1 0 270150787 52137984 11426 33554432000 4194304 10219143 140736783062608 140736398203352 7123574 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 12729 11426 421 1471 0 11249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50916

[startup+0.300163 s]
/proc/loadavg: 2.01 2.01 2.00 4/177 20489
/proc/meminfo: memFree=28901048/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=90236 CPUtime=0.29 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 21258 0 0 0 27 2 0 0 20 0 1 0 270150787 92401664 21212 33554432000 4194304 10219143 140736783062608 140736398203352 4971502 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 22559 21212 421 1471 0 21079 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90236

[startup+0.700212 s]
/proc/loadavg: 2.01 2.01 2.00 4/177 20489
/proc/meminfo: memFree=28901048/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=178084 CPUtime=0.68 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 43196 0 0 0 63 5 0 0 20 0 1 0 270150787 182358016 43150 33554432000 4194304 10219143 140736783062608 140736398203352 7156088 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 44521 43150 421 1471 0 43041 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 178084

[startup+1.50017 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20490
/proc/meminfo: memFree=28536968/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=454756 CPUtime=1.49 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 111193 0 0 0 134 15 0 0 20 0 1 0 270150787 465670144 111109 33554432000 4194304 10219143 140736783062608 140736783058488 9008087 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 113689 111109 550 1471 0 112209 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 454756

[startup+3.10029 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20490
/proc/meminfo: memFree=28377632/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=637604 CPUtime=3.08 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 156770 0 0 0 286 22 0 0 20 0 1 0 270150787 652906496 156686 33554432000 4194304 10219143 140736783062608 140736783059608 9008087 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 159401 156686 560 1471 0 157921 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 637604

[startup+6.30024 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20490
/proc/meminfo: memFree=28091316/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=890356 CPUtime=6.29 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 217585 0 0 0 594 35 0 0 20 0 1 0 270150787 911724544 217501 33554432000 4194304 10219143 140736783062608 140736783059608 9008087 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 222589 217501 560 1471 0 221109 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 890356

[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20490
/proc/meminfo: memFree=27982216/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=941948 CPUtime=12.69 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 230478 0 0 0 1223 46 0 0 20 0 1 0 270150787 964554752 230137 33554432000 4194304 10219143 140736783062608 140736783059608 7419358 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 235487 230137 569 1471 0 234007 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 941948

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20490
/proc/meminfo: memFree=27923644/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1003176 CPUtime=25.48 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 257102 0 0 0 2435 113 0 0 20 0 1 0 270150787 1027252224 245080 33554432000 4194304 10219143 140736783062608 140736783058968 8967184 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 250794 245080 628 1471 0 249314 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1003176

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20490
/proc/meminfo: memFree=27912624/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1016348 CPUtime=51.08 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 259975 0 0 0 4991 117 0 0 20 0 1 0 270150787 1040740352 247953 33554432000 4194304 10219143 140736783062608 140736783058968 4819061 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 254087 247953 628 1471 0 252607 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1016348

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20490
/proc/meminfo: memFree=27879236/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1048180 CPUtime=102.28 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 267794 0 0 0 10105 123 0 0 20 0 1 0 270150787 1073336320 255696 33554432000 4194304 10219143 140736783062608 140736783058968 4819088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 262045 255696 628 1471 0 260565 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1048180

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20490
/proc/meminfo: memFree=27834076/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1088708 CPUtime=162.25 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 278951 0 0 0 16094 131 0 0 20 0 1 0 270150787 1114836992 267387 33554432000 4194304 10219143 140736783062608 140736783058968 4819061 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 272177 267387 628 1471 0 270697 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1088708

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20490
/proc/meminfo: memFree=27767968/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1152800 CPUtime=222.22 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 293886 0 0 0 22083 139 0 0 20 0 1 0 270150787 1180467200 282883 33554432000 4194304 10219143 140736783062608 140736783058968 4819061 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 288200 282883 628 1471 0 286720 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1152800

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20529
/proc/meminfo: memFree=27121768/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1213452 CPUtime=282.21 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 306378 0 0 0 28075 146 0 0 20 0 1 0 270150787 1242574848 299155 33554432000 4194304 10219143 140736783062608 140736783058968 4819088 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 303363 299155 628 1471 0 301883 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1213452

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20529
/proc/meminfo: memFree=27020368/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1278172 CPUtime=342.2 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 319148 0 0 0 34066 154 0 0 20 0 1 0 270150787 1308848128 314497 33554432000 4194304 10219143 140736783062608 140736783058984 6191162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 319543 314497 628 1471 0 318063 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1278172

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20529
/proc/meminfo: memFree=26716832/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1524656 CPUtime=402.2 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 362955 0 0 0 40042 178 0 0 20 0 1 0 270150787 1561247744 374461 33554432000 4194304 10219143 140736783062608 140736783055784 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 381164 374461 785 1471 0 379684 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1524656

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20529
/proc/meminfo: memFree=26637876/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1533560 CPUtime=462.19 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 364769 0 0 0 46036 183 0 0 20 0 1 0 270150787 1570365440 377300 33554432000 4194304 10219143 140736783062608 140736783056280 8052242 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 383390 377300 785 1471 0 381910 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1533560

[startup+522.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 20529
/proc/meminfo: memFree=26436168/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1543864 CPUtime=522.17 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 366852 0 0 0 52029 188 0 0 20 0 1 0 270150787 1580916736 379889 33554432000 4194304 10219143 140736783062608 140736783056232 8057244 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 385966 379889 785 1471 0 384486 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1543864

[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 20532
/proc/meminfo: memFree=26423564/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1549168 CPUtime=582.17 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 367644 0 0 0 58024 193 0 0 20 0 1 0 270150787 1586348032 381157 33554432000 4194304 10219143 140736783062608 140736783055784 8057386 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 387292 381157 785 1471 0 385812 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1549168

[startup+642.3 s]

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

/proc/meminfo: memFree=26790716/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1122.08 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369316 0 0 0 111982 226 0 0 20 0 1 0 270150787 1610780672 388434 33554432000 4194304 10219143 140736783062608 140736783055784 8029229 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 388434 785 1471 0 391777 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1573028

[startup+1182.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/178 20598
/proc/meminfo: memFree=26787740/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1182.07 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369319 0 0 0 117977 230 0 0 20 0 1 0 270150787 1610780672 389035 33554432000 4194304 10219143 140736783062608 140736783056248 8057449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389035 785 1471 0 391777 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1573028

[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 20599
/proc/meminfo: memFree=26782304/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1242.06 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369324 0 0 0 123972 234 0 0 20 0 1 0 270150787 1610780672 389570 33554432000 4194304 10219143 140736783062608 140736783056280 8053146 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389570 785 1471 0 391777 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1573028

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 20599
/proc/meminfo: memFree=26783088/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1302.06 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369325 0 0 0 129968 238 0 0 20 0 1 0 270150787 1610780672 389572 33554432000 4194304 10219143 140736783062608 140736783055784 8083892 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389572 785 1471 0 391777 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1573028

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 20599
/proc/meminfo: memFree=26757956/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1362.04 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369325 0 0 0 135964 240 0 0 20 0 1 0 270150787 1610780672 389572 33554432000 4194304 10219143 140736783062608 140736783055784 8069860 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389572 785 1471 0 391777 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1573028

[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 20599
/proc/meminfo: memFree=26757832/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1422.04 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369325 0 0 0 141960 244 0 0 20 0 1 0 270150787 1610780672 389572 33554432000 4194304 10219143 140736783062608 140736783055784 8091161 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389572 785 1471 0 391777 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1573028

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 20599
/proc/meminfo: memFree=26749396/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1482.02 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369325 0 0 0 147954 248 0 0 20 0 1 0 270150787 1610780672 389572 33554432000 4194304 10219143 140736783062608 140736783055784 8031824 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389572 785 1471 0 391777 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1573028

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20600
/proc/meminfo: memFree=26749644/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1542.02 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369343 0 0 0 153950 252 0 0 20 0 1 0 270150787 1610780672 389590 33554432000 4194304 10219143 140736783062608 140736783055784 7639976 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389590 785 1471 0 391777 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1573028

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20600
/proc/meminfo: memFree=26749768/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1602 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369349 0 0 0 159945 255 0 0 20 0 1 0 270150787 1610780672 389596 33554432000 4194304 10219143 140736783062608 140736783055784 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389596 785 1471 0 391777 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1573028

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20600
/proc/meminfo: memFree=26749768/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1662 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369349 0 0 0 165941 259 0 0 20 0 1 0 270150787 1610780672 389596 33554432000 4194304 10219143 140736783062608 140736783055784 8057500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389596 785 1471 0 391777 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1573028

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20600
/proc/meminfo: memFree=26746480/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1721.98 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369349 0 0 0 171936 262 0 0 20 0 1 0 270150787 1610780672 389596 33554432000 4194304 10219143 140736783062608 140736783055784 8077264 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389596 785 1471 0 391777 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1573028

[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 20603
/proc/meminfo: memFree=26743660/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1781.98 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369349 0 0 0 177932 266 0 0 20 0 1 0 270150787 1610780672 389596 33554432000 4194304 10219143 140736783062608 140736783056280 8057394 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389596 785 1471 0 391777 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1573028

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

[startup+1791.91 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 20603
/proc/meminfo: memFree=26743460/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1791.59 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369349 0 0 0 178892 267 0 0 20 0 1 0 270150787 1610780672 389596 33554432000 4194304 10219143 140736783062608 140736783055784 7638823 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389596 785 1471 0 391777 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 1573028

[startup+1795.1 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 20603
/proc/meminfo: memFree=26742208/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1794.78 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369349 0 0 0 179211 267 0 0 20 0 1 0 270150787 1610780672 389596 33554432000 4194304 10219143 140736783062608 140736783055784 8057430 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389596 785 1471 0 391777 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 1573028

[startup+1796.7 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 20603
/proc/meminfo: memFree=26742208/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1796.38 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369349 0 0 0 179371 267 0 0 20 0 1 0 270150787 1610780672 389596 33554432000 4194304 10219143 140736783062608 140736783055784 8056245 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389596 785 1471 0 391777 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 1573028

[startup+1798.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 20603
/proc/meminfo: memFree=26742208/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1573028 CPUtime=1797.98 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 369349 0 0 0 179531 267 0 0 20 0 1 0 270150787 1610780672 389596 33554432000 4194304 10219143 140736783062608 140736783055128 8057488 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 393257 389596 785 1471 0 391777 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1573028

[startup+1799.1 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 20603
/proc/meminfo: memFree=26742208/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1540512 CPUtime=1798.77 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 370736 0 0 0 179610 267 0 0 20 0 1 0 270150787 1577484288 381150 33554432000 4194304 10219143 140736783062608 140736783061720 5930778 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 385128 381150 805 1471 0 383648 0
Current children cumulated CPU time (s) 1798.77
Current children cumulated vsize (KiB) 1540512

[startup+1799.5 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 20603
/proc/meminfo: memFree=27074712/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1228296 CPUtime=1799.18 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 370736 0 0 0 179648 270 0 0 20 0 1 0 270150787 1257775104 305976 33554432000 4194304 10219143 140736783062608 140736783061720 5957867 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 307074 305976 805 1471 0 305594 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 1228296

[startup+1799.61 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 20603
/proc/meminfo: memFree=27074712/32873648 swapFree=7100/7100
[pid=20489] ppid=20487 vsize=1013068 CPUtime=1799.28 cores=1,3,5,7
/proc/20489/stat : 20489 (scip-2.1.1.4exp) R 20487 20489 18656 0 -1 4202496 370747 0 0 0 179656 272 0 0 20 0 1 0 270150787 1037381632 252271 33554432000 4194304 10219143 140736783062608 140736783061720 9036791 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20489/statm: 253011 252271 816 1471 0 251531 0
Current children cumulated CPU time (s) 1799.28
Current children cumulated vsize (KiB) 1013068

Child status: 0
Real time (s): 1799.64
CPU time (s): 1799.33
CPU user time (s): 1796.56
CPU system time (s): 2.76358
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 1573028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.56
system time used= 2.76358
maximum resident set size= 1558392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370749
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= 64
involuntary context switches= 1848

runsolver used 2.6146 second user time and 7.2369 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-26 15:50:53
IDJOB=3692464
IDBENCH=77238
IDSOLVER=2271
FILE ID=node123/3692464-1338040253
RUNJOBID= node123-1338029660-19577
PBS_JOBID= 14624348
Free space on /tmp= 71484 MiB

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

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

MD5SUM BENCH= 75e952fe200f2a6f99db60c06cf77c7e
RANDOM SEED=1079048164

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
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		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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		: 2667.217
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		: 2667.217
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:        28901692 kB
Buffers:          257720 kB
Cached:          2770388 kB
SwapCached:            0 kB
Active:           956516 kB
Inactive:        2244764 kB
Active(anon):     175016 kB
Inactive(anon):        0 kB
Active(file):     781500 kB
Inactive(file):  2244764 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             21488 kB
Writeback:             0 kB
AnonPages:        181664 kB
Mapped:            16792 kB
Shmem:               200 kB
Slab:             633392 kB
SReclaimable:      77488 kB
SUnreclaim:       555904 kB
KernelStack:        1456 kB
PageTables:         4356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     289140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 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= 71464 MiB
End job on node123 at 2012-05-26 16:20:53