Trace number 2664006

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.77 1801.33

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
MD5SUMde4cbecd7c9968d40b279ce145b888a9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark319
Best CPU time to get the best result obtained on this benchmark1798.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8883
Total number of constraints17459
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 constraints17459
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2691
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: 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-2664006-1276584528.opb>
1.19/1.29	c original problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 17459 constraints
1.19/1.29	c problem read
1.19/1.29	c presolving settings loaded
1.19/1.29	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
1.59/1.68	c presolving:
1.89/1.98	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
2.10/2.13	c (round 2) 0 del vars, 8568 del conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 170 upgd conss, 0 impls, 0 clqs
2.20/2.28	c (round 3) 0 del vars, 8568 del conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 323 upgd conss, 1412 impls, 0 clqs
7.39/7.49	c    (6.0s) probing: 117/8883 (1.3%) - 0 fixings, 0 aggregations, 4896 implications, 0 bound changes
7.39/7.49	c    (6.0s) probing aborted: 100/100 successive totally useless probings
7.49/7.50	c presolving (4 rounds):
7.49/7.50	c  0 deleted vars, 8568 deleted constraints, 0 tightened bounds, 0 added holes, 306 changed sides, 306 changed coefficients
7.49/7.50	c  17748 implications, 0 cliques
7.49/7.50	c presolved problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 8891 constraints
7.49/7.50	c     323 constraints of type <knapsack>
7.49/7.50	c    8568 constraints of type <linear>
7.49/7.50	c transformed objective value is always integral (scale: 1)
7.49/7.50	c Presolving Time: 5.81
7.49/7.50	c - non default parameters ----------------------------------------------------------------------
7.49/7.50	c # SCIP version 1.2.1.2
7.49/7.50	c 
7.49/7.50	c # frequency for displaying node information lines
7.49/7.50	c # [type: int, range: [-1,2147483647], default: 100]
7.49/7.50	c display/freq = 10000
7.49/7.50	c 
7.49/7.50	c # maximal time in seconds to run
7.49/7.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.49/7.50	c limits/time = 1798.72
7.49/7.50	c 
7.49/7.50	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.49/7.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.49/7.50	c limits/memory = 1620
7.49/7.50	c 
7.49/7.50	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
7.49/7.50	c # [type: int, range: [-1,2147483647], default: 1]
7.49/7.50	c lp/solvefreq = -1
7.49/7.50	c 
7.49/7.50	c # should presolving try to simplify inequalities
7.49/7.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.49/7.50	c constraints/linear/simplifyinequalities = TRUE
7.49/7.50	c 
7.49/7.50	c # should presolving try to simplify knapsacks
7.49/7.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.49/7.50	c constraints/knapsack/simplifyinequalities = TRUE
7.49/7.50	c 
7.49/7.50	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.49/7.50	c # [type: int, range: [-1,2147483647], default: -1]
7.49/7.50	c separating/rapidlearning/freq = 0
7.49/7.50	c 
7.49/7.50	c -----------------------------------------------------------------------------------------------
7.49/7.50	c start solving
7.49/7.51	c 
7.49/7.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.49/7.53	c   6.0s|     1 |     2 |     0 |     - |  61M|   0 |   - |8883 |8891 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
265.90/266.08	c   264s| 10000 |  2780 |     0 |   0.0 |  91M|6296 |   - |8883 |9931 |   0 |   0 |   0 |1569 |   0 | 1.000000e+00 |      --      |    Inf 
884.02/884.30	c   882s| 20000 |  8784 |     0 |   0.0 | 187M|6296 |   - |8883 |9311 |   0 |   0 |   0 |6567 |   0 | 1.000000e+00 |      --      |    Inf 
1376.37/1376.82	c  1373s| 30000 | 15100 |     0 |   0.0 | 266M|6296 |   - |8883 |9633 |   0 |   0 |   0 |  11k|   0 | 1.000000e+00 |      --      |    Inf 
1800.05/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.62	c 
1800.05/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.62	c Solving Time (sec) : 1796.52
1800.05/1800.62	c Solving Nodes      : 38146
1800.05/1800.62	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.62	c Dual Bound         : +1.00000000000000e+00
1800.05/1800.62	c Gap                : infinite
1800.05/1800.62	s UNKNOWN
1800.05/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.62	c Solving Time       :    1796.52
1800.05/1800.62	c Original Problem   :
1800.05/1800.62	c   Problem name     : HOME/instance-2664006-1276584528.opb
1800.05/1800.62	c   Variables        : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62	c   Constraints      : 17459 initial, 17459 maximal
1800.05/1800.62	c Presolved Problem  :
1800.05/1800.62	c   Problem name     : t_HOME/instance-2664006-1276584528.opb
1800.05/1800.62	c   Variables        : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62	c   Constraints      : 8891 initial, 9945 maximal
1800.05/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.62	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   probing          :       5.17          0          0          0          0          0          0          0          0
1800.05/1800.62	c   knapsack         :       0.02          0          0          0          0          0          0          0          0
1800.05/1800.62	c   linear           :       0.51          0          0          0          0          0       8568        306        306
1800.05/1800.62	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.62	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.62	c   knapsack         :        323          0     105738          0      33783       1356     293390          0          0          0
1800.05/1800.62	c   linear           :       8568          0     104382          0      33783       4612    7071070          0          0          0
1800.05/1800.62	c   logicor          :          0+         0      49927          0          0        405      21379          0          0          0
1800.05/1800.62	c   countsols        :          0          0          0          0      33783          0          0          0          0          0
1800.05/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.62	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.62	c   knapsack         :      87.25       0.00      84.99       0.00       2.26
1800.05/1800.62	c   linear           :    1343.70       0.00    1343.60       0.00       0.10
1800.05/1800.62	c   logicor          :      20.71       0.00      20.71       0.00       0.00
1800.05/1800.62	c   countsols        :       0.01       0.00       0.00       0.00       0.01
1800.05/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.62	c   vbounds          :       0.10          2          0          0
1800.05/1800.62	c   rootredcost      :       0.07          0          0          0
1800.05/1800.62	c   pseudoobj        :       0.30     105489          0          0
1800.05/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.62	c   propagation      :       1.24       6373       6366      46557       41.5        417       21.7          -
1800.05/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.62	c   applied globally :          -          -          -      15658       36.5          -          -          -
1800.05/1800.62	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.62	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.62	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.62	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.62	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.62	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.62	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.62	c Pricers            :       Time      Calls       Vars
1800.05/1800.62	c   problem variables:       0.00          0          0
1800.05/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   inference        :     117.93      33783          0          0          0          0      67566
1800.05/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.62	c   LP solutions     :       0.00          -          0
1800.05/1800.62	c   pseudo solutions :       0.00          -          0
1800.05/1800.62	c   oneopt           :       0.03          0          0
1800.05/1800.62	c   trivial          :       0.02          2          0
1800.05/1800.62	c   simplerounding   :       0.00          0          0
1800.05/1800.62	c   zirounding       :       0.00          0          0
1800.05/1800.62	c   rounding         :       0.00          0          0
1800.05/1800.62	c   shifting         :       0.00          0          0
1800.05/1800.62	c   intshifting      :       0.00          0          0
1800.05/1800.62	c   twoopt           :       0.00          0          0
1800.05/1800.62	c   fixandinfer      :       0.00          0          0
1800.05/1800.62	c   feaspump         :       0.00          0          0
1800.05/1800.62	c   coefdiving       :       0.00          0          0
1800.05/1800.62	c   pscostdiving     :       0.00          0          0
1800.05/1800.62	c   fracdiving       :       0.00          0          0
1800.05/1800.62	c   veclendiving     :       0.00          0          0
1800.05/1800.62	c   intdiving        :       0.00          0          0
1800.05/1800.62	c   actconsdiving    :       0.00          0          0
1800.05/1800.62	c   objpscostdiving  :       0.00          0          0
1800.05/1800.62	c   rootsoldiving    :       0.00          0          0
1800.05/1800.62	c   linesearchdiving :       0.00          0          0
1800.05/1800.62	c   guideddiving     :       0.00          0          0
1800.05/1800.62	c   octane           :       0.00          0          0
1800.05/1800.62	c   rens             :       0.00          0          0
1800.05/1800.62	c   rins             :       0.00          0          0
1800.05/1800.62	c   localbranching   :       0.00          0          0
1800.05/1800.62	c   mutation         :       0.00          0          0
1800.05/1800.62	c   crossover        :       0.00          0          0
1800.05/1800.62	c   dins             :       0.00          0          0
1800.05/1800.62	c   undercover       :       0.00          0          0
1800.05/1800.62	c   nlp              :       0.05          0          0
1800.05/1800.62	c   trysol           :       0.02          0          0
1800.05/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.62	c B&B Tree           :
1800.05/1800.62	c   number of runs   :          1
1800.05/1800.62	c   nodes            :      38146
1800.05/1800.62	c   nodes (total)    :      38146
1800.05/1800.62	c   nodes left       :      20137
1800.05/1800.62	c   max depth        :       6296
1800.05/1800.62	c   max depth (total):       6296
1800.05/1800.62	c   backtracks       :       2221 (5.8%)
1800.05/1800.62	c   delayed cutoffs  :       9284
1800.05/1800.62	c   repropagations   :       9338 (958389 domain reductions, 2010 cutoffs)
1800.05/1800.62	c   avg switch length:       3.75
1800.05/1800.62	c   switching time   :     218.30
1800.05/1800.62	c Solution           :
1800.05/1800.62	c   Solutions found  :          0 (0 improvements)
1800.05/1800.62	c   Primal Bound     :          -
1800.05/1800.62	c   Dual Bound       : +1.00000000000000e+00
1800.05/1800.62	c   Gap              :   infinite
1800.05/1800.62	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.62	c   Root Iterations  :          0
1800.73/1801.33	c Time complete: 1800.75.

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-2664006-1276584528/watcher-2664006-1276584528 -o /tmp/evaluation-result-2664006-1276584528/solver-2664006-1276584528 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664006-1276584528.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: 2.33 2.14 1.70 3/106 3444
/proc/meminfo: memFree=1827760/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=6584 CPUtime=0
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 954 0 0 0 0 0 0 0 18 0 1 0 34054132 6742016 877 1992294400 4194304 7136930 140736513862864 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3444/statm: 1646 886 254 719 0 925 0

