Trace number 2665289

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverOPT-6 1282.58 1282.91

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_5.opb
MD5SUM75c62437256ecfefd1c4252ede4b185e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-6
Best CPU time to get the best result obtained on this benchmark655.541
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -6
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2928
Sum of products size (including duplicates)5856
Number of different products1464
Sum of products size2928

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 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-2665289-1276667136.opb>
0.00/0.02	c original problem has 1564 variables (1564 bin, 0 int, 0 impl, 0 cont) and 1615 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.04	o 0
0.00/0.04	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.00/0.04	c presolving:
0.19/0.24	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 11812 impls, 100 clqs
0.39/0.45	c    (0.2s) probing: 101/1564 (6.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.45	c presolving (2 rounds):
0.39/0.45	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.45	c  11812 implications, 100 cliques
0.39/0.45	c presolved problem has 1564 variables (1564 bin, 0 int, 0 impl, 0 cont) and 1615 constraints
0.39/0.45	c     100 constraints of type <setppc>
0.39/0.45	c    1464 constraints of type <and>
0.39/0.45	c       1 constraints of type <linear>
0.39/0.45	c      50 constraints of type <logicor>
0.39/0.45	c transformed objective value is always integral (scale: 1)
0.39/0.45	c Presolving Time: 0.24
0.39/0.45	c - non default parameters ----------------------------------------------------------------------
0.39/0.45	c # SCIP version 1.2.1.2
0.39/0.45	c 
0.39/0.45	c # frequency for displaying node information lines
0.39/0.45	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45	c display/freq = 10000
0.39/0.45	c 
0.39/0.45	c # maximal time in seconds to run
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/time = 1799.99
0.39/0.45	c 
0.39/0.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/memory = 1620
0.39/0.45	c 
0.39/0.45	c # should presolving try to simplify inequalities
0.39/0.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45	c constraints/linear/simplifyinequalities = TRUE
0.39/0.45	c 
0.39/0.45	c # should presolving try to simplify knapsacks
0.39/0.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.45	c 
0.39/0.45	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.45	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45	c heuristics/undercover/freq = 0
0.39/0.45	c 
0.39/0.45	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.45	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45	c separating/rapidlearning/freq = 0
0.39/0.45	c 
0.39/0.45	c -----------------------------------------------------------------------------------------------
0.39/0.45	c start solving
0.39/0.46	c 
0.49/0.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.51	c t 0.3s|     1 |     0 |   123 |     - |7586k|   0 | 100 |1564 |1615 |1564 |3079 |   0 |   0 |   0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.49/0.52	o -2
0.49/0.52	c s 0.3s|     1 |     0 |   123 |     - |7622k|   0 | 100 |1564 |1615 |1564 |3079 |   0 |   0 |   0 |-2.500000e+01 |-2.000000e+00 |  92.00%
0.69/0.74	o -3
0.69/0.74	c u 0.5s|     1 |     0 |   123 |     - |7628k|   0 | 100 |1564 |1615 |1564 |3079 |   0 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
1.79/1.89	c   1.4s|     1 |     0 |   501 |     - |7642k|   0 | 227 |1564 |1615 |1564 |3080 |   1 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
2.39/2.46	c   1.9s|     1 |     0 |  1682 |     - |7768k|   0 | 454 |1564 |1615 |1564 |3088 |   9 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
3.29/3.35	c   2.8s|     1 |     0 |  2654 |     - |7921k|   0 | 814 |1564 |1615 |1564 |3099 |  20 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
4.49/4.57	c   4.0s|     1 |     0 |  2994 |     - |8007k|   0 | 822 |1564 |1615 |1564 |3108 |  29 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
5.99/6.05	c   5.5s|     1 |     0 |  3138 |     - |8105k|   0 | 820 |1564 |1615 |1564 |3114 |  35 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
7.59/7.60	c   7.0s|     1 |     0 |  3350 |     - |8183k|   0 | 832 |1564 |1615 |1564 |3122 |  43 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
18.28/18.33	c  17.7s|     1 |     2 |  3350 |     - |8184k|   0 | 832 |1564 |1615 |1564 |3122 |  43 |   0 |  12 |-2.500000e+01 |-3.000000e+00 |  88.00%
67.76/67.83	o -5
67.76/67.83	c R66.9s|    24 |    23 | 22385 | 827.6 |8384k|  13 |   - |1564 |1615 |1564 |1532 |1326 |   0 | 232 |-2.465488e+01 |-5.000000e+00 |  79.72%
166.64/166.71	o -6
166.64/166.71	c v 165s|   321 |   165 |181366 | 556.3 |9375k|  43 |   - |1564 |1645 |1564 |1399 |4119 |  30 | 527 |-1.718178e+01 |-6.000000e+00 |  65.08%
603.44/603.68	c   592s| 10000 |  1576 |  1098k| 109.5 |  32M|  73 |   - |1564 |1777 |1564 |1732 |  18k| 396 |3767 |-1.044128e+01 |-6.000000e+00 |  42.54%
856.47/856.74	c   838s| 20000 |  1578 |  1694k|  84.6 |  38M|  73 | 148 |1564 |1817 |1564 |1669 |  24k| 950 |5969 |-9.041719e+00 |-6.000000e+00 |  33.64%
1084.61/1084.95	c  1060s| 30000 |  1254 |  2256k|  75.1 |  35M|  73 |  73 |1564 |1852 |1564 |1724 |  27k|1380 |7970 |-8.450278e+00 |-6.000000e+00 |  29.00%
1282.46/1282.87	c 
1282.46/1282.87	c SCIP Status        : problem is solved [optimal solution found]
1282.46/1282.87	c Solving Time (sec) : 1252.36
1282.46/1282.87	c Solving Nodes      : 39080
1282.46/1282.87	c Primal Bound       : -6.00000000000000e+00 (11 solutions)
1282.46/1282.87	c Dual Bound         : -6.00000000000000e+00
1282.46/1282.87	c Gap                : 0.00 %
1282.46/1282.87	s OPTIMUM FOUND
1282.46/1282.87	v -x57 -x96 -x92 -x81 x75 x95 -x69 -x67 -x93 -x90 -x89 -x94 x86 -x64 -x72 -x51 -x98 -x88 -x70 -x63 -x60 -x58 -x55 -x54 -x52 -x91 
1282.46/1282.87	v -x62 x59 -x85 -x78 -x97 -x68 -x53 x84 -x80 -x56 -x65 -x87 -x79 -x99 -x82 -x74 -x100 -x71 -x83 -x77 -x73 x61 -x66 -x76 -x50 -x49 
1282.46/1282.87	v -x48 -x47 -x46 -x45 -x44 x43 x42 x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 
1282.46/1282.87	v -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1282.46/1282.87	c SCIP Status        : problem is solved [optimal solution found]
1282.46/1282.87	c Solving Time       :    1252.36
1282.46/1282.87	c Original Problem   :
1282.46/1282.87	c   Problem name     : HOME/instance-2665289-1276667136.opb
1282.46/1282.87	c   Variables        : 1564 (1564 binary, 0 integer, 0 implicit integer, 0 continuous)
1282.46/1282.87	c   Constraints      : 1615 initial, 1615 maximal
1282.46/1282.87	c Presolved Problem  :
1282.46/1282.87	c   Problem name     : t_HOME/instance-2665289-1276667136.opb
1282.46/1282.87	c   Variables        : 1564 (1564 binary, 0 integer, 0 implicit integer, 0 continuous)
1282.46/1282.87	c   Constraints      : 1615 initial, 1878 maximal
1282.46/1282.87	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1282.46/1282.87	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1282.46/1282.87	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1282.46/1282.87	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1282.46/1282.87	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1282.46/1282.87	c   implics          :       0.00          0          0          0          0          0          0          0          0
1282.46/1282.87	c   probing          :       0.04          0          0          0          0          0          0          0          0
1282.46/1282.87	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1282.46/1282.87	c   and              :       0.17          0          0          0          0          0          0          0          0
1282.46/1282.87	c   linear           :       0.01          0          0          0          0          0          0          0          0
1282.46/1282.87	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1282.46/1282.87	c   root node        :          -         33          -          -         33          -          -          -          -
1282.46/1282.87	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1282.46/1282.87	c   integral         :          0          0          0      20925          0         90       2788          0          0      39138
1282.46/1282.87	c   setppc           :        100          6     123338          0          0        579     197496          0          0          0
1282.46/1282.87	c   and              :       1464      30825     122759          0          0         52    3188395      31567          0          0
1282.46/1282.87	c   linear           :          1          6     122692          0          0         60        638          0          0          0
1282.46/1282.87	c   logicor          :         50+         6      37467          0          0         14      16591          0          0          0
1282.46/1282.87	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1282.46/1282.87	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1282.46/1282.87	c   integral         :     282.73       0.00       0.00     282.73       0.00
1282.46/1282.87	c   setppc           :       0.93       0.00       0.93       0.00       0.00
1282.46/1282.87	c   and              :      21.78      10.80      10.98       0.00       0.00
1282.46/1282.87	c   linear           :       1.53       0.00       1.53       0.00       0.00
1282.46/1282.87	c   logicor          :       0.93       0.00       0.93       0.00       0.00
1282.46/1282.87	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1282.46/1282.87	c Propagators        :       Time      Calls    Cutoffs    DomReds
1282.46/1282.87	c   vbounds          :       0.13          2          0          0
1282.46/1282.87	c   rootredcost      :       0.09          3          0          0
1282.46/1282.87	c   pseudoobj        :       0.75     124065        448       1279
1282.46/1282.87	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1282.46/1282.87	c   propagation      :       0.06       1152       1104       2141       30.7          6       35.7          -
1282.46/1282.87	c   infeasible LP    :       0.01         11         11         14       15.1          0        0.0          0
1282.46/1282.87	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1282.46/1282.87	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1282.46/1282.87	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1282.46/1282.87	c   applied globally :          -          -          -       1765       28.3          -          -          -
1282.46/1282.87	c   applied locally  :          -          -          -          0        0.0          -          -          -
1282.46/1282.87	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1282.46/1282.87	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 110)
1282.46/1282.87	c   redcost          :       3.15      32609          0      94514          0          0
1282.46/1282.87	c   impliedbounds    :       0.02          6          0          0         16          0
1282.46/1282.87	c   intobj           :       0.00          0          0          0          0          0
1282.46/1282.87	c   cgmip            :       0.00          0          0          0          0          0
1282.46/1282.87	c   gomory           :       1.96          6          0          0        102          0
1282.46/1282.87	c   strongcg         :       1.67          6          0          0        214          0
1282.46/1282.87	c   cmir             :       0.18          6          0          0          3          0
1282.46/1282.87	c   flowcover        :       0.17          6          0          0          2          0
1282.46/1282.87	c   clique           :       0.11          6          0          0         31          0
1282.46/1282.87	c   zerohalf         :       0.00          0          0          0          0          0
1282.46/1282.87	c   mcf              :       0.02          2          0          0          6          0
1282.46/1282.87	c   rapidlearning    :       0.68          1          0          0          0          0
1282.46/1282.87	c Pricers            :       Time      Calls       Vars
1282.46/1282.87	c   problem variables:       0.00          0          0
1282.46/1282.87	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1282.46/1282.87	c   relpscost        :     282.67      20925         90       2788          0          0      39138
1282.46/1282.87	c   pscost           :       0.00          0          0          0          0          0          0
1282.46/1282.87	c   inference        :       0.00          0          0          0          0          0          0
1282.46/1282.87	c   mostinf          :       0.00          0          0          0          0          0          0
1282.46/1282.87	c   leastinf         :       0.00          0          0          0          0          0          0
1282.46/1282.87	c   fullstrong       :       0.00          0          0          0          0          0          0
1282.46/1282.87	c   allfullstrong    :       0.00          0          0          0          0          0          0
1282.46/1282.87	c   random           :       0.00          0          0          0          0          0          0
1282.46/1282.87	c Primal Heuristics  :       Time      Calls      Found
1282.46/1282.87	c   LP solutions     :       0.00          -          0
1282.46/1282.87	c   pseudo solutions :       0.00          -          0
1282.46/1282.87	c   feaspump         :       0.00          0          0
1282.46/1282.87	c   oneopt           :       0.06          3          0
1282.46/1282.87	c   crossover        :       0.39          8          0
1282.46/1282.87	c   coefdiving       :       6.47         39          0
1282.46/1282.87	c   linesearchdiving :       4.27         39          0
1282.46/1282.87	c   pscostdiving     :       3.39         39          0
1282.46/1282.87	c   fracdiving       :       4.69         39          0
1282.46/1282.87	c   veclendiving     :       8.62         39          1
1282.46/1282.87	c   guideddiving     :       5.53         39          0
1282.46/1282.87	c   objpscostdiving  :       2.61         20          0
1282.46/1282.87	c   rootsoldiving    :       1.39         20          0
1282.46/1282.87	c   trivial          :       0.01          2          3
1282.46/1282.87	c   simplerounding   :       0.09          0          0
1282.46/1282.87	c   zirounding       :       0.25       1000          0
1282.46/1282.87	c   rounding         :       5.21       8040          1
1282.46/1282.87	c   shifting         :       2.38       2348          5
1282.46/1282.87	c   intshifting      :       0.00          0          0
1282.46/1282.87	c   twoopt           :       0.00          0          0
1282.46/1282.87	c   fixandinfer      :       0.00          0          0
1282.46/1282.87	c   intdiving        :       0.00          0          0
1282.46/1282.87	c   actconsdiving    :       0.00          0          0
1282.46/1282.87	c   octane           :       0.00          0          0
1282.46/1282.87	c   rens             :       0.01          0          0
1282.46/1282.87	c   rins             :       0.00          0          0
1282.46/1282.87	c   localbranching   :       0.00          0          0
1282.46/1282.87	c   mutation         :       0.00          0          0
1282.46/1282.87	c   dins             :       0.00          0          0
1282.46/1282.87	c   undercover       :       0.17          1          1
1282.46/1282.87	c   nlp              :       0.01          0          0
1282.46/1282.87	c   trysol           :       0.03          0          0
1282.46/1282.87	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1282.46/1282.87	c   primal LP        :      41.48          0          0       0.00       0.00
1282.46/1282.87	c   dual LP          :     784.31      49333    2644027      53.60    3371.15
1282.46/1282.87	c   lex dual LP      :       0.00          0          0       0.00          -
1282.46/1282.87	c   barrier LP       :       0.00          0          0       0.00          -
1282.46/1282.87	c   diving/probing LP:      30.09       6302      99887      15.85    3319.61
1282.46/1282.87	c   strong branching :     280.59       9977     912559      91.47    3252.29
1282.46/1282.87	c     (at root node) :          -         12      12000    1000.00          -
1282.46/1282.87	c   conflict analysis:       0.00          0          0       0.00          -
1282.46/1282.87	c B&B Tree           :
1282.46/1282.87	c   number of runs   :          1
1282.46/1282.87	c   nodes            :      39080
1282.46/1282.87	c   nodes (total)    :      39080
1282.46/1282.87	c   nodes left       :          0
1282.46/1282.87	c   max depth        :         77
1282.46/1282.87	c   max depth (total):         77
1282.46/1282.87	c   backtracks       :       4766 (12.2%)
1282.46/1282.87	c   delayed cutoffs  :          2
1282.46/1282.87	c   repropagations   :       7180 (16065 domain reductions, 0 cutoffs)
1282.46/1282.87	c   avg switch length:       7.04
1282.46/1282.87	c   switching time   :      60.23
1282.46/1282.87	c Solution           :
1282.46/1282.87	c   Solutions found  :         11 (5 improvements)
1282.46/1282.87	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1282.46/1282.87	c   Primal Bound     : -6.00000000000000e+00   (in run 1, after 321 nodes, 164.50 seconds, depth 17, found by <veclendiving>)
1282.46/1282.87	c   Dual Bound       : -6.00000000000000e+00
1282.46/1282.87	c   Gap              :       0.00 %
1282.46/1282.87	c   Root Dual Bound  : -2.50000000000000e+01
1282.46/1282.87	c   Root Iterations  :       3350
1282.56/1282.91	c Time complete: 1282.57.

