Trace number 1870477

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT-14 1798.3 1806.57

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_5.opb
MD5SUM1a8c058c181490cb899ec7074b22bfb3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1798.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
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)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

Quality of the solution as a function of time


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

Solver Data 

0.01/0.05	c SCIP version 1.1.0.7
0.01/0.05	c LP-Solver Clp 1.8.2
0.01/0.05	c user parameter file <scip.set> not found - using default parameters
0.01/0.05	c read problem <HOME/instance-1870477-1245206733.opb>
0.01/0.05	c original problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3363 constraints
0.01/0.08	c start presolving problem
0.01/0.08	c presolving:
0.19/0.27	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24696 impls, 200 clqs
0.39/0.48	c    (0.2s) probing: 101/3262 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.48	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.49	c presolving (2 rounds):
0.39/0.49	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.49	c  24696 implications, 200 cliques
0.39/0.49	c presolved problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3363 constraints
0.39/0.49	c     200 constraints of type <setppc>
0.39/0.49	c    3062 constraints of type <and>
0.39/0.49	c       1 constraints of type <linear>
0.39/0.49	c     100 constraints of type <logicor>
0.39/0.49	c transformed objective value is always integral (scale: 1)
0.39/0.49	c Presolving Time: 0.22
0.39/0.49	c OPT-NLC
0.39/0.49	c -----------------------------------------------------------------------------------------------
0.39/0.49	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49	c limits/memory = c 1620
0.39/0.49	c # maximal time in seconds to run
0.39/0.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49	c limits/time = c 1791
0.39/0.49	c # frequency for displaying node information lines
0.39/0.49	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.49	c display/freq = c 10000
0.39/0.49	c -----------------------------------------------------------------------------------------------
0.39/0.49	c start solving problem
0.39/0.49	c 
0.58/0.69	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.58/0.69	c   0.4s|     1 |     0 |   333 |  15M|   0 | 263 |3262 |3363 |3363 |3262 |6425 |   0 |   0 |   0 |-5.000000e+01 |      --      |    Inf 
6.69/6.89	c   6.5s|     1 |     0 |  7854 |  15M|   0 |1214 |3262 |3363 |3363 |3262 |6429 |   4 |   0 |   0 |-5.000000e+01 |      --      |    Inf 
6.79/6.91	o -5
6.79/6.91	c s 6.5s|     1 |     0 |  7854 |  15M|   0 |1214 |3262 |3363 |3363 |3262 |6429 |   4 |   0 |   0 |-5.000000e+01 |-5.000000e+00 |  90.00%
8.76/8.93	c   8.5s|     1 |     0 |  9633 |  16M|   0 | 941 |3262 |3363 |3363 |3262 |6433 |   8 |   0 |   0 |-5.000000e+01 |-5.000000e+00 |  90.00%
12.53/12.79	c  12.3s|     1 |     0 | 11543 |  16M|   0 |1702 |3262 |3363 |3363 |3262 |6437 |  12 |   0 |   0 |-5.000000e+01 |-5.000000e+00 |  90.00%
13.82/14.06	c  13.5s|     1 |     0 | 11668 |  16M|   0 |1703 |3262 |3363 |3363 |3262 |6440 |  15 |   0 |   0 |-5.000000e+01 |-5.000000e+00 |  90.00%
15.01/15.27	c  14.7s|     1 |     0 | 11801 |  16M|   0 |1702 |3262 |3363 |3363 |3262 |6444 |  19 |   0 |   0 |-5.000000e+01 |-5.000000e+00 |  90.00%
15.01/15.29	o -5
15.01/15.29	c s14.7s|     1 |     0 | 11801 |  16M|   0 |1702 |3262 |3363 |3363 |3262 |6444 |  19 |   0 |   0 |-5.000000e+01 |-5.000000e+00 |  90.00%
16.20/16.48	c  15.9s|     1 |     0 | 11958 |  16M|   0 |1703 |3262 |3363 |3363 |3262 |6448 |  23 |   0 |   0 |-5.000000e+01 |-5.000000e+00 |  90.00%
17.29/17.52	c  16.9s|     1 |     0 | 12032 |  16M|   0 |1702 |3262 |3363 |3363 |3262 |6451 |  26 |   0 |   0 |-5.000000e+01 |-5.000000e+00 |  90.00%
32.74/33.18	c  32.4s|     1 |     2 | 12032 |  16M|   0 |1702 |3262 |3363 |3363 |3262 |6451 |  26 |   0 |  19 |-5.000000e+01 |-5.000000e+00 |  90.00%
473.03/475.98	o -11
473.03/475.98	c l 471s|    36 |    37 |348793 |  17M|  15 |   - |3262 |3368 |  74 |3262 |3356 |6266 |   5 | 540 |-4.902285e+01 |-1.100000e+01 |  77.56%
523.75/527.17	o -12
523.75/527.17	c l 521s|    42 |    43 |396469 |  18M|  16 |   - |3262 |3372 |  73 |3262 |3229 |6867 |   9 | 585 |-4.881263e+01 |-1.200000e+01 |  75.42%
802.70/807.19	o -13
802.70/807.19	c l 799s|    83 |    84 |653409 |  18M|  31 |   - |3262 |3394 |  64 |3262 |3417 |8759 |  31 | 824 |-4.856419e+01 |-1.300000e+01 |  73.23%
1408.26/1415.16	o -14
1408.26/1415.16	c l1403s|   349 |   350 |  1149k|  20M|  61 |   - |3262 |3409 |  88 |3262 |3283 |  13k|  46 |1656 |-4.101041e+01 |-1.400000e+01 |  65.86%
1798.12/1806.49	c 
1798.12/1806.49	c SCIP Status        : solving was interrupted [time limit reached]
1798.12/1806.49	c Solving Time (sec) : 1791.01
1798.12/1806.49	c Solving Nodes      : 574
1798.12/1806.49	c Primal Bound       : -1.40000000000000e+01 (10 solutions)
1798.12/1806.49	c Dual Bound         : -4.04853988614837e+01
1798.12/1806.49	c Gap                : 65.42 %
1798.12/1806.49	c NODE         574
1798.12/1806.49	c DUAL BOUND   -40.4854
1798.12/1806.49	c PRIMAL BOUND -14
1798.12/1806.49	c GAP          0.654196
1798.12/1806.49	s SATISFIABLE
1798.12/1806.49	v -x160 x183 -x118 -x165 -x126 -x157 -x148 -x158 -x196 x181 x167 -x156 -x142 -x131 -x198 -x197 -x163 -x137 -x110 -x171 -x107 -x103 
1798.12/1806.49	v -x144 -x130 -x125 -x122 -x113 -x119 -x159 -x192 -x195 -x164 -x179 -x175 -x188 -x145 -x191 -x151 -x169 -x102 -x152 -x146 -x140 
1798.12/1806.49	v -x135 -x112 -x105 -x134 -x143 x190 -x186 -x189 -x123 -x194 -x136 x114 -x138 -x154 x141 -x162 -x200 -x109 -x185 -x101 -x193 
1798.12/1806.49	v -x178 -x172 x170 -x155 -x139 -x124 -x120 -x117 -x116 -x108 x104 -x128 -x147 -x168 x153 -x184 -x132 -x180 -x106 -x115 x187 -x129 
1798.12/1806.49	v x199 x161 -x149 -x127 -x182 -x174 -x150 -x121 -x133 -x177 x173 -x111 -x166 x176 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
1798.12/1806.49	v -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 x75 x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 
1798.12/1806.49	v -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 
1798.12/1806.49	v -x40 x39 -x38 x37 x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 
1798.12/1806.49	v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1798.12/1806.49	c SCIP Status        : solving was interrupted [time limit reached]
1798.12/1806.49	c Solving Time       :    1791.01
1798.12/1806.49	c Original Problem   :
1798.12/1806.49	c   Problem name     : HOME/instance-1870477-1245206733.opb
1798.12/1806.49	c   Variables        : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.12/1806.49	c   Constraints      : 3363 initial, 3363 maximal
1798.12/1806.49	c Presolved Problem  :
1798.12/1806.49	c   Problem name     : t_HOME/instance-1870477-1245206733.opb
1798.12/1806.49	c   Variables        : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.12/1806.49	c   Constraints      : 3363 initial, 3415 maximal
1798.12/1806.49	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1798.12/1806.49	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1798.12/1806.49	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1798.12/1806.49	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1798.12/1806.49	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1798.12/1806.49	c   implics          :       0.00          0          0          0          0          0          0          0          0
1798.12/1806.49	c   probing          :       0.08          0          0          0          0          0          0          0          0
1798.12/1806.49	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1798.12/1806.49	c   and              :       0.10          0          0          0          0          0          0          0          0
1798.12/1806.49	c   linear           :       0.02          0          0          0          0          0          0          0          0
1798.12/1806.49	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1798.12/1806.49	c   root node        :          -          0          -          -          0          -          -          -          -
1798.12/1806.49	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1798.12/1806.49	c   integral         :          0          0          0        587          0          0         16          0          0       1148
1798.12/1806.49	c   setppc           :        200          7      28808          0          0         11       2593          0          0          0
1798.12/1806.49	c   and              :       3062       1290      28800          0          0         25      72081      33979          0          0
1798.12/1806.49	c   linear           :          1          7      28771          0          0          1          0          0          0          0
1798.12/1806.49	c   logicor          :        100+         7       1750          0          0          0        384          0          0          0
1798.12/1806.49	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1798.12/1806.49	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1798.12/1806.49	c   integral         :     451.84       0.00       0.00     451.84       0.00
1798.12/1806.49	c   setppc           :       0.43       0.00       0.43       0.00       0.00
1798.12/1806.49	c   and              :       7.70       2.66       5.04       0.00       0.00
1798.12/1806.49	c   linear           :       0.30       0.00       0.30       0.00       0.00
1798.12/1806.49	c   logicor          :       0.02       0.00       0.02       0.00       0.00
1798.12/1806.49	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1798.12/1806.49	c Propagators        :       Time      Calls    Cutoffs    DomReds
1798.12/1806.49	c   rootredcost      :       0.01          5          0          0
1798.12/1806.49	c   pseudoobj        :       0.26      28635          2          0
1798.12/1806.49	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.12/1806.49	c   propagation      :       0.00         39         39         55       54.2          3       91.0          -
1798.12/1806.49	c   infeasible LP    :       0.31        372          0          0        0.0          0        0.0          0
1798.12/1806.49	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.12/1806.49	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.12/1806.49	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.12/1806.49	c   applied globally :          -          -          -         55       53.3          -          -          -
1798.12/1806.49	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.12/1806.49	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1798.12/1806.49	c   cut pool         :       0.01          6          -          -          6          -    (maximal pool size: 160)
1798.12/1806.49	c   redcost          :       0.49       1290          0          0          0          0
1798.12/1806.49	c   impliedbounds    :       0.02          7          0          0          0          0
1798.12/1806.49	c   intobj           :       0.00          0          0          0          0          0
1798.12/1806.49	c   gomory           :       1.79          7          0          0         10          0
1798.12/1806.49	c   strongcg         :       1.75          7          0          0        586          0
1798.12/1806.49	c   cmir             :       0.56          7          0          0          0          0
1798.12/1806.49	c   flowcover        :       0.54          7          0          0          0          0
1798.12/1806.49	c   clique           :       0.62          7          0          0         40          0
1798.12/1806.49	c   zerohalf         :       0.00          0          0          0          0          0
1798.12/1806.49	c   mcf              :       0.03          2          0          0          0          0
1798.12/1806.49	c Pricers            :       Time      Calls       Vars
1798.12/1806.49	c   problem variables:       0.00          0          0
1798.12/1806.49	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.12/1806.49	c   relpscost        :     451.84        587          0         16          0          0       1148
1798.12/1806.49	c   pscost           :       0.00          0          0          0          0          0          0
1798.12/1806.50	c   inference        :       0.00          0          0          0          0          0          0
1798.12/1806.50	c   mostinf          :       0.00          0          0          0          0          0          0
1798.12/1806.50	c   leastinf         :       0.00          0          0          0          0          0          0
1798.12/1806.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1798.12/1806.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1798.12/1806.50	c   random           :       0.00          0          0          0          0          0          0
1798.12/1806.50	c Primal Heuristics  :       Time      Calls      Found
1798.12/1806.50	c   LP solutions     :       0.00          -          0
1798.12/1806.50	c   pseudo solutions :       0.00          -          0
1798.12/1806.50	c   oneopt           :       0.02          5          0
1798.12/1806.50	c   coefdiving       :      65.88         13          0
1798.12/1806.50	c   simplerounding   :       0.01          0          0
1798.12/1806.50	c   rounding         :       6.08        450          0
1798.12/1806.50	c   shifting         :       1.23        125          6
1798.12/1806.50	c   intshifting      :       0.00          0          0
1798.12/1806.50	c   fixandinfer      :       0.00          0          0
1798.12/1806.50	c   feaspump         :       5.23          1          0
1798.12/1806.50	c   pscostdiving     :      56.40          9          0
1798.12/1806.50	c   fracdiving       :      60.67         13          0
1798.12/1806.50	c   veclendiving     :      43.24         11          0
1798.12/1806.50	c   intdiving        :       0.00          0          0
1798.12/1806.50	c   actconsdiving    :       0.00          0          0
1798.12/1806.50	c   objpscostdiving  :      31.60          3          0
1798.12/1806.50	c   rootsoldiving    :      14.00          8          0
1798.12/1806.50	c   linesearchdiving :      59.86         28          4
1798.12/1806.50	c   guideddiving     :      59.62         12          0
1798.12/1806.50	c   octane           :       0.00          0          0
1798.12/1806.50	c   rens             :       0.01          0          0
1798.12/1806.50	c   rins             :       0.00          0          0
1798.12/1806.50	c   localbranching   :       0.00          0          0
1798.12/1806.50	c   mutation         :       0.00          0          0
1798.12/1806.50	c   crossover        :       0.45          1          0
1798.12/1806.50	c   dins             :       0.00          0          0
1798.12/1806.50	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1798.12/1806.50	c   primal LP        :     129.90          0          0       0.00       0.00
1798.12/1806.50	c   dual LP          :     790.44       1301     895586     688.38    1133.02
1798.12/1806.50	c   barrier LP       :       0.00          0          0       0.00          -
1798.12/1806.50	c   diving/probing LP:     341.64      21952     560525      25.53    1640.69
1798.12/1806.50	c   strong branching :     451.33       2267     559970     247.01    1240.71
1798.12/1806.50	c     (at root node) :          -         19       7714     406.00          -
1798.12/1806.50	c   conflict analysis:       0.00          0          0       0.00          -
1798.12/1806.50	c B&B Tree           :
1798.12/1806.50	c   number of runs   :          1
1798.21/1806.50	c   nodes            :        574
1798.21/1806.50	c   nodes (total)    :        574
1798.21/1806.50	c   nodes left       :        575
1798.21/1806.50	c   max depth        :         61
1798.21/1806.50	c   max depth (total):         61
1798.21/1806.50	c   backtracks       :        106 (18.5%)
1798.21/1806.50	c   delayed cutoffs  :          0
1798.21/1806.50	c   repropagations   :         13 (1 domain reductions, 0 cutoffs)
1798.21/1806.50	c   avg switch length:       3.07
1798.21/1806.50	c   switching time   :     130.44
1798.21/1806.50	c Solution           :
1798.21/1806.50	c   Solutions found  :         10 (6 improvements)
1798.21/1806.50	c   Primal Bound     : -1.40000000000000e+01   (in run 1, after 349 nodes, 1402.70 seconds, depth 86, found by <linesearchdiving>)
1798.21/1806.50	c   Dual Bound       : -4.04853988614837e+01
1798.21/1806.50	c   Gap              :      65.42 %
1798.21/1806.50	c   Root Dual Bound  : -5.00000000000000e+01
1798.21/1806.57	c Time complete: 1798.29.

