Trace number 1869561

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.12 1795.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_15.opb
MD5SUM76cbd1f5f345389511b95f4555e7fed1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark188
Best CPU time to get the best result obtained on this benchmark1798.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 179
Optimality of the best value was proved NO
Number of variables4320
Total number of constraints8415
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 constraints8414
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 105
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 232
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 329
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1558
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.39/0.43	c SCIP version 1.1.0.7
0.39/0.43	c LP-Solver Clp 1.8.2
0.39/0.43	c user parameter file <scip.set> not found - using default parameters
0.39/0.43	c read problem <HOME/instance-1869561-1245178592.opb>
0.39/0.43	c original problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 8415 constraints
0.59/0.60	c start presolving problem
0.59/0.60	c presolving:
0.69/0.72	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 1 chg sides, 302 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.69/0.78	c (round 2) 1 del vars, 3982 del conss, 1 chg bounds, 1 chg sides, 302 chg coeffs, 233 upgd conss, 0 impls, 0 clqs
0.79/0.88	c (round 3) 1 del vars, 3982 del conss, 1 chg bounds, 15 chg sides, 336 chg coeffs, 452 upgd conss, 212 impls, 6 clqs
0.88/0.94	c (round 4) 1 del vars, 3982 del conss, 1 chg bounds, 57 chg sides, 385 chg coeffs, 452 upgd conss, 214 impls, 6 clqs
3.79/3.87	c    (3.4s) probing: 226/4319 (5.2%) - 0 fixings, 0 aggregations, 33 implications, 0 bound changes
3.79/3.87	c    (3.4s) probing aborted: 100/100 successive totally useless probings
3.79/3.87	c presolving (5 rounds):
3.79/3.87	c  1 deleted vars, 3982 deleted constraints, 1 tightened bounds, 0 added holes, 57 changed sides, 385 changed coefficients
3.79/3.87	c  280 implications, 6 cliques
3.79/3.87	c presolved problem has 4319 variables (4319 bin, 0 int, 0 impl, 0 cont) and 4444 constraints
3.79/3.87	c     452 constraints of type <knapsack>
3.79/3.87	c      11 constraints of type <setppc>
3.79/3.87	c    3981 constraints of type <linear>
3.79/3.87	c transformed objective value is always integral (scale: 1)
3.79/3.87	c Presolving Time: 3.27
3.79/3.88	c OPT-LIN
3.79/3.88	c -----------------------------------------------------------------------------------------------
3.79/3.88	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.79/3.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.79/3.88	c limits/memory = c 1620
3.79/3.88	c # maximal time in seconds to run
3.79/3.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.79/3.88	c limits/time = c 1791
3.79/3.88	c # frequency for displaying node information lines
3.79/3.88	c # [type: int, range: [-1,2147483647], default: 100]
3.79/3.88	c display/freq = c 10000
3.79/3.88	c -----------------------------------------------------------------------------------------------
3.79/3.88	c start solving problem
3.79/3.88	c 
4.40/4.47	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.40/4.47	c   3.9s|     1 |     0 |  2889 |  35M|   0 |2822 |4319 |4444 |4444 |4319 |4444 |   0 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
12.49/12.56	c  12.0s|     1 |     0 |  9040 |  36M|   0 |2844 |4319 |4444 |4444 |4319 |4544 | 100 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
14.49/14.54	c  14.0s|     1 |     0 |  9686 |  37M|   0 |2828 |4319 |4444 |4444 |4319 |4681 | 237 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
17.69/17.75	c  17.2s|     1 |     0 | 10229 |  37M|   0 |2881 |4319 |4444 |4444 |4319 |4853 | 409 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
24.79/24.87	c  24.2s|     1 |     0 | 12087 |  38M|   0 |2903 |4319 |4444 |4444 |4319 |5037 | 593 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
31.18/31.24	c  30.6s|     1 |     0 | 13679 |  39M|   0 |2927 |4319 |4444 |4444 |4319 |5213 | 769 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
40.97/41.01	c  40.3s|     1 |     0 | 15290 |  39M|   0 |2871 |4319 |4444 |4444 |4319 |5325 | 881 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
59.66/59.74	c  58.9s|     1 |     2 | 15290 |  39M|   0 |2871 |4319 |4444 |4444 |4319 |5325 | 881 |   0 |  31 | 1.050000e+02 |      --      |    Inf 
1719.70/1720.14	c  1716s| 10000 |  6087 |  1474k|  74M| 164 |   - |4319 |5244 |4159 |4319 |4637 | 881 |2506 |3652 | 1.050000e+02 |      --      |    Inf 
1794.89/1795.34	c 
1794.89/1795.34	c SCIP Status        : solving was interrupted [time limit reached]
1794.89/1795.34	c Solving Time (sec) : 1791.01
1794.89/1795.34	c Solving Nodes      : 10281
1794.89/1795.34	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1794.89/1795.34	c Dual Bound         : +1.05000000000000e+02
1794.89/1795.34	c Gap                : infinite
1794.89/1795.34	c NODE         10281
1794.89/1795.34	c DUAL BOUND   105
1794.89/1795.34	c PRIMAL BOUND 1e+20
1794.89/1795.34	c GAP          1e+20
1794.89/1795.34	s UNKNOWN
1794.89/1795.34	c SCIP Status        : solving was interrupted [time limit reached]
1794.89/1795.34	c Solving Time       :    1791.01
1794.89/1795.34	c Original Problem   :
1794.89/1795.34	c   Problem name     : HOME/instance-1869561-1245178592.opb
1794.89/1795.34	c   Variables        : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.89/1795.34	c   Constraints      : 8415 initial, 8415 maximal
1794.89/1795.34	c Presolved Problem  :
1794.89/1795.34	c   Problem name     : t_HOME/instance-1869561-1245178592.opb
1794.89/1795.34	c   Variables        : 4319 (4319 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.89/1795.34	c   Constraints      : 4444 initial, 6145 maximal
1794.89/1795.34	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.89/1795.34	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.89/1795.34	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.89/1795.34	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.89/1795.34	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.89/1795.34	c   implics          :       0.02          0          0          0          0          0          0          0          0
1794.89/1795.34	c   probing          :       2.90          0          0          0          0          0          0          0          0
1794.89/1795.34	c   knapsack         :       0.06          0          0          0          0          0          0         56         83
1794.89/1795.34	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1794.89/1795.34	c   linear           :       0.22          1          0          0          1          0       3982          1        302
1794.89/1795.34	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1794.89/1795.34	c   root node        :          -          0          -          -          0          -          -          -          -
1794.89/1795.34	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.89/1795.34	c   integral         :          0          0          0       8650          0         10       1399          0          0      16624
1794.89/1795.34	c   knapsack         :        452          6      33929          0          1        181      84943        635          0          0
1794.89/1795.34	c   setppc           :         11          6      25718          0          1          0        737          0          0          0
1794.89/1795.34	c   linear           :       3981          6      33748          0          1        578     645164          0          0          0
1794.89/1795.34	c   logicor          :          0+         0      10264          0          0         95       3435          0          0          0
1794.89/1795.34	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1794.89/1795.34	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.89/1795.34	c   integral         :     414.68       0.00       0.00     414.68       0.00
1794.89/1795.34	c   knapsack         :       7.53       0.01       7.52       0.00       0.00
1794.89/1795.34	c   setppc           :       0.12       0.00       0.12       0.00       0.00
1794.89/1795.34	c   linear           :     139.75       0.01     139.74       0.00       0.00
1794.89/1795.34	c   logicor          :       2.31       0.00       2.31       0.00       0.00
1794.89/1795.34	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.89/1795.34	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.89/1795.34	c   rootredcost      :       0.05          0          0          0
1794.89/1795.34	c   pseudoobj        :       0.14      33467          0          0
1794.89/1795.34	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.89/1795.34	c   propagation      :       0.08        854        850       3994       27.4         75       12.6          -
1794.89/1795.34	c   infeasible LP    :       4.44       4485          5         11       72.4          1       10.0          0
1794.89/1795.34	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.89/1795.34	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.89/1795.34	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.89/1795.34	c   applied globally :          -          -          -       2603       25.0          -          -          -
1794.89/1795.34	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.89/1795.34	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.89/1795.34	c   cut pool         :       0.02          5          -          -        922          -    (maximal pool size: 4700)
1794.89/1795.34	c   redcost          :       4.24       9083          0        768          0          0
1794.89/1795.34	c   impliedbounds    :       0.00          6          0          0          4          0
1794.89/1795.34	c   intobj           :       0.00          0          0          0          0          0
1794.89/1795.34	c   gomory           :       3.43          6          0          0         52          0
1794.89/1795.34	c   strongcg         :       3.27          6          0          0         11          0
1794.89/1795.34	c   cmir             :       5.69          6          0          0       3000          0
1794.89/1795.34	c   flowcover        :       4.76          6          0          0       1110          0
1794.89/1795.34	c   clique           :       0.00          6          0          0          2          0
1794.89/1795.34	c   zerohalf         :       0.00          0          0          0          0          0
1794.89/1795.34	c   mcf              :       0.01          2          0          0          0          0
1794.89/1795.34	c Pricers            :       Time      Calls       Vars
1794.89/1795.34	c   problem variables:       0.00          0          0
1794.89/1795.34	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.89/1795.34	c   relpscost        :     414.66       8650         10       1399          0          0      16624
1794.89/1795.34	c   pscost           :       0.00          0          0          0          0          0          0
1794.89/1795.34	c   inference        :       0.00          1          0          0          0          0          2
1794.89/1795.34	c   mostinf          :       0.00          0          0          0          0          0          0
1794.89/1795.34	c   leastinf         :       0.00          0          0          0          0          0          0
1794.89/1795.34	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.89/1795.34	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.89/1795.34	c   random           :       0.00          0          0          0          0          0          0
1794.89/1795.34	c Primal Heuristics  :       Time      Calls      Found
1794.89/1795.34	c   LP solutions     :       0.00          -          0
1794.89/1795.34	c   pseudo solutions :       0.00          -          0
1794.89/1795.34	c   oneopt           :       0.02          0          0
1794.89/1795.34	c   crossover        :       0.01          0          0
1794.89/1795.34	c   guideddiving     :       0.00          0          0
1794.89/1795.34	c   linesearchdiving :      59.66         65          0
1794.89/1795.34	c   simplerounding   :       0.03          0          0
1794.89/1795.34	c   rounding         :       3.24       1290          0
1794.89/1795.34	c   shifting         :      22.91        371          0
1794.89/1795.34	c   intshifting      :       0.00          0          0
1794.89/1795.34	c   fixandinfer      :       0.00          0          0
1794.89/1795.34	c   feaspump         :      47.89         11          0
1794.89/1795.34	c   coefdiving       :     146.39          3          0
1794.89/1795.34	c   pscostdiving     :      60.53         38          0
1794.89/1795.34	c   fracdiving       :     128.85         12          0
1794.89/1795.34	c   veclendiving     :      45.82         33          0
1794.89/1795.34	c   intdiving        :       0.00          0          0
1794.89/1795.34	c   actconsdiving    :       0.00          0          0
1794.89/1795.34	c   objpscostdiving  :      27.65         11          0
1794.89/1795.34	c   rootsoldiving    :      13.02         15          0
1794.89/1795.34	c   octane           :       0.00          0          0
1794.89/1795.34	c   rens             :       0.01          0          0
1794.89/1795.34	c   rins             :       0.00          0          0
1794.89/1795.34	c   localbranching   :       0.00          0          0
1794.89/1795.34	c   mutation         :       0.00          0          0
1794.89/1795.34	c   dins             :       0.00          0          0
1794.89/1795.34	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.89/1795.34	c   primal LP        :       0.21          0          0       0.00       0.00
1794.89/1795.34	c   dual LP          :     616.86      10127    1006393      99.38    1631.48
1794.89/1795.34	c   barrier LP       :       0.00          0          0       0.00          -
1794.89/1795.34	c   diving/probing LP:     477.47       9389     534805      56.96    1120.08
1794.89/1795.34	c   strong branching :     410.07       3755     616985     164.31    1504.58
1794.89/1795.34	c     (at root node) :          -         31       9304     300.13          -
1794.89/1795.34	c   conflict analysis:       0.00          0          0       0.00          -
1794.89/1795.34	c B&B Tree           :
1794.89/1795.34	c   number of runs   :          1
1794.89/1795.34	c   nodes            :      10281
1794.89/1795.34	c   nodes (total)    :      10281
1794.89/1795.34	c   nodes left       :       6202
1794.89/1795.34	c   max depth        :        164
1794.89/1795.34	c   max depth (total):        164
1794.89/1795.34	c   backtracks       :       1041 (10.1%)
1794.89/1795.34	c   delayed cutoffs  :        144
1794.89/1795.34	c   repropagations   :       1385 (72221 domain reductions, 80 cutoffs)
1794.89/1795.34	c   avg switch length:       4.60
1794.89/1795.34	c   switching time   :      21.23
1794.89/1795.34	c Solution           :
1794.89/1795.34	c   Solutions found  :          0 (0 improvements)
1794.89/1795.34	c   Primal Bound     :          -
1794.89/1795.34	c   Dual Bound       : +1.05000000000000e+02
1794.89/1795.34	c   Gap              :   infinite
1794.89/1795.34	c   Root Dual Bound  : +1.05000000000000e+02
1795.09/1795.52	c Time complete: 1795.11.

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2844
/proc/meminfo: memFree=1842976/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=5812 CPUtime=0
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 524 0 0 0 0 0 0 0 18 0 1 0 185458756 5951488 508 1992294400 4194304 9342243 548682068736 18446744073709551615 8146941 0 0 4096 0 0 0 0 17 1 0 0
/proc/2844/statm: 1454 517 345 1256 0 193 0

[startup+0.024983 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2844
/proc/meminfo: memFree=1842976/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=10464 CPUtime=0.01
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 1588 0 0 0 1 0 0 0 18 0 1 0 185458756 10715136 1572 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2844/statm: 2616 1572 378 1256 0 1355 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10464

[startup+0.101987 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2844
/proc/meminfo: memFree=1842976/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=13096 CPUtime=0.09
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 2248 0 0 0 9 0 0 0 18 0 1 0 185458756 13410304 2232 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2844/statm: 3274 2232 378 1256 0 2013 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13096

[startup+0.301999 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2844
/proc/meminfo: memFree=1842976/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=19524 CPUtime=0.29
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 3858 0 0 0 28 1 0 0 19 0 1 0 185458756 19992576 3842 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2844/statm: 4881 3842 378 1256 0 3620 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19524

[startup+0.701025 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2844
/proc/meminfo: memFree=1842976/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=87444 CPUtime=0.69
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 20198 0 0 0 61 8 0 0 23 0 1 0 185458756 89542656 19828 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 21861 19828 454 1256 0 20600 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87444

[startup+1.50107 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2845
/proc/meminfo: memFree=1762328/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=90264 CPUtime=1.49
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 20974 0 0 0 139 10 0 0 25 0 1 0 185458756 92430336 20604 1992294400 4194304 9342243 548682068736 18446744073709551615 5061624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 22566 20604 494 1256 0 21305 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90264

[startup+3.10117 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2845
/proc/meminfo: memFree=1762200/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=90264 CPUtime=3.09
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 20975 0 0 0 299 10 0 0 25 0 1 0 185458756 92430336 20605 1992294400 4194304 9342243 548682068736 18446744073709551615 5061259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 22566 20605 495 1256 0 21305 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90264

[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2845
/proc/meminfo: memFree=1743832/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=110560 CPUtime=6.29
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 25715 0 0 0 617 12 0 0 25 0 1 0 185458756 113213440 25324 1992294400 4194304 9342243 548682068736 18446744073709551615 6951966 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 27640 25324 649 1256 0 26379 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 110560

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2845
/proc/meminfo: memFree=1742488/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=116160 CPUtime=12.68
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 27564 0 0 0 1254 14 0 0 25 0 1 0 185458756 118947840 26137 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 29040 26137 683 1256 0 27779 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 116160

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2845
/proc/meminfo: memFree=1735320/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=129712 CPUtime=25.48
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 46708 0 0 0 2524 24 0 0 25 0 1 0 185458756 132825088 27501 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 32428 27501 683 1256 0 31167 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 129712

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2845
/proc/meminfo: memFree=1720856/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=154016 CPUtime=51.07
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 63789 0 0 0 5070 37 0 0 25 0 1 0 185458756 157712384 31133 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 38504 31133 690 1256 0 37243 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 154016

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2845
/proc/meminfo: memFree=1720408/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=138844 CPUtime=102.25
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 69854 0 0 0 10181 44 0 0 25 0 1 0 185458756 142176256 31234 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 34711 31234 693 1256 0 33450 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 138844

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2845
/proc/meminfo: memFree=1720472/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=138844 CPUtime=162.24
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 69854 0 0 0 16174 50 0 0 25 0 1 0 185458756 142176256 31234 1992294400 4194304 9342243 548682068736 18446744073709551615 6960296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 34711 31234 693 1256 0 33450 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 138844

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2845
/proc/meminfo: memFree=1719704/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=138844 CPUtime=222.23
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 70047 0 0 0 22163 60 0 0 25 0 1 0 185458756 142176256 31427 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 34711 31427 702 1256 0 33450 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 138844

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1719384/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=138844 CPUtime=282.21
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 70066 0 0 0 28149 72 0 0 25 0 1 0 185458756 142176256 31446 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 34711 31446 702 1256 0 33450 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 138844

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1717912/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=138844 CPUtime=342.2
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 70440 0 0 0 34140 80 0 0 25 0 1 0 185458756 142176256 31820 1992294400 4194304 9342243 548682068736 18446744073709551615 6867530 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 34711 31820 702 1256 0 33450 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 138844

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1719064/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=136992 CPUtime=402.18
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 75050 0 0 0 40130 88 0 0 25 0 1 0 185458756 140279808 31574 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 34248 31574 702 1256 0 32987 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 136992

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1721496/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=136096 CPUtime=462.17
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 75959 0 0 0 46122 95 0 0 25 0 1 0 185458756 139362304 30923 1992294400 4194304 9342243 548682068736 18446744073709551615 6039499 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 34024 30923 702 1256 0 32763 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 136096

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1719448/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=138992 CPUtime=522.16
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 77367 0 0 0 52114 102 0 0 25 0 1 0 185458756 142327808 31451 1992294400 4194304 9342243 548682068736 18446744073709551615 7289219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 34748 31451 702 1256 0 33487 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 138992

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1721240/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=134600 CPUtime=582.15
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 80415 0 0 0 58105 110 0 0 25 0 1 0 185458756 137830400 30979 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 33650 30979 702 1256 0 32389 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 134600

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1721176/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=134276 CPUtime=642.14
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 85254 0 0 0 64093 121 0 0 25 0 1 0 185458756 137498624 30998 1992294400 4194304 9342243 548682068736 18446744073709551615 5300052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 33569 30998 702 1256 0 32308 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 134276

[startup+702.302 s]

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

/proc/meminfo: memFree=1706392/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=152404 CPUtime=1062.04
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 146697 0 0 0 105995 209 0 0 25 0 1 0 185458756 156061696 34716 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 38101 34716 702 1256 0 36840 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 152404

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1707992/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=147320 CPUtime=1122.03
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 153748 0 0 0 111983 220 0 0 25 0 1 0 185458756 150855680 34261 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 36830 34261 702 1256 0 35569 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 147320

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1705816/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=149964 CPUtime=1182.01
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 154287 0 0 0 117974 227 0 0 25 0 1 0 185458756 153563136 34800 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 37491 34800 702 1256 0 36230 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 149964

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1703576/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=154820 CPUtime=1242.01
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 157009 0 0 0 123963 238 0 0 25 0 1 0 185458756 158535680 35353 1992294400 4194304 9342243 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 38705 35353 702 1256 0 37444 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 154820

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1701592/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=155156 CPUtime=1301.99
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 161141 0 0 0 129949 250 0 0 25 0 1 0 185458756 158879744 35843 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 38789 35843 702 1256 0 37528 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 155156

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1701208/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=155724 CPUtime=1361.98
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 169795 0 0 0 135933 265 0 0 25 0 1 0 185458756 159461376 35934 1992294400 4194304 9342243 548682068736 18446744073709551615 5062453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 38931 35934 702 1256 0 37670 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 155724

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1696408/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=162020 CPUtime=1421.97
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 172542 0 0 0 141920 277 0 0 25 0 1 0 185458756 165908480 37121 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 40505 37121 702 1256 0 39244 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 162020

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2851
/proc/meminfo: memFree=1698200/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=165564 CPUtime=1481.95
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 178546 0 0 0 147906 289 0 0 25 0 1 0 185458756 169537536 36942 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 41391 36942 702 1256 0 40130 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 165564

[startup+1542.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 2851
/proc/meminfo: memFree=1692632/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=165856 CPUtime=1541.95
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 188892 0 0 0 153891 304 0 0 25 0 1 0 185458756 169836544 38059 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 41464 38059 702 1256 0 40203 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 165856

[startup+1602.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 2851
/proc/meminfo: memFree=1691288/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=168020 CPUtime=1601.93
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 196051 0 0 0 159878 315 0 0 25 0 1 0 185458756 172052480 38399 1992294400 4194304 9342243 548682068736 18446744073709551615 8223016 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 42005 38399 702 1256 0 40744 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 168020

[startup+1662.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 2851
/proc/meminfo: memFree=1691608/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=164176 CPUtime=1661.91
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 202670 0 0 0 165864 327 0 0 25 0 1 0 185458756 168116224 38381 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 41044 38381 702 1256 0 39783 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 164176

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 2851
/proc/meminfo: memFree=1687896/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=171336 CPUtime=1721.9
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 209225 0 0 0 171852 338 0 0 25 0 1 0 185458756 175448064 39401 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 42834 39401 702 1256 0 41573 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 171336

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2851
/proc/meminfo: memFree=1684632/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=173044 CPUtime=1781.89
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 213602 0 0 0 177840 349 0 0 25 0 1 0 185458756 177197056 40029 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 43261 40029 702 1256 0 42000 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 173044

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2851
/proc/meminfo: memFree=1684632/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=173044 CPUtime=1785.09
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 213611 0 0 0 178159 350 0 0 25 0 1 0 185458756 177197056 40038 1992294400 4194304 9342243 548682068736 18446744073709551615 6944691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 43261 40038 702 1256 0 42000 0
Current children cumulated CPU time (s) 1785.09
Current children cumulated vsize (KiB) 173044

[startup+1791.91 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2851
/proc/meminfo: memFree=1684376/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=173044 CPUtime=1791.49
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 213670 0 0 0 178799 350 0 0 25 0 1 0 185458756 177197056 40097 1992294400 4194304 9342243 548682068736 18446744073709551615 6224099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 43261 40097 702 1256 0 42000 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 173044

[startup+1793.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2851
/proc/meminfo: memFree=1684376/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=173044 CPUtime=1793.09
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 213670 0 0 0 178958 351 0 0 25 0 1 0 185458756 177197056 40097 1992294400 4194304 9342243 548682068736 18446744073709551615 6039483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 43261 40097 702 1256 0 42000 0
Current children cumulated CPU time (s) 1793.09
Current children cumulated vsize (KiB) 173044

[startup+1794.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2851
/proc/meminfo: memFree=1684376/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=173044 CPUtime=1793.89
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 213670 0 0 0 179038 351 0 0 25 0 1 0 185458756 177197056 40097 1992294400 4194304 9342243 548682068736 18446744073709551615 6038437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 43261 40097 702 1256 0 42000 0
Current children cumulated CPU time (s) 1793.89
Current children cumulated vsize (KiB) 173044

[startup+1795.1 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2851
/proc/meminfo: memFree=1684312/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=173044 CPUtime=1794.69
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 213685 0 0 0 179118 351 0 0 25 0 1 0 185458756 177197056 40112 1992294400 4194304 9342243 548682068736 18446744073709551615 6240208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2844/statm: 43261 40112 702 1256 0 42000 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 173044

[startup+1795.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2851
/proc/meminfo: memFree=1684312/2055920 swapFree=4191900/4192956
[pid=2844] ppid=2842 vsize=134956 CPUtime=1795.09
/proc/2844/stat : 2844 (pbscip.linux.x8) R 2842 2844 2735 0 -1 4194304 213691 0 0 0 179157 352 0 0 25 0 1 0 185458756 138194944 32039 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/2844/statm: 33739 32039 1113 1256 0 32478 0
Current children cumulated CPU time (s) 1795.09
Current children cumulated vsize (KiB) 134956

Child status: 0
Real time (s): 1795.52
CPU time (s): 1795.12
CPU user time (s): 1791.58
CPU system time (s): 3.54246
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 178060

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

runsolver used 1.41378 second user time and 3.9644 second system time

The end

Launcher Data 

Begin job on node29 at 2009-06-16 20:56:32
IDJOB=1869561
IDBENCH=2935
IDSOLVER=684
FILE ID=node29/1869561-1245178592
PBS_JOBID= 9363933
Free space on /tmp= 66240 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_15.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869561-1245178592/watcher-1869561-1245178592 -o /tmp/evaluation-result-1869561-1245178592/solver-1869561-1245178592 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869561-1245178592.opb

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

MD5SUM BENCH= 76cbd1f5f345389511b95f4555e7fed1
RANDOM SEED=2135722360

node29.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.237
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.237
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:       1843456 kB
Buffers:         44604 kB
Cached:         103096 kB
SwapCached:        268 kB
Active:          39604 kB
Inactive:       120920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843456 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           13712 kB
Writeback:           0 kB
Mapped:          21308 kB
Slab:            37868 kB
Committed_AS:   180704 kB
PageTables:       1472 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= 66228 MiB
End job on node29 at 2009-06-16 21:26:28