Trace number 1869343

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? 1794.94 1795.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_15.opb
MD5SUMb4a219bc21641bf0d46eae2692004ebe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark202
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 176
Optimality of the best value was proved NO
Number of variables4320
Total number of constraints8414
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8414
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1469
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.39/0.45	c SCIP version 1.1.0.7
0.39/0.45	c LP-Solver Clp 1.8.2
0.39/0.45	c user parameter file <scip.set> not found - using default parameters
0.39/0.45	c read problem <HOME/instance-1869343-1245170532.opb>
0.39/0.45	c original problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 8414 constraints
0.59/0.62	c start presolving problem
0.59/0.62	c presolving:
0.69/0.79	c (round 1) 0 del vars, 4200 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 14 upgd conss, 0 impls, 0 clqs
2.99/3.06	c    (2.5s) probing: 116/4320 (2.7%) - 0 fixings, 0 aggregations, 1210 implications, 0 bound changes
2.99/3.06	c    (2.5s) probing aborted: 100/100 successive totally useless probings
2.99/3.06	c presolving (2 rounds):
2.99/3.06	c  0 deleted vars, 4200 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.99/3.06	c  8610 implications, 0 cliques
2.99/3.06	c presolved problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 4214 constraints
2.99/3.06	c      14 constraints of type <knapsack>
2.99/3.06	c    4200 constraints of type <linear>
2.99/3.06	c transformed objective value is always integral (scale: 1)
2.99/3.06	c Presolving Time: 2.44
2.99/3.06	c OPT-LIN
2.99/3.06	c -----------------------------------------------------------------------------------------------
2.99/3.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.99/3.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.06	c limits/memory = c 1620
2.99/3.06	c # maximal time in seconds to run
2.99/3.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.06	c limits/time = c 1791
2.99/3.06	c # frequency for displaying node information lines
2.99/3.06	c # [type: int, range: [-1,2147483647], default: 100]
2.99/3.06	c display/freq = c 10000
2.99/3.06	c -----------------------------------------------------------------------------------------------
2.99/3.06	c start solving problem
2.99/3.06	c 
3.98/4.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.98/4.01	c   3.5s|     1 |     0 |  4102 |  35M|   0 |2484 |4320 |4214 |4214 |4320 |4214 |   0 |   0 |   0 | 1.400000e+01 |      --      |    Inf 
9.69/9.75	c   9.2s|     1 |     0 | 10018 |  36M|   0 |2506 |4320 |4214 |4214 |4320 |4333 | 119 |   0 |   0 | 1.400000e+01 |      --      |    Inf 
10.78/10.83	c  10.2s|     1 |     0 | 10144 |  37M|   0 |2512 |4320 |4214 |4214 |4320 |4485 | 271 |   0 |   0 | 1.400000e+01 |      --      |    Inf 
12.19/12.23	c  11.6s|     1 |     0 | 10372 |  37M|   0 |2514 |4320 |4214 |4214 |4320 |4624 | 410 |   0 |   0 | 1.400000e+01 |      --      |    Inf 
13.98/14.04	c  13.4s|     1 |     0 | 10678 |  38M|   0 |2514 |4320 |4214 |4214 |4320 |4739 | 525 |   0 |   0 | 1.400000e+01 |      --      |    Inf 
16.59/16.65	c  16.0s|     1 |     0 | 11244 |  38M|   0 |2521 |4320 |4214 |4214 |4320 |4883 | 669 |   0 |   0 | 1.400148e+01 |      --      |    Inf 
19.48/19.59	c  18.9s|     1 |     0 | 11871 |  39M|   0 |2520 |4320 |4214 |4214 |4320 |5055 | 841 |   0 |   0 | 1.400148e+01 |      --      |    Inf 
23.19/23.22	c  22.5s|     1 |     0 | 12829 |  39M|   0 |2515 |4320 |4214 |4214 |4320 |5220 |1006 |   0 |   0 | 1.400148e+01 |      --      |    Inf 
27.29/27.38	c  26.7s|     1 |     0 | 14187 |  40M|   0 |2520 |4320 |4214 |4214 |4320 |5384 |1170 |   0 |   0 | 1.400148e+01 |      --      |    Inf 
32.89/32.91	c  32.2s|     1 |     0 | 16138 |  40M|   0 |2515 |4320 |4214 |4214 |4320 |5540 |1326 |   0 |   0 | 1.403115e+01 |      --      |    Inf 
37.98/38.05	c  37.3s|     1 |     0 | 18177 |  41M|   0 |2522 |4320 |4214 |4214 |4320 |5704 |1490 |   0 |   0 | 1.406689e+01 |      --      |    Inf 
45.18/45.28	c  44.5s|     1 |     0 | 21770 |  41M|   0 |2498 |4320 |4214 |4214 |4320 |5725 |1511 |   0 |   0 | 1.416667e+01 |      --      |    Inf 
52.68/52.79	c  52.0s|     1 |     0 | 26309 |  41M|   0 |2495 |4320 |4214 |4214 |4320 |5747 |1533 |   0 |   0 | 1.416667e+01 |      --      |    Inf 
58.78/58.82	c  58.0s|     1 |     0 | 29309 |  41M|   0 |2494 |4320 |4214 |4214 |4320 |5777 |1563 |   0 |   0 | 1.416667e+01 |      --      |    Inf 
65.17/65.25	c  64.3s|     1 |     0 | 32287 |  41M|   0 |2495 |4320 |4214 |4214 |4320 |5305 |1588 |   0 |   0 | 1.417021e+01 |      --      |    Inf 
70.47/70.53	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
70.47/70.53	c  69.6s|     1 |     0 | 35080 |  41M|   0 |2493 |4320 |4214 |4214 |4320 |5317 |1600 |   0 |   0 | 1.417021e+01 |      --      |    Inf 
77.17/77.25	c  76.3s|     1 |     0 | 38909 |  41M|   0 |2485 |4320 |4214 |4214 |4320 |5340 |1623 |   0 |   0 | 1.417021e+01 |      --      |    Inf 
81.37/81.44	c  80.5s|     1 |     0 | 40862 |  41M|   0 |2482 |4320 |4214 |4214 |4320 |5367 |1650 |   0 |   0 | 1.417021e+01 |      --      |    Inf 
86.27/86.34	c  85.3s|     1 |     0 | 43542 |  41M|   0 |2476 |4320 |4214 |4214 |4320 |5391 |1674 |   0 |   0 | 1.417021e+01 |      --      |    Inf 
92.37/92.40	c  91.3s|     1 |     0 | 47005 |  41M|   0 |2469 |4320 |4214 |4214 |4320 |5418 |1701 |   0 |   0 | 1.417021e+01 |      --      |    Inf 
106.06/106.13	c   105s|     1 |     2 | 47005 |  41M|   0 |2469 |4320 |4214 |4214 |4320 |5418 |1701 |   0 |  20 | 1.417021e+01 |      --      |    Inf 
1794.72/1795.24	c 
1794.72/1795.24	c SCIP Status        : solving was interrupted [time limit reached]
1794.72/1795.24	c Solving Time (sec) : 1791.00
1794.72/1795.24	c Solving Nodes      : 5357
1794.72/1795.24	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1794.72/1795.24	c Dual Bound         : +1.50025429116338e+01
1794.72/1795.24	c Gap                : infinite
1794.72/1795.24	c NODE         5357
1794.72/1795.24	c DUAL BOUND   15.0025
1794.72/1795.24	c PRIMAL BOUND 1e+20
1794.72/1795.24	c GAP          1e+20
1794.72/1795.24	s UNKNOWN
1794.72/1795.24	c SCIP Status        : solving was interrupted [time limit reached]
1794.72/1795.24	c Solving Time       :    1791.00
1794.72/1795.24	c Original Problem   :
1794.72/1795.24	c   Problem name     : HOME/instance-1869343-1245170532.opb
1794.72/1795.24	c   Variables        : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.72/1795.24	c   Constraints      : 8414 initial, 8414 maximal
1794.72/1795.24	c Presolved Problem  :
1794.72/1795.24	c   Problem name     : t_HOME/instance-1869343-1245170532.opb
1794.72/1795.24	c   Variables        : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.72/1795.24	c   Constraints      : 4214 initial, 6416 maximal
1794.72/1795.24	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.72/1795.24	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.72/1795.24	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.72/1795.24	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.72/1795.24	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.72/1795.24	c   implics          :       0.00          0          0          0          0          0          0          0          0
1794.72/1795.24	c   probing          :       2.20          0          0          0          0          0          0          0          0
1794.72/1795.24	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1794.72/1795.24	c   linear           :       0.21          0          0          0          0          0       4200          0          0
1794.72/1795.24	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1794.72/1795.24	c   root node        :          -          0          -          -          0          -          -          -          -
1794.72/1795.24	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.72/1795.24	c   integral         :          0          0          0       4589          0         13        295          0          0       8952
1794.72/1795.24	c   knapsack         :         14         19      27930          0          0         93       4024        165          0          0
1794.72/1795.24	c   linear           :       4200         19      27837          0          0        635     366784          4          0          0
1794.72/1795.24	c   logicor          :          0+         0       4680          0          0          8        411          0          0          0
1794.72/1795.24	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1794.72/1795.24	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.72/1795.24	c   integral         :     348.70       0.00       0.00     348.70       0.00
1794.72/1795.24	c   knapsack         :       2.76       0.00       2.76       0.00       0.00
1794.72/1795.24	c   linear           :      85.41       0.04      85.37       0.00       0.00
1794.72/1795.24	c   logicor          :       0.38       0.00       0.38       0.00       0.00
1794.72/1795.24	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.72/1795.24	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.72/1795.24	c   rootredcost      :       0.02          0          0          0
1794.72/1795.24	c   pseudoobj        :       0.07      27701          0          0
1794.72/1795.24	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.72/1795.24	c   propagation      :       0.05        736        736       3991       26.6         17       14.5          -
1794.72/1795.24	c   infeasible LP    :       5.84       6137          0          0        0.0          0        0.0          0
1794.72/1795.24	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.72/1795.24	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.72/1795.24	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.72/1795.24	c   applied globally :          -          -          -       2239       24.3          -          -          -
1794.72/1795.24	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.72/1795.24	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.72/1795.24	c   cut pool         :       0.02         18          -          -      16073          -    (maximal pool size: 6262)
1794.72/1795.24	c   redcost          :       2.22       4638          0         58          0          0
1794.72/1795.24	c   impliedbounds    :       0.01         19          0          0         67          0
1794.72/1795.24	c   intobj           :       0.00          0          0          0          0          0
1794.72/1795.24	c   gomory           :       3.56         19          0          0         31          0
1794.72/1795.24	c   strongcg         :       3.44         19          0          0         62          0
1794.72/1795.24	c   cmir             :       5.25         10          0          0       5000          0
1794.72/1795.24	c   flowcover        :       4.72         10          0          0       2000          0
1794.72/1795.24	c   clique           :       0.00          1          0          0          0          0
1794.72/1795.24	c   zerohalf         :       0.00          0          0          0          0          0
1794.72/1795.24	c   mcf              :       0.00          1          0          0          0          0
1794.72/1795.24	c Pricers            :       Time      Calls       Vars
1794.72/1795.24	c   problem variables:       0.00          0          0
1794.72/1795.24	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.72/1795.24	c   relpscost        :     348.69       4589         13        295          0          0       8952
1794.72/1795.24	c   pscost           :       0.00          0          0          0          0          0          0
1794.72/1795.24	c   inference        :       0.00          0          0          0          0          0          0
1794.72/1795.24	c   mostinf          :       0.00          0          0          0          0          0          0
1794.72/1795.24	c   leastinf         :       0.00          0          0          0          0          0          0
1794.72/1795.24	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.72/1795.24	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.72/1795.24	c   random           :       0.00          0          0          0          0          0          0
1794.72/1795.24	c Primal Heuristics  :       Time      Calls      Found
1794.72/1795.24	c   LP solutions     :       0.00          -          0
1794.72/1795.24	c   pseudo solutions :       0.00          -          0
1794.72/1795.24	c   oneopt           :       0.01          0          0
1794.72/1795.24	c   crossover        :       0.00          0          0
1794.72/1795.24	c   guideddiving     :       0.00          0          0
1794.72/1795.24	c   intshifting      :       0.00          0          0
1794.72/1795.24	c   coefdiving       :     272.58          5          0
1794.72/1795.24	c   feaspump         :      46.89         12          0
1794.72/1795.24	c   simplerounding   :       0.01          0          0
1794.72/1795.24	c   rounding         :       2.27        913          0
1794.72/1795.24	c   shifting         :      18.07        258          0
1794.72/1795.24	c   fixandinfer      :       0.00          0          0
1794.72/1795.24	c   pscostdiving     :     128.93         35          0
1794.72/1795.24	c   fracdiving       :     137.12          7          0
1794.72/1795.24	c   veclendiving     :      39.68         19          0
1794.72/1795.24	c   intdiving        :       0.00          0          0
1794.72/1795.24	c   actconsdiving    :       0.00          0          0
1794.72/1795.24	c   objpscostdiving  :      88.87         13          0
1794.72/1795.24	c   rootsoldiving    :      18.44         10          0
1794.72/1795.24	c   linesearchdiving :      53.45         43          0
1794.72/1795.24	c   octane           :       0.00          0          0
1794.72/1795.24	c   rens             :       0.02          0          0
1794.72/1795.24	c   rins             :       0.00          0          0
1794.72/1795.24	c   localbranching   :       0.00          0          0
1794.72/1795.24	c   mutation         :       0.00          0          0
1794.72/1795.24	c   dins             :       0.00          0          0
1794.72/1795.24	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.72/1795.24	c   primal LP        :       0.19          0          0       0.00       0.00
1794.72/1795.24	c   dual LP          :     537.62       5209    1016261     195.10    1890.30
1794.72/1795.24	c   barrier LP       :       0.00          0          0       0.00          -
1794.72/1795.24	c   diving/probing LP:     698.82      15330     619041      40.38     885.84
1794.72/1795.24	c   strong branching :     344.30       3309     619889     187.33    1800.43
1794.72/1795.24	c     (at root node) :          -         20       6229     311.45          -
1794.72/1795.24	c   conflict analysis:       0.00          0          0       0.00          -
1794.72/1795.24	c B&B Tree           :
1794.72/1795.24	c   number of runs   :          1
1794.72/1795.24	c   nodes            :       5357
1794.72/1795.24	c   nodes (total)    :       5357
1794.72/1795.24	c   nodes left       :       3564
1794.72/1795.24	c   max depth        :        143
1794.72/1795.24	c   max depth (total):        143
1794.72/1795.24	c   backtracks       :        577 (10.8%)
1794.72/1795.24	c   delayed cutoffs  :         32
1794.72/1795.24	c   repropagations   :        711 (30262 domain reductions, 27 cutoffs)
1794.72/1795.24	c   avg switch length:       4.44
1794.72/1795.24	c   switching time   :       9.35
1794.72/1795.24	c Solution           :
1794.72/1795.24	c   Solutions found  :          0 (0 improvements)
1794.72/1795.24	c   Primal Bound     :          -
1794.72/1795.24	c   Dual Bound       : +1.50025429116338e+01
1794.72/1795.24	c   Gap              :   infinite
1794.72/1795.24	c   Root Dual Bound  : +1.41702127659575e+01
1794.91/1795.42	c Time complete: 1794.93.

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-1869343-1245170532/watcher-1869343-1245170532 -o /tmp/evaluation-result-1869343-1245170532/solver-1869343-1245170532 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869343-1245170532.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: 0.99 0.98 0.99 3/65 6146
/proc/meminfo: memFree=1845168/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=5812 CPUtime=0
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 184652682 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 5786803 0 0 4096 0 0 0 0 17 1 0 0
/proc/6146/statm: 1453 503 332 1256 0 192 0

