Trace number 1869347

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? 1797.9 1798.36

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
MD5SUMfe9b3ae0ed0deb400897e8cf071ce6eb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark101
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 95
Optimality of the best value was proved NO
Number of variables1812
Total number of constraints3443
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 constraints3443
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 1307
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.09/0.18	c SCIP version 1.1.0.7
0.09/0.18	c LP-Solver Clp 1.8.2
0.09/0.18	c user parameter file <scip.set> not found - using default parameters
0.09/0.18	c read problem <HOME/instance-1869347-1245170662.opb>
0.09/0.18	c original problem has 1812 variables (1812 bin, 0 int, 0 impl, 0 cont) and 3443 constraints
0.19/0.24	c start presolving problem
0.19/0.24	c presolving:
0.29/0.32	c (round 1) 0 del vars, 1716 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11 upgd conss, 0 impls, 0 clqs
0.99/1.08	c    (0.8s) probing: 113/1812 (6.2%) - 0 fixings, 0 aggregations, 646 implications, 0 bound changes
0.99/1.08	c    (0.8s) probing aborted: 100/100 successive totally useless probings
0.99/1.08	c presolving (2 rounds):
0.99/1.08	c  0 deleted vars, 1716 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.08	c  3564 implications, 0 cliques
0.99/1.08	c presolved problem has 1812 variables (1812 bin, 0 int, 0 impl, 0 cont) and 1727 constraints
0.99/1.08	c      11 constraints of type <knapsack>
0.99/1.08	c    1716 constraints of type <linear>
0.99/1.08	c transformed objective value is always integral (scale: 1)
0.99/1.08	c Presolving Time: 0.83
0.99/1.08	c OPT-LIN
0.99/1.08	c -----------------------------------------------------------------------------------------------
0.99/1.08	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.08	c limits/memory = c 1620
0.99/1.08	c # maximal time in seconds to run
0.99/1.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.08	c limits/time = c 1791
0.99/1.08	c # frequency for displaying node information lines
0.99/1.08	c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.08	c display/freq = c 10000
0.99/1.08	c -----------------------------------------------------------------------------------------------
0.99/1.08	c start solving problem
0.99/1.08	c 
1.29/1.31	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.29/1.31	c   1.1s|     1 |     0 |  2096 |  14M|   0 |1066 |1812 |1727 |1727 |1812 |1727 |   0 |   0 |   0 | 1.100000e+01 |      --      |    Inf 
2.79/2.87	c   2.6s|     1 |     0 |  5419 |  15M|   0 |1086 |1812 |1727 |1727 |1812 |1769 |  42 |   0 |   0 | 1.100000e+01 |      --      |    Inf 
3.29/3.30	c   3.0s|     1 |     0 |  5511 |  15M|   0 |1086 |1812 |1727 |1727 |1812 |1823 |  96 |   0 |   0 | 1.100000e+01 |      --      |    Inf 
3.79/3.89	c   3.6s|     1 |     0 |  5686 |  16M|   0 |1076 |1812 |1727 |1727 |1812 |1875 | 148 |   0 |   0 | 1.100000e+01 |      --      |    Inf 
4.39/4.45	c   4.2s|     1 |     0 |  5896 |  16M|   0 |1081 |1812 |1727 |1727 |1812 |1919 | 192 |   0 |   0 | 1.100000e+01 |      --      |    Inf 
5.09/5.11	c   4.8s|     1 |     0 |  6156 |  17M|   0 |1090 |1812 |1727 |1727 |1812 |1965 | 238 |   0 |   0 | 1.100232e+01 |      --      |    Inf 
5.89/5.90	c   5.6s|     1 |     0 |  6460 |  17M|   0 |1092 |1812 |1727 |1727 |1812 |2016 | 289 |   0 |   0 | 1.100232e+01 |      --      |    Inf 
6.60/6.69	c   6.4s|     1 |     0 |  6748 |  18M|   0 |1094 |1812 |1727 |1727 |1812 |2071 | 344 |   0 |   0 | 1.116667e+01 |      --      |    Inf 
7.99/8.02	c   7.7s|     1 |     0 |  7214 |  18M|   0 |1092 |1812 |1727 |1727 |1812 |2109 | 382 |   0 |   0 | 1.116667e+01 |      --      |    Inf 
9.49/9.50	c   9.2s|     1 |     0 |  7824 |  19M|   0 |1096 |1812 |1727 |1727 |1812 |2159 | 432 |   0 |   0 | 1.116667e+01 |      --      |    Inf 
11.29/11.36	c  11.1s|     1 |     0 |  8370 |  19M|   0 |1092 |1812 |1727 |1727 |1812 |2200 | 473 |   0 |   0 | 1.116667e+01 |      --      |    Inf 
12.18/12.22	c  11.9s|     1 |     0 |  9258 |  19M|   0 |1091 |1812 |1727 |1727 |1812 |2240 | 513 |   0 |   0 | 1.116667e+01 |      --      |    Inf 
12.99/13.05	c  12.7s|     1 |     0 | 10201 |  19M|   0 |1086 |1812 |1727 |1727 |1812 |2274 | 547 |   0 |   0 | 1.116667e+01 |      --      |    Inf 
16.39/16.44	c  16.1s|     1 |     2 | 10201 |  19M|   0 |1086 |1812 |1727 |1727 |1812 |2274 | 547 |   0 |  18 | 1.116667e+01 |      --      |    Inf 
693.51/693.74	c   691s| 10000 |  7598 |  1227k|  49M| 214 | 587 |1812 |5237 |2048 |1812 |1900 | 547 |6836 |4176 | 1.300000e+01 |      --      |    Inf 
1218.58/1218.92	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1218.58/1218.92	c  1214s| 20000 | 13700 |  2499k|  78M| 214 | 717 |1812 |2718 |1865 |1812 |1900 | 547 |  13k|6601 | 1.400000e+01 |      --      |    Inf 
1693.37/1693.87	c  1687s| 30000 | 18979 |  3727k| 106M| 214 |1075 |1812 |2798 |2241 |1812 |1900 | 547 |  20k|8466 | 1.500000e+01 |      --      |    Inf 
1797.64/1798.15	c 
1797.64/1798.15	c SCIP Status        : solving was interrupted [time limit reached]
1797.64/1798.15	c Solving Time (sec) : 1791.01
1797.64/1798.15	c Solving Nodes      : 32370
1797.64/1798.15	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.64/1798.15	c Dual Bound         : +1.50000000000000e+01
1797.64/1798.15	c Gap                : infinite
1797.64/1798.15	c NODE         32370
1797.64/1798.15	c DUAL BOUND   15
1797.64/1798.15	c PRIMAL BOUND 1e+20
1797.64/1798.15	c GAP          1e+20
1797.64/1798.15	s UNKNOWN
1797.64/1798.15	c SCIP Status        : solving was interrupted [time limit reached]
1797.64/1798.15	c Solving Time       :    1791.01
1797.64/1798.15	c Original Problem   :
1797.64/1798.15	c   Problem name     : HOME/instance-1869347-1245170662.opb
1797.64/1798.15	c   Variables        : 1812 (1812 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.64/1798.15	c   Constraints      : 3443 initial, 3443 maximal
1797.64/1798.15	c Presolved Problem  :
1797.64/1798.15	c   Problem name     : t_HOME/instance-1869347-1245170662.opb
1797.64/1798.15	c   Variables        : 1812 (1812 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.64/1798.15	c   Constraints      : 1727 initial, 5715 maximal
1797.64/1798.15	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1797.64/1798.15	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1797.64/1798.15	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1797.64/1798.15	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1797.64/1798.15	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1797.64/1798.15	c   implics          :       0.00          0          0          0          0          0          0          0          0
1797.64/1798.15	c   probing          :       0.72          0          0          0          0          0          0          0          0
1797.64/1798.15	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1797.64/1798.15	c   linear           :       0.09          0          0          0          0          0       1716          0          0
1797.64/1798.15	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1797.64/1798.15	c   root node        :          -          0          -          -          0          -          -          -          -
1797.64/1798.15	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1797.64/1798.15	c   integral         :          0          0          0      26934          0          6       1321          0          0      53086
1797.64/1798.15	c   knapsack         :         11         12     117889          0          0       1057      39290         92          0          0
1797.64/1798.15	c   linear           :       1716         12     116832          0          0       5153    2106942          2          0          0
1797.64/1798.15	c   logicor          :          0+         0      48333          0          0        187       9300          0          0          0
1797.64/1798.15	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1797.64/1798.15	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1797.64/1798.15	c   integral         :     305.98       0.00       0.00     305.98       0.00
1797.64/1798.15	c   knapsack         :       8.32       0.00       8.32       0.00       0.00
1797.64/1798.15	c   linear           :     232.04       0.00     232.04       0.00       0.00
1797.64/1798.15	c   logicor          :       5.29       0.00       5.29       0.00       0.00
1797.64/1798.15	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1797.64/1798.15	c Propagators        :       Time      Calls    Cutoffs    DomReds
1797.64/1798.15	c   rootredcost      :       0.10          0          0          0
1797.64/1798.15	c   pseudoobj        :       0.26     117661          0          0
1797.64/1798.15	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.64/1798.15	c   propagation      :       0.98       6397       6389      40496       28.0        391       14.4          -
1797.64/1798.15	c   infeasible LP    :       5.46      12295          7         48       39.4          0        0.0          0
1797.64/1798.15	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.64/1798.15	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.64/1798.15	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.64/1798.15	c   applied globally :          -          -          -      21737       26.2          -          -          -
1797.64/1798.15	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.64/1798.15	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.64/1798.15	c   cut pool         :       0.01         11          -          -       8421          -    (maximal pool size: 6274)
1797.64/1798.15	c   redcost          :       1.50      26976          0         40          0          0
1797.64/1798.15	c   impliedbounds    :       0.00         12          0          0         26          0
1797.64/1798.15	c   intobj           :       0.00          0          0          0          0          0
1797.64/1798.15	c   gomory           :       0.38         12          0          0         67          0
1797.64/1798.15	c   strongcg         :       0.35         12          0          0         49          0
1797.64/1798.15	c   cmir             :       3.22         10          0          0       4993          0
1797.64/1798.15	c   flowcover        :       2.36         10          0          0       2001          0
1797.64/1798.15	c   clique           :       0.00          1          0          0          0          0
1797.64/1798.15	c   zerohalf         :       0.00          0          0          0          0          0
1797.64/1798.15	c   mcf              :       0.00          1          0          0          0          0
1797.64/1798.15	c Pricers            :       Time      Calls       Vars
1797.64/1798.15	c   problem variables:       0.00          0          0
1797.64/1798.15	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.64/1798.15	c   relpscost        :     305.92      26934          6       1321          0          0      53086
1797.64/1798.15	c   pscost           :       0.00          0          0          0          0          0          0
1797.64/1798.15	c   inference        :       0.00          0          0          0          0          0          0
1797.64/1798.15	c   mostinf          :       0.00          0          0          0          0          0          0
1797.64/1798.15	c   leastinf         :       0.00          0          0          0          0          0          0
1797.64/1798.15	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.64/1798.15	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.64/1798.15	c   random           :       0.00          0          0          0          0          0          0
1797.64/1798.15	c Primal Heuristics  :       Time      Calls      Found
1797.64/1798.15	c   LP solutions     :       0.00          -          0
1797.64/1798.15	c   pseudo solutions :       0.00          -          0
1797.64/1798.15	c   oneopt           :       0.01          0          0
1797.64/1798.15	c   crossover        :       0.00          0          0
1797.64/1798.15	c   guideddiving     :       0.00          0          0
1797.64/1798.15	c   linesearchdiving :      21.96         88          0
1797.64/1798.15	c   fracdiving       :     141.29         88          0
1797.64/1798.15	c   veclendiving     :      20.45         88          0
1797.64/1798.15	c   coefdiving       :     125.19         89          0
1797.64/1798.15	c   pscostdiving     :      56.81         89          0
1797.64/1798.15	c   objpscostdiving  :      25.36         45          0
1797.64/1798.15	c   rootsoldiving    :      13.73         45          0
1797.64/1798.15	c   feaspump         :      43.71         45          0
1797.64/1798.15	c   simplerounding   :       0.09          0          0
1797.64/1798.15	c   rounding         :       1.64       2261          0
1797.64/1798.15	c   shifting         :       9.59        676          0
1797.64/1798.15	c   intshifting      :       0.00          0          0
1797.64/1798.15	c   fixandinfer      :       0.00          0          0
1797.64/1798.15	c   intdiving        :       0.00          0          0
1797.64/1798.15	c   actconsdiving    :       0.00          0          0
1797.64/1798.15	c   octane           :       0.00          0          0
1797.64/1798.15	c   rens             :       0.01          0          0
1797.64/1798.15	c   rins             :       0.00          0          0
1797.64/1798.15	c   localbranching   :       0.00          0          0
1797.64/1798.15	c   mutation         :       0.00          0          0
1797.64/1798.15	c   dins             :       0.00          0          0
1797.64/1798.15	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.64/1798.15	c   primal LP        :       0.03          0          0       0.00       0.00
1797.64/1798.15	c   dual LP          :     735.35      29344    3524526     120.11    4792.99
1797.64/1798.15	c   barrier LP       :       0.00          0          0       0.00          -
1797.64/1798.15	c   diving/probing LP:     373.45      28691     484609      16.89    1297.65
1797.64/1798.15	c   strong branching :     295.56       9048    1307999     144.56    4425.49
1797.64/1798.15	c     (at root node) :          -         18       3924     218.00          -
1797.64/1798.15	c   conflict analysis:       0.00          0          0       0.00          -
1797.64/1798.15	c B&B Tree           :
1797.64/1798.15	c   number of runs   :          1
1797.64/1798.15	c   nodes            :      32370
1797.64/1798.15	c   nodes (total)    :      32370
1797.64/1798.15	c   nodes left       :      20079
1797.64/1798.15	c   max depth        :        214
1797.64/1798.15	c   max depth (total):        214
1797.64/1798.15	c   backtracks       :       1979 (6.1%)
1797.64/1798.15	c   delayed cutoffs  :        638
1797.64/1798.15	c   repropagations   :       8904 (228266 domain reductions, 566 cutoffs)
1797.64/1798.15	c   avg switch length:       3.93
1797.64/1798.15	c   switching time   :      34.29
1797.64/1798.15	c Solution           :
1797.64/1798.15	c   Solutions found  :          0 (0 improvements)
1797.64/1798.15	c   Primal Bound     :          -
1797.64/1798.15	c   Dual Bound       : +1.50000000000000e+01
1797.64/1798.15	c   Gap              :   infinite
1797.64/1798.15	c   Root Dual Bound  : +1.11666666666667e+01
1797.84/1798.35	c Time complete: 1797.9.

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-1869347-1245170662/watcher-1869347-1245170662 -o /tmp/evaluation-result-1869347-1245170662/solver-1869347-1245170662 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869347-1245170662.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 0.93 3/67 9431
/proc/meminfo: memFree=1295768/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=7616 CPUtime=0
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 555 0 0 0 0 0 0 0 18 0 1 0 173555534 7798784 540 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/9431/statm: 1904 549 353 1256 0 643 0

[startup+0.048417 s]
/proc/loadavg: 1.00 1.00 0.93 3/67 9431
/proc/meminfo: memFree=1295768/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=11364 CPUtime=0.04
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 1807 0 0 0 4 0 0 0 18 0 1 0 173555534 11636736 1791 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/9431/statm: 2841 1791 378 1256 0 1580 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11364

[startup+0.10142 s]
/proc/loadavg: 1.00 1.00 0.93 3/67 9431
/proc/meminfo: memFree=1295768/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=12740 CPUtime=0.09
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 2153 0 0 0 9 0 0 0 18 0 1 0 173555534 13045760 2137 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/9431/statm: 3185 2137 378 1256 0 1924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12740

[startup+0.301439 s]
/proc/loadavg: 1.00 1.00 0.93 3/67 9431
/proc/meminfo: memFree=1295768/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=45432 CPUtime=0.29
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 10308 0 0 0 25 4 0 0 19 0 1 0 173555534 46522368 9938 1992294400 4194304 9342243 548682068736 18446744073709551615 8228225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 11358 9938 455 1256 0 10097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45432

[startup+0.701475 s]
/proc/loadavg: 1.00 1.00 0.93 3/67 9431
/proc/meminfo: memFree=1295768/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=46464 CPUtime=0.69
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 10614 0 0 0 65 4 0 0 22 0 1 0 173555534 47579136 10244 1992294400 4194304 9342243 548682068736 18446744073709551615 5061320 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 11616 10244 484 1256 0 10355 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46464

[startup+1.50155 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1256528/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=55108 CPUtime=1.49
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 12617 0 0 0 143 6 0 0 25 0 1 0 173555534 56430592 12217 1992294400 4194304 9342243 548682068736 18446744073709551615 6889085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 13777 12217 640 1256 0 12516 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55108

[startup+3.10169 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1249104/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=58388 CPUtime=3.09
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 12933 0 0 0 302 7 0 0 25 0 1 0 173555534 59789312 12532 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 14597 12532 665 1256 0 13336 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58388

[startup+6.30197 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1243088/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=64132 CPUtime=6.29
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 16182 0 0 0 619 10 0 0 25 0 1 0 173555534 65671168 13732 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 16033 13732 665 1256 0 14772 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64132

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1235480/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=75528 CPUtime=12.69
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 22044 0 0 0 1255 14 0 0 25 0 1 0 173555534 77340672 15846 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 18882 15846 665 1256 0 17621 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75528

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1235288/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=72188 CPUtime=25.49
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 26417 0 0 0 2531 18 0 0 25 0 1 0 173555534 73920512 15696 1992294400 4194304 9342243 548682068736 18446744073709551615 6967275 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 18047 15696 678 1256 0 16786 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72188

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1235096/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=72188 CPUtime=51.07
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 26482 0 0 0 5084 23 0 0 25 0 1 0 173555534 73920512 15761 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 18047 15761 678 1256 0 16786 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 72188

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1233752/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=72188 CPUtime=102.25
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 26836 0 0 0 10190 35 0 0 25 0 1 0 173555534 73920512 16115 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 18047 16115 688 1256 0 16786 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 72188

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1231384/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=73132 CPUtime=162.24
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 29036 0 0 0 16173 51 0 0 25 0 1 0 173555534 74887168 16740 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 18283 16740 688 1256 0 17022 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 73132

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1229272/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=76712 CPUtime=222.23
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 34775 0 0 0 22151 72 0 0 25 0 1 0 173555534 78553088 17235 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 19178 17235 688 1256 0 17917 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 76712

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1225368/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=79572 CPUtime=282.21
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 40816 0 0 0 28130 91 0 0 25 0 1 0 173555534 81481728 18188 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 19893 18188 688 1256 0 18632 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 79572

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1224728/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=79348 CPUtime=342.19
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 53751 0 0 0 34106 113 0 0 25 0 1 0 173555534 81252352 18353 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 19837 18353 688 1256 0 18576 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 79348

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1220056/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=86220 CPUtime=402.18
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 62944 0 0 0 40085 133 0 0 25 0 1 0 173555534 88289280 19760 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 21555 19760 688 1256 0 20294 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 86220

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1217560/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=87792 CPUtime=462.16
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 67469 0 0 0 46064 152 0 0 25 0 1 0 173555534 89899008 20139 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 21948 20139 688 1256 0 20687 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 87792

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1213592/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=90136 CPUtime=522.15
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 82008 0 0 0 52040 175 0 0 25 0 1 0 173555534 92299264 21170 1992294400 4194304 9342243 548682068736 18446744073709551615 5029534 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 22534 21170 688 1256 0 21273 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 90136

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1210264/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=93576 CPUtime=582.14
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 88919 0 0 0 58018 196 0 0 25 0 1 0 173555534 95821824 21952 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 23394 21952 688 1256 0 22133 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 93576

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9432
/proc/meminfo: memFree=1207384/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=96868 CPUtime=642.13
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 95148 0 0 0 63996 217 0 0 25 0 1 0 173555534 99192832 22650 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 24217 22650 688 1256 0 22956 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 96868

[startup+702.301 s]

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

/proc/meminfo: memFree=1175448/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=129444 CPUtime=1062.02
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 135755 0 0 0 105830 372 0 0 25 0 1 0 173555534 132550656 30616 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 32361 30616 688 1256 0 31100 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 129444

[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 0.94 2/68 9438
/proc/meminfo: memFree=1171480/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=133268 CPUtime=1122
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 141572 0 0 0 111807 393 0 0 25 0 1 0 173555534 136466432 31595 1992294400 4194304 9342243 548682068736 18446744073709551615 5063470 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 33317 31595 688 1256 0 32056 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 133268

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 0.94 2/68 9438
/proc/meminfo: memFree=1166168/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=138100 CPUtime=1181.99
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 147778 0 0 0 117781 418 0 0 25 0 1 0 173555534 141414400 33007 1992294400 4194304 9342243 548682068736 18446744073709551615 5062320 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 34525 33007 688 1256 0 33264 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 138100

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9438
/proc/meminfo: memFree=1160728/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=143828 CPUtime=1241.97
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 157025 0 0 0 123755 442 0 0 25 0 1 0 173555534 147279872 34290 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 35957 34290 688 1256 0 34696 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 143828

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9438
/proc/meminfo: memFree=1157784/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=146784 CPUtime=1301.96
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 170030 0 0 0 129728 468 0 0 25 0 1 0 173555534 150306816 35015 1992294400 4194304 9342243 548682068736 18446744073709551615 5063004 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 36696 35015 688 1256 0 35435 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 146784

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9438
/proc/meminfo: memFree=1153304/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=151668 CPUtime=1361.95
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 176575 0 0 0 135703 492 0 0 25 0 1 0 173555534 155308032 36142 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 37917 36142 688 1256 0 36656 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 151668

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 9438
/proc/meminfo: memFree=1150488/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=154344 CPUtime=1421.93
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 180346 0 0 0 141678 515 0 0 25 0 1 0 173555534 158048256 36836 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 38586 36836 688 1256 0 37325 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 154344

[startup+1482.3 s]
/proc/loadavg: 1.04 1.01 0.94 2/68 9438
/proc/meminfo: memFree=1142872/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=160800 CPUtime=1481.91
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 185630 0 0 0 147656 535 0 0 25 0 1 0 173555534 164659200 38729 1992294400 4194304 9342243 548682068736 18446744073709551615 5029336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 40200 38729 688 1256 0 38939 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 160800

[startup+1542.3 s]
/proc/loadavg: 1.06 1.02 0.95 2/68 9438
/proc/meminfo: memFree=1139096/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=163936 CPUtime=1541.9
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 188003 0 0 0 153636 554 0 0 25 0 1 0 173555534 167870464 39659 1992294400 4194304 9342243 548682068736 18446744073709551615 5396637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 40984 39659 688 1256 0 39723 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 163936

[startup+1602.3 s]
/proc/loadavg: 1.02 1.02 0.95 2/68 9438
/proc/meminfo: memFree=1132504/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=171916 CPUtime=1601.88
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 193037 0 0 0 159613 575 0 0 25 0 1 0 173555534 176041984 41309 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 42979 41309 688 1256 0 41718 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 171916

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 0.95 2/68 9438
/proc/meminfo: memFree=1128472/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=175172 CPUtime=1661.87
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 201742 0 0 0 165590 597 0 0 25 0 1 0 173555534 179376128 42399 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 43793 42399 688 1256 0 42532 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 175172

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 0.95 2/68 9438
/proc/meminfo: memFree=1123416/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=180468 CPUtime=1721.86
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 205877 0 0 0 171566 620 0 0 25 0 1 0 173555534 184799232 43651 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 45117 43651 688 1256 0 43856 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 180468

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/68 9438
/proc/meminfo: memFree=1116376/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=187112 CPUtime=1781.84
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 210751 0 0 0 177538 646 0 0 25 0 1 0 173555534 191602688 45412 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 46778 45412 688 1256 0 45517 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 187112

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.95 2/68 9438
/proc/meminfo: memFree=1115672/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=188420 CPUtime=1791.45
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 211249 0 0 0 178496 649 0 0 25 0 1 0 173555534 192942080 45518 1992294400 4194304 9342243 548682068736 18446744073709551615 5397434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 47105 45518 688 1256 0 45844 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 188420

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.95 2/68 9438
/proc/meminfo: memFree=1115416/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=188420 CPUtime=1794.64
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 211322 0 0 0 178814 650 0 0 25 0 1 0 173555534 192942080 45591 1992294400 4194304 9342243 548682068736 18446744073709551615 5028980 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 47105 45591 688 1256 0 45844 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 188420

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.95 2/68 9438
/proc/meminfo: memFree=1115288/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=188420 CPUtime=1796.24
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 211341 0 0 0 178973 651 0 0 25 0 1 0 173555534 192942080 45610 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 47105 45610 688 1256 0 45844 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 188420

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/68 9438
/proc/meminfo: memFree=1115288/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=188420 CPUtime=1797.04
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 211345 0 0 0 179053 651 0 0 25 0 1 0 173555534 192942080 45614 1992294400 4194304 9342243 548682068736 18446744073709551615 5063065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 47105 45614 688 1256 0 45844 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 188420

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 0.95 2/68 9438
/proc/meminfo: memFree=1115288/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=188420 CPUtime=1797.43
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 211346 0 0 0 179092 651 0 0 25 0 1 0 173555534 192942080 45615 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9431/statm: 47105 45615 688 1256 0 45844 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 188420

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/68 9438
/proc/meminfo: memFree=1115288/2055920 swapFree=4192956/4192956
[pid=9431] ppid=9429 vsize=188960 CPUtime=1797.84
/proc/9431/stat : 9431 (pbscip.linux.x8) R 9429 9431 9148 0 -1 4194304 211384 0 0 0 179132 652 0 0 25 0 1 0 173555534 193495040 45653 1992294400 4194304 9342243 548682068736 18446744073709551615 4539490 0 0 4096 0 0 0 0 17 1 0 0
/proc/9431/statm: 47240 45653 692 1256 0 45979 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 188960

Child status: 0
Real time (s): 1798.36
CPU time (s): 1797.9
CPU user time (s): 1791.35
CPU system time (s): 6.553
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 190252

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

runsolver used 1.54076 second user time and 5.01224 second system time

The end

Launcher Data 

Begin job on node68 at 2009-06-16 18:44:22
IDJOB=1869347
IDBENCH=2636
IDSOLVER=684
FILE ID=node68/1869347-1245170662
PBS_JOBID= 9363870
Free space on /tmp= 66472 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_12.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-1869347-1245170662/watcher-1869347-1245170662 -o /tmp/evaluation-result-1869347-1245170662/solver-1869347-1245170662 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869347-1245170662.opb

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

MD5SUM BENCH= fe9b3ae0ed0deb400897e8cf071ce6eb
RANDOM SEED=954693408

node68.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.238
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.238
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:       1296184 kB
Buffers:         68772 kB
Cached:         594364 kB
SwapCached:          0 kB
Active:         335040 kB
Inactive:       344520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1296184 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           12508 kB
Writeback:           0 kB
Mapped:          26464 kB
Slab:            65792 kB
Committed_AS:    81820 kB
PageTables:       1564 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= 66460 MiB
End job on node68 at 2009-06-16 19:14:21