Verifier Data 

OK	-14

Watcher Data 

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

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

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.63 1.57 1.46 3/86 19016
/proc/meminfo: memFree=612936/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=7620 CPUtime=0
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 908 0 0 0 0 0 0 0 18 0 1 0 188272398 7802880 892 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 0 0 0
/proc/19016/statm: 1905 898 357 1256 0 644 0

[startup+0.0240669 s]
/proc/loadavg: 1.63 1.57 1.46 3/86 19016
/proc/meminfo: memFree=612936/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=12468 CPUtime=0.01
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 2078 0 0 0 1 0 0 0 18 0 1 0 188272398 12767232 2062 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 0 0 0
/proc/19016/statm: 3117 2062 378 1256 0 1856 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12468

[startup+0.112907 s]
/proc/loadavg: 1.63 1.57 1.46 3/86 19016
/proc/meminfo: memFree=612936/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=23104 CPUtime=0.1
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 4910 0 0 0 8 2 0 0 18 0 1 0 188272398 23658496 4540 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19016/statm: 5776 4540 446 1256 0 4515 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 23104

[startup+0.301097 s]
/proc/loadavg: 1.63 1.57 1.46 3/86 19016
/proc/meminfo: memFree=612936/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=26736 CPUtime=0.29
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 5850 0 0 0 15 14 0 0 19 0 1 0 188272398 27377664 5480 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19016/statm: 6684 5480 478 1256 0 5423 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26736

