Trace number 1869329

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? 1795.8 1796.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_16.opb
MD5SUM69b04711942c7a7cbb28264339dbffe2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark240
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 223
Optimality of the best value was proved NO
Number of variables5584
Total number of constraints10895
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10895
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
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 2555
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.58/0.62	c SCIP version 1.1.0.7
0.58/0.62	c LP-Solver Clp 1.8.2
0.58/0.62	c user parameter file <scip.set> not found - using default parameters
0.58/0.62	c read problem <HOME/instance-1869329-1245170249.opb>
0.58/0.62	c original problem has 5584 variables (5584 bin, 0 int, 0 impl, 0 cont) and 10895 constraints
0.79/0.85	c start presolving problem
0.79/0.85	c presolving:
0.99/1.10	c (round 1) 0 del vars, 5440 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 15 upgd conss, 0 impls, 0 clqs
5.88/5.94	c    (5.2s) probing: 245/5584 (4.4%) - 8 fixings, 0 aggregations, 685 implications, 0 bound changes
5.88/5.94	c    (5.2s) probing aborted: 100/100 successive totally useless probings
5.88/5.94	c (round 2) 8 del vars, 5440 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 15 upgd conss, 4496 impls, 0 clqs
5.99/6.05	c presolving (3 rounds):
5.99/6.05	c  8 deleted vars, 5440 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.99/6.05	c  4496 implications, 0 cliques
5.99/6.05	c presolved problem has 5576 variables (5576 bin, 0 int, 0 impl, 0 cont) and 5455 constraints
5.99/6.05	c      15 constraints of type <knapsack>
5.99/6.05	c    5440 constraints of type <linear>
5.99/6.05	c transformed objective value is always integral (scale: 1)
5.99/6.05	c Presolving Time: 5.17
5.99/6.05	c OPT-LIN
5.99/6.05	c -----------------------------------------------------------------------------------------------
5.99/6.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.99/6.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.99/6.05	c limits/memory = c 1620
5.99/6.05	c # maximal time in seconds to run
5.99/6.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.99/6.05	c limits/time = c 1791
5.99/6.05	c # frequency for displaying node information lines
5.99/6.05	c # [type: int, range: [-1,2147483647], default: 100]
5.99/6.05	c display/freq = c 10000
5.99/6.05	c -----------------------------------------------------------------------------------------------
5.99/6.05	c start solving problem
5.99/6.05	c 
7.09/7.11	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.09/7.11	c   6.3s|     1 |     0 |  3347 |  49M|   0 |3179 |5576 |5455 |5455 |5576 |5455 |   0 |   0 |   0 | 1.500000e+01 |      --      |    Inf 
15.39/15.48	c  14.7s|     1 |     0 | 10039 |  50M|   0 |3196 |5576 |5455 |5455 |5576 |5507 |  52 |   0 |   0 | 1.500000e+01 |      --      |    Inf 
16.69/16.73	c  15.9s|     1 |     0 | 10183 |  51M|   0 |3194 |5576 |5455 |5455 |5576 |5548 |  93 |   0 |   0 | 1.500000e+01 |      --      |    Inf 
18.18/18.28	c  17.4s|     1 |     0 | 10457 |  51M|   0 |3204 |5576 |5455 |5455 |5576 |5603 | 148 |   0 |   0 | 1.500000e+01 |      --      |    Inf 
20.39/20.47	c  19.6s|     1 |     0 | 10840 |  52M|   0 |3217 |5576 |5455 |5455 |5576 |5646 | 191 |   0 |   0 | 1.500130e+01 |      --      |    Inf 
22.98/23.08	c  22.2s|     1 |     0 | 11436 |  52M|   0 |3226 |5576 |5455 |5455 |5576 |5694 | 239 |   0 |   0 | 1.500130e+01 |      --      |    Inf 
25.99/26.00	c  25.1s|     1 |     0 | 12081 |  53M|   0 |3218 |5576 |5455 |5455 |5576 |5746 | 291 |   0 |   0 | 1.500130e+01 |      --      |    Inf 
56.67/56.72	c  55.8s|     1 |     2 | 12081 |  53M|   0 |3218 |5576 |5455 |5455 |5576 |5746 | 291 |   0 |  60 | 1.500130e+01 |      --      |    Inf 
1795.57/1796.22	c 
1795.57/1796.22	c SCIP Status        : solving was interrupted [time limit reached]
1795.57/1796.22	c Solving Time (sec) : 1791.01
1795.57/1796.22	c Solving Nodes      : 5783
1795.57/1796.22	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1795.57/1796.22	c Dual Bound         : +1.60000000000001e+01
1795.57/1796.22	c Gap                : infinite
1795.57/1796.22	c NODE         5783
1795.57/1796.22	c DUAL BOUND   16
1795.57/1796.22	c PRIMAL BOUND 1e+20
1795.57/1796.22	c GAP          1e+20
1795.57/1796.22	s UNKNOWN
1795.57/1796.22	c SCIP Status        : solving was interrupted [time limit reached]
1795.57/1796.22	c Solving Time       :    1791.01
1795.57/1796.22	c Original Problem   :
1795.57/1796.22	c   Problem name     : HOME/instance-1869329-1245170249.opb
1795.57/1796.22	c   Variables        : 5584 (5584 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.57/1796.22	c   Constraints      : 10895 initial, 10895 maximal
1795.57/1796.22	c Presolved Problem  :
1795.57/1796.22	c   Problem name     : t_HOME/instance-1869329-1245170249.opb
1795.57/1796.22	c   Variables        : 5576 (5576 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.57/1796.22	c   Constraints      : 5455 initial, 7997 maximal
1795.57/1796.22	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.57/1796.22	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1795.57/1796.22	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1795.57/1796.22	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.57/1796.22	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.57/1796.22	c   implics          :       0.00          0          0          0          0          0          0          0          0
1795.57/1796.22	c   probing          :       4.76          8          0          0          0          0          0          0          0
1795.57/1796.22	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1795.57/1796.22	c   linear           :       0.36          0          0          0          0          0       5440          0          0
1795.57/1796.22	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1795.57/1796.22	c   root node        :          -          0          -          -          0          -          -          -          -
1795.57/1796.22	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.57/1796.22	c   integral         :          0          0          0       4959          0          3        282          0          0       9714
1795.57/1796.22	c   knapsack         :         15          6      26895          0          0         71       3520         77          0          0
1795.57/1796.22	c   linear           :       5440          6      26824          0          0        457     403105          2          0          0
1795.57/1796.22	c   logicor          :          0+         0       4179          0          0         12        321          0          0          0
1795.57/1796.22	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1795.57/1796.22	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.57/1796.22	c   integral         :     399.94       0.00       0.00     399.94       0.00
1795.57/1796.22	c   knapsack         :       2.59       0.00       2.59       0.00       0.00
1795.57/1796.22	c   linear           :      93.02       0.01      93.01       0.00       0.00
1795.57/1796.22	c   logicor          :       0.43       0.00       0.43       0.00       0.00
1795.57/1796.22	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.57/1796.22	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.57/1796.22	c   rootredcost      :       0.05          0          0          0
1795.57/1796.22	c   pseudoobj        :       0.10      26394          0          0
1795.57/1796.22	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.57/1796.22	c   propagation      :       0.09        538        537       3464       33.3         39       11.4          -
1795.57/1796.22	c   infeasible LP    :       7.67       6445          0          0        0.0          0        0.0          0
1795.57/1796.22	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.57/1796.22	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.57/1796.22	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.57/1796.22	c   applied globally :          -          -          -       2558       30.5          -          -          -
1795.57/1796.22	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.57/1796.22	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.57/1796.22	c   cut pool         :       0.00          5          -          -       2557          -    (maximal pool size: 3997)
1795.57/1796.22	c   redcost          :       3.31       4966          0          2          0          0
1795.57/1796.22	c   impliedbounds    :       0.01          6          0          0         26          0
1795.57/1796.22	c   intobj           :       0.00          0          0          0          0          0
1795.57/1796.22	c   gomory           :       0.14          6          0          0         13          0
1795.57/1796.22	c   strongcg         :       0.14          6          0          0          4          0
1795.57/1796.22	c   cmir             :       3.57          6          0          0       3000          0
1795.57/1796.22	c   flowcover        :       2.10          6          0          0       1200          0
1795.57/1796.22	c   clique           :       0.00          1          0          0          0          0
1795.57/1796.22	c   zerohalf         :       0.00          0          0          0          0          0
1795.57/1796.22	c   mcf              :       0.00          1          0          0          0          0
1795.57/1796.22	c Pricers            :       Time      Calls       Vars
1795.57/1796.22	c   problem variables:       0.00          0          0
1795.57/1796.22	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.57/1796.22	c   relpscost        :     399.93       4959          3        282          0          0       9714
1795.57/1796.22	c   pscost           :       0.00          0          0          0          0          0          0
1795.57/1796.22	c   inference        :       0.00          0          0          0          0          0          0
1795.57/1796.22	c   mostinf          :       0.00          0          0          0          0          0          0
1795.57/1796.22	c   leastinf         :       0.00          0          0          0          0          0          0
1795.57/1796.22	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.57/1796.22	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.57/1796.22	c   random           :       0.00          0          0          0          0          0          0
1795.57/1796.22	c Primal Heuristics  :       Time      Calls      Found
1795.57/1796.22	c   LP solutions     :       0.00          -          0
1795.57/1796.22	c   pseudo solutions :       0.00          -          0
1795.57/1796.22	c   oneopt           :       0.00          0          0
1795.57/1796.22	c   crossover        :       0.00          0          0
1795.57/1796.22	c   fracdiving       :     238.65          8          0
1795.57/1796.22	c   objpscostdiving  :      15.98          8          0
1795.57/1796.22	c   rootsoldiving    :      14.83          8          0
1795.57/1796.22	c   pscostdiving     :     112.33         16          0
1795.57/1796.22	c   veclendiving     :      31.12         16          0
1795.57/1796.22	c   linesearchdiving :      14.95         16          0
1795.57/1796.22	c   feaspump         :      47.03          9          0
1795.57/1796.22	c   simplerounding   :       0.01          0          0
1795.57/1796.22	c   rounding         :       2.31        943          0
1795.57/1796.22	c   shifting         :      18.25        255          0
1795.57/1796.22	c   intshifting      :       0.00          0          0
1795.57/1796.22	c   fixandinfer      :       0.00          0          0
1795.57/1796.22	c   coefdiving       :     258.59          5          0
1795.57/1796.22	c   intdiving        :       0.00          0          0
1795.57/1796.22	c   actconsdiving    :       0.00          0          0
1795.57/1796.22	c   guideddiving     :       0.00          0          0
1795.57/1796.22	c   octane           :       0.00          0          0
1795.57/1796.22	c   rens             :       0.02          0          0
1795.57/1796.22	c   rins             :       0.00          0          0
1795.57/1796.22	c   localbranching   :       0.00          0          0
1795.57/1796.22	c   mutation         :       0.00          0          0
1795.57/1796.22	c   dins             :       0.00          0          0
1795.57/1796.22	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.57/1796.22	c   primal LP        :       0.12          0          0       0.00       0.00
1795.57/1796.22	c   dual LP          :     532.39       5601     904990     161.58    1699.86
1795.57/1796.22	c   barrier LP       :       0.00          0          0       0.00          -
1795.57/1796.22	c   diving/probing LP:     651.50      12551     449866      35.84     690.51
1795.57/1796.22	c   strong branching :     394.89       3233     573883     177.51    1453.27
1795.57/1796.22	c     (at root node) :          -         60      16719     278.65          -
1795.57/1796.22	c   conflict analysis:       0.00          0          0       0.00          -
1795.57/1796.22	c B&B Tree           :
1795.57/1796.22	c   number of runs   :          1
1795.57/1796.22	c   nodes            :       5783
1795.57/1796.22	c   nodes (total)    :       5783
1795.57/1796.22	c   nodes left       :       3911
1795.57/1796.22	c   max depth        :        327
1795.57/1796.22	c   max depth (total):        327
1795.57/1796.22	c   backtracks       :        230 (4.0%)
1795.57/1796.22	c   delayed cutoffs  :         21
1795.57/1796.22	c   repropagations   :       1183 (24723 domain reductions, 18 cutoffs)
1795.57/1796.22	c   avg switch length:       3.17
1795.57/1796.22	c   switching time   :       9.17
1795.57/1796.22	c Solution           :
1795.57/1796.22	c   Solutions found  :          0 (0 improvements)
1795.57/1796.22	c   Primal Bound     :          -
1795.57/1796.22	c   Dual Bound       : +1.60000000000001e+01
1795.57/1796.22	c   Gap              :   infinite
1795.57/1796.22	c   Root Dual Bound  : +1.50013037809648e+01
1795.77/1796.42	c Time complete: 1795.79.

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 2957
/proc/meminfo: memFree=1841056/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=5812 CPUtime=0
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 184621358 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/2957/statm: 1453 515 344 1256 0 192 0

[startup+0.100976 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 2957
/proc/meminfo: memFree=1841056/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=12540 CPUtime=0.09
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 2100 0 0 0 9 0 0 0 18 0 1 0 184621358 12840960 2084 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2957/statm: 3135 2084 378 1256 0 1874 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12540

[startup+0.201994 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 2957
/proc/meminfo: memFree=1841056/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=14992 CPUtime=0.19
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 2736 0 0 0 18 1 0 0 18 0 1 0 184621358 15351808 2720 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2957/statm: 3748 2720 378 1256 0 2487 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14992

[startup+0.302012 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 2957
/proc/meminfo: memFree=1841056/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=17856 CPUtime=0.29
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 3433 0 0 0 28 1 0 0 19 0 1 0 184621358 18284544 3417 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2957/statm: 4464 3417 378 1256 0 3203 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17856

[startup+0.701088 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 2957
/proc/meminfo: memFree=1841056/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=50672 CPUtime=0.69
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 12012 0 0 0 64 5 0 0 22 0 1 0 184621358 51888128 11642 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 12668 11651 416 1256 0 11407 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50672

[startup+1.50224 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2958
/proc/meminfo: memFree=1737112/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=112524 CPUtime=1.49
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 26864 0 0 0 136 13 0 0 25 0 1 0 184621358 115224576 26494 1992294400 4194304 9342243 548682068736 18446744073709551615 5062996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 28131 26494 485 1256 0 26870 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112524

[startup+3.10154 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2958
/proc/meminfo: memFree=1736728/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=112524 CPUtime=3.09
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 26867 0 0 0 296 13 0 0 25 0 1 0 184621358 115224576 26497 1992294400 4194304 9342243 548682068736 18446744073709551615 5061296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 28131 26497 488 1256 0 26870 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112524

[startup+6.30114 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2958
/proc/meminfo: memFree=1736664/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=140340 CPUtime=6.29
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 32651 0 0 0 612 17 0 0 25 0 1 0 184621358 143708160 32262 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 35085 32262 615 1256 0 33824 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 140340

[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2958
/proc/meminfo: memFree=1710504/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=143016 CPUtime=12.68
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 35223 0 0 0 1249 19 0 0 25 0 1 0 184621358 146448384 33231 1992294400 4194304 9342243 548682068736 18446744073709551615 6952930 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 35754 33231 644 1256 0 34493 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 143016

[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2958
/proc/meminfo: memFree=1695720/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=167332 CPUtime=25.48
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 46117 0 0 0 2519 29 0 0 25 0 1 0 184621358 171347968 36784 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 41833 36784 669 1256 0 40572 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 167332

[startup+51.1016 s]
/proc/loadavg: 1.05 0.99 0.99 2/65 2958
/proc/meminfo: memFree=1688744/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=175152 CPUtime=51.07
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 48933 0 0 0 5074 33 0 0 25 0 1 0 184621358 179355648 38656 1992294400 4194304 9342243 548682068736 18446744073709551615 6960296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 43788 38656 677 1256 0 42527 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 175152

[startup+102.301 s]
/proc/loadavg: 1.05 1.00 0.99 2/65 2958
/proc/meminfo: memFree=1693160/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=161108 CPUtime=102.26
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 58572 0 0 0 10180 46 0 0 25 0 1 0 184621358 164974592 37556 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 40277 37556 680 1256 0 39016 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 161108

[startup+162.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 2958
/proc/meminfo: memFree=1692776/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=173596 CPUtime=162.23
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 92550 0 0 0 16153 70 0 0 25 0 1 0 184621358 177762304 37652 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 43399 37652 681 1256 0 42138 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 173596

[startup+222.306 s]
/proc/loadavg: 1.05 1.02 1.00 2/65 2958
/proc/meminfo: memFree=1694248/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=161964 CPUtime=222.22
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 93939 0 0 0 22141 81 0 0 25 0 1 0 184621358 165851136 37279 1992294400 4194304 9342243 548682068736 18446744073709551615 4265989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 40491 37279 689 1256 0 39230 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 161964

[startup+282.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 2958
/proc/meminfo: memFree=1693864/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=161964 CPUtime=282.2
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 94032 0 0 0 28133 87 0 0 25 0 1 0 184621358 165851136 37372 1992294400 4194304 9342243 548682068736 18446744073709551615 6496607 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 40491 37372 689 1256 0 39230 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 161964

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2958
/proc/meminfo: memFree=1694632/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=165592 CPUtime=342.17
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 108785 0 0 0 34115 102 0 0 25 0 1 0 184621358 169566208 37170 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 41398 37170 690 1256 0 40137 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 165592

[startup+402.302 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 2958
/proc/meminfo: memFree=1694760/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=170468 CPUtime=402.16
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 135398 0 0 0 40089 127 0 0 25 0 1 0 184621358 174559232 37541 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 42617 37541 690 1256 0 41356 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 170468

[startup+462.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 2958
/proc/meminfo: memFree=1693992/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=158948 CPUtime=462.13
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 146961 0 0 0 46073 140 0 0 25 0 1 0 184621358 162762752 37305 1992294400 4194304 9342243 548682068736 18446744073709551615 7289239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 39737 37305 690 1256 0 38476 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 158948

[startup+522.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 2958
/proc/meminfo: memFree=1693864/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=158948 CPUtime=522.11
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 146994 0 0 0 52067 144 0 0 25 0 1 0 184621358 162762752 37338 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 39737 37338 690 1256 0 38476 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 158948

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2958
/proc/meminfo: memFree=1692712/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=163380 CPUtime=582.09
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 148600 0 0 0 58059 150 0 0 25 0 1 0 184621358 167301120 37622 1992294400 4194304 9342243 548682068736 18446744073709551615 6270096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 40845 37622 690 1256 0 39584 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 163380

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2958
/proc/meminfo: memFree=1691752/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=164356 CPUtime=642.07
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 155229 0 0 0 64044 163 0 0 25 0 1 0 184621358 168300544 37859 1992294400 4194304 9342243 548682068736 18446744073709551615 5991330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 41089 37859 690 1256 0 39828 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 164356

[startup+702.303 s]

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

/proc/meminfo: memFree=1688488/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=164304 CPUtime=1061.93
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 204468 0 0 0 105958 235 0 0 25 0 1 0 184621358 168247296 38763 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 41076 38763 690 1256 0 39815 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 164304

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2960
/proc/meminfo: memFree=1687912/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=165040 CPUtime=1121.91
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 212866 0 0 0 111943 248 0 0 25 0 1 0 184621358 169000960 38775 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 41260 38775 690 1256 0 39999 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 165040

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2960
/proc/meminfo: memFree=1684904/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=168184 CPUtime=1181.89
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 236028 0 0 0 117921 268 0 0 25 0 1 0 184621358 172220416 39518 1992294400 4194304 9342243 548682068736 18446744073709551615 6938324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 42046 39518 690 1256 0 40785 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 168184

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2960
/proc/meminfo: memFree=1685160/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=168392 CPUtime=1241.87
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 266347 0 0 0 123898 289 0 0 25 0 1 0 184621358 172433408 39454 1992294400 4194304 9342243 548682068736 18446744073709551615 6039493 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 42098 39454 690 1256 0 40837 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 168392

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2960
/proc/meminfo: memFree=1684520/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=168860 CPUtime=1301.85
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 287184 0 0 0 129877 308 0 0 25 0 1 0 184621358 172912640 39594 1992294400 4194304 9342243 548682068736 18446744073709551615 6897403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 42215 39594 690 1256 0 40954 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 168860

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2960
/proc/meminfo: memFree=1680232/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=175792 CPUtime=1361.83
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 288253 0 0 0 135867 316 0 0 25 0 1 0 184621358 180011008 40662 1992294400 4194304 9342243 548682068736 18446744073709551615 5000309 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 43948 40662 690 1256 0 42687 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 175792

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2966
/proc/meminfo: memFree=1678624/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=175792 CPUtime=1421.8
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 288605 0 0 0 141852 328 0 0 25 0 1 0 184621358 180011008 41014 1992294400 4194304 9342243 548682068736 18446744073709551615 6354088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 43948 41014 690 1256 0 42687 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 175792

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2966
/proc/meminfo: memFree=1678176/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=173872 CPUtime=1481.78
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 290951 0 0 0 147841 337 0 0 25 0 1 0 184621358 178044928 41122 1992294400 4194304 9342243 548682068736 18446744073709551615 7288845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 43468 41122 690 1256 0 42207 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 173872

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2966
/proc/meminfo: memFree=1677856/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=177024 CPUtime=1541.76
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 292104 0 0 0 153831 345 0 0 25 0 1 0 184621358 181272576 41203 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 44256 41203 690 1256 0 42995 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 177024

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2966
/proc/meminfo: memFree=1678304/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=177936 CPUtime=1601.74
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 299403 0 0 0 159815 359 0 0 25 0 1 0 184621358 182206464 41439 1992294400 4194304 9342243 548682068736 18446744073709551615 6959570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 44484 41439 690 1256 0 43223 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 177936

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2966
/proc/meminfo: memFree=1674720/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=177348 CPUtime=1661.71
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 305367 0 0 0 165798 373 0 0 25 0 1 0 184621358 181604352 41974 1992294400 4194304 9342243 548682068736 18446744073709551615 7289242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 44337 41974 690 1256 0 43076 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 177348

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2966
/proc/meminfo: memFree=1671144/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=182740 CPUtime=1721.7
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 317969 0 0 0 171782 388 0 0 25 0 1 0 184621358 187125760 42865 1992294400 4194304 9342243 548682068736 18446744073709551615 7288845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 45685 42865 690 1256 0 44424 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 182740

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2966
/proc/meminfo: memFree=1673000/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=177916 CPUtime=1781.67
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 321217 0 0 0 177770 397 0 0 25 0 1 0 184621358 182185984 42403 1992294400 4194304 9342243 548682068736 18446744073709551615 6038437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 44479 42403 690 1256 0 43218 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 177916

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

[startup+1785.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2966
/proc/meminfo: memFree=1673000/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=177916 CPUtime=1784.97
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 321217 0 0 0 178100 397 0 0 25 0 1 0 184621358 182185984 42403 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 44479 42403 690 1256 0 43218 0
Current children cumulated CPU time (s) 1784.97
Current children cumulated vsize (KiB) 177916

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2966
/proc/meminfo: memFree=1672680/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=178268 CPUtime=1791.38
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 321297 0 0 0 178739 399 0 0 25 0 1 0 184621358 182546432 42483 1992294400 4194304 9342243 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 44567 42483 690 1256 0 43306 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 178268

[startup+1793.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2966
/proc/meminfo: memFree=1672680/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=178268 CPUtime=1792.98
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 321297 0 0 0 178899 399 0 0 25 0 1 0 184621358 182546432 42483 1992294400 4194304 9342243 548682068736 18446744073709551615 6038445 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 44567 42483 690 1256 0 43306 0
Current children cumulated CPU time (s) 1792.98
Current children cumulated vsize (KiB) 178268

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2966
/proc/meminfo: memFree=1672680/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=178268 CPUtime=1794.58
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 321297 0 0 0 179059 399 0 0 25 0 1 0 184621358 182546432 42483 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 44567 42483 690 1256 0 43306 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 178268

[startup+1796 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2966
/proc/meminfo: memFree=1672680/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=178268 CPUtime=1795.37
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 321297 0 0 0 179138 399 0 0 25 0 1 0 184621358 182546432 42483 1992294400 4194304 9342243 548682068736 18446744073709551615 6974274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2957/statm: 44567 42483 690 1256 0 43306 0
Current children cumulated CPU time (s) 1795.37
Current children cumulated vsize (KiB) 178268

[startup+1796.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2966
/proc/meminfo: memFree=1672680/2055920 swapFree=4182544/4192956
[pid=2957] ppid=2955 vsize=152668 CPUtime=1795.77
/proc/2957/stat : 2957 (pbscip.linux.x8) R 2955 2957 2803 0 -1 4194304 321302 0 0 0 179177 400 0 0 25 0 1 0 184621358 156332032 36670 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/2957/statm: 38167 36670 14052 1256 0 36906 0
Current children cumulated CPU time (s) 1795.77
Current children cumulated vsize (KiB) 152668

Child status: 0
Real time (s): 1796.42
CPU time (s): 1795.8
CPU user time (s): 1791.78
CPU system time (s): 4.02439
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 189188

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

runsolver used 1.71874 second user time and 4.03539 second system time

The end

Launcher Data 

Begin job on node47 at 2009-06-16 18:37:30
IDJOB=1869329
IDBENCH=2627
IDSOLVER=684
FILE ID=node47/1869329-1245170249
PBS_JOBID= 9363882
Free space on /tmp= 65948 MiB

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

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

MD5SUM BENCH= 69b04711942c7a7cbb28264339dbffe2
RANDOM SEED=1021747223

node47.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.261
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.261
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:       1841536 kB
Buffers:         39128 kB
Cached:         108384 kB
SwapCached:       4196 kB
Active:          37352 kB
Inactive:       117996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841536 kB
SwapTotal:     4192956 kB
SwapFree:      4182544 kB
Dirty:           14736 kB
Writeback:           0 kB
Mapped:          13624 kB
Slab:            44936 kB
Committed_AS:   176964 kB
PageTables:       1448 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= 65936 MiB
End job on node47 at 2009-06-16 19:07:26