Trace number 2664118

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.66 1801.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_15.opb
MD5SUMb4a219bc21641bf0d46eae2692004ebe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark202
Best CPU time to get the best result obtained on this benchmark1800.38
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 176
Optimality of the best value was proved NO
Number of variables4320
Total number of constraints8414
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8414
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
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 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1469
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.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664118-1276586596.opb>
0.49/0.54	c original problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 8414 constraints
0.49/0.54	c problem read
0.49/0.54	c presolving settings loaded
0.49/0.55	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.69/0.72	c presolving:
0.89/0.91	c (round 1) 0 del vars, 4200 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 14 upgd conss, 0 impls, 0 clqs
3.09/3.19	c    (2.6s) probing: 116/4320 (2.7%) - 0 fixings, 0 aggregations, 1210 implications, 0 bound changes
3.09/3.19	c    (2.6s) probing aborted: 100/100 successive totally useless probings
3.09/3.19	c presolving (2 rounds):
3.09/3.19	c  0 deleted vars, 4200 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.09/3.19	c  8610 implications, 0 cliques
3.09/3.19	c presolved problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 4214 constraints
3.09/3.19	c      14 constraints of type <knapsack>
3.09/3.19	c    4200 constraints of type <linear>
3.09/3.19	c transformed objective value is always integral (scale: 1)
3.09/3.19	c Presolving Time: 2.48
3.09/3.19	c - non default parameters ----------------------------------------------------------------------
3.09/3.19	c # SCIP version 1.2.1.2
3.09/3.19	c 
3.09/3.19	c # frequency for displaying node information lines
3.09/3.19	c # [type: int, range: [-1,2147483647], default: 100]
3.09/3.19	c display/freq = 10000
3.09/3.19	c 
3.09/3.19	c # maximal time in seconds to run
3.09/3.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/3.19	c limits/time = 1799.47
3.09/3.19	c 
3.09/3.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.09/3.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/3.19	c limits/memory = 1620
3.09/3.19	c 
3.09/3.19	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.09/3.19	c # [type: int, range: [-1,2147483647], default: 1]
3.09/3.19	c lp/solvefreq = -1
3.09/3.19	c 
3.09/3.19	c # should presolving try to simplify inequalities
3.09/3.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.19	c constraints/linear/simplifyinequalities = TRUE
3.09/3.19	c 
3.09/3.19	c # should presolving try to simplify knapsacks
3.09/3.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.19	c constraints/knapsack/simplifyinequalities = TRUE
3.09/3.19	c 
3.09/3.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.09/3.19	c # [type: int, range: [-1,2147483647], default: -1]
3.09/3.19	c separating/rapidlearning/freq = 0
3.09/3.19	c 
3.09/3.19	c -----------------------------------------------------------------------------------------------
3.09/3.19	c start solving
3.09/3.20	c 
3.19/3.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.19/3.21	c   2.6s|     1 |     2 |     0 |     - |  27M|   0 |   - |4320 |4214 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
228.90/229.07	c   228s| 10000 |  7483 |     0 |   0.0 |  52M|4226 |   - |4320 |6180 |   0 |   0 |   0 |3581 |   0 | 0.000000e+00 |      --      |    Inf 
494.81/495.02	c   493s| 20000 |  9720 |     0 |   0.0 |  91M|4226 |   - |4320 |4790 |   0 |   0 |   0 |8735 |   0 | 0.000000e+00 |      --      |    Inf 
748.52/748.84	c   747s| 30000 | 16017 |     0 |   0.0 | 169M|4226 |   - |4320 |5000 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
1025.02/1025.41	c  1023s| 40000 | 21180 |     0 |   0.0 | 213M|4226 |   - |4320 |5013 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
1238.75/1239.20	c  1236s| 50000 | 27001 |     0 |   0.0 | 246M|4226 |   - |4320 |5030 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
1453.68/1454.29	c  1451s| 60000 | 32648 |     0 |   0.0 | 274M|4226 |   - |4320 |5061 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1659.40/1660.01	c  1656s| 70000 | 38703 |     0 |   0.0 | 307M|4226 |   - |4320 |5415 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1800.06/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.72	c 
1800.06/1800.72	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.72	c Solving Time (sec) : 1796.19
1800.06/1800.72	c Solving Nodes      : 76987
1800.06/1800.72	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.72	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.72	c Gap                : infinite
1800.06/1800.72	s UNKNOWN
1800.06/1800.72	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.72	c Solving Time       :    1796.19
1800.06/1800.72	c Original Problem   :
1800.06/1800.72	c   Problem name     : HOME/instance-2664118-1276586596.opb
1800.06/1800.72	c   Variables        : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.72	c   Constraints      : 8414 initial, 8414 maximal
1800.06/1800.72	c Presolved Problem  :
1800.06/1800.72	c   Problem name     : t_HOME/instance-2664118-1276586596.opb
1800.06/1800.72	c   Variables        : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.72	c   Constraints      : 4214 initial, 6638 maximal
1800.06/1800.72	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.72	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.72	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.72	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.72	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.72	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.72	c   probing          :       2.21          0          0          0          0          0          0          0          0
1800.06/1800.72	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.72	c   linear           :       0.21          0          0          0          0          0       4200          0          0
1800.06/1800.72	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.72	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.72	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.72	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.72	c   knapsack         :         14          0     216110          0      65308       1873     135458          0          0          0
1800.06/1800.72	c   linear           :       4200          0     214237          0      65308      14718    8286130          0          0          0
1800.06/1800.72	c   logicor          :          0+         0     104786          0          0        957      52838          0          0          0
1800.06/1800.72	c   countsols        :          0          0          0          0      65308          0          0          0          0          0
1800.06/1800.72	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.72	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.72	c   knapsack         :      55.80       0.00      55.48       0.00       0.32
1800.06/1800.72	c   linear           :    1337.72       0.00    1337.58       0.00       0.14
1800.06/1800.72	c   logicor          :      28.23       0.00      28.23       0.00       0.00
1800.06/1800.72	c   countsols        :       0.02       0.00       0.00       0.00       0.02
1800.06/1800.72	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.72	c   vbounds          :       0.17          2          0          0
1800.06/1800.72	c   rootredcost      :       0.16          0          0          0
1800.06/1800.72	c   pseudoobj        :       0.67     215866          0          0
1800.06/1800.72	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.72	c   propagation      :       3.34      17548      17423     137360       39.4        540       29.5          -
1800.06/1800.72	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.72	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.72	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.72	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.72	c   applied globally :          -          -          -      43069       36.0          -          -          -
1800.06/1800.72	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.72	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.72	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.06/1800.72	c   redcost          :       0.00          0          0          0          0          0
1800.06/1800.72	c   impliedbounds    :       0.00          0          0          0          0          0
1800.06/1800.72	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.72	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.72	c   gomory           :       0.00          0          0          0          0          0
1800.06/1800.72	c   strongcg         :       0.00          0          0          0          0          0
1800.06/1800.72	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.72	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.72	c   clique           :       0.00          0          0          0          0          0
1800.06/1800.72	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.72	c   mcf              :       0.00          0          0          0          0          0
1800.06/1800.72	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.72	c Pricers            :       Time      Calls       Vars
1800.06/1800.72	c   problem variables:       0.00          0          0
1800.06/1800.72	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.72	c   relpscost        :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   inference        :     119.21      65308          0          0          0          0     130616
1800.06/1800.72	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.72	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.72	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.72	c   LP solutions     :       0.00          -          0
1800.06/1800.72	c   pseudo solutions :       0.00          -          0
1800.06/1800.72	c   oneopt           :       0.03          0          0
1800.06/1800.72	c   trivial          :       0.02          2          0
1800.06/1800.72	c   simplerounding   :       0.00          0          0
1800.06/1800.72	c   zirounding       :       0.00          0          0
1800.06/1800.72	c   rounding         :       0.00          0          0
1800.06/1800.72	c   shifting         :       0.00          0          0
1800.06/1800.72	c   intshifting      :       0.00          0          0
1800.06/1800.72	c   twoopt           :       0.00          0          0
1800.06/1800.72	c   fixandinfer      :       0.00          0          0
1800.06/1800.72	c   feaspump         :       0.00          0          0
1800.06/1800.72	c   coefdiving       :       0.00          0          0
1800.06/1800.72	c   pscostdiving     :       0.00          0          0
1800.06/1800.72	c   fracdiving       :       0.00          0          0
1800.06/1800.72	c   veclendiving     :       0.00          0          0
1800.06/1800.72	c   intdiving        :       0.00          0          0
1800.06/1800.72	c   actconsdiving    :       0.00          0          0
1800.06/1800.72	c   objpscostdiving  :       0.00          0          0
1800.06/1800.72	c   rootsoldiving    :       0.00          0          0
1800.06/1800.72	c   linesearchdiving :       0.00          0          0
1800.06/1800.72	c   guideddiving     :       0.00          0          0
1800.06/1800.72	c   octane           :       0.00          0          0
1800.06/1800.72	c   rens             :       0.00          0          0
1800.06/1800.72	c   rins             :       0.00          0          0
1800.06/1800.72	c   localbranching   :       0.00          0          0
1800.06/1800.72	c   mutation         :       0.00          0          0
1800.06/1800.72	c   crossover        :       0.00          0          0
1800.06/1800.72	c   dins             :       0.00          0          0
1800.06/1800.72	c   undercover       :       0.00          0          0
1800.06/1800.72	c   nlp              :       0.21          0          0
1800.06/1800.72	c   trysol           :       0.07          0          0
1800.06/1800.72	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.72	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.72	c   dual LP          :       0.00          0          0       0.00          -
1800.06/1800.72	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.72	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.72	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.72	c   strong branching :       0.00          0          0       0.00          -
1800.06/1800.72	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.72	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.72	c B&B Tree           :
1800.06/1800.72	c   number of runs   :          1
1800.06/1800.72	c   nodes            :      76987
1800.06/1800.72	c   nodes (total)    :      76987
1800.06/1800.72	c   nodes left       :      42791
1800.06/1800.72	c   max depth        :       4226
1800.06/1800.72	c   max depth (total):       4226
1800.06/1800.72	c   backtracks       :       6701 (8.7%)
1800.06/1800.72	c   delayed cutoffs  :      10839
1800.06/1800.72	c   repropagations   :      25285 (1141216 domain reductions, 5869 cutoffs)
1800.06/1800.72	c   avg switch length:       6.88
1800.06/1800.72	c   switching time   :     243.70
1800.06/1800.72	c Solution           :
1800.06/1800.72	c   Solutions found  :          0 (0 improvements)
1800.06/1800.72	c   Primal Bound     :          -
1800.06/1800.72	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.72	c   Gap              :   infinite
1800.06/1800.72	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.72	c   Root Iterations  :          0
1800.65/1801.30	c Time complete: 1800.65.

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-2664118-1276586596/watcher-2664118-1276586596 -o /tmp/evaluation-result-2664118-1276586596/solver-2664118-1276586596 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664118-1276586596.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: 0.98 1.04 1.10 3/106 4303
/proc/meminfo: memFree=1733416/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=6584 CPUtime=0
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 972 0 0 0 0 0 0 0 20 0 1 0 34261169 6742016 895 1992294400 4194304 7136930 140735951256720 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4303/statm: 1646 904 254 719 0 925 0

