Trace number 3741505

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1793.04 1793.32

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-f2000.opb
MD5SUMacba870ceff62e653e0b2927ff2b81fb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints10500
Number of constraints which are clauses10500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 4000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4000
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4000
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3741505-1338755629.opb>
0.04/0.08	c original problem has 4000 variables (4000 bin, 0 int, 0 impl, 0 cont) and 10500 constraints
0.04/0.08	c problem read
0.04/0.08	c presolving settings loaded
0.08/0.10	c presolving:
0.08/0.13	c (round 1) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3990 impls, 0 clqs
0.08/0.18	c (round 2) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10437 upgd conss, 3990 impls, 0 clqs
0.19/0.20	c (round 3) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10495 upgd conss, 3990 impls, 0 clqs
0.19/0.23	c    (0.2s) probing: 101/3995 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.23	c presolving (4 rounds):
0.19/0.23	c  5 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.23	c  3990 implications, 0 cliques
0.19/0.23	c presolved problem has 3995 variables (3995 bin, 0 int, 0 impl, 0 cont) and 10495 constraints
0.19/0.23	c    1995 constraints of type <setppc>
0.19/0.23	c    8500 constraints of type <logicor>
0.19/0.23	c transformed objective value is always integral (scale: 1)
0.19/0.23	c Presolving Time: 0.14
0.19/0.23	c - non default parameters ----------------------------------------------------------------------
0.19/0.23	c # SCIP version 1.2.1.3
0.19/0.23	c 
0.19/0.23	c # frequency for displaying node information lines
0.19/0.23	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23	c display/freq = 10000
0.19/0.23	c 
0.19/0.23	c # maximal time in seconds to run
0.19/0.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23	c limits/time = 1789.93
0.19/0.23	c 
0.19/0.23	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23	c limits/memory = 13950
0.19/0.23	c 
0.19/0.23	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.23	c # [type: int, range: [1,2], default: 1]
0.19/0.23	c timing/clocktype = 2
0.19/0.23	c 
0.19/0.23	c # should presolving try to simplify inequalities
0.19/0.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23	c constraints/linear/simplifyinequalities = TRUE
0.19/0.23	c 
0.19/0.23	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23	c constraints/indicator/addCouplingCons = TRUE
0.19/0.23	c 
0.19/0.23	c # should presolving try to simplify knapsacks
0.19/0.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23	c 
0.19/0.23	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.23	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23	c separating/rapidlearning/freq = 0
0.19/0.23	c 
0.19/0.23	c -----------------------------------------------------------------------------------------------
0.19/0.23	c start solving
0.19/0.23	c 
76.58/76.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
76.58/76.62	c  76.5s|     1 |     0 | 30127 |     - |  18M|   0 |3954 |3995 |  10k|3995 |  10k|   0 |   0 |   0 | 1.331000e+03 |      --      |    Inf 
783.07/783.29	c   783s|     1 |     2 |150490 |     - |  19M|   0 |3954 |3995 |  10k|3995 |  10k|   0 |   0 |  45 | 1.331000e+03 |      --      |    Inf 
1792.91/1793.29	c 
1792.91/1793.29	c SCIP Status        : solving was interrupted [time limit reached]
1792.91/1793.29	c Solving Time (sec) : 1793.21
1792.91/1793.29	c Solving Nodes      : 10
1792.91/1793.29	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1792.91/1793.29	c Dual Bound         : +1.33100000000001e+03
1792.91/1793.29	c Gap                : infinite
1792.91/1793.29	s UNKNOWN
1792.91/1793.29	c SCIP Status        : solving was interrupted [time limit reached]
1792.91/1793.29	c Solving Time       :    1793.21
1792.91/1793.29	c Original Problem   :
1792.91/1793.29	c   Problem name     : HOME/instance-3741505-1338755629.opb
1792.91/1793.29	c   Variables        : 4000 (4000 binary, 0 integer, 0 implicit integer, 0 continuous)
1792.91/1793.29	c   Constraints      : 10500 initial, 10500 maximal
1792.91/1793.29	c Presolved Problem  :
1792.91/1793.29	c   Problem name     : t_HOME/instance-3741505-1338755629.opb
1792.91/1793.29	c   Variables        : 3995 (3995 binary, 0 integer, 0 implicit integer, 0 continuous)
1792.91/1793.29	c   Constraints      : 10495 initial, 10495 maximal
1792.91/1793.29	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1792.91/1793.29	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1792.91/1793.29	c   dualfix          :       0.00          5          0          0          0          0          0          0          0
1792.91/1793.29	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1792.91/1793.29	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1792.91/1793.29	c   implics          :       0.00          0          0          0          0          0          0          0          0
1792.91/1793.29	c   probing          :       0.02          0          0          0          0          0          0          0          0
1792.91/1793.29	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1792.91/1793.29	c   linear           :       0.06          0          0          0          0          0          5          0          0
1792.91/1793.29	c   logicor          :       0.04          0          0          0          0          0          0          0          0
1792.91/1793.29	c   root node        :          -          0          -          -          0          -          -          -          -
1792.91/1793.29	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1792.91/1793.29	c   integral         :          0          0          0         10          0          0          0          0          0         20
1792.91/1793.29	c   setppc           :       1995          1        213          0          0          0          3          0          0          0
1792.91/1793.29	c   logicor          :       8500          1        198          0          0          0          0          0          0          0
1792.91/1793.29	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1792.91/1793.29	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1792.91/1793.29	c   integral         :     940.52       0.00       0.00     940.52       0.00
1792.91/1793.29	c   setppc           :       0.00       0.00       0.00       0.00       0.00
1792.91/1793.29	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1792.91/1793.29	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1792.91/1793.29	c Propagators        :       Time      Calls    Cutoffs    DomReds
1792.91/1793.29	c   vbounds          :       0.00          2          0          0
1792.91/1793.29	c   rootredcost      :       0.00          0          0          0
1792.91/1793.29	c   pseudoobj        :       0.00         14          0          0
1792.91/1793.29	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1792.91/1793.29	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1792.91/1793.29	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1792.91/1793.29	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1792.91/1793.29	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1792.91/1793.29	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1792.91/1793.29	c   applied globally :          -          -          -          0        0.0          -          -          -
1792.91/1793.29	c   applied locally  :          -          -          -          0        0.0          -          -          -
1792.91/1793.29	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1792.91/1793.29	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1792.91/1793.29	c   redcost          :       0.00         10          0          0          0          0
1792.91/1793.29	c   impliedbounds    :       0.00          1          0          0          0          0
1792.91/1793.29	c   intobj           :       0.00          0          0          0          0          0
1792.91/1793.29	c   cgmip            :       0.00          0          0          0          0          0
1792.91/1793.29	c   gomory           :       1.97          1          0          0          0          0
1792.91/1793.29	c   strongcg         :       1.92          1          0          0          0          0
1792.91/1793.29	c   cmir             :       0.09          1          0          0          0          0
1792.91/1793.29	c   flowcover        :       0.10          1          0          0          0          0
1792.91/1793.29	c   clique           :       0.01          1          0          0          0          0
1792.91/1793.29	c   zerohalf         :       0.00          0          0          0          0          0
1792.91/1793.29	c   mcf              :       0.01          1          0          0          0          0
1792.91/1793.29	c   rapidlearning    :       0.00          0          0          0          0          0
1792.91/1793.29	c Pricers            :       Time      Calls       Vars
1792.91/1793.29	c   problem variables:       0.00          0          0
1792.91/1793.29	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1792.91/1793.29	c   relpscost        :     940.52         10          0          0          0          0         20
1792.91/1793.29	c   pscost           :       0.00          0          0          0          0          0          0
1792.91/1793.29	c   inference        :       0.00          0          0          0          0          0          0
1792.91/1793.29	c   mostinf          :       0.00          0          0          0          0          0          0
1792.91/1793.29	c   leastinf         :       0.00          0          0          0          0          0          0
1792.91/1793.29	c   fullstrong       :       0.00          0          0          0          0          0          0
1792.91/1793.29	c   allfullstrong    :       0.00          0          0          0          0          0          0
1792.91/1793.29	c   random           :       0.00          0          0          0          0          0          0
1792.91/1793.29	c Primal Heuristics  :       Time      Calls      Found
1792.91/1793.29	c   LP solutions     :       0.00          -          0
1792.91/1793.29	c   pseudo solutions :       0.00          -          0
1792.91/1793.29	c   oneopt           :       0.00          0          0
1792.91/1793.29	c   crossover        :       0.00          0          0
1792.91/1793.29	c   trivial          :       0.01          2          0
1792.91/1793.29	c   simplerounding   :       0.00          0          0
1792.91/1793.29	c   zirounding       :       0.00         10          0
1792.91/1793.29	c   rounding         :       0.02         10          0
1792.91/1793.29	c   shifting         :       0.01          1          0
1792.91/1793.29	c   intshifting      :       0.00          0          0
1792.91/1793.29	c   twoopt           :       0.00          0          0
1792.91/1793.29	c   fixandinfer      :       0.00          0          0
1792.91/1793.29	c   feaspump         :     548.20          1          0
1792.91/1793.29	c   coefdiving       :       0.00          1          0
1792.91/1793.29	c   pscostdiving     :       0.00          1          0
1792.91/1793.29	c   fracdiving       :       0.00          1          0
1792.91/1793.29	c   veclendiving     :       0.00          1          0
1792.91/1793.29	c   intdiving        :       0.00          0          0
1792.91/1793.29	c   actconsdiving    :       0.00          0          0
1792.91/1793.29	c   objpscostdiving  :       0.00          1          0
1792.91/1793.29	c   rootsoldiving    :       0.00          1          0
1792.91/1793.29	c   linesearchdiving :       0.00          1          0
1792.91/1793.29	c   guideddiving     :       0.00          0          0
1792.91/1793.29	c   octane           :       0.00          0          0
1792.91/1793.29	c   rens             :       0.00          0          0
1792.91/1793.29	c   rins             :       0.00          0          0
1792.91/1793.29	c   localbranching   :       0.00          0          0
1792.91/1793.29	c   mutation         :       0.00          0          0
1792.91/1793.29	c   dins             :       0.00          0          0
1792.91/1793.29	c   undercover       :       0.00          0          0
1792.91/1793.29	c   nlp              :       0.00          0          0
1792.91/1793.29	c   trysol           :       0.00          0          0
1792.91/1793.29	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1792.91/1793.29	c   primal LP        :       0.00          0          0       0.00          -
1792.91/1793.29	c   dual LP          :     300.17         10      96441    9644.10     321.29
1792.91/1793.29	c   lex dual LP      :       0.00          0          0       0.00          -
1792.91/1793.29	c   barrier LP       :       0.00          0          0       0.00          -
1792.91/1793.29	c   diving/probing LP:     548.14         26     120363    4629.35     219.58
1792.91/1793.29	c   strong branching :     940.51        255     253504     994.13     269.54
1792.91/1793.29	c     (at root node) :          -         45      43504     966.76          -
1792.91/1793.29	c   conflict analysis:       0.00          0          0       0.00          -
1792.91/1793.29	c B&B Tree           :
1792.91/1793.29	c   number of runs   :          1
1792.91/1793.29	c   nodes            :         10
1792.91/1793.29	c   nodes (total)    :         10
1792.91/1793.29	c   nodes left       :         11
1792.91/1793.29	c   max depth        :          8
1792.91/1793.29	c   max depth (total):          8
1792.91/1793.29	c   backtracks       :          0 (0.0%)
1792.91/1793.29	c   delayed cutoffs  :          0
1792.91/1793.29	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1792.91/1793.29	c   avg switch length:       1.10
1792.91/1793.29	c   switching time   :       0.00
1792.91/1793.29	c Solution           :
1792.91/1793.29	c   Solutions found  :          0 (0 improvements)
1792.91/1793.29	c   Primal Bound     :          -
1792.91/1793.29	c   Dual Bound       : +1.33100000000001e+03
1792.91/1793.29	c   Gap              :   infinite
1792.91/1793.29	c   Root Dual Bound  : +1.33100000000001e+03
1792.91/1793.29	c   Root Iterations  :     150490
1793.01/1793.31	c Time complete: 1793.02.

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-3741505-1338755629/watcher-3741505-1338755629 -o /tmp/evaluation-result-3741505-1338755629/solver-3741505-1338755629 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741505-1338755629.opb -t 1800 -m 15500 

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.00 2.00 2.00 2/176 19380
/proc/meminfo: memFree=26502896/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=7912 CPUtime=0 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 1250 0 0 0 0 0 0 0 20 0 1 0 341688522 8101888 1196 33554432000 4194304 8395647 140736984135280 140736512415176 7435351 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 1979 1202 371 1026 0 949 0

