Trace number 3692727

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 NameAnswerCPU timeWall clock time
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed? 1799.15 1799.43

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
MD5SUMe436f4a609b5bae6a8ddfe1313c390fe
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.44278
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables2800
Total number of constraints990001
Number of constraints which are clauses986760
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints3160
Minimum length of a constraint2
Maximum length of a constraint1200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 338
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1239
Number of bits of the biggest sum of numbers11
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-3692727-1338024761.opb>
2.39/2.41	c original problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints
2.39/2.41	c problem read in 2.41
5.49/5.58	c presolving:
12.29/12.38	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1084800 upgd conss, 2400 impls, 80 clqs
14.09/14.11	c (round 2) 0 del vars, 72599 del conss, 1200 add conss, 0 chg bounds, 1200 chg sides, 5641 chg coeffs, 1084800 upgd conss, 49202 impls, 80 clqs
16.69/16.77	c    (16.7s) probing: 51/2800 (1.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
16.69/16.77	c    (16.7s) probing aborted: 50/50 successive totally useless probings
19.29/19.32	c presolving (3 rounds):
19.29/19.32	c  0 deleted vars, 72599 deleted constraints, 1200 added constraints, 0 tightened bounds, 0 added holes, 1200 changed sides, 5815 changed coefficients
19.29/19.32	c  52322 implications, 80 cliques
19.29/19.32	c presolved problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 918602 constraints
19.29/19.32	c    3160 constraints of type <knapsack>
19.29/19.32	c   24681 constraints of type <setppc>
19.29/19.32	c       1 constraints of type <linear>
19.29/19.32	c  890760 constraints of type <logicor>
19.29/19.32	c transformed objective value is always integral (scale: 1)
19.29/19.32	c Presolving Time: 16.26
19.29/19.32	c - non default parameters ----------------------------------------------------------------------
19.29/19.32	c # SCIP version 2.1.1.4
19.29/19.32	c 
19.29/19.32	c # maximal time in seconds to run
19.29/19.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
19.29/19.32	c limits/time = 1797
19.29/19.32	c 
19.29/19.32	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
19.29/19.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
19.29/19.32	c limits/memory = 13950
19.29/19.32	c 
19.29/19.32	c # default clock type (1: CPU user seconds, 2: wall clock time)
19.29/19.32	c # [type: int, range: [1,2], default: 1]
19.29/19.32	c timing/clocktype = 2
19.29/19.32	c 
19.29/19.32	c # belongs reading time to solving time?
19.29/19.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.29/19.32	c timing/reading = TRUE
19.29/19.32	c 
19.29/19.32	c -----------------------------------------------------------------------------------------------
19.29/19.32	c start solving
19.29/19.34	c 
61.88/61.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
61.88/61.99	c  61.9s|     1 |     0 |  2098 |     - |1229M|   0 | 136 |2800 | 918k|2800 | 918k|   0 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
294.15/294.27	c   294s|     1 |     0 |  8369 |     - |1253M|   0 | 153 |2800 | 918k|2800 | 918k|  18 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
377.84/377.99	c   378s|     1 |     0 |  8628 |     - |1255M|   0 | 168 |2800 | 918k|2800 | 918k|  38 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
473.92/474.03	c   474s|     1 |     0 |  9436 |     - |1255M|   0 | 205 |2800 | 918k|2800 | 918k|  60 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
603.50/603.70	c   604s|     1 |     0 |  9613 |     - |1255M|   0 | 204 |2800 | 918k|2800 | 918k|  76 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
707.68/707.88	c   708s|     1 |     0 |  9997 |     - |1255M|   0 | 227 |2800 | 918k|2800 | 918k|  92 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
819.28/819.43	c   819s|     1 |     0 | 11969 |     - |1255M|   0 | 219 |2800 | 918k|2800 | 918k| 115 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
1065.73/1065.94	c  1066s|     1 |     2 | 11969 |     - |1255M|   0 | 219 |2800 | 918k|2800 | 918k| 115 |  15 |  33 | 0.000000e+00 |      --      |    Inf 
1797.12/1797.45	c 
1797.12/1797.45	c SCIP Status        : solving was interrupted [time limit reached]
1797.12/1797.45	c Solving Time (sec) : 1797.41
1797.12/1797.45	c Solving Nodes      : 4
1797.12/1797.45	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.12/1797.45	c Dual Bound         : +0.00000000000000e+00
1797.12/1797.45	c Gap                : infinite
1797.12/1797.45	s UNKNOWN
1797.12/1797.45	c SCIP Status        : solving was interrupted [time limit reached]
1797.12/1797.45	c Total Time         :    1797.41
1797.12/1797.45	c   solving          :    1797.41
1797.12/1797.45	c   presolving       :      16.26 (included in solving)
1797.12/1797.45	c   reading          :       2.41 (included in solving)
1797.12/1797.45	c   copying          :       1.35 (1 #copies) (minimal 1.35, maximal 1.35, average 1.35)
1797.12/1797.45	c Original Problem   :
1797.12/1797.45	c   Problem name     : HOME/instance-3692727-1338024761.opb
1797.12/1797.45	c   Variables        : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.12/1797.45	c   Constraints      : 990001 initial, 990001 maximal
1797.12/1797.45	c   Objective sense  : minimize
1797.12/1797.45	c Presolved Problem  :
1797.12/1797.45	c   Problem name     : t_HOME/instance-3692727-1338024761.opb
1797.12/1797.45	c   Variables        : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.12/1797.45	c   Constraints      : 918602 initial, 918617 maximal
1797.12/1797.45	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.12/1797.45	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   gateextraction   :       0.27       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   components       :       0.33       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   probing          :       1.03       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   knapsack         :       0.60       0.00          0          0          0          0          0          0       1200       1200       5815
1797.12/1797.45	c   setppc           :       0.17       0.00          0          0          0          0          0      72599          0          0          0
1797.12/1797.45	c   linear           :       4.45       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   logicor          :       3.42       2.22          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1797.12/1797.45	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1797.12/1797.45	c   integral         :          0          0          0          0          4          0          4          0          0          0          0          0          8
1797.12/1797.45	c   knapsack         :       3160       3160          6        131          0          0          3        585          0          2        621          0          0
1797.12/1797.45	c   setppc           :      24681      24681          6        131          0          0          2         15         15        152          0          0          0
1797.12/1797.45	c   linear           :          1          1          6        116          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c   logicor          :     890760+    890775          6        109          0          0          0          0          0          1          0          0          0
1797.12/1797.45	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1797.12/1797.45	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1797.12/1797.45	c   integral         :     966.98       0.00       0.00       0.00     966.98       0.00       0.00       0.00
1797.12/1797.45	c   knapsack         :       0.11       0.00       0.04       0.07       0.00       0.00       0.00       0.00
1797.12/1797.45	c   setppc           :       0.14       0.00       0.01       0.13       0.00       0.00       0.00       0.00
1797.12/1797.45	c   linear           :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00
1797.12/1797.45	c   logicor          :       3.04       2.22       0.21       0.61       0.00       0.00       0.00       0.00
1797.12/1797.45	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.12/1797.45	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1797.12/1797.45	c   rootredcost      :          0          0          0          0
1797.12/1797.45	c   pseudoobj        :          0          0          0          0
1797.12/1797.45	c   vbounds          :          0          0          0          0
1797.12/1797.45	c   redcost          :         10          0          0          0
1797.12/1797.45	c   probing          :          0          0          0          0
1797.12/1797.45	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1797.12/1797.45	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00
1797.12/1797.45	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00
1797.12/1797.45	c   vbounds          :       0.00       0.00       0.00       0.00       0.00
1797.12/1797.45	c   redcost          :       0.00       0.00       0.00       0.00       0.00
1797.12/1797.45	c   probing          :       1.03       0.00       1.03       0.00       0.00
1797.12/1797.45	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.12/1797.45	c   propagation      :       0.00         15         15         15        3.0          0        0.0          -
1797.12/1797.45	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.12/1797.45	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.12/1797.45	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.12/1797.45	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.12/1797.45	c   applied globally :          -          -          -         15        3.0          -          -          -
1797.12/1797.45	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.12/1797.45	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1797.12/1797.45	c   cut pool         :       0.00                     5          -          -          3          -    (maximal pool size: 296)
1797.12/1797.45	c   closecuts        :       0.00       0.00          0          0          0          0          0
1797.12/1797.45	c   impliedbounds    :       0.00       0.00          6          0          0          0          0
1797.12/1797.45	c   intobj           :       0.00       0.00          0          0          0          0          0
1797.12/1797.45	c   gomory           :      12.19       0.00          6          0          0        300          0
1797.12/1797.45	c   cgmip            :       0.00       0.00          0          0          0          0          0
1797.12/1797.45	c   strongcg         :     112.12       0.00          6          0          0       3000          0
1797.12/1797.45	c   cmir             :      17.28       0.00          6          0          0          4          0
1797.12/1797.45	c   flowcover        :     384.67       0.00          6          0          0          9          0
1797.12/1797.45	c   clique           :       0.02       0.00          6          0          0          0          0
1797.12/1797.45	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1797.12/1797.45	c   mcf              :       0.00       0.00          0          0          0          0          0
1797.12/1797.45	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1797.12/1797.45	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1797.12/1797.45	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1797.12/1797.45	c   problem variables:       0.00          -          0          0
1797.12/1797.45	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.12/1797.45	c   relpscost        :     966.98       0.00          4          0          0          0          0          8
1797.12/1797.45	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1797.12/1797.45	c   inference        :       0.00       0.00          0          0          0          0          0          0
1797.12/1797.45	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1797.12/1797.45	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1797.12/1797.45	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1797.12/1797.45	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1797.12/1797.45	c   random           :       0.00       0.00          0          0          0          0          0          0
1797.12/1797.45	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1797.12/1797.45	c   LP solutions     :       0.00          -          -          0
1797.12/1797.45	c   pseudo solutions :       0.00          -          -          0
1797.12/1797.45	c   oneopt           :       0.00       0.00          0          0
1797.12/1797.45	c   crossover        :       0.00       0.00          0          0
1797.12/1797.45	c   coefdiving       :       0.00       0.00          0          0
1797.12/1797.45	c   pscostdiving     :       0.00       0.00          0          0
1797.12/1797.45	c   fracdiving       :       0.00       0.00          0          0
1797.12/1797.45	c   smallcard        :       0.00       0.00          0          0
1797.12/1797.45	c   trivial          :       0.22       0.00          2          0
1797.12/1797.45	c   shiftandpropagate:       1.88       0.00          1          0
1797.12/1797.45	c   simplerounding   :       0.00       0.00          0          0
1797.12/1797.45	c   zirounding       :       0.04       0.00          0          0
1797.12/1797.45	c   rounding         :       0.40       0.00         10          0
1797.12/1797.45	c   shifting         :       0.61       0.00          7          0
1797.12/1797.45	c   intshifting      :       0.00       0.00          0          0
1797.12/1797.45	c   twoopt           :       0.00       0.00          0          0
1797.12/1797.45	c   indoneopt        :       0.00       0.00          0          0
1797.12/1797.45	c   indtwoopt        :       0.00       0.00          0          0
1797.12/1797.45	c   fixandinfer      :       0.00       0.00          0          0
1797.12/1797.45	c   feaspump         :     148.65       0.00          1          0
1797.12/1797.45	c   clique           :       0.00       0.00          0          0
1797.12/1797.45	c   indcoefdiving    :       0.00       0.00          0          0
1797.12/1797.45	c   indrounding      :       0.00       0.00          0          0
1797.12/1797.45	c   nlpdiving        :       0.00       0.00          0          0
1797.12/1797.45	c   veclendiving     :       0.00       0.00          0          0
1797.12/1797.45	c   intdiving        :       0.00       0.00          0          0
1797.12/1797.45	c   actconsdiving    :       0.00       0.00          0          0
1797.12/1797.45	c   objpscostdiving  :       0.00       0.00          0          0
1797.12/1797.45	c   rootsoldiving    :       0.00       0.00          0          0
1797.12/1797.45	c   linesearchdiving :       0.00       0.00          0          0
1797.12/1797.45	c   guideddiving     :       0.00       0.00          0          0
1797.12/1797.45	c   octane           :       0.00       0.00          0          0
1797.12/1797.45	c   rens             :       4.24       0.00          1          0
1797.12/1797.45	c   rins             :       0.00       0.00          0          0
1797.12/1797.45	c   localbranching   :       0.00       0.00          0          0
1797.12/1797.45	c   mutation         :       0.00       0.00          0          0
1797.12/1797.45	c   dins             :       0.00       0.00          0          0
1797.12/1797.45	c   vbounds          :       0.00       0.00          0          0
1797.12/1797.45	c   undercover       :       0.00       0.00          0          0
1797.12/1797.45	c   subnlp           :       0.00       0.00          0          0
1797.12/1797.45	c   trysol           :       0.00       0.00          0          0
1797.12/1797.45	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1797.12/1797.45	c   primal LP        :       0.26          1          0       0.00       0.00       0.26          1
1797.12/1797.45	c   dual LP          :     127.39         11       6065     606.50      47.61       0.25          1
1797.12/1797.45	c   lex dual LP      :       0.00          0          0       0.00          -
1797.12/1797.45	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1797.12/1797.45	c   diving/probing LP:     147.38          9       6124     680.44      41.55
1797.12/1797.45	c   strong branching :     966.86        136      40635     298.79      42.03
1797.12/1797.45	c     (at root node) :          -         33       9502     287.94          -
1797.12/1797.45	c   conflict analysis:       0.00          0          0       0.00          -
1797.12/1797.45	c B&B Tree           :
1797.12/1797.45	c   number of runs   :          1
1797.12/1797.45	c   nodes            :          4
1797.12/1797.45	c   nodes (total)    :          4
1797.12/1797.45	c   nodes left       :          5
1797.12/1797.45	c   max depth        :          3
1797.12/1797.45	c   max depth (total):          3
1797.12/1797.45	c   backtracks       :          0 (0.0%)
1797.12/1797.45	c   delayed cutoffs  :          0
1797.12/1797.45	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.12/1797.45	c   avg switch length:       1.00
1797.12/1797.45	c   switching time   :       0.39
1797.12/1797.45	c Solution           :
1797.12/1797.45	c   Solutions found  :          0 (0 improvements)
1797.12/1797.45	c   Primal Bound     :          -
1797.12/1797.45	c   Dual Bound       : +0.00000000000000e+00
1797.12/1797.45	c   Gap              :   infinite
1797.12/1797.45	c   Root Dual Bound  : +0.00000000000000e+00
1797.12/1797.45	c   Root Iterations  :      11969
1799.11/1799.42	c Time complete: 1799.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-3692727-1338024761/watcher-3692727-1338024761 -o /tmp/evaluation-result-3692727-1338024761/solver-3692727-1338024761 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692727-1338024761.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.00 2.00 2.00 3/176 8514
/proc/meminfo: memFree=28010568/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=10412 CPUtime=0 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 1345 0 0 0 0 0 0 0 20 0 1 0 268600698 10661888 1299 33554432000 4194304 10169799 140734014383680 140735772039832 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 2656 1311 409 1459 0 1188 0

[startup+0.0442691 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8514
/proc/meminfo: memFree=28010568/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=16532 CPUtime=0.03 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 2888 0 0 0 3 0 0 0 20 0 1 0 268600698 16928768 2842 33554432000 4194304 10169799 140734014383680 140735772039832 8864952 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 4133 2842 409 1459 0 2665 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16532

[startup+0.100273 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8514
/proc/meminfo: memFree=28010568/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=23400 CPUtime=0.09 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 4600 0 0 0 9 0 0 0 20 0 1 0 268600698 23961600 4554 33554432000 4194304 10169799 140734014383680 140735772039832 8726023 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 5850 4554 409 1459 0 4382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23400

[startup+0.300274 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8514
/proc/meminfo: memFree=28010568/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=48412 CPUtime=0.29 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 10843 0 0 0 28 1 0 0 20 0 1 0 268600698 49573888 10797 33554432000 4194304 10169799 140734014383680 140735772039832 5282281 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 12103 10797 409 1459 0 10635 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48412

[startup+0.700277 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8514
/proc/meminfo: memFree=28010568/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=99200 CPUtime=0.69 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 23476 0 0 0 65 4 0 0 20 0 1 0 268600698 101580800 23430 33554432000 4194304 10169799 140734014383680 140735772039832 7170926 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 24800 23431 409 1459 0 23332 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99200

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8515
/proc/meminfo: memFree=27881840/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=197680 CPUtime=1.49 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 48051 0 0 0 142 7 0 0 20 0 1 0 268600698 202424320 48005 33554432000 4194304 10169799 140734014383680 140734014250008 7168140 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 49420 48005 409 1459 0 47952 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 197680

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8515
/proc/meminfo: memFree=27744448/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=668144 CPUtime=3.09 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 165354 0 0 0 287 22 0 0 20 0 1 0 268600698 684179456 165262 33554432000 4194304 10169799 140734014383680 140734014380664 5895216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 167036 165262 497 1459 0 165568 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 668144

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8515
/proc/meminfo: memFree=26872480/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=1146996 CPUtime=6.29 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 354691 0 0 0 566 63 0 0 20 0 1 0 268600698 1174523904 284426 33554432000 4194304 10169799 140734014383680 140734014381832 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 286749 284426 543 1459 0 285281 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1146996

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8515
/proc/meminfo: memFree=26603260/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=1415484 CPUtime=12.69 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 445605 0 0 0 1129 140 0 0 20 0 1 0 268600698 1449455616 351194 33554432000 4194304 10169799 140734014383680 140734014380888 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 353871 351194 580 1459 0 352403 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1415484

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8515
/proc/meminfo: memFree=25574620/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2590584 CPUtime=25.49 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 601361 0 0 0 2319 230 0 0 20 0 1 0 268600698 2652758016 611322 33554432000 4194304 10169799 140734014383680 140734014378088 7703296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 647646 611322 765 1459 0 646178 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2590584

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8515
/proc/meminfo: memFree=25549632/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2592344 CPUtime=51.08 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 603349 0 0 0 4872 236 0 0 20 0 1 0 268600698 2654560256 614574 33554432000 4194304 10169799 140734014383680 140734014378088 7591838 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 648086 614574 765 1459 0 646618 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2592344

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8515
/proc/meminfo: memFree=25669928/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2396596 CPUtime=102.28 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 606207 0 0 0 9980 248 0 0 20 0 1 0 268600698 2454114304 584430 33554432000 4194304 10169799 140734014383680 140734014375256 7710304 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 599149 584430 780 1459 0 597681 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2396596

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8515
/proc/meminfo: memFree=25669956/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2396596 CPUtime=162.27 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 607153 0 0 0 15963 264 0 0 20 0 1 0 268600698 2454114304 584478 33554432000 4194304 10169799 140734014383680 140734014375992 8009536 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 599149 584478 780 1459 0 597681 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2396596

[startup+222.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 8517
/proc/meminfo: memFree=25678004/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2387984 CPUtime=222.25 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 608336 0 0 0 21946 279 0 0 20 0 1 0 268600698 2445295616 582494 33554432000 4194304 10169799 140734014383680 140734014379992 7280635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 596996 582494 800 1459 0 595528 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2387984

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8517
/proc/meminfo: memFree=25677132/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2387984 CPUtime=282.24 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 608336 0 0 0 27945 279 0 0 20 0 1 0 268600698 2445295616 582494 33554432000 4194304 10169799 140734014383680 140734014379992 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 596996 582494 800 1459 0 595528 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2387984

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8517
/proc/meminfo: memFree=25641260/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2498112 CPUtime=342.23 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 615678 0 0 0 33940 283 0 0 20 0 1 0 268600698 2558066688 591160 33554432000 4194304 10169799 140734014383680 140734014379992 7280655 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 624528 591160 807 1459 0 623060 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2498112

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8517
/proc/meminfo: memFree=25585692/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2534252 CPUtime=402.23 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 618243 0 0 0 39937 286 0 0 20 0 1 0 268600698 2595074048 604260 33554432000 4194304 10169799 140734014383680 140734014379992 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 633563 604260 810 1459 0 632095 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2534252

[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 8520
/proc/meminfo: memFree=25571116/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2562260 CPUtime=462.22 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 618761 0 0 0 45934 288 0 0 20 0 1 0 268600698 2623754240 607842 33554432000 4194304 10169799 140734014383680 140734014378088 7591838 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 640565 607842 810 1459 0 639097 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2562260

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8521
/proc/meminfo: memFree=25565244/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2562944 CPUtime=522.21 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 619414 0 0 0 51927 294 0 0 20 0 1 0 268600698 2624454656 607733 33554432000 4194304 10169799 140734014383680 140734014379672 7654911 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 640736 607733 810 1459 0 639268 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2562944

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8521
/proc/meminfo: memFree=25566576/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2562944 CPUtime=582.2 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 619414 0 0 0 57925 295 0 0 20 0 1 0 268600698 2624454656 607733 33554432000 4194304 10169799 140734014383680 140734014379992 7280662 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 640736 607733 810 1459 0 639268 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2562944

[startup+642.3 s]

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

/proc/meminfo: memFree=26136308/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2581888 CPUtime=1122.12 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 894391 0 0 0 111742 470 0 0 20 0 1 0 268600698 2643853312 617757 33554432000 4194304 10169799 140734014383680 140734014378664 7593028 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 645472 617757 852 1459 0 644004 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2581888

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8678
/proc/meminfo: memFree=26115876/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2612552 CPUtime=1182.11 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 901859 0 0 0 117719 492 0 0 20 0 1 0 268600698 2675253248 623065 33554432000 4194304 10169799 140734014383680 140734014378280 7703301 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 653138 623065 852 1459 0 651670 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2612552

[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 8678
/proc/meminfo: memFree=26131132/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2581888 CPUtime=1242.1 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 910981 0 0 0 123695 515 0 0 20 0 1 0 268600698 2643853312 617768 33554432000 4194304 10169799 140734014383680 140734014378280 7593020 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 645472 617768 852 1459 0 644004 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2581888

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8678
/proc/meminfo: memFree=26125424/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2595008 CPUtime=1302.09 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 919468 0 0 0 129672 537 0 0 20 0 1 0 268600698 2657288192 618978 33554432000 4194304 10169799 140734014383680 140734014378664 8009480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 648752 618978 852 1459 0 647284 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2595008

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8678
/proc/meminfo: memFree=26110320/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2595804 CPUtime=1362.08 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 926615 0 0 0 135648 560 0 0 20 0 1 0 268600698 2658103296 622220 33554432000 4194304 10169799 140734014383680 140734014378280 8009871 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 648951 622220 852 1459 0 647483 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2595804

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8678
/proc/meminfo: memFree=26115640/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2594832 CPUtime=1422.08 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 935191 0 0 0 141623 585 0 0 20 0 1 0 268600698 2657107968 619772 33554432000 4194304 10169799 140734014383680 140734014378008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 648708 619772 852 1459 0 647240 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2594832

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8679
/proc/meminfo: memFree=26096304/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2611044 CPUtime=1482.06 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 943630 0 0 0 147597 609 0 0 20 0 1 0 268600698 2673709056 624108 33554432000 4194304 10169799 140734014383680 140734014378280 8009330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 652761 624108 852 1459 0 651293 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2611044

[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 8679
/proc/meminfo: memFree=26116808/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2581888 CPUtime=1542.05 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 952386 0 0 0 153573 632 0 0 20 0 1 0 268600698 2643853312 619206 33554432000 4194304 10169799 140734014383680 140734014378280 8004350 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 645472 619206 852 1459 0 644004 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2581888

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8679
/proc/meminfo: memFree=26092336/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2614744 CPUtime=1602.03 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 963013 0 0 0 159544 659 0 0 20 0 1 0 268600698 2677497856 624578 33554432000 4194304 10169799 140734014383680 140734014378280 8060766 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 653686 624578 852 1459 0 652218 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2614744

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8682
/proc/meminfo: memFree=26094128/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2598104 CPUtime=1662.03 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 971981 0 0 0 165519 684 0 0 20 0 1 0 268600698 2660458496 623274 33554432000 4194304 10169799 140734014383680 140734014378280 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 649526 623274 852 1459 0 648058 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2598104

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 8705
/proc/meminfo: memFree=26105616/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2581888 CPUtime=1722.02 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 979643 0 0 0 171498 704 0 0 20 0 1 0 268600698 2643853312 620041 33554432000 4194304 10169799 140734014383680 140734014378664 8009497 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 645472 620041 852 1459 0 644004 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2581888

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8706
/proc/meminfo: memFree=26104664/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2581888 CPUtime=1782.01 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 992266 0 0 0 177467 734 0 0 20 0 1 0 268600698 2643853312 620152 33554432000 4194304 10169799 140734014383680 140734014378280 8009605 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 645472 620152 852 1459 0 644004 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2581888

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8706
/proc/meminfo: memFree=26104656/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2581888 CPUtime=1791.62 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 995669 0 0 0 178422 740 0 0 20 0 1 0 268600698 2643853312 620152 33554432000 4194304 10169799 140734014383680 140734014378472 7907808 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 645472 620152 852 1459 0 644004 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 2581888

[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8706
/proc/meminfo: memFree=26103168/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2581888 CPUtime=1794.82 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 995899 0 0 0 178740 742 0 0 20 0 1 0 268600698 2643853312 620152 33554432000 4194304 10169799 140734014383680 140734014378280 8009638 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 645472 620152 852 1459 0 644004 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 2581888

[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8706
/proc/meminfo: memFree=26103168/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2581888 CPUtime=1796.41 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 995999 0 0 0 178898 743 0 0 20 0 1 0 268600698 2643853312 620152 33554432000 4194304 10169799 140734014383680 140734014378664 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 645472 620152 852 1459 0 644004 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 2581888

[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8706
/proc/meminfo: memFree=26103168/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2580476 CPUtime=1798.01 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 996096 0 0 0 179057 744 0 0 20 0 1 0 268600698 2642407424 619802 33554432000 4194304 10169799 140734014383680 140734014382760 5602124 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 645119 619802 855 1459 0 643651 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 2580476

[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8706
/proc/meminfo: memFree=26104160/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2575372 CPUtime=1798.81 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 996096 0 0 0 179137 744 0 0 20 0 1 0 268600698 2637180928 618526 33554432000 4194304 10169799 140734014383680 140734014382968 8989847 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 643843 618526 855 1459 0 642375 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 2575372

[startup+1799.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8706
/proc/meminfo: memFree=26104160/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=2076640 CPUtime=1799.01 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 996096 0 0 0 179156 745 0 0 20 0 1 0 268600698 2126479360 515803 33554432000 4194304 10169799 140734014383680 140734014382968 7542268 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 519160 515803 855 1459 0 517692 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 2076640

[startup+1799.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8706
/proc/meminfo: memFree=26104160/32873844 swapFree=7900/7900
[pid=8514] ppid=8512 vsize=1970704 CPUtime=1799.11 cores=0,2,4,6
/proc/8514/stat : 8514 (scip-2.1.1.4sfi) R 8512 8514 6871 0 -1 4202496 996096 0 0 0 179165 746 0 0 20 0 1 0 268600698 2018000896 489319 33554432000 4194304 10169799 140734014383680 140734014382968 7547321 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8514/statm: 492676 489319 855 1459 0 491208 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 1970704

Child status: 0
Real time (s): 1799.43
CPU time (s): 1799.15
CPU user time (s): 1791.67
CPU system time (s): 7.47986
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 3622920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.67
system time used= 7.47986
maximum resident set size= 3506828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 996098
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= 15
involuntary context switches= 1866

runsolver used 3.76643 second user time and 9.73652 second system time

The end

Launcher Data 

Begin job on node137 at 2012-05-26 11:32:42
IDJOB=3692727
IDBENCH=1388
IDSOLVER=2272
FILE ID=node137/3692727-1338024761
RUNJOBID= node137-1338017245-7420
PBS_JOBID= 14624260
Free space on /tmp= 71224 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692727-1338024761/watcher-3692727-1338024761 -o /tmp/evaluation-result-3692727-1338024761/solver-3692727-1338024761 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692727-1338024761.opb -t 1800 -m 15500

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

MD5SUM BENCH= e436f4a609b5bae6a8ddfe1313c390fe
RANDOM SEED=1489046210

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28010824 kB
Buffers:          248616 kB
Cached:          2825304 kB
SwapCached:        22060 kB
Active:          1958620 kB
Inactive:        2112732 kB
Active(anon):     976936 kB
Inactive(anon):    22680 kB
Active(file):     981684 kB
Inactive(file):  2090052 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67081504 kB
Dirty:             47596 kB
Writeback:             0 kB
AnonPages:        986804 kB
Mapped:            13080 kB
Shmem:                 0 kB
Slab:             647352 kB
SReclaimable:      88932 kB
SUnreclaim:       558420 kB
KernelStack:        1456 kB
PageTables:         5996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1116876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    292864 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= 71220 MiB
End job on node137 at 2012-05-26 12:02:41