Trace number 3691281

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 SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed? 1797.92 1798.24

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9033_3.std.opb
MD5SUMb78e79dd5c9709f371f2afcaebaa2525
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark108
Best CPU time to get the best result obtained on this benchmark0.225965
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints192786
Number of constraints which are clauses191586
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 constraint25
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3691281-1338023844.opb>
0.39/0.48	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192786 constraints
0.39/0.48	c problem read in 0.48
1.29/1.30	c presolving:
6.60/6.63	c (round 1) 5514 del vars, 16310 del conss, 0 add conss, 4361 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12924324 impls, 0 clqs
9.29/9.39	c (round 2) 10069 del vars, 37672 del conss, 0 add conss, 8698 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12950575 impls, 0 clqs
10.19/10.23	c (round 3) 11967 del vars, 46486 del conss, 0 add conss, 9833 chg bounds, 58 chg sides, 38 chg coeffs, 0 upgd conss, 12963790 impls, 0 clqs
10.79/10.80	c (round 4) 13035 del vars, 50747 del conss, 0 add conss, 10620 chg bounds, 71 chg sides, 43 chg coeffs, 0 upgd conss, 12975862 impls, 0 clqs
11.09/11.19	c (round 5) 13841 del vars, 54129 del conss, 0 add conss, 11171 chg bounds, 79 chg sides, 51 chg coeffs, 0 upgd conss, 12983857 impls, 0 clqs
11.49/11.50	c (round 6) 14493 del vars, 56691 del conss, 0 add conss, 11618 chg bounds, 79 chg sides, 51 chg coeffs, 0 upgd conss, 12990906 impls, 0 clqs
11.69/11.72	c (round 7) 14904 del vars, 58377 del conss, 0 add conss, 11910 chg bounds, 79 chg sides, 51 chg coeffs, 0 upgd conss, 12994961 impls, 0 clqs
11.78/11.89	c (round 8) 15185 del vars, 59590 del conss, 0 add conss, 12109 chg bounds, 79 chg sides, 51 chg coeffs, 0 upgd conss, 12997837 impls, 0 clqs
11.99/12.01	c (round 9) 15346 del vars, 60284 del conss, 0 add conss, 12212 chg bounds, 79 chg sides, 51 chg coeffs, 0 upgd conss, 12999757 impls, 0 clqs
11.99/12.10	c (round 10) 15427 del vars, 60663 del conss, 0 add conss, 12261 chg bounds, 79 chg sides, 51 chg coeffs, 0 upgd conss, 13000589 impls, 0 clqs
12.19/12.20	c (round 11) 15474 del vars, 60878 del conss, 0 add conss, 12296 chg bounds, 79 chg sides, 51 chg coeffs, 0 upgd conss, 13000985 impls, 0 clqs
12.19/12.28	c (round 12) 15490 del vars, 60979 del conss, 0 add conss, 12304 chg bounds, 79 chg sides, 51 chg coeffs, 0 upgd conss, 13001208 impls, 0 clqs
12.28/12.37	c (round 13) 15498 del vars, 61014 del conss, 0 add conss, 12311 chg bounds, 79 chg sides, 51 chg coeffs, 0 upgd conss, 13001304 impls, 0 clqs
12.38/12.43	c (round 14) 15506 del vars, 61050 del conss, 0 add conss, 12313 chg bounds, 79 chg sides, 51 chg coeffs, 0 upgd conss, 13001326 impls, 0 clqs
13.09/13.12	c (round 15) 15506 del vars, 61052 del conss, 0 add conss, 12313 chg bounds, 79 chg sides, 51 chg coeffs, 131734 upgd conss, 13001326 impls, 0 clqs
13.49/13.55	c (round 16) 15506 del vars, 61078 del conss, 156 add conss, 12313 chg bounds, 279 chg sides, 784 chg coeffs, 131736 upgd conss, 13003710 impls, 3204 clqs
13.79/13.83	c (round 17) 15506 del vars, 61099 del conss, 174 add conss, 12313 chg bounds, 324 chg sides, 891 chg coeffs, 131736 upgd conss, 13003772 impls, 3466 clqs
288.71/288.86	c    (288.9s) probing: 1000/39276 (2.5%) - 0 fixings, 0 aggregations, 6220853 implications, 0 bound changes
288.91/289.04	c    (289.0s) probing: 1001/39276 (2.5%) - 0 fixings, 0 aggregations, 6225820 implications, 0 bound changes
288.91/289.04	c    (289.0s) probing aborted: 1000/1000 successive useless probings
288.91/289.04	c (round 18) 15506 del vars, 121733 del conss, 19575 add conss, 12313 chg bounds, 328 chg sides, 902 chg coeffs, 131736 upgd conss, 25455412 impls, 3467 clqs
289.51/289.64	c (round 19) 15506 del vars, 137944 del conss, 35786 add conss, 12313 chg bounds, 329 chg sides, 1017 chg coeffs, 131736 upgd conss, 25455412 impls, 5901 clqs
289.91/290.07	c (round 20) 15506 del vars, 137944 del conss, 35807 add conss, 12313 chg bounds, 350 chg sides, 1101 chg coeffs, 131736 upgd conss, 25455418 impls, 22138 clqs
290.41/290.52	c presolving (21 rounds):
290.41/290.52	c  15506 deleted vars, 137944 deleted constraints, 35807 added constraints, 12313 tightened bounds, 0 added holes, 350 changed sides, 1101 changed coefficients
290.41/290.52	c  25455418 implications, 22138 cliques
290.41/290.52	c presolved problem has 39276 variables (39276 bin, 0 int, 0 impl, 0 cont) and 90649 constraints
290.41/290.52	c    1102 constraints of type <knapsack>
290.41/290.52	c   88792 constraints of type <setppc>
290.41/290.52	c     755 constraints of type <and>
290.41/290.52	c transformed objective value is always integral (scale: 1)
290.41/290.52	c Presolving Time: 289.81
290.41/290.52	c - non default parameters ----------------------------------------------------------------------
290.41/290.52	c # SCIP version 2.1.1.4
290.41/290.52	c 
290.41/290.52	c # maximal time in seconds to run
290.41/290.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
290.41/290.52	c limits/time = 1797
290.41/290.52	c 
290.41/290.52	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
290.41/290.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
290.41/290.52	c limits/memory = 13950
290.41/290.52	c 
290.41/290.52	c # default clock type (1: CPU user seconds, 2: wall clock time)
290.41/290.52	c # [type: int, range: [1,2], default: 1]
290.41/290.52	c timing/clocktype = 2
290.41/290.52	c 
290.41/290.52	c # belongs reading time to solving time?
290.41/290.52	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
290.41/290.52	c timing/reading = TRUE
290.41/290.52	c 
290.41/290.52	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
290.41/290.52	c # [type: int, range: [-1,2147483647], default: -1]
290.41/290.52	c separating/rapidlearning/freq = 0
290.41/290.52	c 
290.41/290.52	c -----------------------------------------------------------------------------------------------
290.41/290.52	c start solving
290.71/290.86	c 
467.68/467.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
467.68/467.86	c   468s|     1 |     0 | 34409 |     - | 879M|   0 |1232 |  39k|  90k|  39k|  91k|   0 |   5 |   0 | 1.068217e+02 |      --      |    Inf 
603.46/603.63	c   604s|     1 |     0 | 82063 |     - | 888M|   0 |2403 |  39k|  90k|  39k|  91k| 138 |   5 |   0 | 1.073202e+02 |      --      |    Inf 
1266.15/1266.45	c  1266s|     1 |     0 |148875 |     - | 889M|   0 |1205 |  39k|  90k|  39k|  91k| 374 |   5 |   0 | 1.080000e+02 |      --      |    Inf 
1797.17/1797.51	c  1797s|     1 |     0 |205108 |     - | 896M|   0 |   - |  39k|  90k|  39k|  93k|2374 |   5 |   0 | 1.080000e+02 |      --      |    Inf 
1797.17/1797.51	c (node 1) LP solver hit time limit in LP 37 -- using pseudo solution instead
1797.17/1797.56	c  1798s|     1 |     2 |205108 |     - | 896M|   0 |   - |  39k|  90k|  39k|  93k|2374 |   5 |   0 | 1.080000e+02 |      --      |    Inf 
1797.17/1797.56	c 
1797.17/1797.56	c SCIP Status        : solving was interrupted [time limit reached]
1797.17/1797.56	c Solving Time (sec) : 1797.55
1797.17/1797.56	c Solving Nodes      : 1
1797.17/1797.56	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.17/1797.56	c Dual Bound         : +1.08000000000000e+02
1797.17/1797.56	c Gap                : infinite
1797.17/1797.56	s UNKNOWN
1797.17/1797.56	c SCIP Status        : solving was interrupted [time limit reached]
1797.17/1797.56	c Total Time         :    1797.55
1797.17/1797.56	c   solving          :    1797.55
1797.17/1797.56	c   presolving       :     289.81 (included in solving)
1797.17/1797.56	c   reading          :       0.48 (included in solving)
1797.17/1797.56	c   copying          :       0.00 (0 times copied the problem)
1797.17/1797.56	c Original Problem   :
1797.17/1797.56	c   Problem name     : HOME/instance-3691281-1338023844.opb
1797.17/1797.56	c   Variables        : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.17/1797.56	c   Constraints      : 192786 initial, 192786 maximal
1797.17/1797.56	c   Objective sense  : minimize
1797.17/1797.56	c Presolved Problem  :
1797.17/1797.56	c   Problem name     : t_HOME/instance-3691281-1338023844.opb
1797.17/1797.56	c   Variables        : 39276 (39276 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.17/1797.56	c   Constraints      : 90649 initial, 90654 maximal
1797.17/1797.56	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.17/1797.56	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.56	c   trivial          :       0.07       0.00        702          0          0          0          0          0          0          0          0
1797.17/1797.56	c   dualfix          :       0.08       0.00         92          0          0          0          0          0          0          0          0
1797.17/1797.56	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.56	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.56	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.56	c   gateextraction   :       0.28       0.00          0          0          0          0          0      60634      19400          0          0
1797.17/1797.56	c   implics          :       0.75       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.56	c   components       :       0.06       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.56	c   pseudoobj        :       0.00       0.32          0          0          0          0          0          0          0          0          0
1797.17/1797.56	c   probing          :     274.70       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.56	c   knapsack         :       0.72       0.00          0          0          0          0          0         32        196        271       1050
1797.17/1797.56	c   setppc           :       0.75       0.00          0          0          0          0          0         15          0          0          0
1797.17/1797.56	c   and              :       0.34       0.00          0          0          0          0          0      16211      16211          0          0
1797.17/1797.56	c   linear           :      11.02       0.00      11611       3101          0      12313          0      61052          0         79         51
1797.17/1797.56	c   logicor          :       0.18       0.02          0          0          0          0          0          0          0          0          0
1797.17/1797.56	c   root node        :          -          -         11          -          -         11          -          -          -          -          -
1797.17/1797.56	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1797.17/1797.56	c   integral         :          0          0          0          0          0          0          4          0          0          0          0          0          0
1797.17/1797.56	c   knapsack         :       1102       1102          3      66279          0          1          3          0          0          0        573          0          0
1797.17/1797.56	c   setppc           :      88792      88792          3      66279          0          1          0        294          3         10          0          0          0
1797.17/1797.56	c   and              :        755        755          3      66276          0          1          0          1          0          0        150          0          0
1797.17/1797.56	c   logicor          :          0+         5          3         15          0          0          0          4         12          0          0          0          0
1797.17/1797.56	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1797.17/1797.56	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1797.17/1797.56	c   integral         :       0.01       0.00       0.00       0.00       0.00       0.00       0.01       0.00
1797.17/1797.56	c   knapsack         :       4.39       0.00       0.01       4.37       0.00       0.00       0.00       0.00
1797.17/1797.56	c   setppc           :     273.68       0.00       0.02     273.61       0.00       0.04       0.00       0.00
1797.17/1797.56	c   and              :      51.03       0.00       0.00      51.03       0.00       0.00       0.00       0.00
1797.17/1797.56	c   logicor          :       0.02       0.02       0.00       0.00       0.00       0.00       0.00       0.00
1797.17/1797.56	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.17/1797.56	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1797.17/1797.56	c   rootredcost      :          0          0          0          0
1797.17/1797.56	c   pseudoobj        :      19124          0          0          0
1797.17/1797.56	c   vbounds          :          0          0          0          0
1797.17/1797.56	c   redcost          :          3          0          0          0
1797.17/1797.56	c   probing          :          0          0          0          0
1797.17/1797.56	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1797.17/1797.56	c   rootredcost      :       0.05       0.00       0.00       0.05       0.00
1797.17/1797.56	c   pseudoobj        :       0.42       0.32       0.00       0.10       0.00
1797.17/1797.56	c   vbounds          :       0.06       0.01       0.00       0.05       0.00
1797.17/1797.56	c   redcost          :       0.04       0.00       0.00       0.04       0.00
1797.17/1797.56	c   probing          :     274.70       0.00     274.70       0.00       0.00
1797.17/1797.56	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.17/1797.56	c   propagation      :       0.00         15          5          5      158.2          0        0.0          -
1797.17/1797.56	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.17/1797.56	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.17/1797.56	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.17/1797.56	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.17/1797.56	c   applied globally :          -          -          -          5      158.2          -          -          -
1797.17/1797.56	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.17/1797.56	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1797.17/1797.56	c   cut pool         :       0.00                     2          -          -        112          -    (maximal pool size: 15044)
1797.17/1797.56	c   closecuts        :       0.00       0.00          0          0          0          0          0
1797.17/1797.56	c   impliedbounds    :       0.05       0.00          3          0          0      14418          0
1797.17/1797.56	c   intobj           :       0.00       0.00          0          0          0          0          0
1797.17/1797.56	c   gomory           :       1.16       0.00          2          0          0        100          0
1797.17/1797.56	c   cgmip            :       0.00       0.00          0          0          0          0          0
1797.17/1797.56	c   strongcg         :       5.36       0.00          2          0          0       1000          0
1797.17/1797.56	c   cmir             :       2.30       0.00          2          0          0          0          0
1797.17/1797.56	c   flowcover        :       6.81       0.00          2          0          0        235          0
1797.17/1797.56	c   clique           :      45.56       0.00          2          0          0         14          0
1797.17/1797.56	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1797.17/1797.56	c   mcf              :       0.34       0.00          1          0          0          0          0
1797.17/1797.56	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1797.17/1797.56	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1797.17/1797.56	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1797.17/1797.56	c   problem variables:       0.00          -          0          0
1797.17/1797.56	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.17/1797.56	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
1797.17/1797.56	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1797.17/1797.56	c   inference        :       0.01       0.00          1          0          0          0          0          2
1797.17/1797.56	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1797.17/1797.56	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1797.17/1797.56	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1797.17/1797.56	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1797.17/1797.56	c   random           :       0.00       0.00          0          0          0          0          0          0
1797.17/1797.56	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1797.17/1797.56	c   LP solutions     :       0.00          -          -          0
1797.17/1797.56	c   pseudo solutions :       0.00          -          -          0
1797.17/1797.56	c   oneopt           :       0.00       0.00          0          0
1797.17/1797.56	c   smallcard        :       0.00       0.00          0          0
1797.17/1797.56	c   trivial          :       0.06       0.00          2          0
1797.17/1797.56	c   shiftandpropagate:     102.26       0.00          1          0
1797.17/1797.56	c   simplerounding   :       0.00       0.00          0          0
1797.17/1797.56	c   zirounding       :       0.00       0.00          0          0
1797.17/1797.56	c   rounding         :       0.01       0.00          3          0
1797.17/1797.56	c   shifting         :       0.13       0.00          3          0
1797.17/1797.56	c   intshifting      :       0.00       0.00          0          0
1797.17/1797.56	c   twoopt           :       0.00       0.00          0          0
1797.17/1797.56	c   indtwoopt        :       0.00       0.00          0          0
1797.17/1797.56	c   indoneopt        :       0.00       0.00          0          0
1797.17/1797.56	c   fixandinfer      :       0.00       0.00          0          0
1797.17/1797.56	c   feaspump         :      61.39       0.00          1          0
1797.17/1797.56	c   clique           :       0.00       0.00          0          0
1797.17/1797.56	c   indrounding      :       0.00       0.00          0          0
1797.17/1797.56	c   indcoefdiving    :       0.00       0.00          0          0
1797.17/1797.56	c   coefdiving       :       0.00       0.00          0          0
1797.17/1797.56	c   pscostdiving     :       0.00       0.00          0          0
1797.17/1797.56	c   nlpdiving        :       0.00       0.00          0          0
1797.17/1797.56	c   fracdiving       :       0.00       0.00          0          0
1797.17/1797.56	c   veclendiving     :       0.00       0.00          0          0
1797.17/1797.56	c   intdiving        :       0.00       0.00          0          0
1797.17/1797.56	c   actconsdiving    :       0.00       0.00          0          0
1797.17/1797.56	c   objpscostdiving  :       0.00       0.00          0          0
1797.17/1797.56	c   rootsoldiving    :       0.00       0.00          0          0
1797.17/1797.56	c   linesearchdiving :       0.00       0.00          0          0
1797.17/1797.56	c   guideddiving     :       0.00       0.00          0          0
1797.17/1797.56	c   octane           :       0.00       0.00          0          0
1797.17/1797.56	c   rens             :       0.00       0.00          0          0
1797.17/1797.56	c   rins             :       0.00       0.00          0          0
1797.17/1797.56	c   localbranching   :       0.00       0.00          0          0
1797.17/1797.56	c   mutation         :       0.00       0.00          0          0
1797.17/1797.56	c   crossover        :       0.00       0.00          0          0
1797.17/1797.56	c   dins             :       0.00       0.00          0          0
1797.17/1797.56	c   vbounds          :       0.00       0.00          0          0
1797.17/1797.56	c   undercover       :       0.00       0.00          1          0
1797.17/1797.56	c   subnlp           :       0.00       0.00          0          0
1797.17/1797.56	c   trysol           :       0.00       0.00          0          0
1797.17/1797.56	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1797.17/1797.56	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
1797.17/1797.56	c   dual LP          :    1280.01          5     168700   42175.00     131.80       0.05          1
1797.17/1797.56	c   lex dual LP      :       0.00          0          0       0.00          -
1797.17/1797.56	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1797.17/1797.56	c   diving/probing LP:      59.99         33      36408    1103.27     606.94
1797.17/1797.56	c   strong branching :       0.00          0          0       0.00          -
1797.17/1797.56	c     (at root node) :          -          0          0       0.00          -
1797.17/1797.56	c   conflict analysis:       0.00          0          0       0.00          -
1797.17/1797.56	c B&B Tree           :
1797.17/1797.56	c   number of runs   :          1
1797.17/1797.56	c   nodes            :          1
1797.17/1797.56	c   nodes (total)    :          1
1797.17/1797.56	c   nodes left       :          2
1797.17/1797.56	c   max depth        :          0
1797.17/1797.56	c   max depth (total):          0
1797.17/1797.56	c   backtracks       :          0 (0.0%)
1797.17/1797.56	c   delayed cutoffs  :          0
1797.17/1797.56	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.17/1797.56	c   avg switch length:       1.00
1797.17/1797.56	c   switching time   :       0.00
1797.17/1797.56	c Solution           :
1797.17/1797.56	c   Solutions found  :          0 (0 improvements)
1797.17/1797.56	c   Primal Bound     :          -
1797.17/1797.56	c   Dual Bound       : +1.08000000000000e+02
1797.17/1797.56	c   Gap              :   infinite
1797.17/1797.56	c   Root Dual Bound  : +1.08000000000000e+02
1797.17/1797.56	c   Root Iterations  :     205108
1797.87/1798.23	c Time complete: 1797.91.

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 21653
/proc/meminfo: memFree=27539472/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=10532 CPUtime=0 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 1386 0 0 0 0 0 0 0 20 0 1 0 268510537 10784768 1340 33554432000 4194304 10173063 140735575710624 140735575575112 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 2633 1340 416 1460 0 1164 0

[startup+0.0576631 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 21653
/proc/meminfo: memFree=27539472/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=30396 CPUtime=0.05 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 6206 0 0 0 4 1 0 0 20 0 1 0 268510537 31125504 6133 33554432000 4194304 10173063 140735575710624 140735575575112 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 7599 6165 416 1460 0 6130 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 30396

[startup+0.100369 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 21653
/proc/meminfo: memFree=27539472/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=41328 CPUtime=0.09 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 9114 0 0 0 8 1 0 0 20 0 1 0 268510537 42319872 9041 33554432000 4194304 10173063 140735575710624 140735575575112 5283932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 10332 9041 416 1460 0 8863 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41328

[startup+0.300298 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 21653
/proc/meminfo: memFree=27539472/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=71596 CPUtime=0.29 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 16667 0 0 0 27 2 0 0 20 0 1 0 268510537 73314304 16594 33554432000 4194304 10173063 140735575710624 140735575575112 8985008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 17899 16594 416 1460 0 16430 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71596

[startup+0.700306 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 21653
/proc/meminfo: memFree=27539472/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=215772 CPUtime=0.69 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 52695 0 0 0 61 8 0 0 20 0 1 0 268510537 220950528 52510 33554432000 4194304 10173063 140735575710624 140735575575800 4900240 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 53943 52510 468 1460 0 52474 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 215772

[startup+1.50032 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21654
/proc/meminfo: memFree=27269624/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=340956 CPUtime=1.48 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 91819 0 0 0 133 15 0 0 20 0 1 0 268510537 349138944 83099 33554432000 4194304 10173063 140735575710624 140735575707624 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 85239 83099 550 1460 0 83770 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 340956

[startup+3.10031 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21654
/proc/meminfo: memFree=27134464/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=502448 CPUtime=3.09 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 132022 0 0 0 283 26 0 0 20 0 1 0 268510537 514506752 123302 33554432000 4194304 10173063 140735575710624 140735575707624 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 125612 123302 559 1460 0 124143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 502448

[startup+6.30031 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21654
/proc/meminfo: memFree=26885356/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=704060 CPUtime=6.29 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 180581 0 0 0 589 40 0 0 20 0 1 0 268510537 720957440 171861 33554432000 4194304 10173063 140735575710624 140735575707624 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 176015 171862 565 1460 0 174546 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 704060

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21654
/proc/meminfo: memFree=26855736/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=717292 CPUtime=12.69 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 185654 0 0 0 1201 68 0 0 20 0 1 0 268510537 734507008 175049 33554432000 4194304 10173063 140735575710624 140735575707624 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 179323 175049 579 1460 0 177854 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 717292

[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21654
/proc/meminfo: memFree=26815744/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=743128 CPUtime=25.49 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 199566 0 0 0 2468 81 0 0 20 0 1 0 268510537 760963072 181111 33554432000 4194304 10173063 140735575710624 140735575706984 4780421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 185782 181111 626 1460 0 184313 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 743128

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21654
/proc/meminfo: memFree=26799228/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=758480 CPUtime=51.08 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 203612 0 0 0 5025 83 0 0 20 0 1 0 268510537 776683520 185376 33554432000 4194304 10173063 140735575710624 140735575706984 4780798 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 189620 185376 626 1460 0 188151 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 758480

[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 21654
/proc/meminfo: memFree=26755624/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=802112 CPUtime=102.27 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 214380 0 0 0 10138 89 0 0 20 0 1 0 268510537 821362688 196082 33554432000 4194304 10173063 140735575710624 140735575706984 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 200528 196082 626 1460 0 199059 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 802112

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 21657
/proc/meminfo: memFree=26685028/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=871332 CPUtime=162.24 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 231821 0 0 0 16126 98 0 0 20 0 1 0 268510537 892243968 213895 33554432000 4194304 10173063 140735575710624 140735575706984 4780421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 217833 213895 626 1460 0 216364 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 871332

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21657
/proc/meminfo: memFree=26613648/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=944220 CPUtime=222.22 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 249476 0 0 0 22115 107 0 0 20 0 1 0 268510537 966881280 231798 33554432000 4194304 10173063 140735575710624 140735575706984 4780549 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 236055 231798 626 1460 0 234586 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 944220

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21657
/proc/meminfo: memFree=26544360/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1013728 CPUtime=282.21 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 265854 0 0 0 28105 116 0 0 20 0 1 0 268510537 1038057472 248937 33554432000 4194304 10173063 140735575710624 140735575706984 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 253432 248937 626 1460 0 251963 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1013728

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21696
/proc/meminfo: memFree=26077728/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1130484 CPUtime=342.2 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 286439 0 0 0 34084 136 0 0 20 0 1 0 268510537 1157615616 279436 33554432000 4194304 10173063 140735575710624 140735575706504 4782120 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 282621 279436 707 1460 0 281152 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1130484

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21696
/proc/meminfo: memFree=25890632/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1202804 CPUtime=402.19 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 298525 0 0 0 40075 144 0 0 20 0 1 0 268510537 1231671296 296817 33554432000 4194304 10173063 140735575710624 140735575703800 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 300701 296817 792 1460 0 299232 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1202804

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21696
/proc/meminfo: memFree=25823488/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1222348 CPUtime=462.19 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 303887 0 0 0 46068 151 0 0 20 0 1 0 268510537 1251684352 303433 33554432000 4194304 10173063 140735575710624 140735575703800 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 305587 303433 792 1460 0 304118 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1222348

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21697
/proc/meminfo: memFree=25821276/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1222348 CPUtime=522.18 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 304398 0 0 0 52059 159 0 0 20 0 1 0 268510537 1251684352 303882 33554432000 4194304 10173063 140735575710624 140735575701832 8047236 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 305587 303882 811 1460 0 304118 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1222348

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21697
/proc/meminfo: memFree=25726744/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1317504 CPUtime=582.16 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 313372 0 0 0 57909 307 0 0 20 0 1 0 268510537 1349124096 325692 33554432000 4194304 10173063 140735575710624 140735575703976 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 329376 325692 845 1460 0 327907 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1317504

[startup+642.3 s]

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

/proc/meminfo: memFree=25659196/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1329904 CPUtime=1122.08 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314364 0 0 0 111855 353 0 0 20 0 1 0 268510537 1361821696 328155 33554432000 4194304 10173063 140735575710624 140735575704296 7985021 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332476 328155 845 1460 0 331007 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1329904

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 21702
/proc/meminfo: memFree=25659196/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1329904 CPUtime=1182.07 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314364 0 0 0 117850 357 0 0 20 0 1 0 268510537 1361821696 328155 33554432000 4194304 10173063 140735575710624 140735575703800 8012042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332476 328155 845 1460 0 331007 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1329904

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21703
/proc/meminfo: memFree=25658948/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1329904 CPUtime=1242.06 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314366 0 0 0 123845 361 0 0 20 0 1 0 268510537 1361821696 328157 33554432000 4194304 10173063 140735575710624 140735575703800 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332476 328157 845 1460 0 331007 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1329904

[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 21741
/proc/meminfo: memFree=26149776/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1330640 CPUtime=1302.06 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314593 0 0 0 129840 366 0 0 20 0 1 0 268510537 1362575360 328384 33554432000 4194304 10173063 140735575710624 140735575703800 8007115 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332660 328384 845 1460 0 331191 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1330640

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 21744
/proc/meminfo: memFree=26149000/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1330640 CPUtime=1362.05 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314596 0 0 0 135833 372 0 0 20 0 1 0 268510537 1362575360 328400 33554432000 4194304 10173063 140735575710624 140735575703800 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332660 328400 845 1460 0 331191 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1330640

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21744
/proc/meminfo: memFree=26146668/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1330640 CPUtime=1422.04 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314604 0 0 0 141828 376 0 0 20 0 1 0 268510537 1362575360 329005 33554432000 4194304 10173063 140735575710624 140735575703800 7987562 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332660 329005 845 1460 0 331191 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1330640

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21744
/proc/meminfo: memFree=26146512/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1330640 CPUtime=1482.03 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314606 0 0 0 147822 381 0 0 20 0 1 0 268510537 1362575360 329007 33554432000 4194304 10173063 140735575710624 140735575704296 7985048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332660 329007 845 1460 0 331191 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1330640

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21745
/proc/meminfo: memFree=26146512/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1330640 CPUtime=1542.01 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314608 0 0 0 153814 387 0 0 20 0 1 0 268510537 1362575360 329009 33554432000 4194304 10173063 140735575710624 140735575704248 8012042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332660 329009 845 1460 0 331191 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1330640

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21745
/proc/meminfo: memFree=26146512/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1330640 CPUtime=1602 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314608 0 0 0 159809 391 0 0 20 0 1 0 268510537 1362575360 329009 33554432000 4194304 10173063 140735575710624 140735575703800 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332660 329009 845 1460 0 331191 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1330640

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21745
/proc/meminfo: memFree=26146512/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1330640 CPUtime=1661.99 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314609 0 0 0 165804 395 0 0 20 0 1 0 268510537 1362575360 329010 33554432000 4194304 10173063 140735575710624 140735575703800 8025692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332660 329010 845 1460 0 331191 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1330640

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 21745
/proc/meminfo: memFree=26146128/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1330640 CPUtime=1721.98 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314609 0 0 0 171799 399 0 0 20 0 1 0 268510537 1362575360 329010 33554432000 4194304 10173063 140735575710624 140735575704248 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332660 329010 845 1460 0 331191 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1330640

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21745
/proc/meminfo: memFree=26141880/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1330640 CPUtime=1781.98 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314962 0 0 0 177795 403 0 0 20 0 1 0 268510537 1362575360 329363 33554432000 4194304 10173063 140735575710624 140735575703800 8012538 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332660 329363 845 1460 0 331191 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1330640

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

[startup+1791.91 s]
/proc/loadavg: 2.09 2.02 2.00 3/177 21745
/proc/meminfo: memFree=26141744/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1330640 CPUtime=1791.58 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314962 0 0 0 178754 404 0 0 20 0 1 0 268510537 1362575360 329363 33554432000 4194304 10173063 140735575710624 140735575703800 7594585 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332660 329363 845 1460 0 331191 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 1330640

[startup+1795.1 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 21745
/proc/meminfo: memFree=26141744/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1330640 CPUtime=1794.78 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314962 0 0 0 179074 404 0 0 20 0 1 0 268510537 1362575360 329363 33554432000 4194304 10173063 140735575710624 140735575703800 8063971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332660 329363 845 1460 0 331191 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 1330640

[startup+1796.7 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 21745
/proc/meminfo: memFree=26141744/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1330640 CPUtime=1796.37 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314962 0 0 0 179233 404 0 0 20 0 1 0 268510537 1362575360 329363 33554432000 4194304 10173063 140735575710624 140735575703800 8013178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332660 329363 845 1460 0 331191 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 1330640

[startup+1797.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21745
/proc/meminfo: memFree=26141744/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1330640 CPUtime=1797.17 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314962 0 0 0 179313 404 0 0 20 0 1 0 268510537 1362575360 329363 33554432000 4194304 10173063 140735575710624 140735575704296 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 332660 329363 845 1460 0 331191 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 1330640

[startup+1797.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21745
/proc/meminfo: memFree=26141744/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1233620 CPUtime=1797.58 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314976 0 0 0 179353 405 0 0 20 0 1 0 268510537 1263226880 306698 33554432000 4194304 10173063 140735575710624 140735575704296 4953292 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 308405 306698 859 1460 0 306936 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 1233620

[startup+1798.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21745
/proc/meminfo: memFree=26141744/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=1156348 CPUtime=1797.78 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314977 0 0 0 179372 406 0 0 20 0 1 0 268510537 1184100352 287386 33554432000 4194304 10173063 140735575710624 140735575704296 8992599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 289087 287365 860 1460 0 287618 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 1156348

[startup+1798.2 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21745
/proc/meminfo: memFree=26141744/32873844 swapFree=7364/7364
[pid=21653] ppid=21651 vsize=967672 CPUtime=1797.87 cores=1,3,5,7
/proc/21653/stat : 21653 (scip-2.1.1.4fix) R 21651 21653 21011 0 -1 4202496 314978 0 0 0 179380 407 0 0 20 0 1 0 268510537 990896128 241084 33554432000 4194304 10173063 140735575710624 140735575704296 7544969 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21653/statm: 241918 240828 861 1460 0 240449 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 967672

Child status: 0
Real time (s): 1798.24
CPU time (s): 1797.92
CPU user time (s): 1793.81
CPU system time (s): 4.10837
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 1330640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.81
system time used= 4.10837
maximum resident set size= 1317496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314990
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= 71
involuntary context switches= 1846

runsolver used 2.91456 second user time and 8.5637 second system time

The end

Launcher Data 

Begin job on node118 at 2012-05-26 11:17:24
IDJOB=3691281
IDBENCH=77695
IDSOLVER=2270
FILE ID=node118/3691281-1338023844
RUNJOBID= node118-1338016936-21028
PBS_JOBID= 14624353
Free space on /tmp= 71580 MiB

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

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

MD5SUM BENCH= b78e79dd5c9709f371f2afcaebaa2525
RANDOM SEED=694010793

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.212
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:       32873844 kB
MemFree:        27539364 kB
Buffers:          239328 kB
Cached:          4251056 kB
SwapCached:            0 kB
Active:           609696 kB
Inactive:        3950904 kB
Active(anon):      71504 kB
Inactive(anon):        0 kB
Active(file):     538192 kB
Inactive(file):  3950904 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             19052 kB
Writeback:             0 kB
AnonPages:        135544 kB
Mapped:            17820 kB
Shmem:               200 kB
Slab:             635364 kB
SReclaimable:      77792 kB
SUnreclaim:       557572 kB
KernelStack:        1480 kB
PageTables:         4388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     183432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 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= 71564 MiB
End job on node118 at 2012-05-26 11:47:23