[startup+0.701143 s]
/proc/loadavg: 1.63 1.57 1.46 3/86 19016
/proc/meminfo: memFree=612936/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=42656 CPUtime=0.68
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 9175 0 0 0 46 22 0 0 23 0 1 0 188272398 43679744 8779 1992294400 4194304 9342243 548682068736 18446744073709551615 5397284 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 10664 8779 629 1256 0 9403 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 42656

[startup+1.50122 s]
/proc/loadavg: 1.63 1.57 1.46 2/87 19017
/proc/meminfo: memFree=578816/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=43784 CPUtime=1.45
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 9584 0 0 0 122 23 0 0 25 0 1 0 188272398 44834816 9188 1992294400 4194304 9342243 548682068736 18446744073709551615 6952866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 10946 9188 647 1256 0 9685 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 43784

[startup+3.10239 s]
/proc/loadavg: 1.58 1.56 1.46 2/87 19017
/proc/meminfo: memFree=578368/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=44204 CPUtime=3.04
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 9602 0 0 0 278 26 0 0 25 0 1 0 188272398 45264896 9206 1992294400 4194304 9342243 548682068736 18446744073709551615 6940594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 11051 9206 647 1256 0 9790 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 44204

[startup+6.30172 s]
/proc/loadavg: 1.58 1.56 1.46 2/87 19017
/proc/meminfo: memFree=577408/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=44548 CPUtime=6.21
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 10015 0 0 0 593 28 0 0 25 0 1 0 188272398 45617152 9619 1992294400 4194304 9342243 548682068736 18446744073709551615 5597687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 11137 9619 665 1256 0 9876 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 44548