[startup+0.0888599 s]
/proc/loadavg: 0.98 1.04 1.10 3/106 4303
/proc/meminfo: memFree=1733416/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=9956 CPUtime=0.08
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 1963 0 0 0 8 0 0 0 20 0 1 0 34261169 10194944 1885 1992294400 4194304 7136930 140735951256720 18446744073709551615 6303907 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4303/statm: 2489 1885 271 719 0 1768 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9956

[startup+0.100863 s]
/proc/loadavg: 0.98 1.04 1.10 3/106 4303
/proc/meminfo: memFree=1733416/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=10200 CPUtime=0.09
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 2027 0 0 0 9 0 0 0 20 0 1 0 34261169 10444800 1949 1992294400 4194304 7136930 140735951256720 18446744073709551615 6285702 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4303/statm: 2550 1949 271 719 0 1829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10200

[startup+0.300902 s]
/proc/loadavg: 0.98 1.04 1.10 3/106 4303
/proc/meminfo: memFree=1733416/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=15208 CPUtime=0.29
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 3282 0 0 0 28 1 0 0 20 0 1 0 34261169 15572992 3204 1992294400 4194304 7136930 140735951256720 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4303/statm: 3802 3204 271 719 0 3081 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15208

[startup+0.700981 s]
/proc/loadavg: 0.98 1.04 1.10 3/106 4303
/proc/meminfo: memFree=1733416/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=85596 CPUtime=0.69
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 20489 0 0 0 61 8 0 0 20 0 1 0 34261169 87650304 20057 1992294400 4194304 7136930 140735951256720 18446744073709551615 4561481 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 21399 20057 303 719 0 20678 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85596

