Trace number 1869568

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
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1797.27 1797.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_17.opb
MD5SUM25ee8feec785b6a4be71df8acc9d82db
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark264
Best CPU time to get the best result obtained on this benchmark1798.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 263
Optimality of the best value was proved NO
Number of variables7081
Total number of constraints13889
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13888
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 136
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 391
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2647
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.69/0.77	c SCIP version 1.1.0.7
0.69/0.77	c LP-Solver SoPlex 1.4.1
0.69/0.77	c user parameter file <scip.set> not found - using default parameters
0.69/0.77	c read problem <HOME/instance-1869568-1245179066.opb>
0.69/0.77	c original problem has 7081 variables (7081 bin, 0 int, 0 impl, 0 cont) and 13889 constraints
0.99/1.06	c start presolving problem
0.99/1.06	c presolving:
1.19/1.27	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 841 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.29/1.38	c (round 2) 1 del vars, 6214 del conss, 1 chg bounds, 0 chg sides, 841 chg coeffs, 739 upgd conss, 0 impls, 0 clqs
1.59/1.63	c (round 3) 1 del vars, 6214 del conss, 1 chg bounds, 17 chg sides, 879 chg coeffs, 1462 upgd conss, 946 impls, 4 clqs
1.89/1.91	c (round 4) 1 del vars, 6214 del conss, 1 chg bounds, 22 chg sides, 1110 chg coeffs, 1462 upgd conss, 946 impls, 4 clqs
5.50/5.58	c    (4.7s) probing: 109/7080 (1.5%) - 0 fixings, 0 aggregations, 1729 implications, 0 bound changes
5.50/5.58	c    (4.7s) probing aborted: 100/100 successive totally useless probings
5.50/5.59	c presolving (5 rounds):
5.50/5.59	c  1 deleted vars, 6214 deleted constraints, 1 tightened bounds, 0 added holes, 22 changed sides, 1114 changed coefficients
5.50/5.59	c  4404 implications, 4 cliques
5.50/5.59	c presolved problem has 7080 variables (7080 bin, 0 int, 0 impl, 0 cont) and 7688 constraints
5.50/5.59	c    1462 constraints of type <knapsack>
5.50/5.59	c      13 constraints of type <setppc>
5.50/5.59	c    6213 constraints of type <linear>
5.50/5.59	c transformed objective value is always integral (scale: 1)
5.50/5.59	c Presolving Time: 4.51
5.50/5.59	c OPT-LIN
5.50/5.59	c -----------------------------------------------------------------------------------------------
5.50/5.59	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.50/5.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.50/5.59	c limits/memory = c 1620
5.50/5.59	c # maximal time in seconds to run
5.50/5.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.50/5.59	c limits/time = c 1791
5.50/5.59	c # frequency for displaying node information lines
5.50/5.59	c # [type: int, range: [-1,2147483647], default: 100]
5.50/5.59	c display/freq = c 10000
5.50/5.59	c -----------------------------------------------------------------------------------------------
5.50/5.59	c start solving problem
5.50/5.59	c 
7.09/7.17	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.09/7.17	c   6.2s|     1 |     0 |  3439 |  63M|   0 |2925 |7080 |7688 |7688 |7080 |7688 |   0 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
28.30/28.36	c  27.3s|     1 |     0 | 13853 |  64M|   0 |3876 |7080 |7688 |7688 |7080 |7886 | 198 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
45.99/46.01	c  44.9s|     1 |     0 | 21900 |  65M|   0 |4206 |7080 |7688 |7688 |7080 |7999 | 311 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
61.49/61.59	c  60.5s|     1 |     0 | 27441 |  66M|   0 |4014 |7080 |7688 |7688 |7080 |8118 | 430 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
82.89/82.95	c  81.7s|     1 |     0 | 35167 |  66M|   0 |4069 |7080 |7688 |7688 |7080 |8194 | 506 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
105.19/105.21	c   104s|     1 |     0 | 41859 |  67M|   0 |4263 |7080 |7688 |7688 |7080 |8298 | 610 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
129.30/129.37	c   128s|     1 |     0 | 48372 |  68M|   0 |4147 |7080 |7688 |7688 |7080 |8409 | 721 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
188.01/188.02	c   186s|     1 |     2 | 48372 |  68M|   0 |4147 |7080 |7688 |7688 |7080 |8409 | 721 |   0 |  20 | 1.360000e+02 |      --      |    Inf 
1797.02/1796.81	c 
1797.02/1796.81	c SCIP Status        : solving was interrupted [time limit reached]
1797.02/1796.81	c Solving Time (sec) : 1791.00
1797.02/1796.81	c Solving Nodes      : 42
1797.02/1796.81	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.02/1796.81	c Dual Bound         : +1.36000000000000e+02
1797.02/1796.81	c Gap                : infinite
1797.02/1796.81	c NODE         42
1797.02/1796.81	c DUAL BOUND   136
1797.02/1796.81	c PRIMAL BOUND 1e+20
1797.02/1796.81	c GAP          1e+20
1797.02/1796.81	s UNKNOWN
1797.02/1796.81	c SCIP Status        : solving was interrupted [time limit reached]
1797.02/1796.81	c Solving Time       :    1791.00
1797.02/1796.81	c Original Problem   :
1797.02/1796.81	c   Problem name     : HOME/instance-1869568-1245179066.opb
1797.02/1796.81	c   Variables        : 7081 (7081 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1796.81	c   Constraints      : 13889 initial, 13889 maximal
1797.02/1796.81	c Presolved Problem  :
1797.02/1796.81	c   Problem name     : t_HOME/instance-1869568-1245179066.opb
1797.02/1796.81	c   Variables        : 7080 (7080 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1796.81	c   Constraints      : 7688 initial, 8008 maximal
1797.02/1796.81	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1797.02/1796.81	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1797.02/1796.81	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1797.02/1796.81	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1797.02/1796.81	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1797.02/1796.81	c   implics          :       0.01          0          0          0          0          0          0          0          0
1797.02/1796.81	c   probing          :       3.60          0          0          0          0          0          0          0          0
1797.02/1796.81	c   knapsack         :       0.43          0          0          0          0          0          0         22        273
1797.02/1796.81	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1797.02/1796.81	c   linear           :       0.41          1          0          0          1          0       6214          0        841
1797.02/1796.81	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1797.02/1796.81	c   root node        :          -          0          -          -          0          -          -          -          -
1797.02/1796.81	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1797.02/1796.81	c   integral         :          0          0          0         37          0          0          0          0          0         74
1797.02/1796.81	c   knapsack         :       1462          6       1344          0          0          6         52        894          0          0
1797.02/1796.81	c   setppc           :         13          6       1297          0          0          0          3          0          0          0
1797.02/1796.81	c   linear           :       6213          6       1338          0          0          5          1          0          0          0
1797.02/1796.81	c   logicor          :          0+         0        346          0          0          0          2          0          0          0
1797.02/1796.81	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1797.02/1796.81	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1797.02/1796.81	c   integral         :     351.91       0.00       0.00     351.91       0.00
1797.02/1796.81	c   knapsack         :       0.49       0.10       0.39       0.00       0.00
1797.02/1796.81	c   setppc           :       0.01       0.00       0.01       0.00       0.00
1797.02/1796.81	c   linear           :       5.41       0.00       5.41       0.00       0.00
1797.02/1796.81	c   logicor          :       0.02       0.00       0.02       0.00       0.00
1797.02/1796.81	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1797.02/1796.81	c Propagators        :       Time      Calls    Cutoffs    DomReds
1797.02/1796.81	c   rootredcost      :       0.00          0          0          0
1797.02/1796.81	c   pseudoobj        :       0.00       1118          0          0
1797.02/1796.81	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.02/1796.81	c   propagation      :       0.00         11         11         41       17.9          0        0.0          -
1797.02/1796.81	c   infeasible LP    :       0.60        294        294        296        6.6          0        0.0          0
1797.02/1796.81	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.02/1796.81	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.02/1796.81	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.02/1796.81	c   applied globally :          -          -          -        320        7.1          -          -          -
1797.02/1796.81	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.02/1796.81	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.02/1796.81	c   cut pool         :       0.00          5          -          -       1394          -    (maximal pool size: 5031)
1797.02/1796.81	c   redcost          :       0.05         44          0          4          0          0
1797.02/1796.81	c   impliedbounds    :       0.01          6          0          0         85          0
1797.02/1796.81	c   intobj           :       0.00          0          0          0          0          0
1797.02/1796.81	c   gomory           :       7.80          6          0          0          1          0
1797.02/1796.81	c   strongcg         :       7.60          6          0          0          2          0
1797.02/1796.81	c   cmir             :       5.89          6          0          0       3000          0
1797.02/1796.81	c   flowcover        :       3.64          6          0          0       1200          0
1797.02/1796.81	c   clique           :       0.00          6          0          0          0          0
1797.02/1796.81	c   zerohalf         :       0.00          0          0          0          0          0
1797.02/1796.81	c   mcf              :       0.01          1          0          0          0          0
1797.02/1796.81	c Pricers            :       Time      Calls       Vars
1797.02/1796.81	c   problem variables:       0.00          0          0
1797.02/1796.81	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.02/1796.81	c   relpscost        :     351.91         37          0          0          0          0         74
1797.02/1796.81	c   pscost           :       0.00          0          0          0          0          0          0
1797.02/1796.81	c   inference        :       0.00          0          0          0          0          0          0
1797.02/1796.81	c   mostinf          :       0.00          0          0          0          0          0          0
1797.02/1796.81	c   leastinf         :       0.00          0          0          0          0          0          0
1797.02/1796.81	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.02/1796.81	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.02/1796.81	c   random           :       0.00          0          0          0          0          0          0
1797.02/1796.81	c Primal Heuristics  :       Time      Calls      Found
1797.02/1796.81	c   LP solutions     :       0.00          -          0
1797.02/1796.81	c   pseudo solutions :       0.00          -          0
1797.02/1796.81	c   oneopt           :       0.00          0          0
1797.02/1796.81	c   crossover        :       0.00          0          0
1797.02/1796.81	c   veclendiving     :      45.54          2          0
1797.02/1796.81	c   simplerounding   :       0.00          0          0
1797.02/1796.81	c   rounding         :       0.39         43          0
1797.02/1796.81	c   shifting         :       1.63         10          0
1797.02/1796.81	c   intshifting      :       0.00          0          0
1797.02/1796.81	c   fixandinfer      :       0.00          0          0
1797.02/1796.81	c   feaspump         :      13.84          1          0
1797.02/1796.81	c   coefdiving       :     516.85          2          0
1797.02/1796.81	c   pscostdiving     :      28.29          2          0
1797.02/1796.81	c   fracdiving       :     561.14          1          0
1797.02/1796.81	c   intdiving        :       0.00          0          0
1797.02/1796.81	c   actconsdiving    :       0.00          0          0
1797.02/1796.81	c   objpscostdiving  :       5.16          2          0
1797.02/1796.81	c   rootsoldiving    :      15.46          1          0
1797.02/1796.81	c   linesearchdiving :       0.74          1          0
1797.02/1796.81	c   guideddiving     :       0.00          0          0
1797.02/1796.81	c   octane           :       0.00          0          0
1797.02/1796.81	c   rens             :       0.02          0          0
1797.02/1796.81	c   rins             :       0.00          0          0
1797.02/1796.81	c   localbranching   :       0.00          0          0
1797.02/1796.81	c   mutation         :       0.00          0          0
1797.02/1796.81	c   dins             :       0.00          0          0
1797.02/1796.81	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.02/1796.81	c   primal LP        :       0.21          0          0       0.00       0.00
1797.02/1796.81	c   dual LP          :     218.82         48     123536    2573.67     564.56
1797.02/1796.81	c   barrier LP       :       0.00          0          0       0.00          -
1797.02/1796.81	c   diving/probing LP:    1179.73       1010     858778     850.28     727.94
1797.02/1796.81	c   strong branching :     351.83        210     192726     917.74     547.78
1797.02/1796.81	c     (at root node) :          -         20      18085     904.25          -
1797.02/1796.81	c   conflict analysis:       0.00          0          0       0.00          -
1797.02/1796.81	c B&B Tree           :
1797.02/1796.81	c   number of runs   :          1
1797.02/1796.81	c   nodes            :         42
1797.02/1796.81	c   nodes (total)    :         42
1797.02/1796.81	c   nodes left       :         33
1797.02/1796.81	c   max depth        :         15
1797.02/1796.81	c   max depth (total):         15
1797.02/1796.81	c   backtracks       :         15 (35.7%)
1797.02/1796.81	c   delayed cutoffs  :          0
1797.02/1796.81	c   repropagations   :          7 (2 domain reductions, 0 cutoffs)
1797.02/1796.81	c   avg switch length:       2.83
1797.02/1796.81	c   switching time   :       0.29
1797.02/1796.81	c Solution           :
1797.02/1796.81	c   Solutions found  :          0 (0 improvements)
1797.02/1796.81	c   Primal Bound     :          -
1797.02/1796.81	c   Dual Bound       : +1.36000000000000e+02
1797.02/1796.81	c   Gap              :   infinite
1797.02/1796.81	c   Root Dual Bound  : +1.36000000000000e+02
1797.23/1797.03	c Time complete: 1797.25.

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-1869568-1245179066/watcher-1869568-1245179066 -o /tmp/evaluation-result-1869568-1245179066/solver-1869568-1245179066 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869568-1245179066.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31084
/proc/meminfo: memFree=1843128/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=4328 CPUtime=0
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 487 0 0 0 0 0 0 0 18 0 1 0 185507112 4431872 471 1992294400 4194304 7823515 548682068736 18446744073709551615 6041808 0 0 4096 0 0 0 0 17 1 0 0
/proc/31084/statm: 1162 482 315 886 0 272 0

[startup+0.060912 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31084
/proc/meminfo: memFree=1843128/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=10252 CPUtime=0.05
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 1877 0 0 0 5 0 0 0 18 0 1 0 185507112 10498048 1859 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/31084/statm: 2563 1859 354 886 0 1673 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10252

[startup+0.101898 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31084
/proc/meminfo: memFree=1843128/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=11256 CPUtime=0.09
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 2135 0 0 0 9 0 0 0 18 0 1 0 185507112 11526144 2117 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/31084/statm: 2814 2117 354 886 0 1924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11256

[startup+0.301841 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31084
/proc/meminfo: memFree=1843128/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=17464 CPUtime=0.29
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 3696 0 0 0 28 1 0 0 19 0 1 0 185507112 17883136 3678 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/31084/statm: 4366 3678 354 886 0 3476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17464

[startup+0.701726 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31084
/proc/meminfo: memFree=1843128/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=26636 CPUtime=0.69
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 5964 0 0 0 67 2 0 0 22 0 1 0 185507112 27275264 5946 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/31084/statm: 6659 5946 354 886 0 5769 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26636

[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1734960/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=131896 CPUtime=1.49
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 31462 0 0 0 135 14 0 0 25 0 1 0 185507112 135061504 31090 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 32974 31090 439 886 0 32084 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131896

[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1719920/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=131896 CPUtime=3.09
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 31517 0 0 0 294 15 0 0 25 0 1 0 185507112 135061504 31145 1992294400 4194304 7823515 548682068736 18446744073709551615 5061259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 32974 31145 452 886 0 32084 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 131896

[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1719616/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=166204 CPUtime=6.29
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 40320 0 0 0 610 19 0 0 25 0 1 0 185507112 170192896 38065 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 41551 38065 524 886 0 40661 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 166204

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1690112/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=167044 CPUtime=12.69
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 41205 0 0 0 1248 21 0 0 25 0 1 0 185507112 171053056 38645 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 41761 38645 535 886 0 40871 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 167044

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1676096/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=184196 CPUtime=25.5
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 45193 0 0 0 2523 27 0 0 25 0 1 0 185507112 188616704 42217 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 46049 42217 563 886 0 45159 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 184196

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1657664/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=204692 CPUtime=51.09
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 54679 0 0 0 5072 37 0 0 25 0 1 0 185507112 209604608 45887 1992294400 4194304 7823515 548682068736 18446744073709551615 6212437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 51173 45887 563 886 0 50283 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 204692

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1641472/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=220568 CPUtime=102.3
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 69994 0 0 0 10178 52 0 0 25 0 1 0 185507112 225861632 50853 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 55142 50853 563 886 0 54252 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 220568

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1642944/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=234920 CPUtime=162.31
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 117771 0 0 0 16150 81 0 0 25 0 1 0 185507112 240558080 53088 1992294400 4194304 7823515 548682068736 18446744073709551615 6234848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 58730 53088 567 886 0 57840 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 234920

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1647872/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=221880 CPUtime=222.32
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 196082 0 0 0 22111 121 0 0 25 0 1 0 185507112 227205120 50405 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 55470 50405 567 886 0 54580 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 221880

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1646592/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=214372 CPUtime=282.31
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 250997 0 0 0 28075 156 0 0 25 0 1 0 185507112 219516928 49654 1992294400 4194304 7823515 548682068736 18446744073709551615 6234692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 53593 49654 567 886 0 52703 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 214372

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1642312/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=217012 CPUtime=342.32
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 267989 0 0 0 34055 177 0 0 25 0 1 0 185507112 222220288 50600 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 54253 50600 567 886 0 53363 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 217012

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1639944/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=218848 CPUtime=402.34
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 268585 0 0 0 40043 191 0 0 25 0 1 0 185507112 224100352 51196 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 54712 51196 567 886 0 53822 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 218848

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1639944/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=219480 CPUtime=462.35
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 268589 0 0 0 46033 202 0 0 25 0 1 0 185507112 224747520 51200 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 54870 51200 567 886 0 53980 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 219480

[startup+522.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 31085
/proc/meminfo: memFree=1643208/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=222636 CPUtime=522.36
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 272601 0 0 0 52018 218 0 0 25 0 1 0 185507112 227979264 50388 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 55659 50388 573 886 0 54769 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 222636

[startup+582.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 31085
/proc/meminfo: memFree=1641672/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=223520 CPUtime=582.36
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 276009 0 0 0 58003 233 0 0 25 0 1 0 185507112 228884480 50763 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 55880 50763 573 886 0 54990 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 223520

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1641352/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=223520 CPUtime=642.37
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 276103 0 0 0 63991 246 0 0 25 0 1 0 185507112 228884480 50857 1992294400 4194304 7823515 548682068736 18446744073709551615 6234848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 55880 50857 573 886 0 54990 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 223520

[startup+702.302 s]

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

/proc/meminfo: memFree=1648456/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=213924 CPUtime=1122.43
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 282465 0 0 0 111876 367 0 0 25 0 1 0 185507112 219058176 49194 1992294400 4194304 7823515 548682068736 18446744073709551615 6234857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 53481 49194 574 886 0 52591 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 213924

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1638792/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=221548 CPUtime=1182.44
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 284955 0 0 0 117863 381 0 0 25 0 1 0 185507112 226865152 51470 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 55387 51470 574 886 0 54497 0
Current children cumulated CPU time (s) 1182.44
Current children cumulated vsize (KiB) 221548

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636552/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=222416 CPUtime=1242.45
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 294291 0 0 0 123845 400 0 0 25 0 1 0 185507112 227753984 51994 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 55604 51994 574 886 0 54714 0
Current children cumulated CPU time (s) 1242.45
Current children cumulated vsize (KiB) 222416

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636808/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1302.46
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 129832 414 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1302.46
Current children cumulated vsize (KiB) 227424

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636808/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1362.46
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 135820 426 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1362.46
Current children cumulated vsize (KiB) 227424

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636808/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1422.47
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 141807 440 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1422.47
Current children cumulated vsize (KiB) 227424

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636808/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1482.48
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 147793 455 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1482.48
Current children cumulated vsize (KiB) 227424

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636808/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1542.49
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 153780 469 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1542.49
Current children cumulated vsize (KiB) 227424

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636808/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1602.5
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 159767 483 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6234848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1602.5
Current children cumulated vsize (KiB) 227424

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636808/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1662.51
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 165753 498 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6234857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1662.51
Current children cumulated vsize (KiB) 227424

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636808/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1722.51
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 171739 512 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6234853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1722.51
Current children cumulated vsize (KiB) 227424

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636680/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1782.52
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 177725 527 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (KiB) 227424

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636680/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1785.72
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 178045 527 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1785.72
Current children cumulated vsize (KiB) 227424

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636680/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1792.13
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 178684 529 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6234864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1792.13
Current children cumulated vsize (KiB) 227424

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636680/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1795.33
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 179003 530 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6234860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1795.33
Current children cumulated vsize (KiB) 227424

[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636680/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1796.13
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 179083 530 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6211711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 227424

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636680/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1796.92
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298865 0 0 0 179162 530 0 0 25 0 1 0 185507112 232882176 51914 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51914 574 886 0 55966 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 227424

[startup+1796.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636680/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=227424 CPUtime=1797.12
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298869 0 0 0 179182 530 0 0 25 0 1 0 185507112 232882176 51918 1992294400 4194304 7823515 548682068736 18446744073709551615 5022080 0 0 4096 0 0 0 0 17 1 0 0
/proc/31084/statm: 56856 51918 578 886 0 55966 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 227424

[startup+1797 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31085
/proc/meminfo: memFree=1636680/2055920 swapFree=4191900/4192956
[pid=31084] ppid=31082 vsize=164388 CPUtime=1797.23
/proc/31084/stat : 31084 (pbscip.linux.x8) R 31082 31084 30067 0 -1 4194304 298869 0 0 0 179192 531 0 0 25 0 1 0 185507112 168333312 39421 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0
/proc/31084/statm: 41097 39421 578 886 0 40207 0
Current children cumulated CPU time (s) 1797.23
Current children cumulated vsize (KiB) 164388

Child status: 0
Real time (s): 1797.04
CPU time (s): 1797.27
CPU user time (s): 1791.93
CPU system time (s): 5.34019
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 234920

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

runsolver used 1.22381 second user time and 3.9724 second system time

The end

Launcher Data 

Begin job on node16 at 2009-06-16 21:04:27
IDJOB=1869568
IDBENCH=2939
IDSOLVER=683
FILE ID=node16/1869568-1245179066
PBS_JOBID= 9363891
Free space on /tmp= 66276 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_17.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869568-1245179066/watcher-1869568-1245179066 -o /tmp/evaluation-result-1869568-1245179066/solver-1869568-1245179066 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869568-1245179066.opb

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

MD5SUM BENCH= 25ee8feec785b6a4be71df8acc9d82db
RANDOM SEED=1262617795

node16.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.214
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.214
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:       1843608 kB
Buffers:         35736 kB
Cached:         100276 kB
SwapCached:        260 kB
Active:          52748 kB
Inactive:        96040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843608 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           13616 kB
Writeback:           0 kB
Mapped:          21276 kB
Slab:            49552 kB
Committed_AS:   158604 kB
PageTables:       1440 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66268 MiB
End job on node16 at 2009-06-16 21:34:24