Trace number 2666632

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT (TO)12 1800.39 1801.11

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_2.opb
MD5SUMfaa00895e2f6f80e77634e2be522df62
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1798.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint45
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6220
Sum of products size (including duplicates)12440
Number of different products6220
Sum of products size12440

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: SoPlex 1.4.2] [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-2666632-1276656044.opb>
0.06/0.08	c original problem has 6420 variables (6420 bin, 0 int, 0 impl, 0 cont) and 6420 constraints
0.06/0.08	c problem read
0.06/0.08	c presolving settings loaded
0.09/0.15	c presolving:
0.59/0.64	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 414832 impls, 0 clqs
0.99/1.09	c    (0.8s) probing: 101/6420 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.99/1.09	c    (0.8s) probing aborted: 100/100 successive totally useless probings
0.99/1.09	c presolving (2 rounds):
0.99/1.09	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.09	c  414832 implications, 0 cliques
0.99/1.09	c presolved problem has 6420 variables (6420 bin, 0 int, 0 impl, 0 cont) and 6420 constraints
0.99/1.09	c    6220 constraints of type <and>
0.99/1.09	c     200 constraints of type <logicor>
0.99/1.09	c transformed objective value is always integral (scale: 1)
0.99/1.09	c Presolving Time: 0.77
0.99/1.09	c - non default parameters ----------------------------------------------------------------------
0.99/1.09	c # SCIP version 1.2.1.2
0.99/1.09	c 
0.99/1.09	c # frequency for displaying node information lines
0.99/1.09	c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.09	c display/freq = 10000
0.99/1.09	c 
0.99/1.09	c # maximal time in seconds to run
0.99/1.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.09	c limits/time = 1799.93
0.99/1.09	c 
0.99/1.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.09	c limits/memory = 1620
0.99/1.09	c 
0.99/1.09	c # should presolving try to simplify inequalities
0.99/1.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.09	c constraints/linear/simplifyinequalities = TRUE
0.99/1.09	c 
0.99/1.09	c # should presolving try to simplify knapsacks
0.99/1.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.09	c constraints/knapsack/simplifyinequalities = TRUE
0.99/1.09	c 
0.99/1.09	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.99/1.09	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.09	c heuristics/undercover/freq = 0
0.99/1.09	c 
0.99/1.09	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.99/1.09	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.09	c separating/rapidlearning/freq = 0
0.99/1.09	c 
0.99/1.09	c -----------------------------------------------------------------------------------------------
0.99/1.09	c start solving
0.99/1.09	c 
1.19/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.19/1.27	c   0.9s|     1 |     0 |   400 |     - |  38M|   0 | 400 |6420 |6420 |6420 |  12k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.29/1.30	o 24
1.29/1.30	c s 1.0s|     1 |     0 |   400 |     - |  39M|   0 | 400 |6420 |6420 |6420 |  12k|   0 |   0 |   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
4.29/4.33	c   3.6s|     1 |     0 |  1000 |     - |  39M|   0 | 400 |6420 |6420 |6420 |  13k| 400 |   0 |   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
5.59/5.66	c   4.9s|     1 |     0 |  1600 |     - |  39M|   0 | 400 |6420 |6420 |6420 |  13k| 804 |   0 |   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
5.59/5.68	o 23
5.59/5.68	c s 5.0s|     1 |     0 |  1600 |     - |  39M|   0 | 400 |6420 |6420 |6420 |  13k| 804 |   0 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
6.99/7.07	c   6.3s|     1 |     0 |  2200 |     - |  39M|   0 | 400 |6420 |6420 |6420 |  13k|1205 |   0 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
8.49/8.52	c   7.8s|     1 |     0 |  2800 |     - |  39M|   0 | 400 |6420 |6420 |6420 |  14k|1608 |   0 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
8.49/8.55	o 19
8.49/8.55	c s 7.8s|     1 |     0 |  2800 |     - |  39M|   0 | 400 |6420 |6420 |6420 |  14k|1608 |   0 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
9.99/10.05	c   9.3s|     1 |     0 |  3400 |     - |  40M|   0 | 400 |6420 |6420 |6420 |  14k|2010 |   0 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
11.59/11.64	c  10.8s|     1 |     0 |  4000 |     - |  40M|   0 | 400 |6420 |6420 |6420 |  15k|2413 |   0 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
11.59/11.67	o 18
11.59/11.67	c s10.9s|     1 |     0 |  4000 |     - |  40M|   0 | 400 |6420 |6420 |6420 |  15k|2413 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
12.79/12.82	c  12.0s|     1 |     2 |  4000 |     - |  40M|   0 | 400 |6420 |6420 |6420 |  15k|2413 |   0 |  10 | 0.000000e+00 | 1.800000e+01 |    Inf 
212.31/212.45	o 12
212.31/212.45	c * 211s|    60 |    44 | 71520 |1144.4 |  39M|  15 |   - |6420 |6420 |6420 |6425 |  21k|   0 | 720 | 2.000000e+00 | 1.200000e+01 | 500.00%
1800.08/1800.80	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.18/1800.95	c 
1800.18/1800.95	c SCIP Status        : solving was interrupted [user interrupt]
1800.18/1800.95	c Solving Time (sec) : 1774.40
1800.18/1800.95	c Solving Nodes      : 782
1800.18/1800.95	c Primal Bound       : +1.20000000000000e+01 (5 solutions)
1800.18/1800.95	c Dual Bound         : +6.93999214476294e+00
1800.18/1800.95	c Gap                : 72.91 %
1800.18/1800.97	s SATISFIABLE
1800.18/1800.97	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1800.18/1800.97	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 
1800.18/1800.97	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1800.18/1800.97	v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 
1800.18/1800.97	v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1800.18/1800.97	v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 
1800.18/1800.97	v -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 
1800.18/1800.97	v -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 x24 x23 -x22 -x21 -x20 -x19 
1800.18/1800.97	v -x18 -x17 x16 -x15 -x14 x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1 
1800.18/1800.97	c SCIP Status        : solving was interrupted [user interrupt]
1800.18/1800.97	c Solving Time       :    1774.40
1800.18/1800.97	c Original Problem   :
1800.18/1800.97	c   Problem name     : HOME/instance-2666632-1276656044.opb
1800.18/1800.97	c   Variables        : 6420 (6420 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.18/1800.97	c   Constraints      : 6420 initial, 6420 maximal
1800.18/1800.97	c Presolved Problem  :
1800.18/1800.97	c   Problem name     : t_HOME/instance-2666632-1276656044.opb
1800.18/1800.97	c   Variables        : 6420 (6420 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.18/1800.97	c   Constraints      : 6420 initial, 6434 maximal
1800.18/1800.97	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.18/1800.97	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.18/1800.97	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.18/1800.97	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.18/1800.97	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.18/1800.97	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.18/1800.97	c   probing          :       0.24          0          0          0          0          0          0          0          0
1800.18/1800.97	c   and              :       0.47          0          0          0          0          0          0          0          0
1800.18/1800.97	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.18/1800.97	c   root node        :          -          0          -          -          0          -          -          -          -
1800.18/1800.97	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.18/1800.97	c   integral         :          0          0          0        767          0          0         10          0          0       1528
1800.18/1800.97	c   and              :       6220       3585      23849          1          0          2      70209     173965          0          0
1800.18/1800.97	c   logicor          :        200+         6       7041          1          0          5         12          0          0          0
1800.18/1800.97	c   countsols        :          0          0          0          1          0          0          0          0          0          0
1800.18/1800.97	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.18/1800.97	c   integral         :     470.82       0.00       0.00     470.82       0.00
1800.18/1800.97	c   and              :      35.92      25.14      10.78       0.00       0.00
1800.18/1800.97	c   logicor          :       0.22       0.00       0.22       0.00       0.00
1800.18/1800.97	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.18/1800.97	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.18/1800.97	c   vbounds          :       0.03          2          0          0
1800.18/1800.97	c   rootredcost      :       0.04          2          0          0
1800.18/1800.97	c   pseudoobj        :       0.65      23710          1          0
1800.18/1800.97	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.18/1800.97	c   propagation      :       0.00          8          8         14       13.2          0        0.0          -
1800.18/1800.97	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.18/1800.97	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.18/1800.97	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.18/1800.97	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.18/1800.97	c   applied globally :          -          -          -         14       13.2          -          -          -
1800.18/1800.97	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.18/1800.97	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.18/1800.97	c   cut pool         :       0.01          5          -          -          0          -    (maximal pool size: 2413)
1800.18/1800.97	c   redcost          :       2.35       3587          0       1936          0          0
1800.18/1800.97	c   impliedbounds    :       0.03          6          0          0       2400          0
1800.18/1800.97	c   intobj           :       0.00          0          0          0          0          0
1800.18/1800.97	c   cgmip            :       0.00          0          0          0          0          0
1800.18/1800.97	c   gomory           :       0.87          6          0          0       3000          0
1800.18/1800.97	c   strongcg         :       0.89          6          0          0       3000          0
1800.18/1800.97	c   cmir             :       4.33          6          0          0       2400          0
1800.18/1800.97	c   flowcover        :       1.03          6          0          0          0          0
1800.18/1800.97	c   clique           :       0.43          6          0          0         13          0
1800.18/1800.97	c   zerohalf         :       0.00          0          0          0          0          0
1800.18/1800.97	c   mcf              :       0.02          1          0          0          0          0
1800.18/1800.97	c   rapidlearning    :       1.00          1          0          0          0          0
1800.18/1800.97	c Pricers            :       Time      Calls       Vars
1800.18/1800.97	c   problem variables:       0.00          0          0
1800.18/1800.97	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.18/1800.97	c   relpscost        :     470.81        766          0         10          0          0       1528
1800.18/1800.97	c   pscost           :       0.00          0          0          0          0          0          0
1800.18/1800.97	c   inference        :       0.00          0          0          0          0          0          0
1800.18/1800.97	c   mostinf          :       0.00          0          0          0          0          0          0
1800.18/1800.97	c   leastinf         :       0.00          0          0          0          0          0          0
1800.18/1800.97	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.18/1800.97	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.18/1800.97	c   random           :       0.00          0          0          0          0          0          0
1800.18/1800.97	c Primal Heuristics  :       Time      Calls      Found
1800.18/1800.97	c   LP solutions     :       0.01          -          1
1800.18/1800.97	c   pseudo solutions :       0.00          -          0
1800.18/1800.97	c   intshifting      :       0.00          0          0
1800.18/1800.97	c   oneopt           :       0.05          5          0
1800.18/1800.97	c   crossover        :       0.43          2          0
1800.18/1800.97	c   trivial          :       0.02          2          0
1800.18/1800.97	c   simplerounding   :       0.00          0          0
1800.18/1800.97	c   zirounding       :       1.13        764          0
1800.18/1800.97	c   rounding         :       4.96        867          0
1800.18/1800.97	c   shifting         :       3.61        407          4
1800.18/1800.97	c   twoopt           :       0.00          0          0
1800.18/1800.97	c   fixandinfer      :       0.00          0          0
1800.18/1800.97	c   feaspump         :       0.00          0          0
1800.18/1800.97	c   coefdiving       :      72.21         17          0
1800.18/1800.97	c   pscostdiving     :      91.93         11          0
1800.18/1800.97	c   fracdiving       :      94.42         13          0
1800.18/1800.97	c   veclendiving     :      64.75         15          0
1800.18/1800.97	c   intdiving        :       0.00          0          0
1800.18/1800.97	c   actconsdiving    :       0.00          0          0
1800.18/1800.97	c   objpscostdiving  :      33.97          3          0
1800.18/1800.97	c   rootsoldiving    :      18.59          7          0
1800.18/1800.97	c   linesearchdiving :      84.14         17          0
1800.18/1800.97	c   guideddiving     :      88.28         13          0
1800.18/1800.97	c   octane           :       0.00          0          0
1800.18/1800.97	c   rens             :       0.54          1          0
1800.18/1800.97	c   rins             :       0.00          0          0
1800.18/1800.97	c   localbranching   :       0.00          0          0
1800.18/1800.97	c   mutation         :       0.00          0          0
1800.18/1800.97	c   dins             :       0.00          0          0
1800.18/1800.97	c   undercover       :       0.02          1          0
1800.18/1800.97	c   nlp              :       0.00          0          0
1800.18/1800.97	c   trysol           :       0.01          0          0
1800.18/1800.97	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.18/1800.97	c   primal LP        :       7.16          0          0       0.00       0.00
1800.18/1800.97	c   dual LP          :     666.80       4226     505364     119.58     757.89
1800.18/1800.97	c   lex dual LP      :       0.00          0          0       0.00          -
1800.18/1800.97	c   barrier LP       :       0.00          0          0       0.00          -
1800.18/1800.97	c   diving/probing LP:     484.93      10838     297137      27.42     612.74
1800.18/1800.97	c   strong branching :     469.51       2509     353834     141.03     753.62
1800.18/1800.97	c     (at root node) :          -         10        525      52.50          -
1800.18/1800.97	c   conflict analysis:       0.00          0          0       0.00          -
1800.18/1800.97	c B&B Tree           :
1800.18/1800.97	c   number of runs   :          1
1800.18/1800.97	c   nodes            :        782
1800.18/1800.97	c   nodes (total)    :        782
1800.18/1800.97	c   nodes left       :        732
1800.18/1800.97	c   max depth        :         47
1800.18/1800.97	c   max depth (total):         47
1800.18/1800.97	c   backtracks       :        238 (30.4%)
1800.18/1800.97	c   delayed cutoffs  :          0
1800.18/1800.97	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.18/1800.97	c   avg switch length:       5.76
1800.18/1800.97	c   switching time   :       8.48
1800.18/1800.97	c Solution           :
1800.18/1800.97	c   Solutions found  :          5 (5 improvements)
1800.18/1800.97	c   First Solution   : +2.40000000000000e+01   (in run 1, after 1 nodes, 0.95 seconds, depth 0, found by <shifting>)
1800.18/1800.97	c   Primal Bound     : +1.20000000000000e+01   (in run 1, after 60 nodes, 210.57 seconds, depth 15, found by <relaxation>)
1800.18/1800.97	c   Dual Bound       : +6.93999214476294e+00
1800.18/1800.97	c   Gap              :      72.91 %
1800.18/1800.97	c   Root Dual Bound  : +0.00000000000000e+00
1800.18/1800.97	c   Root Iterations  :       4000
1800.37/1801.11	c Time complete: 1800.38.

Verifier Data 

OK	12

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666632-1276656044/watcher-2666632-1276656044 -o /tmp/evaluation-result-2666632-1276656044/solver-2666632-1276656044 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666632-1276656044.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: 1.00 1.00 1.00 3/106 13770
/proc/meminfo: memFree=1759164/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=7724 CPUtime=0
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 1027 0 0 0 0 0 0 0 21 0 1 0 6896671 7909376 948 1992294400 4194304 8223781 140737127322944 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13770/statm: 1931 956 348 984 0 944 0

[startup+0.068143 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13770
/proc/meminfo: memFree=1759164/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=16148 CPUtime=0.06
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 3355 0 0 0 5 1 0 0 23 0 1 0 6896671 16535552 3275 1992294400 4194304 8223781 140737127322944 18446744073709551615 7246605 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13770/statm: 4037 3275 366 984 0 3050 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16148

[startup+0.10215 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13770
/proc/meminfo: memFree=1759164/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=23756 CPUtime=0.09
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 5542 0 0 0 7 2 0 0 23 0 1 0 6896671 24326144 5098 1992294400 4194304 8223781 140737127322944 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 5939 5098 383 984 0 4952 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23756

[startup+0.301188 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13770
/proc/meminfo: memFree=1759164/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=38056 CPUtime=0.29
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 8818 0 0 0 25 4 0 0 23 0 1 0 6896671 38969344 8374 1992294400 4194304 8223781 140737127322944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 9514 8374 427 984 0 8527 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38056

[startup+0.700259 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13770
/proc/meminfo: memFree=1759164/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=47076 CPUtime=0.69
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 12102 0 0 0 53 16 0 0 25 0 1 0 6896671 48205824 10630 1992294400 4194304 8223781 140737127322944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 11769 10630 447 984 0 10782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47076

[startup+1.5004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13771
/proc/meminfo: memFree=1716872/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=73232 CPUtime=1.49
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 21376 0 0 0 121 28 0 0 25 0 1 0 6896671 74989568 16996 1992294400 4194304 8223781 140737127322944 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 18308 16996 555 984 0 17321 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73232

[startup+3.10069 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13771
/proc/meminfo: memFree=1692568/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=103388 CPUtime=3.09
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 28500 0 0 0 266 43 0 0 25 0 1 0 6896671 105869312 23961 1992294400 4194304 8223781 140737127322944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 25847 23961 577 984 0 24860 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 103388

[startup+6.30027 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13773
/proc/meminfo: memFree=1680788/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=85900 CPUtime=6.29
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 31009 0 0 0 563 66 0 0 25 0 1 0 6896671 87961600 20086 1992294400 4194304 8223781 140737127322944 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 21475 20086 585 984 0 20488 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85900

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13773
/proc/meminfo: memFree=1650532/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=86972 CPUtime=12.69
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 39059 0 0 0 1191 78 0 0 25 0 1 0 6896671 89059328 20472 1992294400 4194304 8223781 140737127322944 18446744073709551615 6606331 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 21743 20472 588 984 0 20756 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86972

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13773
/proc/meminfo: memFree=1678928/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=86944 CPUtime=25.48
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 39152 0 0 0 2463 85 0 0 25 0 1 0 6896671 89030656 20389 1992294400 4194304 8223781 140737127322944 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 21736 20389 589 984 0 20749 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86944

[startup+51.1004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13773
/proc/meminfo: memFree=1678804/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=86944 CPUtime=51.06
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 39201 0 0 0 5006 100 0 0 25 0 1 0 6896671 89030656 20390 1992294400 4194304 8223781 140737127322944 18446744073709551615 6614809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 21736 20390 589 984 0 20749 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 86944

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13775
/proc/meminfo: memFree=1678804/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=86936 CPUtime=102.25
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 39242 0 0 0 10106 119 0 0 25 0 1 0 6896671 89022464 20391 1992294400 4194304 8223781 140737127322944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 21734 20391 591 984 0 20747 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 86936

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13777
/proc/meminfo: memFree=1678804/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=86904 CPUtime=162.22
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 39296 0 0 0 16074 148 0 0 25 0 1 0 6896671 88989696 20403 1992294400 4194304 8223781 140737127322944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 21726 20403 591 984 0 20739 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 86904

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13777
/proc/meminfo: memFree=1678184/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=86968 CPUtime=222.2
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 39836 0 0 0 22043 177 0 0 25 0 1 0 6896671 89055232 20421 1992294400 4194304 8223781 140737127322944 18446744073709551615 6252778 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 21742 20421 591 984 0 20755 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 86968

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13779
/proc/meminfo: memFree=1678060/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=88928 CPUtime=282.17
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 89059 0 0 0 27994 223 0 0 25 0 1 0 6896671 91062272 20589 1992294400 4194304 8223781 140737127322944 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 22232 20589 591 984 0 21245 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 88928

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13781
/proc/meminfo: memFree=1677192/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=89196 CPUtime=342.15
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 214127 0 0 0 33917 298 0 0 25 0 1 0 6896671 91336704 20704 1992294400 4194304 8223781 140737127322944 18446744073709551615 6612559 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 22299 20704 591 984 0 21312 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 89196

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13783
/proc/meminfo: memFree=1676572/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=90156 CPUtime=402.13
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 378418 0 0 0 39828 385 0 0 25 0 1 0 6896671 92319744 20906 1992294400 4194304 8223781 140737127322944 18446744073709551615 6304344 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 22539 20906 600 984 0 21552 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 90156

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13785
/proc/meminfo: memFree=1676200/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=90616 CPUtime=462.11
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 566557 0 0 0 45727 484 0 0 25 0 1 0 6896671 92790784 20970 1992294400 4194304 8223781 140737127322944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 22654 20970 591 984 0 21667 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 90616

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13785
/proc/meminfo: memFree=1674588/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=91760 CPUtime=522.09
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 742794 0 0 0 51632 577 0 0 25 0 1 0 6896671 93962240 21316 1992294400 4194304 8223781 140737127322944 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 22940 21316 591 984 0 21953 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 91760

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13787
/proc/meminfo: memFree=1674588/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=92224 CPUtime=582.06
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 934303 0 0 0 57531 675 0 0 25 0 1 0 6896671 94437376 21349 1992294400 4194304 8223781 140737127322944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 23056 21349 591 984 0 22069 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 92224

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13789
/proc/meminfo: memFree=1673348/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=93260 CPUtime=642.05
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 1134004 0 0 0 63435 770 0 0 25 0 1 0 6896671 95498240 21617 1992294400 4194304 8223781 140737127322944 18446744073709551615 6570065 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 23315 21617 591 984 0 22328 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 93260

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13797
/proc/meminfo: memFree=1669876/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=96896 CPUtime=941.93
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 2100916 0 0 0 92933 1260 0 0 25 0 1 0 6896671 99221504 22503 1992294400 4194304 8223781 140737127322944 18446744073709551615 6568426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 24224 22503 593 984 0 23237 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 96896

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13799
/proc/meminfo: memFree=1669628/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=96740 CPUtime=1001.9
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 2315474 0 0 0 98828 1362 0 0 25 0 1 0 6896671 99061760 22473 1992294400 4194304 8223781 140737127322944 18446744073709551615 6004033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 24185 22473 593 984 0 23198 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 96740

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13801
/proc/meminfo: memFree=1669132/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=97220 CPUtime=1061.88
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 2489962 0 0 0 104734 1454 0 0 25 0 1 0 6896671 99553280 22596 1992294400 4194304 8223781 140737127322944 18446744073709551615 6560187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 24305 22596 593 984 0 23318 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 97220

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13801
/proc/meminfo: memFree=1668016/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=98272 CPUtime=1121.86
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 2675310 0 0 0 110639 1547 0 0 25 0 1 0 6896671 100630528 22832 1992294400 4194304 8223781 140737127322944 18446744073709551615 6591930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 24568 22832 593 984 0 23581 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 98272

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13803
/proc/meminfo: memFree=1667396/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=98576 CPUtime=1181.83
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 2862660 0 0 0 116537 1646 0 0 25 0 1 0 6896671 100941824 23002 1992294400 4194304 8223781 140737127322944 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 24644 23002 593 984 0 23657 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 98576

[startup+1242.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 13814
/proc/meminfo: memFree=1667148/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=98292 CPUtime=1241.78
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 3045979 0 0 0 122439 1739 0 0 25 0 1 0 6896671 100651008 22954 1992294400 4194304 8223781 140737127322944 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 24573 22954 593 984 0 23586 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 98292

[startup+1302.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 13816
/proc/meminfo: memFree=1665908/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=99936 CPUtime=1301.77
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 3241754 0 0 0 128347 1830 0 0 25 0 1 0 6896671 102334464 23298 1992294400 4194304 8223781 140737127322944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 24984 23298 593 984 0 23997 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 99936

[startup+1362.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 13818
/proc/meminfo: memFree=1665908/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=100064 CPUtime=1361.74
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 3465770 0 0 0 134235 1939 0 0 25 0 1 0 6896671 102465536 23284 1992294400 4194304 8223781 140737127322944 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 25016 23284 593 984 0 24029 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 100064

[startup+1422.31 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 13818
/proc/meminfo: memFree=1665164/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=100640 CPUtime=1421.73
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 3672707 0 0 0 140132 2041 0 0 25 0 1 0 6896671 103055360 23485 1992294400 4194304 8223781 140737127322944 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 25160 23485 593 984 0 24173 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 100640

[startup+1482.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/107 13820
/proc/meminfo: memFree=1665040/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=100788 CPUtime=1481.7
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 3869756 0 0 0 146031 2139 0 0 25 0 1 0 6896671 103206912 23490 1992294400 4194304 8223781 140737127322944 18446744073709551615 6592531 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 25197 23497 593 984 0 24210 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 100788

[startup+1542.3 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 13822
/proc/meminfo: memFree=1662932/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=103596 CPUtime=1541.67
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 4068311 0 0 0 151924 2243 0 0 25 0 1 0 6896671 106082304 24217 1992294400 4194304 8223781 140737127322944 18446744073709551615 6448661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 25899 24217 593 984 0 24912 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 103596

[startup+1602.3 s]
/proc/loadavg: 1.11 1.06 1.00 2/107 13824
/proc/meminfo: memFree=1661940/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=104428 CPUtime=1601.65
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 4292600 0 0 0 157821 2344 0 0 25 0 1 0 6896671 106934272 24462 1992294400 4194304 8223781 140737127322944 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 26107 24462 593 984 0 25120 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 104428

[startup+1662.3 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 13826
/proc/meminfo: memFree=1659336/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=104848 CPUtime=1661.63
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 4441657 0 0 0 163741 2422 0 0 25 0 1 0 6896671 107364352 24897 1992294400 4194304 8223781 140737127322944 18446744073709551615 6514396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 26212 24897 593 984 0 25225 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 104848

[startup+1722.3 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 13826
/proc/meminfo: memFree=1658840/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=106052 CPUtime=1721.6
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 4517406 0 0 0 169685 2475 0 0 25 0 1 0 6896671 108597248 25086 1992294400 4194304 8223781 140737127322944 18446744073709551615 6567173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 26513 25086 593 984 0 25526 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 106052

[startup+1782.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 13828
/proc/meminfo: memFree=1658840/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=106076 CPUtime=1781.57
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 4645866 0 0 0 175611 2546 0 0 25 0 1 0 6896671 108621824 25091 1992294400 4194304 8223781 140737127322944 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 26519 25091 593 984 0 25532 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 106076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 13828
/proc/meminfo: memFree=1658840/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=106008 CPUtime=1800.08
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 4704454 0 0 0 177431 2577 0 0 25 0 1 0 6896671 108552192 25085 1992294400 4194304 8223781 140737127322944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 26502 25085 593 984 0 25515 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 106008

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

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

[startup+1801 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 13828
/proc/meminfo: memFree=1658840/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=104428 CPUtime=1800.27
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 4704812 0 0 0 177450 2577 0 0 18 0 1 0 6896671 106934272 24712 1992294400 4194304 8223781 140737127322944 18446744073709551615 6075507 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13770/statm: 26107 24712 595 984 0 25120 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 104428

[startup+1801.1 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 13828
/proc/meminfo: memFree=1658840/2059040 swapFree=4192956/4192956
[pid=13770] ppid=13768 vsize=42592 CPUtime=1800.37
/proc/13770/stat : 13770 (pbscip.linux.x8) R 13768 13770 11820 0 -1 4202496 4704812 0 0 0 177459 2578 0 0 18 0 1 0 6896671 43614208 10055 1992294400 4194304 8223781 140737127322944 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13770/statm: 10648 10055 595 984 0 9661 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 42592

Child status: 0
Real time (s): 1801.11
CPU time (s): 1800.39
CPU user time (s): 1774.6
CPU system time (s): 25.7911
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 128588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.6
system time used= 25.7911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4704816
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 4852

runsolver used 2.87856 second user time and 8.60269 second system time

The end

Launcher Data 

Begin job on node044 at 2010-06-16 04:40:44
IDJOB=2666632
IDBENCH=48145
IDSOLVER=1169
FILE ID=node044/2666632-1276656044
PBS_JOBID= 11172426
Free space on /tmp= 62588 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666632-1276656044/watcher-2666632-1276656044 -o /tmp/evaluation-result-2666632-1276656044/solver-2666632-1276656044 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666632-1276656044.opb -t 1800 -m 1800

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

MD5SUM BENCH= faa00895e2f6f80e77634e2be522df62
RANDOM SEED=892644444

node044.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.266
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.53
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.266
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1759692 kB
Buffers:         30140 kB
Cached:         144740 kB
SwapCached:          0 kB
Active:         125824 kB
Inactive:       108456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1759692 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4620 kB
Writeback:           0 kB
AnonPages:       59428 kB
Mapped:          15412 kB
Slab:            43388 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181244 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= 62584 MiB
End job on node044 at 2010-06-16 05:10:47