[startup+0.0113021 s]
/proc/loadavg: 2.33 2.14 1.70 3/106 3444
/proc/meminfo: memFree=1827760/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=7848 CPUtime=0
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 1447 0 0 0 0 0 0 0 18 0 1 0 34054132 8036352 1370 1992294400 4194304 7136930 140736513862864 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3444/statm: 1962 1371 271 719 0 1241 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7848

[startup+0.101286 s]
/proc/loadavg: 2.33 2.14 1.70 3/106 3444
/proc/meminfo: memFree=1827760/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=10032 CPUtime=0.09
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 1982 0 0 0 9 0 0 0 20 0 1 0 34054132 10272768 1905 1992294400 4194304 7136930 140736513862864 18446744073709551615 6285950 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3444/statm: 2508 1913 271 719 0 1787 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10032

[startup+0.301303 s]
/proc/loadavg: 2.33 2.14 1.70 3/106 3444
/proc/meminfo: memFree=1827760/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=14576 CPUtime=0.29
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 3113 0 0 0 28 1 0 0 20 0 1 0 34054132 14925824 3036 1992294400 4194304 7136930 140736513862864 18446744073709551615 5648995 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3444/statm: 3644 3036 271 719 0 2923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14576

[startup+0.701342 s]
/proc/loadavg: 2.33 2.14 1.70 3/106 3444
/proc/meminfo: memFree=1827760/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=21632 CPUtime=0.7
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 4875 0 0 0 68 2 0 0 21 0 1 0 34054132 22151168 4798 1992294400 4194304 7136930 140736513862864 18446744073709551615 6177548 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3444/statm: 5408 4798 271 719 0 4687 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 21632

