Trace number 3731925

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)? 1794.15 1794.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
MD5SUMdccfffd22c38fcd3c497d688dab4b7a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark76666
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 79290
Optimality of the best value was proved NO
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 559660
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 559660
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.29/0.39	c SCIP version 1.1.0.7
0.29/0.39	c LP-Solver SoPlex 1.4.1
0.29/0.39	c user parameter file <scip.set> not found - using default parameters
0.29/0.39	c read problem <HOME/instance-3731925-1338694861.opb>
0.29/0.39	c original problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
0.39/0.47	c start presolving problem
0.39/0.47	c presolving:
0.69/0.78	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 42620 upgd conss, 6660 impls, 630 clqs
2.98/3.03	c (round 2) 0 del vars, 40320 del conss, 0 chg bounds, 43200 chg sides, 64800 chg coeffs, 42620 upgd conss, 6660 impls, 630 clqs
6.39/6.46	c    (5.9s) probing: 1000/2700 (37.0%) - 0 fixings, 0 aggregations, 9281 implications, 0 bound changes
7.59/7.66	c    (7.1s) probing: 1721/2700 (63.7%) - 0 fixings, 0 aggregations, 15210 implications, 0 bound changes
7.59/7.66	c    (7.1s) probing aborted: 100/100 successive totally useless probings
7.59/7.66	c presolving (3 rounds):
7.59/7.66	c  0 deleted vars, 40320 deleted constraints, 0 tightened bounds, 0 added holes, 43200 changed sides, 64800 changed coefficients
7.59/7.66	c  37080 implications, 630 cliques
7.59/7.66	c presolved problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
7.59/7.66	c   21770 constraints of type <knapsack>
7.59/7.66	c     630 constraints of type <setppc>
7.59/7.66	c   20220 constraints of type <logicor>
7.59/7.66	c transformed objective value is always integral (scale: 1)
7.59/7.66	c Presolving Time: 7.08
7.59/7.66	c OPT-LIN
7.59/7.66	c -----------------------------------------------------------------------------------------------
7.59/7.66	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.59/7.66	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.59/7.66	c limits/memory = c 13950
7.59/7.66	c # maximal time in seconds to run
7.59/7.66	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.59/7.66	c limits/time = c 1791
7.59/7.66	c # frequency for displaying node information lines
7.59/7.66	c # [type: int, range: [-1,2147483647], default: 100]
7.59/7.66	c display/freq = c 10000
7.59/7.66	c -----------------------------------------------------------------------------------------------
7.59/7.66	c start solving problem
7.59/7.66	c 
19.89/19.95	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.89/19.95	c  19.4s|     1 |     0 |  4937 |  94M|   0 | 701 |2700 |  42k|  42k|2700 |  42k|   0 |   0 |   0 | 4.026400e+04 |      --      |    Inf 
131.46/131.59	c   131s|     1 |     0 | 17744 |  94M|   0 | 693 |2700 |  42k|  42k|2700 |  42k|   6 |   0 |   0 | 4.026400e+04 |      --      |    Inf 
155.45/155.51	c   155s|     1 |     0 | 19406 |  94M|   0 | 705 |2700 |  42k|  42k|2700 |  42k|  17 |   0 |   0 | 4.026400e+04 |      --      |    Inf 
184.14/184.21	c   183s|     1 |     0 | 21991 |  94M|   0 | 699 |2700 |  42k|  42k|2700 |  42k|  24 |   0 |   0 | 4.026400e+04 |      --      |    Inf 
209.64/209.72	c   209s|     1 |     0 | 23478 |  94M|   0 | 733 |2700 |  42k|  42k|2700 |  42k|  29 |   0 |   0 | 4.026400e+04 |      --      |    Inf 
236.23/236.30	c   235s|     1 |     0 | 25161 |  94M|   0 | 709 |2700 |  42k|  42k|2700 |  42k|  36 |   0 |   0 | 4.026400e+04 |      --      |    Inf 
265.53/265.60	c   264s|     1 |     0 | 27725 |  95M|   0 | 715 |2700 |  42k|  42k|2700 |  42k|  42 |   0 |   0 | 4.026400e+04 |      --      |    Inf 
330.32/330.42	c   329s|     1 |     2 | 27725 |  95M|   0 | 715 |2700 |  42k|  42k|2700 |  42k|  42 |   0 |  21 | 4.026400e+04 |      --      |    Inf 
1794.00/1794.31	c 
1794.00/1794.31	c SCIP Status        : solving was interrupted [time limit reached]
1794.00/1794.31	c Solving Time (sec) : 1791.00
1794.00/1794.31	c Solving Nodes      : 57
1794.00/1794.31	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1794.00/1794.31	c Dual Bound         : +4.02640000000000e+04
1794.00/1794.31	c Gap                : infinite
1794.00/1794.31	c NODE         57
1794.00/1794.31	c DUAL BOUND   40264
1794.00/1794.31	c PRIMAL BOUND 1e+20
1794.00/1794.31	c GAP          1e+20
1794.00/1794.31	s UNKNOWN
1794.00/1794.31	c SCIP Status        : solving was interrupted [time limit reached]
1794.00/1794.31	c Solving Time       :    1791.00
1794.00/1794.31	c Original Problem   :
1794.00/1794.31	c   Problem name     : HOME/instance-3731925-1338694861.opb
1794.00/1794.31	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.00/1794.31	c   Constraints      : 42620 initial, 42620 maximal
1794.00/1794.31	c Presolved Problem  :
1794.00/1794.31	c   Problem name     : t_HOME/instance-3731925-1338694861.opb
1794.00/1794.31	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.00/1794.31	c   Constraints      : 42620 initial, 42683 maximal
1794.00/1794.31	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.00/1794.31	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.00/1794.31	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.00/1794.31	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.00/1794.31	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.00/1794.31	c   implics          :       0.01          0          0          0          0          0          0          0          0
1794.00/1794.31	c   probing          :       3.95          0          0          0          0          0          0          0          0
1794.00/1794.31	c   knapsack         :       1.39          0          0          0          0          0          0      43200      64800
1794.00/1794.31	c   setppc           :       1.44          0          0          0          0          0      40320          0          0
1794.00/1794.31	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1794.00/1794.31	c   root node        :          -          0          -          -          0          -          -          -          -
1794.00/1794.31	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.00/1794.31	c   integral         :          0          0          0         56          0          0          0          0          0        112
1794.00/1794.31	c   knapsack         :      21770          6       6026          0          1          0         88          0          0          0
1794.00/1794.31	c   setppc           :        630          6       6026          0          1          1       1066          0          0          0
1794.00/1794.31	c   logicor          :      20220+         6       3733          0          1          0        459          0          0          0
1794.00/1794.31	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1794.00/1794.31	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.00/1794.31	c   integral         :     622.82       0.00       0.00     622.82       0.00
1794.00/1794.31	c   knapsack         :       2.59       0.15       2.44       0.00       0.00
1794.00/1794.31	c   setppc           :       0.12       0.01       0.11       0.00       0.00
1794.00/1794.31	c   logicor          :       0.31       0.00       0.31       0.00       0.00
1794.00/1794.31	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.00/1794.31	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.00/1794.31	c   rootredcost      :       0.00          0          0          0
1794.00/1794.31	c   pseudoobj        :       0.00       1043          0          0
1794.00/1794.31	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.00/1794.31	c   propagation      :       0.01          1          1          3       14.3          0        0.0          -
1794.00/1794.31	c   infeasible LP    :       0.00          7          6        242      181.7          5        4.6          0
1794.00/1794.31	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.00/1794.31	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.00/1794.31	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.00/1794.31	c   applied globally :          -          -          -         63       90.5          -          -          -
1794.00/1794.31	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.00/1794.31	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.00/1794.31	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 115)
1794.00/1794.31	c   redcost          :       0.01         61          0          0          0          0
1794.00/1794.31	c   impliedbounds    :       0.01          6          0          0          0          0
1794.00/1794.31	c   intobj           :       0.00          0          0          0          0          0
1794.00/1794.31	c   gomory           :      57.43          6          0          0       1464          0
1794.00/1794.31	c   strongcg         :      57.29          6          0          0       1464          0
1794.00/1794.31	c   cmir             :       1.28          6          0          0          0          0
1794.00/1794.31	c   flowcover        :       5.20          6          0          0          0          0
1794.00/1794.31	c   clique           :       0.12          6          0          0         46          0
1794.00/1794.31	c   zerohalf         :       0.00          0          0          0          0          0
1794.00/1794.31	c   mcf              :       0.04          1          0          0          0          0
1794.00/1794.31	c Pricers            :       Time      Calls       Vars
1794.00/1794.31	c   problem variables:       0.00          0          0
1794.00/1794.31	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.00/1794.31	c   relpscost        :     622.82         56          0          0          0          0        112
1794.00/1794.31	c   pscost           :       0.00          0          0          0          0          0          0
1794.00/1794.31	c   inference        :       0.00          1          0          0          0          0          2
1794.00/1794.31	c   mostinf          :       0.00          0          0          0          0          0          0
1794.00/1794.31	c   leastinf         :       0.00          0          0          0          0          0          0
1794.00/1794.31	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.00/1794.31	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.00/1794.31	c   random           :       0.00          0          0          0          0          0          0
1794.00/1794.31	c Primal Heuristics  :       Time      Calls      Found
1794.00/1794.31	c   LP solutions     :       0.00          -          0
1794.00/1794.31	c   pseudo solutions :       0.00          -          0
1794.00/1794.31	c   oneopt           :       0.00          0          0
1794.00/1794.31	c   rootsoldiving    :       0.00          0          0
1794.00/1794.31	c   linesearchdiving :       0.00          0          0
1794.00/1794.31	c   guideddiving     :       0.00          0          0
1794.00/1794.31	c   crossover        :       0.00          0          0
1794.00/1794.31	c   coefdiving       :     109.69          1          0
1794.00/1794.31	c   pscostdiving     :     144.65          1          0
1794.00/1794.31	c   fracdiving       :      29.29          1          0
1794.00/1794.31	c   veclendiving     :     236.55          1          0
1794.00/1794.31	c   simplerounding   :       0.00          0          0
1794.00/1794.31	c   rounding         :       0.24         62          0
1794.00/1794.31	c   shifting         :       0.13         12          0
1794.00/1794.31	c   intshifting      :       0.00          0          0
1794.00/1794.31	c   fixandinfer      :       0.00          0          0
1794.00/1794.31	c   feaspump         :      91.09          1          0
1794.00/1794.31	c   intdiving        :       0.00          0          0
1794.00/1794.31	c   actconsdiving    :       0.00          0          0
1794.00/1794.31	c   objpscostdiving  :      18.11          1          0
1794.00/1794.31	c   octane           :       0.00          0          0
1794.00/1794.31	c   rens             :       0.28          1          0
1794.00/1794.31	c   rins             :       0.00          0          0
1794.00/1794.31	c   localbranching   :       0.00          0          0
1794.00/1794.31	c   mutation         :       0.00          0          0
1794.00/1794.31	c   dins             :       0.00          0          0
1794.00/1794.31	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.00/1794.31	c   primal LP        :       0.04          0          0       0.00       0.00
1794.00/1794.31	c   dual LP          :     408.81         63     136446    2165.81     333.76
1794.00/1794.31	c   barrier LP       :       0.00          0          0       0.00          -
1794.00/1794.31	c   diving/probing LP:     625.47        704     189988     269.87     303.75
1794.00/1794.31	c   strong branching :     622.82        205     204521     997.66     328.38
1794.00/1794.31	c     (at root node) :          -         21      20993     999.67          -
1794.00/1794.31	c   conflict analysis:       0.00          0          0       0.00          -
1794.00/1794.31	c B&B Tree           :
1794.00/1794.31	c   number of runs   :          1
1794.00/1794.31	c   nodes            :         57
1794.00/1794.31	c   nodes (total)    :         57
1794.00/1794.31	c   nodes left       :         58
1794.00/1794.31	c   max depth        :         14
1794.00/1794.31	c   max depth (total):         14
1794.00/1794.31	c   backtracks       :          5 (8.8%)
1794.00/1794.31	c   delayed cutoffs  :          0
1794.00/1794.31	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.00/1794.31	c   avg switch length:       2.05
1794.00/1794.31	c   switching time   :       0.09
1794.00/1794.31	c Solution           :
1794.00/1794.31	c   Solutions found  :          0 (0 improvements)
1794.00/1794.31	c   Primal Bound     :          -
1794.00/1794.31	c   Dual Bound       : +4.02640000000000e+04
1794.00/1794.31	c   Gap              :   infinite
1794.00/1794.31	c   Root Dual Bound  : +4.02640000000000e+04
1794.10/1794.44	c Time complete: 1794.15.

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