[startup+12.7014 s]
/proc/loadavg: 1.57 1.56 1.46 2/87 19017
/proc/meminfo: memFree=567752/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=55304 CPUtime=12.53
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 12561 0 0 0 1220 33 0 0 25 0 1 0 188272398 56631296 11892 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 13826 11892 685 1256 0 12565 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 55304

[startup+25.5017 s]
/proc/loadavg: 1.48 1.54 1.45 2/87 19017
/proc/meminfo: memFree=565640/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=61316 CPUtime=25.21
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 15387 0 0 0 2481 40 0 0 25 0 1 0 188272398 62787584 12439 1992294400 4194304 9342243 548682068736 18446744073709551615 6959510 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 15329 12439 700 1256 0 14068 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 61316

[startup+51.1014 s]
/proc/loadavg: 1.44 1.53 1.45 2/87 19017
/proc/meminfo: memFree=565448/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=54212 CPUtime=50.61
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 17717 0 0 0 5017 44 0 0 25 0 1 0 188272398 55513088 12453 1992294400 4194304 9342243 548682068736 18446744073709551615 6960602 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 13553 12453 705 1256 0 12292 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 54212

[startup+102.308 s]
/proc/loadavg: 1.75 1.58 1.47 2/87 19017
/proc/meminfo: memFree=565448/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=55852 CPUtime=101.37
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 20583 0 0 0 10082 55 0 0 25 0 1 0 188272398 57192448 12528 1992294400 4194304 9342243 548682068736 18446744073709551615 6039827 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19016/statm: 13963 12528 705 1256 0 12702 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 55852

