Trace number 3737518

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)-15 1800.01 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_1.opb
MD5SUM8c398fbb12ba7dbf676dd8375a76e0de
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1789.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2496
Sum of products size (including duplicates)4992
Number of different products1248
Sum of products size2496

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-3737518-1338721832.opb
0.00/0.00	c File size is 36021 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.006 s
0.00/0.01	c Var: 2696 Constr: 5294 2596/202/2496 Lit: 18072 Watch. Lit: 15378
0.00/0.01	c Obj. Vars: 100 (3.7092 % of total variables)
0.39/0.48	c Pre-processing Time: 0.473 s
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c        0   2696     5294    18072    3    15378   27672      0      0 0.47
0.39/0.48	c Switching off LPR mode.
0.39/0.48	o -1	0.474
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c        0   2696     5295    18172    3    15381   27738      1      0 0.47
0.39/0.48	o -2	0.475
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c        0   2696     5296    18272    3    15385   27838      2      0 0.47
0.39/0.48	o -3	0.476
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c        0   2696     5297    18372    3    15390   27972      3      0 0.48
0.39/0.48	o -4	0.477
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c        0   2696     5298    18472    3    15396   28138      4      0 0.48
0.39/0.48	o -5	0.478
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c        0   2696     5299    18572    3    15403   28338      5      0 0.48
0.39/0.48	o -6	0.479
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c        0   2696     5300    18672    3    15411   28572      6      0 0.48
0.39/0.48	o -7	0.48
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c        0   2696     5301    18772    3    15420   28838      7      0 0.48
0.39/0.49	o -8	0.481
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c        2   2696     5304    19147    3    15434   28872     10      4 0.48
0.49/0.53	c      102   2696     5404    32625    6    15634   31760    110    204 0.50
0.49/0.53	o -9	0.522
45.57/45.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
45.57/45.60	c      294   2696     5597    56243   10    16029   28905    303    563 0.52
45.57/45.60	c      394   2696     5697    69215   12    16229   31796    403    717 0.55
45.57/45.60	c      644   2696     5947   102042   17    16729   34976    653   1069 0.60
45.57/45.60	c     1119   2696     6422   163641   25    17679   38474   1128   1619 0.69
45.57/45.60	c     1932   2696     7235   272205   37    19305   42322   1941   2364 0.82
45.57/45.60	c     3252   2696     8555   441647   51    21945   46555   3261   3314 0.98
45.57/45.60	c     5333   2696    10636   694691   65    26107   51211   5342   4021 1.33
45.57/45.60	c     8556   2696    13859  1138080   82    32553   56333   8565   4227 2.02
45.57/45.60	c    13492   2696    18795  1725504   91    42425   61967  13501   4019 3.36
45.57/45.60	c    20998   2696    26301  2684587  102    57437   68164  21007   3683 5.70
45.57/45.60	c    32359   2696    37662  4141230  109    80159   74981  32368   3599 8.99
45.57/45.60	c    49504   2696    54807  6396215  116   114449   82480  49513   2512 19.71
45.57/45.60	c    75323   2696    80626 10098982  125   166087   90729  75332   1934 38.94
45.57/45.60	o -10	45.578
323.75/323.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
323.75/323.92	c    81646   2696    86950 11143471  128   178745   28938  81656   1791 45.58
323.75/323.92	c    81746   2696    17455  1977856  113    39710   31832  12161   1697 48.16
323.75/323.92	c    81997   2696    17706  2009301  113    40212   35016  12412   1699 48.25
323.75/323.92	c    82472   2696    18181  2065143  113    41162   38518  12887   1704 48.39
323.75/323.92	c    83285   2696    18994  2162365  113    42788   42370  13700   1713 48.60
323.75/323.92	c    84605   2696    20314  2331415  114    45428   46608  15020   1728 48.94
323.75/323.92	c    86686   2696    22395  2545953  113    49590   51269  17101   1761 49.20
323.75/323.92	c    89909   2696    25618  2897752  113    56036   56396  20324   1809 49.69
323.75/323.92	c    94845   2696    30554  3484267  114    65908   62036  25260   1860 50.97
323.75/323.92	c   102351   2696    38060  4414571  115    80920   68240  32766   1911 53.55
323.75/323.92	c   113712   2696    49421  5953812  120   103642   75065  44127   1921 59.18
323.75/323.92	c   130856   2696    66565  8270027  124   137930   82572  61271   1880 69.60
323.75/323.92	c   156675   2696    19331  1881433   97    43462   90830  14037   1506 104.03
323.75/323.92	c   195507   2696    58163  7498554  128   121126   99914  52869   1602 121.97
323.75/323.92	c   253859   2696    26440  3005098  113    57680  109906  21146   1421 178.57
323.75/323.92	c   341492   2696   114073 15421065  135   232946  120897 108779   1389 245.69
323.75/323.92	o -11	323.787
337.65/337.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
337.65/337.89	c   404194   2696    65971  8683657  131   136753   28072  60677   1248 323.79
337.65/337.89	c   404294   2696    17270  1798786  104    39341   30880  11976   1222 330.62
337.65/337.89	c   404544   2696    17520  1829318  104    39841   33969  12226   1223 330.70
337.65/337.89	c   405019   2696    17995  1884482  104    40791   37366  12701   1224 330.82
337.65/337.89	c   405832   2696    18808  1982416  105    42417   41103  13514   1226 331.01
337.65/337.89	c   407152   2696    20128  2144636  106    45057   45214  14834   1229 331.28
337.65/337.89	c   409233   2696    22209  2418506  108    49219   49736  16915   1232 331.91
337.65/337.89	c   412456   2696    25432  2815049  110    55665   54710  20138   1239 332.69
337.65/337.89	c   417392   2696    30368  3379505  111    65537   60182  25074   1249 333.99
337.65/337.89	c   424898   2696    37874  4339683  114    80549   66201  32580   1261 336.72
337.65/337.89	o -12	337.749
748.95/749.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
748.95/749.23	c   427887   2696    40864  4709459  115    86541   28105  35570   1266 337.75
748.95/749.23	c   427987   2696    16838  1465272   87    38478   30916  11544   1262 338.98
748.95/749.23	c   428237   2696    17088  1498027   87    38978   34008  11794   1263 339.03
748.95/749.23	c   428712   2696    17563  1561055   88    39928   37409  12269   1264 339.12
748.95/749.23	c   429525   2696    18376  1647999   89    41554   41150  13082   1266 339.21
748.95/749.23	c   430845   2696    19696  1780423   90    44194   45266  14402   1269 339.34
748.95/749.23	c   432926   2696    21777  1990433   91    48356   49793  16483   1274 339.60
748.95/749.23	c   436149   2696    25000  2316611   92    54802   54773  19706   1282 340.12
748.95/749.23	c   441085   2696    29936  2892619   96    64674   60251  24642   1291 341.56
748.95/749.23	c   448591   2696    37442  3766198  100    79686   66277  32148   1303 344.15
748.95/749.23	c   459952   2696    48803  5143284  105   102408   72905  43509   1317 349.09
748.95/749.23	c   477096   2696    65947  7518086  114   136696   80196  60653   1329 358.91
748.95/749.23	c   502915   2696    21482  2122031   98    47766   88216  16188   1322 380.20
748.95/749.23	c   541747   2696    60314  7234869  119   125430   97038  55020   1367 396.04
748.95/749.23	c   600100   2696    31446  3100928   98    67694  106742  26152   1361 440.64
748.95/749.23	c   687732   2696    22129  2038122   92    49060  117417  16835   1372 500.94
748.95/749.23	c   819284   2696    46377  5152161  111    97556  129159  41083   1392 588.42
748.95/749.23	c  1016716   2696   124674 15665959  125   254150  142075 119380   1368 743.21
748.95/749.23	o -13	748.997
1022.21/1022.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1022.21/1022.57	c  1022738   2696   130697 16611980  127   266209   28138 125403   1365 749.00
1022.21/1022.57	c  1022838   2696    17970  2017521  112    40743   30952  12676   1338 764.11
1022.21/1022.57	c  1023088   2696    18220  2045634  112    41243   34048  12926   1338 764.19
1022.21/1022.57	c  1023563   2696    18695  2098655  112    42193   37453  13401   1339 764.29
1022.21/1022.57	c  1024376   2696    19508  2190082  112    43819   41199  14214   1340 764.45
1022.21/1022.57	c  1025696   2696    20828  2327548  111    46459   45319  15534   1341 764.67
1022.21/1022.57	c  1027777   2696    22909  2555160  111    50621   49851  17615   1343 765.18
1022.21/1022.57	c  1031000   2696    26132  2920148  111    57067   54837  20838   1345 766.07
1022.21/1022.57	c  1035936   2696    31068  3442034  110    66939   60321  25774   1350 767.35
1022.21/1022.57	c  1043442   2696    38574  4309502  111    81951   66354  33280   1355 769.87
1022.21/1022.57	c  1054803   2696    49935  5850280  117   104673   72990  44641   1359 775.83
1022.21/1022.57	c  1071947   2696    67079  7835749  116   138961   80290  61785   1365 784.82
1022.21/1022.57	c  1097766   2696    22285  2031174   91    49373   88320  16991   1349 813.28
1022.21/1022.57	c  1136598   2696    61117  6715369  109   127037   97153  55823   1377 825.36
1022.21/1022.57	c  1194950   2696    32124  3373017  104    69051  106869  26830   1388 860.88
1022.21/1022.57	c  1282583   2696    22785  2360985  103    50373  117556  17491   1380 929.37
1022.21/1022.57	c  1414135   2696    46792  5301379  113    98387  129312  41498   1391 1016.49
1022.21/1022.57	o -14	1022.3
1028.31/1028.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1028.31/1028.65	c  1429414   2696    62072  7217833  116   128961   28172  56778   1398 1022.30
1028.31/1028.65	c  1429514   2696    17169  1458107   84    39142   30990  11875   1392 1026.88
1028.31/1028.65	c  1429764   2696    17419  1490093   85    39642   34090  12125   1392 1026.93
1028.31/1028.65	c  1430239   2696    17894  1552572   86    40592   37500  12600   1392 1027.02
1028.31/1028.65	c  1431052   2696    18707  1635396   87    42218   41251  13413   1393 1027.11
1028.31/1028.65	c  1432372   2696    20027  1772995   88    44858   45377  14733   1394 1027.27
1028.31/1028.65	c  1434453   2696    22108  1987652   89    49020   49915  16814   1396 1027.53
1028.31/1028.65	c  1437676   2696    25331  2335218   92    55466   54907  20037   1398 1028.06
1028.31/1028.65	o -15	1028.37
1800.01/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.40	c  1439390   2696    27046  2517070   93    58911   28205  21752   1399 1028.37
1800.01/1800.40	c  1439490   2696    27146  2528114   93    59111   31026  21852   1399 1028.40
1800.01/1800.40	c  1439740   2696    27396  2555092   93    59611   34129  22102   1399 1028.46
1800.01/1800.40	c  1440215   2696    27871  2609884   93    60561   37542  22577   1400 1028.59
1800.01/1800.40	c  1441028   2696    28684  2701480   94    62187   41297  23390   1400 1028.77
1800.01/1800.40	c  1442348   2696    30004  2835696   94    64827   45427  24710   1401 1029.02
1800.01/1800.40	c  1444429   2696    32085  3050302   95    68989   49970  26791   1403 1029.35
1800.01/1800.40	c  1447652   2696    35308  3388653   95    75435   54968  30014   1405 1030.12
1800.01/1800.40	c  1452588   2696    40244  3902867   96    85307   60465  34950   1408 1031.32
1800.01/1800.40	c  1460094   2696    47750  4686726   98   100319   66512  42456   1412 1033.56
1800.01/1800.40	c  1471455   2696    59111  5875152   99   123041   73164  53817   1418 1037.67
1800.01/1800.40	c  1488599   2696    76255  7818751  102   157329   80481  70961   1423 1046.05
1800.01/1800.40	c  1514418   2696    31407  3088769   98    67619   88530  26113   1431 1058.06
1800.01/1800.40	c  1553250   2696    70239  7833277  111   145283   97384  64945   1446 1073.60
1800.01/1800.40	c  1611602   2696    41079  4121037  100    86963  107123  35785   1456 1106.49
1800.01/1800.40	c  1699234   2696    31562  3205908  101    67929  117836  26268   1450 1171.59
1800.01/1800.40	c  1830786   2696    55084  7414270  134   114973  129620  49790   1459 1254.63
1800.01/1800.40	c  2028218   2696   132847 16031649  120   270499  142583 127553   1442 1405.82
1800.01/1800.40	c  2324470   2696    32191  3082783   95    69187  156842  26897   1354 1716.16
1800.01/1800.40	c Caught signal: 15
1800.01/1800.40	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 -x184 -x187 x178 -x116 -x194 -x136 x193 -x150 -x122 -x163 -x117 -x131 -x156 -x160 -x167 -x179 -x101 x128 x191 -x164 -x127 x141 x173 -x137 -x112 -x169 -x110 x111 -x102 -x168 -x130 -x183 -x124 -x123 -x159 -x170 -x148 -x154 -x155 -x190 -x103 -x157 -x143 -x174 -x120 -x185 -x108 -x115 -x149 -x151 -x104 -x138 -x199 -x125 -x171 -x114 x192 -x181 -x121 -x126 -x145 -x147 -x158 -x105 -x197 -x182 x139 -x146 -x176 -x198 x106 -x196 -x135 -x107 -x165 -x144 -x188 -x109 -x177 -x189 -x119 -x195 x152 -x200 -x133 x161 -x140 -x113 -x129 x118 -x153 x142 -x166 -x132 -x172 -x186 -x180 -x175 -x134 x162 
1800.01/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.40	c  110  2444327    193  2471686   152048 18214919 146754   1357 1800.01
1800.01/1800.40	c Objective: -15
1800.01/1800.40	s SATISFIABLE
1800.01/1800.40	c Total time: 1800.01 s