[startup+0.0486151 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 19380
/proc/meminfo: memFree=26502896/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=17244 CPUtime=0.04 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 3566 0 0 0 4 0 0 0 20 0 1 0 341688522 17657856 3512 33554432000 4194304 8395647 140736984135280 140736512415176 4423932 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 4360 3533 393 1026 0 3330 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17244

[startup+0.10032 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 19380
/proc/meminfo: memFree=26502896/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=32544 CPUtime=0.08 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 7728 0 0 0 8 0 0 0 20 0 1 0 341688522 33325056 7320 33554432000 4194304 8395647 140736984135280 140736512415176 4601776 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 8136 7320 430 1026 0 7106 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32544

[startup+0.300284 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 19380
/proc/meminfo: memFree=26502896/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=50956 CPUtime=0.29 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 12059 0 0 0 28 1 0 0 20 0 1 0 341688522 52178944 11594 33554432000 4194304 8395647 140736984135280 140736512415176 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 12739 11594 561 1026 0 11709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50956

[startup+0.700248 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 19380
/proc/meminfo: memFree=26502896/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=55280 CPUtime=0.68 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 13137 0 0 0 67 1 0 0 20 0 1 0 341688522 56606720 12530 33554432000 4194304 8395647 140736984135280 140736984130744 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 13820 12530 568 1026 0 12790 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 55280

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19381
/proc/meminfo: memFree=26454652/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=56124 CPUtime=1.48 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 13480 0 0 0 147 1 0 0 20 0 1 0 341688522 57470976 12869 33554432000 4194304 8395647 140736984135280 140736984130408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 14031 12869 568 1026 0 13001 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 56124

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19381
/proc/meminfo: memFree=26453164/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=56432 CPUtime=3.09 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 13603 0 0 0 307 2 0 0 20 0 1 0 341688522 57786368 12991 33554432000 4194304 8395647 140736984135280 140736984130408 6697359 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 14108 12991 568 1026 0 13078 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56432

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19381
/proc/meminfo: memFree=26450560/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=57964 CPUtime=6.29 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 14022 0 0 0 626 3 0 0 20 0 1 0 341688522 59355136 13410 33554432000 4194304 8395647 140736984135280 140736984130408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 14491 13410 568 1026 0 13461 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57964

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19381
/proc/meminfo: memFree=26447228/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=61388 CPUtime=12.69 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 15258 0 0 0 1266 3 0 0 20 0 1 0 341688522 62861312 14282 33554432000 4194304 8395647 140736984135280 140736984130840 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 15347 14282 568 1026 0 14317 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61388

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19381
/proc/meminfo: memFree=26438428/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=67400 CPUtime=25.48 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 16441 0 0 0 2544 4 0 0 20 0 1 0 341688522 69017600 15752 33554432000 4194304 8395647 140736984135280 140736984130408 6740421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 16850 15752 568 1026 0 15820 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67400

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19381
/proc/meminfo: memFree=26435824/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=70028 CPUtime=51.08 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 17625 0 0 0 5102 6 0 0 20 0 1 0 341688522 71708672 16473 33554432000 4194304 8395647 140736984135280 140736984130408 6754876 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17507 16473 568 1026 0 16477 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70028

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19381
/proc/meminfo: memFree=26432784/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=73616 CPUtime=102.27 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 18573 0 0 0 10219 8 0 0 20 0 1 0 341688522 75382784 17188 33554432000 4194304 8395647 140736984135280 140736984129928 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 18404 17188 574 1026 0 17374 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73616

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19382
/proc/meminfo: memFree=26428692/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=76600 CPUtime=162.27 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 19787 0 0 0 16214 13 0 0 20 0 1 0 341688522 78438400 18118 33554432000 4194304 8395647 140736984135280 140736984129848 6696112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 19150 18118 574 1026 0 18120 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 76600

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19382
/proc/meminfo: memFree=26428320/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=76600 CPUtime=222.25 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 19790 0 0 0 22210 15 0 0 20 0 1 0 341688522 78438400 18121 33554432000 4194304 8395647 140736984135280 140736984129800 6708194 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 19150 18121 574 1026 0 18120 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 76600

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19382
/proc/meminfo: memFree=26424848/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=76600 CPUtime=282.25 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 19790 0 0 0 28207 18 0 0 20 0 1 0 341688522 78438400 18121 33554432000 4194304 8395647 140736984135280 140736984129800 6696311 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 19150 18121 574 1026 0 18120 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 76600

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19382
/proc/meminfo: memFree=26424352/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=76600 CPUtime=342.24 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 19790 0 0 0 34204 20 0 0 20 0 1 0 341688522 78438400 18121 33554432000 4194304 8395647 140736984135280 140736984129800 6696997 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 19150 18121 574 1026 0 18120 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 76600

[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 19385
/proc/meminfo: memFree=26423724/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=76600 CPUtime=402.22 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 19790 0 0 0 40199 23 0 0 20 0 1 0 341688522 78438400 18121 33554432000 4194304 8395647 140736984135280 140736984129800 6741373 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 19150 18121 574 1026 0 18120 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 76600

[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19386
/proc/meminfo: memFree=26423732/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=76600 CPUtime=462.21 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 19790 0 0 0 46195 26 0 0 20 0 1 0 341688522 78438400 18121 33554432000 4194304 8395647 140736984135280 140736984129848 6739523 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 19150 18121 574 1026 0 18120 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 76600

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19386
/proc/meminfo: memFree=26420752/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=76600 CPUtime=522.21 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 19790 0 0 0 52192 29 0 0 20 0 1 0 341688522 78438400 18121 33554432000 4194304 8395647 140736984135280 140736984129928 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 19150 18121 574 1026 0 18120 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 76600

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19424
/proc/meminfo: memFree=27060236/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=76600 CPUtime=582.2 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 19795 0 0 0 58188 32 0 0 20 0 1 0 341688522 78438400 18429 33554432000 4194304 8395647 140736984135280 140736984129800 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 19150 18429 574 1026 0 18120 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 76600

[startup+642.3 s]

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

/proc/meminfo: memFree=25908608/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=66128 CPUtime=1062.12 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 117803 0 0 0 106134 78 0 0 20 0 1 0 341688522 67715072 16031 33554432000 4194304 8395647 140736984135280 140736984130152 6697268 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 16532 16031 605 1026 0 15502 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 66128

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19429
/proc/meminfo: memFree=25778128/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=70264 CPUtime=1122.11 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 146785 0 0 0 112124 87 0 0 20 0 1 0 341688522 71950336 16681 33554432000 4194304 8395647 140736984135280 140736984129832 6741653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17566 16681 605 1026 0 16536 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 70264

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19429
/proc/meminfo: memFree=25613048/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=68968 CPUtime=1182.11 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 155827 0 0 0 118118 93 0 0 20 0 1 0 341688522 70623232 16743 33554432000 4194304 8395647 140736984135280 140736984130152 6697301 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17242 16743 605 1026 0 16212 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 68968

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19429
/proc/meminfo: memFree=25456524/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=70648 CPUtime=1242.1 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 182617 0 0 0 124110 100 0 0 20 0 1 0 341688522 72343552 17163 33554432000 4194304 8395647 140736984135280 140736984130792 6693701 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17662 17163 605 1026 0 16632 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 70648

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19429
/proc/meminfo: memFree=25303788/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=67344 CPUtime=1302.09 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 201575 0 0 0 130102 107 0 0 20 0 1 0 341688522 68960256 16360 33554432000 4194304 8395647 140736984135280 140736984130152 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 16836 16360 605 1026 0 15806 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 67344

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19430
/proc/meminfo: memFree=25198724/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=75932 CPUtime=1362.08 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 211544 0 0 0 136094 114 0 0 20 0 1 0 341688522 77754368 18263 33554432000 4194304 8395647 140736984135280 140736984130408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 18983 18263 605 1026 0 17953 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 75932

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19430
/proc/meminfo: memFree=25039784/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=69232 CPUtime=1422.07 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 218081 0 0 0 142088 119 0 0 20 0 1 0 341688522 70893568 16836 33554432000 4194304 8395647 140736984135280 140736984129832 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17308 16836 605 1026 0 16278 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 69232

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19430
/proc/meminfo: memFree=24929700/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=71384 CPUtime=1482.06 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 222489 0 0 0 148083 123 0 0 20 0 1 0 341688522 73097216 16878 33554432000 4194304 8395647 140736984135280 140736984129832 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17846 16878 605 1026 0 16816 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 71384

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19430
/proc/meminfo: memFree=24828420/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=69396 CPUtime=1542.05 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 229017 0 0 0 154078 127 0 0 20 0 1 0 341688522 71061504 16862 33554432000 4194304 8395647 140736984135280 140736984130536 6741373 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17349 16862 605 1026 0 16319 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 69396

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19433
/proc/meminfo: memFree=24729180/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=69964 CPUtime=1602.03 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 239921 0 0 0 160071 132 0 0 20 0 1 0 341688522 71643136 17022 33554432000 4194304 8395647 140736984135280 140736984130488 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17491 17022 605 1026 0 16461 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 69964

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19456
/proc/meminfo: memFree=24613700/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=68888 CPUtime=1662.03 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 249315 0 0 0 166065 138 0 0 20 0 1 0 341688522 70541312 16730 33554432000 4194304 8395647 140736984135280 140736984129688 6697359 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17222 16730 605 1026 0 16192 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 68888

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19456
/proc/meminfo: memFree=24451296/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=68964 CPUtime=1722.02 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 258582 0 0 0 172059 143 0 0 20 0 1 0 341688522 70619136 16585 33554432000 4194304 8395647 140736984135280 140736984130152 6754839 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17241 16585 605 1026 0 16211 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 68964

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19456
/proc/meminfo: memFree=24302712/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=66856 CPUtime=1782.01 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 264086 0 0 0 178053 148 0 0 20 0 1 0 341688522 68460544 16165 33554432000 4194304 8395647 140736984135280 140736984128536 6697007 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 16714 16165 605 1026 0 15684 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 66856

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 19456
/proc/meminfo: memFree=24293536/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=69380 CPUtime=1785.21 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 264482 0 0 0 178373 148 0 0 20 0 1 0 341688522 71045120 16561 33554432000 4194304 8395647 140736984135280 140736984130152 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17345 16561 605 1026 0 16315 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 69380

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19456
/proc/meminfo: memFree=24277152/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=69380 CPUtime=1788.41 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 264492 0 0 0 178693 148 0 0 20 0 1 0 341688522 71045120 16571 33554432000 4194304 8395647 140736984135280 140736984129432 6697041 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17345 16571 605 1026 0 16315 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 69380

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19456
/proc/meminfo: memFree=24272564/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=69380 CPUtime=1791.62 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 264661 0 0 0 179013 149 0 0 20 0 1 0 341688522 71045120 16740 33554432000 4194304 8395647 140736984135280 140736984129832 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17345 16740 605 1026 0 16315 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 69380

[startup+1792.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19456
/proc/meminfo: memFree=24272564/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=71284 CPUtime=1792.41 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 264869 0 0 0 179092 149 0 0 20 0 1 0 341688522 72994816 16948 33554432000 4194304 8395647 140736984135280 140736984130584 6693401 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17821 16948 605 1026 0 16791 0
Current children cumulated CPU time (s) 1792.41
Current children cumulated vsize (KiB) 71284

[startup+1793.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19456
/proc/meminfo: memFree=24270456/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=71284 CPUtime=1792.81 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 264901 0 0 0 179132 149 0 0 20 0 1 0 341688522 72994816 16980 33554432000 4194304 8395647 140736984135280 140736984130584 6693780 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17821 16980 605 1026 0 16791 0
Current children cumulated CPU time (s) 1792.81
Current children cumulated vsize (KiB) 71284

[startup+1793.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19456
/proc/meminfo: memFree=24270456/32873844 swapFree=7632/7632
[pid=19380] ppid=19378 vsize=71284 CPUtime=1793.01 cores=0,2,4,6
/proc/19380/stat : 19380 (pbscip.linux.x8) R 19378 19380 18846 0 -1 4202496 264922 0 0 0 179152 149 0 0 20 0 1 0 341688522 72994816 17001 33554432000 4194304 8395647 140736984135280 140736984130584 6345185 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19380/statm: 17821 17001 610 1026 0 16791 0
Current children cumulated CPU time (s) 1793.01
Current children cumulated vsize (KiB) 71284

Child status: 0
Real time (s): 1793.32
CPU time (s): 1793.04
CPU user time (s): 1791.54
CPU system time (s): 1.49777
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 78964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.54
system time used= 1.49777
maximum resident set size= 74668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264927
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= 12
involuntary context switches= 1946

runsolver used 2.67459 second user time and 7.11292 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-03 22:33:49
IDJOB=3741505
IDBENCH=89869
IDSOLVER=2326
FILE ID=node130/3741505-1338755629
RUNJOBID= node130-1338748441-18862
PBS_JOBID= 14636787
Free space on /tmp= 70956 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-f2000.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741505-1338755629/watcher-3741505-1338755629 -o /tmp/evaluation-result-3741505-1338755629/solver-3741505-1338755629 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741505-1338755629.opb -t 1800 -m 15500

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

MD5SUM BENCH= acba870ceff62e653e0b2927ff2b81fb
RANDOM SEED=1253300821

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
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.86
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.875
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.875
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.92
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.875
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26503052 kB
Buffers:         1693960 kB
Cached:          2461032 kB
SwapCached:         4316 kB
Active:          3764276 kB
Inactive:        1735816 kB
Active(anon):    1332872 kB
Inactive(anon):     8288 kB
Active(file):    2431404 kB
Inactive(file):  1727528 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099288 kB
Dirty:             10504 kB
Writeback:             0 kB
AnonPages:       1435036 kB
Mapped:            11920 kB
Shmem:                 4 kB
Slab:             729512 kB
SReclaimable:     170932 kB
SUnreclaim:       558580 kB
KernelStack:        1472 kB
PageTables:         6860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1481648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1343488 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= 70944 MiB
End job on node130 at 2012-06-03 23:03:43