Trace number 3692941

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? 1797.29 1797.57

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-101.opb
MD5SUMa3ed9477da365050d631dd031519efe8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark79.04
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints176837
Number of constraints which are clauses158928
Number of constraints which are cardinality constraints (but not clauses)563
Number of constraints which are nor clauses,nor cardinality constraints17346
Minimum length of a constraint2
Maximum length of a constraint195
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
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-3692941-1338041066.opb>
0.39/0.48	c original problem has 7936 variables (7936 bin, 0 int, 0 impl, 0 cont) and 176837 constraints
0.39/0.48	c problem read in 0.48
0.88/1.00	c presolving:
1.39/1.43	c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 86722 impls, 287 clqs
2.29/2.39	c (round 2) 1 del vars, 30 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 176850 upgd conss, 86722 impls, 287 clqs
2.58/2.68	c (round 3) 1 del vars, 52 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 176850 upgd conss, 86722 impls, 287 clqs
6.79/6.84	c    (6.8s) probing: 431/7935 (5.4%) - 0 fixings, 0 aggregations, 16208 implications, 0 bound changes
6.79/6.84	c    (6.8s) probing aborted: 50/50 successive totally useless probings
7.19/7.21	c presolving (4 rounds):
7.19/7.21	c  1 deleted vars, 52 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
7.19/7.21	c  119138 implications, 287 cliques
7.19/7.21	c presolved problem has 7935 variables (7935 bin, 0 int, 0 impl, 0 cont) and 176785 constraints
7.19/7.21	c   17621 constraints of type <knapsack>
7.19/7.21	c   37799 constraints of type <setppc>
7.19/7.21	c       1 constraints of type <linear>
7.19/7.21	c  121364 constraints of type <logicor>
7.19/7.21	c transformed objective value is always integral (scale: 1)
7.19/7.21	c Presolving Time: 6.60
7.19/7.21	c - non default parameters ----------------------------------------------------------------------
7.19/7.21	c # SCIP version 2.1.1.4
7.19/7.21	c 
7.19/7.21	c # maximal time in seconds to run
7.19/7.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.19/7.21	c limits/time = 1797
7.19/7.21	c 
7.19/7.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.19/7.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.19/7.21	c limits/memory = 13950
7.19/7.21	c 
7.19/7.21	c # default clock type (1: CPU user seconds, 2: wall clock time)
7.19/7.21	c # [type: int, range: [1,2], default: 1]
7.19/7.21	c timing/clocktype = 2
7.19/7.21	c 
7.19/7.21	c # belongs reading time to solving time?
7.19/7.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.19/7.21	c timing/reading = TRUE
7.19/7.21	c 
7.19/7.21	c -----------------------------------------------------------------------------------------------
7.19/7.21	c start solving
7.19/7.22	c 
9.79/9.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
9.79/9.86	c   9.8s|     1 |     0 |  2499 |     - | 273M|   0 | 849 |7935 | 176k|7935 | 176k|   0 |  28 |   0 | 0.000000e+00 |      --      |    Inf 
57.58/57.61	c  57.6s|     1 |     0 | 14659 |     - | 278M|   0 |2035 |7935 | 176k|7935 | 176k|  10 |  28 |   0 | 0.000000e+00 |      --      |    Inf 
74.38/74.42	c  74.4s|     1 |     0 | 15006 |     - | 278M|   0 |2413 |7935 | 176k|7935 | 176k|  23 |  28 |   0 | 0.000000e+00 |      --      |    Inf 
93.27/93.36	c  93.4s|     1 |     0 | 15312 |     - | 279M|   0 |2352 |7935 | 176k|7935 | 176k|  35 |  28 |   0 | 0.000000e+00 |      --      |    Inf 
111.17/111.22	c   111s|     1 |     0 | 15620 |     - | 280M|   0 |2514 |7935 | 176k|7935 | 176k|  47 |  28 |   0 | 0.000000e+00 |      --      |    Inf 
130.97/131.07	c   131s|     1 |     0 | 16118 |     - | 281M|   0 |2641 |7935 | 176k|7935 | 176k|  56 |  28 |   0 | 0.000000e+00 |      --      |    Inf 
152.77/152.82	c   153s|     1 |     0 | 17580 |     - | 281M|   0 |2503 |7935 | 176k|7935 | 176k|  70 |  28 |   0 | 0.000000e+00 |      --      |    Inf 
187.76/187.89	c   188s|     1 |     2 | 17580 |     - | 281M|   0 |2503 |7935 | 176k|7935 | 176k|  70 |  28 |  18 | 0.000000e+00 |      --      |    Inf 
1796.71/1797.03	c 
1796.71/1797.03	c SCIP Status        : solving was interrupted [time limit reached]
1796.71/1797.03	c Solving Time (sec) : 1797.02
1796.71/1797.03	c Solving Nodes      : 51
1796.71/1797.03	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.71/1797.03	c Dual Bound         : +0.00000000000000e+00
1796.71/1797.03	c Gap                : infinite
1796.71/1797.03	s UNKNOWN
1796.71/1797.03	c SCIP Status        : solving was interrupted [time limit reached]
1796.71/1797.03	c Total Time         :    1797.02
1796.71/1797.03	c   solving          :    1797.02
1796.71/1797.03	c   presolving       :       6.60 (included in solving)
1796.71/1797.03	c   reading          :       0.48 (included in solving)
1796.71/1797.03	c   copying          :       0.31 (1 #copies) (minimal 0.31, maximal 0.31, average 0.31)
1796.71/1797.03	c Original Problem   :
1796.71/1797.03	c   Problem name     : HOME/instance-3692941-1338041066.opb
1796.71/1797.03	c   Variables        : 7936 (7936 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.03	c   Constraints      : 176837 initial, 176837 maximal
1796.71/1797.03	c   Objective sense  : minimize
1796.71/1797.03	c Presolved Problem  :
1796.71/1797.03	c   Problem name     : t_HOME/instance-3692941-1338041066.opb
1796.71/1797.03	c   Variables        : 7935 (7935 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.03	c   Constraints      : 176785 initial, 176876 maximal
1796.71/1797.03	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.71/1797.03	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.03	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.03	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.03	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.03	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.03	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.03	c   gateextraction   :       0.06       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.03	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.03	c   components       :       0.08       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.03	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.03	c   probing          :       3.89       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.03	c   knapsack         :       0.08       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.03	c   setppc           :       0.07       0.00          0          0          0          0          0         22          0          0          0
1796.71/1797.03	c   linear           :       1.02       0.00          0          1          0          0          0          8          0          7          0
1796.71/1797.03	c   logicor          :       0.59       0.29          0          0          0          0          0         22          0          0          0
1796.71/1797.03	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.71/1797.03	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.71/1797.03	c   integral         :          0          0          0          0         43          0          4          0          6          8          0          0         68
1796.71/1797.03	c   knapsack         :      17621      17621          6       2372          0          0          3          9          0          0         21          0          0
1796.71/1797.03	c   setppc           :      37799      37799          6       2372          0          0          2        648         11       6971          0          0          0
1796.71/1797.03	c   linear           :          1          1          6       2250          0          0          0         18          0          0          0          0          0
1796.71/1797.03	c   logicor          :     121364+    121455          6       1648          0          0          0        104         17         62          0          0          0
1796.71/1797.03	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.71/1797.03	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.71/1797.03	c   integral         :     733.71       0.00       0.00       0.00     733.71       0.00       0.00       0.00
1796.71/1797.03	c   knapsack         :       1.57       0.00       0.09       1.48       0.00       0.00       0.01       0.00
1796.71/1797.03	c   setppc           :       3.78       0.00       0.02       3.77       0.00       0.00       0.00       0.00
1796.71/1797.03	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.71/1797.03	c   logicor          :       0.66       0.29       0.05       0.32       0.00       0.00       0.00       0.00
1796.71/1797.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.71/1797.03	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.71/1797.03	c   rootredcost      :          0          0          0          0
1796.71/1797.03	c   pseudoobj        :          0          0          0          0
1796.71/1797.03	c   vbounds          :          0          0          0          0
1796.71/1797.03	c   redcost          :         49          0          0          0
1796.71/1797.03	c   probing          :          0          0          0          0
1796.71/1797.03	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.71/1797.03	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00
1796.71/1797.03	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00
1796.71/1797.03	c   vbounds          :       0.00       0.00       0.00       0.00       0.00
1796.71/1797.03	c   redcost          :       0.01       0.00       0.00       0.01       0.00
1796.71/1797.03	c   probing          :       3.89       0.00       3.89       0.00       0.00
1796.71/1797.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.71/1797.03	c   propagation      :       0.00         28         28        117       17.9          4        7.8          -
1796.71/1797.03	c   infeasible LP    :       0.01          2          2         17       26.9          0        0.0          0
1796.71/1797.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.71/1797.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.71/1797.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.71/1797.03	c   applied globally :          -          -          -         91       17.7          -          -          -
1796.71/1797.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.71/1797.03	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.71/1797.03	c   cut pool         :       0.00                     5          -          -         38          -    (maximal pool size: 845)
1796.71/1797.03	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.71/1797.03	c   impliedbounds    :       0.01       0.00          6          0          0          1          0
1796.71/1797.03	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.71/1797.03	c   gomory           :       2.42       0.00          6          0          0        300          0
1796.71/1797.03	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.71/1797.03	c   strongcg         :       9.11       0.00          6          0          0       3000          0
1796.71/1797.03	c   cmir             :       9.51       0.00          6          0          0          0          0
1796.71/1797.03	c   flowcover        :      80.49       0.00          6          0          0         11          0
1796.71/1797.03	c   clique           :       0.41       0.00          6          0          0         42          0
1796.71/1797.03	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.71/1797.03	c   mcf              :       0.28       0.00          1          0          0          0          0
1796.71/1797.03	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.71/1797.03	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.71/1797.03	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.71/1797.03	c   problem variables:       0.00          -          0          0
1796.71/1797.03	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.71/1797.03	c   relpscost        :     733.71       0.00         43          6          8          0          0         68
1796.71/1797.03	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.03	c   inference        :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.03	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.03	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.03	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.03	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.03	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.03	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.71/1797.03	c   LP solutions     :       0.00          -          -          0
1796.71/1797.03	c   pseudo solutions :       0.00          -          -          0
1796.71/1797.03	c   oneopt           :       0.00       0.00          0          0
1796.71/1797.03	c   crossover        :       0.00       0.00          0          0
1796.71/1797.03	c   rootsoldiving    :       0.00       0.00          0          0
1796.71/1797.03	c   linesearchdiving :       0.00       0.00          0          0
1796.71/1797.03	c   guideddiving     :       0.00       0.00          0          0
1796.71/1797.03	c   intshifting      :       0.00       0.00          0          0
1796.71/1797.03	c   coefdiving       :      25.95       0.00          1          0
1796.71/1797.03	c   fracdiving       :      38.90       0.00          1          0
1796.71/1797.03	c   pscostdiving     :      25.88       0.00          1          0
1796.71/1797.03	c   smallcard        :       0.00       0.00          0          0
1796.71/1797.03	c   trivial          :       0.01       0.00          2          0
1796.71/1797.03	c   shiftandpropagate:       0.69       0.00          1          0
1796.71/1797.03	c   simplerounding   :       0.00       0.00          0          0
1796.71/1797.03	c   zirounding       :       0.38       0.00          0          0
1796.71/1797.03	c   rounding         :       0.60       0.00         49          0
1796.71/1797.03	c   shifting         :       1.20       0.00         10          0
1796.71/1797.03	c   twoopt           :       0.00       0.00          0          0
1796.71/1797.03	c   indoneopt        :       0.00       0.00          0          0
1796.71/1797.03	c   indtwoopt        :       0.00       0.00          0          0
1796.71/1797.03	c   fixandinfer      :       0.00       0.00          0          0
1796.71/1797.03	c   feaspump         :      30.37       0.00          1          0
1796.71/1797.03	c   clique           :       0.00       0.00          0          0
1796.71/1797.03	c   indrounding      :       0.00       0.00          0          0
1796.71/1797.03	c   indcoefdiving    :       0.00       0.00          0          0
1796.71/1797.03	c   nlpdiving        :       0.00       0.00          0          0
1796.71/1797.03	c   veclendiving     :     260.47       0.00          1          0
1796.71/1797.03	c   intdiving        :       0.00       0.00          0          0
1796.71/1797.03	c   actconsdiving    :       0.00       0.00          0          0
1796.71/1797.03	c   objpscostdiving  :     326.76       0.00          1          0
1796.71/1797.03	c   octane           :       0.00       0.00          0          0
1796.71/1797.03	c   rens             :       1.27       0.00          1          0
1796.71/1797.03	c   rins             :       0.00       0.00          0          0
1796.71/1797.03	c   localbranching   :       0.00       0.00          0          0
1796.71/1797.03	c   mutation         :       0.00       0.00          0          0
1796.71/1797.03	c   dins             :       0.00       0.00          0          0
1796.71/1797.03	c   vbounds          :       0.00       0.00          0          0
1796.71/1797.03	c   undercover       :       0.00       0.00          0          0
1796.71/1797.03	c   subnlp           :       0.00       0.00          0          0
1796.71/1797.03	c   trysol           :       0.00       0.00          0          0
1796.71/1797.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.71/1797.03	c   primal LP        :       0.11          1          0       0.00       0.00       0.11          1
1796.71/1797.03	c   dual LP          :     239.39         52      88524    1735.76     369.79       0.08          1
1796.71/1797.03	c   lex dual LP      :       0.00          0          0       0.00          -
1796.71/1797.03	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.71/1797.03	c   diving/probing LP:     690.28        845     122618     145.11     177.64
1796.71/1797.03	c   strong branching :     733.47        436     159954     366.87     218.08
1796.71/1797.03	c     (at root node) :          -         18       8398     466.56          -
1796.71/1797.03	c   conflict analysis:       0.00          0          0       0.00          -
1796.71/1797.03	c B&B Tree           :
1796.71/1797.03	c   number of runs   :          1
1796.71/1797.03	c   nodes            :         51
1796.71/1797.03	c   nodes (total)    :         51
1796.71/1797.03	c   nodes left       :         17
1796.71/1797.03	c   max depth        :         18
1796.71/1797.03	c   max depth (total):         18
1796.71/1797.03	c   backtracks       :         10 (19.6%)
1796.71/1797.03	c   delayed cutoffs  :          1
1796.71/1797.03	c   repropagations   :         23 (298 domain reductions, 1 cutoffs)
1796.71/1797.03	c   avg switch length:       2.51
1796.71/1797.03	c   switching time   :       0.24
1796.71/1797.03	c Solution           :
1796.71/1797.03	c   Solutions found  :          0 (0 improvements)
1796.71/1797.03	c   Primal Bound     :          -
1796.71/1797.03	c   Dual Bound       : +0.00000000000000e+00
1796.71/1797.03	c   Gap              :   infinite
1796.71/1797.03	c   Root Dual Bound  : +0.00000000000000e+00
1796.71/1797.03	c   Root Iterations  :      17580
1797.21/1797.56	c Time complete: 1797.27.

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-3692941-1338041066/watcher-3692941-1338041066 -o /tmp/evaluation-result-3692941-1338041066/solver-3692941-1338041066 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692941-1338041066.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.00 2.00 2.00 2/176 9401
/proc/meminfo: memFree=27630988/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=9956 CPUtime=0 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 1242 0 0 0 0 0 0 0 20 0 1 0 270230915 10194944 1196 33554432000 4194304 10169799 140736323925712 140736323924536 9046122 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 2489 1196 409 1459 0 1021 0

[startup+0.0902381 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 9401
/proc/meminfo: memFree=27630988/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=21732 CPUtime=0.08 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 4182 0 0 0 8 0 0 0 20 0 1 0 270230915 22253568 4136 33554432000 4194304 10169799 140736323925712 140736323924536 5601714 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 5433 4136 409 1459 0 3965 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21732

[startup+0.100295 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 9401
/proc/meminfo: memFree=27630988/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=23860 CPUtime=0.09 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 4689 0 0 0 9 0 0 0 20 0 1 0 270230915 24432640 4643 33554432000 4194304 10169799 140736323925712 140736323924536 5280594 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 5965 4643 409 1459 0 4497 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23860

[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 9401
/proc/meminfo: memFree=27630988/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=49504 CPUtime=0.29 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 11131 0 0 0 27 2 0 0 20 0 1 0 270230915 50692096 11085 33554432000 4194304 10169799 140736323925712 140736323924536 8724768 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 12376 11085 409 1459 0 10908 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49504

[startup+0.700252 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 9401
/proc/meminfo: memFree=27630988/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=177980 CPUtime=0.68 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 42732 0 0 0 62 6 0 0 20 0 1 0 270230915 182251520 42592 33554432000 4194304 10169799 140736323925712 140736323922728 5281904 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 44495 42592 497 1459 0 43027 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 177980

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9402
/proc/meminfo: memFree=27400076/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=275584 CPUtime=1.49 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 69218 0 0 0 128 21 0 0 20 0 1 0 270230915 282198016 66460 33554432000 4194304 10169799 140736323925712 140736323922728 7543003 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 68896 66460 554 1459 0 67428 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 275584

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9402
/proc/meminfo: memFree=27341548/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=287556 CPUtime=3.09 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 89717 0 0 0 271 38 0 0 20 0 1 0 270230915 294457344 69439 33554432000 4194304 10169799 140736323925712 140736323922920 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 71889 69439 616 1459 0 70421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 287556

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9402
/proc/meminfo: memFree=27354308/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=288560 CPUtime=6.28 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 89990 0 0 0 590 38 0 0 20 0 1 0 270230915 295485440 69712 33554432000 4194304 10169799 140736323925712 140736323923224 4777712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 72140 69712 616 1459 0 70672 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 288560

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9402
/proc/meminfo: memFree=27021180/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=632648 CPUtime=12.69 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 141072 0 0 0 1220 49 0 0 20 0 1 0 270230915 647831552 153057 33554432000 4194304 10169799 140736323925712 140736323918024 7708196 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 158162 153057 785 1459 0 156694 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 632648

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9403
/proc/meminfo: memFree=27016188/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=632648 CPUtime=25.48 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 141494 0 0 0 2497 51 0 0 20 0 1 0 270230915 647831552 153479 33554432000 4194304 10169799 140736323925712 140736323918120 8009536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 158162 153479 785 1459 0 156694 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 632648

[startup+51.1002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9403
/proc/meminfo: memFree=27015288/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=632648 CPUtime=51.08 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 141760 0 0 0 5055 53 0 0 20 0 1 0 270230915 647831552 153712 33554432000 4194304 10169799 140736323925712 140736323922024 7280655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 158162 153712 806 1459 0 156694 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 632648

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9403
/proc/meminfo: memFree=26980776/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=664772 CPUtime=102.28 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 143065 0 0 0 10171 57 0 0 20 0 1 0 270230915 680726528 161586 33554432000 4194304 10169799 140736323925712 140736323922024 7280659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 166193 161586 821 1459 0 164725 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 664772

[startup+162.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 9403
/proc/meminfo: memFree=26978744/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=670608 CPUtime=162.26 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 194260 0 0 0 16150 76 0 0 20 0 1 0 270230915 686702592 162002 33554432000 4194304 10169799 140736323925712 140736323920312 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 167652 162002 857 1459 0 166184 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 670608

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 9441
/proc/meminfo: memFree=27019180/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=691248 CPUtime=222.26 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 202005 0 0 0 22141 85 0 0 20 0 1 0 270230915 707837952 166792 33554432000 4194304 10169799 140736323925712 140736323920312 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 172812 166792 858 1459 0 171344 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 691248

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9441
/proc/meminfo: memFree=26970048/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=692040 CPUtime=282.24 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 202882 0 0 0 28131 93 0 0 20 0 1 0 270230915 708648960 169492 33554432000 4194304 10169799 140736323925712 140736323920312 7591849 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 173010 169492 858 1459 0 171542 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 692040

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9445
/proc/meminfo: memFree=26887644/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=692040 CPUtime=342.23 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 202924 0 0 0 34124 99 0 0 20 0 1 0 270230915 708648960 170191 33554432000 4194304 10169799 140736323925712 140736323920312 7909150 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 173010 170191 858 1459 0 171542 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 692040

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9445
/proc/meminfo: memFree=26880964/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=698580 CPUtime=402.23 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 203599 0 0 0 40116 107 0 0 20 0 1 0 270230915 715345920 171857 33554432000 4194304 10169799 140736323925712 140736323920728 8060912 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 174645 171857 858 1459 0 173177 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 698580

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9445
/proc/meminfo: memFree=26889296/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=690960 CPUtime=462.21 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 207416 0 0 0 46106 115 0 0 20 0 1 0 270230915 707543040 170033 33554432000 4194304 10169799 140736323925712 140736323920312 7591833 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 172740 170033 858 1459 0 171272 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 690960

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9445
/proc/meminfo: memFree=26887640/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=690960 CPUtime=522.2 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 207528 0 0 0 52097 123 0 0 20 0 1 0 270230915 707543040 170427 33554432000 4194304 10169799 140736323925712 140736323920696 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 172740 170427 858 1459 0 171272 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 690960

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9445
/proc/meminfo: memFree=26886692/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=690960 CPUtime=582.19 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 207546 0 0 0 58089 130 0 0 20 0 1 0 270230915 707543040 170445 33554432000 4194304 10169799 140736323925712 140736323920312 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 172740 170445 858 1459 0 171272 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 690960

[startup+642.3 s]

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

/proc/meminfo: memFree=26891784/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=690692 CPUtime=1062.12 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 220899 0 0 0 106021 191 0 0 20 0 1 0 270230915 707268608 170296 33554432000 4194304 10169799 140736323925712 140736323920120 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 172673 170296 859 1459 0 171205 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 690692

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9450
/proc/meminfo: memFree=26862248/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=723868 CPUtime=1122.11 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 221884 0 0 0 112013 198 0 0 20 0 1 0 270230915 741240832 176371 33554432000 4194304 10169799 140736323925712 140736323920120 8884089 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 180967 176371 859 1459 0 179499 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 723868

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9450
/proc/meminfo: memFree=26874208/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=714380 CPUtime=1182.1 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 243711 0 0 0 117995 215 0 0 20 0 1 0 270230915 731525120 173901 33554432000 4194304 10169799 140736323925712 140736323919784 8009943 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 178595 173901 859 1459 0 177127 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 714380

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9451
/proc/meminfo: memFree=26851744/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=725080 CPUtime=1242.09 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 245236 0 0 0 123988 221 0 0 20 0 1 0 270230915 742481920 178990 33554432000 4194304 10169799 140736323925712 140736323919832 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 181270 178990 859 1459 0 179802 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 725080

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9451
/proc/meminfo: memFree=26851496/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=725080 CPUtime=1302.09 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 245236 0 0 0 129981 228 0 0 20 0 1 0 270230915 742481920 178990 33554432000 4194304 10169799 140736323925712 140736323919784 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 181270 178990 859 1459 0 179802 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 725080

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9451
/proc/meminfo: memFree=26851620/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=725080 CPUtime=1362.07 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 245236 0 0 0 135974 233 0 0 20 0 1 0 270230915 742481920 178990 33554432000 4194304 10169799 140736323925712 140736323919048 8009566 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 181270 178990 859 1459 0 179802 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 725080

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9451
/proc/meminfo: memFree=26851372/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=725080 CPUtime=1422.07 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 245236 0 0 0 141967 240 0 0 20 0 1 0 270230915 742481920 178990 33554432000 4194304 10169799 140736323925712 140736323920168 8009833 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 181270 178990 859 1459 0 179802 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 725080

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9451
/proc/meminfo: memFree=26840948/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1482.06 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248788 0 0 0 147956 250 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920136 7708182 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 740924

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9454
/proc/meminfo: memFree=26840420/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1542.05 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 153949 256 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 740924

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9455
/proc/meminfo: memFree=26874580/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1602.04 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 159943 261 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8009856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 740924

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9455
/proc/meminfo: memFree=26854292/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1662.03 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 165936 267 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8004697 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 740924

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9456
/proc/meminfo: memFree=26851988/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1722.02 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 171930 272 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 740924

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26851748/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1782.01 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 177923 278 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323919304 8009913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 740924

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

[startup+1785.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26851872/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1785.21 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 178243 278 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8009871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 740924

[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26838904/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1791.62 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 178883 279 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8009908 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 740924

[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26838904/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1794.82 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 179203 279 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 740924

[startup+1796.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26838904/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1796.41 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 179362 279 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323919304 7978016 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 740924

[startup+1797.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26838904/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=667284 CPUtime=1796.81 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248809 0 0 0 179402 279 0 0 20 0 1 0 270230915 683298816 164588 33554432000 4194304 10169799 140736323925712 140736323919304 7988306 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 166821 164588 862 1459 0 165353 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 667284

[startup+1797.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26909888/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=627592 CPUtime=1797.21 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248809 0 0 0 179441 280 0 0 20 0 1 0 270230915 642654208 154700 33554432000 4194304 10169799 140736323925712 140736323919304 8989847 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 156898 154700 862 1459 0 155430 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 627592

Child status: 0
Real time (s): 1797.57
CPU time (s): 1797.29
CPU user time (s): 1794.47
CPU system time (s): 2.81757
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 861240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.47
system time used= 2.81757
maximum resident set size= 841984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248811
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= 11
involuntary context switches= 1851

runsolver used 3.20451 second user time and 8.5707 second system time

The end

Launcher Data

Begin job on node141 at 2012-05-26 16:04:26
IDJOB=3692941
IDBENCH=89675
IDSOLVER=2272
FILE ID=node141/3692941-1338041066
RUNJOBID= node141-1338029496-8082
PBS_JOBID= 14624334
Free space on /tmp= 71488 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-101.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-3692941-1338041066/watcher-3692941-1338041066 -o /tmp/evaluation-result-3692941-1338041066/solver-3692941-1338041066 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692941-1338041066.opb -t 1800 -m 15500

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

MD5SUM BENCH= a3ed9477da365050d631dd031519efe8
RANDOM SEED=1046966341

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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:        27632004 kB
Buffers:          264708 kB
Cached:          3536288 kB
SwapCached:            0 kB
Active:          1306652 kB
Inactive:        3155148 kB
Active(anon):     663220 kB
Inactive(anon):        0 kB
Active(file):     643432 kB
Inactive(file):  3155148 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             21080 kB
Writeback:             0 kB
AnonPages:        668020 kB
Mapped:            17752 kB
Shmem:               200 kB
Slab:             639204 kB
SReclaimable:      81840 kB
SUnreclaim:       557364 kB
KernelStack:        1456 kB
PageTables:         5412 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     792300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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= 71468 MiB
End job on node141 at 2012-05-26 16:34:23