[startup+1.50114 s]
/proc/loadavg: 0.98 1.04 1.10 2/107 4304
/proc/meminfo: memFree=1652684/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=88388 CPUtime=1.49
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 21803 0 0 0 140 9 0 0 23 0 1 0 34261169 90509312 20504 1992294400 4194304 7136930 140735951256720 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 22097 20504 366 719 0 21376 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88388

[startup+3.10145 s]
/proc/loadavg: 0.98 1.04 1.10 2/107 4304
/proc/meminfo: memFree=1651692/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=88648 CPUtime=3.09
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 21896 0 0 0 300 9 0 0 25 0 1 0 34261169 90775552 20597 1992294400 4194304 7136930 140735951256720 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 22162 20597 366 719 0 21441 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88648

[startup+6.30108 s]
/proc/loadavg: 0.98 1.04 1.10 2/107 4304
/proc/meminfo: memFree=1650080/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=91092 CPUtime=6.29
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 22510 0 0 0 616 13 0 0 25 0 1 0 34261169 93278208 21211 1992294400 4194304 7136930 140735951256720 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 22773 21211 386 719 0 22052 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91092

[startup+12.7013 s]
/proc/loadavg: 0.98 1.04 1.10 2/107 4304
/proc/meminfo: memFree=1646360/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=94216 CPUtime=12.68
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 23311 0 0 0 1251 17 0 0 25 0 1 0 34261169 96477184 22012 1992294400 4194304 7136930 140735951256720 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 23554 22012 394 719 0 22833 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 94216