[startup+162.302 s]
/proc/loadavg: 1.38 1.51 1.45 3/87 19017
/proc/meminfo: memFree=564936/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=56556 CPUtime=160.77
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 25389 0 0 0 16002 75 0 0 25 0 1 0 188272398 57913344 12605 1992294400 4194304 9342243 548682068736 18446744073709551615 6952357 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 14139 12605 708 1256 0 12878 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 56556

[startup+222.301 s]
/proc/loadavg: 1.35 1.48 1.44 4/87 19017
/proc/meminfo: memFree=564808/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=56696 CPUtime=220.21
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 37090 0 0 0 21925 96 0 0 25 0 1 0 188272398 58056704 12625 1992294400 4194304 9342243 548682068736 18446744073709551615 6965930 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 14174 12625 708 1256 0 12913 0
Current children cumulated CPU time (s) 220.21
Current children cumulated vsize (KiB) 56696

[startup+282.304 s]
/proc/loadavg: 1.39 1.46 1.44 4/87 19017
/proc/meminfo: memFree=565128/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=62644 CPUtime=279.9
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 56568 0 0 0 27869 121 0 0 25 0 1 0 188272398 64147456 12582 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 15661 12582 711 1256 0 14400 0
Current children cumulated CPU time (s) 279.9
Current children cumulated vsize (KiB) 62644