Verifier Data

OK	-15

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-3737518-1338721832/watcher-3737518-1338721832 -o /tmp/evaluation-result-3737518-1338721832/solver-3737518-1338721832 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737518-1338721832.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: 1.92 1.98 1.99 3/177 23756
/proc/meminfo: memFree=28560208/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 338311652 2723840 47 33554432000 134512640 135840783 4290268432 4290266468 7230404 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23756/statm: 665 47 37 325 0 32 0

[startup+0.0263439 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 23756
/proc/meminfo: memFree=28560208/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=5908 CPUtime=0.01 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 812 0 0 0 1 0 0 0 20 0 1 0 338311652 6049792 739 33554432000 134512640 135840783 4290268432 4290235196 7291952 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23756/statm: 1477 739 345 325 0 413 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5908

[startup+0.100229 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 23756
/proc/meminfo: memFree=28560208/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=5908 CPUtime=0.09 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 813 0 0 0 9 0 0 0 20 0 1 0 338311652 6049792 740 33554432000 134512640 135840783 4290268432 4290235056 134551618 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23756/statm: 1477 740 345 325 0 413 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5908

[startup+0.300179 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 23756
/proc/meminfo: memFree=28560208/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=5908 CPUtime=0.29 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 813 0 0 0 29 0 0 0 20 0 1 0 338311652 6049792 740 33554432000 134512640 135840783 4290268432 4290235056 134551093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23756/statm: 1477 740 345 325 0 413 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5908

[startup+0.700179 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 23756
/proc/meminfo: memFree=28560208/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=8064 CPUtime=0.68 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 1391 0 0 0 68 0 0 0 20 0 1 0 338311652 8257536 1271 33554432000 134512640 135840783 4290268432 4290267504 1579777 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23756/statm: 2016 1271 351 325 0 952 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8064

[startup+1.5002 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 23757
/proc/meminfo: memFree=28550588/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=17088 CPUtime=1.49 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 3648 0 0 0 148 1 0 0 20 0 1 0 338311652 17498112 3528 33554432000 134512640 135840783 4290268432 4290265072 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23756/statm: 4272 3528 351 325 0 3208 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17088

[startup+3.10022 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 23757
/proc/meminfo: memFree=28540040/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=27524 CPUtime=3.09 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 6266 0 0 0 308 1 0 0 20 0 1 0 338311652 28184576 6146 33554432000 134512640 135840783 4290268432 4290267792 134551076 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23756/statm: 6881 6146 351 325 0 5817 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27524

[startup+6.30021 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 23757
/proc/meminfo: memFree=28520820/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=46608 CPUtime=6.29 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 11035 0 0 0 627 2 0 0 20 0 1 0 338311652 47726592 10915 33554432000 134512640 135840783 4290268432 4290267784 13658297 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23756/statm: 11652 10915 351 325 0 10588 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46608

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 23757
/proc/meminfo: memFree=28488084/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=73572 CPUtime=12.68 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 17770 0 0 0 1264 4 0 0 20 0 1 0 338311652 75337728 17650 33554432000 134512640 135840783 4290268432 4290265616 1581057 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 18393 17650 351 325 0 17329 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73572

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 23757
/proc/meminfo: memFree=28447768/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=109412 CPUtime=25.48 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 26742 0 0 0 2541 7 0 0 20 0 1 0 338311652 112037888 26622 33554432000 134512640 135840783 4290268432 4290267744 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 27353 26622 351 325 0 26289 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 109412

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 23757
/proc/meminfo: memFree=28393292/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=156560 CPUtime=51.06 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 38634 0 0 0 5096 10 0 0 20 0 1 0 338311652 160317440 38422 33554432000 134512640 135840783 4290268432 4290267664 1207039 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 39140 38422 351 325 0 38076 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 156560

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 23758
/proc/meminfo: memFree=28383168/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=166872 CPUtime=102.22 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 41321 0 0 0 10210 12 0 0 20 0 1 0 338311652 170876928 40986 33554432000 134512640 135840783 4290268432 4290267856 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 41718 40986 351 325 0 40654 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 166872

[startup+162.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/177 23758
/proc/meminfo: memFree=28349636/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=201652 CPUtime=162.18 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 50026 0 0 0 16203 15 0 0 20 0 1 0 338311652 206491648 49665 33554432000 134512640 135840783 4290268432 4290267744 134550904 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 50413 49665 351 325 0 49349 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 201652

[startup+222.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 23758
/proc/meminfo: memFree=28347528/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=202448 CPUtime=222.17 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 50325 0 0 0 22202 15 0 0 20 0 1 0 338311652 207306752 49863 33554432000 134512640 135840783 4290268432 4290267792 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 50612 49863 351 325 0 49548 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 202448

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23758
/proc/meminfo: memFree=28306172/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=243580 CPUtime=282.16 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60747 0 0 0 28197 19 0 0 20 0 1 0 338311652 249425920 60164 33554432000 134512640 135840783 4290268432 4290267856 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60895 60164 351 325 0 59831 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 243580

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23758
/proc/meminfo: memFree=28306172/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=243580 CPUtime=342.15 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60747 0 0 0 34196 19 0 0 20 0 1 0 338311652 249425920 60164 33554432000 134512640 135840783 4290268432 4290267792 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60895 60164 351 325 0 59831 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 243580

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23759
/proc/meminfo: memFree=28306684/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=242696 CPUtime=402.12 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60766 0 0 0 40193 19 0 0 20 0 1 0 338311652 248520704 59957 33554432000 134512640 135840783 4290268432 4290267744 134550896 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60674 59957 351 325 0 59610 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 242696

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23759
/proc/meminfo: memFree=28306656/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=242696 CPUtime=462.1 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60780 0 0 0 46191 19 0 0 20 0 1 0 338311652 248520704 59957 33554432000 134512640 135840783 4290268432 4290267728 134573090 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60674 59957 351 325 0 59610 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 242696

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23759
/proc/meminfo: memFree=28301448/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=242696 CPUtime=522.09 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60780 0 0 0 52190 19 0 0 20 0 1 0 338311652 248520704 59957 33554432000 134512640 135840783 4290268432 4290267744 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60674 59957 351 325 0 59610 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 242696

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23762
/proc/meminfo: memFree=28290320/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=242696 CPUtime=582.08 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60780 0 0 0 58189 19 0 0 20 0 1 0 338311652 248520704 59957 33554432000 134512640 135840783 4290268432 4290267504 1579934 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60674 59957 351 325 0 59610 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 242696

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23763
/proc/meminfo: memFree=28286120/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=242728 CPUtime=822.04 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60788 0 0 0 82185 19 0 0 20 0 1 0 338311652 248553472 59965 33554432000 134512640 135840783 4290268432 4290267744 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60682 59965 351 325 0 59618 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 242728

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23763
/proc/meminfo: memFree=28286052/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=242728 CPUtime=882.03 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60788 0 0 0 88184 19 0 0 20 0 1 0 338311652 248553472 59965 33554432000 134512640 135840783 4290268432 4290267792 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60682 59965 351 325 0 59618 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 242728

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23763
/proc/meminfo: memFree=28286300/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=242728 CPUtime=942.02 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60788 0 0 0 94183 19 0 0 20 0 1 0 338311652 248553472 59965 33554432000 134512640 135840783 4290268432 4290267744 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60682 59965 351 325 0 59618 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 242728

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23764
/proc/meminfo: memFree=28286176/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=242728 CPUtime=1002.01 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60788 0 0 0 100182 19 0 0 20 0 1 0 338311652 248553472 59965 33554432000 134512640 135840783 4290268432 4290267856 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60682 59965 351 325 0 59618 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 242728

[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 23764
/proc/meminfo: memFree=28285928/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=242728 CPUtime=1062 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60788 0 0 0 106181 19 0 0 20 0 1 0 338311652 248553472 59965 33554432000 134512640 135840783 4290268432 4290267792 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60682 59965 351 325 0 59618 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 242728

[startup+1122.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 23803
/proc/meminfo: memFree=28412808/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=242728 CPUtime=1122 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60788 0 0 0 112180 20 0 0 20 0 1 0 338311652 248553472 59965 33554432000 134512640 135840783 4290268432 4290267744 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60682 59965 351 325 0 59618 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 242728

[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 23806
/proc/meminfo: memFree=28299464/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=242728 CPUtime=1181.99 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60788 0 0 0 118179 20 0 0 20 0 1 0 338311652 248553472 59965 33554432000 134512640 135840783 4290268432 4290267792 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60682 59965 351 325 0 59618 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 242728

[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 23806
/proc/meminfo: memFree=28167712/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=242728 CPUtime=1241.98 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60788 0 0 0 124178 20 0 0 20 0 1 0 338311652 248553472 59965 33554432000 134512640 135840783 4290268432 4290267504 1579674 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60682 59965 351 325 0 59618 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 242728

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 23807
/proc/meminfo: memFree=28009144/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=242728 CPUtime=1301.98 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 60788 0 0 0 130178 20 0 0 20 0 1 0 338311652 248553472 59965 33554432000 134512640 135840783 4290268432 4290267792 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 60682 59965 351 325 0 59618 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 242728

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 23807
/proc/meminfo: memFree=27845492/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=246428 CPUtime=1361.96 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 61840 0 0 0 136176 20 0 0 20 0 1 0 338311652 252342272 60887 33554432000 134512640 135840783 4290268432 4290267792 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 61607 60887 351 325 0 60543 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 246428

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 23807
/proc/meminfo: memFree=27678864/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=248188 CPUtime=1421.96 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 62280 0 0 0 142175 21 0 0 20 0 1 0 338311652 254144512 61327 33554432000 134512640 135840783 4290268432 4290267792 134551646 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 62047 61327 351 325 0 60983 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 248188

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23807
/proc/meminfo: memFree=27481484/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=250700 CPUtime=1481.94 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 63038 0 0 0 148173 21 0 0 20 0 1 0 338311652 256716800 61943 33554432000 134512640 135840783 4290268432 4290267744 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 62675 61943 351 325 0 61611 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 250700

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23807
/proc/meminfo: memFree=27293156/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=250700 CPUtime=1541.94 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 63038 0 0 0 154173 21 0 0 20 0 1 0 338311652 256716800 61943 33554432000 134512640 135840783 4290268432 4290267792 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 62675 61943 351 325 0 61611 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 250700

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23807
/proc/meminfo: memFree=27231316/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=253736 CPUtime=1601.93 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 63947 0 0 0 160171 22 0 0 20 0 1 0 338311652 259825664 62710 33554432000 134512640 135840783 4290268432 4290267744 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 63434 62710 351 325 0 62370 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 253736

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 23808
/proc/meminfo: memFree=27165244/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=253736 CPUtime=1661.92 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 63947 0 0 0 166170 22 0 0 20 0 1 0 338311652 259825664 62710 33554432000 134512640 135840783 4290268432 4290267792 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 63434 62710 351 325 0 62370 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 253736

[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 23808
/proc/meminfo: memFree=27081324/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=253736 CPUtime=1721.91 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 64089 0 0 0 172169 22 0 0 20 0 1 0 338311652 259825664 62710 33554432000 134512640 135840783 4290268432 4290267744 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 63434 62710 351 325 0 62370 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 253736

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 23811
/proc/meminfo: memFree=27003960/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=253736 CPUtime=1781.9 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 64089 0 0 0 178168 22 0 0 20 0 1 0 338311652 259825664 62710 33554432000 134512640 135840783 4290268432 4290267620 1576989 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 63434 62710 351 325 0 62370 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 253736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 23811
/proc/meminfo: memFree=26979260/32873844 swapFree=6872/6872
[pid=23756] ppid=23754 vsize=253876 CPUtime=1800.01 cores=0,2,4,6
/proc/23756/stat : 23756 (bsolo3.0.17) R 23754 23756 23291 0 -1 4202496 64130 0 0 0 179979 22 0 0 20 0 1 0 338311652 259969024 62751 33554432000 134512640 135840783 4290268432 4290267792 134551347 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/23756/statm: 63469 62751 351 325 0 62405 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 253876

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.41
CPU time (s): 1800.01
CPU user time (s): 1799.79
CPU system time (s): 0.222966
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 254304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.222966
maximum resident set size= 251408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64134
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= 124
involuntary context switches= 2104

runsolver used 3.14052 second user time and 9.06362 second system time

The end

Launcher Data

Begin job on node106 at 2012-06-03 13:10:32
IDJOB=3737518
IDBENCH=48251
IDSOLVER=2318
FILE ID=node106/3737518-1338721832
RUNJOBID= node106-1338714620-23307
PBS_JOBID= 14636759
Free space on /tmp= 70856 MiB

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

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

MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de
RANDOM SEED=1702322899

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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:        28560588 kB
Buffers:          307812 kB
Cached:          2956568 kB
SwapCached:         2004 kB
Active:          1210156 kB
Inactive:        2248664 kB
Active(anon):     192080 kB
Inactive(anon):     4984 kB
Active(file):    1018076 kB
Inactive(file):  2243680 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              6644 kB
Writeback:             0 kB
AnonPages:        201360 kB
Mapped:            10324 kB
Shmem:                 0 kB
Slab:             712656 kB
SReclaimable:     154896 kB
SUnreclaim:       557760 kB
KernelStack:        1464 kB
PageTables:         3996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     316864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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= 70848 MiB
End job on node106 at 2012-06-03 13:40:34