Trace number 1869571

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.2? 1799.79 1800.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb
MD5SUMc19ad978a977652a94fc03b8ce63204a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark76
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 74
Optimality of the best value was proved NO
Number of variables1288
Total number of constraints2431
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2430
Minimum length of a constraint1
Maximum length of a constraint29
Number of terms in the objective function 8
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 175
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 802
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.11	c SCIP version 1.1.0.7
0.09/0.11	c LP-Solver Clp 1.8.2
0.09/0.11	c user parameter file <scip.set> not found - using default parameters
0.09/0.11	c read problem <HOME/instance-1869571-1245179279.opb>
0.09/0.11	c original problem has 1288 variables (1288 bin, 0 int, 0 impl, 0 cont) and 2431 constraints
0.09/0.14	c start presolving problem
0.09/0.14	c presolving:
0.09/0.17	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 35 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.20	c (round 2) 1 del vars, 1183 del conss, 1 chg bounds, 0 chg sides, 35 chg coeffs, 38 upgd conss, 0 impls, 0 clqs
0.19/0.22	c (round 3) 1 del vars, 1183 del conss, 1 chg bounds, 1 chg sides, 37 chg coeffs, 66 upgd conss, 26 impls, 0 clqs
0.49/0.54	c    (0.4s) probing: 153/1287 (11.9%) - 0 fixings, 0 aggregations, 4 implications, 0 bound changes
0.49/0.54	c    (0.4s) probing aborted: 100/100 successive totally useless probings
0.49/0.54	c presolving (4 rounds):
0.49/0.54	c  1 deleted vars, 1183 deleted constraints, 1 tightened bounds, 0 added holes, 1 changed sides, 37 changed coefficients
0.49/0.54	c  36 implications, 0 cliques
0.49/0.54	c presolved problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 1249 constraints
0.49/0.54	c      66 constraints of type <knapsack>
0.49/0.54	c       1 constraints of type <setppc>
0.49/0.54	c    1182 constraints of type <linear>
0.49/0.54	c transformed objective value is always integral (scale: 1)
0.49/0.54	c Presolving Time: 0.38
0.49/0.54	c OPT-LIN
0.49/0.54	c -----------------------------------------------------------------------------------------------
0.49/0.54	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.54	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.54	c limits/memory = c 1620
0.49/0.54	c # maximal time in seconds to run
0.49/0.54	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.54	c limits/time = c 1791
0.49/0.54	c # frequency for displaying node information lines
0.49/0.54	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.54	c display/freq = c 10000
0.49/0.54	c -----------------------------------------------------------------------------------------------
0.49/0.54	c start solving problem
0.49/0.54	c 
0.59/0.60	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.60	c   0.5s|     1 |     0 |   668 |9412k|   0 | 487 |1287 |1249 |1249 |1287 |1249 |   0 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
1.09/1.18	c   1.0s|     1 |     0 |  1658 |9908k|   0 | 709 |1287 |1249 |1249 |1287 |1376 | 127 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
1.49/1.57	c   1.4s|     1 |     0 |  1764 |  10M|   0 | 739 |1287 |1249 |1249 |1287 |1475 | 226 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
2.19/2.24	c   2.1s|     1 |     0 |  1948 |  11M|   0 | 784 |1287 |1249 |1249 |1287 |1650 | 401 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
3.32/3.59	c   3.2s|     1 |     0 |  2181 |  11M|   0 | 804 |1287 |1249 |1249 |1287 |1719 | 470 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
4.51/4.71	c   4.3s|     1 |     0 |  2427 |  11M|   0 | 777 |1287 |1249 |1249 |1287 |1815 | 566 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
5.61/5.88	c   5.5s|     1 |     0 |  2718 |  11M|   0 | 744 |1287 |1249 |1249 |1287 |1878 | 629 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
9.50/9.76	c   9.4s|     1 |     2 |  2718 |  11M|   0 | 744 |1287 |1249 |1249 |1287 |1878 | 629 |   0 |  41 | 5.500000e+01 |      --      |    Inf 
308.80/309.28	c   307s| 10000 |  3512 |567213 |  23M|  89 | 550 |1287 |2804 |2412 |1287 |1328 | 629 |4673 |4870 | 5.500000e+01 |      --      |    Inf 
548.34/548.87	c   546s| 20000 |  5568 |  1094k|  30M|  94 |   - |1287 |1919 | 432 |   0 |   0 | 629 |  10k|6996 | 5.500000e+01 |      --      |    Inf 
739.48/740.04	c   736s| 30000 |  7624 |  1591k|  41M|  94 |   - |1287 |2516 | 314 |   0 |   0 | 629 |  18k|8682 | 5.500000e+01 |      --      |    Inf 
896.74/897.35	c   892s| 40000 |  9103 |  1964k|  53M|  94 |   - |1287 |2877 | 881 |1287 |1328 | 629 |  27k|  10k| 5.500000e+01 |      --      |    Inf 
1040.11/1040.73	c  1035s| 50000 | 11002 |  2277k|  67M|  94 |   - |1287 |2901 | 501 |   0 |   0 | 629 |  39k|  13k| 5.500000e+01 |      --      |    Inf 
1206.46/1207.20	c  1201s| 60000 | 12900 |  2712k|  81M|  94 | 203 |1287 |3166 | 746 |1287 |1328 | 629 |  51k|  14k| 5.500000e+01 |      --      |    Inf 
1395.22/1395.99	c  1389s| 70000 | 15124 |  3197k|  95M|  94 | 272 |1287 |2689 | 846 |1287 |1328 | 629 |  60k|  15k| 5.500000e+01 |      --      |    Inf 
1570.87/1571.65	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1570.87/1571.65	c  1563s| 80000 | 16748 |  3702k| 104M|  94 | 456 |1287 |2662 |1474 |1287 |1328 | 629 |  68k|  16k| 5.500000e+01 |      --      |    Inf 
1728.03/1728.86	c  1720s| 90000 | 17555 |  4118k| 111M|  94 |   - |1287 |2844 | 562 |   0 |   0 | 629 |  76k|  17k| 5.500000e+01 |      --      |    Inf 
1799.51/1800.34	c 
1799.51/1800.34	c SCIP Status        : solving was interrupted [time limit reached]
1799.51/1800.34	c Solving Time (sec) : 1791.00
1799.51/1800.34	c Solving Nodes      : 95169
1799.51/1800.34	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1799.51/1800.34	c Dual Bound         : +5.50000000000000e+01
1799.51/1800.34	c Gap                : infinite
1799.51/1800.34	c NODE         95169
1799.51/1800.34	c DUAL BOUND   55
1799.51/1800.34	c PRIMAL BOUND 1e+20
1799.51/1800.34	c GAP          1e+20
1799.51/1800.34	s UNKNOWN
1799.51/1800.34	c SCIP Status        : solving was interrupted [time limit reached]
1799.51/1800.34	c Solving Time       :    1791.00
1799.51/1800.34	c Original Problem   :
1799.51/1800.34	c   Problem name     : HOME/instance-1869571-1245179279.opb
1799.51/1800.34	c   Variables        : 1288 (1288 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.51/1800.34	c   Constraints      : 2431 initial, 2431 maximal
1799.51/1800.34	c Presolved Problem  :
1799.51/1800.34	c   Problem name     : t_HOME/instance-1869571-1245179279.opb
1799.51/1800.34	c   Variables        : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.51/1800.34	c   Constraints      : 1249 initial, 3729 maximal
1799.51/1800.34	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1799.51/1800.34	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1799.51/1800.34	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1799.51/1800.34	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1799.51/1800.34	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1799.51/1800.34	c   implics          :       0.00          0          0          0          0          0          0          0          0
1799.51/1800.34	c   probing          :       0.31          0          0          0          0          0          0          0          0
1799.51/1800.34	c   knapsack         :       0.00          0          0          0          0          0          0          1          2
1799.51/1800.34	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1799.51/1800.34	c   linear           :       0.07          1          0          0          1          0       1183          0         35
1799.51/1800.34	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1799.51/1800.34	c   root node        :          -          0          -          -          0          -          -          -          -
1799.51/1800.34	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1799.51/1800.34	c   integral         :          0          0          0      61278          0         70       9210          0          0     117654
1799.51/1800.34	c   knapsack         :         66          6     332374          0          1       1981     164785         61          0          0
1799.51/1800.34	c   setppc           :          1          6        309          0          0          0          1          0          0          0
1799.51/1800.34	c   linear           :       1182          6     330393          0          0      21346    5236278          0          0          0
1799.51/1800.34	c   logicor          :          0+         0     128262          0          0       1083      47911          0          0          0
1799.51/1800.34	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1799.51/1800.34	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1799.51/1800.34	c   integral         :     186.58       0.00       0.00     186.58       0.00
1799.51/1800.34	c   knapsack         :      10.05       0.00      10.05       0.00       0.00
1799.51/1800.34	c   setppc           :       0.00       0.00       0.00       0.00       0.00
1799.51/1800.34	c   linear           :     345.06       0.01     345.05       0.00       0.00
1799.51/1800.34	c   logicor          :      11.55       0.00      11.55       0.00       0.00
1799.51/1800.34	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1799.51/1800.34	c Propagators        :       Time      Calls    Cutoffs    DomReds
1799.51/1800.34	c   rootredcost      :       0.23          0          0          0
1799.51/1800.34	c   pseudoobj        :       0.55     332066          0          0
1799.51/1800.34	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1799.51/1800.34	c   propagation      :       4.13      24410      24374     194960       34.3       1118       21.5          -
1799.51/1800.34	c   infeasible LP    :      10.49      37879          4         21       42.0          1       11.0          0
1799.51/1800.34	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1799.51/1800.34	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1799.51/1800.34	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1799.51/1800.34	c   applied globally :          -          -          -      81367       29.3          -          -          -
1799.51/1800.34	c   applied locally  :          -          -          -          0        0.0          -          -          -
1799.51/1800.34	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1799.51/1800.34	c   cut pool         :       0.00          5          -          -        416          -    (maximal pool size: 3200)
1799.51/1800.34	c   redcost          :       3.12      60998          0         31          0          0
1799.51/1800.34	c   impliedbounds    :       0.00          6          0          0          0          0
1799.51/1800.34	c   intobj           :       0.00          0          0          0          0          0
1799.51/1800.34	c   gomory           :       0.47          6          0          0          2          0
1799.51/1800.34	c   strongcg         :       0.41          6          0          0          2          0
1799.51/1800.34	c   cmir             :       1.71          6          0          0       2193          0
1799.51/1800.34	c   flowcover        :       1.17          6          0          0       1201          0
1799.51/1800.34	c   clique           :       0.00          1          0          0          0          0
1799.51/1800.34	c   zerohalf         :       0.00          0          0          0          0          0
1799.51/1800.34	c   mcf              :       0.00          1          0          0          0          0
1799.51/1800.34	c Pricers            :       Time      Calls       Vars
1799.51/1800.34	c   problem variables:       0.00          0          0
1799.51/1800.34	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1799.51/1800.34	c   relpscost        :     186.43      61278         70       9210          0          0     117654
1799.51/1800.34	c   pscost           :       0.00          0          0          0          0          0          0
1799.51/1800.34	c   inference        :       0.00          1          0          0          0          0          2
1799.51/1800.34	c   mostinf          :       0.00          0          0          0          0          0          0
1799.51/1800.34	c   leastinf         :       0.00          0          0          0          0          0          0
1799.51/1800.34	c   fullstrong       :       0.00          0          0          0          0          0          0
1799.51/1800.34	c   allfullstrong    :       0.00          0          0          0          0          0          0
1799.51/1800.34	c   random           :       0.00          0          0          0          0          0          0
1799.51/1800.34	c Primal Heuristics  :       Time      Calls      Found
1799.51/1800.34	c   LP solutions     :       0.00          -          0
1799.51/1800.34	c   pseudo solutions :       0.00          -          0
1799.51/1800.34	c   oneopt           :       0.12          0          0
1799.51/1800.34	c   crossover        :       0.07          0          0
1799.51/1800.34	c   guideddiving     :       0.02          0          0
1799.51/1800.34	c   feaspump         :      33.48         69          0
1799.51/1800.34	c   coefdiving       :     146.66        181          0
1799.51/1800.34	c   pscostdiving     :      40.60        181          0
1799.51/1800.34	c   fracdiving       :     141.68        181          0
1799.51/1800.34	c   veclendiving     :      25.70        181          0
1799.51/1800.34	c   linesearchdiving :      16.47        181          0
1799.51/1800.34	c   objpscostdiving  :      27.00         91          0
1799.51/1800.34	c   rootsoldiving    :      10.99         91          0
1799.51/1800.34	c   simplerounding   :       0.16          0          0
1799.51/1800.34	c   rounding         :       0.93       3447          0
1799.51/1800.34	c   shifting         :      13.54       1025          0
1799.51/1800.34	c   intshifting      :       0.00          0          0
1799.51/1800.34	c   fixandinfer      :       0.00          0          0
1799.51/1800.34	c   intdiving        :       0.00          0          0
1799.51/1800.34	c   actconsdiving    :       0.00          0          0
1799.51/1800.34	c   octane           :       0.00          0          0
1799.51/1800.34	c   rens             :       0.01          0          0
1799.51/1800.34	c   rins             :       0.00          0          0
1799.51/1800.34	c   localbranching   :       0.00          0          0
1799.51/1800.34	c   mutation         :       0.00          0          0
1799.51/1800.34	c   dins             :       0.00          0          0
1799.51/1800.34	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1799.51/1800.34	c   primal LP        :       0.04          0          0       0.00       0.00
1799.51/1800.34	c   dual LP          :     686.10      79618    3653640      45.89    5325.23
1799.51/1800.34	c   barrier LP       :       0.00          0          0       0.00          -
1799.51/1800.34	c   diving/probing LP:     342.38      48004     678711      14.14    1982.33
1799.51/1800.34	c   strong branching :     175.93      17934     976024      54.42    5547.80
1799.51/1800.34	c     (at root node) :          -         41       6558     159.95          -
1799.51/1800.34	c   conflict analysis:       0.00          0          0       0.00          -
1799.51/1800.34	c B&B Tree           :
1799.51/1800.34	c   number of runs   :          1
1799.51/1800.34	c   nodes            :      95169
1799.51/1800.34	c   nodes (total)    :      95169
1799.51/1800.34	c   nodes left       :      18241
1799.51/1800.34	c   max depth        :         94
1799.51/1800.34	c   max depth (total):         94
1799.51/1800.34	c   backtracks       :      12930 (13.6%)
1799.51/1800.34	c   delayed cutoffs  :       4247
1799.51/1800.34	c   repropagations   :      60280 (753935 domain reductions, 3105 cutoffs)
1799.51/1800.34	c   avg switch length:       5.50
1799.51/1800.34	c   switching time   :      77.49
1799.51/1800.34	c Solution           :
1799.51/1800.34	c   Solutions found  :          0 (0 improvements)
1799.51/1800.34	c   Primal Bound     :          -
1799.51/1800.34	c   Dual Bound       : +5.50000000000000e+01
1799.51/1800.34	c   Gap              :   infinite
1799.51/1800.34	c   Root Dual Bound  : +5.50000000000000e+01
1799.71/1800.57	c Time complete: 1799.78.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869571-1245179279/watcher-1869571-1245179279 -o /tmp/evaluation-result-1869571-1245179279/solver-1869571-1245179279 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869571-1245179279.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.00 1.00 1.00 3/64 6694
/proc/meminfo: memFree=1570732/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=7616 CPUtime=0
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 585 0 0 0 0 0 0 0 20 0 1 0 185525836 7798784 569 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/6694/statm: 1904 577 353 1256 0 643 0

[startup+0.0780989 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6694
/proc/meminfo: memFree=1570732/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=12440 CPUtime=0.07
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 2081 0 0 0 7 0 0 0 20 0 1 0 185525836 12738560 2065 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/6694/statm: 3110 2065 378 1256 0 1849 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12440

[startup+0.101099 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6694
/proc/meminfo: memFree=1570732/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=13428 CPUtime=0.09
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 2329 0 0 0 9 0 0 0 20 0 1 0 185525836 13750272 2313 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/6694/statm: 3357 2313 378 1256 0 2096 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13428

[startup+0.30112 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6694
/proc/meminfo: memFree=1570732/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=33276 CPUtime=0.29
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 7414 0 0 0 26 3 0 0 22 0 1 0 185525836 34074624 7044 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 8319 7044 492 1256 0 7058 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33276

[startup+0.701161 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6694
/proc/meminfo: memFree=1570732/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=39216 CPUtime=0.69
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 8765 0 0 0 65 4 0 0 25 0 1 0 185525836 40157184 8363 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 9804 8363 647 1256 0 8543 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39216

[startup+1.50124 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6695
/proc/meminfo: memFree=1539556/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=41968 CPUtime=1.49
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 9309 0 0 0 144 5 0 0 25 0 1 0 185525836 42975232 8907 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 10492 8907 673 1256 0 9231 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41968

[startup+3.10141 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6695
/proc/meminfo: memFree=1536420/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=46092 CPUtime=3.07
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 9923 0 0 0 301 6 0 0 25 0 1 0 185525836 47198208 9422 1992294400 4194304 9342243 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6694/statm: 11523 9422 673 1256 0 10262 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 46092

[startup+6.30174 s]
/proc/loadavg: 1.16 1.03 1.01 2/65 6695
/proc/meminfo: memFree=1532004/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=56168 CPUtime=6.11
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 13004 0 0 0 602 9 0 0 25 0 1 0 185525836 57516032 10655 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 14042 10655 680 1256 0 12781 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 56168

[startup+12.7966 s]
/proc/loadavg: 1.31 1.07 1.02 2/65 6695
/proc/meminfo: memFree=1529772/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=49296 CPUtime=12.62
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 17764 0 0 0 1250 12 0 0 25 0 1 0 185525836 50479104 10752 1992294400 4194304 9342243 548682068736 18446744073709551615 6038437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 12324 10752 683 1256 0 11063 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 49296

[startup+25.5057 s]
/proc/loadavg: 1.76 1.18 1.06 2/65 6695
/proc/meminfo: memFree=1529452/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=49296 CPUtime=25.21
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 17848 0 0 0 2503 18 0 0 25 0 1 0 185525836 50479104 10836 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 12324 10836 688 1256 0 11063 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 49296

[startup+51.1014 s]
/proc/loadavg: 1.88 1.26 1.09 2/65 6695
/proc/meminfo: memFree=1529580/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=49708 CPUtime=50.77
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 19415 0 0 0 5050 27 0 0 25 0 1 0 185525836 50900992 10927 1992294400 4194304 9342243 548682068736 18446744073709551615 7289219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 12427 10927 693 1256 0 11166 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 49708

[startup+102.302 s]
/proc/loadavg: 1.38 1.21 1.08 2/65 6695
/proc/meminfo: memFree=1528556/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=49600 CPUtime=101.95
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 32563 0 0 0 10145 50 0 0 25 0 1 0 185525836 50790400 10755 1992294400 4194304 9342243 548682068736 18446744073709551615 6044082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 12400 10758 693 1256 0 11139 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 49600

[startup+162.302 s]
/proc/loadavg: 1.14 1.17 1.08 2/65 6695
/proc/meminfo: memFree=1524908/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=55032 CPUtime=161.93
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 55180 0 0 0 16116 77 0 0 25 0 1 0 185525836 56352768 12085 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 13758 12085 693 1256 0 12497 0
Current children cumulated CPU time (s) 161.93
Current children cumulated vsize (KiB) 55032

[startup+222.301 s]
/proc/loadavg: 1.05 1.14 1.07 2/65 6695
/proc/meminfo: memFree=1522028/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=55692 CPUtime=221.92
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 81393 0 0 0 22082 110 0 0 25 0 1 0 185525836 57028608 12441 1992294400 4194304 9342243 548682068736 18446744073709551615 5062443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 13923 12441 693 1256 0 12662 0
Current children cumulated CPU time (s) 221.92
Current children cumulated vsize (KiB) 55692

[startup+282.301 s]
/proc/loadavg: 1.02 1.11 1.06 2/65 6695
/proc/meminfo: memFree=1517804/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=62960 CPUtime=281.91
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 107118 0 0 0 28046 145 0 0 25 0 1 0 185525836 64471040 13975 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 15740 13975 693 1256 0 14479 0
Current children cumulated CPU time (s) 281.91
Current children cumulated vsize (KiB) 62960

[startup+342.302 s]
/proc/loadavg: 1.00 1.09 1.06 2/65 6696
/proc/meminfo: memFree=1514988/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=63392 CPUtime=341.9
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 129554 0 0 0 34018 172 0 0 25 0 1 0 185525836 64913408 14541 1992294400 4194304 9342243 548682068736 18446744073709551615 6059595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 15848 14541 693 1256 0 14587 0
Current children cumulated CPU time (s) 341.9
Current children cumulated vsize (KiB) 63392

[startup+402.302 s]
/proc/loadavg: 1.00 1.07 1.05 2/65 6696
/proc/meminfo: memFree=1512876/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=66804 CPUtime=401.87
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 147867 0 0 0 39990 197 0 0 25 0 1 0 185525836 68407296 15086 1992294400 4194304 9342243 548682068736 18446744073709551615 6867555 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 16701 15086 693 1256 0 15440 0
Current children cumulated CPU time (s) 401.87
Current children cumulated vsize (KiB) 66804

[startup+462.306 s]
/proc/loadavg: 1.00 1.05 1.05 2/65 6696
/proc/meminfo: memFree=1509164/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=68868 CPUtime=461.86
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 159922 0 0 0 45963 223 0 0 25 0 1 0 185525836 70520832 15979 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 17217 15979 693 1256 0 15956 0
Current children cumulated CPU time (s) 461.86
Current children cumulated vsize (KiB) 68868

[startup+522.301 s]
/proc/loadavg: 1.00 1.04 1.04 2/65 6696
/proc/meminfo: memFree=1506988/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=73304 CPUtime=521.84
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 180814 0 0 0 51930 254 0 0 25 0 1 0 185525836 75063296 16591 1992294400 4194304 9342243 548682068736 18446744073709551615 6038441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 18326 16591 693 1256 0 17065 0
Current children cumulated CPU time (s) 521.84
Current children cumulated vsize (KiB) 73304

[startup+582.301 s]
/proc/loadavg: 1.00 1.03 1.04 2/65 6696
/proc/meminfo: memFree=1504108/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=75128 CPUtime=581.83
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 192934 0 0 0 57902 281 0 0 25 0 1 0 185525836 76931072 17297 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 18782 17297 693 1256 0 17521 0
Current children cumulated CPU time (s) 581.83
Current children cumulated vsize (KiB) 75128

[startup+642.302 s]
/proc/loadavg: 1.00 1.02 1.03 2/65 6696
/proc/meminfo: memFree=1498220/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=81540 CPUtime=641.81
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 204179 0 0 0 63872 309 0 0 25 0 1 0 185525836 83496960 18842 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 20385 18842 693 1256 0 19124 0
Current children cumulated CPU time (s) 641.81
Current children cumulated vsize (KiB) 81540

[startup+702.302 s]

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

/proc/meminfo: memFree=1446316/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=132124 CPUtime=1121.68
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 279314 0 0 0 111627 541 0 0 25 0 1 0 185525836 135294976 31646 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 33031 31646 693 1256 0 31770 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 132124

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1438892/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=140568 CPUtime=1181.67
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 282707 0 0 0 117601 566 0 0 25 0 1 0 185525836 143941632 33419 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 35142 33419 693 1256 0 33881 0
Current children cumulated CPU time (s) 1181.67
Current children cumulated vsize (KiB) 140568

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1432300/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=147312 CPUtime=1241.66
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 295334 0 0 0 123569 597 0 0 25 0 1 0 185525836 150847488 35055 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 36828 35055 693 1256 0 35567 0
Current children cumulated CPU time (s) 1241.66
Current children cumulated vsize (KiB) 147312

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1425580/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=154164 CPUtime=1301.64
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 303224 0 0 0 129538 626 0 0 25 0 1 0 185525836 157863936 36725 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 38541 36725 693 1256 0 37280 0
Current children cumulated CPU time (s) 1301.64
Current children cumulated vsize (KiB) 154164

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1420908/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=158892 CPUtime=1361.62
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 313872 0 0 0 135511 651 0 0 25 0 1 0 185525836 162705408 37910 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 39723 37910 693 1256 0 38462 0
Current children cumulated CPU time (s) 1361.62
Current children cumulated vsize (KiB) 158892

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1416172/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=162476 CPUtime=1421.61
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 321614 0 0 0 141483 678 0 0 25 0 1 0 185525836 166375424 39069 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 40619 39069 693 1256 0 39358 0
Current children cumulated CPU time (s) 1421.61
Current children cumulated vsize (KiB) 162476

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1411116/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=167816 CPUtime=1481.59
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 324609 0 0 0 147457 702 0 0 25 0 1 0 185525836 171843584 40309 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 41954 40309 693 1256 0 40693 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 167816

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1405996/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=173804 CPUtime=1541.57
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 328094 0 0 0 153431 726 0 0 25 0 1 0 185525836 177975296 41606 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 43451 41606 693 1256 0 42190 0
Current children cumulated CPU time (s) 1541.57
Current children cumulated vsize (KiB) 173804

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1403180/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=175460 CPUtime=1601.56
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 336019 0 0 0 159399 757 0 0 25 0 1 0 185525836 179671040 42276 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 43865 42276 693 1256 0 42604 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 175460

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1397548/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=182224 CPUtime=1661.55
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 339910 0 0 0 165371 784 0 0 25 0 1 0 185525836 186597376 43672 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 45556 43672 693 1256 0 44295 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 182224

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1394668/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=183992 CPUtime=1721.53
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 345443 0 0 0 171342 811 0 0 25 0 1 0 185525836 188407808 44257 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 45998 44257 693 1256 0 44737 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 183992

[startup+1782.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1388972/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=190020 CPUtime=1781.52
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 348433 0 0 0 177314 838 0 0 25 0 1 0 185525836 194580480 45809 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 47505 45809 693 1256 0 46244 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 190020

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

[startup+1792.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1386988/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=192884 CPUtime=1791.41
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 348924 0 0 0 178299 842 0 0 25 0 1 0 185525836 197513216 46300 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 48221 46300 693 1256 0 46960 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 192884

[startup+1795.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1386604/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=192884 CPUtime=1794.62
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 349006 0 0 0 178618 844 0 0 25 0 1 0 185525836 197513216 46382 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 48221 46382 693 1256 0 46960 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 192884

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1386412/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=193036 CPUtime=1797.81
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 349062 0 0 0 178936 845 0 0 25 0 1 0 185525836 197668864 46438 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 48259 46438 693 1256 0 46998 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 193036

[startup+1799.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1386412/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=193036 CPUtime=1798.61
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 349065 0 0 0 179015 846 0 0 25 0 1 0 185525836 197668864 46441 1992294400 4194304 9342243 548682068736 18446744073709551615 7289224 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 48259 46441 693 1256 0 46998 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 193036

[startup+1800.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1386412/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=193036 CPUtime=1799.41
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 349068 0 0 0 179095 846 0 0 25 0 1 0 185525836 197668864 46444 1992294400 4194304 9342243 548682068736 18446744073709551615 5063360 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6694/statm: 48259 46444 693 1256 0 46998 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 193036

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1386412/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=193036 CPUtime=1799.61
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 349072 0 0 0 179115 846 0 0 25 0 1 0 185525836 197668864 46448 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/6694/statm: 48259 46448 697 1256 0 46998 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 193036

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6696
/proc/meminfo: memFree=1386412/2055920 swapFree=4178716/4192956
[pid=6694] ppid=6692 vsize=193036 CPUtime=1799.71
/proc/6694/stat : 6694 (pbscip.linux.x8) R 6692 6694 6328 0 -1 4194304 349072 0 0 0 179125 846 0 0 25 0 1 0 185525836 197668864 46448 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/6694/statm: 48259 46448 697 1256 0 46998 0
Current children cumulated CPU time (s) 1799.71
Current children cumulated vsize (KiB) 193036

Child status: 0
Real time (s): 1800.57
CPU time (s): 1799.79
CPU user time (s): 1791.3
CPU system time (s): 8.49571
CPU usage (%): 99.9566
Max. virtual memory (cumulated for all children) (KiB): 193036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.3
system time used= 8.49571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349076
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= 2444

runsolver used 1.61075 second user time and 4.30035 second system time

The end

Launcher Data 

Begin job on node90 at 2009-06-16 21:07:59
IDJOB=1869571
IDBENCH=2940
IDSOLVER=684
FILE ID=node90/1869571-1245179279
PBS_JOBID= 9363881
Free space on /tmp= 66528 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.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-1869571-1245179279/watcher-1869571-1245179279 -o /tmp/evaluation-result-1869571-1245179279/solver-1869571-1245179279 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869571-1245179279.opb

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

MD5SUM BENCH= c19ad978a977652a94fc03b8ce63204a
RANDOM SEED=108382519

node90.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.231
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.231
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:       1571212 kB
Buffers:         26016 kB
Cached:         391940 kB
SwapCached:       8404 kB
Active:          40684 kB
Inactive:       387848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1571212 kB
SwapTotal:     4192956 kB
SwapFree:      4178716 kB
Dirty:           12200 kB
Writeback:           0 kB
Mapped:          16196 kB
Slab:            42096 kB
Committed_AS:    84644 kB
PageTables:       1436 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= 66516 MiB
End job on node90 at 2009-06-16 21:38:00