Trace number 3737012

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
PB07: bsolo 3.0.17SAT (TO)6 1800.12 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_5.opb
MD5SUM65a3c38bd8963c911b96c745ee468cb1
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.08083
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint40
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3062
Sum of products size (including duplicates)6124
Number of different products3062
Sum of products size6124

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3737012-1338712013.opb
0.00/0.00	c File size is 38469 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.008 s
0.00/0.01	c Var: 3162 Constr: 6224 3162/0/3062 Lit: 21534 Watch. Lit: 15510
0.00/0.01	c Obj. Vars: 100 (3.16256 % of total variables)
0.00/0.09	c Pre-processing Time: 0.085 s
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c        0   3162     6224    21534    3    15510   19425      0      0 0.09
0.00/0.09	c Switching off LPR mode.
0.00/0.09	o 99	0.087
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c        0   3162     6225    21634    3    15513   19492      1      0 0.09
0.00/0.09	o 98	0.088
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c        0   3162     6226    21734    3    15517   19592      2      0 0.09
0.08/0.09	o 97	0.089
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c        0   3162     6227    21834    3    15522   19725      3      0 0.09
0.08/0.09	o 96	0.091
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c        0   3162     6228    21934    3    15528   19892      4      0 0.09
0.08/0.09	o 95	0.092
0.08/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.10	c        0   3162     6229    22034    3    15535   20092      5      0 0.09
0.08/0.10	o 94	0.094
0.08/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.10	c        0   3162     6230    22134    3    15543   20325      6      0 0.09
0.08/0.10	o 93	0.095
0.08/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.10	c        0   3162     6231    22234    3    15552   20592      7      0 0.10
0.08/0.10	o 92	0.096
0.08/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.10	c        0   3162     6232    22334    3    15562   20892      8      0 0.10
0.08/0.10	o 91	0.098
0.08/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.10	c        0   3162     6233    22434    3    15573   21225      9      0 0.10
0.08/0.10	o 90	0.099
0.08/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.10	c        0   3162     6234    22534    3    15585   21592     10      0 0.10
0.08/0.10	o 89	0.101
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0   3162     6235    22634    3    15598   21992     11      0 0.10
0.08/0.11	o 88	0.102
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0   3162     6236    22734    3    15612   22425     12      0 0.10
0.08/0.11	o 87	0.104
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0   3162     6237    22834    3    15627   22892     13      0 0.10
0.08/0.11	o 86	0.105
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0   3162     6238    22934    3    15643   23392     14      0 0.10
0.08/0.11	o 85	0.106
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0   3162     6239    23034    3    15660   23925     15      0 0.11
0.08/0.11	o 84	0.108
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0   3162     6240    23134    3    15678   24492     16      0 0.11
0.08/0.11	o 83	0.109
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0   3162     6241    23234    3    15697   25092     17      0 0.11
0.08/0.11	o 82	0.111
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0   3162     6242    23334    3    15717   25725     18      0 0.11
0.08/0.11	o 81	0.112
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0   3162     6243    23434    3    15738   26392     19      0 0.11
0.08/0.12	o 80	0.113
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0   3162     6244    23534    3    15760   27092     20      0 0.11
0.08/0.12	o 79	0.115
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0   3162     6245    23634    3    15783   27825     21      0 0.12
0.08/0.12	o 78	0.116
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0   3162     6246    23734    3    15807   28592     22      0 0.12
0.08/0.12	o 77	0.118
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0   3162     6247    23834    3    15832   29392     23      0 0.12
0.08/0.12	o 76	0.119
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0   3162     6248    23934    3    15858   30225     24      0 0.12
0.08/0.12	o 75	0.12
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0   3162     6249    24034    3    15885   31092     25      0 0.12
0.08/0.12	o 74	0.122
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c        0   3162     6250    24134    3    15913   31992     26      0 0.12
0.08/0.13	o 73	0.123
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c        0   3162     6251    24234    3    15942   32925     27      0 0.12
0.08/0.13	o 72	0.124
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c        0   3162     6252    24334    3    15972   33892     28      0 0.12
0.08/0.13	o 71	0.126
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c        0   3162     6253    24434    3    16003   34892     29      0 0.13
0.08/0.13	o 70	0.127
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c        0   3162     6254    24534    3    16035   35892     30      0 0.13
0.08/0.13	o 69	0.129
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c        0   3162     6255    24634    3    16068   36892     31      0 0.13
0.08/0.13	o 68	0.13
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c        0   3162     6256    24734    3    16102   37892     32      0 0.13
0.08/0.13	o 67	0.131
0.08/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.14	c        0   3162     6257    24834    3    16137   38892     33      0 0.13
0.08/0.14	o 66	0.133
0.08/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.14	c        0   3162     6258    24934    3    16173   39892     34      0 0.13
0.08/0.14	o 65	0.134
0.08/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.14	c        0   3162     6259    25034    3    16210   40892     35      0 0.14
0.08/0.14	o 64	0.136
0.08/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.14	c        0   3162     6260    25134    4    16248   41892     36      0 0.14
0.08/0.14	o 63	0.137
0.08/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.14	c        0   3162     6261    25234    4    16287   42892     37      0 0.14
0.08/0.14	o 62	0.139
0.08/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.14	c        0   3162     6262    25334    4    16327   43892     38      0 0.14
0.08/0.14	o 61	0.14
0.08/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.14	c        0   3162     6263    25434    4    16368   44892     39      0 0.14
0.08/0.14	o 60	0.142
0.08/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.15	c        0   3162     6264    25534    4    16410   45892     40      0 0.14
0.08/0.15	o 59	0.143
0.08/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.15	c        0   3162     6265    25634    4    16453   46892     41      0 0.14
0.08/0.15	o 58	0.145
0.08/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.15	c        0   3162     6266    25734    4    16497   47892     42      0 0.14
0.08/0.15	o 16	0.147
0.08/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.15	c        1   3162     6268    25892    4    16585   47892     44      6 0.15
0.08/0.15	o 8	0.149
0.18/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.18/0.20	c        1   3162     6269    25992    4    16679   47892     45      6 0.15
0.18/0.20	c      104   3162     6372    31902    5    16885   52682    148    611 0.17
0.18/0.20	o 7	0.196
10.49/10.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.49/10.58	c      268   3162     6537    48100    7    17308   47892    313   1360 0.20
10.49/10.58	c      368   3162     6637    57926    8    17508   52682    413   1735 0.21
10.49/10.58	c      618   3162     6887    85829   12    18008   57951    663   2433 0.25
10.49/10.58	c     1094   3162     7363   138598   18    18960   63747   1139   3305 0.33
10.49/10.58	c     1908   3162     8177   222496   27    20588   70122   1953   4094 0.47
10.49/10.58	c     3228   3162     9497   364227   38    23228   77135   3273   4415 0.73
10.49/10.58	c     5309   3162    11578   595500   51    27390   84849   5354   4210 1.26
10.49/10.58	c     8534   3162    14803   964711   65    33840   93334   8579   3813 2.24
10.49/10.58	c    13471   3162    19740  1559495   79    43714  102668  13516   3106 4.34
10.49/10.58	c    20981   3162    27250  2374003   87    58734  112935  21026   2811 7.46
10.49/10.58	o 6	10.579
1800.11/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.11/1800.61	c    26212   3162    32482  2899440   89    69292   47892  26258   2477 10.58
1800.11/1800.61	c    26313   3162    32583  2909849   89    69494   52682  26359   2471 10.64
1800.11/1800.61	c    26565   3162    32835  2935198   89    69998   57951  26611   2466 10.77
1800.11/1800.61	c    27042   3162    33312  2972346   89    70952   63747  27088   2452 11.03
1800.11/1800.61	c    27855   3162    34125  3041386   89    72578   70122  27901   2425 11.48
1800.11/1800.61	c    29175   3162    35445  3167897   89    75218   77135  29221   2378 12.26
1800.11/1800.61	c    31256   3162    37526  3358477   89    79380   84849  31302   2290 13.65
1800.11/1800.61	c    34481   3162    40751  3651811   89    85830   93334  34527   2156 15.99
1800.11/1800.61	c    39419   3162    45689  4130878   90    95706  102668  39465   1988 19.82
1800.11/1800.61	c    46926   3162    53196  4873566   91   110720  112935  46972   1840 25.50
1800.11/1800.61	c    58287   3162    64557  5972028   92   133442  124229  58333   1542 37.78
1800.11/1800.61	c    75431   3162    81701  7638618   93   167730  136652  75477   1278 58.99
1800.11/1800.61	c   101250   3162   107520 10533072   97   219368  150318 101296    969 104.48
1800.11/1800.61	c   140082   3162   146352 14625015   99   297032  165350 140128    712 196.50
1800.11/1800.61	c   198438   3162    51766  4689437   90   106688  181886  45542    662 299.35
1800.11/1800.61	c   286071   3162   139399 18475911  132   281954  200075 133175    614 465.45
1800.11/1800.61	c   417625   3162    82398  7393473   89   167952  220083  76174    535 780.05
1800.11/1800.61	c   615058   3162    71531  5847674   81   146218  242092  65307    496 1238.23
1800.11/1800.61	c Caught signal: 15
1800.11/1800.61	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
1800.11/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.11/1800.61	c   73   829312 242002  1403134    56008 11835651  49784    460 1800.11
1800.11/1800.61	c Objective: 6
1800.11/1800.61	s SATISFIABLE
1800.11/1800.61	c Total time: 1800.11 s