Verifier Data 

OK	-6

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665289-1276667136/watcher-2665289-1276667136 -o /tmp/evaluation-result-2665289-1276667136/solver-2665289-1276667136 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665289-1276667136.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 1.99 1.57 3/106 14711
/proc/meminfo: memFree=1760140/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=9288 CPUtime=0
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 1030 0 0 0 0 0 0 0 18 0 1 0 8005078 9510912 951 1992294400 4194304 9819077 140734870145568 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14711/statm: 2322 959 371 1374 0 943 0

[startup+0.085647 s]
/proc/loadavg: 2.06 1.99 1.57 3/106 14711
/proc/meminfo: memFree=1760140/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=17780 CPUtime=0.07
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 3817 0 0 0 4 3 0 0 21 0 1 0 8005078 18206720 3127 1992294400 4194304 9819077 140734870145568 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 4445 3127 478 1374 0 3066 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17780

[startup+0.100647 s]
/proc/loadavg: 2.06 1.99 1.57 3/106 14711
/proc/meminfo: memFree=1760140/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=17780 CPUtime=0.09
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 3817 0 0 0 6 3 0 0 21 0 1 0 8005078 18206720 3127 1992294400 4194304 9819077 140734870145568 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 4445 3127 478 1374 0 3066 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17780

[startup+0.300664 s]
/proc/loadavg: 2.06 1.99 1.57 3/106 14711
/proc/meminfo: memFree=1760140/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=19072 CPUtime=0.29
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 5450 0 0 0 16 13 0 0 21 0 1 0 8005078 19529728 3475 1992294400 4194304 9819077 140734870145568 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 4768 3475 505 1374 0 3389 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19072