[startup+0.059628 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 6146
/proc/meminfo: memFree=1845168/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=11544 CPUtime=0.05
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 1852 0 0 0 5 0 0 0 18 0 1 0 184652682 11821056 1836 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/6146/statm: 2886 1836 378 1256 0 1625 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11544

[startup+0.101631 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 6146
/proc/meminfo: memFree=1845168/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=12740 CPUtime=0.09
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 2145 0 0 0 9 0 0 0 18 0 1 0 184652682 13045760 2129 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/6146/statm: 3185 2129 378 1256 0 1924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12740

[startup+0.301654 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 6146
/proc/meminfo: memFree=1845168/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=18692 CPUtime=0.29
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 3645 0 0 0 28 1 0 0 19 0 1 0 184652682 19140608 3629 1992294400 4194304 9342243 548682068736 18446744073709551615 7635775 0 0 4096 0 0 0 0 17 1 0 0
/proc/6146/statm: 4673 3629 378 1256 0 3412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18692

[startup+0.701699 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 6146
/proc/meminfo: memFree=1845168/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=88336 CPUtime=0.69
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 20457 0 0 0 61 8 0 0 22 0 1 0 184652682 90456064 20087 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 22084 20087 454 1256 0 20823 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88336

[startup+1.50179 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1764776/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=89748 CPUtime=1.49
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 20899 0 0 0 140 9 0 0 25 0 1 0 184652682 91901952 20529 1992294400 4194304 9342243 548682068736 18446744073709551615 5061639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 22437 20529 484 1256 0 21176 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89748

[startup+3.10197 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1764648/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=96980 CPUtime=3.09
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 22737 0 0 0 299 10 0 0 25 0 1 0 184652682 99307520 22366 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 24245 22366 523 1256 0 22984 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96980

[startup+6.30133 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1743656/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=113212 CPUtime=6.29
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 26301 0 0 0 617 12 0 0 25 0 1 0 184652682 115929088 25908 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 28303 25908 640 1256 0 27042 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113212

[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1738472/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=127856 CPUtime=12.68
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 29844 0 0 0 1251 17 0 0 25 0 1 0 184652682 130924544 27096 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 31964 27096 665 1256 0 30703 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 127856

[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1725288/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=145176 CPUtime=25.49
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 38791 0 0 0 2524 25 0 0 25 0 1 0 184652682 148660224 30055 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 36294 30055 665 1256 0 35033 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 145176

[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1721256/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=143076 CPUtime=51.08
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 53010 0 0 0 5070 38 0 0 25 0 1 0 184652682 146509824 31596 1992294400 4194304 9342243 548682068736 18446744073709551615 6978074 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 35769 31596 666 1256 0 34508 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 143076

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1723176/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=151860 CPUtime=102.27
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 92066 0 0 0 10160 67 0 0 25 0 1 0 184652682 155504640 31067 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 37965 31067 677 1256 0 36704 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 151860

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1722280/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=137816 CPUtime=162.25
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 94415 0 0 0 16150 75 0 0 25 0 1 0 184652682 141123584 31304 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 34454 31304 681 1256 0 33193 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 137816

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1721000/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=137816 CPUtime=222.23
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 94749 0 0 0 22140 83 0 0 25 0 1 0 184652682 141123584 31638 1992294400 4194304 9342243 548682068736 18446744073709551615 7289239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 34454 31638 688 1256 0 33193 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 137816

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1720104/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=138620 CPUtime=282.22
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 94955 0 0 0 28128 94 0 0 25 0 1 0 184652682 141946880 31844 1992294400 4194304 9342243 548682068736 18446744073709551615 7289239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 34655 31844 688 1256 0 33394 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 138620

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1718184/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=139680 CPUtime=342.2
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 97465 0 0 0 34117 103 0 0 25 0 1 0 184652682 143032320 32311 1992294400 4194304 9342243 548682068736 18446744073709551615 6038437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 34920 32311 688 1256 0 33659 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 139680

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1718120/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=139680 CPUtime=402.18
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 97479 0 0 0 40109 109 0 0 25 0 1 0 184652682 143032320 32325 1992294400 4194304 9342243 548682068736 18446744073709551615 5869968 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 34920 32325 688 1256 0 33659 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 139680

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1724136/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=134224 CPUtime=462.17
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 104299 0 0 0 46097 120 0 0 25 0 1 0 184652682 137445376 30896 1992294400 4194304 9342243 548682068736 18446744073709551615 6867539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 33556 30896 688 1256 0 32295 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 134224

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1721320/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=141368 CPUtime=522.15
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 109696 0 0 0 52086 129 0 0 25 0 1 0 184652682 144760832 31531 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 35342 31531 688 1256 0 34081 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 141368

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6147
/proc/meminfo: memFree=1719080/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=139760 CPUtime=582.14
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 114871 0 0 0 58072 142 0 0 25 0 1 0 184652682 143114240 32099 1992294400 4194304 9342243 548682068736 18446744073709551615 6353948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 34940 32099 688 1256 0 33679 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 139760

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6149
/proc/meminfo: memFree=1718184/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=140800 CPUtime=642.12
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 118941 0 0 0 64061 151 0 0 25 0 1 0 184652682 144179200 32282 1992294400 4194304 9342243 548682068736 18446744073709551615 7289239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 35200 32282 688 1256 0 33939 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 140800

[startup+702.301 s]

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

/proc/meminfo: memFree=1712680/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=146960 CPUtime=1122
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 132916 0 0 0 111981 219 0 0 25 0 1 0 184652682 150487040 33649 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 36740 33649 688 1256 0 35479 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 146960

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1712744/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=144980 CPUtime=1181.97
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 134880 0 0 0 117967 230 0 0 25 0 1 0 184652682 148459520 33574 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 36245 33574 688 1256 0 34984 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 144980

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1710952/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=147440 CPUtime=1241.96
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 140662 0 0 0 123955 241 0 0 25 0 1 0 184652682 150978560 34014 1992294400 4194304 9342243 548682068736 18446744073709551615 6973399 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 36860 34014 688 1256 0 35599 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 147440

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1709224/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=148204 CPUtime=1301.94
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 141101 0 0 0 129943 251 0 0 25 0 1 0 184652682 151760896 34453 1992294400 4194304 9342243 548682068736 18446744073709551615 6038411 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 37051 34453 688 1256 0 35790 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 148204

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1708520/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=148820 CPUtime=1361.92
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 141269 0 0 0 135934 258 0 0 25 0 1 0 184652682 152391680 34621 1992294400 4194304 9342243 548682068736 18446744073709551615 5061694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 37205 34621 688 1256 0 35944 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 148820

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1706856/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=150812 CPUtime=1421.92
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 141689 0 0 0 141922 270 0 0 25 0 1 0 184652682 154431488 35041 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 37703 35041 688 1256 0 36442 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 150812

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1705384/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=150812 CPUtime=1481.89
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 142060 0 0 0 147912 277 0 0 25 0 1 0 184652682 154431488 35412 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 37703 35412 688 1256 0 36442 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 150812

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1704808/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=151084 CPUtime=1541.88
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 142202 0 0 0 153899 289 0 0 25 0 1 0 184652682 154710016 35554 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 37771 35554 688 1256 0 36510 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 151084

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1703784/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=151312 CPUtime=1601.86
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 142459 0 0 0 159886 300 0 0 25 0 1 0 184652682 154943488 35811 1992294400 4194304 9342243 548682068736 18446744073709551615 6348257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 37828 35811 688 1256 0 36567 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 151312

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1708008/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=149584 CPUtime=1661.85
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 145017 0 0 0 165873 312 0 0 25 0 1 0 184652682 153174016 34796 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 37396 34796 688 1256 0 36135 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 149584

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1705384/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=155428 CPUtime=1721.83
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 146768 0 0 0 171863 320 0 0 25 0 1 0 184652682 159158272 35408 1992294400 4194304 9342243 548682068736 18446744073709551615 6211285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 38857 35408 688 1256 0 37596 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 155428

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1702184/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=155428 CPUtime=1781.81
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 147557 0 0 0 177851 330 0 0 25 0 1 0 184652682 159158272 36197 1992294400 4194304 9342243 548682068736 18446744073709551615 6897074 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 38857 36197 688 1256 0 37596 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 155428

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

[startup+1785.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1702056/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=155428 CPUtime=1785.01
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 147589 0 0 0 178170 331 0 0 25 0 1 0 184652682 159158272 36229 1992294400 4194304 9342243 548682068736 18446744073709551615 5888808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 38857 36229 688 1256 0 37596 0
Current children cumulated CPU time (s) 1785.01
Current children cumulated vsize (KiB) 155428

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1701928/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=155428 CPUtime=1791.41
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 147627 0 0 0 178809 332 0 0 25 0 1 0 184652682 159158272 36267 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 38857 36267 688 1256 0 37596 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 155428

[startup+1793.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1701864/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=155428 CPUtime=1793.01
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 147635 0 0 0 178968 333 0 0 25 0 1 0 184652682 159158272 36275 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 38857 36275 688 1256 0 37596 0
Current children cumulated CPU time (s) 1793.01
Current children cumulated vsize (KiB) 155428

[startup+1794.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1701864/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=155428 CPUtime=1793.81
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 147661 0 0 0 179048 333 0 0 25 0 1 0 184652682 159158272 36301 1992294400 4194304 9342243 548682068736 18446744073709551615 6959599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 38857 36301 688 1256 0 37596 0
Current children cumulated CPU time (s) 1793.81
Current children cumulated vsize (KiB) 155428

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1701800/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=155428 CPUtime=1794.62
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 147663 0 0 0 179129 333 0 0 25 0 1 0 184652682 159158272 36303 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6146/statm: 38857 36303 688 1256 0 37596 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 155428

[startup+1795.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1701800/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=155428 CPUtime=1794.81
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 147667 0 0 0 179148 333 0 0 25 0 1 0 184652682 159158272 36307 1992294400 4194304 9342243 548682068736 18446744073709551615 4733160 0 0 4096 0 0 0 0 17 1 0 0
/proc/6146/statm: 38857 36307 692 1256 0 37596 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 155428

[startup+1795.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6155
/proc/meminfo: memFree=1701800/2055920 swapFree=4191900/4192956
[pid=6146] ppid=6144 vsize=128436 CPUtime=1794.91
/proc/6146/stat : 6146 (pbscip.linux.x8) R 6144 6146 5820 0 -1 4194304 147668 0 0 0 179158 333 0 0 25 0 1 0 184652682 131518464 30362 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/6146/statm: 32109 30362 2483 1256 0 30848 0
Current children cumulated CPU time (s) 1794.91
Current children cumulated vsize (KiB) 128436

Child status: 0
Real time (s): 1795.42
CPU time (s): 1794.94
CPU user time (s): 1791.58
CPU system time (s): 3.35849
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 157804

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

runsolver used 2.06069 second user time and 3.75243 second system time

The end

Launcher Data 

Begin job on node32 at 2009-06-16 18:42:12
IDJOB=1869343
IDBENCH=2634
IDSOLVER=684
FILE ID=node32/1869343-1245170532
PBS_JOBID= 9363860
Free space on /tmp= 66340 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/golomb-rulers/normalized-OGR_15.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-1869343-1245170532/watcher-1869343-1245170532 -o /tmp/evaluation-result-1869343-1245170532/solver-1869343-1245170532 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869343-1245170532.opb

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

MD5SUM BENCH= b4a219bc21641bf0d46eae2692004ebe
RANDOM SEED=1648771272

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1845648 kB
Buffers:         44884 kB
Cached:          89292 kB
SwapCached:        260 kB
Active:          53724 kB
Inactive:        94856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845648 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           13728 kB
Writeback:           0 kB
Mapped:          23780 kB
Slab:            47460 kB
Committed_AS:   163388 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66328 MiB
End job on node32 at 2009-06-16 19:12:08