Trace number 1869565

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.6 1796.12

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
MD5SUM6e5141f298d85d1f18641c02d22506a9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark233
Best CPU time to get the best result obtained on this benchmark1798.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 222
Optimality of the best value was proved NO
Number of variables5570
Total number of constraints10896
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 constraints10895
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 9
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 375
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 1908
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.49/0.53	c SCIP version 1.1.0.7
0.49/0.53	c LP-Solver Clp 1.8.2
0.49/0.53	c user parameter file <scip.set> not found - using default parameters
0.49/0.53	c read problem <HOME/instance-1869565-1245178795.opb>
0.49/0.53	c original problem has 5570 variables (5570 bin, 0 int, 0 impl, 0 cont) and 10896 constraints
0.69/0.74	c start presolving problem
0.69/0.74	c presolving:
0.79/0.89	c (round 1) 2 del vars, 1 del conss, 2 chg bounds, 0 chg sides, 230 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.99	c (round 2) 2 del vars, 5254 del conss, 2 chg bounds, 0 chg sides, 230 chg coeffs, 202 upgd conss, 0 impls, 0 clqs
0.99/1.09	c (round 3) 2 del vars, 5254 del conss, 2 chg bounds, 1 chg sides, 232 chg coeffs, 389 upgd conss, 60 impls, 0 clqs
3.69/3.71	c    (3.1s) probing: 195/5568 (3.5%) - 0 fixings, 0 aggregations, 5 implications, 0 bound changes
3.69/3.71	c    (3.1s) probing aborted: 100/100 successive totally useless probings
3.69/3.71	c presolving (4 rounds):
3.69/3.71	c  2 deleted vars, 5254 deleted constraints, 2 tightened bounds, 0 added holes, 1 changed sides, 232 changed coefficients
3.69/3.71	c  72 implications, 0 cliques
3.69/3.71	c presolved problem has 5568 variables (5568 bin, 0 int, 0 impl, 0 cont) and 5643 constraints
3.69/3.71	c     389 constraints of type <knapsack>
3.69/3.71	c       1 constraints of type <setppc>
3.69/3.71	c    5253 constraints of type <linear>
3.69/3.71	c transformed objective value is always integral (scale: 1)
3.69/3.71	c Presolving Time: 2.96
3.69/3.71	c OPT-LIN
3.69/3.71	c -----------------------------------------------------------------------------------------------
3.69/3.71	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.69/3.71	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.69/3.71	c limits/memory = c 1620
3.69/3.71	c # maximal time in seconds to run
3.69/3.71	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.69/3.71	c limits/time = c 1791
3.69/3.71	c # frequency for displaying node information lines
3.69/3.71	c # [type: int, range: [-1,2147483647], default: 100]
3.69/3.71	c display/freq = c 10000
3.69/3.71	c -----------------------------------------------------------------------------------------------
3.69/3.71	c start solving problem
3.69/3.71	c 
4.29/4.35	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.29/4.35	c   3.7s|     1 |     0 |  2614 |  46M|   0 |1874 |5568 |5643 |5643 |5568 |5643 |   0 |   0 |   0 | 1.200000e+02 |      --      |    Inf 
12.99/13.07	c  12.3s|     1 |     0 |  8194 |  46M|   0 |2124 |5568 |5643 |5643 |5568 |5787 | 144 |   0 |   0 | 1.200000e+02 |      --      |    Inf 
18.39/18.45	c  17.7s|     1 |     0 | 11124 |  47M|   0 |3659 |5568 |5643 |5643 |5568 |5961 | 318 |   0 |   0 | 1.200000e+02 |      --      |    Inf 
22.48/22.52	c  21.7s|     1 |     0 | 12122 |  48M|   0 |3284 |5568 |5643 |5643 |5568 |6089 | 446 |   0 |   0 | 1.200000e+02 |      --      |    Inf 
27.18/27.25	c  26.4s|     1 |     0 | 12912 |  48M|   0 |3228 |5568 |5643 |5643 |5568 |6268 | 625 |   0 |   0 | 1.200000e+02 |      --      |    Inf 
34.18/34.29	c  33.4s|     1 |     0 | 13602 |  49M|   0 |3334 |5568 |5643 |5643 |5568 |6477 | 834 |   0 |   0 | 1.200000e+02 |      --      |    Inf 
39.78/39.86	c  39.0s|     1 |     0 | 14492 |  49M|   0 |3363 |5568 |5643 |5643 |5568 |6529 | 886 |   0 |   0 | 1.200000e+02 |      --      |    Inf 
60.07/60.19	c  59.2s|     1 |     2 | 14492 |  49M|   0 |3363 |5568 |5643 |5643 |5568 |6529 | 886 |   0 |  25 | 1.200000e+02 |      --      |    Inf 
1795.37/1795.92	c 
1795.37/1795.92	c SCIP Status        : solving was interrupted [time limit reached]
1795.37/1795.92	c Solving Time (sec) : 1791.01
1795.37/1795.92	c Solving Nodes      : 7326
1795.37/1795.92	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1795.37/1795.92	c Dual Bound         : +1.20000000000000e+02
1795.37/1795.92	c Gap                : infinite
1795.37/1795.92	c NODE         7326
1795.37/1795.92	c DUAL BOUND   120
1795.37/1795.92	c PRIMAL BOUND 1e+20
1795.37/1795.92	c GAP          1e+20
1795.37/1795.92	s UNKNOWN
1795.37/1795.92	c SCIP Status        : solving was interrupted [time limit reached]
1795.37/1795.92	c Solving Time       :    1791.01
1795.37/1795.92	c Original Problem   :
1795.37/1795.92	c   Problem name     : HOME/instance-1869565-1245178795.opb
1795.37/1795.92	c   Variables        : 5570 (5570 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.37/1795.92	c   Constraints      : 10896 initial, 10896 maximal
1795.37/1795.92	c Presolved Problem  :
1795.37/1795.92	c   Problem name     : t_HOME/instance-1869565-1245178795.opb
1795.37/1795.92	c   Variables        : 5568 (5568 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.37/1795.92	c   Constraints      : 5643 initial, 7303 maximal
1795.37/1795.92	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.37/1795.92	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1795.37/1795.92	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1795.37/1795.92	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.37/1795.92	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.37/1795.92	c   implics          :       0.00          0          0          0          0          0          0          0          0
1795.37/1795.92	c   probing          :       2.54          0          0          0          0          0          0          0          0
1795.37/1795.92	c   knapsack         :       0.08          0          0          0          0          0          0          1          2
1795.37/1795.92	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1795.37/1795.92	c   linear           :       0.28          2          0          0          2          0       5254          0        230
1795.37/1795.92	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1795.37/1795.92	c   root node        :          -          0          -          -          0          -          -          -          -
1795.37/1795.92	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.37/1795.92	c   integral         :          0          0          0       6007          0          5       1542          0          0      11340
1795.37/1795.92	c   knapsack         :        389          6      26186          0          1        121      55376        115          0          0
1795.37/1795.92	c   setppc           :          1          6        394          0          0          0          1          0          0          0
1795.37/1795.92	c   linear           :       5253          6      26065          0          0        438     571961          0          0          0
1795.37/1795.92	c   logicor          :          0+         0       5907          0          0         26       1186          0          0          0
1795.37/1795.92	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1795.37/1795.92	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.37/1795.92	c   integral         :     450.52       0.00       0.00     450.52       0.00
1795.37/1795.92	c   knapsack         :       4.56       0.01       4.55       0.00       0.00
1795.37/1795.92	c   setppc           :       0.01       0.00       0.01       0.00       0.00
1795.37/1795.92	c   linear           :     107.81       0.00     107.81       0.00       0.00
1795.37/1795.92	c   logicor          :       1.03       0.00       1.03       0.00       0.00
1795.37/1795.92	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.37/1795.92	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.37/1795.92	c   rootredcost      :       0.06          0          0          0
1795.37/1795.92	c   pseudoobj        :       0.10      25793          0          0
1795.37/1795.92	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.37/1795.92	c   propagation      :       0.07        585        582       2934       30.2         60       14.7          -
1795.37/1795.92	c   infeasible LP    :       5.41       4884          0          0        0.0          0        0.0          0
1795.37/1795.92	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.37/1795.92	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.37/1795.92	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.37/1795.92	c   applied globally :          -          -          -       2022       28.0          -          -          -
1795.37/1795.92	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.37/1795.92	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.37/1795.92	c   cut pool         :       0.00          5          -          -        475          -    (maximal pool size: 3617)
1795.37/1795.92	c   redcost          :       4.20       5988          0         16          0          0
1795.37/1795.92	c   impliedbounds    :       0.01          6          0          0          0          0
1795.37/1795.92	c   intobj           :       0.00          0          0          0          0          0
1795.37/1795.92	c   gomory           :       3.13          6          0          0          5          0
1795.37/1795.92	c   strongcg         :       2.98          6          0          0          2          0
1795.37/1795.92	c   cmir             :       6.32          6          0          0       2684          0
1795.37/1795.92	c   flowcover        :       2.88          6          0          0       1002          0
1795.37/1795.92	c   clique           :       0.00          1          0          0          0          0
1795.37/1795.92	c   zerohalf         :       0.00          0          0          0          0          0
1795.37/1795.92	c   mcf              :       0.00          1          0          0          0          0
1795.37/1795.92	c Pricers            :       Time      Calls       Vars
1795.37/1795.92	c   problem variables:       0.00          0          0
1795.37/1795.92	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.37/1795.92	c   relpscost        :     450.50       6007          5       1542          0          0      11340
1795.37/1795.92	c   pscost           :       0.00          0          0          0          0          0          0
1795.37/1795.92	c   inference        :       0.01          1          0          0          0          0          2
1795.37/1795.92	c   mostinf          :       0.00          0          0          0          0          0          0
1795.37/1795.92	c   leastinf         :       0.00          0          0          0          0          0          0
1795.37/1795.92	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.37/1795.92	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.37/1795.92	c   random           :       0.00          0          0          0          0          0          0
1795.37/1795.92	c Primal Heuristics  :       Time      Calls      Found
1795.37/1795.92	c   LP solutions     :       0.00          -          0
1795.37/1795.92	c   pseudo solutions :       0.00          -          0
1795.37/1795.92	c   oneopt           :       0.01          0          0
1795.37/1795.92	c   crossover        :       0.02          0          0
1795.37/1795.92	c   guideddiving     :       0.00          0          0
1795.37/1795.92	c   intshifting      :       0.00          0          0
1795.37/1795.92	c   coefdiving       :     147.49          2          0
1795.37/1795.92	c   fracdiving       :     116.45          5          0
1795.37/1795.92	c   feaspump         :      53.66          9          0
1795.37/1795.92	c   pscostdiving     :      71.43         24          0
1795.37/1795.92	c   veclendiving     :      34.90         24          0
1795.37/1795.92	c   linesearchdiving :      53.50         31          0
1795.37/1795.92	c   simplerounding   :       0.01          0          0
1795.37/1795.92	c   rounding         :       3.56       1051          0
1795.37/1795.92	c   shifting         :      25.27        294          0
1795.37/1795.92	c   fixandinfer      :       0.00          0          0
1795.37/1795.92	c   intdiving        :       0.00          0          0
1795.37/1795.92	c   actconsdiving    :       0.00          0          0
1795.37/1795.92	c   objpscostdiving  :      51.92          9          0
1795.37/1795.92	c   rootsoldiving    :      19.74          7          0
1795.37/1795.92	c   octane           :       0.00          0          0
1795.37/1795.92	c   rens             :       0.01          0          0
1795.37/1795.92	c   rins             :       0.00          0          0
1795.37/1795.92	c   localbranching   :       0.00          0          0
1795.37/1795.92	c   mutation         :       0.00          0          0
1795.37/1795.92	c   dins             :       0.00          0          0
1795.37/1795.92	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.37/1795.92	c   primal LP        :       0.30          0          0       0.00       0.00
1795.37/1795.92	c   dual LP          :     599.97       7256     794635     109.51    1324.46
1795.37/1795.92	c   barrier LP       :       0.00          0          0       0.00          -
1795.37/1795.92	c   diving/probing LP:     496.83       9426     532636      56.51    1072.07
1795.37/1795.92	c   strong branching :     446.27       3261     508364     155.89    1139.14
1795.37/1795.92	c     (at root node) :          -         25       8255     330.20          -
1795.37/1795.92	c   conflict analysis:       0.00          0          0       0.00          -
1795.37/1795.92	c B&B Tree           :
1795.37/1795.92	c   number of runs   :          1
1795.37/1795.92	c   nodes            :       7326
1795.37/1795.92	c   nodes (total)    :       7326
1795.37/1795.92	c   nodes left       :       3954
1795.37/1795.92	c   max depth        :        168
1795.37/1795.92	c   max depth (total):        168
1795.37/1795.92	c   backtracks       :        991 (13.5%)
1795.37/1795.92	c   delayed cutoffs  :         63
1795.37/1795.92	c   repropagations   :       1407 (79492 domain reductions, 41 cutoffs)
1795.37/1795.92	c   avg switch length:       5.11
1795.37/1795.92	c   switching time   :      20.65
1795.37/1795.92	c Solution           :
1795.37/1795.92	c   Solutions found  :          0 (0 improvements)
1795.37/1795.92	c   Primal Bound     :          -
1795.37/1795.92	c   Dual Bound       : +1.20000000000000e+02
1795.37/1795.92	c   Gap              :   infinite
1795.37/1795.92	c   Root Dual Bound  : +1.20000000000000e+02
1795.57/1796.11	c Time complete: 1795.58.

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-1869565-1245178795/watcher-1869565-1245178795 -o /tmp/evaluation-result-1869565-1245178795/solver-1869565-1245178795 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869565-1245178795.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/65 30564
/proc/meminfo: memFree=1869480/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=7616 CPUtime=0
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 598 0 0 0 0 0 0 0 20 0 1 0 185477554 7798784 582 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/30564/statm: 1904 591 353 1256 0 643 0

[startup+0.020037 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 30564
/proc/meminfo: memFree=1869480/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=10352 CPUtime=0.01
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 1561 0 0 0 1 0 0 0 20 0 1 0 185477554 10600448 1545 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/30564/statm: 2588 1545 378 1256 0 1327 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10352

[startup+0.101046 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 30564
/proc/meminfo: memFree=1869480/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=12740 CPUtime=0.09
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 2153 0 0 0 9 0 0 0 20 0 1 0 185477554 13045760 2137 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/30564/statm: 3185 2137 378 1256 0 1924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12740

[startup+0.301066 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 30564
/proc/meminfo: memFree=1869480/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=18692 CPUtime=0.29
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 3661 0 0 0 28 1 0 0 22 0 1 0 185477554 19140608 3645 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/30564/statm: 4673 3645 378 1256 0 3412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18692

[startup+0.701109 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 30564
/proc/meminfo: memFree=1869480/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=94584 CPUtime=0.69
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 22088 0 0 0 61 8 0 0 25 0 1 0 185477554 96854016 21718 1992294400 4194304 9342243 548682068736 18446744073709551615 8251447 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 23646 21724 416 1256 0 22385 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94584

[startup+1.50119 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30565
/proc/meminfo: memFree=1768864/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=112532 CPUtime=1.48
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 26240 0 0 0 136 12 0 0 25 0 1 0 185477554 115232768 25870 1992294400 4194304 9342243 548682068736 18446744073709551615 5062380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 28133 25870 493 1256 0 26872 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 112532

[startup+3.10136 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30565
/proc/meminfo: memFree=1767584/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=112532 CPUtime=3.08
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 26241 0 0 0 296 12 0 0 25 0 1 0 185477554 115232768 25871 1992294400 4194304 9342243 548682068736 18446744073709551615 5066003 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 28133 25871 494 1256 0 26872 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 112532

[startup+6.3017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30565
/proc/meminfo: memFree=1743968/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=138892 CPUtime=6.28
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 33367 0 0 0 611 17 0 0 25 0 1 0 185477554 142225408 31834 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 34723 31834 648 1256 0 33462 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 138892

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30565
/proc/meminfo: memFree=1743648/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=138820 CPUtime=12.68
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 35099 0 0 0 1248 20 0 0 25 0 1 0 185477554 142151680 32064 1992294400 4194304 9342243 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 34705 32064 667 1256 0 33444 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 138820

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30565
/proc/meminfo: memFree=1730592/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=163492 CPUtime=25.48
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 50209 0 0 0 2518 30 0 0 25 0 1 0 185477554 167415808 35495 1992294400 4194304 9342243 548682068736 18446744073709551615 6960329 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 40873 35495 674 1256 0 39612 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 163492

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30565
/proc/meminfo: memFree=1721440/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=194084 CPUtime=51.08
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 68944 0 0 0 5066 42 0 0 25 0 1 0 185477554 198742016 37564 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 48521 37564 681 1256 0 47260 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 194084

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1726432/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=178572 CPUtime=102.27
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 96476 0 0 0 10166 61 0 0 25 0 1 0 185477554 182857728 36291 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 44643 36291 684 1256 0 43382 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 178572

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1725728/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=174524 CPUtime=162.24
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 135512 0 0 0 16140 84 0 0 25 0 1 0 185477554 178712576 36468 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 43631 36468 684 1256 0 42370 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 174524

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1728096/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=171008 CPUtime=222.22
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 141714 0 0 0 22128 94 0 0 25 0 1 0 185477554 175112192 35865 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 42752 35865 685 1256 0 41491 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 171008

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1728288/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=156008 CPUtime=282.2
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 143865 0 0 0 28115 105 0 0 25 0 1 0 185477554 159752192 35808 1992294400 4194304 9342243 548682068736 18446744073709551615 6239086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 39002 35808 689 1256 0 37741 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 156008

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1722848/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=164844 CPUtime=342.19
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 145211 0 0 0 34106 113 0 0 25 0 1 0 185477554 168800256 37154 1992294400 4194304 9342243 548682068736 18446744073709551615 6974272 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 41211 37154 689 1256 0 39950 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 164844

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1723616/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=174944 CPUtime=402.17
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 153327 0 0 0 40095 122 0 0 25 0 1 0 185477554 179142656 36969 1992294400 4194304 9342243 548682068736 18446744073709551615 6960648 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 43736 36969 693 1256 0 42475 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 174944

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1725216/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=170012 CPUtime=462.16
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 170929 0 0 0 46080 136 0 0 25 0 1 0 185477554 174092288 36593 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 42503 36593 693 1256 0 41242 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 170012

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1722400/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=171596 CPUtime=522.14
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 179567 0 0 0 52069 145 0 0 25 0 1 0 185477554 175714304 37257 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 42899 37257 693 1256 0 41638 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 171596

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1727904/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=155156 CPUtime=582.12
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 184126 0 0 0 58060 152 0 0 25 0 1 0 185477554 158879744 35918 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 38789 35918 693 1256 0 37528 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 155156

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1720992/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=163904 CPUtime=642.11
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 191212 0 0 0 64048 163 0 0 25 0 1 0 185477554 167837696 37639 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 40976 37639 693 1256 0 39715 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 163904

[startup+702.302 s]

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

/proc/meminfo: memFree=1719264/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=166164 CPUtime=1061.98
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 224707 0 0 0 105970 228 0 0 25 0 1 0 185477554 170151936 38053 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 41541 38053 694 1256 0 40280 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 166164

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1719520/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=165968 CPUtime=1121.97
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 233849 0 0 0 111957 240 0 0 25 0 1 0 185477554 169951232 37991 1992294400 4194304 9342243 548682068736 18446744073709551615 4970907 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 41492 37991 694 1256 0 40231 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 165968

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1712288/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=173576 CPUtime=1181.94
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 242789 0 0 0 117944 250 0 0 25 0 1 0 185477554 177741824 39761 1992294400 4194304 9342243 548682068736 18446744073709551615 6038420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 43394 39761 694 1256 0 42133 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 173576

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1712736/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=173024 CPUtime=1241.93
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 252879 0 0 0 123930 263 0 0 25 0 1 0 185477554 177176576 39639 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 43256 39639 694 1256 0 41995 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 173024

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1714528/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=176688 CPUtime=1301.91
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 260149 0 0 0 129917 274 0 0 25 0 1 0 185477554 180928512 39184 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 44172 39184 694 1256 0 42911 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 176688

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1710112/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=173720 CPUtime=1361.89
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 269363 0 0 0 135904 285 0 0 25 0 1 0 185477554 177889280 40284 1992294400 4194304 9342243 548682068736 18446744073709551615 5062364 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 43430 40284 694 1256 0 42169 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 173720

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1711200/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=173528 CPUtime=1421.89
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 282146 0 0 0 141891 298 0 0 25 0 1 0 185477554 177692672 40041 1992294400 4194304 9342243 548682068736 18446744073709551615 7289212 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 43382 40041 694 1256 0 42121 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 173528

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1706848/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=180636 CPUtime=1481.86
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 285059 0 0 0 147881 305 0 0 25 0 1 0 185477554 184971264 41114 1992294400 4194304 9342243 548682068736 18446744073709551615 5029257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 45159 41114 694 1256 0 43898 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 180636

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1704288/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=189544 CPUtime=1541.84
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 293939 0 0 0 153867 317 0 0 25 0 1 0 185477554 194093056 41723 1992294400 4194304 9342243 548682068736 18446744073709551615 5990617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 47386 41723 694 1256 0 46125 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 189544

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1700192/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=182740 CPUtime=1601.83
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 302636 0 0 0 159856 327 0 0 25 0 1 0 185477554 187125760 42752 1992294400 4194304 9342243 548682068736 18446744073709551615 7289239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 45685 42752 694 1256 0 44424 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 182740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1707616/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=182836 CPUtime=1661.81
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 321712 0 0 0 165840 341 0 0 25 0 1 0 185477554 187224064 40880 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 45709 40880 694 1256 0 44448 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 182836

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1702560/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=182660 CPUtime=1721.8
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 372402 0 0 0 171808 372 0 0 25 0 1 0 185477554 187043840 42515 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 45665 42515 694 1256 0 44404 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 182660

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1698784/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=186052 CPUtime=1781.77
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 383501 0 0 0 177794 383 0 0 25 0 1 0 185477554 190517248 43090 1992294400 4194304 9342243 548682068736 18446744073709551615 5061600 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 46513 43090 694 1256 0 45252 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 186052

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1698272/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=186052 CPUtime=1784.98
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 383617 0 0 0 178114 384 0 0 25 0 1 0 185477554 190517248 43206 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 46513 43206 694 1256 0 45252 0
Current children cumulated CPU time (s) 1784.98
Current children cumulated vsize (KiB) 186052

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1701920/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=186792 CPUtime=1791.38
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 389772 0 0 0 178750 388 0 0 25 0 1 0 185477554 191275008 42302 1992294400 4194304 9342243 548682068736 18446744073709551615 6059573 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 46698 42302 694 1256 0 45437 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 186792

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1700704/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=186792 CPUtime=1792.98
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 390070 0 0 0 178910 388 0 0 25 0 1 0 185477554 191275008 42600 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 46698 42600 694 1256 0 45437 0
Current children cumulated CPU time (s) 1792.98
Current children cumulated vsize (KiB) 186792

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1699744/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=186792 CPUtime=1794.57
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 390319 0 0 0 179069 388 0 0 25 0 1 0 185477554 191275008 42849 1992294400 4194304 9342243 548682068736 18446744073709551615 6889068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 46698 42849 694 1256 0 45437 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 186792

[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1699744/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=186792 CPUtime=1795.37
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 390430 0 0 0 179149 388 0 0 25 0 1 0 185477554 191275008 42960 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30564/statm: 46698 42960 694 1256 0 45437 0
Current children cumulated CPU time (s) 1795.37
Current children cumulated vsize (KiB) 186792

[startup+1796.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30571
/proc/meminfo: memFree=1699744/2055920 swapFree=4179968/4192956
[pid=30564] ppid=30562 vsize=147996 CPUtime=1795.57
/proc/30564/stat : 30564 (pbscip.linux.x8) R 30562 30564 30409 0 -1 4194304 390435 0 0 0 179167 390 0 0 25 0 1 0 185477554 151547904 35092 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/30564/statm: 36999 35092 13920 1256 0 35738 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (KiB) 147996

Child status: 0
Real time (s): 1796.12
CPU time (s): 1795.6
CPU user time (s): 1791.68
CPU system time (s): 3.9194
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 195632

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

runsolver used 2.03369 second user time and 4.42933 second system time

The end

Launcher Data 

Begin job on node82 at 2009-06-16 20:59:55
IDJOB=1869565
IDBENCH=2937
IDSOLVER=684
FILE ID=node82/1869565-1245178795
PBS_JOBID= 9363921
Free space on /tmp= 66400 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_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-1869565-1245178795/watcher-1869565-1245178795 -o /tmp/evaluation-result-1869565-1245178795/solver-1869565-1245178795 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869565-1245178795.opb

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

MD5SUM BENCH= 6e5141f298d85d1f18641c02d22506a9
RANDOM SEED=533631468

node82.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1869896 kB
Buffers:         30156 kB
Cached:          87824 kB
SwapCached:       6596 kB
Active:          64644 kB
Inactive:        66848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1869896 kB
SwapTotal:     4192956 kB
SwapFree:      4179968 kB
Dirty:           14380 kB
Writeback:           0 kB
Mapped:          19080 kB
Slab:            40456 kB
Committed_AS:    88052 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66392 MiB
End job on node82 at 2009-06-16 21:29:52