[startup+342.302 s]
/proc/loadavg: 1.45 1.48 1.45 2/87 19017
/proc/meminfo: memFree=565256/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=57192 CPUtime=339.88
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 107745 0 0 0 33836 152 0 0 25 0 1 0 188272398 58564608 12427 1992294400 4194304 9342243 548682068736 18446744073709551615 6399334 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 14298 12427 711 1256 0 13037 0
Current children cumulated CPU time (s) 339.88
Current children cumulated vsize (KiB) 57192

[startup+402.301 s]
/proc/loadavg: 1.47 1.49 1.45 3/87 19017
/proc/meminfo: memFree=565128/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=59376 CPUtime=399.86
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 165819 0 0 0 39798 188 0 0 25 0 1 0 188272398 60801024 12551 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 14844 12551 711 1256 0 13583 0
Current children cumulated CPU time (s) 399.86
Current children cumulated vsize (KiB) 59376

[startup+462.301 s]
/proc/loadavg: 1.59 1.52 1.46 2/87 19019
/proc/meminfo: memFree=565256/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=59148 CPUtime=459.55
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 220075 0 0 0 45727 228 0 0 25 0 1 0 188272398 60567552 12560 1992294400 4194304 9342243 548682068736 18446744073709551615 6948941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 14787 12560 712 1256 0 13526 0
Current children cumulated CPU time (s) 459.55
Current children cumulated vsize (KiB) 59148

[startup+522.302 s]
/proc/loadavg: 1.69 1.56 1.47 4/87 19019
/proc/meminfo: memFree=565256/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=60196 CPUtime=518.99
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 291564 0 0 0 51623 276 0 0 25 0 1 0 188272398 61640704 12491 1992294400 4194304 9342243 548682068736 18446744073709551615 6249793 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 15049 12491 712 1256 0 13788 0
Current children cumulated CPU time (s) 518.99
Current children cumulated vsize (KiB) 60196

[startup+582.311 s]
/proc/loadavg: 1.66 1.56 1.48 4/87 19019
/proc/meminfo: memFree=560328/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=68636 CPUtime=578.54
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 365720 0 0 0 57530 324 0 0 25 0 1 0 188272398 70283264 13691 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 17159 13691 712 1256 0 15898 0
Current children cumulated CPU time (s) 578.54
Current children cumulated vsize (KiB) 68636

[startup+642.302 s]
/proc/loadavg: 1.57 1.57 1.48 2/87 19019
/proc/meminfo: memFree=559368/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=62804 CPUtime=638.2
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 399719 0 0 0 63469 351 0 0 25 0 1 0 188272398 64311296 13918 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 15701 13918 712 1256 0 14440 0
Current children cumulated CPU time (s) 638.2
Current children cumulated vsize (KiB) 62804

[startup+702.301 s]

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

/proc/meminfo: memFree=555976/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=72016 CPUtime=1117.43
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 458322 0 0 0 111292 451 0 0 25 0 1 0 188272398 73744384 14667 1992294400 4194304 9342243 548682068736 18446744073709551615 6039773 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 18004 14667 712 1256 0 16743 0
Current children cumulated CPU time (s) 1117.43
Current children cumulated vsize (KiB) 72016

[startup+1182.3 s]
/proc/loadavg: 1.71 1.65 1.55 2/87 19025
/proc/meminfo: memFree=556360/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=71192 CPUtime=1177.41
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 463936 0 0 0 117277 464 0 0 25 0 1 0 188272398 72900608 14542 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 17798 14542 712 1256 0 16537 0
Current children cumulated CPU time (s) 1177.41
Current children cumulated vsize (KiB) 71192

[startup+1242.3 s]
/proc/loadavg: 1.59 1.63 1.54 2/87 19025
/proc/meminfo: memFree=556296/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=65428 CPUtime=1237.05
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 471067 0 0 0 123226 479 0 0 25 0 1 0 188272398 66998272 14505 1992294400 4194304 9342243 548682068736 18446744073709551615 6978078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 16357 14505 712 1256 0 15096 0
Current children cumulated CPU time (s) 1237.05
Current children cumulated vsize (KiB) 65428

[startup+1302.3 s]
/proc/loadavg: 1.59 1.61 1.54 2/87 19025
/proc/meminfo: memFree=555400/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=64604 CPUtime=1296.53
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 479896 0 0 0 129151 502 0 0 25 0 1 0 188272398 66154496 14715 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19016/statm: 16151 14715 721 1256 0 14890 0
Current children cumulated CPU time (s) 1296.53
Current children cumulated vsize (KiB) 64604