running on 4 cores: 1,3,5,7

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 3/176 2455
/proc/meminfo: memFree=27265124/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=9128 CPUtime=0 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 1622 0 0 0 0 0 0 0 20 0 1 0 335611005 9347072 1574 33554432000 4194304 7823515 140736505142736 140734044637976 6888849 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 2282 1574 349 887 0 1392 0

[startup+0.00846594 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2455
/proc/meminfo: memFree=27265124/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=10248 CPUtime=0 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 1925 0 0 0 0 0 0 0 20 0 1 0 335611005 10493952 1877 33554432000 4194304 7823515 140736505142736 140734044637976 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 2562 1877 354 887 0 1672 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10248

[startup+0.100267 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2455
/proc/meminfo: memFree=27265124/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=17084 CPUtime=0.09 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 3623 0 0 0 9 0 0 0 20 0 1 0 335611005 17494016 3575 33554432000 4194304 7823515 140736505142736 140734044637976 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 4271 3575 354 887 0 3381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17084

[startup+0.300274 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2455
/proc/meminfo: memFree=27265124/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=27864 CPUtime=0.29 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 6329 0 0 0 29 0 0 0 20 0 1 0 335611005 28532736 6281 33554432000 4194304 7823515 140736505142736 140734044637976 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 6966 6281 354 887 0 6076 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27864

[startup+0.700312 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2455
/proc/meminfo: memFree=27265124/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=119804 CPUtime=0.69 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 29394 0 0 0 62 7 0 0 20 0 1 0 335611005 122679296 28920 33554432000 4194304 7823515 140736505142736 140736505139672 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 29951 28920 429 887 0 29061 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 119804

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2456
/proc/meminfo: memFree=27140496/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=130748 CPUtime=1.49 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 32152 0 0 0 140 9 0 0 20 0 1 0 335611005 133885952 31678 33554432000 4194304 7823515 140736505142736 140736505139672 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 32687 31678 436 887 0 31797 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130748

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2456
/proc/meminfo: memFree=27139860/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=134116 CPUtime=3.09 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 32993 0 0 0 298 11 0 0 20 0 1 0 335611005 137334784 32519 33554432000 4194304 7823515 140736505142736 140736505140040 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 33529 32519 437 887 0 32639 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134116

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2456
/proc/meminfo: memFree=27135892/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=134116 CPUtime=6.29 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 33024 0 0 0 616 13 0 0 20 0 1 0 335611005 137334784 32550 33554432000 4194304 7823515 140736505142736 140736505139432 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 33529 32550 455 887 0 32639 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 134116

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2456
/proc/meminfo: memFree=27047788/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=229340 CPUtime=12.69 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 52018 0 0 0 1251 18 0 0 20 0 1 0 335611005 234844160 54588 33554432000 4194304 7823515 140736505142736 140736505138072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 57335 54588 525 887 0 56445 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 229340

[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2456
/proc/meminfo: memFree=27048284/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=229340 CPUtime=25.49 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 52029 0 0 0 2531 18 0 0 20 0 1 0 335611005 234844160 54599 33554432000 4194304 7823515 140736505142736 140736505137496 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 57335 54599 536 887 0 56445 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 229340

[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2456
/proc/meminfo: memFree=27038668/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=239984 CPUtime=51.08 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 53050 0 0 0 5087 21 0 0 20 0 1 0 335611005 245743616 57050 33554432000 4194304 7823515 140736505142736 140736505137416 6208558 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 59996 57050 536 887 0 59106 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 239984

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2456
/proc/meminfo: memFree=27037240/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=239984 CPUtime=102.27 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 53094 0 0 0 10203 24 0 0 20 0 1 0 335611005 245743616 57348 33554432000 4194304 7823515 140736505142736 140736505137416 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 59996 57348 536 887 0 59106 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 239984

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2456
/proc/meminfo: memFree=27042308/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=232596 CPUtime=162.25 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 57247 0 0 0 16181 44 0 0 20 0 1 0 335611005 238178304 56040 33554432000 4194304 7823515 140736505142736 140736505137832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 58149 56040 567 887 0 57259 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 232596

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2456
/proc/meminfo: memFree=27031536/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=241280 CPUtime=222.24 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 58054 0 0 0 22163 61 0 0 20 0 1 0 335611005 247070720 58733 33554432000 4194304 7823515 140736505142736 140736505137880 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 60320 58733 567 887 0 59430 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 241280

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2457
/proc/meminfo: memFree=27028436/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=244736 CPUtime=282.23 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 72853 0 0 0 28146 77 0 0 20 0 1 0 335611005 250609664 59397 33554432000 4194304 7823515 140736505142736 140736505137896 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 61184 59397 577 887 0 60294 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 244736

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2457
/proc/meminfo: memFree=27028312/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=244736 CPUtime=342.22 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 72853 0 0 0 34138 84 0 0 20 0 1 0 335611005 250609664 59397 33554432000 4194304 7823515 140736505142736 140736505137432 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 61184 59397 577 887 0 60294 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 244736

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2457
/proc/meminfo: memFree=27022224/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=250104 CPUtime=402.21 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 73130 0 0 0 40130 91 0 0 20 0 1 0 335611005 256106496 60953 33554432000 4194304 7823515 140736505142736 140736505137432 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 62526 60953 577 887 0 61636 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 250104

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2457
/proc/meminfo: memFree=27022348/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=250104 CPUtime=462.2 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 73136 0 0 0 46122 98 0 0 20 0 1 0 335611005 256106496 60959 33554432000 4194304 7823515 140736505142736 140736505136760 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 62526 60959 577 887 0 61636 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 250104

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2457
/proc/meminfo: memFree=27021356/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=250104 CPUtime=522.19 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 73145 0 0 0 52113 106 0 0 20 0 1 0 335611005 256106496 60968 33554432000 4194304 7823515 140736505142736 140736505138536 6211688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 62526 60968 577 887 0 61636 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 250104

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2461
/proc/meminfo: memFree=27021348/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=250104 CPUtime=582.18 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 73145 0 0 0 58103 115 0 0 20 0 1 0 335611005 256106496 60968 33554432000 4194304 7823515 140736505142736 140736505137896 6237396 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 62526 60968 577 887 0 61636 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 250104

[startup+642.3 s]

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

/proc/meminfo: memFree=27014832/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1122.1 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74426 0 0 0 112025 185 0 0 20 0 1 0 335611005 276762624 65270 33554432000 4194304 7823515 140736505142736 140736505138200 6211688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65270 578 887 0 66679 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 270276

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2504
/proc/meminfo: memFree=27012592/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1182.09 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74426 0 0 0 118018 191 0 0 20 0 1 0 335611005 276762624 65270 33554432000 4194304 7823515 140736505142736 140736505138200 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65270 578 887 0 66679 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 270276

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2527
/proc/meminfo: memFree=27010048/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1242.09 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74426 0 0 0 124010 199 0 0 20 0 1 0 335611005 276762624 65409 33554432000 4194304 7823515 140736505142736 140736505138664 6234885 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65409 578 887 0 66679 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 270276

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2527
/proc/meminfo: memFree=27006460/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1302.08 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74426 0 0 0 130002 206 0 0 20 0 1 0 335611005 276762624 65409 33554432000 4194304 7823515 140736505142736 140736505137896 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65409 578 887 0 66679 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 270276

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2527
/proc/meminfo: memFree=27005088/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1362.07 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74426 0 0 0 135993 214 0 0 20 0 1 0 335611005 276762624 65409 33554432000 4194304 7823515 140736505142736 140736505137432 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65409 578 887 0 66679 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 270276

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 2527
/proc/meminfo: memFree=27004964/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1422.06 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74426 0 0 0 141986 220 0 0 20 0 1 0 335611005 276762624 65409 33554432000 4194304 7823515 140736505142736 140736505138184 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65409 578 887 0 66679 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 270276

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2528
/proc/meminfo: memFree=27003848/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1482.04 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74426 0 0 0 147978 226 0 0 20 0 1 0 335611005 276762624 65409 33554432000 4194304 7823515 140736505142736 140736505138184 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65409 578 887 0 66679 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 270276

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2528
/proc/meminfo: memFree=27004344/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1542.03 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74426 0 0 0 153970 233 0 0 20 0 1 0 335611005 276762624 65409 33554432000 4194304 7823515 140736505142736 140736505138184 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65409 578 887 0 66679 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 270276

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2528
/proc/meminfo: memFree=27003536/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1602.03 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74426 0 0 0 159962 241 0 0 20 0 1 0 335611005 276762624 65409 33554432000 4194304 7823515 140736505142736 140736505138184 6211578 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65409 578 887 0 66679 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 270276

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2528
/proc/meminfo: memFree=27003412/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1662.01 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74431 0 0 0 165954 247 0 0 20 0 1 0 335611005 276762624 65414 33554432000 4194304 7823515 140736505142736 140736505138072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65414 583 887 0 66679 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 270276

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2528
/proc/meminfo: memFree=27003164/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1722.01 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74431 0 0 0 171946 255 0 0 20 0 1 0 335611005 276762624 65414 33554432000 4194304 7823515 140736505142736 140736505137784 6211688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65414 583 887 0 66679 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 270276

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2532
/proc/meminfo: memFree=27001108/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1782 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74431 0 0 0 177938 262 0 0 20 0 1 0 335611005 276762624 65414 33554432000 4194304 7823515 140736505142736 140736505138072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65414 583 887 0 66679 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 270276

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2532
/proc/meminfo: memFree=27001232/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1785.2 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74431 0 0 0 178258 262 0 0 20 0 1 0 335611005 276762624 65414 33554432000 4194304 7823515 140736505142736 140736505138072 6211707 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65414 583 887 0 66679 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 270276

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2532
/proc/meminfo: memFree=27001604/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1788.4 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74431 0 0 0 178577 263 0 0 20 0 1 0 335611005 276762624 65414 33554432000 4194304 7823515 140736505142736 140736505138072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65414 583 887 0 66679 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 270276

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2532
/proc/meminfo: memFree=27001604/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1791.61 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74431 0 0 0 178898 263 0 0 20 0 1 0 335611005 276762624 65414 33554432000 4194304 7823515 140736505142736 140736505138072 6211719 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65414 583 887 0 66679 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 270276

[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2532
/proc/meminfo: memFree=27001604/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1793.2 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74431 0 0 0 179057 263 0 0 20 0 1 0 335611005 276762624 65414 33554432000 4194304 7823515 140736505142736 140736505138424 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65414 583 887 0 66679 0
Current children cumulated CPU time (s) 1793.2
Current children cumulated vsize (KiB) 270276

[startup+1793.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2532
/proc/meminfo: memFree=27001604/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1793.6 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74431 0 0 0 179097 263 0 0 20 0 1 0 335611005 276762624 65414 33554432000 4194304 7823515 140736505142736 140736505138072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65414 583 887 0 66679 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (KiB) 270276

[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2532
/proc/meminfo: memFree=27001604/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1794 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74431 0 0 0 179137 263 0 0 20 0 1 0 335611005 276762624 65414 33554432000 4194304 7823515 140736505142736 140736505138072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65414 583 887 0 66679 0
Current children cumulated CPU time (s) 1794
Current children cumulated vsize (KiB) 270276

[startup+1794.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2532
/proc/meminfo: memFree=27001604/32873844 swapFree=6608/6608
[pid=2455] ppid=2453 vsize=270276 CPUtime=1794.1 cores=1,3,5,7
/proc/2455/stat : 2455 (pbscip.linux.x8) R 2453 2455 301 0 -1 4202496 74433 0 0 0 179147 263 0 0 20 0 1 0 335611005 276762624 65416 33554432000 4194304 7823515 140736505142736 140736505138072 5875920 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2455/statm: 67569 65416 585 887 0 66679 0
Current children cumulated CPU time (s) 1794.1
Current children cumulated vsize (KiB) 270276

Child status: 0
Real time (s): 1794.44
CPU time (s): 1794.15
CPU user time (s): 1791.51
CPU system time (s): 2.6416
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 302448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.51
system time used= 2.6416
maximum resident set size= 294116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74436
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= 29
involuntary context switches= 1845

runsolver used 2.6286 second user time and 8.72467 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-03 05:41:02
IDJOB=3731925
IDBENCH=2011
IDSOLVER=2321
FILE ID=node140/3731925-1338694861
RUNJOBID= node140-1338678631-321
PBS_JOBID= 14636673
Free space on /tmp= 70612 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.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-3731925-1338694861/watcher-3731925-1338694861 -o /tmp/evaluation-result-3731925-1338694861/solver-3731925-1338694861 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731925-1338694861.opb

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

MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4
RANDOM SEED=1154649040

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27265768 kB
Buffers:          404888 kB
Cached:          4218108 kB
SwapCached:         1664 kB
Active:          1352168 kB
Inactive:        3367892 kB
Active(anon):      89436 kB
Inactive(anon):     9404 kB
Active(file):    1262732 kB
Inactive(file):  3358488 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105156 kB
Dirty:             12840 kB
Writeback:             0 kB
AnonPages:        119784 kB
Mapped:            12616 kB
Shmem:                 8 kB
Slab:             748164 kB
SReclaimable:     190520 kB
SUnreclaim:       557644 kB
KernelStack:        1464 kB
PageTables:         3872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     212012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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= 70604 MiB
End job on node140 at 2012-06-03 06:10:56