[startup+1.50142 s]
/proc/loadavg: 2.30 2.13 1.70 2/107 3445
/proc/meminfo: memFree=1805060/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=114004 CPUtime=1.49
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 27511 0 0 0 138 11 0 0 23 0 1 0 34054132 116740096 27081 1992294400 4194304 7136930 140736513862864 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 28501 27091 292 719 0 27780 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114004

[startup+3.10057 s]
/proc/loadavg: 2.30 2.13 1.70 2/107 3445
/proc/meminfo: memFree=1682920/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=156500 CPUtime=3.09
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 42557 0 0 0 286 23 0 0 25 0 1 0 34054132 160256000 36804 1992294400 4194304 7136930 140736513862864 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 39125 36804 366 719 0 38404 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 156500

[startup+6.30087 s]
/proc/loadavg: 2.30 2.13 1.70 2/107 3445
/proc/meminfo: memFree=1681184/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=156500 CPUtime=6.29
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 42568 0 0 0 606 23 0 0 25 0 1 0 34054132 160256000 36815 1992294400 4194304 7136930 140736513862864 18446744073709551615 5951422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 39125 36815 366 719 0 38404 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 156500

[startup+12.7005 s]
/proc/loadavg: 2.10 2.10 1.70 2/107 3447
/proc/meminfo: memFree=1679324/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=158332 CPUtime=12.69
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 43129 0 0 0 1244 25 0 0 25 0 1 0 34054132 162131968 37306 1992294400 4194304 7136930 140736513862864 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 39583 37306 386 719 0 38862 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 158332