[startup+25.5008 s]
/proc/loadavg: 0.98 1.04 1.10 2/107 4306
/proc/meminfo: memFree=1644748/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=95788 CPUtime=25.48
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 23690 0 0 0 2528 20 0 0 25 0 1 0 34261169 98086912 22391 1992294400 4194304 7136930 140735951256720 18446744073709551615 4978371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 23947 22391 394 719 0 23226 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95788

[startup+51.1008 s]
/proc/loadavg: 0.99 1.03 1.09 2/107 4306
/proc/meminfo: memFree=1641276/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=101008 CPUtime=51.06
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 24918 0 0 0 5081 25 0 0 25 0 1 0 34261169 103432192 23619 1992294400 4194304 7136930 140735951256720 18446744073709551615 4948245 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 25252 23619 394 719 0 24531 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 101008

[startup+102.309 s]
/proc/loadavg: 0.99 1.02 1.09 2/107 4308
/proc/meminfo: memFree=1629248/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=112852 CPUtime=102.26
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 27525 0 0 0 10192 34 0 0 25 0 1 0 34261169 115560448 26226 1992294400 4194304 7136930 140735951256720 18446744073709551615 4979111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 28213 26226 394 719 0 27492 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 112852

[startup+162.301 s]
/proc/loadavg: 0.99 1.02 1.08 2/107 4308
/proc/meminfo: memFree=1621312/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=121944 CPUtime=162.22
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 29509 0 0 0 16179 43 0 0 25 0 1 0 34261169 124870656 28210 1992294400 4194304 7136930 140735951256720 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 30486 28210 394 719 0 29765 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 121944

[startup+222.3 s]
/proc/loadavg: 0.99 1.01 1.07 2/107 4310
/proc/meminfo: memFree=1615236/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=128776 CPUtime=222.2
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 31000 0 0 0 22169 51 0 0 25 0 1 0 34261169 131866624 29701 1992294400 4194304 7136930 140735951256720 18446744073709551615 4981762 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 32194 29701 394 719 0 31473 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 128776