[startup+0.700701 s]
/proc/loadavg: 2.06 1.99 1.57 3/106 14711
/proc/meminfo: memFree=1760140/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=40980 CPUtime=0.69
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 14996 0 0 0 45 24 0 0 22 0 1 0 8005078 41963520 7984 1992294400 4194304 9819077 140734870145568 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 10245 7998 671 1374 0 8866 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40980

[startup+1.50077 s]
/proc/loadavg: 2.06 1.99 1.57 2/107 14712
/proc/meminfo: memFree=1728884/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=46500 CPUtime=1.49
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 24350 0 0 0 101 48 0 0 25 0 1 0 8005078 47616000 9489 1992294400 4194304 9819077 140734870145568 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 11625 9489 714 1374 0 10246 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46500

[startup+3.10092 s]
/proc/loadavg: 1.97 1.97 1.57 2/107 14712
/proc/meminfo: memFree=1734464/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=33888 CPUtime=3.09
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 25720 0 0 0 259 50 0 0 25 0 1 0 8005078 34701312 6979 1992294400 4194304 9819077 140734870145568 18446744073709551615 7304771 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 8472 6979 716 1374 0 7093 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33888

[startup+6.3012 s]
/proc/loadavg: 1.97 1.97 1.57 2/107 14712
/proc/meminfo: memFree=1734216/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=34916 CPUtime=6.29
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 26682 0 0 0 577 52 0 0 25 0 1 0 8005078 35753984 6991 1992294400 4194304 9819077 140734870145568 18446744073709551615 8494973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 8729 6991 716 1374 0 7350 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34916

