Trace number 3692468

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? 1798.15 1798.46

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12060_6.std.opb
MD5SUM2cfe94d08112cb5e579263a7aabde4b0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark110
Best CPU time to get the best result obtained on this benchmark1.2948
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 constraints256039
Number of constraints which are clauses254839
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3692468-1338040447.opb>
0.69/0.73	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256039 constraints
0.69/0.73	c problem read in 0.73
1.19/1.28	c presolving:
7.79/7.83	c (round 1) 8300 del vars, 24226 del conss, 0 add conss, 6619 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17248304 impls, 0 clqs
12.09/12.15	c (round 2) 15238 del vars, 55993 del conss, 0 add conss, 13050 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17291744 impls, 0 clqs
13.59/13.60	c (round 3) 17618 del vars, 67589 del conss, 0 add conss, 14446 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17311559 impls, 0 clqs
14.38/14.45	c (round 4) 18962 del vars, 73085 del conss, 0 add conss, 15340 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17323106 impls, 0 clqs
14.89/14.98	c (round 5) 19780 del vars, 76563 del conss, 0 add conss, 15874 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17329280 impls, 0 clqs
15.29/15.35	c (round 6) 20372 del vars, 78961 del conss, 0 add conss, 16222 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17335786 impls, 0 clqs
15.59/15.62	c (round 7) 20712 del vars, 80417 del conss, 0 add conss, 16446 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17338672 impls, 0 clqs
15.79/15.84	c (round 8) 21020 del vars, 81662 del conss, 0 add conss, 16624 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17342886 impls, 0 clqs
15.99/16.02	c (round 9) 21216 del vars, 82478 del conss, 0 add conss, 16739 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17345046 impls, 0 clqs
16.09/16.17	c (round 10) 21385 del vars, 83144 del conss, 0 add conss, 16835 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17347412 impls, 0 clqs
16.29/16.31	c (round 11) 21521 del vars, 83689 del conss, 0 add conss, 16927 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17349375 impls, 0 clqs
16.39/16.44	c (round 12) 21639 del vars, 84155 del conss, 0 add conss, 16998 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17350529 impls, 0 clqs
16.50/16.59	c (round 13) 21721 del vars, 84509 del conss, 0 add conss, 17056 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17351508 impls, 0 clqs
16.59/16.69	c (round 14) 21773 del vars, 84755 del conss, 0 add conss, 17079 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17351848 impls, 0 clqs
16.78/16.82	c (round 15) 21789 del vars, 84843 del conss, 0 add conss, 17091 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17352008 impls, 0 clqs
16.78/16.89	c (round 16) 21797 del vars, 84891 del conss, 0 add conss, 17091 chg bounds, 3 chg sides, 8 chg coeffs, 0 upgd conss, 17352044 impls, 0 clqs
17.69/17.72	c (round 17) 21797 del vars, 84895 del conss, 0 add conss, 17091 chg bounds, 3 chg sides, 8 chg coeffs, 171144 upgd conss, 17352044 impls, 0 clqs
18.70/18.79	c (round 18) 21797 del vars, 84978 del conss, 137 add conss, 17091 chg bounds, 140 chg sides, 380 chg coeffs, 171144 upgd conss, 17352044 impls, 0 clqs
18.98/19.07	c (round 19) 21797 del vars, 84981 del conss, 146 add conss, 17091 chg bounds, 151 chg sides, 420 chg coeffs, 171144 upgd conss, 17352044 impls, 0 clqs
292.81/292.96	c    (293.0s) probing: 1000/51045 (2.0%) - 0 fixings, 0 aggregations, 7468796 implications, 0 bound changes
293.11/293.26	c    (293.3s) probing: 1001/51045 (2.0%) - 0 fixings, 0 aggregations, 7476545 implications, 0 bound changes
293.11/293.26	c    (293.3s) probing aborted: 1000/1000 successive useless probings
293.11/293.26	c (round 20) 21797 del vars, 162832 del conss, 25316 add conss, 17091 chg bounds, 151 chg sides, 431 chg coeffs, 171144 upgd conss, 32305134 impls, 0 clqs
293.92/294.08	c (round 21) 21797 del vars, 184533 del conss, 47017 add conss, 17091 chg bounds, 151 chg sides, 434 chg coeffs, 171144 upgd conss, 32305134 impls, 2340 clqs
294.62/294.72	c presolving (22 rounds):
294.62/294.72	c  21797 deleted vars, 184533 deleted constraints, 47017 added constraints, 17091 tightened bounds, 0 added holes, 151 changed sides, 437 changed coefficients
294.62/294.72	c  32305134 implications, 24041 cliques
294.62/294.72	c presolved problem has 51045 variables (51045 bin, 0 int, 0 impl, 0 cont) and 118523 constraints
294.62/294.72	c    1138 constraints of type <knapsack>
294.62/294.72	c  116257 constraints of type <setppc>
294.62/294.72	c    1128 constraints of type <and>
294.62/294.72	c transformed objective value is always integral (scale: 1)
294.62/294.72	c Presolving Time: 293.59
294.62/294.72	c - non default parameters ----------------------------------------------------------------------
294.62/294.72	c # SCIP version 2.1.1.4
294.62/294.72	c 
294.62/294.72	c # maximal time in seconds to run
294.62/294.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
294.62/294.72	c limits/time = 1797
294.62/294.72	c 
294.62/294.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
294.62/294.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
294.62/294.72	c limits/memory = 13950
294.62/294.72	c 
294.62/294.72	c # default clock type (1: CPU user seconds, 2: wall clock time)
294.62/294.72	c # [type: int, range: [1,2], default: 1]
294.62/294.72	c timing/clocktype = 2
294.62/294.72	c 
294.62/294.72	c # belongs reading time to solving time?
294.62/294.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
294.62/294.72	c timing/reading = TRUE
294.62/294.72	c 
294.62/294.72	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
294.62/294.72	c # [type: int, range: [-1,2147483647], default: -1]
294.62/294.72	c separating/rapidlearning/freq = 0
294.62/294.72	c 
294.62/294.72	c -----------------------------------------------------------------------------------------------
294.62/294.72	c start solving
295.02/295.10	c 
582.66/582.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
582.66/582.87	c   583s|     1 |     0 | 57448 |     - |1171M|   0 |1739 |  51k| 118k|  51k| 119k|   0 |  90 |   0 | 1.100000e+02 |      --      |    Inf 
1232.26/1232.54	c  1233s|     1 |     0 |181098 |     - |1178M|   0 |2272 |  51k| 118k|  51k| 119k|  42 |  90 |   0 | 1.100000e+02 |      --      |    Inf 
1302.35/1302.64	c  1303s|     1 |     0 |185326 |     - |1178M|   0 |2394 |  51k| 118k|  51k| 119k|  57 |  90 |   0 | 1.100000e+02 |      --      |    Inf 
1343.24/1343.58	c  1344s|     1 |     0 |187538 |     - |1178M|   0 |2545 |  51k| 118k|  51k| 119k|  67 |  90 |   0 | 1.100000e+02 |      --      |    Inf 
1389.04/1389.32	c  1389s|     1 |     0 |190441 |     - |1178M|   0 |2719 |  51k| 118k|  51k| 119k|  74 |  90 |   0 | 1.100000e+02 |      --      |    Inf 
1447.33/1447.65	c  1448s|     1 |     0 |195201 |     - |1178M|   0 |2748 |  51k| 118k|  51k| 119k|  79 |  90 |   0 | 1.100000e+02 |      --      |    Inf 
1488.12/1488.40	c  1488s|     1 |     0 |196213 |     - |1178M|   0 |2885 |  51k| 118k|  51k| 119k|  80 |  90 |   0 | 1.100000e+02 |      --      |    Inf 
1631.50/1631.87	c  1632s|     1 |     2 |196213 |     - |1178M|   0 |2885 |  51k| 118k|  51k| 119k|  80 |  90 |  20 | 1.100000e+02 |      --      |    Inf 
1797.28/1797.67	c 
1797.28/1797.67	c SCIP Status        : solving was interrupted [time limit reached]
1797.28/1797.67	c Solving Time (sec) : 1797.67
1797.28/1797.67	c Solving Nodes      : 2
1797.28/1797.67	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.28/1797.67	c Dual Bound         : +1.10000000000000e+02
1797.28/1797.67	c Gap                : infinite
1797.28/1797.67	s UNKNOWN
1797.28/1797.67	c SCIP Status        : solving was interrupted [time limit reached]
1797.28/1797.67	c Total Time         :    1797.67
1797.28/1797.67	c   solving          :    1797.67
1797.28/1797.67	c   presolving       :     293.59 (included in solving)
1797.28/1797.67	c   reading          :       0.73 (included in solving)
1797.28/1797.67	c   copying          :       0.26 (1 #copies) (minimal 0.26, maximal 0.26, average 0.26)
1797.28/1797.67	c Original Problem   :
1797.28/1797.67	c   Problem name     : HOME/instance-3692468-1338040447.opb
1797.28/1797.67	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.28/1797.67	c   Constraints      : 256039 initial, 256039 maximal
1797.28/1797.67	c   Objective sense  : minimize
1797.28/1797.67	c Presolved Problem  :
1797.28/1797.67	c   Problem name     : t_HOME/instance-3692468-1338040447.opb
1797.28/1797.67	c   Variables        : 51045 (51045 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.28/1797.67	c   Constraints      : 118523 initial, 118613 maximal
1797.28/1797.67	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.28/1797.67	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.28/1797.67	c   trivial          :       0.07       0.00       1057          0          0          0          0          0          0          0          0
1797.28/1797.67	c   dualfix          :       0.09       0.00        120          0          0          0          0          0          0          0          0
1797.28/1797.67	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.28/1797.67	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.28/1797.67	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.28/1797.67	c   gateextraction   :       0.27       0.00          0          0          0          0          0      77851      25170          0          0
1797.28/1797.67	c   implics          :       0.76       0.00          0          0          0          0          0          0          0          0          0
1797.28/1797.67	c   components       :       0.07       0.00          0          0          0          0          0          0          0          0          0
1797.28/1797.67	c   pseudoobj        :       0.00       0.35          0          0          0          0          0          0          0          0          0
1797.28/1797.67	c   probing          :     273.73       0.00          0          0          0          0          0          0          0          0          0
1797.28/1797.67	c   knapsack         :       1.43       0.00          0          0          0          0          0         16        146        148        429
1797.28/1797.67	c   setppc           :       0.67       0.00          0          0          0          0          0         70          0          0          0
1797.28/1797.67	c   and              :       0.39       0.00          0          0          0          0          0      21701      21701          0          0
1797.28/1797.67	c   linear           :      15.52       0.12      16034       4586          0      17091          0      84895          0          3          8
1797.28/1797.67	c   logicor          :       0.12       0.02          0          0          0          0          0          0          0          0          0
1797.28/1797.67	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1797.28/1797.67	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1797.28/1797.67	c   integral         :          0          0          0          0          2          0          4          0          0          0          0          0          4
1797.28/1797.67	c   knapsack         :       1138       1138          6      56463          0          0          3         64          1          0        132          0          0
1797.28/1797.67	c   setppc           :     116257     116257          6      56462          0          0          1       5352          0      17033          0          0          0
1797.28/1797.67	c   and              :       1128       1128          7      56462          0          0          0          0          0        460          0          0          0
1797.28/1797.67	c   logicor          :          0+        90          6         15          0          0          0          0         14          0          0          0          0
1797.28/1797.67	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1797.28/1797.67	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1797.28/1797.67	c   integral         :     277.66       0.00       0.00       0.00     277.65       0.00       0.01       0.00
1797.28/1797.67	c   knapsack         :       3.78       0.00       0.07       3.70       0.00       0.00       0.00       0.00
1797.28/1797.67	c   setppc           :     219.99       0.00       0.04     219.95       0.00       0.00       0.00       0.00
1797.28/1797.67	c   and              :      51.11       0.00       0.00      51.10       0.00       0.00       0.00       0.00
1797.28/1797.67	c   logicor          :       0.02       0.02       0.00       0.01       0.00       0.00       0.00       0.00
1797.28/1797.67	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.28/1797.67	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1797.28/1797.67	c   rootredcost      :          0          0          0          0
1797.28/1797.67	c   pseudoobj        :      10647          0          0          0
1797.28/1797.67	c   vbounds          :          0          0          0          0
1797.28/1797.67	c   redcost          :          8          0          0          0
1797.28/1797.67	c   probing          :          0          0          0          0
1797.28/1797.67	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1797.28/1797.67	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00
1797.28/1797.67	c   pseudoobj        :       0.40       0.35       0.00       0.05       0.00
1797.28/1797.67	c   vbounds          :       0.04       0.01       0.00       0.03       0.00
1797.28/1797.67	c   redcost          :       0.03       0.00       0.00       0.03       0.00
1797.28/1797.67	c   probing          :     273.74       0.00     273.73       0.00       0.00
1797.28/1797.67	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.28/1797.67	c   propagation      :       0.01         15         15         90      107.2          0        0.0          -
1797.28/1797.67	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.28/1797.67	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.28/1797.67	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.28/1797.67	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.28/1797.67	c   applied globally :          -          -          -         90      107.2          -          -          -
1797.28/1797.67	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.28/1797.67	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1797.28/1797.67	c   cut pool         :       0.00                     5          -          -         24          -    (maximal pool size: 68)
1797.28/1797.67	c   closecuts        :       0.00       0.00          0          0          0          0          0
1797.28/1797.67	c   impliedbounds    :       0.06       0.00          6          0          0          0          0
1797.28/1797.67	c   intobj           :       0.00       0.00          0          0          0          0          0
1797.28/1797.67	c   gomory           :      59.27       0.00          6          0          0         48          0
1797.28/1797.67	c   cgmip            :       0.00       0.00          0          0          0          0          0
1797.28/1797.67	c   strongcg         :      60.53       0.00          6          0          0         48          0
1797.28/1797.67	c   cmir             :       9.81       0.00          6          0          0          0          0
1797.28/1797.67	c   flowcover        :      33.09       0.00          6          0          0         72          0
1797.28/1797.67	c   clique           :      99.58       0.00          6          0          0          0          0
1797.28/1797.67	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1797.28/1797.67	c   mcf              :       1.43       0.00          1          0          0          0          0
1797.28/1797.67	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1797.28/1797.67	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1797.28/1797.67	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1797.28/1797.67	c   problem variables:       0.00          -          0          0
1797.28/1797.67	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.28/1797.67	c   relpscost        :     277.65       0.00          2          0          0          0          0          4
1797.28/1797.67	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1797.28/1797.67	c   inference        :       0.00       0.00          0          0          0          0          0          0
1797.28/1797.67	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1797.28/1797.67	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1797.28/1797.67	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1797.28/1797.67	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1797.28/1797.67	c   random           :       0.00       0.00          0          0          0          0          0          0
1797.28/1797.67	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1797.28/1797.67	c   LP solutions     :       0.00          -          -          0
1797.28/1797.67	c   pseudo solutions :       0.00          -          -          0
1797.28/1797.67	c   oneopt           :       0.00       0.00          0          0
1797.28/1797.67	c   crossover        :       0.00       0.00          0          0
1797.28/1797.67	c   coefdiving       :       0.00       0.00          0          0
1797.28/1797.67	c   smallcard        :       0.00       0.00          0          0
1797.28/1797.67	c   trivial          :       0.07       0.00          2          0
1797.28/1797.67	c   shiftandpropagate:      47.10       0.00          1          0
1797.28/1797.67	c   simplerounding   :       0.00       0.00          0          0
1797.28/1797.67	c   zirounding       :       0.00       0.00          0          0
1797.28/1797.67	c   rounding         :       0.05       0.00          8          0
1797.28/1797.67	c   shifting         :       0.07       0.00          7          0
1797.28/1797.67	c   intshifting      :       0.00       0.00          0          0
1797.28/1797.67	c   twoopt           :       0.00       0.00          0          0
1797.28/1797.67	c   indtwoopt        :       0.00       0.00          0          0
1797.28/1797.67	c   indoneopt        :       0.00       0.00          0          0
1797.28/1797.67	c   fixandinfer      :       0.00       0.00          0          0
1797.28/1797.67	c   feaspump         :     526.73       0.00          1          0
1797.28/1797.67	c   clique           :       0.00       0.00          0          0
1797.28/1797.67	c   indrounding      :       0.00       0.00          0          0
1797.28/1797.67	c   indcoefdiving    :       0.00       0.00          0          0
1797.28/1797.67	c   pscostdiving     :       0.00       0.00          0          0
1797.28/1797.67	c   fracdiving       :       0.00       0.00          0          0
1797.28/1797.67	c   nlpdiving        :       0.00       0.00          0          0
1797.28/1797.67	c   veclendiving     :       0.00       0.00          0          0
1797.28/1797.67	c   intdiving        :       0.00       0.00          0          0
1797.28/1797.67	c   actconsdiving    :       0.00       0.00          0          0
1797.28/1797.67	c   objpscostdiving  :       0.00       0.00          0          0
1797.28/1797.67	c   rootsoldiving    :       0.00       0.00          0          0
1797.28/1797.67	c   linesearchdiving :       0.00       0.00          0          0
1797.28/1797.67	c   guideddiving     :       0.00       0.00          0          0
1797.28/1797.67	c   octane           :       0.00       0.00          0          0
1797.28/1797.67	c   rens             :      21.65       0.00          1          0
1797.28/1797.67	c   rins             :       0.00       0.00          0          0
1797.28/1797.67	c   localbranching   :       0.00       0.00          0          0
1797.28/1797.67	c   mutation         :       0.00       0.00          0          0
1797.28/1797.67	c   dins             :       0.00       0.00          0          0
1797.28/1797.67	c   vbounds          :       0.00       0.00          0          0
1797.28/1797.67	c   undercover       :       0.00       0.00          1          0
1797.28/1797.67	c   subnlp           :       0.00       0.00          0          0
1797.28/1797.67	c   trysol           :       0.00       0.00          0          0
1797.28/1797.67	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1797.28/1797.67	c   primal LP        :       0.11          1          0       0.00       0.00       0.11          1
1797.28/1797.67	c   dual LP          :     365.02          9      82312   10289.00     225.50       0.05          1
1797.28/1797.67	c   lex dual LP      :       0.00          0          0       0.00          -
1797.28/1797.67	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1797.28/1797.67	c   diving/probing LP:     526.23          9     115746   12860.67     219.95
1797.28/1797.67	c   strong branching :     277.64         47      46316     985.45     166.82
1797.28/1797.67	c     (at root node) :          -         20      20000    1000.00          -
1797.28/1797.67	c   conflict analysis:       0.00          0          0       0.00          -
1797.28/1797.67	c B&B Tree           :
1797.28/1797.67	c   number of runs   :          1
1797.28/1797.67	c   nodes            :          2
1797.28/1797.67	c   nodes (total)    :          2
1797.28/1797.67	c   nodes left       :          3
1797.28/1797.67	c   max depth        :          1
1797.28/1797.67	c   max depth (total):          1
1797.28/1797.67	c   backtracks       :          0 (0.0%)
1797.28/1797.67	c   delayed cutoffs  :          0
1797.28/1797.67	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.28/1797.67	c   avg switch length:       1.00
1797.28/1797.67	c   switching time   :       0.13
1797.28/1797.67	c Solution           :
1797.28/1797.67	c   Solutions found  :          0 (0 improvements)
1797.28/1797.67	c   Primal Bound     :          -
1797.28/1797.67	c   Dual Bound       : +1.10000000000000e+02
1797.28/1797.67	c   Gap              :   infinite
1797.28/1797.67	c   Root Dual Bound  : +1.10000000000000e+02
1797.28/1797.67	c   Root Iterations  :     196213
1798.08/1798.46	c Time complete: 1798.13.

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

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 4804
/proc/meminfo: memFree=29324740/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=12032 CPUtime=0 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 1818 0 0 0 0 0 0 0 20 0 1 0 270170198 12320768 1772 33554432000 4194304 10219143 140735677013552 140737479635176 8891101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 3008 1781 398 1471 0 1528 0

[startup+0.074146 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 4804
/proc/meminfo: memFree=29324740/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=41044 CPUtime=0.07 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 9011 0 0 0 6 1 0 0 20 0 1 0 270170198 42029056 8965 33554432000 4194304 10219143 140735677013552 140737479635176 9029200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 10261 8965 421 1471 0 8781 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 41044

[startup+0.100357 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 4804
/proc/meminfo: memFree=29324740/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=49844 CPUtime=0.09 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 11214 0 0 0 8 1 0 0 20 0 1 0 270170198 51040256 11168 33554432000 4194304 10219143 140735677013552 140737479635176 5347024 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 12461 11168 421 1471 0 10981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49844

[startup+0.300305 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 4804
/proc/meminfo: memFree=29324740/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=90104 CPUtime=0.29 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 21221 0 0 0 27 2 0 0 20 0 1 0 270170198 92266496 21175 33554432000 4194304 10219143 140735677013552 140737479635176 8771547 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 22526 21175 421 1471 0 21046 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90104

[startup+0.70026 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 4804
/proc/meminfo: memFree=29324740/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=177704 CPUtime=0.69 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 43100 0 0 0 64 5 0 0 20 0 1 0 270170198 181968896 43054 33554432000 4194304 10219143 140735677013552 140737479635176 9029200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 44426 43054 421 1471 0 42946 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 177704

[startup+1.50031 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 4805
/proc/meminfo: memFree=28972324/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=451208 CPUtime=1.49 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 110318 0 0 0 133 16 0 0 20 0 1 0 270170198 462036992 110221 33554432000 4194304 10219143 140735677013552 140735676878728 7418264 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 112802 110221 550 1471 0 111322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 451208

[startup+3.10031 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 4805
/proc/meminfo: memFree=28805908/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=635596 CPUtime=3.08 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 156205 0 0 0 284 24 0 0 20 0 1 0 270170198 650850304 156108 33554432000 4194304 10219143 140735677013552 140735677010552 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 158899 156108 560 1471 0 157419 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 635596

[startup+6.3003 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 4805
/proc/meminfo: memFree=28518228/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=884312 CPUtime=6.28 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 216393 0 0 0 593 35 0 0 20 0 1 0 270170198 905535488 216296 33554432000 4194304 10219143 140735677013552 140735677010552 8965766 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 221078 216296 560 1471 0 219598 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 884312

[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 4805
/proc/meminfo: memFree=28404776/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=941084 CPUtime=12.69 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 230533 0 0 0 1222 47 0 0 20 0 1 0 270170198 963670016 230179 33554432000 4194304 10219143 140735677013552 140735677010552 7419362 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 235271 230179 569 1471 0 233791 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 941084

[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 4805
/proc/meminfo: memFree=28350328/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=996736 CPUtime=25.49 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 255792 0 0 0 2452 97 0 0 20 0 1 0 270170198 1020657664 243711 33554432000 4194304 10219143 140735677013552 140735677009912 4819438 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 249184 243711 628 1471 0 247704 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 996736

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 4805
/proc/meminfo: memFree=28336564/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1011884 CPUtime=51.08 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 259249 0 0 0 5009 99 0 0 20 0 1 0 270170198 1036169216 247102 33554432000 4194304 10219143 140735677013552 140735677009912 5974767 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 252971 247102 628 1471 0 251491 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1011884

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 4806
/proc/meminfo: memFree=28294144/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1055580 CPUtime=102.28 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 270094 0 0 0 10122 106 0 0 20 0 1 0 270170198 1080913920 257943 33554432000 4194304 10219143 140735677013552 140735677009912 6180645 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 263895 257943 628 1471 0 262415 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1055580

[startup+162.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/175 4844
/proc/meminfo: memFree=27619280/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1124356 CPUtime=162.25 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 287212 0 0 0 16112 113 0 0 20 0 1 0 270170198 1151340544 275610 33554432000 4194304 10219143 140735677013552 140735677009912 4820712 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 281089 275610 628 1471 0 279609 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1124356

[startup+222.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/175 4844
/proc/meminfo: memFree=27489368/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1212824 CPUtime=222.24 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 309869 0 0 0 22101 123 0 0 20 0 1 0 270170198 1241931776 298376 33554432000 4194304 10219143 140735677013552 140735677008664 4819088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 303206 298376 628 1471 0 301726 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1212824

[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 4844
/proc/meminfo: memFree=27348408/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1311668 CPUtime=282.22 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 333542 0 0 0 28091 131 0 0 20 0 1 0 270170198 1343148032 322182 33554432000 4194304 10219143 140735677013552 140735677009912 4819189 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 327917 322182 628 1471 0 326437 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1311668

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 4844
/proc/meminfo: memFree=27131332/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1517192 CPUtime=342.21 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 369642 0 0 0 34070 151 0 0 20 0 1 0 270170198 1553604608 372721 33554432000 4194304 10219143 140735677013552 140735677009432 7820963 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 379298 372721 741 1471 0 377818 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1517192

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4848
/proc/meminfo: memFree=26946000/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1574764 CPUtime=402.2 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 379165 0 0 0 40062 158 0 0 20 0 1 0 270170198 1612558336 389623 33554432000 4194304 10219143 140735677013552 140735677007192 8057123 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 393691 389623 785 1471 0 392211 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1574764

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4871
/proc/meminfo: memFree=26763980/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1595748 CPUtime=462.19 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 382695 0 0 0 46054 165 0 0 20 0 1 0 270170198 1634045952 395234 33554432000 4194304 10219143 140735677013552 140735677006072 8057440 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 398937 395234 785 1471 0 397457 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1595748

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4871
/proc/meminfo: memFree=26742472/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1607500 CPUtime=522.17 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 384536 0 0 0 52046 171 0 0 20 0 1 0 270170198 1646080000 400022 33554432000 4194304 10219143 140735677013552 140735677006728 8057476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 401875 400022 785 1471 0 400395 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1607500

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4871
/proc/meminfo: memFree=26647584/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1626664 CPUtime=582.16 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 385791 0 0 0 58040 176 0 0 20 0 1 0 270170198 1665703936 404910 33554432000 4194304 10219143 140735677013552 140735677007176 8029249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 406666 404910 785 1471 0 405186 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1626664

[startup+642.3 s]

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

/proc/meminfo: memFree=26623616/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1626664 CPUtime=1122.08 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 385816 0 0 0 111996 212 0 0 20 0 1 0 270170198 1665703936 405321 33554432000 4194304 10219143 140735677013552 140735677008440 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 406666 405321 810 1471 0 405186 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1626664

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4876
/proc/meminfo: memFree=26587840/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1677024 CPUtime=1182.07 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 387751 0 0 0 117803 404 0 0 20 0 1 0 270170198 1717272576 417476 33554432000 4194304 10219143 140735677013552 140735677009528 7224024 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 419256 417476 820 1471 0 417776 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1677024

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4876
/proc/meminfo: memFree=26521668/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1736332 CPUtime=1242.06 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 392382 0 0 0 123797 409 0 0 20 0 1 0 270170198 1778003968 429078 33554432000 4194304 10219143 140735677013552 140735677008472 5160971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 434083 429078 830 1471 0 432603 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1736332

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 4877
/proc/meminfo: memFree=26511480/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1736528 CPUtime=1302.06 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 394589 0 0 0 129789 417 0 0 20 0 1 0 270170198 1778204672 428664 33554432000 4194304 10219143 140735677013552 140735677006904 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 434132 428664 830 1471 0 432652 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1736528

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 4877
/proc/meminfo: memFree=26505532/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1736844 CPUtime=1362.04 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 395919 0 0 0 135776 428 0 0 20 0 1 0 270170198 1778528256 430192 33554432000 4194304 10219143 140735677013552 140735677008712 7266267 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 434211 430192 832 1471 0 432731 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1736844

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4877
/proc/meminfo: memFree=26520400/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1724652 CPUtime=1422.03 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 396914 0 0 0 141768 435 0 0 20 0 1 0 270170198 1766043648 426357 33554432000 4194304 10219143 140735677013552 140735677009912 7228324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 431163 426357 832 1471 0 429683 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1724652

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4877
/proc/meminfo: memFree=26499392/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1737236 CPUtime=1482.02 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 397805 0 0 0 147760 442 0 0 20 0 1 0 270170198 1778929664 431570 33554432000 4194304 10219143 140735677013552 140735677009912 7228526 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 434309 431570 832 1471 0 432829 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1737236

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4877
/proc/meminfo: memFree=26513876/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1724920 CPUtime=1542.01 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 445728 0 0 0 153726 475 0 0 20 0 1 0 270170198 1766318080 427982 33554432000 4194304 10219143 140735677013552 140735677007000 8025303 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 431230 427982 860 1471 0 429750 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1724920

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4881
/proc/meminfo: memFree=26526244/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1712412 CPUtime=1602.01 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 455946 0 0 0 159716 485 0 0 20 0 1 0 270170198 1753509888 424859 33554432000 4194304 10219143 140735677013552 140735677007000 8051641 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 428103 424859 860 1471 0 426623 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1712412

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4881
/proc/meminfo: memFree=26513188/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1724872 CPUtime=1662 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 463020 0 0 0 165707 493 0 0 20 0 1 0 270170198 1766268928 427980 33554432000 4194304 10219143 140735677013552 140735677007096 8051641 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 431218 427980 860 1471 0 429738 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1724872

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4881
/proc/meminfo: memFree=26527620/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1712376 CPUtime=1721.99 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 467461 0 0 0 171699 500 0 0 20 0 1 0 270170198 1753473024 424345 33554432000 4194304 10219143 140735677013552 140735677007096 7754148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 428094 424345 860 1471 0 426614 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1712376

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 4881
/proc/meminfo: memFree=26512976/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1724868 CPUtime=1781.98 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 472304 0 0 0 177690 508 0 0 20 0 1 0 270170198 1766264832 427981 33554432000 4194304 10219143 140735677013552 140735677007000 8091501 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 431217 427981 860 1471 0 429737 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1724868

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

[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 4881
/proc/meminfo: memFree=26506336/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1737376 CPUtime=1791.59 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 474488 0 0 0 178650 509 0 0 20 0 1 0 270170198 1779073024 429713 33554432000 4194304 10219143 140735677013552 140735677007000 8056463 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 434344 429713 860 1471 0 432864 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 1737376

[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 4881
/proc/meminfo: memFree=26525572/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1712384 CPUtime=1794.78 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 474706 0 0 0 178969 509 0 0 20 0 1 0 270170198 1753481216 424857 33554432000 4194304 10219143 140735677013552 140735677007000 8030289 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 428096 424857 860 1471 0 426616 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 1712384

[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 4881
/proc/meminfo: memFree=26525572/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1712384 CPUtime=1796.37 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 474707 0 0 0 179128 509 0 0 20 0 1 0 270170198 1753481216 424858 33554432000 4194304 10219143 140735677013552 140735677006680 8030320 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 428096 424858 860 1471 0 426616 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 1712384

[startup+1797.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 4881
/proc/meminfo: memFree=26525572/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1712384 CPUtime=1797.17 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 474708 0 0 0 179208 509 0 0 20 0 1 0 270170198 1753481216 424859 33554432000 4194304 10219143 140735677013552 140735677007000 8056500 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 428096 424859 860 1471 0 426616 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 1712384

[startup+1797.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 4881
/proc/meminfo: memFree=26525572/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1607388 CPUtime=1797.58 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 474710 0 0 0 179248 510 0 0 20 0 1 0 270170198 1645965312 399563 33554432000 4194304 10219143 140735677013552 140735677012616 6870669 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 401847 399563 862 1471 0 400367 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 1607388

[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 4881
/proc/meminfo: memFree=26525572/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1361268 CPUtime=1797.98 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 474710 0 0 0 179285 513 0 0 20 0 1 0 270170198 1393938432 338346 33554432000 4194304 10219143 140735677013552 140735677012616 7594387 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 340317 338346 862 1471 0 338837 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1361268

[startup+1798.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 4881
/proc/meminfo: memFree=26985832/32873852 swapFree=7616/7616
[pid=4804] ppid=4802 vsize=1229560 CPUtime=1798.08 cores=0,2,4,6
/proc/4804/stat : 4804 (scip-2.1.1.4exp) R 4802 4804 403 0 -1 4202496 474710 0 0 0 179294 514 0 0 20 0 1 0 270170198 1259069440 305466 33554432000 4194304 10219143 140735677013552 140735677012616 5965264 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4804/statm: 307390 305466 862 1471 0 305910 0
Current children cumulated CPU time (s) 1798.08
Current children cumulated vsize (KiB) 1229560

Child status: 0
Real time (s): 1798.46
CPU time (s): 1798.15
CPU user time (s): 1792.96
CPU system time (s): 5.18721
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 1924416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.96
system time used= 5.18721
maximum resident set size= 1912732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474712
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= 67
involuntary context switches= 1923

runsolver used 7.50886 second user time and 18.7092 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-26 15:54:07
IDJOB=3692468
IDBENCH=77508
IDSOLVER=2271
FILE ID=node131/3692468-1338040447
RUNJOBID= node131-1338017251-877
PBS_JOBID= 14624266
Free space on /tmp= 71572 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-j12060_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-3692468-1338040447/watcher-3692468-1338040447 -o /tmp/evaluation-result-3692468-1338040447/solver-3692468-1338040447 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692468-1338040447.opb -t 1800 -m 15500

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

MD5SUM BENCH= 2cfe94d08112cb5e579263a7aabde4b0
RANDOM SEED=133310432

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
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		: 2666.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29324748 kB
Buffers:          259368 kB
Cached:          2335460 kB
SwapCached:            0 kB
Active:           750172 kB
Inactive:        2029440 kB
Active(anon):     187096 kB
Inactive(anon):        0 kB
Active(file):     563076 kB
Inactive(file):  2029440 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             21832 kB
Writeback:             0 kB
AnonPages:        194124 kB
Mapped:            17816 kB
Shmem:               204 kB
Slab:             632544 kB
SReclaimable:      75112 kB
SUnreclaim:       557432 kB
KernelStack:        1448 kB
PageTables:         4212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     300724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71552 MiB
End job on node131 at 2012-05-26 16:24:06