[startup+1362.3 s]
/proc/loadavg: 1.94 1.71 1.58 3/87 19025
/proc/meminfo: memFree=553736/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=66924 CPUtime=1355.97
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 494853 0 0 0 135066 531 0 0 25 0 1 0 188272398 68530176 15155 1992294400 4194304 9342243 548682068736 18446744073709551615 6213642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 16731 15155 721 1256 0 15470 0
Current children cumulated CPU time (s) 1355.97
Current children cumulated vsize (KiB) 66924

[startup+1422.31 s]
/proc/loadavg: 1.73 1.69 1.58 2/87 19025
/proc/meminfo: memFree=553160/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=67932 CPUtime=1415.41
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 499594 0 0 0 140981 560 0 0 25 0 1 0 188272398 69562368 15314 1992294400 4194304 9342243 548682068736 18446744073709551615 6960602 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19016/statm: 16983 15314 721 1256 0 15722 0
Current children cumulated CPU time (s) 1415.41
Current children cumulated vsize (KiB) 67932

[startup+1482.3 s]
/proc/loadavg: 1.72 1.70 1.58 4/87 19025
/proc/meminfo: memFree=552456/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=67844 CPUtime=1474.87
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 504603 0 0 0 146910 577 0 0 25 0 1 0 188272398 69472256 15439 1992294400 4194304 9342243 548682068736 18446744073709551615 6973118 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 16961 15439 721 1256 0 15700 0
Current children cumulated CPU time (s) 1474.87
Current children cumulated vsize (KiB) 67844

[startup+1542.3 s]
/proc/loadavg: 1.95 1.77 1.61 4/87 19025
/proc/meminfo: memFree=553544/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=68972 CPUtime=1534.33
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 512433 0 0 0 152836 597 0 0 25 0 1 0 188272398 70627328 15190 1992294400 4194304 9342243 548682068736 18446744073709551615 6146195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 17243 15190 721 1256 0 15982 0
Current children cumulated CPU time (s) 1534.33
Current children cumulated vsize (KiB) 68972

[startup+1602.3 s]
/proc/loadavg: 1.76 1.76 1.62 2/87 19025
/proc/meminfo: memFree=553736/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=67684 CPUtime=1594.31
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 527333 0 0 0 158818 613 0 0 25 0 1 0 188272398 69308416 15319 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 16921 15319 721 1256 0 15660 0
Current children cumulated CPU time (s) 1594.31
Current children cumulated vsize (KiB) 67684

[startup+1662.3 s]
/proc/loadavg: 1.56 1.69 1.61 4/87 19025
/proc/meminfo: memFree=553608/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=67660 CPUtime=1654.12
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 556222 0 0 0 164774 638 0 0 25 0 1 0 188272398 69283840 15166 1992294400 4194304 9342243 548682068736 18446744073709551615 6224428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 16915 15166 721 1256 0 15654 0
Current children cumulated CPU time (s) 1654.12
Current children cumulated vsize (KiB) 67660

[startup+1722.3 s]
/proc/loadavg: 1.91 1.76 1.63 2/87 19025
/proc/meminfo: memFree=553352/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=70888 CPUtime=1714.09
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 596152 0 0 0 170743 666 0 0 25 0 1 0 188272398 72589312 15209 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 17722 15209 721 1256 0 16461 0
Current children cumulated CPU time (s) 1714.09
Current children cumulated vsize (KiB) 70888

[startup+1782.3 s]
/proc/loadavg: 1.76 1.75 1.64 4/87 19025
/proc/meminfo: memFree=553160/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=70996 CPUtime=1774.08
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 648405 0 0 0 176705 703 0 0 25 0 1 0 188272398 72699904 15218 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 17749 15218 721 1256 0 16488 0
Current children cumulated CPU time (s) 1774.08
Current children cumulated vsize (KiB) 70996

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

[startup+1791.91 s]
/proc/loadavg: 1.72 1.74 1.64 2/87 19025
/proc/meminfo: memFree=553288/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=69636 CPUtime=1783.69
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 657940 0 0 0 177661 708 0 0 25 0 1 0 188272398 71307264 15325 1992294400 4194304 9342243 548682068736 18446744073709551615 6968386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 17409 15325 721 1256 0 16148 0
Current children cumulated CPU time (s) 1783.69
Current children cumulated vsize (KiB) 69636