[startup+12.7008 s]
/proc/loadavg: 1.89 1.95 1.57 2/107 14712
/proc/meminfo: memFree=1733348/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=38688 CPUtime=12.69
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 35782 0 0 0 1211 58 0 0 25 0 1 0 8005078 39616512 7174 1992294400 4194304 9819077 140734870145568 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 9672 7174 722 1374 0 8293 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38688

[startup+25.5009 s]
/proc/loadavg: 1.69 1.91 1.56 2/107 14714
/proc/meminfo: memFree=1733720/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=34960 CPUtime=25.48
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 44506 0 0 0 2482 66 0 0 25 0 1 0 8005078 35799040 7101 1992294400 4194304 9819077 140734870145568 18446744073709551615 7289256 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 8740 7101 735 1374 0 7361 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34960

[startup+51.1012 s]
/proc/loadavg: 1.46 1.83 1.54 2/107 14714
/proc/meminfo: memFree=1733720/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=33676 CPUtime=51.08
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 50655 0 0 0 5030 78 0 0 25 0 1 0 8005078 34484224 7107 1992294400 4194304 9819077 140734870145568 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 8419 7107 741 1374 0 7040 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33676

[startup+102.308 s]
/proc/loadavg: 1.18 1.69 1.51 2/107 14716
/proc/meminfo: memFree=1733596/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=35092 CPUtime=102.26
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 113870 0 0 0 10110 116 0 0 25 0 1 0 8005078 35934208 7161 1992294400 4194304 9819077 140734870145568 18446744073709551615 6676951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 8773 7161 741 1374 0 7394 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 35092

