Trace number 3740146

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)? 1799.63 1799.97

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6027_6.std.opb
MD5SUM6f44e6160dd070f50d17f30bee679bb7
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark0.161974
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36722
Total number of constraints123440
Number of constraints which are clauses122240
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 constraint50
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 

0.68/0.80	c SCIP version 1.1.0.7
0.68/0.80	c LP-Solver SoPlex 1.4.1
0.68/0.80	c user parameter file <scip.set> not found - using default parameters
0.68/0.80	c read problem <HOME/instance-3740146-1338757451.opb>
0.68/0.80	c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 123440 constraints
1.00/1.01	c start presolving problem
1.00/1.01	c presolving:
4.49/4.56	c (round 1) 2290 del vars, 6185 del conss, 1557 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8604912 impls, 0 clqs
5.49/5.58	c (round 2) 5145 del vars, 16880 del conss, 4240 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8620092 impls, 0 clqs
5.79/5.82	c (round 3) 6084 del vars, 21378 del conss, 4668 chg bounds, 63 chg sides, 82 chg coeffs, 0 upgd conss, 8626572 impls, 0 clqs
5.89/5.97	c (round 4) 6442 del vars, 22981 del conss, 4877 chg bounds, 63 chg sides, 82 chg coeffs, 0 upgd conss, 8628285 impls, 0 clqs
5.99/6.05	c (round 5) 6618 del vars, 23751 del conss, 4960 chg bounds, 63 chg sides, 82 chg coeffs, 0 upgd conss, 8628857 impls, 0 clqs
6.09/6.11	c (round 6) 6624 del vars, 23872 del conss, 4964 chg bounds, 63 chg sides, 82 chg coeffs, 0 upgd conss, 8628895 impls, 0 clqs
335.60/335.76	c    (334.1s) probing: 1000/30094 (3.3%) - 3 fixings, 0 aggregations, 6725943 implications, 0 bound changes
582.25/582.42	c    (580.4s) probing: 2000/30094 (6.6%) - 3 fixings, 0 aggregations, 11181221 implications, 0 bound changes
582.65/582.80	c    (580.7s) probing: 2002/30094 (6.7%) - 3 fixings, 0 aggregations, 11186486 implications, 0 bound changes
582.65/582.80	c    (580.7s) probing aborted: 2000/2000 successive useless probings
582.65/582.80	c (round 7) 6631 del vars, 23884 del conss, 4968 chg bounds, 63 chg sides, 82 chg coeffs, 0 upgd conss, 43947885 impls, 0 clqs
583.06/583.26	c (round 8) 6631 del vars, 23889 del conss, 4968 chg bounds, 63 chg sides, 82 chg coeffs, 99551 upgd conss, 43947885 impls, 0 clqs
583.76/583.99	c (round 9) 6631 del vars, 23896 del conss, 4968 chg bounds, 102 chg sides, 408 chg coeffs, 99551 upgd conss, 43947885 impls, 0 clqs
583.96/584.18	c (round 10) 6631 del vars, 23912 del conss, 4968 chg bounds, 103 chg sides, 420 chg coeffs, 99551 upgd conss, 43947885 impls, 0 clqs
631.04/631.21	c    (629.0s) probing: 2202/30094 (7.3%) - 3 fixings, 0 aggregations, 11808016 implications, 0 bound changes
631.04/631.21	c    (629.0s) probing aborted: 2000/2000 successive useless probings
631.04/631.22	c presolving (11 rounds):
631.04/631.22	c  6631 deleted vars, 23912 deleted constraints, 4968 tightened bounds, 0 added holes, 103 changed sides, 421 changed coefficients
631.04/631.22	c  45695339 implications, 0 cliques
631.04/631.22	c presolved problem has 30091 variables (30091 bin, 0 int, 0 impl, 0 cont) and 99563 constraints
631.04/631.22	c    1131 constraints of type <knapsack>
631.04/631.22	c      19 constraints of type <setppc>
631.04/631.22	c   98413 constraints of type <logicor>
631.04/631.22	c transformed objective value is always integral (scale: 1)
631.04/631.22	c Presolving Time: 628.84
631.04/631.22	c OPT-LIN
631.04/631.22	c -----------------------------------------------------------------------------------------------
631.04/631.22	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
631.04/631.22	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
631.04/631.22	c limits/memory = c 13950
631.04/631.22	c # maximal time in seconds to run
631.04/631.22	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
631.04/631.22	c limits/time = c 1791
631.04/631.22	c # frequency for displaying node information lines
631.04/631.22	c # [type: int, range: [-1,2147483647], default: 100]
631.04/631.22	c display/freq = c 10000
631.04/631.22	c -----------------------------------------------------------------------------------------------
631.04/631.22	c start solving problem
631.04/631.22	c 
704.44/704.62	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
704.44/704.62	c   702s|     1 |     0 | 31078 |1363M|   0 | 171 |  30k|  99k|  99k|  30k|  99k|   0 |   0 |   0 | 6.400000e+01 |      --      |    Inf 
1381.42/1381.79	c  1374s|     1 |     0 | 95284 |1366M|   0 |1248 |  30k|  99k|  99k|  30k|  99k|  21 |   0 |   0 | 6.400000e+01 |      --      |    Inf 
1567.19/1567.54	c  1559s|     1 |     0 |123008 |1367M|   0 |1367 |  30k|  99k|  99k|  30k|  99k|  43 |   0 |   0 | 6.400000e+01 |      --      |    Inf 
1799.25/1799.65	c  1791s|     1 |     0 |150195 |1367M|   0 |   - |  30k|  99k|  99k|  30k|  99k|  64 |   0 |   0 | 6.400000e+01 |      --      |    Inf 
1799.25/1799.68	c  1791s|     1 |     2 |150195 |1367M|   0 |   - |  30k|  99k|  99k|  30k|  99k|  64 |   0 |   0 | 6.400000e+01 |      --      |    Inf 
1799.25/1799.68	c 
1799.25/1799.68	c SCIP Status        : solving was interrupted [time limit reached]
1799.25/1799.68	c Solving Time (sec) : 1791.03
1799.25/1799.68	c Solving Nodes      : 1
1799.25/1799.68	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1799.25/1799.68	c Dual Bound         : +6.40000000000000e+01
1799.25/1799.68	c Gap                : infinite
1799.25/1799.68	c NODE         1
1799.25/1799.68	c DUAL BOUND   64
1799.25/1799.68	c PRIMAL BOUND 1e+20
1799.25/1799.68	c GAP          1e+20
1799.25/1799.68	s UNKNOWN
1799.25/1799.68	c SCIP Status        : solving was interrupted [time limit reached]
1799.25/1799.68	c Solving Time       :    1791.03
1799.25/1799.68	c Original Problem   :
1799.25/1799.68	c   Problem name     : HOME/instance-3740146-1338757451.opb
1799.25/1799.68	c   Variables        : 36722 (36722 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.25/1799.68	c   Constraints      : 123440 initial, 123440 maximal
1799.25/1799.68	c Presolved Problem  :
1799.25/1799.68	c   Problem name     : t_HOME/instance-3740146-1338757451.opb
1799.25/1799.68	c   Variables        : 30091 (30091 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.25/1799.68	c   Constraints      : 99563 initial, 99563 maximal
1799.25/1799.68	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1799.25/1799.68	c   trivial          :       0.01        492          0          0          0          0          0          0          0
1799.25/1799.68	c   dualfix          :       0.01         60          0          0          0          0          0          0          0
1799.25/1799.68	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1799.25/1799.68	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1799.25/1799.68	c   implics          :       0.41          0          0          0          0          0          0          0          0
1799.25/1799.68	c   probing          :     622.52          3          0          0          0          0          0          0          0
1799.25/1799.68	c   knapsack         :       0.61          0          0          0          0          0          7         40        339
1799.25/1799.68	c   setppc           :       0.00          0          0          0          0          0         16          0          0
1799.25/1799.68	c   linear           :       4.93       4476       1600          0       4968          0      23889         63         82
1799.25/1799.68	c   logicor          :       0.19          0          0          0          0          0          0          0          0
1799.25/1799.68	c   root node        :          -          0          -          -          0          -          -          -          -
1799.25/1799.68	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1799.25/1799.68	c   integral         :          0          0          0          0          0          0          0          0          0          0
1799.25/1799.68	c   knapsack         :       1131          3       7494          0          1          0          0         25          0          0
1799.25/1799.68	c   setppc           :         19          3       7494          0          1          0          0          0          0          0
1799.25/1799.68	c   logicor          :      98413          3       7494          0          1          0          0          0          0          0
1799.25/1799.68	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1799.25/1799.68	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1799.25/1799.68	c   integral         :       0.00       0.00       0.00       0.00       0.00
1799.25/1799.68	c   knapsack         :       0.14       0.00       0.14       0.00       0.00
1799.25/1799.68	c   setppc           :       0.01       0.00       0.01       0.00       0.00
1799.25/1799.68	c   logicor          :       5.03       0.03       4.97       0.00       0.03
1799.25/1799.68	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1799.25/1799.68	c Propagators        :       Time      Calls    Cutoffs    DomReds
1799.25/1799.68	c   rootredcost      :       0.03          0          0          0
1799.25/1799.68	c   pseudoobj        :       0.01          2          0          0
1799.25/1799.68	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1799.25/1799.68	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1799.25/1799.68	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1799.25/1799.68	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1799.25/1799.68	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1799.25/1799.68	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1799.25/1799.68	c   applied globally :          -          -          -          0        0.0          -          -          -
1799.25/1799.68	c   applied locally  :          -          -          -          0        0.0          -          -          -
1799.25/1799.68	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1799.25/1799.68	c   cut pool         :       0.00          2          -          -          0          -    (maximal pool size: 258)
1799.25/1799.68	c   redcost          :       0.00          3          0          0          0          0
1799.25/1799.68	c   impliedbounds    :       0.02          3          0          0          0          0
1799.25/1799.68	c   intobj           :       0.00          0          0          0          0          0
1799.25/1799.68	c   gomory           :       4.44          3          0          0       1486          0
1799.25/1799.68	c   strongcg         :       4.06          3          0          0       1500          0
1799.25/1799.68	c   cmir             :      10.64          3          0          0          0          0
1799.25/1799.68	c   flowcover        :      15.56          3          0          0         33          0
1799.25/1799.68	c   clique           :     352.71          3          0          0         12          0
1799.25/1799.68	c   zerohalf         :       0.00          0          0          0          0          0
1799.25/1799.68	c   mcf              :       7.58          1          0          0          0          0
1799.25/1799.68	c Pricers            :       Time      Calls       Vars
1799.25/1799.68	c   problem variables:       0.00          0          0
1799.25/1799.68	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1799.25/1799.68	c   relpscost        :       0.00          0          0          0          0          0          0
1799.25/1799.68	c   pscost           :       0.00          0          0          0          0          0          0
1799.25/1799.68	c   inference        :       0.00          1          0          0          0          0          2
1799.25/1799.68	c   mostinf          :       0.00          0          0          0          0          0          0
1799.25/1799.68	c   leastinf         :       0.00          0          0          0          0          0          0
1799.25/1799.68	c   fullstrong       :       0.00          0          0          0          0          0          0
1799.25/1799.68	c   allfullstrong    :       0.00          0          0          0          0          0          0
1799.25/1799.68	c   random           :       0.00          0          0          0          0          0          0
1799.25/1799.68	c Primal Heuristics  :       Time      Calls      Found
1799.25/1799.68	c   LP solutions     :       0.00          -          0
1799.25/1799.68	c   pseudo solutions :       0.00          -          0
1799.25/1799.68	c   oneopt           :       0.00          0          0
1799.25/1799.68	c   simplerounding   :       0.00          0          0
1799.25/1799.68	c   rounding         :       0.02          3          0
1799.25/1799.68	c   shifting         :       0.03          3          0
1799.25/1799.68	c   intshifting      :       0.00          0          0
1799.25/1799.68	c   fixandinfer      :       0.00          0          0
1799.25/1799.68	c   feaspump         :      11.68          1          0
1799.25/1799.68	c   coefdiving       :       0.00          0          0
1799.25/1799.68	c   pscostdiving     :       0.00          0          0
1799.25/1799.68	c   fracdiving       :       0.00          0          0
1799.25/1799.68	c   veclendiving     :       0.00          0          0
1799.25/1799.68	c   intdiving        :       0.00          0          0
1799.25/1799.68	c   actconsdiving    :       0.00          0          0
1799.25/1799.68	c   objpscostdiving  :       0.00          0          0
1799.25/1799.68	c   rootsoldiving    :       0.00          0          0
1799.25/1799.68	c   linesearchdiving :       0.00          0          0
1799.25/1799.68	c   guideddiving     :       0.00          0          0
1799.25/1799.68	c   octane           :       0.00          0          0
1799.25/1799.68	c   rens             :       0.00          0          0
1799.25/1799.68	c   rins             :       0.00          0          0
1799.25/1799.68	c   localbranching   :       0.00          0          0
1799.25/1799.68	c   mutation         :       0.00          0          0
1799.25/1799.68	c   crossover        :       0.00          0          0
1799.25/1799.68	c   dins             :       0.00          0          0
1799.25/1799.68	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1799.25/1799.68	c   primal LP        :       0.00          0          0       0.00          -
1799.25/1799.68	c   dual LP          :     755.00          4     137181   34295.25     181.70
1799.25/1799.68	c   barrier LP       :       0.00          0          0       0.00          -
1799.25/1799.68	c   diving/probing LP:      11.32         19      13014     684.95    1149.65
1799.25/1799.68	c   strong branching :       0.00          0          0       0.00          -
1799.25/1799.68	c     (at root node) :          -          0          0       0.00          -
1799.25/1799.68	c   conflict analysis:       0.00          0          0       0.00          -
1799.25/1799.68	c B&B Tree           :
1799.25/1799.68	c   number of runs   :          1
1799.25/1799.68	c   nodes            :          1
1799.25/1799.68	c   nodes (total)    :          1
1799.25/1799.68	c   nodes left       :          2
1799.25/1799.68	c   max depth        :          0
1799.25/1799.68	c   max depth (total):          0
1799.25/1799.68	c   backtracks       :          0 (0.0%)
1799.25/1799.68	c   delayed cutoffs  :          0
1799.25/1799.68	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1799.25/1799.68	c   avg switch length:       1.00
1799.25/1799.68	c   switching time   :       0.00
1799.25/1799.68	c Solution           :
1799.25/1799.68	c   Solutions found  :          0 (0 improvements)
1799.25/1799.68	c   Primal Bound     :          -
1799.25/1799.68	c   Dual Bound       : +6.40000000000000e+01
1799.25/1799.68	c   Gap              :   infinite
1799.25/1799.68	c   Root Dual Bound  : +6.40000000000000e+01
1799.55/1799.96	c Time complete: 1799.61.

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-3740146-1338757451/watcher-3740146-1338757451 -o /tmp/evaluation-result-3740146-1338757451/solver-3740146-1338757451 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740146-1338757451.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.12 2.03 2.01 2/176 13631
/proc/meminfo: memFree=25336360/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=8732 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 1550 0 0 0 0 0 0 0 20 0 1 0 341872366 8941568 1502 33554432000 4194304 7823515 140736198217664 140735457376824 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13631/statm: 2183 1502 354 887 0 1293 0

[startup+0.061492 s]
/proc/loadavg: 2.12 2.03 2.01 2/176 13631
/proc/meminfo: memFree=25336360/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=19000 CPUtime=0.05 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 4088 0 0 0 5 0 0 0 20 0 1 0 341872366 19456000 4040 33554432000 4194304 7823515 140736198217664 140736198083320 6908057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13631/statm: 4750 4040 354 887 0 3860 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19000

[startup+0.100275 s]
/proc/loadavg: 2.12 2.03 2.01 2/176 13631
/proc/meminfo: memFree=25336360/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=25424 CPUtime=0.09 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 5725 0 0 0 9 0 0 0 20 0 1 0 341872366 26034176 5677 33554432000 4194304 7823515 140736198217664 140736198083320 4363776 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13631/statm: 6356 5677 354 887 0 5466 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25424

[startup+0.300227 s]
/proc/loadavg: 2.12 2.03 2.01 2/176 13631
/proc/meminfo: memFree=25336360/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=39916 CPUtime=0.29 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 9300 0 0 0 28 1 0 0 20 0 1 0 341872366 40873984 9252 33554432000 4194304 7823515 140736198217664 140736198083320 6908057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13631/statm: 9979 9252 354 887 0 9089 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39916

[startup+0.700226 s]
/proc/loadavg: 2.12 2.03 2.01 2/176 13631
/proc/meminfo: memFree=25336360/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=73144 CPUtime=0.68 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 17579 0 0 0 67 1 0 0 20 0 1 0 341872366 74899456 17531 33554432000 4194304 7823515 140736198217664 140736198083320 5546538 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13631/statm: 18286 17531 354 887 0 17396 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 73144

[startup+1.50024 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 13632
/proc/meminfo: memFree=25161976/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=242632 CPUtime=1.49 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 59991 0 0 0 141 8 0 0 20 0 1 0 341872366 248455168 59589 33554432000 4194304 7823515 140736198217664 140736198214600 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13631/statm: 60658 59589 427 887 0 59768 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 242632

[startup+3.10023 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 13632
/proc/meminfo: memFree=25043828/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=375568 CPUtime=3.09 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 92912 0 0 0 294 15 0 0 20 0 1 0 341872366 384581632 92510 33554432000 4194304 7823515 140736198217664 140736198214600 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13631/statm: 93892 92510 427 887 0 93002 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 375568

[startup+6.30024 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 13632
/proc/meminfo: memFree=24891932/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=475512 CPUtime=6.29 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 116717 0 0 0 595 34 0 0 20 0 1 0 341872366 486924288 116206 33554432000 4194304 7823515 140736198217664 140736198214600 4243078 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13631/statm: 118878 116206 440 887 0 117988 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 475512

[startup+12.7002 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 13670
/proc/meminfo: memFree=24713856/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=539876 CPUtime=12.68 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 130961 0 0 0 1233 35 0 0 20 0 1 0 341872366 552833024 130450 33554432000 4194304 7823515 140736198217664 140736198213528 5803123 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13631/statm: 134969 130450 440 887 0 134079 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 539876

[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 13670
/proc/meminfo: memFree=24350996/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=566568 CPUtime=25.48 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 137202 0 0 0 2512 36 0 0 20 0 1 0 341872366 580165632 136760 33554432000 4194304 7823515 140736198217664 140736198213528 5803115 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 141642 136760 440 887 0 140752 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 566568

[startup+51.1003 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 13670
/proc/meminfo: memFree=24167428/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=662104 CPUtime=51.07 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 160421 0 0 0 5067 40 0 0 20 0 1 0 341872366 677994496 159978 33554432000 4194304 7823515 140736198217664 140736198213528 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 165526 159978 440 887 0 164636 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 662104

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 13670
/proc/meminfo: memFree=23739176/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=816408 CPUtime=102.25 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 199874 0 0 0 10178 47 0 0 20 0 1 0 341872366 836001792 199745 33554432000 4194304 7823515 140736198217664 140736198213528 5802393 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 204102 199745 441 887 0 203212 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 816408

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13671
/proc/meminfo: memFree=23261308/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=1035704 CPUtime=162.23 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 253412 0 0 0 16165 58 0 0 20 0 1 0 341872366 1060560896 253279 33554432000 4194304 7823515 140736198217664 140736198214344 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 258926 253279 441 887 0 258036 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1035704

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13671
/proc/meminfo: memFree=22811840/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=1160352 CPUtime=222.22 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 284665 0 0 0 22156 66 0 0 20 0 1 0 341872366 1188200448 284538 33554432000 4194304 7823515 140736198217664 140736198214360 5066048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 290088 284538 441 887 0 289198 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1160352

[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 13671
/proc/meminfo: memFree=22486492/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=1275680 CPUtime=282.21 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 313564 0 0 0 28146 75 0 0 20 0 1 0 341872366 1306296320 313482 33554432000 4194304 7823515 140736198217664 140736198214360 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 318920 313482 441 887 0 318030 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1275680

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13671
/proc/meminfo: memFree=22092860/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=1372520 CPUtime=342.19 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 337982 0 0 0 34136 83 0 0 20 0 1 0 341872366 1405460480 338019 33554432000 4194304 7823515 140736198217664 140736198214344 5066960 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 343130 338019 446 887 0 342240 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1372520

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 13674
/proc/meminfo: memFree=21979636/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=1454120 CPUtime=402.19 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 357864 0 0 0 40126 93 0 0 20 0 1 0 341872366 1489018880 358298 33554432000 4194304 7823515 140736198217664 140736198214360 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 363530 358298 446 887 0 362640 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1454120

[startup+462.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 13675
/proc/meminfo: memFree=21910108/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=1519548 CPUtime=462.18 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 374589 0 0 0 46117 101 0 0 20 0 1 0 341872366 1556017152 375545 33554432000 4194304 7823515 140736198217664 140736198214360 4243065 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 379887 375545 446 887 0 378997 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1519548

[startup+522.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 13675
/proc/meminfo: memFree=21839580/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=1589916 CPUtime=522.17 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 392118 0 0 0 52108 109 0 0 20 0 1 0 341872366 1628073984 393113 33554432000 4194304 7823515 140736198217664 140736198214344 4598064 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 397479 393113 446 887 0 396589 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1589916

[startup+582.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 13675
/proc/meminfo: memFree=21785048/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=1646156 CPUtime=582.15 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 405728 0 0 0 58100 115 0 0 20 0 1 0 341872366 1685663744 406831 33554432000 4194304 7823515 140736198217664 140736198214344 5066015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 411539 406831 446 887 0 410649 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1646156

[startup+642.3 s]

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

/proc/meminfo: memFree=22413440/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=1939644 CPUtime=1062.07 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 461572 0 0 0 105509 698 0 0 20 0 1 0 341872366 1986195456 481955 33554432000 4194304 7823515 140736198217664 140736198213656 5562284 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 484911 481955 561 887 0 484021 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 1939644

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13718
/proc/meminfo: memFree=22026932/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2095316 CPUtime=1122.06 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 469493 0 0 0 111502 704 0 0 20 0 1 0 341872366 2145603584 520389 33554432000 4194304 7823515 140736198217664 140736198213000 6236752 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 523829 520389 575 887 0 522939 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 2095316

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13718
/proc/meminfo: memFree=21795900/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2095316 CPUtime=1182.05 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 469512 0 0 0 117497 708 0 0 20 0 1 0 341872366 2145603584 520773 33554432000 4194304 7823515 140736198217664 140736198213000 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 523829 520773 575 887 0 522939 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 2095316

[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13718
/proc/meminfo: memFree=21641492/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2095316 CPUtime=1242.04 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 469522 0 0 0 123490 714 0 0 20 0 1 0 341872366 2145603584 520783 33554432000 4194304 7823515 140736198217664 140736198213000 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 523829 520783 575 887 0 522939 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 2095316

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 13718
/proc/meminfo: memFree=21522480/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2104212 CPUtime=1302.03 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 469626 0 0 0 129486 717 0 0 20 0 1 0 341872366 2154713088 522960 33554432000 4194304 7823515 140736198217664 140736198213000 6237458 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 526053 522960 575 887 0 525163 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 2104212

[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 13718
/proc/meminfo: memFree=21390324/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2114452 CPUtime=1362.02 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470066 0 0 0 135479 723 0 0 20 0 1 0 341872366 2165198848 523359 33554432000 4194304 7823515 140736198217664 140736198213000 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 528613 523359 575 887 0 527723 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 2114452

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 13719
/proc/meminfo: memFree=21175592/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2089260 CPUtime=1422.02 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470451 0 0 0 141474 728 0 0 20 0 1 0 341872366 2139402240 517933 33554432000 4194304 7823515 140736198217664 140736198213000 6212430 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 522315 517933 575 887 0 521425 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2089260

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 13719
/proc/meminfo: memFree=20990504/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2089260 CPUtime=1482 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470451 0 0 0 147470 730 0 0 20 0 1 0 341872366 2139402240 517933 33554432000 4194304 7823515 140736198217664 140736198213000 6212418 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 522315 517933 575 887 0 521425 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 2089260

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13719
/proc/meminfo: memFree=20794560/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2098380 CPUtime=1541.99 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470694 0 0 0 153464 735 0 0 20 0 1 0 341872366 2148741120 520220 33554432000 4194304 7823515 140736198217664 140736198213000 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 524595 520220 575 887 0 523705 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 2098380

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13722
/proc/meminfo: memFree=20636472/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2098380 CPUtime=1601.98 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470726 0 0 0 159456 742 0 0 20 0 1 0 341872366 2148741120 521274 33554432000 4194304 7823515 140736198217664 140736198213000 6211254 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 524595 521274 575 887 0 523705 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 2098380

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13722
/proc/meminfo: memFree=20498744/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2098380 CPUtime=1661.97 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470819 0 0 0 165452 745 0 0 20 0 1 0 341872366 2148741120 521367 33554432000 4194304 7823515 140736198217664 140736198213000 6211272 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 524595 521367 575 887 0 523705 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 2098380

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 13724
/proc/meminfo: memFree=20309812/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2098380 CPUtime=1721.96 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470892 0 0 0 171448 748 0 0 20 0 1 0 341872366 2148741120 521440 33554432000 4194304 7823515 140736198217664 140736198213000 6212348 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 524595 521440 575 887 0 523705 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 2098380

[startup+1782.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 13724
/proc/meminfo: memFree=20119140/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2098380 CPUtime=1781.95 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470995 0 0 0 177443 752 0 0 20 0 1 0 341872366 2148741120 521543 33554432000 4194304 7823515 140736198217664 140736198213000 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 524595 521543 575 887 0 523705 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 2098380

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

[startup+1791.91 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 13724
/proc/meminfo: memFree=20100276/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2098380 CPUtime=1791.55 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470995 0 0 0 178403 752 0 0 20 0 1 0 341872366 2148741120 521543 33554432000 4194304 7823515 140736198217664 140736198213352 6212404 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 524595 521543 575 887 0 523705 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 2098380

[startup+1795.1 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 13724
/proc/meminfo: memFree=20093192/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2098380 CPUtime=1794.76 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470995 0 0 0 178723 753 0 0 20 0 1 0 341872366 2148741120 521543 33554432000 4194304 7823515 140736198217664 140736198213416 5925270 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 524595 521543 575 887 0 523705 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 2098380

[startup+1798.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 13724
/proc/meminfo: memFree=20087240/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2098380 CPUtime=1797.95 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470995 0 0 0 179042 753 0 0 20 0 1 0 341872366 2148741120 521543 33554432000 4194304 7823515 140736198217664 140736198213000 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 524595 521543 575 887 0 523705 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 2098380

[startup+1799.1 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 13724
/proc/meminfo: memFree=20083024/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2098380 CPUtime=1798.75 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470995 0 0 0 179122 753 0 0 20 0 1 0 341872366 2148741120 521543 33554432000 4194304 7823515 140736198217664 140736198213416 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 524595 521543 575 887 0 523705 0
Current children cumulated CPU time (s) 1798.75
Current children cumulated vsize (KiB) 2098380

[startup+1799.5 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 13724
/proc/meminfo: memFree=20079800/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=2098380 CPUtime=1799.15 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470995 0 0 0 179162 753 0 0 20 0 1 0 341872366 2148741120 521543 33554432000 4194304 7823515 140736198217664 140736198213416 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 524595 521543 575 887 0 523705 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 2098380

[startup+1799.9 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 13724
/proc/meminfo: memFree=20079800/32873648 swapFree=6852/6852
[pid=13631] ppid=13629 vsize=1917936 CPUtime=1799.55 cores=0,2,4,6
/proc/13631/stat : 13631 (pbscip.linux.x8) R 13629 13631 12217 0 -1 4202496 470998 0 0 0 179202 753 0 0 20 0 1 0 341872366 1963966464 478872 33554432000 4194304 7823515 140736198217664 140736198213416 5875134 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13631/statm: 479484 478872 578 887 0 478594 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 1917936

Child status: 0
Real time (s): 1799.97
CPU time (s): 1799.63
CPU user time (s): 1792.08
CPU system time (s): 7.54885
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 2114452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.08
system time used= 7.54885
maximum resident set size= 2093596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471003
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= 122
involuntary context switches= 2068

runsolver used 2.96955 second user time and 7.2249 second system time

The end

Launcher Data 

Begin job on node112 at 2012-06-03 23:04:11
IDJOB=3740146
IDBENCH=76592
IDSOLVER=2321
FILE ID=node112/3740146-1338757451
RUNJOBID= node112-1338748093-12233
PBS_JOBID= 14636784
Free space on /tmp= 71204 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/j60opt/normalized-j6027_6.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-3740146-1338757451/watcher-3740146-1338757451 -o /tmp/evaluation-result-3740146-1338757451/solver-3740146-1338757451 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740146-1338757451.opb

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

MD5SUM BENCH= 6f44e6160dd070f50d17f30bee679bb7
RANDOM SEED=1326030800

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.763
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.763
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.763
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.763
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.763
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:       32873648 kB
MemFree:        25336360 kB
Buffers:          554212 kB
Cached:          6001620 kB
SwapCached:            0 kB
Active:          1877316 kB
Inactive:        4790036 kB
Active(anon):     100588 kB
Inactive(anon):    10924 kB
Active(file):    1776728 kB
Inactive(file):  4779112 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             24368 kB
Writeback:             0 kB
AnonPages:        115532 kB
Mapped:            16728 kB
Shmem:               200 kB
Slab:             732472 kB
SReclaimable:     175488 kB
SUnreclaim:       556984 kB
KernelStack:        1480 kB
PageTables:         4112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     224608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71192 MiB
End job on node112 at 2012-06-03 23:34:11