Trace number 3733916

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1799.29 1799.59

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 benchmark176
Best CPU time to get the best result obtained on this benchmark1783.01
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.19/0.20	c SCIP version 1.1.0.7
0.19/0.20	c LP-Solver SoPlex 1.4.1
0.19/0.20	c user parameter file <scip.set> not found - using default parameters
0.19/0.20	c read problem <HOME/instance-3733916-1338702041.opb>
0.19/0.20	c original problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 8414 constraints
0.19/0.27	c start presolving problem
0.19/0.27	c presolving:
0.29/0.36	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
1.10/1.11	c    (0.9s) probing: 116/4320 (2.7%) - 0 fixings, 0 aggregations, 1210 implications, 0 bound changes
1.10/1.11	c    (0.9s) probing aborted: 100/100 successive totally useless probings
1.10/1.11	c presolving (2 rounds):
1.10/1.11	c  0 deleted vars, 4200 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.11	c  8610 implications, 0 cliques
1.10/1.11	c presolved problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 4214 constraints
1.10/1.11	c      14 constraints of type <knapsack>
1.10/1.11	c    4200 constraints of type <linear>
1.10/1.11	c transformed objective value is always integral (scale: 1)
1.10/1.11	c Presolving Time: 0.83
1.10/1.11	c OPT-LIN
1.10/1.11	c -----------------------------------------------------------------------------------------------
1.10/1.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11	c limits/memory = c 13950
1.10/1.11	c # maximal time in seconds to run
1.10/1.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11	c limits/time = c 1791
1.10/1.11	c # frequency for displaying node information lines
1.10/1.11	c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.11	c display/freq = c 10000
1.10/1.11	c -----------------------------------------------------------------------------------------------
1.10/1.11	c start solving problem
1.10/1.11	c 
1.49/1.59	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.49/1.59	c   1.3s|     1 |     0 |  4480 |  35M|   0 |2485 |4320 |4214 |4214 |4320 |4214 |   0 |   0 |   0 | 1.400000e+01 |      --      |    Inf 
4.69/4.76	c   4.5s|     1 |     0 | 10615 |  36M|   0 |2492 |4320 |4214 |4214 |4320 |4356 | 142 |   0 |   0 | 1.400000e+01 |      --      |    Inf 
5.09/5.17	c   4.9s|     1 |     0 | 10787 |  37M|   0 |2503 |4320 |4214 |4214 |4320 |4479 | 265 |   0 |   0 | 1.400000e+01 |      --      |    Inf 
5.79/5.84	c   5.6s|     1 |     0 | 11294 |  37M|   0 |2517 |4320 |4214 |4214 |4320 |4601 | 387 |   0 |   0 | 1.400148e+01 |      --      |    Inf 
6.68/6.71	c   6.4s|     1 |     0 | 11779 |  38M|   0 |2520 |4320 |4214 |4214 |4320 |4737 | 523 |   0 |   0 | 1.416667e+01 |      --      |    Inf 
7.79/7.82	c   7.5s|     1 |     0 | 12414 |  38M|   0 |2518 |4320 |4214 |4214 |4320 |4882 | 668 |   0 |   0 | 1.416667e+01 |      --      |    Inf 
9.09/9.18	c   8.9s|     1 |     0 | 13169 |  39M|   0 |2508 |4320 |4214 |4214 |4320 |5007 | 793 |   0 |   0 | 1.428571e+01 |      --      |    Inf 
10.59/10.67	c  10.3s|     1 |     0 | 14135 |  39M|   0 |2509 |4320 |4214 |4214 |4320 |5150 | 936 |   0 |   0 | 1.428571e+01 |      --      |    Inf 
12.10/12.18	c  11.9s|     1 |     0 | 15110 |  40M|   0 |2499 |4320 |4214 |4214 |4320 |5292 |1078 |   0 |   0 | 1.428571e+01 |      --      |    Inf 
13.59/13.64	c  13.3s|     1 |     0 | 16220 |  41M|   0 |2506 |4320 |4214 |4214 |4320 |5440 |1226 |   0 |   0 | 1.430108e+01 |      --      |    Inf 
15.49/15.58	c  15.2s|     1 |     0 | 17607 |  41M|   0 |2511 |4320 |4214 |4214 |4320 |5590 |1376 |   0 |   0 | 1.430233e+01 |      --      |    Inf 
16.59/16.68	c  16.3s|     1 |     0 | 18785 |  41M|   0 |2511 |4320 |4214 |4214 |4320 |5623 |1409 |   0 |   0 | 1.430556e+01 |      --      |    Inf 
17.79/17.82	c  17.5s|     1 |     0 | 20011 |  41M|   0 |2494 |4320 |4214 |4214 |4320 |5646 |1432 |   0 |   0 | 1.430556e+01 |      --      |    Inf 
18.99/19.07	c  18.7s|     1 |     0 | 21418 |  41M|   0 |2478 |4320 |4214 |4214 |4320 |5680 |1466 |   0 |   0 | 1.430556e+01 |      --      |    Inf 
20.29/20.36	c  20.0s|     1 |     0 | 22823 |  41M|   0 |2476 |4320 |4214 |4214 |4320 |5696 |1482 |   0 |   0 | 1.430556e+01 |      --      |    Inf 
21.49/21.56	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
21.49/21.56	c  21.2s|     1 |     0 | 24031 |  41M|   0 |2453 |4320 |4214 |4214 |4320 |5148 |1518 |   0 |   0 | 1.430556e+01 |      --      |    Inf 
22.39/22.47	c  22.1s|     1 |     0 | 25136 |  41M|   0 |2460 |4320 |4214 |4214 |4320 |5180 |1550 |   0 |   0 | 1.430556e+01 |      --      |    Inf 
36.98/37.05	c  36.6s|     1 |     2 | 25136 |  41M|   0 |2460 |4320 |4214 |4214 |4320 |5180 |1550 |   0 |  18 | 1.430556e+01 |      --      |    Inf 
1264.47/1264.74	c  1259s| 10000 |  4958 |  2653k|  77M| 359 |1683 |4320 |6926 |5230 |4320 |4465 |1550 |8726 |6769 | 1.600000e+01 |      --      |    Inf 
1799.09/1799.49	c 
1799.09/1799.49	c SCIP Status        : solving was interrupted [time limit reached]
1799.09/1799.49	c Solving Time (sec) : 1791.00
1799.09/1799.49	c Solving Nodes      : 14192
1799.09/1799.49	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1799.09/1799.49	c Dual Bound         : +1.60000000000000e+01
1799.09/1799.49	c Gap                : infinite
1799.09/1799.49	c NODE         14192
1799.09/1799.49	c DUAL BOUND   16
1799.09/1799.49	c PRIMAL BOUND 1e+20
1799.09/1799.49	c GAP          1e+20
1799.09/1799.49	s UNKNOWN
1799.09/1799.49	c SCIP Status        : solving was interrupted [time limit reached]
1799.09/1799.49	c Solving Time       :    1791.00
1799.09/1799.49	c Original Problem   :
1799.09/1799.49	c   Problem name     : HOME/instance-3733916-1338702041.opb
1799.09/1799.49	c   Variables        : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.09/1799.49	c   Constraints      : 8414 initial, 8414 maximal
1799.09/1799.49	c Presolved Problem  :
1799.09/1799.49	c   Problem name     : t_HOME/instance-3733916-1338702041.opb
1799.09/1799.49	c   Variables        : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.09/1799.49	c   Constraints      : 4214 initial, 8085 maximal
1799.09/1799.49	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1799.09/1799.49	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1799.09/1799.49	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1799.09/1799.49	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1799.09/1799.49	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1799.09/1799.49	c   implics          :       0.00          0          0          0          0          0          0          0          0
1799.09/1799.49	c   probing          :       0.72          0          0          0          0          0          0          0          0
1799.09/1799.49	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1799.09/1799.49	c   linear           :       0.08          0          0          0          0          0       4200          0          0
1799.09/1799.49	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1799.09/1799.49	c   root node        :          -          0          -          -          0          -          -          -          -
1799.09/1799.49	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1799.09/1799.49	c   integral         :          0          0          0      12316          0         28       6254          0          0      21998
1799.09/1799.49	c   knapsack         :         14         16      71111          0          1        141       8685        151          0          0
1799.09/1799.49	c   linear           :       4200         16      70970          0          0        761    1073574          1          0          0
1799.09/1799.49	c   logicor          :          0+         0      26284          0          0         59      20016          0          0          0
1799.09/1799.49	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1799.09/1799.49	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1799.09/1799.49	c   integral         :     599.44       0.00       0.00     599.44       0.00
1799.09/1799.49	c   knapsack         :       1.68       0.00       1.68       0.00       0.00
1799.09/1799.49	c   linear           :      62.74       0.00      62.74       0.00       0.00
1799.09/1799.49	c   logicor          :       0.81       0.00       0.81       0.00       0.00
1799.09/1799.49	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1799.09/1799.49	c Propagators        :       Time      Calls    Cutoffs    DomReds
1799.09/1799.49	c   rootredcost      :       0.03          0          0          0
1799.09/1799.49	c   pseudoobj        :       0.06      70876          0          0
1799.09/1799.49	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1799.09/1799.49	c   propagation      :       0.09        961        961       7010       32.9         59       19.0          -
1799.09/1799.49	c   infeasible LP    :       3.34       5078       5078      10208       18.7        366       15.5          0
1799.09/1799.49	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1799.09/1799.49	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1799.09/1799.49	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1799.09/1799.49	c   applied globally :          -          -          -      11954       19.6          -          -          -
1799.09/1799.49	c   applied locally  :          -          -          -          0        0.0          -          -          -
1799.09/1799.49	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1799.09/1799.49	c   cut pool         :       0.01         15          -          -      15135          -    (maximal pool size: 6634)
1799.09/1799.49	c   redcost          :       0.76      12292          0         20          0          0
1799.09/1799.49	c   impliedbounds    :       0.00         16          0          0         18          0
1799.09/1799.49	c   intobj           :       0.00          0          0          0          0          0
1799.09/1799.49	c   gomory           :       1.16         16          0          0        100          0
1799.09/1799.49	c   strongcg         :       1.14         16          0          0         43          0
1799.09/1799.49	c   cmir             :       2.23         10          0          0       5000          0
1799.09/1799.49	c   flowcover        :       2.54         10          0          0       2000          0
1799.09/1799.49	c   clique           :       0.00          1          0          0          0          0
1799.09/1799.49	c   zerohalf         :       0.00          0          0          0          0          0
1799.09/1799.49	c   mcf              :       0.00          1          0          0          0          0
1799.09/1799.49	c Pricers            :       Time      Calls       Vars
1799.09/1799.49	c   problem variables:       0.00          0          0
1799.09/1799.49	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1799.09/1799.49	c   relpscost        :     599.41      12316         28       6254          0          0      21998
1799.09/1799.49	c   pscost           :       0.00          0          0          0          0          0          0
1799.09/1799.49	c   inference        :       0.00          1          0          0          0          0          2
1799.09/1799.49	c   mostinf          :       0.00          0          0          0          0          0          0
1799.09/1799.49	c   leastinf         :       0.00          0          0          0          0          0          0
1799.09/1799.49	c   fullstrong       :       0.00          0          0          0          0          0          0
1799.09/1799.49	c   allfullstrong    :       0.00          0          0          0          0          0          0
1799.09/1799.49	c   random           :       0.00          0          0          0          0          0          0
1799.09/1799.49	c Primal Heuristics  :       Time      Calls      Found
1799.09/1799.49	c   LP solutions     :       0.00          -          0
1799.09/1799.49	c   pseudo solutions :       0.00          -          0
1799.09/1799.49	c   oneopt           :       0.02          0          0
1799.09/1799.49	c   crossover        :       0.00          0          0
1799.09/1799.49	c   guideddiving     :       0.00          0          0
1799.09/1799.49	c   intshifting      :       0.00          0          0
1799.09/1799.49	c   coefdiving       :     159.01          3          0
1799.09/1799.49	c   fracdiving       :      66.35          9          0
1799.09/1799.49	c   linesearchdiving :      25.90         26          0
1799.09/1799.49	c   pscostdiving     :      46.83         27          0
1799.09/1799.49	c   veclendiving     :      20.18         27          0
1799.09/1799.49	c   feaspump         :      16.77         14          0
1799.09/1799.49	c   rootsoldiving    :       9.99         14          0
1799.09/1799.49	c   objpscostdiving  :      30.33         14          0
1799.09/1799.49	c   simplerounding   :       0.02          0          0
1799.09/1799.49	c   rounding         :       1.40       1533          0
1799.09/1799.49	c   shifting         :       9.24        442          0
1799.09/1799.49	c   fixandinfer      :       0.00          0          0
1799.09/1799.49	c   intdiving        :       0.00          0          0
1799.09/1799.49	c   actconsdiving    :       0.00          0          0
1799.09/1799.49	c   octane           :       0.00          0          0
1799.09/1799.49	c   rens             :       0.01          0          0
1799.09/1799.49	c   rins             :       0.00          0          0
1799.09/1799.49	c   localbranching   :       0.00          0          0
1799.09/1799.49	c   mutation         :       0.00          0          0
1799.09/1799.49	c   dins             :       0.00          0          0
1799.09/1799.49	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1799.09/1799.49	c   primal LP        :       0.04          0          0       0.00       0.00
1799.09/1799.49	c   dual LP          :     714.08      14723    2786831     189.28    3902.69
1799.09/1799.49	c   barrier LP       :       0.00          0          0       0.00          -
1799.09/1799.49	c   diving/probing LP:     354.34       8253    1233403     149.45    3480.85
1799.09/1799.49	c   strong branching :     594.68       9092    1515473     166.68    2548.38
1799.09/1799.49	c     (at root node) :          -         18      18000    1000.00          -
1799.09/1799.49	c   conflict analysis:       0.00          0          0       0.00          -
1799.09/1799.49	c B&B Tree           :
1799.09/1799.49	c   number of runs   :          1
1799.09/1799.49	c   nodes            :      14192
1799.09/1799.49	c   nodes (total)    :      14192
1799.09/1799.49	c   nodes left       :       7471
1799.09/1799.49	c   max depth        :        359
1799.09/1799.49	c   max depth (total):        359
1799.09/1799.49	c   backtracks       :        680 (4.8%)
1799.09/1799.49	c   delayed cutoffs  :        338
1799.09/1799.49	c   repropagations   :      29788 (223246 domain reductions, 93 cutoffs)
1799.09/1799.49	c   avg switch length:       6.24
1799.09/1799.49	c   switching time   :       9.82
1799.09/1799.49	c Solution           :
1799.09/1799.49	c   Solutions found  :          0 (0 improvements)
1799.09/1799.49	c   Primal Bound     :          -
1799.09/1799.49	c   Dual Bound       : +1.60000000000000e+01
1799.09/1799.49	c   Gap              :   infinite
1799.09/1799.49	c   Root Dual Bound  : +1.43055555555556e+01
1799.19/1799.59	c Time complete: 1799.28.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733916-1338702041/watcher-3733916-1338702041 -o /tmp/evaluation-result-3733916-1338702041/solver-3733916-1338702041 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3733916-1338702041.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2979
/proc/meminfo: memFree=26907952/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=8556 CPUtime=0 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 1500 0 0 0 0 0 0 0 20 0 1 0 336328970 8761344 1452 33554432000 4194304 7823515 140734505137456 140734505003560 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 2139 1452 354 887 0 1249 0