[startup+25.5017 s]
/proc/loadavg: 1.93 2.06 1.69 2/107 3447
/proc/meminfo: memFree=1677216/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=160580 CPUtime=25.48
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 43672 0 0 0 2514 34 0 0 25 0 1 0 34054132 164433920 37849 1992294400 4194304 7136930 140736513862864 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 40145 37849 386 719 0 39424 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 160580

[startup+51.1011 s]
/proc/loadavg: 1.61 1.97 1.67 2/107 3447
/proc/meminfo: memFree=1673868/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=163956 CPUtime=51.07
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 44519 0 0 0 5062 45 0 0 25 0 1 0 34054132 167890944 38696 1992294400 4194304 7136930 140736513862864 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 40989 38696 394 719 0 40268 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 163956

[startup+102.309 s]
/proc/loadavg: 1.24 1.81 1.63 2/107 3449
/proc/meminfo: memFree=1662708/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=175764 CPUtime=102.26
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 47254 0 0 0 10176 50 0 0 25 0 1 0 34054132 179982336 41431 1992294400 4194304 7136930 140736513862864 18446744073709551615 4948109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 43941 41431 394 719 0 43220 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 175764

[startup+162.301 s]
/proc/loadavg: 1.09 1.66 1.59 2/107 3451
/proc/meminfo: memFree=1655516/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=184124 CPUtime=162.24
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 49136 0 0 0 16168 56 0 0 25 0 1 0 34054132 188542976 43313 1992294400 4194304 7136930 140736513862864 18446744073709551615 4947413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 46031 43313 394 719 0 45310 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 184124

[startup+222.301 s]
/proc/loadavg: 1.03 1.54 1.55 2/107 3451
/proc/meminfo: memFree=1644232/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=196148 CPUtime=222.21
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 51869 0 0 0 22162 59 0 0 25 0 1 0 34054132 200855552 46046 1992294400 4194304 7136930 140736513862864 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 49037 46046 394 719 0 48316 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 196148

[startup+282.302 s]
/proc/loadavg: 1.01 1.44 1.51 2/107 3453
/proc/meminfo: memFree=1630220/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=211924 CPUtime=282.2
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 55440 0 0 0 28153 67 0 0 25 0 1 0 34054132 217010176 49617 1992294400 4194304 7136930 140736513862864 18446744073709551615 4209178 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 52981 49617 394 719 0 52260 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 211924

[startup+342.301 s]
/proc/loadavg: 1.00 1.35 1.47 2/107 3455
/proc/meminfo: memFree=1623648/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=219252 CPUtime=342.18
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 56999 0 0 0 34146 72 0 0 25 0 1 0 34054132 224514048 51176 1992294400 4194304 7136930 140736513862864 18446744073709551615 4947661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 54813 51176 394 719 0 54092 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 219252

[startup+402.301 s]
/proc/loadavg: 1.00 1.29 1.44 2/107 3457
/proc/meminfo: memFree=1617448/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=226244 CPUtime=402.17
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 58548 0 0 0 40137 80 0 0 25 0 1 0 34054132 231673856 52725 1992294400 4194304 7136930 140736513862864 18446744073709551615 4978086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 56561 52725 394 719 0 55840 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 226244

[startup+462.302 s]
/proc/loadavg: 1.00 1.23 1.41 2/107 3459
/proc/meminfo: memFree=1605544/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=239384 CPUtime=462.15
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 61467 0 0 0 46128 87 0 0 25 0 1 0 34054132 245129216 55644 1992294400 4194304 7136930 140736513862864 18446744073709551615 4947079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 59846 55644 394 719 0 59125 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 239384