[startup+162.301 s]
/proc/loadavg: 1.07 1.57 1.47 2/107 14716
/proc/meminfo: memFree=1733472/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=38144 CPUtime=162.24
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 265273 0 0 0 16019 205 0 0 25 0 1 0 8005078 39059456 7141 1992294400 4194304 9819077 140734870145568 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 9536 7141 744 1374 0 8157 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 38144

[startup+222.301 s]
/proc/loadavg: 1.02 1.46 1.44 2/107 14718
/proc/meminfo: memFree=1730124/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=40348 CPUtime=222.23
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 394258 0 0 0 21930 293 0 0 25 0 1 0 8005078 41316352 8009 1992294400 4194304 9819077 140734870145568 18446744073709551615 7304794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 10087 8009 744 1374 0 8708 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 40348

[startup+282.301 s]
/proc/loadavg: 1.01 1.38 1.41 2/107 14720
/proc/meminfo: memFree=1727644/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=44808 CPUtime=282.22
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 576569 0 0 0 27814 408 0 0 25 0 1 0 8005078 45883392 8573 1992294400 4194304 9819077 140734870145568 18446744073709551615 7289157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 11202 8573 744 1374 0 9823 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 44808

[startup+342.301 s]
/proc/loadavg: 1.00 1.31 1.38 2/107 14722
/proc/meminfo: memFree=1723304/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=45188 CPUtime=342.2
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 778264 0 0 0 33691 529 0 0 25 0 1 0 8005078 46272512 9646 1992294400 4194304 9819077 140734870145568 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 11297 9646 744 1374 0 9918 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 45188

