Trace number 2703466

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1789.85 1790.26

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
MD5SUMc6beff0c06c855c4098e361c6e1a2493
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11503
Total number of constraints971
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)835
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint4
Maximum length of a constraint9784
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 83886080000000
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 508832629179091
Number of bits of the biggest sum of numbers49
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2703466-1278557863.opb>
0.19/0.28	c original problem has 11503 variables (11503 bin, 0 int, 0 impl, 0 cont) and 971 constraints
0.19/0.28	c problem read
0.19/0.28	c presolving settings loaded
0.39/0.46	c presolving:
0.59/0.62	c (round 1) 1752 del vars, 127 del conss, 1664 chg bounds, 53 chg sides, 53 chg coeffs, 0 upgd conss, 0 impls, 708 clqs
0.59/0.65	c (round 2) 1752 del vars, 127 del conss, 1664 chg bounds, 106 chg sides, 106 chg coeffs, 0 upgd conss, 0 impls, 708 clqs
0.59/0.70	c (round 3) 1752 del vars, 127 del conss, 1664 chg bounds, 106 chg sides, 106 chg coeffs, 756 upgd conss, 0 impls, 708 clqs
0.69/0.72	c (round 4) 1752 del vars, 127 del conss, 1664 chg bounds, 154 chg sides, 607 chg coeffs, 756 upgd conss, 806 impls, 708 clqs
14.69/14.74	c    (14.5s) probing: 1000/9751 (10.3%) - 0 fixings, 0 aggregations, 1090 implications, 0 bound changes
27.49/27.55	c    (27.3s) probing: 2000/9751 (20.5%) - 0 fixings, 0 aggregations, 2194 implications, 0 bound changes
27.49/27.56	c    (27.3s) probing: 2001/9751 (20.5%) - 0 fixings, 0 aggregations, 2195 implications, 0 bound changes
27.49/27.56	c    (27.3s) probing aborted: 2000/2000 successive useless probings
27.49/27.56	c presolving (5 rounds):
27.49/27.56	c  1752 deleted vars, 127 deleted constraints, 1664 tightened bounds, 0 added holes, 154 changed sides, 607 changed coefficients
27.49/27.56	c  5196 implications, 708 cliques
27.49/27.56	c presolved problem has 9751 variables (9751 bin, 0 int, 0 impl, 0 cont) and 844 constraints
27.49/27.56	c      48 constraints of type <knapsack>
27.49/27.56	c     708 constraints of type <setppc>
27.49/27.56	c      88 constraints of type <linear>
27.49/27.56	c transformed objective value is always integral (scale: 2)
27.49/27.56	c Presolving Time: 27.17
27.49/27.56	c - non default parameters ----------------------------------------------------------------------
27.49/27.56	c # SCIP version 1.2.1.3
27.49/27.56	c 
27.49/27.56	c # frequency for displaying node information lines
27.49/27.56	c # [type: int, range: [-1,2147483647], default: 100]
27.49/27.56	c display/freq = 10000
27.49/27.56	c 
27.49/27.56	c # maximal time in seconds to run
27.49/27.56	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
27.49/27.56	c limits/time = 1789.72
27.49/27.56	c 
27.49/27.56	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
27.49/27.56	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
27.49/27.56	c limits/memory = 1620
27.49/27.56	c 
27.49/27.56	c # default clock type (1: CPU user seconds, 2: wall clock time)
27.49/27.56	c # [type: int, range: [1,2], default: 1]
27.49/27.56	c timing/clocktype = 2
27.49/27.56	c 
27.49/27.56	c # should presolving try to simplify inequalities
27.49/27.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
27.49/27.56	c constraints/linear/simplifyinequalities = TRUE
27.49/27.56	c 
27.49/27.56	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
27.49/27.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
27.49/27.56	c constraints/indicator/addCouplingCons = TRUE
27.49/27.56	c 
27.49/27.56	c # should presolving try to simplify knapsacks
27.49/27.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
27.49/27.56	c constraints/knapsack/simplifyinequalities = TRUE
27.49/27.56	c 
27.49/27.56	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
27.49/27.56	c # [type: int, range: [-1,2147483647], default: -1]
27.49/27.56	c separating/rapidlearning/freq = 0
27.49/27.56	c 
27.49/27.56	c -----------------------------------------------------------------------------------------------
27.49/27.56	c start solving
27.49/27.57	c 
27.99/28.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
27.99/28.01	c  27.7s|     1 |     0 |   489 |     - |  37M|   0 |  78 |9751 | 844 |9751 | 844 |   0 |   0 |   0 | 1.077679e+09 |      --      |    Inf 
31.99/32.09	c  31.8s|     1 |     0 |  3819 |     - |  37M|   0 |  78 |9751 | 844 |9751 | 844 |   0 |   0 |   0 | 1.077679e+09 |      --      |    Inf 
84.27/84.33	c  84.0s|     1 |     0 |  3836 |     - |  44M|   0 |  78 |9751 | 844 |9751 | 848 |   4 |   0 |   0 | 1.077679e+09 |      --      |    Inf 
131.06/131.14	c   131s|     1 |     0 |  3845 |     - |  44M|   0 |  83 |9751 | 844 |9751 | 852 |   8 |   0 |   0 | 1.077679e+09 |      --      |    Inf 
177.65/177.75	c   177s|     1 |     0 |  3848 |     - |  44M|   0 |  84 |9751 | 844 |9751 | 853 |   9 |   0 |   0 | 1.077679e+09 |      --      |    Inf 
224.13/224.25	c   224s|     1 |     0 |  3852 |     - |  44M|   0 |  85 |9751 | 844 |9751 | 854 |  10 |   0 |   0 | 1.077679e+09 |      --      |    Inf 
271.03/271.13	c   271s|     1 |     0 |  3862 |     - |  44M|   0 |  86 |9751 | 844 |9751 | 855 |  11 |   0 |   0 | 1.077679e+09 |      --      |    Inf 
318.42/318.53	c   318s|     1 |     0 |  3871 |     - |  44M|   0 |  87 |9751 | 844 |9751 | 856 |  12 |   0 |   0 | 1.077679e+09 |      --      |    Inf 
321.31/321.45	c   321s|     1 |     2 |  3871 |     - |  44M|   0 |  87 |9751 | 844 |9751 | 856 |  12 |   0 |  32 | 1.077679e+09 |      --      |    Inf 
1261.11/1261.48	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1550.94/1551.31	c  1551s| 10000 |  5667 |456963 |  45.3 | 105M|  85 |  50 |9751 |1808 |9751 | 855 |  12 |  10k|6008 | 1.077697e+09 |      --      |    Inf 
1789.59/1790.01	c 
1789.59/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.59/1790.01	c Solving Time (sec) : 1789.73
1789.59/1790.01	c Solving Nodes      : 12603
1789.59/1790.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.59/1790.01	c Dual Bound         : +1.07770058211383e+09
1789.59/1790.01	c Gap                : infinite
1789.59/1790.01	s UNKNOWN
1789.59/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.59/1790.01	c Solving Time       :    1789.73
1789.59/1790.01	c Original Problem   :
1789.59/1790.01	c   Problem name     : HOME/instance-2703466-1278557863.opb
1789.59/1790.01	c   Variables        : 11503 (11503 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.59/1790.01	c   Constraints      : 971 initial, 971 maximal
1789.59/1790.01	c Presolved Problem  :
1789.59/1790.01	c   Problem name     : t_HOME/instance-2703466-1278557863.opb
1789.59/1790.01	c   Variables        : 9751 (9751 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.59/1790.01	c   Constraints      : 844 initial, 3475 maximal
1789.59/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.59/1790.01	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1789.59/1790.01	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1789.59/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.59/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.59/1790.01	c   implics          :       0.01          0          0          0          0          0          0          0          0
1789.59/1790.01	c   probing          :      26.83          0          0          0          0          0          0          0          0
1789.59/1790.01	c   knapsack         :       0.01          0          0          0          0          0          0         48        501
1789.59/1790.01	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1789.59/1790.01	c   linear           :       0.21       1752          0          0       1664          0        127        106        106
1789.59/1790.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.59/1790.01	c   root node        :          -         42          -          -         42          -          -          -          -
1789.59/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.59/1790.01	c   integral         :          0          0          0      11062          0          0       1318          0          0      19914
1789.59/1790.01	c   knapsack         :         48          6      86965          0          1          1      14314          0          0          0
1789.59/1790.01	c   setppc           :        708          6      86964          0          1          3      66911          0          0          0
1789.59/1790.01	c   linear           :         88          6      86961          0          0       2422    3846561         45          0          0
1789.59/1790.01	c   logicor          :          0+         0      16107          0          0        784       8673          0          0          0
1789.59/1790.01	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.59/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.59/1790.01	c   integral         :     139.83       0.00       0.00     139.83       0.00
1789.59/1790.01	c   knapsack         :       0.69       0.00       0.68       0.00       0.00
1789.59/1790.01	c   setppc           :       5.39       0.00       5.39       0.00       0.00
1789.59/1790.01	c   linear           :     768.80     277.33     491.47       0.00       0.00
1789.59/1790.01	c   logicor          :      11.49       0.00      11.49       0.00       0.00
1789.59/1790.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.59/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.59/1790.01	c   vbounds          :       0.08          2          0          0
1789.59/1790.01	c   rootredcost      :       0.08          0          0          0
1789.59/1790.01	c   pseudoobj        :       0.53      81005          0          1
1789.59/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.59/1790.01	c   propagation      :     256.41       3093       3093      22655      607.8         68      579.7          -
1789.59/1790.01	c   infeasible LP    :     132.14        906        705       8989      964.1         64      494.6          0
1789.59/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.59/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.59/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.59/1790.01	c   applied globally :          -          -          -      12204      253.2          -          -          -
1789.59/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.59/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.59/1790.01	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 8)
1789.59/1790.01	c   redcost          :      19.96      10510          0          0          0          0
1789.59/1790.01	c   impliedbounds    :       0.01          6          0          0          0          0
1789.59/1790.01	c   intobj           :       0.00          0          0          0          0          0
1789.59/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1789.59/1790.01	c   gomory           :       0.13          6          0          0          0          0
1789.59/1790.01	c   strongcg         :       0.18          6          0          0          1          0
1789.59/1790.01	c   cmir             :       0.27          6          0          0          5          0
1789.59/1790.01	c   flowcover        :       2.70          6          0          0          3          0
1789.59/1790.01	c   clique           :       0.02          6          0          0          0          0
1789.59/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1789.59/1790.01	c   mcf              :       0.00          1          0          0          0          0
1789.59/1790.01	c   rapidlearning    :       5.45          1          0          0          0          0
1789.59/1790.01	c Pricers            :       Time      Calls       Vars
1789.59/1790.01	c   problem variables:       0.00          0          0
1789.59/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.59/1790.01	c   relpscost        :     139.79      11062          0       1318          0          0      19914
1789.59/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1789.59/1790.01	c   inference        :       0.00          1          0          0          0          0          2
1789.59/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1789.59/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1789.59/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.59/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.59/1790.01	c   random           :       0.00          0          0          0          0          0          0
1789.59/1790.01	c Primal Heuristics  :       Time      Calls      Found
1789.59/1790.01	c   LP solutions     :       0.00          -          0
1789.59/1790.01	c   pseudo solutions :       0.00          -          0
1789.59/1790.01	c   oneopt           :       0.03          0          0
1789.59/1790.01	c   crossover        :       0.01          0          0
1789.59/1790.01	c   guideddiving     :       0.00          0          0
1789.59/1790.01	c   intshifting      :       0.00          0          0
1789.59/1790.01	c   rootsoldiving    :      14.04          2          0
1789.59/1790.01	c   veclendiving     :      71.93          6          0
1789.59/1790.01	c   linesearchdiving :     112.52         11          0
1789.59/1790.01	c   coefdiving       :      87.69         21          0
1789.59/1790.01	c   feaspump         :      12.25         11          0
1789.59/1790.01	c   fracdiving       :     158.85         28          0
1789.59/1790.01	c   pscostdiving     :     163.49         33          0
1789.59/1790.01	c   objpscostdiving  :       5.08         54          0
1789.59/1790.01	c   trivial          :       0.03          2          0
1789.59/1790.01	c   simplerounding   :       0.02          0          0
1789.59/1790.01	c   zirounding       :       0.15       1000          0
1789.59/1790.01	c   rounding         :       4.14       1393          0
1789.59/1790.01	c   shifting         :      38.76        415          0
1789.59/1790.01	c   twoopt           :       0.00          0          0
1789.59/1790.01	c   fixandinfer      :       0.00          0          0
1789.59/1790.01	c   intdiving        :       0.00          0          0
1789.59/1790.01	c   actconsdiving    :       0.00          0          0
1789.59/1790.01	c   octane           :       0.00          0          0
1789.59/1790.01	c   rens             :       0.25          1          0
1789.59/1790.01	c   rins             :       0.00          0          0
1789.59/1790.01	c   localbranching   :       0.00          0          0
1789.59/1790.01	c   mutation         :       0.00          0          0
1789.59/1790.01	c   dins             :       0.00          0          0
1789.59/1790.01	c   undercover       :       0.00          0          0
1789.59/1790.01	c   nlp              :       0.01          0          0
1789.59/1790.01	c   trysol           :       0.02          0          0
1789.59/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.59/1790.01	c   primal LP        :       0.00          0          0       0.00          -
1789.59/1790.01	c   dual LP          :     267.07      11226     345595      30.79    1294.00
1789.59/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1789.59/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1789.59/1790.01	c   diving/probing LP:     212.39      27838     198099       7.12     932.71
1789.59/1790.01	c   strong branching :     138.94       6554     194700      29.71    1401.33
1789.59/1790.01	c     (at root node) :          -         32       3512     109.75          -
1789.59/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1789.59/1790.01	c B&B Tree           :
1789.59/1790.01	c   number of runs   :          1
1789.59/1790.01	c   nodes            :      12603
1789.59/1790.01	c   nodes (total)    :      12603
1789.59/1790.01	c   nodes left       :       7314
1789.59/1790.01	c   max depth        :         93
1789.59/1790.01	c   max depth (total):         93
1789.59/1790.01	c   backtracks       :        260 (2.1%)
1789.59/1790.01	c   delayed cutoffs  :          0
1789.59/1790.01	c   repropagations   :      23478 (3936 domain reductions, 0 cutoffs)
1789.59/1790.01	c   avg switch length:       5.56
1789.59/1790.01	c   switching time   :      18.35
1789.59/1790.01	c Solution           :
1789.59/1790.01	c   Solutions found  :          0 (0 improvements)
1789.59/1790.01	c   Primal Bound     :          -
1789.59/1790.01	c   Dual Bound       : +1.07770058211383e+09
1789.59/1790.01	c   Gap              :   infinite
1789.59/1790.01	c   Root Dual Bound  : +1.07767947127506e+09
1789.59/1790.01	c   Root Iterations  :       3871
1789.79/1790.23	c Time complete: 1789.83.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31314
/proc/meminfo: memFree=1812324/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=7904 CPUtime=0
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 1034 0 0 0 0 0 0 0 18 0 1 0 23997585 8093696 946 1992294400 4194304 8395647 140733964238752 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31314/statm: 1976 954 365 1026 0 946 0

[startup+0.028218 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31314
/proc/meminfo: memFree=1812324/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=12928 CPUtime=0.02
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 2542 0 0 0 2 0 0 0 20 0 1 0 23997585 13238272 2453 1992294400 4194304 8395647 140733964238752 18446744073709551615 6766129 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31314/statm: 3232 2453 393 1026 0 2202 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12928

[startup+0.101222 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31314
/proc/meminfo: memFree=1812324/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=19232 CPUtime=0.09
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 4067 0 0 0 8 1 0 0 20 0 1 0 23997585 19693568 3978 1992294400 4194304 8395647 140733964238752 18446744073709551615 7275963 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31314/statm: 4808 3978 393 1026 0 3778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19232

[startup+0.301236 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31314
/proc/meminfo: memFree=1812324/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=29228 CPUtime=0.29
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 6783 0 0 0 28 1 0 0 20 0 1 0 23997585 29929472 6335 1992294400 4194304 8395647 140733964238752 18446744073709551615 7506570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 7307 6335 410 1026 0 6277 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29228

[startup+0.701264 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31314
/proc/meminfo: memFree=1812324/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=50700 CPUtime=0.69
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 11912 0 0 0 66 3 0 0 20 0 1 0 23997585 51916800 11464 1992294400 4194304 8395647 140733964238752 18446744073709551615 7185430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 12675 11464 475 1026 0 11645 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50700

[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31315
/proc/meminfo: memFree=1766808/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=51792 CPUtime=1.49
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 12263 0 0 0 146 3 0 0 23 0 1 0 23997585 53035008 11815 1992294400 4194304 8395647 140733964238752 18446744073709551615 5026706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 12948 11815 498 1026 0 11918 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51792

[startup+3.10143 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31315
/proc/meminfo: memFree=1766684/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=51792 CPUtime=3.09
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 12263 0 0 0 306 3 0 0 25 0 1 0 23997585 53035008 11815 1992294400 4194304 8395647 140733964238752 18446744073709551615 5028164 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 12948 11815 498 1026 0 11918 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51792

[startup+6.30065 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31315
/proc/meminfo: memFree=1766188/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=51792 CPUtime=6.29
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 12263 0 0 0 626 3 0 0 25 0 1 0 23997585 53035008 11815 1992294400 4194304 8395647 140733964238752 18446744073709551615 5006090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 12948 11815 498 1026 0 11918 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51792

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31315
/proc/meminfo: memFree=1766188/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=51792 CPUtime=12.69
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 12263 0 0 0 1266 3 0 0 25 0 1 0 23997585 53035008 11815 1992294400 4194304 8395647 140733964238752 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 12948 11815 498 1026 0 11918 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51792

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31315
/proc/meminfo: memFree=1766188/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=51792 CPUtime=25.49
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 12290 0 0 0 2546 3 0 0 25 0 1 0 23997585 53035008 11842 1992294400 4194304 8395647 140733964238752 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 12948 11842 504 1026 0 11918 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51792

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31317
/proc/meminfo: memFree=1742132/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=78064 CPUtime=51.08
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 19256 0 0 0 5101 7 0 0 25 0 1 0 23997585 79937536 18026 1992294400 4194304 8395647 140733964238752 18446744073709551615 6013880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 19516 18026 657 1026 0 18486 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 78064

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31317
/proc/meminfo: memFree=1696128/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=125224 CPUtime=102.27
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 32287 0 0 0 10214 13 0 0 25 0 1 0 23997585 128229376 29412 1992294400 4194304 8395647 140733964238752 18446744073709551615 6013880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 31306 29412 705 1026 0 30276 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 125224

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31319
/proc/meminfo: memFree=1696128/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=125224 CPUtime=162.25
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 32307 0 0 0 16212 13 0 0 25 0 1 0 23997585 128229376 29418 1992294400 4194304 8395647 140733964238752 18446744073709551615 6013880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 31306 29418 691 1026 0 30276 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 125224

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31330
/proc/meminfo: memFree=1695880/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=125224 CPUtime=222.23
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 32308 0 0 0 22210 13 0 0 25 0 1 0 23997585 128229376 29418 1992294400 4194304 8395647 140733964238752 18446744073709551615 6013880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 31306 29418 690 1026 0 30276 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 125224

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31332
/proc/meminfo: memFree=1695880/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=125224 CPUtime=282.23
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 32309 0 0 0 28209 14 0 0 25 0 1 0 23997585 128229376 29418 1992294400 4194304 8395647 140733964238752 18446744073709551615 4299032 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 31306 29418 689 1026 0 30276 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 125224

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31334
/proc/meminfo: memFree=1692904/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=128416 CPUtime=342.21
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 33140 0 0 0 34190 31 0 0 25 0 1 0 23997585 131497984 30249 1992294400 4194304 8395647 140733964238752 18446744073709551615 6585964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 32104 30249 696 1026 0 31074 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 128416

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31334
/proc/meminfo: memFree=1692904/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=128416 CPUtime=402.19
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 33141 0 0 0 40154 65 0 0 25 0 1 0 23997585 131497984 30250 1992294400 4194304 8395647 140733964238752 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 32104 30250 697 1026 0 31074 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 128416

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31336
/proc/meminfo: memFree=1692780/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=128416 CPUtime=462.18
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 33177 0 0 0 46130 88 0 0 25 0 1 0 23997585 131497984 30286 1992294400 4194304 8395647 140733964238752 18446744073709551615 6311148 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 32104 30286 697 1026 0 31074 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 128416

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31338
/proc/meminfo: memFree=1692780/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=128416 CPUtime=522.17
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 33177 0 0 0 52111 106 0 0 25 0 1 0 23997585 131497984 30286 1992294400 4194304 8395647 140733964238752 18446744073709551615 6573998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 32104 30286 697 1026 0 31074 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 128416

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31340
/proc/meminfo: memFree=1692780/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=128416 CPUtime=582.15
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 33179 0 0 0 58096 119 0 0 25 0 1 0 23997585 131497984 30288 1992294400 4194304 8395647 140733964238752 18446744073709551615 4968700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 32104 30288 697 1026 0 31074 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 128416

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31342
/proc/meminfo: memFree=1692780/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=128416 CPUtime=642.14
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 33179 0 0 0 64080 134 0 0 25 0 1 0 23997585 131497984 30288 1992294400 4194304 8395647 140733964238752 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 32104 30288 697 1026 0 31074 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 128416

[startup+702.301 s]

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

/proc/meminfo: memFree=1639584/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=182224 CPUtime=1062.05
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 46485 0 0 0 105963 242 0 0 25 0 1 0 23997585 186597376 43593 1992294400 4194304 8395647 140733964238752 18446744073709551615 6386267 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 45556 43593 697 1026 0 44526 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 182224

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31354
/proc/meminfo: memFree=1629044/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=192604 CPUtime=1122.03
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 49036 0 0 0 111945 258 0 0 25 0 1 0 23997585 197226496 46144 1992294400 4194304 8395647 140733964238752 18446744073709551615 5541037 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 48151 46144 697 1026 0 47121 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 192604

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31356
/proc/meminfo: memFree=1616892/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=206300 CPUtime=1182.02
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 52334 0 0 0 117935 267 0 0 25 0 1 0 23997585 211251200 49442 1992294400 4194304 8395647 140733964238752 18446744073709551615 4697930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 51575 49442 697 1026 0 50545 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 206300

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31358
/proc/meminfo: memFree=1606972/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=214984 CPUtime=1242.01
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 54604 0 0 0 123919 282 0 0 25 0 1 0 23997585 220143616 51712 1992294400 4194304 8395647 140733964238752 18446744073709551615 6028056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 53746 51712 795 1026 0 52716 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 214984

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31361
/proc/meminfo: memFree=1598788/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=222964 CPUtime=1302
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 56497 0 0 0 129901 299 0 0 25 0 1 0 23997585 228315136 53604 1992294400 4194304 8395647 140733964238752 18446744073709551615 5027380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 55741 53604 797 1026 0 54711 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 222964

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31363
/proc/meminfo: memFree=1592340/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=229812 CPUtime=1361.98
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 58190 0 0 0 135887 311 0 0 25 0 1 0 23997585 235327488 55297 1992294400 4194304 8395647 140733964238752 18446744073709551615 5024817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 57453 55297 797 1026 0 56423 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 229812

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31365
/proc/meminfo: memFree=1575228/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=247800 CPUtime=1421.98
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 62422 0 0 0 141871 327 0 0 25 0 1 0 23997585 253747200 59529 1992294400 4194304 8395647 140733964238752 18446744073709551615 6691343 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 61950 59529 797 1026 0 60920 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 247800

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31367
/proc/meminfo: memFree=1561340/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=262028 CPUtime=1481.96
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 65877 0 0 0 147853 343 0 0 25 0 1 0 23997585 268316672 62984 1992294400 4194304 8395647 140733964238752 18446744073709551615 6028136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 65507 62984 797 1026 0 64477 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 262028

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31369
/proc/meminfo: memFree=1546460/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=277408 CPUtime=1541.94
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 69573 0 0 0 153838 356 0 0 25 0 1 0 23997585 284065792 66680 1992294400 4194304 8395647 140733964238752 18446744073709551615 6108013 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 69352 66680 797 1026 0 68322 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 277408

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31369
/proc/meminfo: memFree=1536912/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=287740 CPUtime=1601.93
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 72002 0 0 0 159820 373 0 0 25 0 1 0 23997585 294645760 69109 1992294400 4194304 8395647 140733964238752 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 71935 69109 797 1026 0 70905 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 287740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31371
/proc/meminfo: memFree=1529720/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=295060 CPUtime=1661.91
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 73773 0 0 0 165801 390 0 0 25 0 1 0 23997585 302141440 70880 1992294400 4194304 8395647 140733964238752 18446744073709551615 6652335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 73765 70880 797 1026 0 72735 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 295060

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31373
/proc/meminfo: memFree=1521412/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=304328 CPUtime=1721.9
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 75870 0 0 0 171786 404 0 0 25 0 1 0 23997585 311631872 72977 1992294400 4194304 8395647 140733964238752 18446744073709551615 4698013 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 76082 72977 797 1026 0 75052 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 304328

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31375
/proc/meminfo: memFree=1506408/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=319964 CPUtime=1781.89
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 79613 0 0 0 177775 414 0 0 25 0 1 0 23997585 327643136 76720 1992294400 4194304 8395647 140733964238752 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 79991 76720 797 1026 0 78961 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 319964

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31375
/proc/meminfo: memFree=1506036/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=320384 CPUtime=1785.09
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 79693 0 0 0 178094 415 0 0 25 0 1 0 23997585 328073216 76800 1992294400 4194304 8395647 140733964238752 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 80096 76800 797 1026 0 79066 0
Current children cumulated CPU time (s) 1785.09
Current children cumulated vsize (KiB) 320384

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31375
/proc/meminfo: memFree=1505664/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=320660 CPUtime=1788.29
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 79772 0 0 0 178413 416 0 0 25 0 1 0 23997585 328355840 76879 1992294400 4194304 8395647 140733964238752 18446744073709551615 4995986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 80165 76879 797 1026 0 79135 0
Current children cumulated CPU time (s) 1788.29
Current children cumulated vsize (KiB) 320660

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31375
/proc/meminfo: memFree=1505664/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=320796 CPUtime=1789.09
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 79818 0 0 0 178493 416 0 0 25 0 1 0 23997585 328495104 76925 1992294400 4194304 8395647 140733964238752 18446744073709551615 5005929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 80199 76925 797 1026 0 79169 0
Current children cumulated CPU time (s) 1789.09
Current children cumulated vsize (KiB) 320796

[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31375
/proc/meminfo: memFree=1505540/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=320796 CPUtime=1789.49
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 79827 0 0 0 178533 416 0 0 25 0 1 0 23997585 328495104 76934 1992294400 4194304 8395647 140733964238752 18446744073709551615 7185500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31314/statm: 80199 76934 797 1026 0 79169 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (KiB) 320796

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31375
/proc/meminfo: memFree=1505540/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=320796 CPUtime=1789.69
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 79830 0 0 0 178553 416 0 0 25 0 1 0 23997585 328495104 76937 1992294400 4194304 8395647 140733964238752 18446744073709551615 6151167 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31314/statm: 80199 76937 800 1026 0 79169 0
Current children cumulated CPU time (s) 1789.69
Current children cumulated vsize (KiB) 320796

[startup+1790.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31375
/proc/meminfo: memFree=1505540/2059040 swapFree=4108704/4192956
[pid=31314] ppid=31312 vsize=320796 CPUtime=1789.79
/proc/31314/stat : 31314 (pbscip.linux.x8) R 31312 31314 29926 0 -1 4202496 79830 0 0 0 178563 416 0 0 25 0 1 0 23997585 328495104 76937 1992294400 4194304 8395647 140733964238752 18446744073709551615 4751208 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31314/statm: 80199 76937 800 1026 0 79169 0
Current children cumulated CPU time (s) 1789.79
Current children cumulated vsize (KiB) 320796

Child status: 0
Real time (s): 1790.26
CPU time (s): 1789.85
CPU user time (s): 1785.65
CPU system time (s): 4.20036
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 320796

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

runsolver used 3.05653 second user time and 8.35073 second system time

The end

Launcher Data 

Begin job on node034 at 2010-07-08 04:57:43
IDJOB=2703466
IDBENCH=2353
IDSOLVER=1213
FILE ID=node034/2703466-1278557863
PBS_JOBID= 11239505
Free space on /tmp= 62404 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703466-1278557863/watcher-2703466-1278557863 -o /tmp/evaluation-result-2703466-1278557863/solver-2703466-1278557863 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703466-1278557863.opb -t 1800 -m 1800

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

MD5SUM BENCH= c6beff0c06c855c4098e361c6e1a2493
RANDOM SEED=1785077160

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
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.216
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1812852 kB
Buffers:         31516 kB
Cached:         106656 kB
SwapCached:      41168 kB
Active:         105348 kB
Inactive:        75764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1812852 kB
SwapTotal:     4192956 kB
SwapFree:      4108704 kB
Dirty:           11808 kB
Writeback:           0 kB
AnonPages:       10264 kB
Mapped:           6924 kB
Slab:            43188 kB
PageTables:       4196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62392 MiB
End job on node034 at 2010-07-08 05:27:34