Trace number 3735121

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: SCIP spx E_2 2011-06-10 (fixed)? 1796.81 1797.13

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
MD5SUM840eda79f99ca12a0c705eefe22c37b7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark142
Best CPU time to get the best result obtained on this benchmark1783.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 144
Optimality of the best value was proved NO
Number of variables3296
Total number of constraints6384
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6383
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 91
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 218
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 286
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1475
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.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 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-3735121-1338717306.opb>
0.09/0.12	c original problem has 3296 variables (3296 bin, 0 int, 0 impl, 0 cont) and 6384 constraints
0.09/0.12	c problem read
0.09/0.12	c presolving settings loaded
0.09/0.16	c presolving:
0.19/0.21	c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.24	c (round 2) 1 del vars, 2879 del conss, 0 add conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 320 upgd conss, 0 impls, 0 clqs
0.19/0.28	c (round 3) 1 del vars, 2879 del conss, 6 add conss, 1 chg bounds, 150 chg sides, 841 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
0.19/0.29	c (round 4) 1 del vars, 2879 del conss, 6 add conss, 1 chg bounds, 200 chg sides, 905 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
1.10/1.11	c    (1.1s) probing: 218/3295 (6.6%) - 0 fixings, 0 aggregations, 50 implications, 0 bound changes
1.10/1.11	c    (1.1s) probing aborted: 100/100 successive totally useless probings
1.10/1.11	c presolving (5 rounds):
1.10/1.11	c  1 deleted vars, 2879 deleted constraints, 6 added constraints, 1 tightened bounds, 0 added holes, 200 changed sides, 905 changed coefficients
1.10/1.11	c  410 implications, 6 cliques
1.10/1.11	c presolved problem has 3295 variables (3295 bin, 0 int, 0 impl, 0 cont) and 3511 constraints
1.10/1.11	c     627 constraints of type <knapsack>
1.10/1.11	c       6 constraints of type <setppc>
1.10/1.11	c    2878 constraints of type <linear>
1.10/1.11	c transformed objective value is always integral (scale: 1)
1.10/1.11	c Presolving Time: 0.95
1.10/1.11	c - non default parameters ----------------------------------------------------------------------
1.10/1.11	c # SCIP version 2.0.1.5
1.10/1.11	c 
1.10/1.11	c # frequency for displaying node information lines
1.10/1.11	c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.11	c display/freq = 10000
1.10/1.11	c 
1.10/1.11	c # maximal time in seconds to run
1.10/1.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11	c limits/time = 1797
1.10/1.11	c 
1.10/1.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11	c limits/memory = 13950
1.10/1.11	c 
1.10/1.11	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.11	c # [type: int, range: [1,2], default: 1]
1.10/1.11	c timing/clocktype = 2
1.10/1.11	c 
1.10/1.11	c # belongs reading time to solving time?
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c timing/reading = TRUE
1.10/1.11	c 
1.10/1.11	c # should presolving try to simplify inequalities
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c constraints/linear/simplifyinequalities = TRUE
1.10/1.11	c 
1.10/1.11	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c constraints/indicator/addCouplingCons = TRUE
1.10/1.11	c 
1.10/1.11	c # should presolving try to simplify knapsacks
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.11	c 
1.10/1.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.11	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.11	c separating/rapidlearning/freq = 0
1.10/1.11	c 
1.10/1.11	c -----------------------------------------------------------------------------------------------
1.10/1.11	c start solving
1.10/1.11	c 
1.18/1.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.18/1.27	c   1.3s|     1 |     0 |  1358 |     - |  28M|   0 | 852 |3295 |3531 |3295 |3511 |   0 |  20 |   0 | 9.100000e+01 |      --      |    Inf 
4.40/4.46	c   4.5s|     1 |     0 |  8159 |     - |  30M|   0 |1628 |3295 |3987 |3295 |3688 | 177 |  20 |   0 | 9.100000e+01 |      --      |    Inf 
4.99/5.08	c   5.1s|     1 |     0 |  8833 |     - |  30M|   0 |1889 |3295 |3987 |3295 |3844 | 333 |  20 |   0 | 9.100000e+01 |      --      |    Inf 
5.69/5.79	c   5.8s|     1 |     0 |  9617 |     - |  31M|   0 |2025 |3295 |3987 |3295 |4010 | 499 |  20 |   0 | 9.100000e+01 |      --      |    Inf 
6.69/6.75	c   6.7s|     1 |     0 | 10955 |     - |  32M|   0 |1971 |3295 |3987 |3295 |4195 | 684 |  20 |   0 | 9.100000e+01 |      --      |    Inf 
7.89/7.99	c   8.0s|     1 |     0 | 11971 |     - |  32M|   0 |2018 |3295 |3987 |3295 |4365 | 854 |  20 |   0 | 9.100000e+01 |      --      |    Inf 
9.08/9.16	c   9.2s|     1 |     0 | 12893 |     - |  33M|   0 |2035 |3295 |3987 |3295 |4530 |1019 |  20 |   0 | 9.100000e+01 |      --      |    Inf 
13.20/13.26	c  13.3s|     1 |     2 | 12893 |     - |  33M|   0 |2035 |3295 |3987 |3295 |4530 |1019 |  20 |  11 | 9.100000e+01 |      --      |    Inf 
571.18/571.38	c   571s| 10000 |  2856 |  3698k| 368.6 |  76M|  67 |1902 |3295 |5940 |3295 |3697 |1019 |  15k|5558 | 9.100000e+01 |      --      |    Inf 
997.81/998.07	c   998s| 20000 |  5260 |  6654k| 332.1 | 118M|  67 | 302 |3295 |7183 |3295 |3697 |1019 |  33k|9503 | 9.100000e+01 |      --      |    Inf 
1368.34/1368.67	c  1369s| 30000 |  6800 |  9061k| 301.6 | 145M|  71 | 729 |3295 |7203 |3295 |3697 |1019 |  49k|  14k| 9.100000e+01 |      --      |    Inf 
1764.87/1765.23	c  1765s| 40000 |  8193 | 11635k| 290.6 | 169M|  71 | 371 |3295 |6533 |3295 |3697 |1019 |  66k|  18k| 9.100000e+01 |      --      |    Inf 
1796.68/1797.01	c 
1796.68/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.01	c Solving Time (sec) : 1797.00
1796.68/1797.01	c Solving Nodes      : 40967
1796.68/1797.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.68/1797.01	c Dual Bound         : +9.10000000000000e+01
1796.68/1797.01	c Gap                : infinite
1796.68/1797.01	s UNKNOWN
1796.68/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.01	c Total Time         :    1797.00
1796.68/1797.01	c   solving          :    1797.00
1796.68/1797.01	c   presolving       :       0.95 (included in solving)
1796.68/1797.01	c   reading          :       0.11 (included in solving)
1796.68/1797.01	c Original Problem   :
1796.68/1797.01	c   Problem name     : HOME/instance-3735121-1338717306.opb
1796.68/1797.01	c   Variables        : 3296 (3296 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01	c   Constraints      : 6384 initial, 6384 maximal
1796.68/1797.01	c Presolved Problem  :
1796.68/1797.01	c   Problem name     : t_HOME/instance-3735121-1338717306.opb
1796.68/1797.01	c   Variables        : 3295 (3295 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01	c   Constraints      : 3511 initial, 8145 maximal
1796.68/1797.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.68/1797.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   probing          :       0.81          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   knapsack         :       0.02          0          0          0          0          0          0          6        109        435
1796.68/1797.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   linear           :       0.11          1          0          0          1          0       2879          0         91        470
1796.68/1797.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   root node        :          -          0          -          -          0          -          -          -          -          -
1796.68/1797.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.01	c   integral         :          0          0          0      32846          0          4          0         54      12333          0          0      59906
1796.68/1797.01	c   knapsack         :        627          6     183090          0          1          3     435074       2220     533094       1188          0          0
1796.68/1797.01	c   setppc           :          6          6       8753          0          0          0         17          0        298          0          0          0
1796.68/1797.01	c   linear           :       2878+         7     180870          0          1          0     192013      16461    5380052         20          0          0
1796.68/1797.01	c   logicor          :          0+         6      92835          0          0          0     306469        900      63486          0          0          0
1796.68/1797.01	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1796.68/1797.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1796.68/1797.01	c   integral         :     568.20       0.00       0.00     568.20       0.00       0.00       0.00
1796.68/1797.01	c   knapsack         :      13.01       0.05      12.45       0.00       0.00       0.00       0.51
1796.68/1797.01	c   setppc           :       0.01       0.00       0.01       0.00       0.00       0.00       0.00
1796.68/1797.01	c   linear           :      46.86       0.00      46.38       0.00       0.00       0.00       0.48
1796.68/1797.01	c   logicor          :       5.35       0.00       4.87       0.00       0.00       0.00       0.48
1796.68/1797.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.68/1797.01	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1796.68/1797.01	c   vbounds          :          0          0          0          0
1796.68/1797.01	c   rootredcost      :          0          0          0          0
1796.68/1797.01	c   pseudoobj        :     182641          0          0          0
1796.68/1797.01	c Propagator Timings :  TotalTime  Propagate    Resprop
1796.68/1797.01	c   vbounds          :       0.15       0.15       0.00
1796.68/1797.01	c   rootredcost      :       0.15       0.15       0.00
1796.68/1797.01	c   pseudoobj        :       0.23       0.23       0.00
1796.68/1797.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.68/1797.01	c   propagation      :       2.79      19581      19552     182750       47.8       1514       23.7          -
1796.68/1797.01	c   infeasible LP    :       2.56       6389       6389      20935       30.8        605       16.2          0
1796.68/1797.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.68/1797.01	c   applied globally :          -          -          -      68330       34.9          -          -          -
1796.68/1797.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.68/1797.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.68/1797.01	c   cut pool         :       0.00          5          -          -        857          -    (maximal pool size: 4209)
1796.68/1797.01	c   redcost          :       1.63      32847          0         22          0          0
1796.68/1797.01	c   impliedbounds    :       0.00          6          0          0         11          0
1796.68/1797.01	c   intobj           :       0.00          0          0          0          0          0
1796.68/1797.01	c   gomory           :       0.83          6          0          0          5          0
1796.68/1797.01	c   cgmip            :       0.00          0          0          0          0          0
1796.68/1797.01	c   closecuts        :       0.00          0          0          0          0          0
1796.68/1797.01	c   strongcg         :       0.80          6          0          0          8          0
1796.68/1797.01	c   cmir             :       0.97          6          0          0       3000          0
1796.68/1797.01	c   flowcover        :       0.85          6          0          0       1200          0
1796.68/1797.01	c   clique           :       0.00          6          0          0          2          0
1796.68/1797.01	c   zerohalf         :       0.00          0          0          0          0          0
1796.68/1797.01	c   mcf              :       0.00          1          0          0          0          0
1796.68/1797.01	c   oddcycle         :       0.00          0          0          0          0          0
1796.68/1797.01	c   rapidlearning    :       1.79          1          0          0          0        456
1796.68/1797.01	c Pricers            :       Time      Calls       Vars
1796.68/1797.01	c   problem variables:       0.00          0          0
1796.68/1797.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.01	c   relpscost        :     568.06      32846         54      12333          0          0      59906
1796.68/1797.01	c   pscost           :       0.00          0          0          0          0          0          0
1796.68/1797.01	c   inference        :       0.00          1          0          0          0          0          2
1796.68/1797.01	c   mostinf          :       0.00          0          0          0          0          0          0
1796.68/1797.01	c   leastinf         :       0.00          0          0          0          0          0          0
1796.68/1797.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.68/1797.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.68/1797.01	c   random           :       0.00          0          0          0          0          0          0
1796.68/1797.01	c Primal Heuristics  :       Time      Calls      Found
1796.68/1797.01	c   LP solutions     :       0.00          -          0
1796.68/1797.01	c   pseudo solutions :       0.00          -          0
1796.68/1797.01	c   oneopt           :       0.09          0          0
1796.68/1797.01	c   crossover        :       0.05          0          0
1796.68/1797.01	c   guideddiving     :       0.00          0          0
1796.68/1797.01	c   intshifting      :       0.00          0          0
1796.68/1797.01	c   objpscostdiving  :      29.54         26          0
1796.68/1797.01	c   feaspump         :      30.30         42          0
1796.68/1797.01	c   pscostdiving     :      29.89        122          0
1796.68/1797.01	c   veclendiving     :      21.84        122          0
1796.68/1797.01	c   fracdiving       :      67.12        123          0
1796.68/1797.01	c   linesearchdiving :      19.42        123          0
1796.68/1797.01	c   coefdiving       :      59.76        123          0
1796.68/1797.01	c   rootsoldiving    :      15.33         62          0
1796.68/1797.01	c   trivial          :       0.00          2          0
1796.68/1797.01	c   shiftandpropagate:       0.09          1          0
1796.68/1797.01	c   simplerounding   :       0.03          0          0
1796.68/1797.01	c   zirounding       :       0.33       1000          0
1796.68/1797.01	c   rounding         :       0.95       2494          0
1796.68/1797.01	c   shifting         :       9.64        759          0
1796.68/1797.01	c   twoopt           :       0.00          0          0
1796.68/1797.01	c   fixandinfer      :       0.00          0          0
1796.68/1797.01	c   clique           :       0.00          0          0
1796.68/1797.01	c   intdiving        :       0.00          0          0
1796.68/1797.01	c   actconsdiving    :       0.00          0          0
1796.68/1797.01	c   octane           :       0.00          0          0
1796.68/1797.01	c   rens             :       0.03          0          0
1796.68/1797.01	c   rins             :       0.00          0          0
1796.68/1797.01	c   localbranching   :       0.00          0          0
1796.68/1797.01	c   mutation         :       0.00          0          0
1796.68/1797.01	c   dins             :       0.00          0          0
1796.68/1797.01	c   vbounds          :       0.00          0          0
1796.68/1797.01	c   undercover       :       0.00          0          0
1796.68/1797.01	c   subnlp           :       0.04          0          0
1796.68/1797.01	c   trysol           :       0.06          0          0
1796.68/1797.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.68/1797.01	c   primal LP        :       0.02          0          0       0.00       0.00
1796.68/1797.01	c   dual LP          :     804.96      33984    9985969     293.84   12405.52
1796.68/1797.01	c   lex dual LP      :       0.00          0          0       0.00          -
1796.68/1797.01	c   barrier LP       :       0.00          0          0       0.00          -
1796.68/1797.01	c   diving/probing LP:     243.05      21872    1879550      85.93    7733.15
1796.68/1797.01	c   strong branching :     561.73      19070    4433261     232.47    7892.22
1796.68/1797.01	c     (at root node) :          -         11       9129     829.91          -
1796.68/1797.01	c   conflict analysis:       0.00          0          0       0.00          -
1796.68/1797.01	c B&B Tree           :
1796.68/1797.01	c   number of runs   :          1
1796.68/1797.01	c   nodes            :      40967
1796.68/1797.01	c   nodes (total)    :      40967
1796.68/1797.01	c   nodes left       :       8271
1796.68/1797.01	c   max depth        :         71
1796.68/1797.01	c   max depth (total):         71
1796.68/1797.01	c   backtracks       :       9736 (23.8%)
1796.68/1797.01	c   delayed cutoffs  :      10671
1796.68/1797.01	c   repropagations   :      34002 (1589211 domain reductions, 7201 cutoffs)
1796.68/1797.01	c   avg switch length:       6.74
1796.68/1797.01	c   switching time   :      43.74
1796.68/1797.01	c Solution           :
1796.68/1797.01	c   Solutions found  :          0 (0 improvements)
1796.68/1797.01	c   Primal Bound     :          -
1796.68/1797.01	c   Dual Bound       : +9.10000000000000e+01
1796.68/1797.01	c   Gap              :   infinite
1796.68/1797.01	c   Root Dual Bound  : +9.10000000000000e+01
1796.68/1797.01	c   Root Iterations  :      12893
1796.77/1797.12	c Time complete: 1796.8.

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

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 12517
/proc/meminfo: memFree=28865596/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=9588 CPUtime=0 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 1523 0 0 0 0 0 0 0 20 0 1 0 337855024 9818112 1477 33554432000 4194304 9016284 140733724262720 140735621712280 6456153 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12517/statm: 2397 1477 311 1178 0 1215 0

[startup+0.0121791 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 12517
/proc/meminfo: memFree=28865596/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=12984 CPUtime=0 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 2232 0 0 0 0 0 0 0 20 0 1 0 337855024 13295616 2186 33554432000 4194304 9016284 140733724262720 140735621712280 6179836 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12517/statm: 3246 2186 360 1178 0 2064 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12984

[startup+0.100224 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 12517
/proc/meminfo: memFree=28865596/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=21644 CPUtime=0.09 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 4386 0 0 0 9 0 0 0 20 0 1 0 337855024 22163456 4340 33554432000 4194304 9016284 140733724262720 140735621712280 7989953 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12517/statm: 5411 4340 360 1178 0 4229 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21644

[startup+0.300208 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 12517
/proc/meminfo: memFree=28865596/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=73116 CPUtime=0.29 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 16921 0 0 0 27 2 0 0 20 0 1 0 337855024 74870784 16618 33554432000 4194304 9016284 140733724262720 140735621712280 4207221 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12517/statm: 18279 16618 514 1178 0 17097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73116

[startup+0.700221 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 12517
/proc/meminfo: memFree=28865596/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=73116 CPUtime=0.69 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 16977 0 0 0 67 2 0 0 20 0 1 0 337855024 74870784 16674 33554432000 4194304 9016284 140733724262720 140733724258392 5155071 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12517/statm: 18279 16674 525 1178 0 17097 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73116

[startup+1.50018 s]
/proc/loadavg: 2.03 2.00 2.00 3/176 12518
/proc/meminfo: memFree=28800720/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=95740 CPUtime=1.49 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 24055 0 0 0 146 3 0 0 20 0 1 0 337855024 98037760 22218 33554432000 4194304 9016284 140733724262720 140733724254504 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12517/statm: 23935 22218 656 1178 0 22753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95740

[startup+3.10023 s]
/proc/loadavg: 2.03 2.00 2.00 3/176 12518
/proc/meminfo: memFree=28777896/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=140248 CPUtime=3.09 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 34962 0 0 0 304 5 0 0 20 0 1 0 337855024 143613952 33125 33554432000 4194304 9016284 140733724262720 140733724257880 5254730 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12517/statm: 35062 33125 697 1178 0 33880 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 140248

[startup+6.30024 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 12519
/proc/meminfo: memFree=28728916/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=144004 CPUtime=6.29 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 36239 0 0 0 623 6 0 0 20 0 1 0 337855024 147460096 34300 33554432000 4194304 9016284 140733724262720 140733724257880 6578058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 36001 34300 704 1178 0 34819 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144004

[startup+12.7003 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 12519
/proc/meminfo: memFree=28728000/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=144004 CPUtime=12.69 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 36372 0 0 0 1261 8 0 0 20 0 1 0 337855024 147460096 34432 33554432000 4194304 9016284 140733724262720 140733724256472 7199008 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 36001 34432 705 1178 0 34819 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 144004

[startup+25.5003 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 12557
/proc/meminfo: memFree=28794980/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=144004 CPUtime=25.48 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 36373 0 0 0 2533 15 0 0 20 0 1 0 337855024 147460096 34441 33554432000 4194304 9016284 140733724262720 140733724256776 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 36001 34441 705 1178 0 34819 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 144004

[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12558
/proc/meminfo: memFree=28793012/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=144004 CPUtime=51.07 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 36386 0 0 0 5070 37 0 0 20 0 1 0 337855024 147460096 34454 33554432000 4194304 9016284 140733724262720 140733724257048 5881994 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 36001 34454 708 1178 0 34819 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 144004

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12558
/proc/meminfo: memFree=28771432/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=144004 CPUtime=102.26 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 36389 0 0 0 10148 78 0 0 20 0 1 0 337855024 147460096 35281 33554432000 4194304 9016284 140733724262720 140733724255496 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 36001 35281 708 1178 0 34819 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 144004

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12558
/proc/meminfo: memFree=28759716/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=144004 CPUtime=162.25 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 36391 0 0 0 16094 131 0 0 20 0 1 0 337855024 147460096 35346 33554432000 4194304 9016284 140733724262720 140733724257048 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 36001 35346 708 1178 0 34819 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 144004

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12558
/proc/meminfo: memFree=28739812/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=148712 CPUtime=222.25 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 37542 0 0 0 22039 186 0 0 20 0 1 0 337855024 152281088 36497 33554432000 4194304 9016284 140733724262720 140733724256888 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 37178 36497 708 1178 0 35996 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 148712

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12558
/proc/meminfo: memFree=28723868/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=153428 CPUtime=282.24 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 45824 0 0 0 27992 232 0 0 20 0 1 0 337855024 157110272 37600 33554432000 4194304 9016284 140733724262720 140733724256888 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 38357 37600 708 1178 0 37175 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 153428

[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 12562
/proc/meminfo: memFree=28701080/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=159096 CPUtime=342.23 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 51302 0 0 0 33938 285 0 0 20 0 1 0 337855024 162914304 39083 33554432000 4194304 9016284 140733724262720 140733724255880 7199008 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 39774 39083 708 1178 0 38592 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 159096

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12585
/proc/meminfo: memFree=28676820/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=165608 CPUtime=402.21 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 57616 0 0 0 39884 337 0 0 20 0 1 0 337855024 169582592 40709 33554432000 4194304 9016284 140733724262720 140733724256024 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 41402 40709 708 1178 0 40220 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 165608

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12585
/proc/meminfo: memFree=28648308/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=175328 CPUtime=462.2 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 69603 0 0 0 45832 388 0 0 20 0 1 0 337855024 179535872 43018 33554432000 4194304 9016284 140733724262720 140733724256136 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 43832 43018 708 1178 0 42650 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 175328

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12585
/proc/meminfo: memFree=28632320/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=180152 CPUtime=522.19 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 78150 0 0 0 51778 441 0 0 20 0 1 0 337855024 184475648 44340 33554432000 4194304 9016284 140733724262720 140733724255528 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 45038 44340 708 1178 0 43856 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 180152

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12585
/proc/meminfo: memFree=28615456/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=185320 CPUtime=582.19 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 94793 0 0 0 57729 490 0 0 20 0 1 0 337855024 189767680 45582 33554432000 4194304 9016284 140733724262720 140733724257048 7199008 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 46330 45582 708 1178 0 45148 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 185320

[startup+642.3 s]

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

/proc/meminfo: memFree=28402552/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=261212 CPUtime=1122.09 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 166212 0 0 0 111264 945 0 0 20 0 1 0 337855024 267481088 64633 33554432000 4194304 9016284 140733724262720 140733724256136 7214430 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 65303 64633 708 1178 0 64121 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 261212

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12590
/proc/meminfo: memFree=28384944/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=266800 CPUtime=1182.09 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 167623 0 0 0 117214 995 0 0 20 0 1 0 337855024 273203200 66022 33554432000 4194304 9016284 140733724262720 140733724256888 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 66700 66022 708 1178 0 65518 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 266800

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12590
/proc/meminfo: memFree=28377016/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=273900 CPUtime=1242.07 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 171260 0 0 0 123165 1042 0 0 20 0 1 0 337855024 280473600 67812 33554432000 4194304 9016284 140733724262720 140733724255912 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 68475 67812 708 1178 0 67293 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 273900

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12591
/proc/meminfo: memFree=28367648/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=282360 CPUtime=1302.05 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 175018 0 0 0 129111 1094 0 0 20 0 1 0 337855024 289136640 69917 33554432000 4194304 9016284 140733724262720 140733724255976 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 70590 69917 708 1178 0 69408 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 282360

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12591
/proc/meminfo: memFree=28361076/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=289624 CPUtime=1362.05 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 178900 0 0 0 135061 1144 0 0 20 0 1 0 337855024 296574976 71568 33554432000 4194304 9016284 140733724262720 140733724256344 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 72406 71568 708 1178 0 71224 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 289624

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12591
/proc/meminfo: memFree=28350784/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=297568 CPUtime=1422.05 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 182974 0 0 0 141014 1191 0 0 20 0 1 0 337855024 304709632 73722 33554432000 4194304 9016284 140733724262720 140733724256888 7199008 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 74392 73722 708 1178 0 73210 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 297568

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12591
/proc/meminfo: memFree=28345436/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=301164 CPUtime=1482.03 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 189335 0 0 0 146963 1240 0 0 20 0 1 0 337855024 308391936 74631 33554432000 4194304 9016284 140733724262720 140733724256616 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 75291 74631 708 1178 0 74109 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 301164

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12594
/proc/meminfo: memFree=28336624/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=306840 CPUtime=1542.03 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 195610 0 0 0 152912 1291 0 0 20 0 1 0 337855024 314204160 75963 33554432000 4194304 9016284 140733724262720 140733724255640 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 76710 75963 708 1178 0 75528 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 306840

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12595
/proc/meminfo: memFree=28323116/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=314276 CPUtime=1602.01 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 199196 0 0 0 158858 1343 0 0 20 0 1 0 337855024 321818624 77909 33554432000 4194304 9016284 140733724262720 140733724256888 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 78569 77909 708 1178 0 77387 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 314276

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12595
/proc/meminfo: memFree=28314392/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=322364 CPUtime=1661.99 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 202822 0 0 0 164808 1391 0 0 20 0 1 0 337855024 330100736 79756 33554432000 4194304 9016284 140733724262720 140733724256888 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 80591 79756 708 1178 0 79409 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 322364

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12595
/proc/meminfo: memFree=28306704/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=326276 CPUtime=1721.99 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 208946 0 0 0 170752 1447 0 0 20 0 1 0 337855024 334106624 80911 33554432000 4194304 9016284 140733724262720 140733724256520 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 81569 80911 708 1178 0 80387 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 326276

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12595
/proc/meminfo: memFree=28301992/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=328960 CPUtime=1781.98 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 220281 0 0 0 176698 1500 0 0 20 0 1 0 337855024 336855040 81599 33554432000 4194304 9016284 140733724262720 140733724256888 7180992 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 82240 81599 708 1178 0 81058 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 328960

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

[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12595
/proc/meminfo: memFree=28300628/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=330644 CPUtime=1785.27 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 220679 0 0 0 177026 1501 0 0 20 0 1 0 337855024 338579456 81997 33554432000 4194304 9016284 140733724262720 140733724255896 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 82661 81997 708 1178 0 81479 0
Current children cumulated CPU time (s) 1785.27
Current children cumulated vsize (KiB) 330644

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12595
/proc/meminfo: memFree=28299264/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=332016 CPUtime=1791.68 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 221030 0 0 0 177660 1508 0 0 20 0 1 0 337855024 339984384 82348 33554432000 4194304 9016284 140733724262720 140733724256584 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 83004 82348 708 1178 0 81822 0
Current children cumulated CPU time (s) 1791.68
Current children cumulated vsize (KiB) 332016

[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12595
/proc/meminfo: memFree=28299264/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=332016 CPUtime=1794.88 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 221030 0 0 0 177976 1512 0 0 20 0 1 0 337855024 339984384 82348 33554432000 4194304 9016284 140733724262720 140733724257000 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 83004 82348 708 1178 0 81822 0
Current children cumulated CPU time (s) 1794.88
Current children cumulated vsize (KiB) 332016

[startup+1796 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12595
/proc/meminfo: memFree=28299264/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=332016 CPUtime=1795.67 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 221030 0 0 0 178054 1513 0 0 20 0 1 0 337855024 339984384 82348 33554432000 4194304 9016284 140733724262720 140733724256680 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 83004 82348 708 1178 0 81822 0
Current children cumulated CPU time (s) 1795.67
Current children cumulated vsize (KiB) 332016

[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12595
/proc/meminfo: memFree=28299264/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=332016 CPUtime=1796.48 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 221030 0 0 0 178134 1514 0 0 20 0 1 0 337855024 339984384 82348 33554432000 4194304 9016284 140733724262720 140733724256888 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 83004 82348 708 1178 0 81822 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (KiB) 332016

[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12595
/proc/meminfo: memFree=28299264/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=332016 CPUtime=1796.68 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 221030 0 0 0 178154 1514 0 0 20 0 1 0 337855024 339984384 82348 33554432000 4194304 9016284 140733724262720 140733724256888 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 83004 82348 708 1178 0 81822 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 332016

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12595
/proc/meminfo: memFree=28299264/32873844 swapFree=7644/7644
[pid=12517] ppid=12515 vsize=332016 CPUtime=1796.77 cores=0,2,4,6
/proc/12517/stat : 12517 (scip-2.0.1.4b_2) R 12515 12517 10351 0 -1 4202496 221032 0 0 0 178163 1514 0 0 20 0 1 0 337855024 339984384 82350 33554432000 4194304 9016284 140733724262720 140733724256888 5141842 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12517/statm: 83004 82350 710 1178 0 81822 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 332016

Child status: 0
Real time (s): 1797.13
CPU time (s): 1796.81
CPU user time (s): 1781.65
CPU system time (s): 15.1547
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 332852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.65
system time used= 15.1547
maximum resident set size= 330196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221037
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= 48
involuntary context switches= 2106

runsolver used 2.5926 second user time and 8.91364 second system time

The end

Launcher Data 

Begin job on node147 at 2012-06-03 11:55:06
IDJOB=3735121
IDBENCH=2942
IDSOLVER=2329
FILE ID=node147/3735121-1338717306
RUNJOBID= node147-1338702405-10367
PBS_JOBID= 14636713
Free space on /tmp= 70768 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735121-1338717306/watcher-3735121-1338717306 -o /tmp/evaluation-result-3735121-1338717306/solver-3735121-1338717306 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3735121-1338717306.opb -t 1800 -m 15500

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

MD5SUM BENCH= 840eda79f99ca12a0c705eefe22c37b7
RANDOM SEED=1717798617

node147.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.951
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.90
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.951
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.951
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.87
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.951
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.951
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.951
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.951
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.951
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:        28865596 kB
Buffers:          448012 kB
Cached:          2587808 kB
SwapCached:         3380 kB
Active:          1603200 kB
Inactive:        1543992 kB
Active(anon):     107112 kB
Inactive(anon):     5908 kB
Active(file):    1496088 kB
Inactive(file):  1538084 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:             18352 kB
Writeback:             0 kB
AnonPages:        115928 kB
Mapped:            11292 kB
Shmem:                 0 kB
Slab:             722332 kB
SReclaimable:     163392 kB
SUnreclaim:       558940 kB
KernelStack:        1456 kB
PageTables:         4200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     230300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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= 70752 MiB
End job on node147 at 2012-06-03 12:25:04