Trace number 1870467

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2OPT-6 1536.53 1536.99

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_5.opb
MD5SUM75c62437256ecfefd1c4252ede4b185e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-6
Best CPU time to get the best result obtained on this benchmark335.599
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -6
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2928
Sum of products size (including duplicates)5856
Number of different products1464
Sum of products size2928

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.02	c SCIP version 1.1.0.7
0.00/0.02	c LP-Solver Clp 1.8.2
0.00/0.02	c user parameter file <scip.set> not found - using default parameters
0.00/0.02	c read problem <HOME/instance-1870467-1245206115.opb>
0.00/0.02	c original problem has 1564 variables (1564 bin, 0 int, 0 impl, 0 cont) and 1615 constraints
0.00/0.03	c start presolving problem
0.00/0.03	c presolving:
0.09/0.18	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 11812 impls, 100 clqs
0.29/0.35	c    (0.2s) probing: 101/1564 (6.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.35	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.35	c presolving (2 rounds):
0.29/0.35	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.35	c  11812 implications, 100 cliques
0.29/0.35	c presolved problem has 1564 variables (1564 bin, 0 int, 0 impl, 0 cont) and 1615 constraints
0.29/0.35	c     100 constraints of type <setppc>
0.29/0.35	c    1464 constraints of type <and>
0.29/0.35	c       1 constraints of type <linear>
0.29/0.35	c      50 constraints of type <logicor>
0.29/0.35	c transformed objective value is always integral (scale: 1)
0.29/0.35	c Presolving Time: 0.17
0.29/0.35	c OPT-NLC
0.29/0.35	c -----------------------------------------------------------------------------------------------
0.29/0.35	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35	c limits/memory = c 1620
0.29/0.35	c # maximal time in seconds to run
0.29/0.35	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35	c limits/time = c 1791
0.29/0.35	c # frequency for displaying node information lines
0.29/0.35	c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.35	c display/freq = c 10000
0.29/0.35	c -----------------------------------------------------------------------------------------------
0.29/0.35	c start solving problem
0.29/0.35	c 
0.39/0.40	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.40	c   0.2s|     1 |     0 |   123 |7465k|   0 | 100 |1564 |1615 |1615 |1564 |3079 |   0 |   0 |   0 |-2.500000e+01 |      --      |    Inf 
0.39/0.41	o -3
0.39/0.41	c s 0.2s|     1 |     0 |   123 |7508k|   0 | 100 |1564 |1615 |1615 |1564 |3079 |   0 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
0.59/0.61	c   0.4s|     1 |     0 |   369 |7525k|   0 | 201 |1564 |1615 |1615 |1564 |3080 |   1 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
1.10/1.10	c   0.9s|     1 |     0 |  1408 |7631k|   0 | 580 |1564 |1615 |1615 |1564 |3085 |   6 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
2.20/2.23	c   2.0s|     1 |     0 |  2783 |8016k|   0 | 777 |1564 |1615 |1615 |1564 |3094 |  15 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
3.18/3.23	c   3.0s|     1 |     0 |  3315 |8097k|   0 | 812 |1564 |1615 |1615 |1564 |3101 |  22 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
4.29/4.33	c   4.1s|     1 |     0 |  3591 |8192k|   0 | 803 |1564 |1615 |1615 |1564 |3108 |  29 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
5.49/5.55	c   5.3s|     1 |     0 |  3970 |8259k|   0 | 822 |1564 |1615 |1615 |1564 |3113 |  34 |   0 |   0 |-2.500000e+01 |-3.000000e+00 |  88.00%
9.88/9.99	c   9.7s|     1 |     2 |  3970 |8259k|   0 | 822 |1564 |1615 |1615 |1564 |3113 |  34 |   0 |  20 |-2.500000e+01 |-3.000000e+00 |  88.00%
55.27/55.33	o -4
55.27/55.33	c R55.0s|    12 |    11 | 52050 |8349k|   9 |  86 |1564 |1615 |1339 |1564 |1616 |1603 |   0 | 290 |-2.500000e+01 |-4.000000e+00 |  84.00%
55.27/55.34	o -5
55.27/55.34	c R55.0s|    12 |    11 | 52057 |8369k|   9 |  83 |1564 |1615 |1339 |1564 |1621 |1608 |   0 | 290 |-2.500000e+01 |-5.000000e+00 |  80.00%
56.97/57.09	o -6
56.97/57.09	c *56.7s|    13 |    11 | 52265 |8473k|  10 |   - |1564 |1615 |  35 |1564 |1619 |1609 |   0 | 400 |-2.500000e+01 |-6.000000e+00 |  76.00%
577.32/577.53	c   573s| 10000 |  1926 |  1118k|  32M|  75 |  76 |1564 |1736 | 714 |1564 |1550 |  14k| 291 |4898 |-1.092513e+01 |-6.000000e+00 |  45.08%
821.24/821.51	c   816s| 20000 |  2207 |  1752k|  42M|  75 |   - |1564 |1789 | 127 |1564 |1665 |  20k| 683 |7127 |-9.745440e+00 |-6.000000e+00 |  38.43%
1035.17/1035.53	c  1028s| 30000 |  2233 |  2347k|  48M|  75 |   - |1564 |1807 | 635 |1564 |1646 |  25k|1108 |8875 |-9.057938e+00 |-6.000000e+00 |  33.76%
1256.02/1256.40	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1256.02/1256.40	c  1248s| 40000 |  1799 |  2926k|  44M|  75 |  79 |1564 |1810 | 554 |1564 |1615 |  28k|1426 |  11k|-8.532965e+00 |-6.000000e+00 |  29.68%
1439.66/1440.17	c  1430s| 50000 |  1075 |  3483k|  33M|  75 |  89 |1564 |1819 | 241 |1564 |1639 |  31k|1713 |  12k|-8.110735e+00 |-6.000000e+00 |  26.02%
1536.43/1536.94	c 
1536.43/1536.94	c SCIP Status        : problem is solved [optimal solution found]
1536.43/1536.94	c Solving Time (sec) : 1526.18
1536.43/1536.94	c Solving Nodes      : 54564
1536.43/1536.94	c Primal Bound       : -6.00000000000000e+00 (9 solutions)
1536.43/1536.94	c Dual Bound         : -6.00000000000000e+00
1536.43/1536.94	c Gap                : 0.00 %
1536.43/1536.94	c NODE         54564
1536.43/1536.94	c DUAL BOUND   -6
1536.43/1536.94	c PRIMAL BOUND -6
1536.43/1536.94	c GAP          0
1536.43/1536.94	s OPTIMUM FOUND
1536.43/1536.94	v -x57 -x96 -x92 -x81 -x75 x95 -x69 -x67 -x93 -x90 -x89 -x94 -x86 -x64 -x72 x51 -x98 x88 -x70 -x63 -x60 -x58 x55 -x54 -x52 -x91 -x62 
1536.43/1536.94	v -x59 -x85 -x78 -x97 -x68 -x53 -x84 -x80 x56 -x65 -x87 -x79 -x99 -x82 -x74 x100 -x71 -x83 -x77 -x73 -x61 -x66 -x76 -x50 -x49 
1536.43/1536.94	v -x48 -x47 -x46 -x45 x44 x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 
1536.43/1536.94	v -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1536.43/1536.94	c SCIP Status        : problem is solved [optimal solution found]
1536.43/1536.94	c Solving Time       :    1526.18
1536.43/1536.94	c Original Problem   :
1536.43/1536.94	c   Problem name     : HOME/instance-1870467-1245206115.opb
1536.43/1536.94	c   Variables        : 1564 (1564 binary, 0 integer, 0 implicit integer, 0 continuous)
1536.43/1536.94	c   Constraints      : 1615 initial, 1615 maximal
1536.43/1536.94	c Presolved Problem  :
1536.43/1536.94	c   Problem name     : t_HOME/instance-1870467-1245206115.opb
1536.43/1536.94	c   Variables        : 1564 (1564 binary, 0 integer, 0 implicit integer, 0 continuous)
1536.43/1536.94	c   Constraints      : 1615 initial, 1849 maximal
1536.43/1536.94	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1536.43/1536.94	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1536.43/1536.94	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1536.43/1536.94	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1536.43/1536.94	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1536.43/1536.94	c   implics          :       0.00          0          0          0          0          0          0          0          0
1536.43/1536.94	c   probing          :       0.04          0          0          0          0          0          0          0          0
1536.43/1536.94	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1536.43/1536.94	c   and              :       0.11          0          0          0          0          0          0          0          0
1536.43/1536.94	c   linear           :       0.01          0          0          0          0          0          0          0          0
1536.43/1536.94	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1536.43/1536.94	c   root node        :          -        101          -          -        101          -          -          -          -
1536.43/1536.94	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1536.43/1536.94	c   integral         :          0          0          0      29654          0        136       5050          0          0      54568
1536.43/1536.94	c   setppc           :        100          6     168844          0          0        656     246616          0          0          0
1536.43/1536.94	c   and              :       1464      41804     168188          0          0         37    4211874      34848          0          0
1536.43/1536.94	c   linear           :          1          6     168130          0          0         94        540          0          0          0
1536.43/1536.94	c   logicor          :         50+         6      52730          1          0          6      22541          0          0          0
1536.43/1536.94	c   countsols        :          0          0          0          1          0          0          0          0          0          0
1536.43/1536.94	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1536.43/1536.94	c   integral         :     335.59       0.00       0.00     335.59       0.00
1536.43/1536.94	c   setppc           :       1.35       0.00       1.35       0.00       0.00
1536.43/1536.94	c   and              :      31.20      16.03      15.17       0.00       0.00
1536.43/1536.94	c   linear           :       1.71       0.00       1.71       0.00       0.00
1536.43/1536.94	c   logicor          :       0.86       0.00       0.86       0.00       0.00
1536.43/1536.94	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1536.43/1536.94	c Propagators        :       Time      Calls    Cutoffs    DomReds
1536.43/1536.94	c   rootredcost      :       0.13          3          0          0
1536.43/1536.94	c   pseudoobj        :       1.06     169682        358       1621
1536.43/1536.94	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1536.43/1536.94	c   propagation      :       0.11       1151       1075       2332       31.5         11       37.5          -
1536.43/1536.94	c   infeasible LP    :       8.98      26590          0          0        0.0          0        0.0          0
1536.43/1536.94	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1536.43/1536.94	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1536.43/1536.94	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1536.43/1536.94	c   applied globally :          -          -          -       1872       29.1          -          -          -
1536.43/1536.94	c   applied locally  :          -          -          -          0        0.0          -          -          -
1536.43/1536.94	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1536.43/1536.94	c   cut pool         :       0.02          5          -          -          2          -    (maximal pool size: 131)
1536.43/1536.94	c   redcost          :       4.32      44788          0     147952          0          0
1536.43/1536.94	c   impliedbounds    :       0.00          6          0          0          8          0
1536.43/1536.94	c   intobj           :       0.00          0          0          0          0          0
1536.43/1536.94	c   gomory           :       1.31          6          0          0        102          0
1536.43/1536.94	c   strongcg         :       1.09          6          0          0        464          0
1536.43/1536.94	c   cmir             :       0.18          6          0          0          0          0
1536.43/1536.94	c   flowcover        :       0.16          6          0          0          0          0
1536.43/1536.94	c   clique           :       0.15          6          0          0         30          0
1536.43/1536.94	c   zerohalf         :       0.00          0          0          0          0          0
1536.43/1536.94	c   mcf              :       0.01          2          0          0          0          0
1536.43/1536.94	c Pricers            :       Time      Calls       Vars
1536.43/1536.94	c   problem variables:       0.00          0          0
1536.43/1536.94	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1536.43/1536.94	c   relpscost        :     335.47      29653        136       5050          0          0      54568
1536.43/1536.94	c   pscost           :       0.00          0          0          0          0          0          0
1536.43/1536.94	c   inference        :       0.00          0          0          0          0          0          0
1536.43/1536.94	c   mostinf          :       0.00          0          0          0          0          0          0
1536.43/1536.94	c   leastinf         :       0.00          0          0          0          0          0          0
1536.43/1536.94	c   fullstrong       :       0.00          0          0          0          0          0          0
1536.43/1536.94	c   allfullstrong    :       0.00          0          0          0          0          0          0
1536.43/1536.94	c   random           :       0.00          0          0          0          0          0          0
1536.43/1536.94	c Primal Heuristics  :       Time      Calls      Found
1536.43/1536.94	c   LP solutions     :       0.00          -          1
1536.43/1536.94	c   pseudo solutions :       0.00          -          0
1536.43/1536.94	c   feaspump         :       0.00          0          0
1536.43/1536.94	c   oneopt           :       0.13          3          0
1536.43/1536.94	c   crossover        :       0.34          7          0
1536.43/1536.94	c   rootsoldiving    :       1.52         21          0
1536.43/1536.94	c   coefdiving       :      12.91         42          0
1536.43/1536.94	c   veclendiving     :       6.01         42          0
1536.43/1536.94	c   linesearchdiving :       3.98         42          0
1536.43/1536.94	c   guideddiving     :       7.34         42          0
1536.43/1536.94	c   pscostdiving     :       6.48         42          0
1536.43/1536.94	c   fracdiving       :       6.87         42          0
1536.43/1536.94	c   objpscostdiving  :       6.36         22          0
1536.43/1536.94	c   simplerounding   :       0.10          0          0
1536.43/1536.94	c   rounding         :       6.52      12670          2
1536.43/1536.94	c   shifting         :       3.13       3012          6
1536.43/1536.94	c   intshifting      :       0.00          0          0
1536.43/1536.94	c   fixandinfer      :       0.00          0          0
1536.43/1536.94	c   intdiving        :       0.00          0          0
1536.43/1536.94	c   actconsdiving    :       0.00          0          0
1536.43/1536.94	c   octane           :       0.00          0          0
1536.43/1536.94	c   rens             :       0.01          0          0
1536.43/1536.94	c   rins             :       0.00          0          0
1536.43/1536.94	c   localbranching   :       0.00          0          0
1536.43/1536.94	c   mutation         :       0.00          0          0
1536.43/1536.94	c   dins             :       0.00          0          0
1536.43/1536.94	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1536.43/1536.94	c   primal LP        :      50.84          0          0       0.00       0.00
1536.43/1536.94	c   dual LP          :     949.79      67740    3631003      53.60    3822.95
1536.43/1536.94	c   barrier LP       :       0.00          0          0       0.00          -
1536.43/1536.94	c   diving/probing LP:      43.87       7895     110085      13.94    2509.35
1536.43/1536.94	c   strong branching :     332.88      13301    1218466      91.61    3660.38
1536.43/1536.94	c     (at root node) :          -         20       5440     272.00          -
1536.43/1536.94	c   conflict analysis:       0.00          0          0       0.00          -
1536.43/1536.94	c B&B Tree           :
1536.43/1536.94	c   number of runs   :          1
1536.43/1536.94	c   nodes            :      54564
1536.43/1536.94	c   nodes (total)    :      54564
1536.43/1536.94	c   nodes left       :          0
1536.43/1536.94	c   max depth        :         75
1536.43/1536.94	c   max depth (total):         75
1536.43/1536.94	c   backtracks       :       6711 (12.3%)
1536.43/1536.94	c   delayed cutoffs  :          4
1536.43/1536.94	c   repropagations   :       7772 (14867 domain reductions, 1 cutoffs)
1536.43/1536.94	c   avg switch length:       6.31
1536.43/1536.94	c   switching time   :      72.97
1536.43/1536.94	c Solution           :
1536.43/1536.94	c   Solutions found  :          9 (4 improvements)
1536.43/1536.94	c   Primal Bound     : -6.00000000000000e+00   (in run 1, after 13 nodes, 56.71 seconds, depth 10, found by <relaxation>)
1536.43/1536.94	c   Dual Bound       : -6.00000000000000e+00
1536.43/1536.94	c   Gap              :       0.00 %
1536.43/1536.94	c   Root Dual Bound  : -2.50000000000000e+01
1536.43/1536.99	c Time complete: 1536.52.

Verifier Data 

OK	-6

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870467-1245206115/watcher-1870467-1245206115 -o /tmp/evaluation-result-1870467-1245206115/solver-1870467-1245206115 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870467-1245206115.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7337
/proc/meminfo: memFree=1849376/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=5812 CPUtime=0
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 515 0 0 0 0 0 0 0 18 0 1 0 188208617 5951488 499 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/7337/statm: 1453 500 332 1256 0 192 0

[startup+0.102346 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7337
/proc/meminfo: memFree=1849376/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=17960 CPUtime=0.09
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 3622 0 0 0 5 4 0 0 18 0 1 0 188208617 18391040 3252 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 4490 3252 446 1256 0 3229 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17960

[startup+0.201359 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7337
/proc/meminfo: memFree=1849376/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=20236 CPUtime=0.19
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 4223 0 0 0 11 8 0 0 19 0 1 0 188208617 20721664 3853 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 5059 3853 478 1256 0 3798 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20236

[startup+0.301373 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7337
/proc/meminfo: memFree=1849376/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=20236 CPUtime=0.29
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 4223 0 0 0 14 15 0 0 19 0 1 0 188208617 20721664 3853 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 5059 3853 478 1256 0 3798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20236

[startup+0.701431 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7337
/proc/meminfo: memFree=1849376/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=30008 CPUtime=0.69
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 6509 0 0 0 51 18 0 0 23 0 1 0 188208617 30728192 6123 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 7502 6123 667 1256 0 6241 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30008

[startup+1.50155 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1827160/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=33152 CPUtime=1.5
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 7120 0 0 0 131 19 0 0 25 0 1 0 188208617 33947648 6734 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 8288 6734 668 1256 0 7027 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 33152

[startup+3.10178 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1824472/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=33464 CPUtime=3.08
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 7253 0 0 0 288 20 0 0 25 0 1 0 188208617 34267136 6867 1992294400 4194304 9342243 548682068736 18446744073709551615 6960738 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7337/statm: 8366 6867 668 1256 0 7105 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 33464

[startup+6.30123 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1822824/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=37172 CPUtime=6.29
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 8529 0 0 0 607 22 0 0 25 0 1 0 188208617 38064128 7084 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 9293 7084 674 1256 0 8032 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37172

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1822952/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=35408 CPUtime=12.68
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 9811 0 0 0 1245 23 0 0 25 0 1 0 188208617 36257792 7261 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 8852 7261 696 1256 0 7591 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35408

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1822824/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=35796 CPUtime=25.47
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 10029 0 0 0 2522 25 0 0 25 0 1 0 188208617 36655104 7281 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 8949 7281 696 1256 0 7688 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 35796

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1822312/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=34984 CPUtime=51.07
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 12222 0 0 0 5076 31 0 0 25 0 1 0 188208617 35823616 7456 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 8746 7456 699 1256 0 7485 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34984

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1822824/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=36188 CPUtime=102.26
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 51376 0 0 0 10165 61 0 0 25 0 1 0 188208617 37056512 7311 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 9047 7311 702 1256 0 7786 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 36188

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1822696/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=38728 CPUtime=162.24
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 155651 0 0 0 16097 127 0 0 25 0 1 0 188208617 39657472 7360 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 9682 7360 713 1256 0 8421 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 38728

[startup+222.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1817512/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=39728 CPUtime=222.22
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 199158 0 0 0 22060 162 0 0 25 0 1 0 188208617 40681472 8657 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 9932 8657 713 1256 0 8671 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 39728

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1815144/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=43308 CPUtime=282.2
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 223303 0 0 0 28029 191 0 0 25 0 1 0 188208617 44347392 9220 1992294400 4194304 9342243 548682068736 18446744073709551615 6944026 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 10827 9220 713 1256 0 9566 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 43308

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1811368/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=46980 CPUtime=342.18
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 278352 0 0 0 33984 234 0 0 25 0 1 0 188208617 48107520 10129 1992294400 4194304 9342243 548682068736 18446744073709551615 6040670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 11745 10129 713 1256 0 10484 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 46980

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1807528/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=51780 CPUtime=402.17
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 325554 0 0 0 39944 273 0 0 25 0 1 0 188208617 53022720 11260 1992294400 4194304 9342243 548682068736 18446744073709551615 6496544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 12945 11260 713 1256 0 11684 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 51780

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1797480/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=59308 CPUtime=462.15
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 361640 0 0 0 45902 313 0 0 25 0 1 0 188208617 60731392 13608 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 14827 13608 713 1256 0 13566 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 59308

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1790504/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=66748 CPUtime=522.13
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 389474 0 0 0 51860 353 0 0 25 0 1 0 188208617 68349952 15415 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 16687 15415 713 1256 0 15426 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 66748

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1786088/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=71644 CPUtime=582.11
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 430246 0 0 0 57816 395 0 0 25 0 1 0 188208617 73363456 16639 1992294400 4194304 9342243 548682068736 18446744073709551615 6941320 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 17911 16639 713 1256 0 16650 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 71644

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7338
/proc/meminfo: memFree=1781480/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=77408 CPUtime=642.1
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 465466 0 0 0 63774 436 0 0 25 0 1 0 188208617 79265792 17635 1992294400 4194304 9342243 548682068736 18446744073709551615 5869974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 19352 17635 713 1256 0 18091 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 77408

[startup+702.302 s]

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

/proc/meminfo: memFree=1755112/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=102840 CPUtime=1001.98
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 647797 0 0 0 99519 679 0 0 25 0 1 0 188208617 105308160 24135 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 25710 24135 713 1256 0 24449 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 102840

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1750248/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=107116 CPUtime=1061.97
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 660727 0 0 0 105486 711 0 0 25 0 1 0 188208617 109686784 25365 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 26779 25365 713 1256 0 25518 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 107116

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1749224/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=107516 CPUtime=1121.96
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 676713 0 0 0 111452 744 0 0 25 0 1 0 188208617 110096384 25608 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 26879 25608 713 1256 0 25618 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 107516

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1747560/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=109684 CPUtime=1181.93
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 693846 0 0 0 117413 780 0 0 25 0 1 0 188208617 112316416 26136 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 27421 26136 713 1256 0 26160 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 109684

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1745320/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=111280 CPUtime=1241.92
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 707920 0 0 0 123378 814 0 0 25 0 1 0 188208617 113950720 26540 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 27820 26540 713 1256 0 26559 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 111280

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1746472/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=112048 CPUtime=1301.9
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 775209 0 0 0 129312 878 0 0 25 0 1 0 188208617 114737152 26244 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28012 26244 713 1256 0 26751 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 112048

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1743464/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=115240 CPUtime=1361.89
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 815441 0 0 0 135262 927 0 0 25 0 1 0 188208617 118005760 27057 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28810 27057 713 1256 0 27549 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 115240

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1742760/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=113576 CPUtime=1421.87
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 825840 0 0 0 141226 961 0 0 25 0 1 0 188208617 116301824 27150 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28394 27150 713 1256 0 27133 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 113576

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1742824/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=115696 CPUtime=1481.85
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 841244 0 0 0 147190 995 0 0 25 0 1 0 188208617 118472704 27162 1992294400 4194304 9342243 548682068736 18446744073709551615 6974267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28924 27162 713 1256 0 27663 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 115696

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

[startup+1484.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1742568/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=113520 CPUtime=1484.34
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 841905 0 0 0 147438 996 0 0 25 0 1 0 188208617 116244480 27130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28380 27130 713 1256 0 27119 0
Current children cumulated CPU time (s) 1484.34
Current children cumulated vsize (KiB) 113520

[startup+1510.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1742888/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=113812 CPUtime=1509.95
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 848892 0 0 0 149985 1010 0 0 25 0 1 0 188208617 116543488 27190 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28453 27190 713 1256 0 27192 0
Current children cumulated CPU time (s) 1509.95
Current children cumulated vsize (KiB) 113812

[startup+1523.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1742632/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=114256 CPUtime=1522.73
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 852436 0 0 0 151255 1018 0 0 25 0 1 0 188208617 116998144 27226 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28564 27226 713 1256 0 27303 0
Current children cumulated CPU time (s) 1522.73
Current children cumulated vsize (KiB) 114256

[startup+1529.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1742632/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=113136 CPUtime=1529.13
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 854961 0 0 0 151891 1022 0 0 25 0 1 0 188208617 115851264 27095 1992294400 4194304 9342243 548682068736 18446744073709551615 8223589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28284 27095 713 1256 0 27023 0
Current children cumulated CPU time (s) 1529.13
Current children cumulated vsize (KiB) 113136

[startup+1532.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1742824/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=113800 CPUtime=1532.33
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 856734 0 0 0 152209 1024 0 0 25 0 1 0 188208617 116531200 27148 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28450 27148 713 1256 0 27189 0
Current children cumulated CPU time (s) 1532.33
Current children cumulated vsize (KiB) 113800

[startup+1534.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1742504/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=114280 CPUtime=1533.93
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 857250 0 0 0 152367 1026 0 0 25 0 1 0 188208617 117022720 27237 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28570 27237 713 1256 0 27309 0
Current children cumulated CPU time (s) 1533.93
Current children cumulated vsize (KiB) 114280

[startup+1536 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1742120/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=113360 CPUtime=1535.53
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 858210 0 0 0 152526 1027 0 0 25 0 1 0 188208617 116080640 27219 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28340 27219 713 1256 0 27079 0
Current children cumulated CPU time (s) 1535.53
Current children cumulated vsize (KiB) 113360

[startup+1536.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1742120/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=114284 CPUtime=1535.93
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 858435 0 0 0 152565 1028 0 0 25 0 1 0 188208617 117026816 27107 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28571 27107 713 1256 0 27310 0
Current children cumulated CPU time (s) 1535.93
Current children cumulated vsize (KiB) 114284

[startup+1536.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1742376/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=114284 CPUtime=1536.33
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 858636 0 0 0 152605 1028 0 0 25 0 1 0 188208617 117026816 27308 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28571 27308 713 1256 0 27310 0
Current children cumulated CPU time (s) 1536.33
Current children cumulated vsize (KiB) 114284

[startup+1536.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7340
/proc/meminfo: memFree=1742376/2055920 swapFree=4182572/4192956
[pid=7337] ppid=7335 vsize=114284 CPUtime=1536.43
/proc/7337/stat : 7337 (pbscip.linux.x8) R 7335 7337 6535 0 -1 4194304 858658 0 0 0 152615 1028 0 0 25 0 1 0 188208617 117026816 27330 1992294400 4194304 9342243 548682068736 18446744073709551615 4817494 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7337/statm: 28571 27330 713 1256 0 27310 0
Current children cumulated CPU time (s) 1536.43
Current children cumulated vsize (KiB) 114284

Child status: 0
Real time (s): 1536.99
CPU time (s): 1536.53
CPU user time (s): 1526.22
CPU system time (s): 10.3094
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 117028

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

runsolver used 1.03484 second user time and 3.33249 second system time

The end

Launcher Data 

Begin job on node39 at 2009-06-17 04:35:15
IDJOB=1870467
IDBENCH=48232
IDSOLVER=684
FILE ID=node39/1870467-1245206115
PBS_JOBID= 9368353
Free space on /tmp= 66128 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_5.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870467-1245206115/watcher-1870467-1245206115 -o /tmp/evaluation-result-1870467-1245206115/solver-1870467-1245206115 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870467-1245206115.opb

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

MD5SUM BENCH= 75c62437256ecfefd1c4252ede4b185e
RANDOM SEED=1703099436

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1849856 kB
Buffers:         46344 kB
Cached:          89656 kB
SwapCached:       4216 kB
Active:          47196 kB
Inactive:        96672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1849856 kB
SwapTotal:     4192956 kB
SwapFree:      4182572 kB
Dirty:           11760 kB
Writeback:           0 kB
Mapped:          13660 kB
Slab:            48144 kB
Committed_AS:   146960 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66120 MiB
End job on node39 at 2009-06-17 05:00:53