Trace number 3740410

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)? 1796.73 1797.01

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12038_4.std.opb
MD5SUM661b4190c55178f9645295549e370fd5
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark147
Best CPU time to get the best result obtained on this benchmark1800.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints245147
Number of constraints which are clauses243947
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 constraint120
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.49/1.54	c SCIP version 1.1.0.7
1.49/1.54	c LP-Solver SoPlex 1.4.1
1.49/1.54	c user parameter file <scip.set> not found - using default parameters
1.49/1.54	c read problem <HOME/instance-3740410-1338760889.opb>
1.49/1.54	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245147 constraints
1.89/1.96	c start presolving problem
1.89/1.96	c presolving:
8.59/8.64	c (round 1) 7035 del vars, 21526 del conss, 5343 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16592736 impls, 0 clqs
12.19/12.29	c (round 2) 14712 del vars, 52128 del conss, 12923 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16634338 impls, 0 clqs
13.39/13.49	c (round 3) 18128 del vars, 67095 del conss, 14774 chg bounds, 15 chg sides, 14 chg coeffs, 0 upgd conss, 16652301 impls, 0 clqs
14.09/14.10	c (round 4) 19259 del vars, 72044 del conss, 15492 chg bounds, 39 chg sides, 38 chg coeffs, 0 upgd conss, 16663188 impls, 0 clqs
14.49/14.55	c (round 5) 20064 del vars, 75080 del conss, 16008 chg bounds, 39 chg sides, 38 chg coeffs, 0 upgd conss, 16672246 impls, 0 clqs
14.79/14.87	c (round 6) 20716 del vars, 77615 del conss, 16402 chg bounds, 39 chg sides, 38 chg coeffs, 0 upgd conss, 16678212 impls, 0 clqs
15.09/15.10	c (round 7) 21050 del vars, 79089 del conss, 16632 chg bounds, 39 chg sides, 38 chg coeffs, 0 upgd conss, 16681222 impls, 0 clqs
15.19/15.27	c (round 8) 21252 del vars, 79953 del conss, 16770 chg bounds, 39 chg sides, 38 chg coeffs, 0 upgd conss, 16683180 impls, 0 clqs
15.39/15.41	c (round 9) 21407 del vars, 80566 del conss, 16869 chg bounds, 39 chg sides, 38 chg coeffs, 0 upgd conss, 16685323 impls, 0 clqs
15.49/15.52	c (round 10) 21507 del vars, 81009 del conss, 16933 chg bounds, 39 chg sides, 38 chg coeffs, 0 upgd conss, 16686827 impls, 0 clqs
15.59/15.66	c (round 11) 21565 del vars, 81256 del conss, 16971 chg bounds, 39 chg sides, 38 chg coeffs, 0 upgd conss, 16687771 impls, 0 clqs
15.69/15.78	c (round 12) 21609 del vars, 81440 del conss, 17002 chg bounds, 39 chg sides, 38 chg coeffs, 0 upgd conss, 16688102 impls, 0 clqs
15.79/15.86	c (round 13) 21627 del vars, 81540 del conss, 17003 chg bounds, 39 chg sides, 38 chg coeffs, 0 upgd conss, 16688174 impls, 0 clqs
16.50/16.50	c (round 14) 21627 del vars, 81548 del conss, 17003 chg bounds, 39 chg sides, 38 chg coeffs, 163599 upgd conss, 16688174 impls, 0 clqs
19.39/19.41	c (round 15) 21627 del vars, 81551 del conss, 17003 chg bounds, 84 chg sides, 253 chg coeffs, 163599 upgd conss, 16688174 impls, 0 clqs
19.59/19.64	c (round 16) 21627 del vars, 81579 del conss, 17003 chg bounds, 90 chg sides, 274 chg coeffs, 163599 upgd conss, 16688174 impls, 0 clqs
436.42/436.54	c    (433.4s) probing: 1000/51215 (2.0%) - 0 fixings, 0 aggregations, 11206494 implications, 0 bound changes
650.00/650.19	c    (646.5s) probing: 2000/51215 (3.9%) - 0 fixings, 0 aggregations, 17429626 implications, 0 bound changes
650.19/650.31	c    (646.6s) probing: 2001/51215 (3.9%) - 0 fixings, 0 aggregations, 17436881 implications, 0 bound changes
650.19/650.31	c    (646.6s) probing aborted: 2000/2000 successive useless probings
650.19/650.32	c presolving (17 rounds):
650.19/650.32	c  21627 deleted vars, 81579 deleted constraints, 17003 tightened bounds, 0 added holes, 90 changed sides, 275 changed coefficients
650.19/650.32	c  84799278 implications, 0 cliques
650.19/650.32	c presolved problem has 51215 variables (51215 bin, 0 int, 0 impl, 0 cont) and 163618 constraints
650.19/650.32	c    1154 constraints of type <knapsack>
650.19/650.32	c      25 constraints of type <setppc>
650.19/650.32	c  162439 constraints of type <logicor>
650.19/650.32	c transformed objective value is always integral (scale: 1)
650.19/650.32	c Presolving Time: 646.33
650.19/650.35	c OPT-LIN
650.19/650.35	c -----------------------------------------------------------------------------------------------
650.19/650.35	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
650.19/650.35	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
650.19/650.35	c limits/memory = c 13950
650.19/650.35	c # maximal time in seconds to run
650.19/650.35	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
650.19/650.35	c limits/time = c 1791
650.19/650.35	c # frequency for displaying node information lines
650.19/650.35	c # [type: int, range: [-1,2147483647], default: 100]
650.19/650.35	c display/freq = c 10000
650.19/650.35	c -----------------------------------------------------------------------------------------------
650.19/650.35	c start solving problem
650.19/650.35	c 
1796.02/1796.32	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1796.02/1796.32	c  1792s|     1 |     0 | 83800 |2475M|   0 |   - |  51k| 163k| 163k|  51k| 163k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1796.02/1796.39	c  1792s|     1 |     2 | 83800 |2475M|   0 |   - |  51k| 163k| 163k|  51k| 163k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1796.02/1796.39	c 
1796.02/1796.39	c SCIP Status        : solving was interrupted [time limit reached]
1796.02/1796.39	c Solving Time (sec) : 1791.92
1796.02/1796.39	c Solving Nodes      : 1
1796.02/1796.39	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.02/1796.39	c Dual Bound         : +0.00000000000000e+00
1796.02/1796.39	c Gap                : infinite
1796.02/1796.39	c NODE         1
1796.02/1796.39	c DUAL BOUND   0
1796.02/1796.39	c PRIMAL BOUND 1e+20
1796.02/1796.39	c GAP          1e+20
1796.02/1796.39	s UNKNOWN
1796.02/1796.39	c SCIP Status        : solving was interrupted [time limit reached]
1796.02/1796.39	c Solving Time       :    1791.92
1796.02/1796.39	c Original Problem   :
1796.02/1796.39	c   Problem name     : HOME/instance-3740410-1338760889.opb
1796.02/1796.39	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.02/1796.39	c   Constraints      : 245147 initial, 245147 maximal
1796.02/1796.39	c Presolved Problem  :
1796.02/1796.39	c   Problem name     : t_HOME/instance-3740410-1338760889.opb
1796.02/1796.39	c   Variables        : 51215 (51215 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.02/1796.39	c   Constraints      : 163618 initial, 163618 maximal
1796.02/1796.39	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.02/1796.39	c   trivial          :       0.05       1481          0          0          0          0          0          0          0
1796.02/1796.39	c   dualfix          :       0.06        124          0          0          0          0          0          0          0
1796.02/1796.39	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.02/1796.39	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.02/1796.39	c   implics          :       0.55          0          0          0          0          0          0          0          0
1796.02/1796.39	c   probing          :     629.24          0          0          0          0          0          0          0          0
1796.02/1796.39	c   knapsack         :       2.78          0          0          0          0          0          6         51        237
1796.02/1796.39	c   setppc           :       0.00          0          0          0          0          0         25          0          0
1796.02/1796.39	c   linear           :      13.06      15524       4498          0      17003          0      81548         39         38
1796.02/1796.39	c   logicor          :       0.32          0          0          0          0          0          0          0          0
1796.02/1796.39	c   root node        :          -          0          -          -          0          -          -          -          -
1796.02/1796.39	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.02/1796.39	c   integral         :          0          0          0          0          0          0          0          0          0          0
1796.02/1796.39	c   knapsack         :       1154          0     184940          0          1          0          0          0          0          0
1796.02/1796.39	c   setppc           :         25          0     184940          0          1          0          0          0          0          0
1796.02/1796.39	c   logicor          :     162439          0     184294          0          1          0          0          0          0          0
1796.02/1796.39	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1796.02/1796.39	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.02/1796.39	c   integral         :       0.00       0.00       0.00       0.00       0.00
1796.02/1796.39	c   knapsack         :       4.13       0.00       4.13       0.00       0.00
1796.02/1796.39	c   setppc           :       0.13       0.00       0.13       0.00       0.00
1796.02/1796.39	c   logicor          :      59.77       0.00      59.72       0.00       0.05
1796.02/1796.39	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.02/1796.39	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.02/1796.39	c   rootredcost      :       0.03          0          0          0
1796.02/1796.39	c   pseudoobj        :       0.01          1          0          0
1796.02/1796.39	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.02/1796.39	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1796.02/1796.39	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.02/1796.39	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.02/1796.39	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.02/1796.39	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.02/1796.39	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.02/1796.39	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.02/1796.39	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.02/1796.39	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1796.02/1796.39	c   redcost          :       0.00          0          0          0          0          0
1796.02/1796.39	c   impliedbounds    :       0.00          0          0          0          0          0
1796.02/1796.39	c   intobj           :       0.00          0          0          0          0          0
1796.02/1796.39	c   gomory           :       0.00          0          0          0          0          0
1796.02/1796.39	c   strongcg         :       0.00          0          0          0          0          0
1796.02/1796.39	c   cmir             :       0.00          0          0          0          0          0
1796.02/1796.39	c   flowcover        :       0.00          0          0          0          0          0
1796.02/1796.39	c   clique           :       0.00          0          0          0          0          0
1796.02/1796.39	c   zerohalf         :       0.00          0          0          0          0          0
1796.02/1796.39	c   mcf              :       0.00          0          0          0          0          0
1796.02/1796.39	c Pricers            :       Time      Calls       Vars
1796.02/1796.39	c   problem variables:       0.00          0          0
1796.02/1796.39	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.02/1796.39	c   relpscost        :       0.00          0          0          0          0          0          0
1796.02/1796.39	c   pscost           :       0.00          0          0          0          0          0          0
1796.02/1796.39	c   inference        :       0.02          1          0          0          0          0          2
1796.02/1796.39	c   mostinf          :       0.00          0          0          0          0          0          0
1796.02/1796.39	c   leastinf         :       0.00          0          0          0          0          0          0
1796.02/1796.39	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.02/1796.39	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.02/1796.39	c   random           :       0.00          0          0          0          0          0          0
1796.02/1796.39	c Primal Heuristics  :       Time      Calls      Found
1796.02/1796.39	c   LP solutions     :       0.00          -          0
1796.02/1796.39	c   pseudo solutions :       0.00          -          0
1796.02/1796.39	c   oneopt           :       0.00          0          0
1796.02/1796.39	c   simplerounding   :       0.00          0          0
1796.02/1796.39	c   rounding         :       0.00          0          0
1796.02/1796.39	c   shifting         :       0.00          0          0
1796.02/1796.39	c   intshifting      :       0.00          0          0
1796.02/1796.39	c   fixandinfer      :       0.00          0          0
1796.02/1796.39	c   feaspump         :       0.00          0          0
1796.02/1796.39	c   coefdiving       :       0.00          0          0
1796.02/1796.39	c   pscostdiving     :       0.00          0          0
1796.02/1796.39	c   fracdiving       :       0.00          0          0
1796.02/1796.39	c   veclendiving     :       0.00          0          0
1796.02/1796.39	c   intdiving        :       0.00          0          0
1796.02/1796.39	c   actconsdiving    :       0.00          0          0
1796.02/1796.39	c   objpscostdiving  :       0.00          0          0
1796.02/1796.39	c   rootsoldiving    :       0.00          0          0
1796.02/1796.39	c   linesearchdiving :       0.00          0          0
1796.02/1796.39	c   guideddiving     :       0.00          0          0
1796.02/1796.39	c   octane           :       0.00          0          0
1796.02/1796.39	c   rens             :       0.00          0          0
1796.02/1796.39	c   rins             :       0.00          0          0
1796.02/1796.39	c   localbranching   :       0.00          0          0
1796.02/1796.39	c   mutation         :       0.00          0          0
1796.02/1796.39	c   crossover        :       0.00          0          0
1796.02/1796.39	c   dins             :       0.00          0          0
1796.02/1796.39	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.02/1796.39	c   primal LP        :       0.00          0          0       0.00          -
1796.02/1796.39	c   dual LP          :    1144.88          1      83800   83800.00      73.20
1796.02/1796.39	c   barrier LP       :       0.00          0          0       0.00          -
1796.02/1796.39	c   diving/probing LP:       0.00          0          0       0.00          -
1796.02/1796.39	c   strong branching :       0.00          0          0       0.00          -
1796.02/1796.39	c     (at root node) :          -          0          0       0.00          -
1796.02/1796.39	c   conflict analysis:       0.00          0          0       0.00          -
1796.02/1796.39	c B&B Tree           :
1796.02/1796.39	c   number of runs   :          1
1796.02/1796.39	c   nodes            :          1
1796.02/1796.39	c   nodes (total)    :          1
1796.02/1796.39	c   nodes left       :          2
1796.02/1796.39	c   max depth        :          0
1796.02/1796.39	c   max depth (total):          0
1796.02/1796.39	c   backtracks       :          0 (0.0%)
1796.02/1796.39	c   delayed cutoffs  :          0
1796.02/1796.39	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.02/1796.39	c   avg switch length:       1.00
1796.02/1796.39	c   switching time   :       0.00
1796.02/1796.39	c Solution           :
1796.02/1796.39	c   Solutions found  :          0 (0 improvements)
1796.02/1796.39	c   Primal Bound     :          -
1796.02/1796.39	c   Dual Bound       : +0.00000000000000e+00
1796.02/1796.39	c   Gap              :   infinite
1796.02/1796.39	c   Root Dual Bound  : +0.00000000000000e+00
1796.72/1797.00	c Time complete: 1796.72.

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-3740410-1338760889/watcher-3740410-1338760889 -o /tmp/evaluation-result-3740410-1338760889/solver-3740410-1338760889 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740410-1338760889.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.03 2.00 3/177 28915
/proc/meminfo: memFree=25169368/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=9016 CPUtime=0 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 1588 0 0 0 0 0 0 0 20 0 1 0 342213449 9232384 1541 33554432000 4194304 7823515 140737113889296 140737113821208 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 2254 1547 354 887 0 1364 0

[startup+0.0797 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 28915
/proc/meminfo: memFree=25169368/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=23132 CPUtime=0.07 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 5121 0 0 0 7 0 0 0 20 0 1 0 342213449 23687168 5074 33554432000 4194304 7823515 140737113889296 140737113821208 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 5783 5074 354 887 0 4893 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23132

[startup+0.100614 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 28915
/proc/meminfo: memFree=25169368/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=25832 CPUtime=0.09 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 5789 0 0 0 9 0 0 0 20 0 1 0 342213449 26451968 5742 33554432000 4194304 7823515 140737113889296 140737113821208 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 6458 5742 354 887 0 5568 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25832

[startup+0.30023 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 28915
/proc/meminfo: memFree=25169368/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=51588 CPUtime=0.29 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 12256 0 0 0 28 1 0 0 20 0 1 0 342213449 52826112 12209 33554432000 4194304 7823515 140737113889296 140737113755400 6908052 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 12897 12209 354 887 0 12007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51588

[startup+0.70026 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 28915
/proc/meminfo: memFree=25169368/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=76952 CPUtime=0.69 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 18553 0 0 0 66 3 0 0 20 0 1 0 342213449 78798848 18506 33554432000 4194304 7823515 140737113889296 140737113755400 6854469 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 19238 18506 354 887 0 18348 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76952

[startup+1.50023 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 28916
/proc/meminfo: memFree=25068104/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=144204 CPUtime=1.49 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 35339 0 0 0 144 5 0 0 20 0 1 0 342213449 147664896 35292 33554432000 4194304 7823515 140737113889296 140737113755400 6289039 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 36051 35292 354 887 0 35161 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 144204

[startup+3.10027 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 28916
/proc/meminfo: memFree=24811920/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=486368 CPUtime=3.09 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 120399 0 0 0 289 20 0 0 20 0 1 0 342213449 498040832 119998 33554432000 4194304 7823515 140737113889296 140737113886232 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 121592 119999 427 887 0 120702 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 486368

[startup+6.30026 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 28916
/proc/meminfo: memFree=24499812/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=736988 CPUtime=6.29 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 182021 0 0 0 597 32 0 0 20 0 1 0 342213449 754675712 181620 33554432000 4194304 7823515 140737113889296 140737113886232 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 184247 181620 427 887 0 183357 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 736988

[startup+12.7003 s]
/proc/loadavg: 2.10 2.04 2.01 3/178 28916
/proc/meminfo: memFree=24331552/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=852608 CPUtime=12.69 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 208769 0 0 0 1222 47 0 0 20 0 1 0 342213449 873070592 208368 33554432000 4194304 7823515 140737113889296 140737113886232 5808261 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 213152 208368 432 887 0 212262 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 852608

[startup+25.5003 s]
/proc/loadavg: 2.08 2.04 2.00 3/178 28916
/proc/meminfo: memFree=24241440/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=943000 CPUtime=25.49 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 229131 0 0 0 2457 92 0 0 20 0 1 0 342213449 965632000 230820 33554432000 4194304 7823515 140737113889296 140737113885992 4263286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 235750 230820 460 887 0 234860 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 943000

[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 28916
/proc/meminfo: memFree=24209036/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=973196 CPUtime=51.09 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 235831 0 0 0 5016 93 0 0 20 0 1 0 342213449 996552704 237520 33554432000 4194304 7823515 140737113889296 140737113885160 4207222 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 243299 237520 460 887 0 242409 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 973196

[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 28917
/proc/meminfo: memFree=24051848/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=1096360 CPUtime=102.28 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 264930 0 0 0 10128 100 0 0 20 0 1 0 342213449 1122672640 266619 33554432000 4194304 7823515 140737113889296 140737113885992 5803135 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 274090 266619 460 887 0 273200 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1096360

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 28917
/proc/meminfo: memFree=23727244/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=1393184 CPUtime=162.26 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 337698 0 0 0 16114 112 0 0 20 0 1 0 342213449 1426620416 339387 33554432000 4194304 7823515 140737113889296 140737113885352 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 348296 339387 461 887 0 347406 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1393184

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28917
/proc/meminfo: memFree=23490804/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=1577156 CPUtime=222.25 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 383616 0 0 0 22104 121 0 0 20 0 1 0 342213449 1615007744 385305 33554432000 4194304 7823515 140737113889296 140737113885992 5102411 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 394289 385305 461 887 0 393399 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1577156

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28917
/proc/meminfo: memFree=23286604/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=1713752 CPUtime=282.25 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 417947 0 0 0 28095 130 0 0 20 0 1 0 342213449 1754882048 419636 33554432000 4194304 7823515 140737113889296 140737113885992 5803658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 428438 419636 461 887 0 427548 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1713752

[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 28917
/proc/meminfo: memFree=23012840/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=1933900 CPUtime=342.23 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 472385 0 0 0 34082 141 0 0 20 0 1 0 342213449 1980313600 474074 33554432000 4194304 7823515 140737113889296 140737113885160 5803127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 483475 474074 461 887 0 482585 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1933900

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28918
/proc/meminfo: memFree=22699024/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=2158756 CPUtime=402.23 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 528603 0 0 0 40068 155 0 0 20 0 1 0 342213449 2210566144 530292 33554432000 4194304 7823515 140737113889296 140737113885992 4243012 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 539689 530292 461 887 0 538799 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2158756

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28918
/proc/meminfo: memFree=22394012/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=2376308 CPUtime=462.22 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 582470 0 0 0 46056 166 0 0 20 0 1 0 342213449 2433339392 584159 33554432000 4194304 7823515 140737113889296 140737113885992 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 594077 584159 466 887 0 593187 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2376308

[startup+522.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 28921
/proc/meminfo: memFree=22088252/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=2566976 CPUtime=522.21 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 630752 0 0 0 52041 180 0 0 20 0 1 0 342213449 2628583424 632441 33554432000 4194304 7823515 140737113889296 140737113885992 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 641744 632441 466 887 0 640854 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2566976

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28921
/proc/meminfo: memFree=21824068/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=2738412 CPUtime=582.2 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 672717 0 0 0 58027 193 0 0 20 0 1 0 342213449 2804133888 674406 33554432000 4194304 7823515 140737113889296 140737113885992 5426598 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 684603 674406 466 887 0 683713 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2738412

[startup+642.3 s]

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

/proc/meminfo: memFree=23845188/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3187308 CPUtime=1122.12 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 766400 0 0 0 111970 242 0 0 20 0 1 0 342213449 3263803392 784240 33554432000 4194304 7823515 140737113889296 140737113884632 5964872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 796827 784240 531 887 0 795937 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3187308

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28964
/proc/meminfo: memFree=23728912/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3187308 CPUtime=1182.11 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 766400 0 0 0 117966 245 0 0 20 0 1 0 342213449 3263803392 784493 33554432000 4194304 7823515 140737113889296 140737113884632 6908153 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 796827 784493 531 887 0 795937 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3187308

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28964
/proc/meminfo: memFree=23588128/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3187308 CPUtime=1242.1 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 766401 0 0 0 123963 247 0 0 20 0 1 0 342213449 3263803392 784494 33554432000 4194304 7823515 140737113889296 140737113885048 6234827 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 796827 784494 531 887 0 795937 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3187308

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28965
/proc/meminfo: memFree=23526404/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3187308 CPUtime=1302.1 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 766403 0 0 0 129960 250 0 0 20 0 1 0 342213449 3263803392 784496 33554432000 4194304 7823515 140737113889296 140737113884984 6180599 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 796827 784496 531 887 0 795937 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 3187308

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28965
/proc/meminfo: memFree=23480924/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3187308 CPUtime=1362.09 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 766421 0 0 0 135956 253 0 0 20 0 1 0 342213449 3263803392 784514 33554432000 4194304 7823515 140737113889296 140737113884632 6211574 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 796827 784514 531 887 0 795937 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 3187308

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28965
/proc/meminfo: memFree=23395144/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3191672 CPUtime=1422.08 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 767034 0 0 0 141953 255 0 0 20 0 1 0 342213449 3268272128 785127 33554432000 4194304 7823515 140737113889296 140737113884632 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 797918 785127 531 887 0 797028 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3191672

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28965
/proc/meminfo: memFree=23267208/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3191672 CPUtime=1482.06 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 767043 0 0 0 147948 258 0 0 20 0 1 0 342213449 3268272128 785536 33554432000 4194304 7823515 140737113889296 140737113884632 6180591 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 797918 785536 531 887 0 797028 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3191672

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28965
/proc/meminfo: memFree=23042292/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3207740 CPUtime=1542.05 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 768495 0 0 0 153944 261 0 0 20 0 1 0 342213449 3284725760 791328 33554432000 4194304 7823515 140737113889296 140737113884632 6212418 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 801935 791328 531 887 0 801045 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3207740

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28966
/proc/meminfo: memFree=22834372/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3207740 CPUtime=1602.05 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 768495 0 0 0 159941 264 0 0 20 0 1 0 342213449 3284725760 791887 33554432000 4194304 7823515 140737113889296 140737113884632 6212544 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 801935 791887 531 887 0 801045 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3207740

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28966
/proc/meminfo: memFree=22575736/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3207740 CPUtime=1662.04 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 768496 0 0 0 165938 266 0 0 20 0 1 0 342213449 3284725760 791907 33554432000 4194304 7823515 140737113889296 140737113884984 6908132 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 801935 791907 531 887 0 801045 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 3207740

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28969
/proc/meminfo: memFree=22442580/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3207740 CPUtime=1722.03 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 768498 0 0 0 171934 269 0 0 20 0 1 0 342213449 3284725760 791919 33554432000 4194304 7823515 140737113889296 140737113884632 6216465 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 801935 791919 531 887 0 801045 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3207740

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28969
/proc/meminfo: memFree=22253888/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3207740 CPUtime=1782.02 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 768498 0 0 0 177931 271 0 0 20 0 1 0 342213449 3284725760 792106 33554432000 4194304 7823515 140737113889296 140737113884632 6211728 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 801935 792106 531 887 0 801045 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3207740

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 28969
/proc/meminfo: memFree=22235660/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3207740 CPUtime=1785.22 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 768498 0 0 0 178251 271 0 0 20 0 1 0 342213449 3284725760 792106 33554432000 4194304 7823515 140737113889296 140737113884632 6212330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 801935 792106 531 887 0 801045 0
Current children cumulated CPU time (s) 1785.22
Current children cumulated vsize (KiB) 3207740

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28969
/proc/meminfo: memFree=22227336/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3207740 CPUtime=1791.62 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 768498 0 0 0 178891 271 0 0 20 0 1 0 342213449 3284725760 792108 33554432000 4194304 7823515 140737113889296 140737113885096 6211711 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 801935 792108 531 887 0 801045 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 3207740

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28969
/proc/meminfo: memFree=22208488/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3207740 CPUtime=1794.82 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 768498 0 0 0 179211 271 0 0 20 0 1 0 342213449 3284725760 792108 33554432000 4194304 7823515 140737113889296 140737113885048 6212418 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 801935 792108 531 887 0 801045 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 3207740

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28969
/proc/meminfo: memFree=22208488/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3207740 CPUtime=1795.62 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 768498 0 0 0 179291 271 0 0 20 0 1 0 342213449 3284725760 792108 33554432000 4194304 7823515 140737113889296 140737113884632 6206159 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 801935 792108 531 887 0 801045 0
Current children cumulated CPU time (s) 1795.62
Current children cumulated vsize (KiB) 3207740

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28969
/proc/meminfo: memFree=22203032/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=3205548 CPUtime=1796.42 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 768508 0 0 0 179371 271 0 0 20 0 1 0 342213449 3282481152 791639 33554432000 4194304 7823515 140737113889296 140737113883960 5875843 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 801387 791639 541 887 0 800497 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (KiB) 3205548

[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28969
/proc/meminfo: memFree=22203032/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=2915864 CPUtime=1796.61 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 768508 0 0 0 179389 272 0 0 20 0 1 0 342213449 2985844736 721468 33554432000 4194304 7823515 140737113889296 140737113883960 5875119 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 728966 721468 541 887 0 728076 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 2915864

[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28969
/proc/meminfo: memFree=22203032/32873844 swapFree=7108/7108
[pid=28915] ppid=28913 vsize=2895788 CPUtime=1796.72 cores=0,2,4,6
/proc/28915/stat : 28915 (pbscip.linux.x8) R 28913 28915 26990 0 -1 4202496 768508 0 0 0 179390 282 0 0 20 0 1 0 342213449 2965286912 217771 33554432000 4194304 7823515 140737113889296 140737113883960 7132266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28915/statm: 723947 217276 541 887 0 723057 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 2895788

Child status: 0
Real time (s): 1797.01
CPU time (s): 1796.73
CPU user time (s): 1793.9
CPU system time (s): 2.83057
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 3207740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.9
system time used= 2.83057
maximum resident set size= 3168472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 768515
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= 4
involuntary context switches= 1853

runsolver used 2.71459 second user time and 7.12492 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-04 00:01:29
IDJOB=3740410
IDBENCH=77380
IDSOLVER=2321
FILE ID=node139/3740410-1338760889
RUNJOBID= node139-1338748983-27006
PBS_JOBID= 14636794
Free space on /tmp= 71076 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/j120opt/normalized-j12038_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-3740410-1338760889/watcher-3740410-1338760889 -o /tmp/evaluation-result-3740410-1338760889/solver-3740410-1338760889 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740410-1338760889.opb

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

MD5SUM BENCH= 661b4190c55178f9645295549e370fd5
RANDOM SEED=577751994

node139.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.750
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.50
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.750
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.750
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.90
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.750
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.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
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.91
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.750
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.750
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:        25170004 kB
Buffers:          513004 kB
Cached:          3378420 kB
SwapCached:          828 kB
Active:          4685096 kB
Inactive:        2136692 kB
Active(anon):    2923992 kB
Inactive(anon):     7952 kB
Active(file):    1761104 kB
Inactive(file):  2128740 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:             17816 kB
Writeback:             0 kB
AnonPages:       2936008 kB
Mapped:            13464 kB
Shmem:                 8 kB
Slab:             734728 kB
SReclaimable:     176892 kB
SUnreclaim:       557836 kB
KernelStack:        1472 kB
PageTables:         9696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3089304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 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= 71064 MiB
End job on node139 at 2012-06-04 00:31:26