[startup+402.301 s]
/proc/loadavg: 1.00 1.25 1.36 2/107 14724
/proc/meminfo: memFree=1717600/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=54660 CPUtime=402.19
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 985133 0 0 0 39560 659 0 0 25 0 1 0 8005078 55971840 11085 1992294400 4194304 9819077 140734870145568 18446744073709551615 6518805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 13665 11085 744 1374 0 12286 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 54660

[startup+462.301 s]
/proc/loadavg: 1.00 1.20 1.33 2/107 14724
/proc/meminfo: memFree=1712516/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=56468 CPUtime=462.17
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 1209094 0 0 0 45428 789 0 0 25 0 1 0 8005078 57823232 12299 1992294400 4194304 9819077 140734870145568 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 14117 12299 744 1374 0 12738 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 56468

[startup+522.3 s]
/proc/loadavg: 1.00 1.16 1.31 2/107 14726
/proc/meminfo: memFree=1706564/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=62960 CPUtime=522.16
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 1447673 0 0 0 51270 946 0 0 25 0 1 0 8005078 64471040 13899 1992294400 4194304 9819077 140734870145568 18446744073709551615 7291617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 15740 13899 744 1374 0 14361 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 62960

[startup+582.301 s]
/proc/loadavg: 1.06 1.14 1.29 2/107 14728
/proc/meminfo: memFree=1700364/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=68480 CPUtime=582.14
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 1669206 0 0 0 57123 1091 0 0 25 0 1 0 8005078 70123520 15317 1992294400 4194304 9819077 140734870145568 18446744073709551615 7291617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 17120 15317 744 1374 0 15741 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 68480

[startup+642.301 s]
/proc/loadavg: 1.02 1.11 1.27 2/107 14730
/proc/meminfo: memFree=1695652/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=73376 CPUtime=642.13
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 1910177 0 0 0 62964 1249 0 0 25 0 1 0 8005078 75137024 16483 1992294400 4194304 9819077 140734870145568 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 18344 16483 744 1374 0 16965 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 73376

[startup+702.301 s]
/proc/loadavg: 1.01 1.09 1.25 2/107 14732
/proc/meminfo: memFree=1690816/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=78188 CPUtime=702.11
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 2163618 0 0 0 68799 1412 0 0 25 0 1 0 8005078 80064512 17684 1992294400 4194304 9819077 140734870145568 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 19547 17684 744 1374 0 18168 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 78188

[startup+762.308 s]
/proc/loadavg: 1.00 1.07 1.23 2/107 14732
/proc/meminfo: memFree=1686476/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=82440 CPUtime=762.11
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 2410880 0 0 0 74634 1577 0 0 25 0 1 0 8005078 84418560 18745 1992294400 4194304 9819077 140734870145568 18446744073709551615 6191183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 20610 18745 744 1374 0 19231 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 82440

[startup+822.301 s]
/proc/loadavg: 1.04 1.07 1.22 2/107 14734
/proc/meminfo: memFree=1682632/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=86584 CPUtime=822.08
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 2638392 0 0 0 80469 1739 0 0 25 0 1 0 8005078 88662016 19698 1992294400 4194304 9819077 140734870145568 18446744073709551615 7291726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 21646 19698 744 1374 0 20267 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 86584

