Trace number 3692730

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? (TO) 1802.14 1802.41

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
MD5SUMf5d8cf0048d52cf223a3574d281ac8f8
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.47877
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 350
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-3692730-1338023674.opb>
2.39/2.43	c original problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints
2.39/2.43	c problem read in 2.43
5.98/6.03	c presolving:
16.88/16.94	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
19.88/19.90	c (round 2) 0 del vars, 72599 del conss, 1200 add conss, 0 chg bounds, 1200 chg sides, 5638 chg coeffs, 1084800 upgd conss, 49202 impls, 80 clqs
23.89/23.96	c    (23.9s) probing: 51/2800 (1.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
23.89/23.96	c    (23.9s) probing aborted: 50/50 successive totally useless probings
26.69/26.74	c presolving (3 rounds):
26.69/26.74	c  0 deleted vars, 72599 deleted constraints, 1200 added constraints, 0 tightened bounds, 0 added holes, 1200 changed sides, 5797 changed coefficients
26.69/26.74	c  52322 implications, 80 cliques
26.69/26.74	c presolved problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 918602 constraints
26.69/26.74	c    3160 constraints of type <knapsack>
26.69/26.74	c   24681 constraints of type <setppc>
26.69/26.74	c       1 constraints of type <linear>
26.69/26.74	c  890760 constraints of type <logicor>
26.69/26.74	c transformed objective value is always integral (scale: 1)
26.69/26.74	c Presolving Time: 23.61
26.69/26.74	c - non default parameters ----------------------------------------------------------------------
26.69/26.74	c # SCIP version 2.1.1.4
26.69/26.74	c 
26.69/26.74	c # maximal time in seconds to run
26.69/26.74	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
26.69/26.74	c limits/time = 1797
26.69/26.74	c 
26.69/26.74	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
26.69/26.74	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
26.69/26.74	c limits/memory = 13950
26.69/26.74	c 
26.69/26.74	c # default clock type (1: CPU user seconds, 2: wall clock time)
26.69/26.74	c # [type: int, range: [1,2], default: 1]
26.69/26.74	c timing/clocktype = 2
26.69/26.74	c 
26.69/26.74	c # belongs reading time to solving time?
26.69/26.74	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
26.69/26.74	c timing/reading = TRUE
26.69/26.74	c 
26.69/26.74	c -----------------------------------------------------------------------------------------------
26.69/26.74	c start solving
26.69/26.76	c 
63.18/63.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
63.18/63.23	c  63.2s|     1 |     0 |  1644 |     - |1230M|   0 | 164 |2800 | 918k|2800 | 918k|   0 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
446.43/446.59	c   447s|     1 |     0 | 11964 |     - |1253M|   0 | 204 |2800 | 918k|2800 | 918k|  26 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
575.20/575.39	c   575s|     1 |     0 | 12177 |     - |1253M|   0 | 205 |2800 | 918k|2800 | 918k|  45 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
703.49/703.61	c   704s|     1 |     0 | 12921 |     - |1253M|   0 | 227 |2800 | 918k|2800 | 918k|  61 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
849.46/849.67	c   850s|     1 |     0 | 14414 |     - |1253M|   0 | 283 |2800 | 918k|2800 | 918k|  75 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
965.55/965.77	c   966s|     1 |     0 | 14979 |     - |1253M|   0 | 323 |2800 | 918k|2800 | 918k|  93 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
1088.42/1088.63	c  1089s|     1 |     0 | 15570 |     - |1253M|   0 | 291 |2800 | 918k|2800 | 918k| 110 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
1348.79/1349.02	c  1349s|     1 |     2 | 15570 |     - |1253M|   0 | 291 |2800 | 918k|2800 | 918k| 110 |  15 |  33 | 0.000000e+00 |      --      |    Inf 
1801.32/1801.65	c 
1801.32/1801.65	c SCIP Status        : solving was interrupted [user interrupt]
1801.32/1801.65	c Solving Time (sec) : 1801.61
1801.32/1801.65	c Solving Nodes      : 2
1801.32/1801.65	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1801.32/1801.65	c Dual Bound         : +0.00000000000000e+00
1801.32/1801.65	c Gap                : infinite
1801.32/1801.65	s UNKNOWN
1801.32/1801.65	c SCIP Status        : solving was interrupted [user interrupt]
1801.32/1801.65	c Total Time         :    1801.61
1801.32/1801.65	c   solving          :    1801.61
1801.32/1801.65	c   presolving       :      23.61 (included in solving)
1801.32/1801.65	c   reading          :       2.43 (included in solving)
1801.32/1801.65	c   copying          :       1.45 (1 #copies) (minimal 1.45, maximal 1.45, average 1.45)
1801.32/1801.65	c Original Problem   :
1801.32/1801.65	c   Problem name     : HOME/instance-3692730-1338023674.opb
1801.32/1801.65	c   Variables        : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.32/1801.65	c   Constraints      : 990001 initial, 990001 maximal
1801.32/1801.65	c   Objective sense  : minimize
1801.32/1801.65	c Presolved Problem  :
1801.32/1801.66	c   Problem name     : t_HOME/instance-3692730-1338023674.opb
1801.32/1801.66	c   Variables        : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.32/1801.66	c   Constraints      : 918602 initial, 918617 maximal
1801.32/1801.66	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1801.32/1801.66	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   gateextraction   :       0.31       0.00          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   components       :       0.36       0.00          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   probing          :       1.31       0.00          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   knapsack         :       0.61       0.00          0          0          0          0          0          0       1200       1200       5797
1801.32/1801.66	c   setppc           :       0.31       0.00          0          0          0          0          0      72599          0          0          0
1801.32/1801.66	c   linear           :       7.18       0.00          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   logicor          :       6.78       2.42          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1801.32/1801.66	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1801.32/1801.66	c   integral         :          0          0          0          0          2          0          4          0          0          0          0          0          4
1801.32/1801.66	c   knapsack         :       3160       3160          6        128          0          0          3        585          0          0        191          0          0
1801.32/1801.66	c   setppc           :      24681      24681          6        128          0          0          2         15         15          0          0          0          0
1801.32/1801.66	c   linear           :          1          1          6        113          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   logicor          :     890760+    890775          6        108          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1801.32/1801.66	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1801.32/1801.66	c   integral         :     704.75       0.00       0.00       0.00     704.75       0.00       0.00       0.00
1801.32/1801.66	c   knapsack         :       0.16       0.00       0.07       0.09       0.00       0.00       0.01       0.00
1801.32/1801.66	c   setppc           :       0.18       0.00       0.01       0.16       0.00       0.00       0.00       0.00
1801.32/1801.66	c   linear           :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00
1801.32/1801.66	c   logicor          :       3.46       2.42       0.26       0.78       0.00       0.00       0.00       0.00
1801.32/1801.66	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1801.32/1801.66	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1801.32/1801.66	c   rootredcost      :          0          0          0          0
1801.32/1801.66	c   pseudoobj        :          0          0          0          0
1801.32/1801.66	c   vbounds          :          0          0          0          0
1801.32/1801.66	c   redcost          :          8          0          0          0
1801.32/1801.66	c   probing          :          0          0          0          0
1801.32/1801.66	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1801.32/1801.66	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00
1801.32/1801.66	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00
1801.32/1801.66	c   vbounds          :       0.00       0.00       0.00       0.00       0.00
1801.32/1801.66	c   redcost          :       0.00       0.00       0.00       0.00       0.00
1801.32/1801.66	c   probing          :       1.31       0.00       1.31       0.00       0.00
1801.32/1801.66	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1801.32/1801.66	c   propagation      :       0.00         15         15         15        3.0          0        0.0          -
1801.32/1801.66	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1801.32/1801.66	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1801.32/1801.66	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1801.32/1801.66	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1801.32/1801.66	c   applied globally :          -          -          -         15        3.0          -          -          -
1801.32/1801.66	c   applied locally  :          -          -          -          0        0.0          -          -          -
1801.32/1801.66	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1801.32/1801.66	c   cut pool         :       0.00                     5          -          -         38          -    (maximal pool size: 362)
1801.32/1801.66	c   closecuts        :       0.00       0.00          0          0          0          0          0
1801.32/1801.66	c   impliedbounds    :       0.00       0.00          6          0          0          0          0
1801.32/1801.66	c   intobj           :       0.00       0.00          0          0          0          0          0
1801.32/1801.66	c   gomory           :      13.12       0.00          6          0          0        300          0
1801.32/1801.66	c   cgmip            :       0.00       0.00          0          0          0          0          0
1801.32/1801.66	c   strongcg         :     170.69       0.00          6          0          0       3000          0
1801.32/1801.66	c   cmir             :      28.92       0.00          6          0          0         56          0
1801.32/1801.66	c   flowcover        :     429.46       0.00          6          0          0         90          0
1801.32/1801.66	c   clique           :       0.04       0.00          6          0          0          0          0
1801.32/1801.66	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1801.32/1801.66	c   mcf              :       0.00       0.00          0          0          0          0          0
1801.32/1801.66	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1801.32/1801.66	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1801.32/1801.66	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1801.32/1801.66	c   problem variables:       0.00          -          0          0
1801.32/1801.66	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1801.32/1801.66	c   relpscost        :     704.75       0.00          2          0          0          0          0          4
1801.32/1801.66	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1801.32/1801.66	c   inference        :       0.00       0.00          0          0          0          0          0          0
1801.32/1801.66	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1801.32/1801.66	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1801.32/1801.66	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1801.32/1801.66	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1801.32/1801.66	c   random           :       0.00       0.00          0          0          0          0          0          0
1801.32/1801.66	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1801.32/1801.66	c   LP solutions     :       0.00          -          -          0
1801.32/1801.66	c   pseudo solutions :       0.00          -          -          0
1801.32/1801.66	c   oneopt           :       0.00       0.00          0          0
1801.32/1801.66	c   crossover        :       0.00       0.00          0          0
1801.32/1801.66	c   coefdiving       :       0.00       0.00          0          0
1801.32/1801.66	c   smallcard        :       0.00       0.00          0          0
1801.32/1801.66	c   trivial          :       0.23       0.00          2          0
1801.32/1801.66	c   shiftandpropagate:       2.21       0.00          1          0
1801.32/1801.66	c   simplerounding   :       0.00       0.00          0          0
1801.32/1801.66	c   zirounding       :       0.04       0.00          0          0
1801.32/1801.66	c   rounding         :       0.51       0.00          8          0
1801.32/1801.66	c   shifting         :       1.01       0.00          7          0
1801.32/1801.66	c   intshifting      :       0.00       0.00          0          0
1801.32/1801.66	c   twoopt           :       0.00       0.00          0          0
1801.32/1801.66	c   indtwoopt        :       0.00       0.00          0          0
1801.32/1801.66	c   indoneopt        :       0.00       0.00          0          0
1801.32/1801.66	c   fixandinfer      :       0.00       0.00          0          0
1801.32/1801.66	c   feaspump         :     246.81       0.00          1          0
1801.32/1801.66	c   clique           :       0.00       0.00          0          0
1801.32/1801.66	c   indrounding      :       0.00       0.00          0          0
1801.32/1801.66	c   indcoefdiving    :       0.00       0.00          0          0
1801.32/1801.66	c   pscostdiving     :       0.00       0.00          0          0
1801.32/1801.66	c   fracdiving       :       0.00       0.00          0          0
1801.32/1801.66	c   nlpdiving        :       0.00       0.00          0          0
1801.32/1801.66	c   veclendiving     :       0.00       0.00          0          0
1801.32/1801.66	c   intdiving        :       0.00       0.00          0          0
1801.32/1801.66	c   actconsdiving    :       0.00       0.00          0          0
1801.32/1801.66	c   objpscostdiving  :       0.00       0.00          0          0
1801.32/1801.66	c   rootsoldiving    :       0.00       0.00          0          0
1801.32/1801.66	c   linesearchdiving :       0.00       0.00          0          0
1801.32/1801.66	c   guideddiving     :       0.00       0.00          0          0
1801.32/1801.66	c   octane           :       0.00       0.00          0          0
1801.32/1801.66	c   rens             :       5.11       0.00          1          0
1801.32/1801.66	c   rins             :       0.00       0.00          0          0
1801.32/1801.66	c   localbranching   :       0.00       0.00          0          0
1801.32/1801.66	c   mutation         :       0.00       0.00          0          0
1801.32/1801.66	c   dins             :       0.00       0.00          0          0
1801.32/1801.66	c   vbounds          :       0.00       0.00          0          0
1801.32/1801.66	c   undercover       :       0.00       0.00          0          0
1801.32/1801.66	c   subnlp           :       0.00       0.00          0          0
1801.32/1801.66	c   trysol           :       0.00       0.00          0          0
1801.32/1801.66	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1801.32/1801.66	c   primal LP        :       0.31          1          0       0.00       0.00       0.31          1
1801.32/1801.66	c   dual LP          :     170.44          9       6965     870.62      40.86       0.29          1
1801.32/1801.66	c   lex dual LP      :       0.00          0          0       0.00          -
1801.32/1801.66	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1801.32/1801.66	c   diving/probing LP:     245.88          5       8665    1733.00      35.24
1801.32/1801.66	c   strong branching :     704.68         70      24549     350.70      34.84
1801.32/1801.66	c     (at root node) :          -         33       7944     240.73          -
1801.32/1801.66	c   conflict analysis:       0.00          0          0       0.00          -
1801.32/1801.66	c B&B Tree           :
1801.32/1801.66	c   number of runs   :          1
1801.32/1801.66	c   nodes            :          2
1801.32/1801.66	c   nodes (total)    :          2
1801.32/1801.66	c   nodes left       :          3
1801.32/1801.66	c   max depth        :          1
1801.32/1801.66	c   max depth (total):          1
1801.32/1801.66	c   backtracks       :          0 (0.0%)
1801.32/1801.66	c   delayed cutoffs  :          0
1801.32/1801.66	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1801.32/1801.66	c   avg switch length:       1.00
1801.32/1801.66	c   switching time   :       0.47
1801.32/1801.66	c Solution           :
1801.32/1801.66	c   Solutions found  :          0 (0 improvements)
1801.32/1801.66	c   Primal Bound     :          -
1801.32/1801.66	c   Dual Bound       : +0.00000000000000e+00
1801.32/1801.66	c   Gap              :   infinite
1801.32/1801.66	c   Root Dual Bound  : +0.00000000000000e+00
1801.32/1801.66	c   Root Iterations  :      15570

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-3692730-1338023674/watcher-3692730-1338023674 -o /tmp/evaluation-result-3692730-1338023674/solver-3692730-1338023674 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692730-1338023674.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.02 2.00 3/177 6029
/proc/meminfo: memFree=22868332/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=9976 CPUtime=0 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 1236 0 0 0 0 0 0 0 20 0 1 0 268492263 10215424 1190 33554432000 4194304 10169799 140736731439840 140733281698008 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 2494 1194 409 1459 0 1026 0

[startup+0.04331 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 6029
/proc/meminfo: memFree=22868332/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=16328 CPUtime=0.03 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 2834 0 0 0 3 0 0 0 20 0 1 0 268492263 16719872 2788 33554432000 4194304 10169799 140736731439840 140733281698008 8884112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 4082 2788 409 1459 0 2614 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16328

[startup+0.100267 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 6029
/proc/meminfo: memFree=22868332/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=23392 CPUtime=0.09 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 4597 0 0 0 8 1 0 0 20 0 1 0 268492263 23953408 4551 33554432000 4194304 10169799 140736731439840 140736731306168 5477139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 5848 4551 409 1459 0 4380 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23392

[startup+0.300269 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 6029
/proc/meminfo: memFree=22868332/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=47568 CPUtime=0.29 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 10629 0 0 0 27 2 0 0 20 0 1 0 268492263 48709632 10583 33554432000 4194304 10169799 140736731439840 140736731306168 7408101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 11892 10583 409 1459 0 10424 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47568

[startup+0.700258 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 6029
/proc/meminfo: memFree=22868332/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=98860 CPUtime=0.68 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 23384 0 0 0 64 4 0 0 20 0 1 0 268492263 101232640 23338 33554432000 4194304 10169799 140736731439840 140736731306168 8857699 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 24715 23338 409 1459 0 23247 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 98860

[startup+1.50026 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 6030
/proc/meminfo: memFree=22740480/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=196180 CPUtime=1.49 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 47663 0 0 0 140 9 0 0 20 0 1 0 268492263 200888320 47617 33554432000 4194304 10169799 140736731439840 140736731306168 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 49045 47618 409 1459 0 47577 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 196180

[startup+3.10028 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 6030
/proc/meminfo: memFree=22603832/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=636712 CPUtime=3.09 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 157171 0 0 0 282 27 0 0 20 0 1 0 268492263 651993088 157087 33554432000 4194304 10169799 140736731439840 140736731436824 4897504 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 159178 157087 459 1459 0 157710 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 636712

[startup+6.30029 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 6030
/proc/meminfo: memFree=21502684/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=1154340 CPUtime=6.28 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 355772 0 0 0 553 75 0 0 20 0 1 0 268492263 1182044160 286273 33554432000 4194304 10169799 140736731439840 140736731437992 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 288585 286273 542 1459 0 287117 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1154340

[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 6030
/proc/meminfo: memFree=21495780/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=1464872 CPUtime=12.69 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 430725 0 0 0 943 326 0 0 20 0 1 0 268492263 1500028928 361551 33554432000 4194304 10169799 140736731439840 140736731437992 8883659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 366218 361554 553 1459 0 364750 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1464872

[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 6030
/proc/meminfo: memFree=21421328/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=1456396 CPUtime=25.49 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 450605 0 0 0 1819 730 0 0 20 0 1 0 268492263 1491349504 361676 33554432000 4194304 10169799 140736731439840 140736731438600 4950556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 364099 361676 615 1459 0 362631 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1456396

[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 6032
/proc/meminfo: memFree=20394656/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2599308 CPUtime=51.08 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 597055 0 0 0 4330 778 0 0 20 0 1 0 268492263 2661691392 617947 33554432000 4194304 10169799 140736731439840 140736731434632 8004365 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 649827 617947 765 1459 0 648359 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2599308

[startup+102.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 6032
/proc/meminfo: memFree=20503616/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2416404 CPUtime=102.28 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 602201 0 0 0 9431 797 0 0 20 0 1 0 268492263 2474397696 590653 33554432000 4194304 10169799 140736731439840 140736731432152 7582233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 604101 590653 780 1459 0 602633 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2416404

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 6032
/proc/meminfo: memFree=20838548/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2437456 CPUtime=162.26 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 606241 0 0 0 15412 814 0 0 20 0 1 0 268492263 2495954944 596059 33554432000 4194304 10169799 140736731439840 140736731432520 7708655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 609364 596059 780 1459 0 607896 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2437456

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 6032
/proc/meminfo: memFree=20799732/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2477628 CPUtime=222.25 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 608108 0 0 0 21396 829 0 0 20 0 1 0 268492263 2537091072 605809 33554432000 4194304 10169799 140736731439840 140736731431416 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 619407 605809 780 1459 0 617939 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2477628

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 6032
/proc/meminfo: memFree=20722388/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2502972 CPUtime=282.24 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 612125 0 0 0 27382 842 0 0 20 0 1 0 268492263 2563043328 608465 33554432000 4194304 10169799 140736731439840 140736731432152 8009412 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 625743 608465 780 1459 0 624275 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2502972

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 6036
/proc/meminfo: memFree=20779780/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2378372 CPUtime=342.24 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 613978 0 0 0 33373 851 0 0 20 0 1 0 268492263 2435452928 582157 33554432000 4194304 10169799 140736731439840 140736731436152 7280635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 594593 582157 800 1459 0 593125 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2378372

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6036
/proc/meminfo: memFree=20779988/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2477276 CPUtime=402.23 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 619566 0 0 0 39368 855 0 0 20 0 1 0 268492263 2536730624 591368 33554432000 4194304 10169799 140736731439840 140736731436136 8044567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 619319 591368 808 1459 0 617851 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2477276

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6036
/proc/meminfo: memFree=20715988/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2507272 CPUtime=462.21 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 622248 0 0 0 45353 868 0 0 20 0 1 0 268492263 2567446528 598164 33554432000 4194304 10169799 140736731439840 140736731435832 7654900 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 626818 598164 810 1459 0 625350 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2507272

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6036
/proc/meminfo: memFree=20716024/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2507272 CPUtime=522.21 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 622248 0 0 0 51351 870 0 0 20 0 1 0 268492263 2567446528 598164 33554432000 4194304 10169799 140736731439840 140736731436152 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 626818 598164 810 1459 0 625350 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2507272

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 6036
/proc/meminfo: memFree=20681924/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2547932 CPUtime=582.2 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 624623 0 0 0 57346 874 0 0 20 0 1 0 268492263 2609082368 606733 33554432000 4194304 10169799 140736731439840 140736731435832 7654896 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 636983 606733 810 1459 0 635515 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2547932

[startup+642.3 s]

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

/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 631270 0 0 0 99313 900 0 0 20 0 1 0 268492263 2637484032 615699 33554432000 4194304 10169799 140736731439840 140736731435832 7651905 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 643917 615699 810 1459 0 642449 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 2575668

[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 6041
/proc/meminfo: memFree=20737592/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2575668 CPUtime=1062.13 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 631270 0 0 0 105312 901 0 0 20 0 1 0 268492263 2637484032 615699 33554432000 4194304 10169799 140736731439840 140736731436152 7280635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 643917 615699 810 1459 0 642449 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 2575668

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6041
/proc/meminfo: memFree=20749212/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2570592 CPUtime=1122.12 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 878412 0 0 0 111254 958 0 0 20 0 1 0 268492263 2632286208 611111 33554432000 4194304 10169799 140736731439840 140736731434120 7908970 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 642648 611111 850 1459 0 641180 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2570592

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6041
/proc/meminfo: memFree=20723240/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2613436 CPUtime=1182.11 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 888147 0 0 0 117236 975 0 0 20 0 1 0 268492263 2676158464 619272 33554432000 4194304 10169799 140736731439840 140736731434824 7703712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 653359 619272 850 1459 0 651891 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2613436

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6042
/proc/meminfo: memFree=20730132/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2604676 CPUtime=1242.1 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 900800 0 0 0 123217 993 0 0 20 0 1 0 268492263 2667188224 617494 33554432000 4194304 10169799 140736731439840 140736731434824 8048653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 651169 617494 850 1459 0 649701 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2604676

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 6043
/proc/meminfo: memFree=20615508/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2594264 CPUtime=1302.09 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 909113 0 0 0 129198 1011 0 0 20 0 1 0 268492263 2656526336 616023 33554432000 4194304 10169799 140736731439840 140736731434440 8009536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 648566 616023 850 1459 0 647098 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2594264

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6043
/proc/meminfo: memFree=20584076/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2602480 CPUtime=1362.08 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 919840 0 0 0 135179 1029 0 0 20 0 1 0 268492263 2664939520 616906 33554432000 4194304 10169799 140736731439840 140736731434440 7703696 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 650620 616906 851 1459 0 649152 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2602480

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6043
/proc/meminfo: memFree=20567616/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2606360 CPUtime=1422.08 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 928243 0 0 0 141162 1046 0 0 20 0 1 0 268492263 2668912640 618569 33554432000 4194304 10169799 140736731439840 140736731434440 7593020 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 651590 618569 851 1459 0 650122 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2606360

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6043
/proc/meminfo: memFree=20596760/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2583624 CPUtime=1482.06 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 940213 0 0 0 147144 1062 0 0 20 0 1 0 268492263 2645630976 612935 33554432000 4194304 10169799 140736731439840 140736731434856 7593020 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 645906 612935 851 1459 0 644438 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2583624

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6046
/proc/meminfo: memFree=20572472/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2609948 CPUtime=1542.06 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 950198 0 0 0 153130 1076 0 0 20 0 1 0 268492263 2672586752 617283 33554432000 4194304 10169799 140736731439840 140736731434440 7593032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 652487 617283 851 1459 0 651019 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2609948

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6047
/proc/meminfo: memFree=20570412/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2610772 CPUtime=1602.04 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 958938 0 0 0 159114 1090 0 0 20 0 1 0 268492263 2673430528 617721 33554432000 4194304 10169799 140736731439840 140736731434440 8009831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 652693 617721 851 1459 0 651225 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2610772

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6047
/proc/meminfo: memFree=20586212/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2589700 CPUtime=1662.04 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 969355 0 0 0 165098 1106 0 0 20 0 1 0 268492263 2651852800 614495 33554432000 4194304 10169799 140736731439840 140736731434440 8884281 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 647425 614515 851 1459 0 645957 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 2589700

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6086
/proc/meminfo: memFree=26506036/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2608604 CPUtime=1722.03 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 982065 0 0 0 171079 1124 0 0 20 0 1 0 268492263 2671210496 617275 33554432000 4194304 10169799 140736731439840 140736731434904 7893601 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 652151 617275 851 1459 0 650683 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2608604

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 6162
/proc/meminfo: memFree=25882740/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2598796 CPUtime=1782.02 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 994600 0 0 0 177058 1144 0 0 20 0 1 0 268492263 2661167104 616939 33554432000 4194304 10169799 140736731439840 140736731434440 7703728 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 649699 616939 851 1459 0 648231 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2598796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6162
/proc/meminfo: memFree=25894128/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2586424 CPUtime=1800.02 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 998216 0 0 0 178854 1148 0 0 20 0 1 0 268492263 2648498176 613082 33554432000 4194304 10169799 140736731439840 140736731434440 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 646606 613082 851 1459 0 645138 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2586424

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -6029

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

[startup+1801.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 6163
/proc/meminfo: memFree=25894128/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2618820 CPUtime=1801.12 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 999189 0 0 0 178962 1150 0 0 20 0 1 0 268492263 2681671680 618044 33554432000 4194304 10169799 140736731439840 140736731434440 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 654705 618044 851 1459 0 653237 0
Current children cumulated CPU time (s) 1801.12
Current children cumulated vsize (KiB) 2618820

[startup+1802.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 6163
/proc/meminfo: memFree=25873892/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=2618820 CPUtime=1801.92 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4202496 999206 0 0 0 179042 1150 0 0 20 0 1 0 268492263 2681671680 618049 33554432000 4194304 10169799 140736731439840 140736731438920 7547399 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 654705 618049 854 1459 0 653237 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 2618820

[startup+1802.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 6163
/proc/meminfo: memFree=25873892/32873844 swapFree=7364/7364
[pid=6029] ppid=6027 vsize=0 CPUtime=1802.11 cores=1,3,5,7
/proc/6029/stat : 6029 (scip-2.1.1.4sfi) R 6027 6029 4481 0 -1 4203524 999206 0 0 0 179052 1159 0 0 20 0 1 0 268492263 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6029/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.41
CPU time (s): 1802.14
CPU user time (s): 1790.53
CPU system time (s): 11.6092
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 3643828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.53
system time used= 11.6092
maximum resident set size= 3508824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 999206
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= 3
involuntary context switches= 1859

runsolver used 3.09453 second user time and 8.51571 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-26 11:14:35
IDJOB=3692730
IDBENCH=1386
IDSOLVER=2272
FILE ID=node133/3692730-1338023674
RUNJOBID= node133-1338017258-5022
PBS_JOBID= 14624264
Free space on /tmp= 71484 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_6.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-3692730-1338023674/watcher-3692730-1338023674 -o /tmp/evaluation-result-3692730-1338023674/solver-3692730-1338023674 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692730-1338023674.opb -t 1800 -m 15500

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

MD5SUM BENCH= f5d8cf0048d52cf223a3574d281ac8f8
RANDOM SEED=1332486232

node133.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.540
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.08
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.540
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.92
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.540
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.540
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.540
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.540
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.540
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.540
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:        22868596 kB
Buffers:          247648 kB
Cached:          2856968 kB
SwapCached:            0 kB
Active:          6685056 kB
Inactive:        2531784 kB
Active(anon):    6086116 kB
Inactive(anon):    28616 kB
Active(file):     598940 kB
Inactive(file):  2503168 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             47736 kB
Writeback:             0 kB
AnonPages:       6121600 kB
Mapped:            17312 kB
Shmem:               212 kB
Slab:             637376 kB
SReclaimable:      79484 kB
SUnreclaim:       557892 kB
KernelStack:        1456 kB
PageTables:        16172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    6632688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1935360 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= 71548 MiB
End job on node133 at 2012-05-26 11:44:37