[startup+282.302 s]
/proc/loadavg: 0.99 1.01 1.07 2/107 4312
/proc/meminfo: memFree=1605936/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=139172 CPUtime=282.19
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 33339 0 0 0 28155 64 0 0 25 0 1 0 34261169 142512128 32040 1992294400 4194304 7136930 140735951256720 18446744073709551615 4978474 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 34793 32040 394 719 0 34072 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 139172

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.06 2/107 4314
/proc/meminfo: memFree=1597008/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=149516 CPUtime=342.16
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 35527 0 0 0 34141 75 0 0 25 0 1 0 34261169 153104384 34228 1992294400 4194304 7136930 140735951256720 18446744073709551615 4978047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 37379 34228 394 719 0 36658 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 149516

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.06 2/107 4316
/proc/meminfo: memFree=1588204/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=160328 CPUtime=402.13
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 37742 0 0 0 40128 85 0 0 25 0 1 0 34261169 164175872 36443 1992294400 4194304 7136930 140735951256720 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 40082 36443 394 719 0 39361 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 160328

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.05 2/107 4316
/proc/meminfo: memFree=1574068/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=176280 CPUtime=462.12
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 41233 0 0 0 46116 96 0 0 25 0 1 0 34261169 180510720 39934 1992294400 4194304 7136930 140735951256720 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 44070 39934 394 719 0 43349 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 176280

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.04 2/107 4318
/proc/meminfo: memFree=1557948/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=194508 CPUtime=522.1
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 45238 0 0 0 52105 105 0 0 25 0 1 0 34261169 199176192 43939 1992294400 4194304 7136930 140735951256720 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 48627 43939 394 719 0 47906 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 194508

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.04 2/107 4320
/proc/meminfo: memFree=1537984/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=216964 CPUtime=582.07
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 50094 0 0 0 58093 114 0 0 25 0 1 0 34261169 222171136 48795 1992294400 4194304 7136930 140735951256720 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 54241 48795 394 719 0 53520 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 216964

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.03 2/107 4322
/proc/meminfo: memFree=1516408/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=242296 CPUtime=642.06
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 55458 0 0 0 64079 127 0 0 25 0 1 0 34261169 248111104 54159 1992294400 4194304 7136930 140735951256720 18446744073709551615 4947088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 60574 54159 394 719 0 59853 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 242296

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4332
/proc/meminfo: memFree=1429856/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=346676 CPUtime=1001.93
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 76950 0 0 0 100004 189 0 0 25 0 1 0 34261169 354996224 75651 1992294400 4194304 7136930 140735951256720 18446744073709551615 4948241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 86669 75651 394 719 0 85948 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 346676

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4332
/proc/meminfo: memFree=1419068/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=359004 CPUtime=1061.9
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 79718 0 0 0 105990 200 0 0 25 0 1 0 34261169 367620096 78419 1992294400 4194304 7136930 140735951256720 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 89751 78419 394 719 0 89030 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 359004

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4334
/proc/meminfo: memFree=1406792/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=373272 CPUtime=1121.88
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 82714 0 0 0 111979 209 0 0 25 0 1 0 34261169 382230528 81415 1992294400 4194304 7136930 140735951256720 18446744073709551615 4643031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 93318 81415 394 719 0 92597 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 373272

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4336
/proc/meminfo: memFree=1394640/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=388716 CPUtime=1181.87
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 85774 0 0 0 117966 221 0 0 25 0 1 0 34261169 398045184 84475 1992294400 4194304 7136930 140735951256720 18446744073709551615 4980289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 97179 84475 394 719 0 96458 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 388716

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4338
/proc/meminfo: memFree=1385340/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=398800 CPUtime=1241.84
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 88001 0 0 0 123953 231 0 0 25 0 1 0 34261169 408371200 86702 1992294400 4194304 7136930 140735951256720 18446744073709551615 4978086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 99700 86702 394 719 0 98979 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 398800

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4340
/proc/meminfo: memFree=1376908/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=407048 CPUtime=1301.84
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 90056 0 0 0 129943 241 0 0 25 0 1 0 34261169 416817152 88757 1992294400 4194304 7136930 140735951256720 18446744073709551615 4227157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 101762 88757 394 719 0 101041 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 407048

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4340
/proc/meminfo: memFree=1369096/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=417220 CPUtime=1361.81
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 92115 0 0 0 135928 253 0 0 25 0 1 0 34261169 427233280 90816 1992294400 4194304 7136930 140735951256720 18446744073709551615 4924484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 104305 90816 394 719 0 103584 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 417220

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4342
/proc/meminfo: memFree=1360292/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=426460 CPUtime=1421.79
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 94221 0 0 0 141916 263 0 0 25 0 1 0 34261169 436695040 92922 1992294400 4194304 7136930 140735951256720 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 106615 92922 394 719 0 105894 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 426460

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4344
/proc/meminfo: memFree=1349628/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=440028 CPUtime=1481.76
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 96933 0 0 0 147903 273 0 0 25 0 1 0 34261169 450588672 95634 1992294400 4194304 7136930 140735951256720 18446744073709551615 4983663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 110007 95634 394 719 0 109286 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 440028

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4346
/proc/meminfo: memFree=1335244/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=456708 CPUtime=1541.74
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 100458 0 0 0 153889 285 0 0 25 0 1 0 34261169 467668992 99159 1992294400 4194304 7136930 140735951256720 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 114177 99159 394 719 0 113456 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 456708

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4348
/proc/meminfo: memFree=1323340/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=470244 CPUtime=1601.72
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 103467 0 0 0 159875 297 0 0 25 0 1 0 34261169 481529856 102168 1992294400 4194304 7136930 140735951256720 18446744073709551615 4978991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 117561 102168 394 719 0 116840 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 470244

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4348
/proc/meminfo: memFree=1312800/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=482856 CPUtime=1661.7
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 106065 0 0 0 165862 308 0 0 25 0 1 0 34261169 494444544 104766 1992294400 4194304 7136930 140735951256720 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 120714 104766 394 719 0 119993 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 482856

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4350
/proc/meminfo: memFree=1302012/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=495448 CPUtime=1721.68
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 108792 0 0 0 171847 321 0 0 25 0 1 0 34261169 507338752 107493 1992294400 4194304 7136930 140735951256720 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 123862 107493 394 719 0 123141 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 495448

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4352
/proc/meminfo: memFree=1288124/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=510284 CPUtime=1781.66
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 112136 0 0 0 177833 333 0 0 25 0 1 0 34261169 522530816 110837 1992294400 4194304 7136930 140735951256720 18446744073709551615 4948417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 127571 110837 394 719 0 126850 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 510284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4352
/proc/meminfo: memFree=1281800/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=518096 CPUtime=1800.06
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 113691 0 0 0 179670 336 0 0 25 0 1 0 34261169 530530304 112392 1992294400 4194304 7136930 140735951256720 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4303/statm: 129524 112392 394 719 0 128803 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 518096

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

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

