Trace number 3740564

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1797.53 1797.89

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/
j90opt/normalized-j909_4.std.opb
MD5SUMbe0ddee39050738fafcfaea7d5126638
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark131
Best CPU time to get the best result obtained on this benchmark1800.85
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints176044
Number of constraints which are clauses174844
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint73
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.00/1.08	c SCIP version 1.1.0.7
1.00/1.08	c LP-Solver SoPlex 1.4.1
1.00/1.08	c user parameter file <scip.set> not found - using default parameters
1.00/1.08	c read problem <HOME/instance-3740564-1338763305.opb>
1.00/1.08	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176044 constraints
1.39/1.40	c start presolving problem
1.39/1.40	c presolving:
6.09/6.14	c (round 1) 3655 del vars, 11058 del conss, 2511 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12008788 impls, 0 clqs
8.19/8.24	c (round 2) 9570 del vars, 29755 del conss, 8200 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12035460 impls, 0 clqs
8.80/8.89	c (round 3) 11542 del vars, 39002 del conss, 9323 chg bounds, 27 chg sides, 25 chg coeffs, 0 upgd conss, 12044665 impls, 0 clqs
9.19/9.27	c (round 4) 12505 del vars, 42575 del conss, 9918 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12050870 impls, 0 clqs
9.39/9.46	c (round 5) 12979 del vars, 44506 del conss, 10207 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12053368 impls, 0 clqs
9.49/9.58	c (round 6) 13129 del vars, 45167 del conss, 10299 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12054330 impls, 0 clqs
9.59/9.67	c (round 7) 13236 del vars, 45583 del conss, 10362 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12055454 impls, 0 clqs
9.68/9.75	c (round 8) 13282 del vars, 45777 del conss, 10388 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12056112 impls, 0 clqs
9.80/9.83	c (round 9) 13316 del vars, 45904 del conss, 10410 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12056240 impls, 0 clqs
9.80/9.89	c (round 10) 13316 del vars, 45957 del conss, 10410 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12056240 impls, 0 clqs
10.39/10.49	c (round 11) 13316 del vars, 45957 del conss, 10410 chg bounds, 32 chg sides, 32 chg coeffs, 130087 upgd conss, 12056240 impls, 0 clqs
313.74/313.81	c    (311.5s) probing: 1000/41466 (2.4%) - 11 fixings, 1 aggregations, 8530014 implications, 0 bound changes
417.83/417.94	c    (415.2s) probing: 2000/41466 (4.8%) - 11 fixings, 1 aggregations, 13421273 implications, 0 bound changes
431.82/431.92	c    (429.2s) probing: 2144/41466 (5.2%) - 11 fixings, 1 aggregations, 14106424 implications, 0 bound changes
431.82/431.92	c    (429.2s) probing aborted: 2000/2000 successive useless probings
431.82/431.92	c (round 12) 13328 del vars, 45957 del conss, 10410 chg bounds, 43 chg sides, 152 chg coeffs, 130087 upgd conss, 59097312 impls, 0 clqs
432.53/432.69	c (round 13) 13328 del vars, 46519 del conss, 10410 chg bounds, 46 chg sides, 269 chg coeffs, 130087 upgd conss, 59097312 impls, 0 clqs
728.85/729.02	c    (725.9s) probing: 3000/41466 (7.2%) - 31 fixings, 16 aggregations, 20159613 implications, 0 bound changes
831.03/831.21	c (round 14) 13378 del vars, 46519 del conss, 10410 chg bounds, 46 chg sides, 269 chg coeffs, 130087 upgd conss, 83505520 impls, 0 clqs
831.83/832.08	c (round 15) 13384 del vars, 46663 del conss, 10410 chg bounds, 46 chg sides, 282 chg coeffs, 130087 upgd conss, 83506534 impls, 0 clqs
984.98/985.24	c    (981.5s) probing: 4000/41466 (9.6%) - 50 fixings, 22 aggregations, 29902911 implications, 0 bound changes
1192.06/1192.39	c    (1188.2s) probing: 5000/41466 (12.1%) - 50 fixings, 25 aggregations, 38551978 implications, 0 bound changes
1323.52/1323.87	c    (1319.4s) probing: 6000/41466 (14.5%) - 52 fixings, 27 aggregations, 43900302 implications, 0 bound changes
1444.50/1444.86	c    (1440.0s) probing: 7000/41466 (16.9%) - 54 fixings, 27 aggregations, 48323075 implications, 0 bound changes
1535.69/1536.06	c    (1531.0s) probing: 8000/41466 (19.3%) - 54 fixings, 27 aggregations, 51878515 implications, 0 bound changes
1622.17/1622.53	c    (1617.2s) probing: 8956/41466 (21.6%) - 54 fixings, 27 aggregations, 55044374 implications, 0 bound changes
1622.17/1622.53	c    (1617.2s) probing aborted: 2000/2000 successive useless probings
1622.17/1622.54	c (round 16) 13403 del vars, 46663 del conss, 10410 chg bounds, 46 chg sides, 282 chg coeffs, 130087 upgd conss, 152418204 impls, 0 clqs
1623.18/1623.53	c (round 17) 13408 del vars, 46726 del conss, 10410 chg bounds, 46 chg sides, 284 chg coeffs, 130087 upgd conss, 152418568 impls, 0 clqs
1625.66/1626.06	c    (1620.7s) probing: 9000/41466 (21.7%) - 54 fixings, 27 aggregations, 55064175 implications, 0 bound changes
1646.96/1647.39	c    (1642.0s) probing: 9156/41466 (22.1%) - 54 fixings, 27 aggregations, 55722773 implications, 0 bound changes
1646.96/1647.39	c    (1642.0s) probing aborted: 2000/2000 successive useless probings
1646.96/1647.40	c presolving (18 rounds):
1646.96/1647.40	c  13408 deleted vars, 46726 deleted constraints, 10410 tightened bounds, 0 added holes, 46 changed sides, 284 changed coefficients
1646.96/1647.40	c  153898284 implications, 0 cliques
1646.96/1647.40	c presolved problem has 41374 variables (41374 bin, 0 int, 0 impl, 0 cont) and 129325 constraints
1646.96/1647.40	c    1133 constraints of type <knapsack>
1646.96/1647.40	c       7 constraints of type <setppc>
1646.96/1647.40	c  128185 constraints of type <logicor>
1646.96/1647.40	c transformed objective value is always integral (scale: 1)
1646.96/1647.40	c Presolving Time: 1641.74
1647.06/1647.42	c OPT-LIN
1647.06/1647.42	c -----------------------------------------------------------------------------------------------
1647.06/1647.42	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1647.06/1647.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1647.06/1647.42	c limits/memory = c 13950
1647.06/1647.42	c # maximal time in seconds to run
1647.06/1647.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1647.06/1647.42	c limits/time = c 1791
1647.06/1647.42	c # frequency for displaying node information lines
1647.06/1647.42	c # [type: int, range: [-1,2147483647], default: 100]
1647.06/1647.42	c display/freq = c 10000
1647.06/1647.42	c -----------------------------------------------------------------------------------------------
1647.06/1647.42	c start solving problem
1647.06/1647.42	c 
1796.84/1797.22	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1796.84/1797.22	c  1792s|     1 |     0 | 24050 |4197M|   0 |   - |  41k| 129k| 129k|  41k| 129k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1796.84/1797.27	c  1792s|     1 |     2 | 24050 |4197M|   0 |   - |  41k| 129k| 129k|  41k| 129k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1796.84/1797.27	c 
1796.84/1797.27	c SCIP Status        : solving was interrupted [time limit reached]
1796.84/1797.27	c Solving Time (sec) : 1791.65
1796.84/1797.27	c Solving Nodes      : 1
1796.84/1797.27	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.84/1797.27	c Dual Bound         : +0.00000000000000e+00
1796.84/1797.27	c Gap                : infinite
1796.84/1797.27	c NODE         1
1796.84/1797.27	c DUAL BOUND   0
1796.84/1797.27	c PRIMAL BOUND 1e+20
1796.84/1797.27	c GAP          1e+20
1796.84/1797.27	s UNKNOWN
1796.84/1797.27	c SCIP Status        : solving was interrupted [time limit reached]
1796.84/1797.27	c Solving Time       :    1791.65
1796.84/1797.27	c Original Problem   :
1796.84/1797.27	c   Problem name     : HOME/instance-3740564-1338763305.opb
1796.84/1797.27	c   Variables        : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.84/1797.27	c   Constraints      : 176044 initial, 176044 maximal
1796.84/1797.27	c Presolved Problem  :
1796.84/1797.27	c   Problem name     : t_HOME/instance-3740564-1338763305.opb
1796.84/1797.27	c   Variables        : 41374 (41374 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.84/1797.27	c   Constraints      : 129325 initial, 129325 maximal
1796.84/1797.27	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.84/1797.27	c   trivial          :       0.07       1028          0          0          0          0          0          0          0
1796.84/1797.27	c   dualfix          :       0.03         91          0          0          0          0          0          0          0
1796.84/1797.27	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.84/1797.27	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.84/1797.27	c   implics          :       1.56          0         11          0          0          0          0          0          0
1796.84/1797.27	c   probing          :    1628.47         54         27          0          0          0          0          0          0
1796.84/1797.27	c   knapsack         :       3.00          0          0          0          0          0          0         14        252
1796.84/1797.27	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1796.84/1797.27	c   linear           :       7.98       9382       2815          0      10410          0      45957         32         32
1796.84/1797.27	c   logicor          :       0.44          0          0          0          0          0        769          0          0
1796.84/1797.27	c   root node        :          -          0          -          -          0          -          -          -          -
1796.84/1797.27	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.84/1797.27	c   integral         :          0          0          0          0          0          0          0          0          0          0
1796.84/1797.27	c   knapsack         :       1133          0     722378          0          1          8          0          0          0          0
1796.84/1797.27	c   setppc           :          7          0     722370          0          1          0          0          0          0          0
1796.84/1797.27	c   logicor          :     128185          0     720476          0          1         32          0          0          0          0
1796.84/1797.27	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1796.84/1797.27	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.84/1797.27	c   integral         :       0.00       0.00       0.00       0.00       0.00
1796.84/1797.27	c   knapsack         :      13.49       0.00      13.49       0.00       0.00
1796.84/1797.27	c   setppc           :       0.21       0.00       0.21       0.00       0.00
1796.84/1797.27	c   logicor          :     194.17       0.00     194.13       0.00       0.04
1796.84/1797.27	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.84/1797.27	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.84/1797.27	c   rootredcost      :       0.11          0          0          0
1796.84/1797.27	c   pseudoobj        :       0.05          1          0          0
1796.84/1797.27	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.84/1797.27	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1796.84/1797.27	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.84/1797.27	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.84/1797.27	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.84/1797.27	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.84/1797.27	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.84/1797.27	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.84/1797.27	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.84/1797.27	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1796.84/1797.27	c   redcost          :       0.00          0          0          0          0          0
1796.84/1797.27	c   impliedbounds    :       0.00          0          0          0          0          0
1796.84/1797.27	c   intobj           :       0.00          0          0          0          0          0
1796.84/1797.27	c   gomory           :       0.00          0          0          0          0          0
1796.84/1797.27	c   strongcg         :       0.00          0          0          0          0          0
1796.84/1797.27	c   cmir             :       0.00          0          0          0          0          0
1796.84/1797.27	c   flowcover        :       0.00          0          0          0          0          0
1796.84/1797.27	c   clique           :       0.00          0          0          0          0          0
1796.84/1797.27	c   zerohalf         :       0.00          0          0          0          0          0
1796.84/1797.27	c   mcf              :       0.00          0          0          0          0          0
1796.84/1797.27	c Pricers            :       Time      Calls       Vars
1796.84/1797.27	c   problem variables:       0.00          0          0
1796.84/1797.27	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.84/1797.27	c   relpscost        :       0.00          0          0          0          0          0          0
1796.84/1797.27	c   pscost           :       0.00          0          0          0          0          0          0
1796.84/1797.27	c   inference        :       0.01          1          0          0          0          0          2
1796.84/1797.27	c   mostinf          :       0.00          0          0          0          0          0          0
1796.84/1797.27	c   leastinf         :       0.00          0          0          0          0          0          0
1796.84/1797.27	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.84/1797.27	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.84/1797.27	c   random           :       0.00          0          0          0          0          0          0
1796.84/1797.27	c Primal Heuristics  :       Time      Calls      Found
1796.84/1797.27	c   LP solutions     :       0.00          -          0
1796.84/1797.27	c   pseudo solutions :       0.00          -          0
1796.84/1797.27	c   oneopt           :       0.00          0          0
1796.84/1797.27	c   simplerounding   :       0.00          0          0
1796.84/1797.27	c   rounding         :       0.00          0          0
1796.84/1797.27	c   shifting         :       0.00          0          0
1796.84/1797.27	c   intshifting      :       0.00          0          0
1796.84/1797.27	c   fixandinfer      :       0.00          0          0
1796.84/1797.27	c   feaspump         :       0.00          0          0
1796.84/1797.27	c   coefdiving       :       0.00          0          0
1796.84/1797.27	c   pscostdiving     :       0.00          0          0
1796.84/1797.27	c   fracdiving       :       0.00          0          0
1796.84/1797.27	c   veclendiving     :       0.00          0          0
1796.84/1797.27	c   intdiving        :       0.00          0          0
1796.84/1797.27	c   actconsdiving    :       0.00          0          0
1796.84/1797.27	c   objpscostdiving  :       0.00          0          0
1796.84/1797.27	c   rootsoldiving    :       0.00          0          0
1796.84/1797.27	c   linesearchdiving :       0.00          0          0
1796.84/1797.27	c   guideddiving     :       0.00          0          0
1796.84/1797.27	c   octane           :       0.00          0          0
1796.84/1797.27	c   rens             :       0.00          0          0
1796.84/1797.27	c   rins             :       0.00          0          0
1796.84/1797.27	c   localbranching   :       0.00          0          0
1796.84/1797.27	c   mutation         :       0.00          0          0
1796.84/1797.27	c   crossover        :       0.00          0          0
1796.84/1797.27	c   dins             :       0.00          0          0
1796.84/1797.27	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.84/1797.27	c   primal LP        :       0.00          0          0       0.00          -
1796.84/1797.27	c   dual LP          :     149.40          1      24050   24050.00     160.98
1796.84/1797.27	c   barrier LP       :       0.00          0          0       0.00          -
1796.84/1797.27	c   diving/probing LP:       0.00          0          0       0.00          -
1796.84/1797.27	c   strong branching :       0.00          0          0       0.00          -
1796.84/1797.27	c     (at root node) :          -          0          0       0.00          -
1796.84/1797.27	c   conflict analysis:       0.00          0          0       0.00          -
1796.84/1797.27	c B&B Tree           :
1796.84/1797.27	c   number of runs   :          1
1796.84/1797.27	c   nodes            :          1
1796.84/1797.27	c   nodes (total)    :          1
1796.84/1797.27	c   nodes left       :          2
1796.84/1797.27	c   max depth        :          0
1796.84/1797.27	c   max depth (total):          0
1796.84/1797.27	c   backtracks       :          0 (0.0%)
1796.84/1797.27	c   delayed cutoffs  :          0
1796.84/1797.27	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.84/1797.27	c   avg switch length:       1.00
1796.84/1797.27	c   switching time   :       0.00
1796.84/1797.27	c Solution           :
1796.84/1797.27	c   Solutions found  :          0 (0 improvements)
1796.84/1797.27	c   Primal Bound     :          -
1796.84/1797.27	c   Dual Bound       : +0.00000000000000e+00
1796.84/1797.27	c   Gap              :   infinite
1796.84/1797.27	c   Root Dual Bound  : +0.00000000000000e+00
1797.44/1797.88	c Time complete: 1797.52.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 11061
/proc/meminfo: memFree=28044044/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=9020 CPUtime=0 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1604 0 0 0 0 0 0 0 20 0 1 0 342455075 9236480 1556 33554432000 4194304 7823515 140736151996752 140736151862856 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 2255 1556 354 887 0 1365 0

[startup+0.0210629 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 11061
/proc/meminfo: memFree=28044044/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=12192 CPUtime=0.01 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 2391 0 0 0 1 0 0 0 20 0 1 0 342455075 12484608 2343 33554432000 4194304 7823515 140736151996752 140736151862856 6288883 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 3048 2343 354 887 0 2158 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12192

[startup+0.100272 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 11061
/proc/meminfo: memFree=28044044/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=25836 CPUtime=0.08 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 5789 0 0 0 8 0 0 0 20 0 1 0 342455075 26456064 5741 33554432000 4194304 7823515 140736151996752 140736151862856 4512305 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 6459 5741 354 887 0 5569 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25836

[startup+0.300267 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 11061
/proc/meminfo: memFree=28044044/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=46044 CPUtime=0.29 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 10867 0 0 0 28 1 0 0 20 0 1 0 342455075 47149056 10819 33554432000 4194304 7823515 140736151996752 140736151862856 6908077 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 11511 10819 354 887 0 10621 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46044

[startup+0.700264 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 11061
/proc/meminfo: memFree=28044044/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=77276 CPUtime=0.69 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 18648 0 0 0 67 2 0 0 20 0 1 0 342455075 79130624 18600 33554432000 4194304 7823515 140736151996752 140736151862856 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 19319 18600 354 887 0 18429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77276

[startup+1.50031 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 11062
/proc/meminfo: memFree=27943224/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=269872 CPUtime=1.49 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 66675 0 0 0 139 10 0 0 20 0 1 0 342455075 276348928 66273 33554432000 4194304 7823515 140736151996752 140736151862856 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 67468 66273 418 887 0 66578 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 269872

[startup+3.10028 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 11062
/proc/meminfo: memFree=27700936/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=439796 CPUtime=3.09 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 109039 0 0 0 292 17 0 0 20 0 1 0 342455075 450351104 108637 33554432000 4194304 7823515 140736151996752 140736151993688 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 109949 108637 427 887 0 109059 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 439796

[startup+6.30032 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 11062
/proc/meminfo: memFree=27443388/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=634472 CPUtime=6.29 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 155082 0 0 0 598 31 0 0 20 0 1 0 342455075 649699328 154680 33554432000 4194304 7823515 140736151996752 140736151993688 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 158618 154680 432 887 0 157728 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 634472

[startup+12.7003 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 11062
/proc/meminfo: memFree=27347656/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=703716 CPUtime=12.69 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 170625 0 0 0 1207 62 0 0 20 0 1 0 342455075 720605184 172325 33554432000 4194304 7823515 140736151996752 140736151993432 5803127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 175929 172325 460 887 0 175039 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 703716

[startup+25.5003 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 11062
/proc/meminfo: memFree=27299576/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=751332 CPUtime=25.49 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 181745 0 0 0 2485 64 0 0 20 0 1 0 342455075 769363968 183445 33554432000 4194304 7823515 140736151996752 140736151992808 5803115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 187833 183445 460 887 0 186943 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 751332

[startup+51.1003 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 11063
/proc/meminfo: memFree=27236064/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=798920 CPUtime=51.08 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 193006 0 0 0 5043 65 0 0 20 0 1 0 342455075 818094080 194706 33554432000 4194304 7823515 140736151996752 140736151992616 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 199730 194706 460 887 0 198840 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 798920

[startup+102.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11063
/proc/meminfo: memFree=26993680/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=958476 CPUtime=102.28 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 231650 0 0 0 10157 71 0 0 20 0 1 0 342455075 981479424 233350 33554432000 4194304 7823515 140736151996752 140736151993448 5803100 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 239619 233350 460 887 0 238729 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 958476

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11063
/proc/meminfo: memFree=26806716/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=1122276 CPUtime=162.27 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 272392 0 0 0 16148 79 0 0 20 0 1 0 342455075 1149210624 274092 33554432000 4194304 7823515 140736151996752 140736151992808 5102375 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 280569 274092 461 887 0 279679 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1122276

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11063
/proc/meminfo: memFree=26511500/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=1376132 CPUtime=222.25 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 334412 0 0 0 22133 92 0 0 20 0 1 0 342455075 1409159168 336112 33554432000 4194304 7823515 140736151996752 140736151992616 5802376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 344033 336112 461 887 0 343143 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1376132

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11063
/proc/meminfo: memFree=26198800/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=1665876 CPUtime=282.24 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 405931 0 0 0 28113 111 0 0 20 0 1 0 342455075 1705857024 407631 33554432000 4194304 7823515 140736151996752 140736151992616 5803131 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 416469 407631 461 887 0 415579 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1665876

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11063
/proc/meminfo: memFree=25942644/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=1890884 CPUtime=342.24 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 462109 0 0 0 34092 132 0 0 20 0 1 0 342455075 1936265216 463809 33554432000 4194304 7823515 140736151996752 140736151992808 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 472721 463809 466 887 0 471831 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1890884

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11064
/proc/meminfo: memFree=25657584/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=2095480 CPUtime=402.23 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 512383 0 0 0 40071 152 0 0 20 0 1 0 342455075 2145771520 514083 33554432000 4194304 7823515 140736151996752 140736151993448 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 523870 514083 466 887 0 522980 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2095480

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11064
/proc/meminfo: memFree=25459512/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=2219132 CPUtime=462.22 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 541723 0 0 0 46053 169 0 0 20 0 1 0 342455075 2272391168 545978 33554432000 4194304 7823515 140736151996752 140736151993448 5803108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 554783 545978 466 887 0 553893 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2219132

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 11067
/proc/meminfo: memFree=25382900/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=2252140 CPUtime=522.21 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 549971 0 0 0 52049 172 0 0 20 0 1 0 342455075 2306191360 554226 33554432000 4194304 7823515 140736151996752 140736151992616 4243090 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 563035 554226 466 887 0 562145 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2252140

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25244304/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=2320220 CPUtime=582.2 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 567254 0 0 0 58045 175 0 0 20 0 1 0 342455075 2375905280 571509 33554432000 4194304 7823515 140736151996752 140736151993448 5803135 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 580055 571509 466 887 0 579165 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2320220

[startup+642.3 s]

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

/proc/meminfo: memFree=24443088/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=3801964 CPUtime=1122.06 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 930769 0 0 0 111935 271 0 0 20 0 1 0 342455075 3893211136 938867 33554432000 4194304 7823515 140736151996752 140736151993448 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 950491 938867 466 887 0 949601 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 3801964

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 11133
/proc/meminfo: memFree=24244892/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=3988968 CPUtime=1182.05 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 976537 0 0 0 117921 284 0 0 20 0 1 0 342455075 4084703232 984997 33554432000 4194304 7823515 140736151996752 140736151993432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 997242 984997 466 887 0 996352 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 3988968

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11133
/proc/meminfo: memFree=24074100/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=4129248 CPUtime=1242.04 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1011718 0 0 0 123905 299 0 0 20 0 1 0 342455075 4228349952 1020289 33554432000 4194304 7823515 140736151996752 140736151993448 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1032312 1020289 466 887 0 1031422 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 4129248

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11134
/proc/meminfo: memFree=23915532/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=4289024 CPUtime=1302.04 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1050829 0 0 0 129888 316 0 0 20 0 1 0 342455075 4391960576 1059559 33554432000 4194304 7823515 140736151996752 140736151993448 5802717 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1072256 1059559 466 887 0 1071366 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 4289024

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11134
/proc/meminfo: memFree=23765024/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=4440344 CPUtime=1362.01 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1088495 0 0 0 135874 327 0 0 20 0 1 0 342455075 4546912256 1097308 33554432000 4194304 7823515 140736151996752 140736151993448 5803127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1110086 1097308 466 887 0 1109196 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 4440344

[startup+1422.31 s]
/proc/loadavg: 2.07 2.03 2.01 4/177 11134
/proc/meminfo: memFree=23643408/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=4561540 CPUtime=1422.01 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1118737 0 0 0 141860 341 0 0 20 0 1 0 342455075 4671016960 1127593 33554432000 4194304 7823515 140736151996752 140736151993432 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1140385 1127593 466 887 0 1139495 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 4561540

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11134
/proc/meminfo: memFree=23516956/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=4688856 CPUtime=1481.99 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1150510 0 0 0 147841 358 0 0 20 0 1 0 342455075 4801388544 1159534 33554432000 4194304 7823515 140736151996752 140736151992616 5803127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1172214 1159534 466 887 0 1171324 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 4688856

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11134
/proc/meminfo: memFree=23342640/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=4865432 CPUtime=1541.99 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1193649 0 0 0 153823 376 0 0 20 0 1 0 342455075 4982202368 1202734 33554432000 4194304 7823515 140736151996752 140736151993432 4209630 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1216358 1202734 466 887 0 1215468 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 4865432

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11135
/proc/meminfo: memFree=23185064/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5024788 CPUtime=1601.96 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1233149 0 0 0 159804 392 0 0 20 0 1 0 342455075 5145382912 1242235 33554432000 4194304 7823515 140736151996752 140736151993448 5422761 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1256197 1242235 466 887 0 1255307 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 5024788

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11135
/proc/meminfo: memFree=22930784/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5286876 CPUtime=1661.96 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1285931 0 0 0 165783 413 0 0 20 0 1 0 342455075 5413761024 1305366 33554432000 4194304 7823515 140736151996752 140736151992088 6212079 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1321719 1305366 531 887 0 1320829 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 5286876

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11138
/proc/meminfo: memFree=22917040/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5298396 CPUtime=1721.95 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1289296 0 0 0 171778 417 0 0 20 0 1 0 342455075 5425557504 1308792 33554432000 4194304 7823515 140736151996752 140736151992088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1324599 1308792 531 887 0 1323709 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 5298396

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11138
/proc/meminfo: memFree=22908704/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5304832 CPUtime=1781.94 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290745 0 0 0 177773 421 0 0 20 0 1 0 342455075 5432147968 1310809 33554432000 4194304 7823515 140736151996752 140736151992504 6211574 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1326208 1310809 531 887 0 1325318 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 5304832

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11138
/proc/meminfo: memFree=22908440/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5304832 CPUtime=1785.14 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290860 0 0 0 178092 422 0 0 20 0 1 0 342455075 5432147968 1310926 33554432000 4194304 7823515 140736151996752 140736151992088 6908057 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1326208 1310926 531 887 0 1325318 0
Current children cumulated CPU time (s) 1785.14
Current children cumulated vsize (KiB) 5304832

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11138
/proc/meminfo: memFree=22908316/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5304984 CPUtime=1791.55 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290892 0 0 0 178733 422 0 0 20 0 1 0 342455075 5432303616 1310958 33554432000 4194304 7823515 140736151996752 140736151992552 6206056 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1326246 1310958 531 887 0 1325356 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 5304984

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11138
/proc/meminfo: memFree=22908176/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5304984 CPUtime=1794.74 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290902 0 0 0 179052 422 0 0 20 0 1 0 342455075 5432303616 1310980 33554432000 4194304 7823515 140736151996752 140736151992552 6180591 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1326246 1310980 531 887 0 1325356 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 5304984

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11138
/proc/meminfo: memFree=22908176/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5304984 CPUtime=1796.34 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290902 0 0 0 179212 422 0 0 20 0 1 0 342455075 5432303616 1310980 33554432000 4194304 7823515 140736151996752 140736151992088 6206238 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1326246 1310980 531 887 0 1325356 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 5304984

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11138
/proc/meminfo: memFree=22908176/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5304984 CPUtime=1797.14 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290912 0 0 0 179292 422 0 0 20 0 1 0 342455075 5432303616 1310990 33554432000 4194304 7823515 140736151996752 140736151992088 4211548 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1326246 1310990 541 887 0 1325356 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 5304984

[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11138
/proc/meminfo: memFree=22908176/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5094156 CPUtime=1797.34 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290912 0 0 0 179309 425 0 0 20 0 1 0 342455075 5216415744 882596 33554432000 4194304 7823515 140736151996752 140736151992088 7132266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1273539 882201 541 887 0 1272649 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (KiB) 5094156

[startup+1797.8 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11138
/proc/meminfo: memFree=22908176/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5094156 CPUtime=1797.44 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290912 0 0 0 179309 435 0 0 20 0 1 0 342455075 5216415744 477150 33554432000 4194304 7823515 140736151996752 140736151992088 7132266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1273539 476669 541 887 0 1272649 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 5094156

Child status: 0
Real time (s): 1797.89
CPU time (s): 1797.53
CPU user time (s): 1793.09
CPU system time (s): 4.43833
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 5304984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.09
system time used= 4.43832
maximum resident set size= 5243960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1290919
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= 133
involuntary context switches= 1899

runsolver used 3.31849 second user time and 8.75267 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-04 00:41:45
IDJOB=3740564
IDBENCH=77770
IDSOLVER=2321
FILE ID=node137/3740564-1338763305
RUNJOBID= node137-1338748474-8626
PBS_JOBID= 14636788
Free space on /tmp= 70304 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j909_4.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740564-1338763305/watcher-3740564-1338763305 -o /tmp/evaluation-result-3740564-1338763305/solver-3740564-1338763305 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740564-1338763305.opb

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

MD5SUM BENCH= be0ddee39050738fafcfaea7d5126638
RANDOM SEED=173334920

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28043944 kB
Buffers:          279664 kB
Cached:          1268636 kB
SwapCached:         5796 kB
Active:          3283444 kB
Inactive:         717776 kB
Active(anon):    2447992 kB
Inactive(anon):     7168 kB
Active(file):     835452 kB
Inactive(file):   710608 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             15264 kB
Writeback:            24 kB
AnonPages:       2456336 kB
Mapped:            10980 kB
Shmem:                 0 kB
Slab:             685032 kB
SReclaimable:     126076 kB
SUnreclaim:       558956 kB
KernelStack:        1456 kB
PageTables:         8788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2607712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70296 MiB
End job on node137 at 2012-06-04 01:11:43