Trace number 1869569

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? 1796.89 1797.37

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 Clp 1.8.2
0.69/0.77	c user parameter file <scip.set> not found - using default parameters
0.69/0.77	c read problem <HOME/instance-1869569-1245179081.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.05	c start presolving problem
0.99/1.05	c presolving:
1.19/1.26	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.37	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.49/5.51	c    (4.6s) probing: 109/7080 (1.5%) - 0 fixings, 0 aggregations, 1729 implications, 0 bound changes
5.49/5.52	c    (4.6s) probing aborted: 100/100 successive totally useless probings
5.49/5.52	c presolving (5 rounds):
5.49/5.52	c  1 deleted vars, 6214 deleted constraints, 1 tightened bounds, 0 added holes, 22 changed sides, 1114 changed coefficients
5.49/5.52	c  4404 implications, 4 cliques
5.49/5.52	c presolved problem has 7080 variables (7080 bin, 0 int, 0 impl, 0 cont) and 7688 constraints
5.49/5.52	c    1462 constraints of type <knapsack>
5.49/5.52	c      13 constraints of type <setppc>
5.49/5.52	c    6213 constraints of type <linear>
5.49/5.52	c transformed objective value is always integral (scale: 1)
5.49/5.52	c Presolving Time: 4.44
5.49/5.52	c OPT-LIN
5.49/5.52	c -----------------------------------------------------------------------------------------------
5.49/5.52	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.49/5.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.49/5.52	c limits/memory = c 1620
5.49/5.52	c # maximal time in seconds to run
5.49/5.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.49/5.52	c limits/time = c 1791
5.49/5.52	c # frequency for displaying node information lines
5.49/5.52	c # [type: int, range: [-1,2147483647], default: 100]
5.49/5.52	c display/freq = c 10000
5.49/5.52	c -----------------------------------------------------------------------------------------------
5.49/5.52	c start solving problem
5.49/5.52	c 
6.98/7.06	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.98/7.06	c   6.1s|     1 |     0 |  5452 |  63M|   0 |5085 |7080 |7688 |7688 |7080 |7688 |   0 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
28.68/28.72	c  27.7s|     1 |     0 | 16739 |  64M|   0 |4892 |7080 |7688 |7688 |7080 |7797 | 109 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
38.87/38.99	c  37.9s|     1 |     0 | 21089 |  65M|   0 |4887 |7080 |7688 |7688 |7080 |7883 | 195 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
52.86/53.00	c  51.8s|     1 |     0 | 25790 |  66M|   0 |4688 |7080 |7688 |7688 |7080 |7974 | 286 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
71.47/71.57	c  70.2s|     1 |     0 | 31199 |  66M|   0 |4631 |7080 |7688 |7688 |7080 |8060 | 372 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
85.15/85.20	c  83.8s|     1 |     0 | 34434 |  67M|   0 |4858 |7080 |7688 |7688 |7080 |8155 | 467 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
107.66/107.79	c   106s|     1 |     0 | 39633 |  67M|   0 |4774 |7080 |7688 |7688 |7080 |8258 | 570 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
127.45/127.54	c   126s|     1 |     2 | 39633 |  67M|   0 |4774 |7080 |7688 |7688 |7080 |8258 | 570 |   0 |  18 | 1.360000e+02 |      --      |    Inf 
1796.61/1797.14	c 
1796.61/1797.14	c SCIP Status        : solving was interrupted [time limit reached]
1796.61/1797.14	c Solving Time (sec) : 1791.01
1796.61/1797.14	c Solving Nodes      : 3671
1796.61/1797.14	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.61/1797.14	c Dual Bound         : +1.36000000000000e+02
1796.61/1797.14	c Gap                : infinite
1796.61/1797.14	c NODE         3671
1796.61/1797.14	c DUAL BOUND   136
1796.61/1797.14	c PRIMAL BOUND 1e+20
1796.61/1797.14	c GAP          1e+20
1796.61/1797.14	s UNKNOWN
1796.61/1797.14	c SCIP Status        : solving was interrupted [time limit reached]
1796.61/1797.14	c Solving Time       :    1791.01
1796.61/1797.14	c Original Problem   :
1796.61/1797.14	c   Problem name     : HOME/instance-1869569-1245179081.opb
1796.61/1797.14	c   Variables        : 7081 (7081 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.61/1797.14	c   Constraints      : 13889 initial, 13889 maximal
1796.61/1797.14	c Presolved Problem  :
1796.61/1797.14	c   Problem name     : t_HOME/instance-1869569-1245179081.opb
1796.61/1797.14	c   Variables        : 7080 (7080 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.61/1797.14	c   Constraints      : 7688 initial, 7834 maximal
1796.61/1797.14	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.61/1797.14	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1796.61/1797.14	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1796.61/1797.14	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.61/1797.14	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.61/1797.14	c   implics          :       0.01          0          0          0          0          0          0          0          0
1796.61/1797.14	c   probing          :       3.51          0          0          0          0          0          0          0          0
1796.61/1797.14	c   knapsack         :       0.44          0          0          0          0          0          0         22        273
1796.61/1797.14	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1796.61/1797.14	c   linear           :       0.40          1          0          0          1          0       6214          0        841
1796.61/1797.14	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1796.61/1797.14	c   root node        :          -          0          -          -          0          -          -          -          -
1796.61/1797.14	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.61/1797.14	c   integral         :          0          0          0       2665          0          7        182          0          0       5224
1796.61/1797.14	c   knapsack         :       1462          6      11511          0          0         19      29333        879          0          0
1796.61/1797.14	c   setppc           :         13          6      10132          0          0          0         33          0          0          0
1796.61/1797.14	c   linear           :       6213          6      11492          0          0         40      60225          0          0          0
1796.61/1797.14	c   logicor          :          0+         0        690          0          0          1         67          0          0          0
1796.61/1797.14	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1796.61/1797.14	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.61/1797.14	c   integral         :     451.91       0.00       0.00     451.91       0.00
1796.61/1797.14	c   knapsack         :       3.32       0.06       3.26       0.00       0.00
1796.61/1797.14	c   setppc           :       0.02       0.00       0.02       0.00       0.00
1796.61/1797.14	c   linear           :      35.12       0.02      35.10       0.00       0.00
1796.61/1797.14	c   logicor          :       0.10       0.00       0.10       0.00       0.00
1796.61/1797.14	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.61/1797.14	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.61/1797.14	c   rootredcost      :       0.04          0          0          0
1796.61/1797.14	c   pseudoobj        :       0.04      11285          0          0
1796.61/1797.14	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.61/1797.14	c   propagation      :       0.00         60         60        238       20.2          8       10.2          -
1796.61/1797.14	c   infeasible LP    :       4.11       2936          0          0        0.0          0        0.0          0
1796.61/1797.14	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.61/1797.14	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.61/1797.14	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.61/1797.14	c   applied globally :          -          -          -        146       16.8          -          -          -
1796.61/1797.14	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.61/1797.14	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.61/1797.14	c   cut pool         :       0.00          5          -          -       1270          -    (maximal pool size: 5022)
1796.61/1797.14	c   redcost          :       2.15       2671          0          1          0          0
1796.61/1797.14	c   impliedbounds    :       0.01          6          0          0         77          0
1796.61/1797.14	c   intobj           :       0.00          0          0          0          0          0
1796.61/1797.14	c   gomory           :       7.86          6          0          0         30          0
1796.61/1797.14	c   strongcg         :       7.67          6          0          0         18          0
1796.61/1797.14	c   cmir             :       5.71          6          0          0       3000          0
1796.61/1797.14	c   flowcover        :       4.28          6          0          0       1200          0
1796.61/1797.14	c   clique           :       0.00          6          0          0          0          0
1796.61/1797.14	c   zerohalf         :       0.00          0          0          0          0          0
1796.61/1797.14	c   mcf              :       0.01          1          0          0          0          0
1796.61/1797.14	c Pricers            :       Time      Calls       Vars
1796.61/1797.14	c   problem variables:       0.00          0          0
1796.61/1797.14	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.61/1797.14	c   relpscost        :     451.89       2665          7        182          0          0       5224
1796.61/1797.14	c   pscost           :       0.00          0          0          0          0          0          0
1796.61/1797.14	c   inference        :       0.00          0          0          0          0          0          0
1796.61/1797.14	c   mostinf          :       0.00          0          0          0          0          0          0
1796.61/1797.14	c   leastinf         :       0.00          0          0          0          0          0          0
1796.61/1797.14	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.61/1797.14	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.61/1797.14	c   random           :       0.00          0          0          0          0          0          0
1796.61/1797.14	c Primal Heuristics  :       Time      Calls      Found
1796.61/1797.14	c   LP solutions     :       0.00          -          0
1796.61/1797.14	c   pseudo solutions :       0.00          -          0
1796.61/1797.14	c   oneopt           :       0.01          0          0
1796.61/1797.14	c   crossover        :       0.00          0          0
1796.61/1797.14	c   guideddiving     :       0.00          0          0
1796.61/1797.14	c   coefdiving       :     254.15          1          0
1796.61/1797.14	c   fracdiving       :     102.32          2          0
1796.61/1797.14	c   objpscostdiving  :      47.31          2          0
1796.61/1797.14	c   rootsoldiving    :      54.27          3          0
1796.61/1797.14	c   veclendiving     :      37.21          7          0
1796.61/1797.14	c   pscostdiving     :      40.40          9          0
1796.61/1797.14	c   feaspump         :      63.80          5          0
1796.61/1797.14	c   linesearchdiving :      94.75         18          0
1796.61/1797.14	c   simplerounding   :       0.01          0          0
1796.61/1797.14	c   rounding         :       3.01        679          0
1796.61/1797.14	c   shifting         :      18.21        188          0
1796.61/1797.14	c   intshifting      :       0.00          0          0
1796.61/1797.14	c   fixandinfer      :       0.00          0          0
1796.61/1797.14	c   intdiving        :       0.00          0          0
1796.61/1797.14	c   actconsdiving    :       0.00          0          0
1796.61/1797.14	c   octane           :       0.00          0          0
1796.61/1797.14	c   rens             :       0.01          0          0
1796.61/1797.14	c   rins             :       0.00          0          0
1796.61/1797.14	c   localbranching   :       0.00          0          0
1796.61/1797.14	c   mutation         :       0.00          0          0
1796.61/1797.14	c   dins             :       0.00          0          0
1796.61/1797.14	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.61/1797.14	c   primal LP        :       0.33          0          0       0.00       0.00
1796.61/1797.14	c   dual LP          :     546.57       3621     489564     135.20     895.70
1796.61/1797.14	c   barrier LP       :       0.00          0          0       0.00          -
1796.61/1797.14	c   diving/probing LP:     659.93       5887     670087     113.82    1015.39
1796.61/1797.14	c   strong branching :     449.33       1047     356206     340.22     792.75
1796.61/1797.14	c     (at root node) :          -         18       7409     411.61          -
1796.61/1797.14	c   conflict analysis:       0.00          0          0       0.00          -
1796.61/1797.14	c B&B Tree           :
1796.61/1797.14	c   number of runs   :          1
1796.61/1797.14	c   nodes            :       3671
1796.61/1797.14	c   nodes (total)    :       3671
1796.61/1797.14	c   nodes left       :       1552
1796.61/1797.14	c   max depth        :        541
1796.61/1797.14	c   max depth (total):        541
1796.61/1797.14	c   backtracks       :        225 (6.1%)
1796.61/1797.14	c   delayed cutoffs  :          2
1796.61/1797.14	c   repropagations   :        183 (3794 domain reductions, 2 cutoffs)
1796.61/1797.14	c   avg switch length:       4.59
1796.61/1797.14	c   switching time   :       4.20
1796.61/1797.14	c Solution           :
1796.61/1797.14	c   Solutions found  :          0 (0 improvements)
1796.61/1797.14	c   Primal Bound     :          -
1796.61/1797.14	c   Dual Bound       : +1.36000000000000e+02
1796.61/1797.14	c   Gap              :   infinite
1796.61/1797.14	c   Root Dual Bound  : +1.36000000000000e+02
1796.81/1797.37	c Time complete: 1796.87.

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-1869569-1245179081/watcher-1869569-1245179081 -o /tmp/evaluation-result-1869569-1245179081/solver-1869569-1245179081 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869569-1245179081.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 0.99 0.99 3/64 9635
/proc/meminfo: memFree=1840376/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=5812 CPUtime=0
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 185505318 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/9635/statm: 1453 507 336 1256 0 192 0

[startup+0.0266481 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 9635
/proc/meminfo: memFree=1840376/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=10524 CPUtime=0.01
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 1619 0 0 0 1 0 0 0 18 0 1 0 185505318 10776576 1603 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/9635/statm: 2631 1603 378 1256 0 1370 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10524

[startup+0.101656 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 9635
/proc/meminfo: memFree=1840376/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=12772 CPUtime=0.09
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 2166 0 0 0 8 1 0 0 18 0 1 0 185505318 13078528 2150 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/9635/statm: 3193 2150 378 1256 0 1932 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12772

[startup+0.301677 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 9635
/proc/meminfo: memFree=1840376/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=18976 CPUtime=0.29
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 3727 0 0 0 28 1 0 0 19 0 1 0 185505318 19431424 3711 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/9635/statm: 4744 3711 378 1256 0 3483 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18976

[startup+0.701721 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 9635
/proc/meminfo: memFree=1840376/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=28148 CPUtime=0.69
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 5994 0 0 0 66 3 0 0 22 0 1 0 185505318 28823552 5978 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/9635/statm: 7037 5978 378 1256 0 5776 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28148

[startup+1.50181 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9636
/proc/meminfo: memFree=1731248/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=133104 CPUtime=1.49
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 31514 0 0 0 135 14 0 0 25 0 1 0 185505318 136298496 31144 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 33276 31144 481 1256 0 32015 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 133104

[startup+3.10199 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9636
/proc/meminfo: memFree=1717168/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=133104 CPUtime=3.09
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 31568 0 0 0 294 15 0 0 25 0 1 0 185505318 136298496 31198 1992294400 4194304 9342243 548682068736 18446744073709551615 5066015 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 33276 31198 494 1256 0 32015 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 133104

[startup+6.30134 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9636
/proc/meminfo: memFree=1716784/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=162476 CPUtime=6.28
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 38120 0 0 0 610 18 0 0 25 0 1 0 185505318 166375424 37732 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 40619 37732 620 1256 0 39358 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 162476

[startup+12.7011 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9636
/proc/meminfo: memFree=1687984/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=166912 CPUtime=12.68
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 40787 0 0 0 1248 20 0 0 25 0 1 0 185505318 170917888 38638 1992294400 4194304 9342243 548682068736 18446744073709551615 6952941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 41728 38638 649 1256 0 40467 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 166912

[startup+25.5015 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9636
/proc/meminfo: memFree=1682992/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=173692 CPUtime=25.48
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 43751 0 0 0 2524 24 0 0 25 0 1 0 185505318 177860608 39632 1992294400 4194304 9342243 548682068736 18446744073709551615 6867528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 43423 39632 678 1256 0 42162 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 173692

[startup+51.1013 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9636
/proc/meminfo: memFree=1677424/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=192524 CPUtime=51.07
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 72115 0 0 0 5066 41 0 0 25 0 1 0 185505318 197144576 41258 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 48131 41258 678 1256 0 46870 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 192524

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9636
/proc/meminfo: memFree=1675760/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=210220 CPUtime=102.26
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 142439 0 0 0 10148 78 0 0 25 0 1 0 185505318 215265280 41850 1992294400 4194304 9342243 548682068736 18446744073709551615 6965313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 52555 41850 678 1256 0 51294 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 210220

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9636
/proc/meminfo: memFree=1670704/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=215320 CPUtime=162.24
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 195610 0 0 0 16114 110 0 0 25 0 1 0 185505318 220487680 42986 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 53830 42986 688 1256 0 52569 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 215320

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9636
/proc/meminfo: memFree=1669680/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=212612 CPUtime=222.22
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 232949 0 0 0 22093 129 0 0 25 0 1 0 185505318 217714688 43236 1992294400 4194304 9342243 548682068736 18446744073709551615 5869974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 53153 43236 688 1256 0 51892 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 212612

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9636
/proc/meminfo: memFree=1669680/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=212612 CPUtime=282.2
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 272587 0 0 0 28065 155 0 0 25 0 1 0 185505318 217714688 43235 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 53153 43235 688 1256 0 51892 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 212612

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9636
/proc/meminfo: memFree=1667120/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=210164 CPUtime=342.19
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 290870 0 0 0 34049 170 0 0 25 0 1 0 185505318 215207936 43862 1992294400 4194304 9342243 548682068736 18446744073709551615 6958439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 52541 43862 688 1256 0 51280 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 210164

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 9636
/proc/meminfo: memFree=1665392/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=191632 CPUtime=402.18
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 294671 0 0 0 40038 180 0 0 25 0 1 0 185505318 196231168 44301 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 47908 44301 693 1256 0 46647 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 191632

[startup+462.301 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1665008/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=191632 CPUtime=462.16
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 294758 0 0 0 46026 190 0 0 25 0 1 0 185505318 196231168 44388 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 47908 44388 693 1256 0 46647 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 191632

[startup+522.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1665008/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=191632 CPUtime=522.14
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 294758 0 0 0 52015 199 0 0 25 0 1 0 185505318 196231168 44388 1992294400 4194304 9342243 548682068736 18446744073709551615 5734766 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 47908 44388 693 1256 0 46647 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 191632

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1664944/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=191632 CPUtime=582.12
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 294774 0 0 0 58005 207 0 0 25 0 1 0 185505318 196231168 44404 1992294400 4194304 9342243 548682068736 18446744073709551615 5990729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 47908 44404 693 1256 0 46647 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 191632

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1665136/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=197076 CPUtime=642.12
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 330208 0 0 0 63981 231 0 0 25 0 1 0 185505318 201805824 44354 1992294400 4194304 9342243 548682068736 18446744073709551615 6960322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 49269 44354 697 1256 0 48008 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 197076

[startup+702.302 s]

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

/proc/meminfo: memFree=1664624/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=195500 CPUtime=1062
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 483258 0 0 0 105850 350 0 0 25 0 1 0 185505318 200192000 44528 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 48875 44528 697 1256 0 47614 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 195500

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1662064/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=195500 CPUtime=1121.98
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 483830 0 0 0 111841 357 0 0 25 0 1 0 185505318 200192000 45100 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 48875 45100 697 1256 0 47614 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 195500

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1671088/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=188608 CPUtime=1181.97
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 498771 0 0 0 117823 374 0 0 25 0 1 0 185505318 193134592 42868 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 47152 42868 697 1256 0 45891 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 188608

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1661424/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=195508 CPUtime=1241.95
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 508534 0 0 0 123809 386 0 0 25 0 1 0 185505318 200200192 45245 1992294400 4194304 9342243 548682068736 18446744073709551615 6038359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 48877 45245 697 1256 0 47616 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 195508

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1672752/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=195140 CPUtime=1301.94
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 525045 0 0 0 129794 400 0 0 25 0 1 0 185505318 199823360 42421 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 48785 42421 697 1256 0 47524 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 195140

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1666160/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=191272 CPUtime=1361.93
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 556722 0 0 0 135771 422 0 0 25 0 1 0 185505318 195862528 44062 1992294400 4194304 9342243 548682068736 18446744073709551615 6496544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 47818 44062 697 1256 0 46557 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 191272

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1669552/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=191532 CPUtime=1421.92
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 576455 0 0 0 141753 439 0 0 25 0 1 0 185505318 196128768 43218 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 47883 43218 697 1256 0 46622 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 191532

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1668464/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=209712 CPUtime=1481.89
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 588331 0 0 0 147737 452 0 0 25 0 1 0 185505318 214745088 43477 1992294400 4194304 9342243 548682068736 18446744073709551615 6960303 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 52428 43477 697 1256 0 51167 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 209712

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1662064/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=203700 CPUtime=1541.87
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 594847 0 0 0 153726 461 0 0 25 0 1 0 185505318 208588800 45091 1992294400 4194304 9342243 548682068736 18446744073709551615 5061731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 50925 45091 697 1256 0 49664 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 203700

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1660784/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=203700 CPUtime=1601.86
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 595155 0 0 0 159716 470 0 0 25 0 1 0 185505318 208588800 45399 1992294400 4194304 9342243 548682068736 18446744073709551615 6960570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 50925 45399 697 1256 0 49664 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 203700

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1657264/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=209344 CPUtime=1661.85
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 596036 0 0 0 165707 478 0 0 25 0 1 0 185505318 214368256 46280 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 52336 46280 697 1256 0 51075 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 209344

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1654576/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=209344 CPUtime=1721.83
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 596712 0 0 0 171700 483 0 0 25 0 1 0 185505318 214368256 46956 1992294400 4194304 9342243 548682068736 18446744073709551615 5869948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 52336 46956 697 1256 0 51075 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 209344

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1652272/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=209344 CPUtime=1781.81
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 597269 0 0 0 177692 489 0 0 25 0 1 0 185505318 214368256 47512 1992294400 4194304 9342243 548682068736 18446744073709551615 6059584 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 52336 47512 697 1256 0 51075 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 209344

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 9636
/proc/meminfo: memFree=1652208/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=209344 CPUtime=1785.02
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 597273 0 0 0 178012 490 0 0 25 0 1 0 185505318 214368256 47516 1992294400 4194304 9342243 548682068736 18446744073709551615 5062453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 52336 47516 697 1256 0 51075 0
Current children cumulated CPU time (s) 1785.02
Current children cumulated vsize (KiB) 209344

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1651888/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=209344 CPUtime=1791.42
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 597368 0 0 0 178651 491 0 0 25 0 1 0 185505318 214368256 47611 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 52336 47611 697 1256 0 51075 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 209344

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1650864/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=209344 CPUtime=1794.61
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 597618 0 0 0 178970 491 0 0 25 0 1 0 185505318 214368256 47861 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 52336 47861 697 1256 0 51075 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 209344

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1650224/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=210144 CPUtime=1796.21
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 597774 0 0 0 179130 491 0 0 25 0 1 0 185505318 215187456 48017 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 52536 48017 697 1256 0 51275 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 210144

[startup+1797.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1650224/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=210144 CPUtime=1796.61
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 597774 0 0 0 179170 491 0 0 25 0 1 0 185505318 215187456 48017 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9635/statm: 52536 48017 697 1256 0 51275 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 210144

[startup+1797.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9636
/proc/meminfo: memFree=1650224/2055920 swapFree=4191900/4192956
[pid=9635] ppid=9633 vsize=210144 CPUtime=1796.81
/proc/9635/stat : 9635 (pbscip.linux.x8) R 9633 9635 9402 0 -1 4194304 597778 0 0 0 179190 491 0 0 25 0 1 0 185505318 215187456 48021 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/9635/statm: 52536 48021 701 1256 0 51275 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 210144

Child status: 0
Real time (s): 1797.37
CPU time (s): 1796.89
CPU user time (s): 1791.94
CPU system time (s): 4.95025
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 225432

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

runsolver used 1.52177 second user time and 3.86141 second system time

The end

Launcher Data 

Begin job on node38 at 2009-06-16 21:04:41
IDJOB=1869569
IDBENCH=2939
IDSOLVER=684
FILE ID=node38/1869569-1245179081
PBS_JOBID= 9363918
Free space on /tmp= 66232 MiB

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

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

MD5SUM BENCH= 25ee8feec785b6a4be71df8acc9d82db
RANDOM SEED=941383392

node38.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.232
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.232
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:       1840856 kB
Buffers:         52052 kB
Cached:          77432 kB
SwapCached:        260 kB
Active:          56192 kB
Inactive:        86560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1840856 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           15468 kB
Writeback:           0 kB
Mapped:          22496 kB
Slab:            58256 kB
Committed_AS:   162476 kB
PageTables:       1456 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= 66224 MiB
End job on node38 at 2009-06-16 21:34:39