[startup+1801 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4352
/proc/meminfo: memFree=1281800/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=518096 CPUtime=1800.35
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 113697 0 0 0 179699 336 0 0 25 0 1 0 34261169 530530304 112398 1992294400 4194304 7136930 140735951256720 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4303/statm: 129524 112398 400 719 0 128803 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 518096

[startup+1801.2 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4352
/proc/meminfo: memFree=1281800/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=515228 CPUtime=1800.55
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 113764 0 0 0 179719 336 0 0 25 0 1 0 34261169 527593472 111697 1992294400 4194304 7136930 140735951256720 18446744073709551615 4913913 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4303/statm: 128807 111697 400 719 0 128086 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (KiB) 515228

[startup+1801.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4352
/proc/meminfo: memFree=1281800/2059040 swapFree=4136184/4192956
[pid=4303] ppid=4301 vsize=9960 CPUtime=1800.65
/proc/4303/stat : 4303 (pbscip.linux.x8) R 4301 4303 3592 0 -1 4202496 113771 0 0 0 179723 342 0 0 25 0 1 0 34261169 10199040 2117 1992294400 4194304 7136930 140735951256720 18446744073709551615 6320548 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4303/statm: 2490 2117 407 719 0 1769 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 9960

Child status: 0
Real time (s): 1801.3
CPU time (s): 1800.66
CPU user time (s): 1797.24
CPU system time (s): 3.42248
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 518096

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

runsolver used 2.85656 second user time and 8.62969 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-15 09:23:16
IDJOB=2664118
IDBENCH=2634
IDSOLVER=1167
FILE ID=node011/2664118-1276586596
PBS_JOBID= 11173530
Free space on /tmp= 62360 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_15.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664118-1276586596/watcher-2664118-1276586596 -o /tmp/evaluation-result-2664118-1276586596/solver-2664118-1276586596 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664118-1276586596.opb -t 1800 -m 1800

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

MD5SUM BENCH= b4a219bc21641bf0d46eae2692004ebe
RANDOM SEED=194177375

node011.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.264
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.52
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.264
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	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1733820 kB
Buffers:         98456 kB
Cached:         149600 kB
SwapCached:       9796 kB
Active:          94676 kB
Inactive:       165696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1733820 kB
SwapTotal:     4192956 kB
SwapFree:      4136184 kB
Dirty:            5224 kB
Writeback:           0 kB
AnonPages:       11008 kB
Mapped:           9240 kB
Slab:            42964 kB
PageTables:       3976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181904 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= 62356 MiB
End job on node011 at 2010-06-15 09:53:19