[startup+522.301 s]
/proc/loadavg: 1.07 1.20 1.39 2/107 3459
/proc/meminfo: memFree=1592772/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=254856 CPUtime=522.13
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 64760 0 0 0 52120 93 0 0 25 0 1 0 34054132 260972544 58937 1992294400 4194304 7136930 140736513862864 18446744073709551615 4978095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 63714 58937 394 719 0 62993 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 254856

[startup+582.302 s]
/proc/loadavg: 1.02 1.16 1.36 2/107 3461
/proc/meminfo: memFree=1579876/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=269084 CPUtime=582.11
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 67888 0 0 0 58112 99 0 0 25 0 1 0 34054132 275542016 62065 1992294400 4194304 7136930 140736513862864 18446744073709551615 4979583 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 67271 62065 394 719 0 66550 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 269084

[startup+642.301 s]
/proc/loadavg: 1.06 1.15 1.34 2/107 3463
/proc/meminfo: memFree=1566608/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=284096 CPUtime=642.1
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 71160 0 0 0 64105 105 0 0 25 0 1 0 34054132 290914304 65337 1992294400 4194304 7136930 140736513862864 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 71024 65337 394 719 0 70303 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 284096

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.01 1.07 1.24 2/107 3482
/proc/meminfo: memFree=1500020/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=362504 CPUtime=1001.98
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 87641 0 0 0 100055 143 0 0 25 0 1 0 34054132 371204096 81818 1992294400 4194304 7136930 140736513862864 18446744073709551615 4979554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 90626 81818 394 719 0 89905 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 362504

[startup+1062.3 s]
/proc/loadavg: 1.00 1.06 1.22 2/107 3484
/proc/meminfo: memFree=1490844/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=373064 CPUtime=1061.96
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 89952 0 0 0 106048 148 0 0 25 0 1 0 34054132 382017536 84129 1992294400 4194304 7136930 140736513862864 18446744073709551615 4979757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 93266 84129 394 719 0 92545 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 373064

[startup+1122.3 s]
/proc/loadavg: 1.00 1.04 1.20 2/107 3484
/proc/meminfo: memFree=1480676/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=386360 CPUtime=1121.95
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 92463 0 0 0 112040 155 0 0 25 0 1 0 34054132 395632640 86640 1992294400 4194304 7136930 140736513862864 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 96590 86640 394 719 0 95869 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 386360