[startup+1798.3 s]
/proc/loadavg: 1.68 1.74 1.63 3/87 19025
/proc/meminfo: memFree=552840/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=76656 CPUtime=1790.08
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 664791 0 0 0 178296 712 0 0 25 0 1 0 188272398 78495744 15270 1992294400 4194304 9342243 548682068736 18446744073709551615 6983495 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 19164 15270 721 1256 0 17903 0
Current children cumulated CPU time (s) 1790.08
Current children cumulated vsize (KiB) 76656

[startup+1801.5 s]
/proc/loadavg: 1.68 1.74 1.63 2/87 19025
/proc/meminfo: memFree=552712/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=69616 CPUtime=1793.25
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 667461 0 0 0 178611 714 0 0 25 0 1 0 188272398 71286784 15206 1992294400 4194304 9342243 548682068736 18446744073709551615 5874794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 17404 15206 721 1256 0 16143 0
Current children cumulated CPU time (s) 1793.25
Current children cumulated vsize (KiB) 69616

[startup+1804.7 s]
/proc/loadavg: 1.63 1.72 1.63 4/87 19025
/proc/meminfo: memFree=553352/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=68304 CPUtime=1796.43
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 670532 0 0 0 178928 715 0 0 25 0 1 0 188272398 69943296 15123 1992294400 4194304 9342243 548682068736 18446744073709551615 8251528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 17076 15123 721 1256 0 15815 0
Current children cumulated CPU time (s) 1796.43
Current children cumulated vsize (KiB) 68304

[startup+1805.5 s]
/proc/loadavg: 1.63 1.72 1.63 3/87 19025
/proc/meminfo: memFree=553352/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=68212 CPUtime=1797.23
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 671315 0 0 0 179007 716 0 0 25 0 1 0 188272398 69849088 15121 1992294400 4194304 9342243 548682068736 18446744073709551615 5734739 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 17053 15121 721 1256 0 15792 0
Current children cumulated CPU time (s) 1797.23
Current children cumulated vsize (KiB) 68212

[startup+1806.3 s]
/proc/loadavg: 1.63 1.72 1.63 2/87 19025
/proc/meminfo: memFree=553352/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=68848 CPUtime=1798.02
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 672113 0 0 0 179085 717 0 0 25 0 1 0 188272398 70500352 15126 1992294400 4194304 9342243 548682068736 18446744073709551615 4265989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19016/statm: 17212 15126 721 1256 0 15951 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 68848

[startup+1806.5 s]
/proc/loadavg: 1.63 1.72 1.63 2/87 19025
/proc/meminfo: memFree=553352/2055920 swapFree=4181116/4192956
[pid=19016] ppid=19014 vsize=68788 CPUtime=1798.21
/proc/19016/stat : 19016 (pbscip.linux.x8) R 19014 19016 18914 0 -1 4194304 672274 0 0 0 179104 717 0 0 25 0 1 0 188272398 70438912 15148 1992294400 4194304 9342243 548682068736 18446744073709551615 8305712 0 0 4096 0 0 0 0 17 1 0 0
/proc/19016/statm: 17197 15148 722 1256 0 15936 0
Current children cumulated CPU time (s) 1798.21
Current children cumulated vsize (KiB) 68788

Child status: 0
Real time (s): 1806.57
CPU time (s): 1798.3
CPU user time (s): 1791.11
CPU system time (s): 7.18191
CPU usage (%): 99.5418
Max. virtual memory (cumulated for all children) (KiB): 80928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.11
system time used= 7.18191
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 672277
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= 2
involuntary context switches= 26440

runsolver used 2.40463 second user time and 6.41702 second system time

The end

Launcher Data 

Begin job on node79 at 2009-06-17 04:45:33
IDJOB=1870477
IDBENCH=48237
IDSOLVER=684
FILE ID=node79/1870477-1245206733
PBS_JOBID= 9368373
Free space on /tmp= 66232 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870477-1245206733/watcher-1870477-1245206733 -o /tmp/evaluation-result-1870477-1245206733/solver-1870477-1245206733 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870477-1245206733.opb

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

MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3
RANDOM SEED=1644311225

node79.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        613480 kB
Buffers:         74020 kB
Cached:        1250420 kB
SwapCached:       6048 kB
Active:         507468 kB
Inactive:       849508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        613480 kB
SwapTotal:     4192956 kB
SwapFree:      4181116 kB
Dirty:           11816 kB
Writeback:           0 kB
Mapped:          39860 kB
Slab:            69444 kB
Committed_AS:   621468 kB
PageTables:       2736 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66220 MiB
End job on node79 at 2009-06-17 05:15:40