Verifier Data 

OK	6

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-3737012-1338712013/watcher-3737012-1338712013 -o /tmp/evaluation-result-3737012-1338712013/solver-3737012-1338712013 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737012-1338712013.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.07 2.02 2.00 3/176 28677
/proc/meminfo: memFree=27588920/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 337329852 2723840 47 33554432000 134512640 135840783 4294533904 4294531876 9737731 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28677/statm: 694 50 39 325 0 32 0

[startup+0.0963191 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 28677
/proc/meminfo: memFree=27588920/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=6444 CPUtime=0.08 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 1015 0 0 0 8 0 0 0 20 0 1 0 337329852 6598656 876 33554432000 134512640 135840783 4294533904 4294533264 134550791 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28677/statm: 1611 876 349 325 0 547 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6444

[startup+0.100254 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 28677
/proc/meminfo: memFree=27588920/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=6444 CPUtime=0.08 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 1015 0 0 0 8 0 0 0 20 0 1 0 337329852 6598656 876 33554432000 134512640 135840783 4294533904 4294533264 134551093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28677/statm: 1611 876 349 325 0 547 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6444

[startup+0.300226 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 28677
/proc/meminfo: memFree=27588920/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=7492 CPUtime=0.28 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 1271 0 0 0 28 0 0 0 20 0 1 0 337329852 7671808 1132 33554432000 134512640 135840783 4294533904 4294533264 134550808 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28677/statm: 1873 1132 350 325 0 809 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7492

[startup+0.70021 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 28677
/proc/meminfo: memFree=27588920/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=10736 CPUtime=0.69 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 2074 0 0 0 68 1 0 0 20 0 1 0 337329852 10993664 1935 33554432000 134512640 135840783 4294533904 4294533264 134551312 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28677/statm: 2684 1935 350 325 0 1620 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10736

[startup+1.50021 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 28678
/proc/meminfo: memFree=27579620/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=15548 CPUtime=1.49 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 3281 0 0 0 148 1 0 0 20 0 1 0 337329852 15921152 3142 33554432000 134512640 135840783 4294533904 4294532992 3037932 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28677/statm: 3887 3142 350 325 0 2823 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15548

[startup+3.10019 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 28678
/proc/meminfo: memFree=27573296/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=23336 CPUtime=3.09 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 5231 0 0 0 308 1 0 0 20 0 1 0 337329852 23896064 5092 33554432000 134512640 135840783 4294533904 4294528824 134585064 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28677/statm: 5834 5092 350 325 0 4770 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23336

[startup+6.30025 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 28678
/proc/meminfo: memFree=27558664/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=34748 CPUtime=6.28 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 8087 0 0 0 627 1 0 0 20 0 1 0 337329852 35581952 7948 33554432000 134512640 135840783 4294533904 4294533264 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28677/statm: 8687 7948 350 325 0 7623 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34748

[startup+12.7003 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 28678
/proc/meminfo: memFree=27540748/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=50476 CPUtime=12.69 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 12013 0 0 0 1266 3 0 0 20 0 1 0 337329852 51687424 11874 33554432000 134512640 135840783 4294533904 4294532976 3038110 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28677/statm: 12619 11874 350 325 0 11555 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50476

[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 28678
/proc/meminfo: memFree=27509624/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=73368 CPUtime=25.48 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 17729 0 0 0 2544 4 0 0 20 0 1 0 337329852 75128832 17590 33554432000 134512640 135840783 4294533904 4294533424 134552084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28677/statm: 18342 17590 350 325 0 17278 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73368

[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 28678
/proc/meminfo: memFree=27465356/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=104180 CPUtime=51.07 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 25456 0 0 0 5100 7 0 0 20 0 1 0 337329852 106680320 25317 33554432000 134512640 135840783 4294533904 4294533264 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 26045 25317 350 325 0 24981 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 104180

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 28679
/proc/meminfo: memFree=27394420/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=149740 CPUtime=102.27 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 36828 0 0 0 10215 12 0 0 20 0 1 0 337329852 153333760 36689 33554432000 134512640 135840783 4294533904 4294533264 134551098 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 37435 36689 350 325 0 36371 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 149740

[startup+162.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 28719
/proc/meminfo: memFree=27925628/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=189172 CPUtime=162.25 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 46701 0 0 0 16208 17 0 0 20 0 1 0 337329852 193712128 46554 33554432000 134512640 135840783 4294533904 4294533264 134551232 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 47293 46554 350 325 0 46229 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 189172

[startup+222.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/178 28722
/proc/meminfo: memFree=27878280/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=225172 CPUtime=222.19 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 55748 0 0 0 22199 20 0 0 20 0 1 0 337329852 230576128 55554 33554432000 134512640 135840783 4294533904 4294533264 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 56293 55554 350 325 0 55229 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 225172

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 28722
/proc/meminfo: memFree=27844340/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=254700 CPUtime=282.13 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 63349 0 0 0 28189 24 0 0 20 0 1 0 337329852 260812800 62943 33554432000 134512640 135840783 4294533904 4294533264 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 63675 62943 350 325 0 62611 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 254700

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 28722
/proc/meminfo: memFree=27840524/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=254700 CPUtime=342.11 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 63365 0 0 0 34187 24 0 0 20 0 1 0 337329852 260812800 62943 33554432000 134512640 135840783 4294533904 4294533264 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 63675 62943 350 325 0 62611 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 254700

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 28722
/proc/meminfo: memFree=27840572/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=254700 CPUtime=402.1 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 63365 0 0 0 40186 24 0 0 20 0 1 0 337329852 260812800 62943 33554432000 134512640 135840783 4294533904 4294533264 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 63675 62943 350 325 0 62611 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 254700

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 28723
/proc/meminfo: memFree=27836232/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=254956 CPUtime=462.09 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 63416 0 0 0 46185 24 0 0 20 0 1 0 337329852 261074944 62994 33554432000 134512640 135840783 4294533904 4294533264 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 63739 62994 350 325 0 62675 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 254956

[startup+522.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 28723
/proc/meminfo: memFree=27808704/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=283608 CPUtime=522.08 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 70573 0 0 0 52181 27 0 0 20 0 1 0 337329852 290414592 70151 33554432000 134512640 135840783 4294533904 4294530304 3040551 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 70902 70151 350 325 0 69838 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 283608

[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 28723
/proc/meminfo: memFree=27784728/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=307212 CPUtime=582.05 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 76521 0 0 0 58175 30 0 0 20 0 1 0 337329852 314585088 76077 33554432000 134512640 135840783 4294533904 4294533264 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 76803 76077 350 325 0 75739 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 307212

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28727
/proc/meminfo: memFree=27740552/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=350224 CPUtime=822 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 87468 0 0 0 82163 37 0 0 20 0 1 0 337329852 358629376 86816 33554432000 134512640 135840783 4294533904 4294533264 134551052 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 87556 86816 350 325 0 86492 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 350224

[startup+882.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 28727
/proc/meminfo: memFree=27740592/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=350224 CPUtime=881.98 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 87483 0 0 0 88161 37 0 0 20 0 1 0 337329852 358629376 86816 33554432000 134512640 135840783 4294533904 4294533216 134551797 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 87556 86816 350 325 0 86492 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 350224

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28727
/proc/meminfo: memFree=27735756/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=350224 CPUtime=941.97 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 87483 0 0 0 94160 37 0 0 20 0 1 0 337329852 358629376 86816 33554432000 134512640 135840783 4294533904 4294533264 134551347 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 87556 86816 350 325 0 86492 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 350224

[startup+1002.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 28727
/proc/meminfo: memFree=27733772/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=352932 CPUtime=1001.96 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 88167 0 0 0 100159 37 0 0 20 0 1 0 337329852 361402368 87500 33554432000 134512640 135840783 4294533904 4294533264 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 88233 87500 350 325 0 87169 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 352932

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28728
/proc/meminfo: memFree=27689752/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=397248 CPUtime=1061.94 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 99244 0 0 0 106154 40 0 0 20 0 1 0 337329852 406781952 98577 33554432000 134512640 135840783 4294533904 4294533264 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 99312 98577 350 325 0 98248 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 397248

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28728
/proc/meminfo: memFree=27666068/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=420480 CPUtime=1121.94 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 105063 0 0 0 112150 44 0 0 20 0 1 0 337329852 430571520 104396 33554432000 134512640 135840783 4294533904 4294533264 134550782 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 105120 104396 350 325 0 104056 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 420480

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28728
/proc/meminfo: memFree=27641492/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=439164 CPUtime=1181.89 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 109976 0 0 0 118142 47 0 0 20 0 1 0 337329852 449703936 109049 33554432000 134512640 135840783 4294533904 4294533328 134546114 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 109791 109049 350 325 0 108727 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 439164

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28728
/proc/meminfo: memFree=27641172/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=439164 CPUtime=1241.88 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 109976 0 0 0 124141 47 0 0 20 0 1 0 337329852 449703936 109049 33554432000 134512640 135840783 4294533904 4294533264 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 109791 109049 350 325 0 108727 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 439164

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28728
/proc/meminfo: memFree=27641172/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=439164 CPUtime=1301.88 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 109976 0 0 0 130141 47 0 0 20 0 1 0 337329852 449703936 109049 33554432000 134512640 135840783 4294533904 4294533196 1806288 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 109791 109049 350 325 0 108727 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 439164

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28728
/proc/meminfo: memFree=27641056/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=439164 CPUtime=1361.86 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 109976 0 0 0 136139 47 0 0 20 0 1 0 337329852 449703936 109049 33554432000 134512640 135840783 4294533904 4294533264 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 109791 109049 350 325 0 108727 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 439164

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28732
/proc/meminfo: memFree=27641288/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=439164 CPUtime=1421.86 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 109976 0 0 0 142139 47 0 0 20 0 1 0 337329852 449703936 109049 33554432000 134512640 135840783 4294533904 4294533264 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 109791 109049 350 325 0 108727 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 439164

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28732
/proc/meminfo: memFree=27635220/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=439164 CPUtime=1481.84 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 109976 0 0 0 148137 47 0 0 20 0 1 0 337329852 449703936 109049 33554432000 134512640 135840783 4294533904 4294533264 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 109791 109049 350 325 0 108727 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 439164

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28732
/proc/meminfo: memFree=27635592/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=439164 CPUtime=1541.83 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 109976 0 0 0 154136 47 0 0 20 0 1 0 337329852 449703936 109049 33554432000 134512640 135840783 4294533904 4294533264 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 109791 109049 350 325 0 108727 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 439164

[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 28732
/proc/meminfo: memFree=27635588/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=439164 CPUtime=1601.82 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 109976 0 0 0 160135 47 0 0 20 0 1 0 337329852 449703936 109049 33554432000 134512640 135840783 4294533904 4294533264 134550782 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 109791 109049 350 325 0 108727 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 439164

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28732
/proc/meminfo: memFree=27635712/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=439184 CPUtime=1661.82 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 109981 0 0 0 166135 47 0 0 20 0 1 0 337329852 449724416 109054 33554432000 134512640 135840783 4294533904 4294533264 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 109796 109054 350 325 0 108732 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 439184

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28733
/proc/meminfo: memFree=27636952/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=440124 CPUtime=1721.8 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 110221 0 0 0 172133 47 0 0 20 0 1 0 337329852 450686976 109294 33554432000 134512640 135840783 4294533904 4294522240 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 110031 109294 350 325 0 108967 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 440124

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28733
/proc/meminfo: memFree=27631124/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=444948 CPUtime=1781.8 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 111661 0 0 0 178132 48 0 0 20 0 1 0 337329852 455626752 110495 33554432000 134512640 135840783 4294533904 4294533264 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 111237 110495 350 325 0 110173 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 444948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28733
/proc/meminfo: memFree=27631248/32873844 swapFree=7116/7116
[pid=28677] ppid=28675 vsize=444948 CPUtime=1800.11 cores=0,2,4,6
/proc/28677/stat : 28677 (bsolo3.0.17) R 28675 28677 24661 0 -1 4202496 111661 0 0 0 179963 48 0 0 20 0 1 0 337329852 455626752 110495 33554432000 134512640 135840783 4294533904 4294533040 3038110 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28677/statm: 111237 110495 350 325 0 110173 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 444948

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.61
CPU time (s): 1800.12
CPU user time (s): 1799.63
CPU system time (s): 0.485926
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 445904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.485926
maximum resident set size= 442936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111664
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= 223
involuntary context switches= 1957

runsolver used 2.83357 second user time and 9.35058 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-03 10:26:53
IDJOB=3737012
IDBENCH=48159
IDSOLVER=2318
FILE ID=node108/3737012-1338712013
RUNJOBID= node108-1338678627-24680
PBS_JOBID= 14636705
Free space on /tmp= 71468 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_5.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737012-1338712013/watcher-3737012-1338712013 -o /tmp/evaluation-result-3737012-1338712013/solver-3737012-1338712013 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737012-1338712013.opb            

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

MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1
RANDOM SEED=1591665783

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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	: 5438.55
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.273
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		: 2666.273
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:        27589432 kB
Buffers:          325360 kB
Cached:          3556604 kB
SwapCached:          112 kB
Active:          2488444 kB
Inactive:        1991944 kB
Active(anon):     585596 kB
Inactive(anon):    13084 kB
Active(file):    1902848 kB
Inactive(file):  1978860 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              6616 kB
Writeback:             0 kB
AnonPages:        602780 kB
Mapped:            15636 kB
Shmem:               172 kB
Slab:             663796 kB
SReclaimable:     106004 kB
SUnreclaim:       557792 kB
KernelStack:        1456 kB
PageTables:         5152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     708692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    509952 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= 71460 MiB
End job on node108 at 2012-06-03 10:56:55