[startup+0.0577471 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2979
/proc/meminfo: memFree=26907952/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=12396 CPUtime=0.05 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 2448 0 0 0 5 0 0 0 20 0 1 0 336328970 12693504 2400 33554432000 4194304 7823515 140734505137456 140734505003560 6288811 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 3099 2400 354 887 0 2209 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12396

[startup+0.100292 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2979
/proc/meminfo: memFree=26907952/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=14648 CPUtime=0.09 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 3029 0 0 0 9 0 0 0 20 0 1 0 336328970 14999552 2981 33554432000 4194304 7823515 140734505137456 140734505003560 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 3662 2981 354 887 0 2772 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14648

[startup+0.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2979
/proc/meminfo: memFree=26907952/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=87148 CPUtime=0.29 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 20442 0 0 0 26 3 0 0 20 0 1 0 336328970 89239552 20040 33554432000 4194304 7823515 140734505137456 140734505003560 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 21787 20040 412 887 0 20897 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87148

[startup+0.700326 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2979
/proc/meminfo: memFree=26907952/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=88560 CPUtime=0.69 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 20885 0 0 0 65 4 0 0 20 0 1 0 336328970 90685440 20483 33554432000 4194304 7823515 140734505137456 140734505003560 5062443 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 22140 20483 442 887 0 21250 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88560

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2980
/proc/meminfo: memFree=26827856/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=111356 CPUtime=1.49 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 26484 0 0 0 144 5 0 0 20 0 1 0 336328970 114028544 25263 33554432000 4194304 7823515 140734505137456 140734505134136 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 27839 25263 515 887 0 26949 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111356

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2980
/proc/meminfo: memFree=26806760/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=112588 CPUtime=3.09 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 27155 0 0 0 303 6 0 0 20 0 1 0 336328970 115290112 25824 33554432000 4194304 7823515 140734505137456 140734505132136 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 28147 25824 526 887 0 27257 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112588

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2980
/proc/meminfo: memFree=26797460/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=133960 CPUtime=6.29 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 31768 0 0 0 621 8 0 0 20 0 1 0 336328970 137175040 30323 33554432000 4194304 7823515 140734505137456 140734505133208 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 33490 30323 550 887 0 32600 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 133960

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 2980
/proc/meminfo: memFree=26771360/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=149988 CPUtime=12.69 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 39267 0 0 0 1257 12 0 0 20 0 1 0 336328970 153587712 34584 33554432000 4194304 7823515 140734505137456 140734505132792 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 37497 34584 551 887 0 36607 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 149988

[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2980
/proc/meminfo: memFree=26774656/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=149296 CPUtime=25.49 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 53757 0 0 0 2529 20 0 0 20 0 1 0 336328970 152879104 33925 33554432000 4194304 7823515 140734505137456 140734505132152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 37324 33925 556 887 0 36434 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 149296

[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2980
/proc/meminfo: memFree=26774840/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=145212 CPUtime=51.08 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 91978 0 0 0 5074 34 0 0 20 0 1 0 336328970 148697088 33033 33554432000 4194304 7823515 140734505137456 140734505132152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 36303 33033 556 887 0 35413 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 145212

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2981
/proc/meminfo: memFree=26774652/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=149168 CPUtime=102.28 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 165740 0 0 0 10168 60 0 0 20 0 1 0 336328970 152748032 33898 33554432000 4194304 7823515 140734505137456 140734505132504 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 37292 33898 557 887 0 36402 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 149168

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2981
/proc/meminfo: memFree=26773044/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=149492 CPUtime=162.26 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 177498 0 0 0 16141 85 0 0 20 0 1 0 336328970 153079808 34242 33554432000 4194304 7823515 140734505137456 140734505132248 6234848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 37373 34242 564 887 0 36483 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 149492

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2981
/proc/meminfo: memFree=26772592/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=149492 CPUtime=222.26 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 177500 0 0 0 22117 109 0 0 20 0 1 0 336328970 153079808 34264 33554432000 4194304 7823515 140734505137456 140734505133272 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 37373 34264 564 887 0 36483 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 149492

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2981
/proc/meminfo: memFree=26760904/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=157124 CPUtime=282.23 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 178842 0 0 0 28090 133 0 0 20 0 1 0 336328970 160894976 37238 33554432000 4194304 7823515 140734505137456 140734505132264 6212430 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 39281 37238 565 887 0 38391 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 157124

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2981
/proc/meminfo: memFree=26754304/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=160192 CPUtime=342.22 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 179844 0 0 0 34059 163 0 0 20 0 1 0 336328970 164036608 38872 33554432000 4194304 7823515 140734505137456 140734505131480 6234850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 40048 38872 565 887 0 39158 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 160192

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 3020
/proc/meminfo: memFree=27123392/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=161768 CPUtime=402.21 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 187797 0 0 0 40037 184 0 0 20 0 1 0 336328970 165650432 39263 33554432000 4194304 7823515 140734505137456 140734505131784 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 40442 39263 565 887 0 39552 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 161768

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 3020
/proc/meminfo: memFree=27122332/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=161588 CPUtime=462.2 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 191780 0 0 0 46015 205 0 0 20 0 1 0 336328970 165466112 39227 33554432000 4194304 7823515 140734505137456 140734505132152 6234848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 40397 39227 565 887 0 39507 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 161588

[startup+522.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 3020
/proc/meminfo: memFree=27117188/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=155380 CPUtime=522.19 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 202496 0 0 0 51991 228 0 0 20 0 1 0 336328970 159109120 37183 33554432000 4194304 7823515 140734505137456 140734505132152 6234848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 38845 37183 565 887 0 37955 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 155380

[startup+582.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 3023
/proc/meminfo: memFree=27107372/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=166180 CPUtime=582.17 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 208039 0 0 0 57966 251 0 0 20 0 1 0 336328970 170168320 40347 33554432000 4194304 7823515 140734505137456 140734505131784 6234848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 41545 40347 565 887 0 40655 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 166180

[startup+642.3 s]

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

/proc/meminfo: memFree=27050408/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=189092 CPUtime=1062.1 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 243387 0 0 0 105744 466 0 0 20 0 1 0 336328970 193630208 45922 33554432000 4194304 7823515 140734505137456 140734505132504 6234850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 47273 45922 565 887 0 46383 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 189092

[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 3026
/proc/meminfo: memFree=27038180/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=194072 CPUtime=1122.1 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 244729 0 0 0 111718 492 0 0 20 0 1 0 336328970 198729728 47259 33554432000 4194304 7823515 140734505137456 140734505131784 6234850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 48518 47259 565 887 0 47628 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 194072

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3029
/proc/meminfo: memFree=27029288/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=195904 CPUtime=1182.09 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 255243 0 0 0 117695 514 0 0 20 0 1 0 336328970 200605696 47718 33554432000 4194304 7823515 140734505137456 140734505133400 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 48976 47718 565 887 0 48086 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 195904

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3052
/proc/meminfo: memFree=27021036/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=198432 CPUtime=1242.08 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 258219 0 0 0 123670 538 0 0 20 0 1 0 336328970 203194368 48232 33554432000 4194304 7823515 140734505137456 140734505132792 6237350 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 49608 48232 565 887 0 48718 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 198432

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3052
/proc/meminfo: memFree=27012412/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=202280 CPUtime=1302.07 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 262352 0 0 0 129645 562 0 0 20 0 1 0 336328970 207134720 49403 33554432000 4194304 7823515 140734505137456 140734505133288 6149993 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 50570 49403 565 887 0 49680 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 202280

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3053
/proc/meminfo: memFree=27007708/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=200320 CPUtime=1362.06 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 264133 0 0 0 135621 585 0 0 20 0 1 0 336328970 205127680 48773 33554432000 4194304 7823515 140734505137456 140734505132152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 50080 48773 565 887 0 49190 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 200320

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3053
/proc/meminfo: memFree=27004652/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=201168 CPUtime=1422.05 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 276216 0 0 0 141592 613 0 0 20 0 1 0 336328970 205996032 48860 33554432000 4194304 7823515 140734505137456 140734505131832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 50292 48860 565 887 0 49402 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 201168

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3053
/proc/meminfo: memFree=26996344/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=206072 CPUtime=1482.03 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 277535 0 0 0 147565 638 0 0 20 0 1 0 336328970 211017728 50173 33554432000 4194304 7823515 140734505137456 140734505132120 5067096 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 51518 50173 565 887 0 50628 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 206072

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3053
/proc/meminfo: memFree=26991804/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=207868 CPUtime=1542.02 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 278141 0 0 0 153536 666 0 0 20 0 1 0 336328970 212856832 50778 33554432000 4194304 7823515 140734505137456 140734505133256 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 51967 50778 565 887 0 51077 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 207868

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3053
/proc/meminfo: memFree=26989764/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=205412 CPUtime=1602.02 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 287005 0 0 0 159504 698 0 0 20 0 1 0 336328970 210341888 50206 33554432000 4194304 7823515 140734505137456 140734505133304 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 51353 50206 565 887 0 50463 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 205412

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 3054
/proc/meminfo: memFree=26979272/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=211728 CPUtime=1662.01 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 297283 0 0 0 165474 727 0 0 20 0 1 0 336328970 216809472 51446 33554432000 4194304 7823515 140734505137456 140734505132152 6110592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 52932 51446 565 887 0 52042 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 211728

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3054
/proc/meminfo: memFree=26970592/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=212636 CPUtime=1722 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 308217 0 0 0 171442 758 0 0 20 0 1 0 336328970 217739264 51728 33554432000 4194304 7823515 140734505137456 140734505131480 6234801 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 53159 51728 565 887 0 52269 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 212636

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3057
/proc/meminfo: memFree=26963688/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=214592 CPUtime=1781.99 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 311684 0 0 0 177410 789 0 0 20 0 1 0 336328970 219742208 52480 33554432000 4194304 7823515 140734505137456 140734505132152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 53648 52480 565 887 0 52758 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 214592

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3057
/proc/meminfo: memFree=26963316/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=214592 CPUtime=1791.59 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 311684 0 0 0 178365 794 0 0 20 0 1 0 336328970 219742208 52480 33554432000 4194304 7823515 140734505137456 140734505132792 6237434 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 53648 52480 565 887 0 52758 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 214592

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3057
/proc/meminfo: memFree=26962448/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=214592 CPUtime=1794.79 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 311684 0 0 0 178684 795 0 0 20 0 1 0 336328970 219742208 52480 33554432000 4194304 7823515 140734505137456 140734505132504 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 53648 52480 565 887 0 52758 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 214592

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3057
/proc/meminfo: memFree=26962324/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=214592 CPUtime=1796.38 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 311684 0 0 0 178842 796 0 0 20 0 1 0 336328970 219742208 52480 33554432000 4194304 7823515 140734505137456 140734505132120 6237405 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 53648 52480 565 887 0 52758 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 214592

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3057
/proc/meminfo: memFree=26962324/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=214592 CPUtime=1797.98 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 311684 0 0 0 179001 797 0 0 20 0 1 0 336328970 219742208 52480 33554432000 4194304 7823515 140734505137456 140734505132120 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 53648 52480 565 887 0 52758 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 214592

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3057
/proc/meminfo: memFree=26962324/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=214592 CPUtime=1798.79 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 311684 0 0 0 179081 798 0 0 20 0 1 0 336328970 219742208 52480 33554432000 4194304 7823515 140734505137456 140734505132424 6234850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 53648 52480 565 887 0 52758 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 214592

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3057
/proc/meminfo: memFree=26962324/32873844 swapFree=6608/6608
[pid=2979] ppid=2977 vsize=214592 CPUtime=1799.19 cores=1,3,5,7
/proc/2979/stat : 2979 (pbscip.linux.x8) R 2977 2979 301 0 -1 4202496 311686 0 0 0 179121 798 0 0 20 0 1 0 336328970 219742208 52482 33554432000 4194304 7823515 140734505137456 140734505132424 5020793 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2979/statm: 53648 52482 567 887 0 52758 0
Current children cumulated CPU time (s) 1799.19
Current children cumulated vsize (KiB) 214592

Child status: 0
Real time (s): 1799.59
CPU time (s): 1799.29
CPU user time (s): 1791.3
CPU system time (s): 7.98479
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 214820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.3
system time used= 7.98479
maximum resident set size= 209936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311691
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= 38
involuntary context switches= 1849

runsolver used 4.43832 second user time and 10.7074 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-03 07:40:41
IDJOB=3733916
IDBENCH=2634
IDSOLVER=2321
FILE ID=node140/3733916-1338702041
RUNJOBID= node140-1338678631-321
PBS_JOBID= 14636673
Free space on /tmp= 70612 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
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-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733916-1338702041/watcher-3733916-1338702041 -o /tmp/evaluation-result-3733916-1338702041/solver-3733916-1338702041 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3733916-1338702041.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b4a219bc21641bf0d46eae2692004ebe
RANDOM SEED=1212182637

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26908596 kB
Buffers:          407312 kB
Cached:          4221648 kB
SwapCached:         1664 kB
Active:          1706808 kB
Inactive:        3369724 kB
Active(anon):     440324 kB
Inactive(anon):     9404 kB
Active(file):    1266484 kB
Inactive(file):  3360320 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105156 kB
Dirty:             11660 kB
Writeback:             0 kB
AnonPages:        517960 kB
Mapped:            12560 kB
Shmem:                 8 kB
Slab:             748324 kB
SReclaimable:     190624 kB
SUnreclaim:       557700 kB
KernelStack:        1472 kB
PageTables:         4884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     563180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    471040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70604 MiB
End job on node140 at 2012-06-03 08:10:41