[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.19 2/107 3486
/proc/meminfo: memFree=1472864/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=395384 CPUtime=1181.92
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 94417 0 0 0 118032 160 0 0 25 0 1 0 34054132 404873216 88594 1992294400 4194304 7136930 140736513862864 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 98846 88594 394 719 0 98125 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 395384

[startup+1242.3 s]
/proc/loadavg: 1.00 1.03 1.17 2/107 3488
/proc/meminfo: memFree=1462324/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=407272 CPUtime=1241.9
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 97029 0 0 0 124024 166 0 0 25 0 1 0 34054132 417046528 91206 1992294400 4194304 7136930 140736513862864 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 101818 91206 394 719 0 101097 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 407272

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.16 2/107 3490
/proc/meminfo: memFree=1454016/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=417972 CPUtime=1301.9
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 99088 0 0 0 130017 173 0 0 25 0 1 0 34054132 428003328 93265 1992294400 4194304 7136930 140736513862864 18446744073709551615 4978095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 104493 93265 394 719 0 103772 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 417972

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/107 3492
/proc/meminfo: memFree=1443724/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=431492 CPUtime=1361.86
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 101632 0 0 0 136007 179 0 0 25 0 1 0 34054132 441847808 95809 1992294400 4194304 7136930 140736513862864 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 107873 95809 394 719 0 107152 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 431492

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.14 2/107 3492
/proc/meminfo: memFree=1431076/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=446680 CPUtime=1421.86
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 104798 0 0 0 142000 186 0 0 25 0 1 0 34054132 457400320 98975 1992294400 4194304 7136930 140736513862864 18446744073709551615 4981628 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 111670 98975 394 719 0 110949 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 446680

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 3494
/proc/meminfo: memFree=1418056/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=461652 CPUtime=1481.83
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 108073 0 0 0 147990 193 0 0 25 0 1 0 34054132 472731648 102250 1992294400 4194304 7136930 140736513862864 18446744073709551615 4923930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 115413 102250 394 719 0 114692 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 461652

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 3499
/proc/meminfo: memFree=1401936/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=479292 CPUtime=1541.81
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 111901 0 0 0 153982 199 0 0 25 0 1 0 34054132 490795008 106078 1992294400 4194304 7136930 140736513862864 18446744073709551615 4947385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 119823 106078 394 719 0 119102 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 479292

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 3501
/proc/meminfo: memFree=1386436/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=497000 CPUtime=1601.79
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 115798 0 0 0 159972 207 0 0 25 0 1 0 34054132 508928000 109975 1992294400 4194304 7136930 140736513862864 18446744073709551615 4979111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 124250 109975 394 719 0 123529 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 497000

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 3503
/proc/meminfo: memFree=1374160/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=511676 CPUtime=1661.77
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 118862 0 0 0 165964 213 0 0 25 0 1 0 34054132 523956224 113039 1992294400 4194304 7136930 140736513862864 18446744073709551615 4979753 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 127919 113039 394 719 0 127198 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 511676

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 3503
/proc/meminfo: memFree=1360520/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=527144 CPUtime=1721.75
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 122313 0 0 0 171954 221 0 0 25 0 1 0 34054132 539795456 116490 1992294400 4194304 7136930 140736513862864 18446744073709551615 4978166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 131786 116490 394 719 0 131065 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 527144

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 3505
/proc/meminfo: memFree=1346756/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=543136 CPUtime=1781.73
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 125719 0 0 0 177946 227 0 0 25 0 1 0 34054132 556171264 119896 1992294400 4194304 7136930 140736513862864 18446744073709551615 4979081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 135784 119896 394 719 0 135063 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 543136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 3505
/proc/meminfo: memFree=1342912/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=547612 CPUtime=1800.05
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 126667 0 0 0 179775 230 0 0 25 0 1 0 34054132 560754688 120844 1992294400 4194304 7136930 140736513862864 18446744073709551615 4979714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3444/statm: 136903 120844 394 719 0 136182 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 547612

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: 1.00 1.00 1.08 2/107 3505
/proc/meminfo: memFree=1342912/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=547612 CPUtime=1800.43
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 126673 0 0 0 179813 230 0 0 25 0 1 0 34054132 560754688 120850 1992294400 4194304 7136930 140736513862864 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3444/statm: 136903 120850 400 719 0 136182 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 547612

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 3505
/proc/meminfo: memFree=1342912/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=542484 CPUtime=1800.63
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 126673 0 0 0 179833 230 0 0 25 0 1 0 34054132 555503616 119569 1992294400 4194304 7136930 140736513862864 18446744073709551615 5955603 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3444/statm: 135621 119569 400 719 0 134900 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 542484

[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 3505
/proc/meminfo: memFree=1342912/2059040 swapFree=4135900/4192956
[pid=3444] ppid=3442 vsize=217188 CPUtime=1800.73
/proc/3444/stat : 3444 (pbscip.linux.x8) R 3442 3444 2782 0 -1 4202496 126673 0 0 0 179840 233 0 0 25 0 1 0 34054132 222400512 50439 1992294400 4194304 7136930 140736513862864 18446744073709551615 6166290 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3444/statm: 54297 50439 400 719 0 53576 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 217188

Child status: 0
Real time (s): 1801.33
CPU time (s): 1800.77
CPU user time (s): 1798.41
CPU system time (s): 2.35864
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 547612

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

runsolver used 2.89056 second user time and 8.59169 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-15 08:48:48
IDJOB=2664006
IDBENCH=2630
IDSOLVER=1167
FILE ID=node015/2664006-1276584528
PBS_JOBID= 11173527
Free space on /tmp= 62580 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_18.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-2664006-1276584528/watcher-2664006-1276584528 -o /tmp/evaluation-result-2664006-1276584528/solver-2664006-1276584528 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664006-1276584528.opb -t 1800 -m 1800

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

MD5SUM BENCH= de4cbecd7c9968d40b279ce145b888a9
RANDOM SEED=44014462

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1828288 kB
Buffers:         33144 kB
Cached:         118788 kB
SwapCached:      10696 kB
Active:          81836 kB
Inactive:        83644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1828288 kB
SwapTotal:     4192956 kB
SwapFree:      4135900 kB
Dirty:            8152 kB
Writeback:           0 kB
AnonPages:       11888 kB
Mapped:           9252 kB
Slab:            43392 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181820 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= 62576 MiB
End job on node015 at 2010-06-15 09:18:51