[startup+882.301 s]
/proc/loadavg: 1.05 1.07 1.21 2/107 14736
/proc/meminfo: memFree=1680028/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=89104 CPUtime=882.07
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 2880823 0 0 0 86303 1904 0 0 25 0 1 0 8005078 91242496 20356 1992294400 4194304 9819077 140734870145568 18446744073709551615 7312705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 22276 20356 744 1374 0 20897 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 89104

[startup+942.301 s]
/proc/loadavg: 1.06 1.07 1.20 2/107 14747
/proc/meminfo: memFree=1677796/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=91028 CPUtime=942.03
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 3131711 0 0 0 92140 2063 0 0 25 0 1 0 8005078 93212672 20858 1992294400 4194304 9819077 140734870145568 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 22757 20858 744 1374 0 21378 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 91028

[startup+1002.3 s]
/proc/loadavg: 1.11 1.08 1.19 2/107 14749
/proc/meminfo: memFree=1675812/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=93112 CPUtime=1002.03
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 3383926 0 0 0 97967 2236 0 0 25 0 1 0 8005078 95346688 21301 1992294400 4194304 9819077 140734870145568 18446744073709551615 7291863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 23278 21301 744 1374 0 21899 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 93112

[startup+1062.3 s]
/proc/loadavg: 1.04 1.07 1.17 2/107 14749
/proc/meminfo: memFree=1674200/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=94748 CPUtime=1062.01
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 3619866 0 0 0 103800 2401 0 0 25 0 1 0 8005078 97021952 21689 1992294400 4194304 9819077 140734870145568 18446744073709551615 6391514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 23687 21689 744 1374 0 22308 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 94748

[startup+1122.3 s]
/proc/loadavg: 1.01 1.05 1.16 2/107 14751
/proc/meminfo: memFree=1673704/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=95340 CPUtime=1122
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 3855158 0 0 0 109641 2559 0 0 25 0 1 0 8005078 97628160 21849 1992294400 4194304 9819077 140734870145568 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 23835 21849 744 1374 0 22456 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 95340

[startup+1182.3 s]
/proc/loadavg: 1.00 1.04 1.15 2/107 14753
/proc/meminfo: memFree=1672960/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=96140 CPUtime=1181.98
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 4095144 0 0 0 115476 2722 0 0 25 0 1 0 8005078 98447360 22109 1992294400 4194304 9819077 140734870145568 18446744073709551615 7291971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 24035 22109 744 1374 0 22656 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 96140

[startup+1242.3 s]
/proc/loadavg: 1.00 1.03 1.14 2/107 14755
/proc/meminfo: memFree=1672712/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=96108 CPUtime=1241.96
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 4349622 0 0 0 121303 2893 0 0 25 0 1 0 8005078 98414592 22065 1992294400 4194304 9819077 140734870145568 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 24027 22065 744 1374 0 22648 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 96108

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

[startup+1254.3 s]
/proc/loadavg: 1.00 1.03 1.14 2/107 14755
/proc/meminfo: memFree=1672712/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=96008 CPUtime=1253.96
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 4399103 0 0 0 122464 2932 0 0 25 0 1 0 8005078 98312192 22095 1992294400 4194304 9819077 140734870145568 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 24002 22097 744 1374 0 22623 0
Current children cumulated CPU time (s) 1253.96
Current children cumulated vsize (KiB) 96008

[startup+1267.1 s]
/proc/loadavg: 1.00 1.03 1.13 2/107 14755
/proc/meminfo: memFree=1672712/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=99348 CPUtime=1266.77
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 4454892 0 0 0 123710 2967 0 0 25 0 1 0 8005078 101732352 22079 1992294400 4194304 9819077 140734870145568 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 24220 22059 744 1374 0 22841 0
Current children cumulated CPU time (s) 1266.77
Current children cumulated vsize (KiB) 99348

[startup+1273.5 s]
/proc/loadavg: 1.00 1.03 1.13 2/107 14755
/proc/meminfo: memFree=1672712/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=95880 CPUtime=1273.16
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 4481919 0 0 0 124330 2986 0 0 25 0 1 0 8005078 98181120 22062 1992294400 4194304 9819077 140734870145568 18446744073709551615 6181120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 23970 22062 744 1374 0 22591 0
Current children cumulated CPU time (s) 1273.16
Current children cumulated vsize (KiB) 95880

