Trace number 2665550

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 NameAnswerobjective functionCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1801.74 1802.22

General information on the benchmark

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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2665550-1276619834.opb>
0.79/0.85	c original problem has 7081 variables (7081 bin, 0 int, 0 impl, 0 cont) and 13889 constraints
0.79/0.85	c problem read
0.79/0.85	c presolving settings loaded
1.10/1.13	c presolving:
1.29/1.34	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 28 chg sides, 869 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.39/1.46	c (round 2) 1 del vars, 6214 del conss, 1 chg bounds, 28 chg sides, 869 chg coeffs, 739 upgd conss, 0 impls, 0 clqs
1.59/1.62	c (round 3) 1 del vars, 6214 del conss, 1 chg bounds, 28 chg sides, 869 chg coeffs, 1462 upgd conss, 946 impls, 4 clqs
1.59/1.70	c (round 4) 1 del vars, 6214 del conss, 1 chg bounds, 33 chg sides, 1092 chg coeffs, 1462 upgd conss, 946 impls, 4 clqs
5.19/5.28	c    (4.3s) probing: 109/7080 (1.5%) - 0 fixings, 0 aggregations, 1729 implications, 0 bound changes
5.19/5.28	c    (4.3s) probing aborted: 100/100 successive totally useless probings
5.19/5.29	c presolving (5 rounds):
5.19/5.29	c  1 deleted vars, 6214 deleted constraints, 1 tightened bounds, 0 added holes, 33 changed sides, 1096 changed coefficients
5.19/5.29	c  4404 implications, 4 cliques
5.19/5.29	c presolved problem has 7080 variables (7080 bin, 0 int, 0 impl, 0 cont) and 7675 constraints
5.19/5.29	c    1462 constraints of type <knapsack>
5.19/5.29	c    6213 constraints of type <linear>
5.19/5.29	c transformed objective value is always integral (scale: 1)
5.19/5.29	c Presolving Time: 4.14
5.19/5.29	c - non default parameters ----------------------------------------------------------------------
5.19/5.29	c # SCIP version 1.2.1.2
5.19/5.29	c 
5.19/5.29	c # frequency for displaying node information lines
5.19/5.29	c # [type: int, range: [-1,2147483647], default: 100]
5.19/5.29	c display/freq = 10000
5.19/5.29	c 
5.19/5.29	c # maximal time in seconds to run
5.19/5.29	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.19/5.29	c limits/time = 1799.16
5.19/5.29	c 
5.19/5.29	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.19/5.29	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.19/5.29	c limits/memory = 1620
5.19/5.29	c 
5.19/5.29	c # should presolving try to simplify inequalities
5.19/5.29	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.19/5.29	c constraints/linear/simplifyinequalities = TRUE
5.19/5.29	c 
5.19/5.29	c # should presolving try to simplify knapsacks
5.19/5.29	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.19/5.29	c constraints/knapsack/simplifyinequalities = TRUE
5.19/5.29	c 
5.19/5.29	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.19/5.29	c # [type: int, range: [-1,2147483647], default: -1]
5.19/5.29	c separating/rapidlearning/freq = 0
5.19/5.29	c 
5.19/5.29	c -----------------------------------------------------------------------------------------------
5.19/5.29	c start solving
5.19/5.29	c 
6.99/7.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.99/7.04	c   6.0s|     1 |     0 |  5700 |     - |  64M|   0 |5373 |7080 |7675 |7080 |7675 |   0 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
63.08/63.12	c  61.7s|     1 |     0 |  9039 |     - |  68M|   0 |4815 |7080 |9564 |7080 |7776 | 101 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
70.18/70.25	c  68.8s|     1 |     0 | 12646 |     - |  69M|   0 |4845 |7080 |9564 |7080 |7851 | 176 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
81.47/81.51	c  80.1s|     1 |     0 | 17524 |     - |  69M|   0 |4540 |7080 |9564 |7080 |7937 | 262 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
94.36/94.43	c  93.0s|     1 |     0 | 22643 |     - |  70M|   0 |4746 |7080 |9564 |7080 |8033 | 358 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
107.67/107.73	c   106s|     1 |     0 | 26867 |     - |  70M|   0 |4640 |7080 |9564 |7080 |8124 | 449 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
119.76/119.80	c   118s|     1 |     0 | 30141 |     - |  71M|   0 |4345 |7080 |9564 |7080 |8219 | 544 |   0 |   0 | 1.360000e+02 |      --      |    Inf 
141.06/141.10	c   139s|     1 |     2 | 30141 |     - |  71M|   0 |4345 |7080 |9564 |7080 |8219 | 544 |   0 |  20 | 1.360000e+02 |      --      |    Inf 
1800.01/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1801.41/1801.99	c 
1801.41/1801.99	c SCIP Status        : solving was interrupted [user interrupt]
1801.41/1801.99	c Solving Time (sec) : 1792.58
1801.41/1801.99	c Solving Nodes      : 316
1801.41/1801.99	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1801.41/1801.99	c Dual Bound         : +1.36000000000000e+02
1801.41/1801.99	c Gap                : infinite
1801.41/1801.99	s UNKNOWN
1801.41/1801.99	c SCIP Status        : solving was interrupted [user interrupt]
1801.41/1801.99	c Solving Time       :    1792.58
1801.41/1801.99	c Original Problem   :
1801.41/1801.99	c   Problem name     : HOME/instance-2665550-1276619834.opb
1801.41/1801.99	c   Variables        : 7081 (7081 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.41/1801.99	c   Constraints      : 13889 initial, 13889 maximal
1801.41/1801.99	c Presolved Problem  :
1801.41/1801.99	c   Problem name     : t_HOME/instance-2665550-1276619834.opb
1801.41/1801.99	c   Variables        : 7080 (7080 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.41/1801.99	c   Constraints      : 7675 initial, 11720 maximal
1801.41/1801.99	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1801.41/1801.99	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1801.41/1801.99	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1801.41/1801.99	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1801.41/1801.99	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1801.41/1801.99	c   implics          :       0.02          0          0          0          0          0          0          0          0
1801.41/1801.99	c   probing          :       3.55          0          0          0          0          0          0          0          0
1801.41/1801.99	c   knapsack         :       0.10          0          0          0          0          0          0          5        227
1801.41/1801.99	c   linear           :       0.38          1          0          0          1          0       6214         28        869
1801.41/1801.99	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1801.41/1801.99	c   root node        :          -          0          -          -          0          -          -          -          -
1801.41/1801.99	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1801.41/1801.99	c   integral         :          0          0          0        314          0          0          5          0          0        622
1801.41/1801.99	c   knapsack         :       1462          6       7197          0          0         10         24       1159          0          0
1801.41/1801.99	c   linear           :       6213+         7       7187          0          0          9          0         16          0          0
1801.41/1801.99	c   logicor          :          0+         0       2908          0          0          1         45          0          0          0
1801.41/1801.99	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1801.41/1801.99	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1801.41/1801.99	c   integral         :     425.15       0.00       0.00     425.15       0.00
1801.41/1801.99	c   knapsack         :       2.23       0.19       2.04       0.00       0.00
1801.41/1801.99	c   linear           :      12.20       0.01      12.19       0.00       0.00
1801.41/1801.99	c   logicor          :       0.07       0.00       0.07       0.00       0.00
1801.41/1801.99	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1801.41/1801.99	c Propagators        :       Time      Calls    Cutoffs    DomReds
1801.41/1801.99	c   vbounds          :       0.04          2          0          0
1801.41/1801.99	c   rootredcost      :       0.02          0          0          0
1801.41/1801.99	c   pseudoobj        :       0.05       6971          0          0
1801.41/1801.99	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1801.41/1801.99	c   propagation      :       0.01         20         20         74       23.2          0        0.0          -
1801.41/1801.99	c   infeasible LP    :       6.16       2097       2097       2117        7.3          2       10.0          0
1801.41/1801.99	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1801.41/1801.99	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1801.41/1801.99	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1801.41/1801.99	c   applied globally :          -          -          -       2156        7.5          -          -          -
1801.41/1801.99	c   applied locally  :          -          -          -          0        0.0          -          -          -
1801.41/1801.99	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1801.41/1801.99	c   cut pool         :       0.00          5          -          -        975          -    (maximal pool size: 4255)
1801.41/1801.99	c   redcost          :       0.21        319          0          0          0          0
1801.41/1801.99	c   impliedbounds    :       0.02          6          0          0         77          0
1801.41/1801.99	c   intobj           :       0.00          0          0          0          0          0
1801.41/1801.99	c   cgmip            :       0.00          0          0          0          0          0
1801.41/1801.99	c   gomory           :       3.59          6          0          0         10          0
1801.41/1801.99	c   strongcg         :       3.55          6          0          0         15          0
1801.41/1801.99	c   cmir             :       4.17          6          0          0       3000          0
1801.41/1801.99	c   flowcover        :       2.61          6          0          0       1200          0
1801.41/1801.99	c   clique           :       0.02          6          0          0          0          0
1801.41/1801.99	c   zerohalf         :       0.00          0          0          0          0          0
1801.41/1801.99	c   mcf              :       0.00          1          0          0          0          0
1801.41/1801.99	c   rapidlearning    :      50.26          1          0          0          0       1889
1801.41/1801.99	c Pricers            :       Time      Calls       Vars
1801.41/1801.99	c   problem variables:       0.00          0          0
1801.41/1801.99	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1801.41/1801.99	c   relpscost        :     425.15        314          0          5          0          0        622
1801.41/1801.99	c   pscost           :       0.00          0          0          0          0          0          0
1801.41/1801.99	c   inference        :       0.00          0          0          0          0          0          0
1801.41/1801.99	c   mostinf          :       0.00          0          0          0          0          0          0
1801.41/1801.99	c   leastinf         :       0.00          0          0          0          0          0          0
1801.41/1801.99	c   fullstrong       :       0.00          0          0          0          0          0          0
1801.41/1801.99	c   allfullstrong    :       0.00          0          0          0          0          0          0
1801.41/1801.99	c   random           :       0.00          0          0          0          0          0          0
1801.41/1801.99	c Primal Heuristics  :       Time      Calls      Found
1801.41/1801.99	c   LP solutions     :       0.00          -          0
1801.41/1801.99	c   pseudo solutions :       0.00          -          0
1801.41/1801.99	c   oneopt           :       0.00          0          0
1801.41/1801.99	c   crossover        :       0.00          0          0
1801.41/1801.99	c   guideddiving     :       0.00          0          0
1801.41/1801.99	c   rootsoldiving    :      20.57          2          0
1801.41/1801.99	c   veclendiving     :      48.41          4          0
1801.41/1801.99	c   pscostdiving     :      36.90          5          0
1801.41/1801.99	c   linesearchdiving :      82.71          5          0
1801.41/1801.99	c   feaspump         :       0.95          3          0
1801.41/1801.99	c   trivial          :       0.02          2          0
1801.41/1801.99	c   simplerounding   :       0.00          0          0
1801.41/1801.99	c   zirounding       :       0.39        311          0
1801.41/1801.99	c   rounding         :       2.02        207          0
1801.41/1801.99	c   shifting         :       4.52         36          0
1801.41/1801.99	c   intshifting      :       0.00          0          0
1801.41/1801.99	c   twoopt           :       0.00          0          0
1801.41/1801.99	c   fixandinfer      :       0.00          0          0
1801.41/1801.99	c   coefdiving       :     216.03          1          0
1801.41/1801.99	c   fracdiving       :     314.79          1          0
1801.41/1801.99	c   intdiving        :       0.00          0          0
1801.41/1801.99	c   actconsdiving    :       0.00          0          0
1801.41/1801.99	c   objpscostdiving  :      40.57          1          0
1801.41/1801.99	c   octane           :       0.00          0          0
1801.41/1801.99	c   rens             :       0.02          0          0
1801.41/1801.99	c   rins             :       0.00          0          0
1801.41/1801.99	c   localbranching   :       0.00          0          0
1801.41/1801.99	c   mutation         :       0.00          0          0
1801.41/1801.99	c   dins             :       0.00          0          0
1801.41/1801.99	c   undercover       :       0.00          0          0
1801.41/1801.99	c   nlp              :       0.00          0          0
1801.41/1801.99	c   trysol           :       0.00          0          0
1801.41/1801.99	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1801.41/1801.99	c   primal LP        :       0.09          0          0       0.00       0.00
1801.41/1801.99	c   dual LP          :     526.15        325     326912    1005.88     621.33
1801.41/1801.99	c   lex dual LP      :       0.00          0          0       0.00          -
1801.41/1801.99	c   barrier LP       :       0.00          0          0       0.00          -
1801.41/1801.99	c   diving/probing LP:     726.27       5644     736944     130.57    1014.70
1801.41/1801.99	c   strong branching :     424.51        413     274248     664.04     646.03
1801.41/1801.99	c     (at root node) :          -         20       9402     470.10          -
1801.41/1801.99	c   conflict analysis:       0.00          0          0       0.00          -
1801.41/1801.99	c B&B Tree           :
1801.41/1801.99	c   number of runs   :          1
1801.41/1801.99	c   nodes            :        316
1801.41/1801.99	c   nodes (total)    :        316
1801.41/1801.99	c   nodes left       :        307
1801.41/1801.99	c   max depth        :         43
1801.41/1801.99	c   max depth (total):         43
1801.41/1801.99	c   backtracks       :         22 (7.0%)
1801.41/1801.99	c   delayed cutoffs  :          0
1801.41/1801.99	c   repropagations   :         11 (4 domain reductions, 0 cutoffs)
1801.41/1801.99	c   avg switch length:       2.21
1801.41/1801.99	c   switching time   :       0.31
1801.41/1801.99	c Solution           :
1801.41/1801.99	c   Solutions found  :          0 (0 improvements)
1801.41/1801.99	c   Primal Bound     :          -
1801.41/1801.99	c   Dual Bound       : +1.36000000000000e+02
1801.41/1801.99	c   Gap              :   infinite
1801.41/1801.99	c   Root Dual Bound  : +1.36000000000000e+02
1801.41/1801.99	c   Root Iterations  :      30141
1801.71/1802.21	c Time complete: 1801.72.

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

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.01 1.00 3/105 12000
/proc/meminfo: memFree=1387072/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=9288 CPUtime=0
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 1168 0 0 0 0 0 0 0 25 0 1 0 3277184 9510912 1089 1992294400 4194304 9819077 140736564618592 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12000/statm: 2322 1097 371 1374 0 943 0

[startup+0.051136 s]
/proc/loadavg: 1.00 1.01 1.00 3/105 12000
/proc/meminfo: memFree=1387072/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=11808 CPUtime=0.04
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 1874 0 0 0 4 0 0 0 25 0 1 0 3277184 12091392 1795 1992294400 4194304 9819077 140736564618592 18446744073709551615 4525409 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12000/statm: 2952 1795 388 1374 0 1573 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11808

[startup+0.10114 s]
/proc/loadavg: 1.00 1.01 1.00 3/105 12000
/proc/meminfo: memFree=1387072/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=13104 CPUtime=0.09
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 2192 0 0 0 9 0 0 0 25 0 1 0 3277184 13418496 2113 1992294400 4194304 9819077 140736564618592 18446744073709551615 8667812 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12000/statm: 3276 2113 388 1374 0 1897 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13104

[startup+0.301162 s]
/proc/loadavg: 1.00 1.01 1.00 3/105 12000
/proc/meminfo: memFree=1387072/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=18792 CPUtime=0.29
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 3625 0 0 0 28 1 0 0 25 0 1 0 3277184 19243008 3546 1992294400 4194304 9819077 140736564618592 18446744073709551615 8668359 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12000/statm: 4698 3546 388 1374 0 3319 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18792

[startup+0.701246 s]
/proc/loadavg: 1.00 1.01 1.00 3/105 12000
/proc/meminfo: memFree=1387072/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=27948 CPUtime=0.69
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 5922 0 0 0 67 2 0 0 25 0 1 0 3277184 28618752 5843 1992294400 4194304 9819077 140736564618592 18446744073709551615 4397005 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12000/statm: 6987 5843 388 1374 0 5608 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27948

[startup+1.5013 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 12001
/proc/meminfo: memFree=1302496/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=132224 CPUtime=1.49
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 33575 0 0 0 135 14 0 0 25 0 1 0 3277184 135397376 30179 1992294400 4194304 9819077 140736564618592 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 33056 30179 504 1374 0 31677 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132224

[startup+3.10147 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 12001
/proc/meminfo: memFree=1265420/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=134224 CPUtime=3.09
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 35730 0 0 0 293 16 0 0 25 0 1 0 3277184 137445376 30792 1992294400 4194304 9819077 140736564618592 18446744073709551615 4854160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 33556 30792 512 1374 0 32177 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134224

[startup+6.30182 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 12001
/proc/meminfo: memFree=1252648/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=166340 CPUtime=6.29
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 45931 0 0 0 609 20 0 0 25 0 1 0 3277184 170332160 37173 1992294400 4194304 9819077 140736564618592 18446744073709551615 6391593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 41585 37173 636 1374 0 40206 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 166340

[startup+12.7016 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 12001
/proc/meminfo: memFree=1156796/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=256172 CPUtime=12.69
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 82005 0 0 0 1231 38 0 0 25 0 1 0 3277184 262320128 57997 1992294400 4194304 9819077 140736564618592 18446744073709551615 4923926 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 64043 57997 688 1374 0 62664 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 256172

[startup+25.5009 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 12003
/proc/meminfo: memFree=1147000/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=266096 CPUtime=25.49
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 84417 0 0 0 2507 42 0 0 25 0 1 0 3277184 272482304 60409 1992294400 4194304 9819077 140736564618592 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 66524 60409 688 1374 0 65145 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 266096

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12003
/proc/meminfo: memFree=1130260/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=283248 CPUtime=51.08
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 88609 0 0 0 5059 49 0 0 25 0 1 0 3277184 290045952 64601 1992294400 4194304 9819077 140736564618592 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 70812 64601 688 1374 0 69433 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 283248

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12005
/proc/meminfo: memFree=1199080/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=213808 CPUtime=102.27
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 93977 0 0 0 10161 66 0 0 25 0 1 0 3277184 218939392 47443 1992294400 4194304 9819077 140736564618592 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 53452 47443 706 1374 0 52073 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 213808

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12005
/proc/meminfo: memFree=1195732/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=231080 CPUtime=162.25
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 167007 0 0 0 16116 109 0 0 25 0 1 0 3277184 236625920 48241 1992294400 4194304 9819077 140736564618592 18446744073709551615 7220450 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 57770 48241 709 1374 0 56391 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 231080

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12007
/proc/meminfo: memFree=1197220/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=221716 CPUtime=222.23
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 196798 0 0 0 22087 136 0 0 25 0 1 0 3277184 227037184 47887 1992294400 4194304 9819077 140736564618592 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 55429 47887 709 1374 0 54050 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 221716

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12009
/proc/meminfo: memFree=1197220/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=213140 CPUtime=282.22
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 233953 0 0 0 28056 166 0 0 25 0 1 0 3277184 218255360 47756 1992294400 4194304 9819077 140736564618592 18446744073709551615 7221855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 53285 47756 709 1374 0 51906 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 213140

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12011
/proc/meminfo: memFree=1197964/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=201132 CPUtime=342.2
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 267046 0 0 0 34028 192 0 0 25 0 1 0 3277184 205959168 47557 1992294400 4194304 9819077 140736564618592 18446744073709551615 7291693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50283 47557 711 1374 0 48904 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 201132

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12013
/proc/meminfo: memFree=1197840/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=201132 CPUtime=402.19
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 267046 0 0 0 40014 205 0 0 25 0 1 0 3277184 205959168 47557 1992294400 4194304 9819077 140736564618592 18446744073709551615 7293475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50283 47557 711 1374 0 48904 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 201132

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12013
/proc/meminfo: memFree=1197840/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=201132 CPUtime=462.17
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 267046 0 0 0 46002 215 0 0 25 0 1 0 3277184 205959168 47557 1992294400 4194304 9819077 140736564618592 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50283 47557 711 1374 0 48904 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 201132

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12015
/proc/meminfo: memFree=1197840/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=201132 CPUtime=522.15
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 267046 0 0 0 51989 226 0 0 25 0 1 0 3277184 205959168 47557 1992294400 4194304 9819077 140736564618592 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50283 47557 711 1374 0 48904 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 201132

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12017
/proc/meminfo: memFree=1197840/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=201132 CPUtime=582.13
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 267046 0 0 0 57977 236 0 0 25 0 1 0 3277184 205959168 47557 1992294400 4194304 9819077 140736564618592 18446744073709551615 6391563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50283 47557 711 1374 0 48904 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 201132

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12019
/proc/meminfo: memFree=1197716/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=201132 CPUtime=642.13
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 267046 0 0 0 63965 248 0 0 25 0 1 0 3277184 205959168 47557 1992294400 4194304 9819077 140736564618592 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50283 47557 711 1374 0 48904 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 201132

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12029
/proc/meminfo: memFree=1197468/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=201132 CPUtime=1002.03
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 314386 0 0 0 99865 338 0 0 25 0 1 0 3277184 205959168 47557 1992294400 4194304 9819077 140736564618592 18446744073709551615 7291102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50283 47557 711 1374 0 48904 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 201132

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12029
/proc/meminfo: memFree=1197468/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=201132 CPUtime=1062.02
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 352314 0 0 0 105835 367 0 0 25 0 1 0 3277184 205959168 47560 1992294400 4194304 9819077 140736564618592 18446744073709551615 7289186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50283 47560 711 1374 0 48904 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 201132

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12031
/proc/meminfo: memFree=1197344/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=201132 CPUtime=1122
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 399220 0 0 0 111797 403 0 0 25 0 1 0 3277184 205959168 47573 1992294400 4194304 9819077 140736564618592 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50283 47573 711 1374 0 48904 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 201132

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12033
/proc/meminfo: memFree=1197220/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=208244 CPUtime=1181.98
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 467480 0 0 0 117752 446 0 0 25 0 1 0 3277184 213241856 47773 1992294400 4194304 9819077 140736564618592 18446744073709551615 6191204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 52061 47773 711 1374 0 50682 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 208244

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12035
/proc/meminfo: memFree=1197096/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=201132 CPUtime=1241.96
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 486085 0 0 0 123727 469 0 0 25 0 1 0 3277184 205959168 47573 1992294400 4194304 9819077 140736564618592 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50283 47573 711 1374 0 48904 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 201132

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12037
/proc/meminfo: memFree=1196972/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=201132 CPUtime=1301.96
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 567575 0 0 0 129676 520 0 0 25 0 1 0 3277184 205959168 47573 1992294400 4194304 9819077 140736564618592 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50283 47573 711 1374 0 48904 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 201132

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12037
/proc/meminfo: memFree=1196972/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=207076 CPUtime=1361.93
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 623885 0 0 0 135634 559 0 0 25 0 1 0 3277184 212045824 47792 1992294400 4194304 9819077 140736564618592 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 51769 47792 711 1374 0 50390 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 207076

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12039
/proc/meminfo: memFree=1196972/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=203772 CPUtime=1421.93
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 666130 0 0 0 141602 591 0 0 25 0 1 0 3277184 208662528 47580 1992294400 4194304 9819077 140736564618592 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50943 47580 711 1374 0 49564 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 203772

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12050
/proc/meminfo: memFree=1194244/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=233720 CPUtime=1481.89
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 733350 0 0 0 147553 636 0 0 25 0 1 0 3277184 239329280 48426 1992294400 4194304 9819077 140736564618592 18446744073709551615 7293461 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 58430 48426 711 1374 0 57051 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 233720

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12052
/proc/meminfo: memFree=1195360/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=224220 CPUtime=1541.88
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 778638 0 0 0 153517 671 0 0 25 0 1 0 3277184 229601280 48040 1992294400 4194304 9819077 140736564618592 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 56055 48040 711 1374 0 54676 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 224220

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12054
/proc/meminfo: memFree=1194740/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=229784 CPUtime=1601.86
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 813376 0 0 0 159486 700 0 0 25 0 1 0 3277184 235298816 48224 1992294400 4194304 9819077 140736564618592 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 57446 48224 711 1374 0 56067 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 229784

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12054
/proc/meminfo: memFree=1196724/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=201132 CPUtime=1661.85
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 854648 0 0 0 165454 731 0 0 25 0 1 0 3277184 205959168 47573 1992294400 4194304 9819077 140736564618592 18446744073709551615 7220498 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50283 47573 711 1374 0 48904 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 201132

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12056
/proc/meminfo: memFree=1196476/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=210420 CPUtime=1721.83
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 922891 0 0 0 171409 774 0 0 25 0 1 0 3277184 215470080 47691 1992294400 4194304 9819077 140736564618592 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 52605 47691 711 1374 0 51226 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 210420

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12058
/proc/meminfo: memFree=1196476/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=201132 CPUtime=1781.82
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 951907 0 0 0 177381 801 0 0 25 0 1 0 3277184 205959168 47573 1992294400 4194304 9819077 140736564618592 18446744073709551615 7291994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 50283 47573 711 1374 0 48904 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 201132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12058
/proc/meminfo: memFree=1196228/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=209952 CPUtime=1800.01
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 962166 0 0 0 179192 809 0 0 25 0 1 0 3277184 214990848 47798 1992294400 4194304 9819077 140736564618592 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 52488 47798 711 1374 0 51109 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 209952

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12059
/proc/meminfo: memFree=1196220/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=210180 CPUtime=1800.91
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 962789 0 0 0 179281 810 0 0 25 0 1 0 3277184 215224320 47827 1992294400 4194304 9819077 140736564618592 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 52545 47827 711 1374 0 51166 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 210180

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12059
/proc/meminfo: memFree=1196096/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=209952 CPUtime=1801.32
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 963098 0 0 0 179322 810 0 0 25 0 1 0 3277184 214990848 47871 1992294400 4194304 9819077 140736564618592 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12000/statm: 52488 47871 711 1374 0 51109 0
Current children cumulated CPU time (s) 1801.32
Current children cumulated vsize (KiB) 209952

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12059
/proc/meminfo: memFree=1196096/2059040 swapFree=4192956/4192956
[pid=12000] ppid=11998 vsize=92432 CPUtime=1801.71
/proc/12000/stat : 12000 (pbscip.linux.x8) R 11998 12000 11840 0 -1 4202496 963478 0 0 0 179360 811 0 0 18 0 1 0 3277184 94650368 22160 1992294400 4194304 9819077 140736564618592 18446744073709551615 6180679 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12000/statm: 23108 22160 714 1374 0 21729 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 92432

Child status: 0
Real time (s): 1802.22
CPU time (s): 1801.74
CPU user time (s): 1793.61
CPU system time (s): 8.12876
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 287828

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

runsolver used 2.83057 second user time and 8.65968 second system time

The end

Launcher Data 

Begin job on node086 at 2010-06-15 18:37:15
IDJOB=2665550
IDBENCH=2939
IDSOLVER=1168
FILE ID=node086/2665550-1276619834
PBS_JOBID= 11172329
Free space on /tmp= 62572 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_17.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665550-1276619834/watcher-2665550-1276619834 -o /tmp/evaluation-result-2665550-1276619834/solver-2665550-1276619834 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665550-1276619834.opb -t 1800 -m 1800

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

MD5SUM BENCH= 25ee8feec785b6a4be71df8acc9d82db
RANDOM SEED=85863478

node086.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1387476 kB
Buffers:         87824 kB
Cached:         442448 kB
SwapCached:          0 kB
Active:         231052 kB
Inactive:       358508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1387476 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            9832 kB
Writeback:           0 kB
AnonPages:       59284 kB
Mapped:          15456 kB
Slab:            60412 kB
PageTables:       3884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182148 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62568 MiB
End job on node086 at 2010-06-15 19:07:17