[startup+1279.9 s]
/proc/loadavg: 1.00 1.03 1.13 2/107 14755
/proc/meminfo: memFree=1672588/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=96296 CPUtime=1279.56
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 4509110 0 0 0 124950 3006 0 0 25 0 1 0 8005078 98607104 22062 1992294400 4194304 9819077 140734870145568 18446744073709551615 6003266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 24074 22062 744 1374 0 22695 0
Current children cumulated CPU time (s) 1279.56
Current children cumulated vsize (KiB) 96296

[startup+1281.51 s]
/proc/loadavg: 1.00 1.03 1.13 2/107 14755
/proc/meminfo: memFree=1672588/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=98440 CPUtime=1281.17
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 4516702 0 0 0 125106 3011 0 0 25 0 1 0 8005078 100802560 22069 1992294400 4194304 9819077 140734870145568 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 24610 22069 744 1374 0 23231 0
Current children cumulated CPU time (s) 1281.17
Current children cumulated vsize (KiB) 98440

[startup+1282.3 s]
/proc/loadavg: 1.00 1.03 1.13 2/107 14755
/proc/meminfo: memFree=1672588/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=96504 CPUtime=1281.96
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 4519709 0 0 0 125183 3013 0 0 25 0 1 0 8005078 98820096 22169 1992294400 4194304 9819077 140734870145568 18446744073709551615 7291843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 24126 22169 744 1374 0 22747 0
Current children cumulated CPU time (s) 1281.96
Current children cumulated vsize (KiB) 96504

[startup+1282.7 s]
/proc/loadavg: 1.00 1.02 1.13 2/107 14755
/proc/meminfo: memFree=1672588/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=98476 CPUtime=1282.36
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 4521497 0 0 0 125221 3015 0 0 25 0 1 0 8005078 100839424 22102 1992294400 4194304 9819077 140734870145568 18446744073709551615 7292289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14711/statm: 24619 22102 744 1374 0 23240 0
Current children cumulated CPU time (s) 1282.36
Current children cumulated vsize (KiB) 98476

[startup+1282.9 s]
/proc/loadavg: 1.00 1.02 1.13 2/107 14755
/proc/meminfo: memFree=1672588/2059040 swapFree=4164932/4192956
[pid=14711] ppid=14709 vsize=70936 CPUtime=1282.56
/proc/14711/stat : 14711 (pbscip.linux.x8) R 14709 14711 13749 0 -1 4202496 4522840 0 0 0 125240 3016 0 0 25 0 1 0 8005078 72638464 16819 1992294400 4194304 9819077 140734870145568 18446744073709551615 8875210 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14711/statm: 17686 16772 745 1374 0 16307 0
Current children cumulated CPU time (s) 1282.56
Current children cumulated vsize (KiB) 70936

Child status: 0
Real time (s): 1282.91
CPU time (s): 1282.58
CPU user time (s): 1252.4
CPU system time (s): 30.1724
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 100584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1252.4
system time used= 30.1724
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4522844
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= 4
involuntary context switches= 2898

runsolver used 2.18567 second user time and 5.99209 second system time

The end

Launcher Data 

Begin job on node051 at 2010-06-16 07:45:36
IDJOB=2665289
IDBENCH=48232
IDSOLVER=1168
FILE ID=node051/2665289-1276667136
PBS_JOBID= 11172481
Free space on /tmp= 62564 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_5.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665289-1276667136/watcher-2665289-1276667136 -o /tmp/evaluation-result-2665289-1276667136/solver-2665289-1276667136 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665289-1276667136.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 75c62437256ecfefd1c4252ede4b185e
RANDOM SEED=966657069

node051.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.255
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.255
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1760792 kB
Buffers:         52272 kB
Cached:         135100 kB
SwapCached:       1444 kB
Active:          97808 kB
Inactive:       122600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1760792 kB
SwapTotal:     4192956 kB
SwapFree:      4164932 kB
Dirty:            6264 kB
Writeback:           0 kB
AnonPages:       31528 kB
Mapped:          14992 kB
Slab:            56124 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182348 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62556 MiB
End job on node051 at 2010-06-16 08:06:59