Trace number 3737474

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.07 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_3.opb
MD5SUM4ec3492215da9d1ca4e43111c42870de
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 benchmark1797.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
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)2488
Sum of products size (including duplicates)4976
Number of different products1244
Sum of products size2488

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-3737474-1338720952.opb
0.00/0.00	c File size is 35915 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.005 s
0.00/0.01	c Var: 2688 Constr: 5278 2588/202/2488 Lit: 18016 Watch. Lit: 15330
0.00/0.01	c Obj. Vars: 100 (3.72024 % of total variables)
0.39/0.46	c Pre-processing Time: 0.455 s
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c        0   2688     5278    18016    3    15330   27594      0      0 0.46
0.39/0.46	c Switching off LPR mode.
0.39/0.46	o -1	0.456
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c        0   2688     5279    18116    3    15333   27661      1      0 0.46
0.39/0.46	o -2	0.457
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c        0   2688     5280    18216    3    15337   27761      2      0 0.46
0.39/0.46	o -3	0.458
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c        0   2688     5281    18316    3    15342   27894      3      0 0.46
0.39/0.46	o -4	0.459
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c        0   2688     5282    18416    3    15348   28061      4      0 0.46
0.39/0.46	o -5	0.46
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c        0   2688     5283    18516    3    15355   28261      5      0 0.46
0.39/0.46	o -6	0.461
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c        0   2688     5284    18616    3    15363   28494      6      0 0.46
0.39/0.46	o -7	0.462
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c        0   2688     5285    18716    3    15372   28761      7      0 0.46
0.39/0.47	o -8	0.463
0.48/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.53	c        1   2688     5287    18949    3    15384   28794      9      2 0.46
0.48/0.53	c      101   2688     5387    32315    5    15584   31674    109    211 0.48
0.48/0.53	c      351   2688     5637    62292   11    16084   34842    359    678 0.52
0.48/0.53	o -9	0.523
66.06/66.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
66.06/66.12	c      392   2688     5679    67931   11    16177   28828    401    749 0.52
66.06/66.12	c      492   2688     5779    80188   13    16377   31711    501    894 0.55
66.06/66.12	c      742   2688     6029   112767   18    16877   34883    751   1216 0.61
66.06/66.12	c     1217   2688     6504   176151   27    17827   38372   1226   1690 0.72
66.06/66.12	c     2030   2688     7317   285575   39    19453   42210   2039   2357 0.86
66.06/66.12	c     3350   2688     8637   471113   54    22093   46432   3359   3169 1.06
66.06/66.12	c     5431   2688    10718   708764   66    26255   51076   5440   3895 1.39
66.06/66.12	c     8654   2688    13941  1144895   82    32701   56184   8663   4130 2.10
66.06/66.12	c    13590   2688    18877  1774160   93    42573   61803  13599   4109 3.31
66.06/66.12	c    21096   2688    26383  2816378  106    57585   67984  21105   3577 5.90
66.06/66.12	c    32457   2688    37744  4319110  114    80307   74783  32466   3121 10.40
66.06/66.12	c    49601   2688    54888  6593819  120   114595   82262  49610   2467 20.10
66.06/66.12	c    75420   2688    80707 10234341  126   166233   90489  75429   1913 39.42
66.06/66.12	o -10	66.086
75.65/75.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
75.65/75.73	c    98304   2688    22755  2820694  123    50303   27961  17477   1487 66.09
75.65/75.73	c    98404   2688    22855  2832776  123    50503   30758  17577   1486 66.18
75.65/75.73	c    98654   2688    23105  2863770  123    51003   33834  17827   1486 66.38
75.65/75.73	c    99129   2688    23580  2920963  123    51953   37218  18302   1486 66.70
75.65/75.73	c    99942   2688    24393  3021312  123    53579   40940  19115   1489 67.11
75.65/75.73	c   101262   2688    25713  3183063  123    56219   45035  20435   1494 67.75
75.65/75.73	c   103343   2688    27794  3410317  122    60381   49539  22516   1511 68.36
75.65/75.73	c   106566   2688    31017  3801246  122    66827   54493  25739   1520 70.11
75.65/75.73	c   111502   2688    35953  4480882  124    76699   59943  30675   1522 73.24
75.65/75.73	o -11	75.692
86.04/86.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
86.04/86.19	c   115059   2688    39511  4994074  126    83826   27994  34233   1520 75.69
86.04/86.19	c   115159   2688    16569  1542830   93    37923   30794  11291   1501 76.69
86.04/86.19	c   115409   2688    16819  1571019   93    38423   33874  11541   1503 76.76
86.04/86.19	c   115884   2688    17294  1623951   93    39373   37262  12016   1506 76.90
86.04/86.19	c   116697   2688    18107  1723293   95    40999   40989  12829   1512 77.17
86.04/86.19	c   118017   2688    19427  1909862   98    43639   45088  14149   1520 77.64
86.04/86.19	c   120098   2688    21508  2194004  102    47801   49597  16230   1532 78.39
86.04/86.19	c   123321   2688    24731  2567557  103    54247   54557  19453   1558 79.13
86.04/86.19	c   128257   2688    29667  3182903  107    64119   60013  24389   1587 80.81
86.04/86.19	c   135763   2688    37173  4080019  109    79131   66015  31895   1621 83.74
86.04/86.19	o -12	86.139
92.64/92.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
92.64/92.72	c   141404   2688    42815  4787306  111    90427   28028  37537   1641 86.14
92.64/92.72	c   141504   2688    16685  1416088   84    38156   30831  11407   1625 87.07
92.64/92.72	c   141754   2688    16935  1444404   85    38656   33915  11657   1627 87.12
92.64/92.72	c   142229   2688    17410  1500807   86    39606   37307  12132   1630 87.25
92.64/92.72	c   143042   2688    18223  1597828   87    41232   41038  12945   1635 87.44
92.64/92.72	c   144362   2688    19543  1749978   89    43872   45142  14265   1645 87.72
92.64/92.72	c   146443   2688    21624  1997631   92    48034   49657  16346   1661 88.14
92.64/92.72	c   149666   2688    24847  2378448   95    54480   54623  19569   1682 88.97
92.64/92.72	c   154602   2688    29783  2963518   99    64352   60086  24505   1714 90.17
92.64/92.72	c   162108   2688    37289  3852695  103    79364   66095  32011   1753 92.43
92.64/92.72	o -13	92.667
100.63/100.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
100.63/100.75	c   162713   2688    37895  3939101  103    80589   28061  32617   1755 92.67
100.63/100.75	c   162813   2688    16561  1368554   82    37909   30868  11283   1746 93.22
100.63/100.75	c   163063   2688    16811  1396164   83    38409   33955  11533   1748 93.28
100.63/100.75	c   163538   2688    17286  1450963   83    39359   37351  12008   1751 93.39
100.63/100.75	c   164351   2688    18099  1541695   85    40985   41087  12821   1757 93.53
100.63/100.75	c   165671   2688    19419  1686920   86    43625   45196  14141   1767 93.72
100.63/100.75	c   167752   2688    21500  1929691   89    47787   49716  16222   1782 94.12
100.63/100.75	c   170975   2688    24723  2298423   92    54233   54688  19445   1805 94.70
100.63/100.75	c   175911   2688    29659  2885840   97    64105   60157  24381   1836 95.80
100.63/100.75	c   183417   2688    37165  3789558  101    79117   66173  31887   1872 97.93
100.63/100.75	o -14	100.694
641.82/642.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
641.82/642.08	c   191901   2688    45650  4746432  103    96101   28094  40372   1905 100.69
641.82/642.08	c   192001   2688    16820  1358249   80    38428   30904  11542   1880 102.10
641.82/642.08	c   192251   2688    17070  1392808   81    38928   33995  11792   1881 102.17
641.82/642.08	c   192726   2688    17545  1458109   83    39878   37395  12267   1884 102.27
641.82/642.08	c   193539   2688    18358  1542164   84    41504   41135  13080   1890 102.38
641.82/642.08	c   194859   2688    19678  1678316   85    44144   45249  14400   1900 102.55
641.82/642.08	c   196940   2688    21759  1913477   87    48306   49774  16481   1913 102.94
641.82/642.08	c   200163   2688    24982  2287848   91    54752   54752  19704   1931 103.64
641.82/642.08	c   205099   2688    29918  2854401   95    64624   60228  24640   1958 104.71
641.82/642.08	c   212605   2688    37424  3640180   97    79636   66251  32146   1994 106.58
641.82/642.08	c   223966   2688    48785  4840993   99   102358   72877  43507   2041 109.72
641.82/642.08	c   241110   2688    65929  6774764  102   136646   80165  60651   2079 115.95
641.82/642.08	c   266929   2688    21050  2088510   99    46888   88182  15772   1891 141.09
641.82/642.08	c   305761   2688    59882  7155273  119   124552   97001  54604   1948 156.88
641.82/642.08	c   364113   2688    31148  3469643  111    67084  106702  25870   1696 214.57
641.82/642.08	c   451745   2688    21974  2318855  105    48736  117373  16696   1574 286.96
641.82/642.08	c   583297   2688    46102  5405953  117    96992  129111  40824   1541 378.44
641.82/642.08	c   780729   2688   124587 15261549  122   253962  142023 119309   1375 567.64
641.82/642.08	o -15	641.915
1800.05/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.40	c   850664   2688    62785  7134697  113   130373   28128  57507   1325 641.91
1800.05/1800.40	c   850764   2688    17136  1565443   91    39061   30941  11858   1320 644.09
1800.05/1800.40	c   851014   2688    17386  1594063   91    39561   34036  12108   1321 644.19
1800.05/1800.40	c   851489   2688    17861  1644125   92    40511   37440  12583   1321 644.33
1800.05/1800.40	c   852302   2688    18674  1734710   92    42137   41185  13396   1322 644.61
1800.05/1800.40	c   853622   2688    19994  1882356   94    44777   45304  14716   1323 644.97
1800.05/1800.40	c   855703   2688    22075  2092343   94    48939   49835  16797   1326 645.22
1800.05/1800.40	c   858926   2688    25298  2446447   96    55385   54819  20020   1329 646.10
1800.05/1800.40	c   863862   2688    30234  2985357   98    65257   60301  24956   1334 647.40
1800.05/1800.40	c   871368   2688    37740  3804854  100    80269   66332  32462   1341 649.54
1800.05/1800.40	c   882729   2688    49101  5053474  102   102991   72966  43823   1349 654.07
1800.05/1800.40	c   899873   2688    66245  6923822  104   137279   80263  60967   1359 661.82
1800.05/1800.40	c   925692   2688    21446  1987942   92    47681   88290  16168   1347 686.85
1800.05/1800.40	c   964524   2688    60278  6643368  110   125345   97120  55000   1379 699.41
1800.05/1800.40	c  1022876   2688    31478  3145929   99    67745  106833  26200   1387 737.36
1800.05/1800.40	c  1110508   2688    22135  2099187   94    49059  117517  16857   1377 806.09
1800.05/1800.40	c  1242060   2688    46125  5380792  116    97039  129269  40847   1382 898.13
1800.05/1800.40	c  1439492   2688   124342 15635456  125   253473  142196 119064   1363 1056.12
1800.05/1800.40	c  1735744   2688    24580  2560274  104    53949  156416  19302   1229 1411.42
1800.05/1800.40	c Caught signal: 15
1800.05/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 -x147 -x186 x169 -x141 x126 -x173 -x177 x102 -x165 -x159 -x123 -x133 x170 x101 x125 -x194 -x140 -x103 -x142 x176 -x196 -x116 -x114 x118 x150 -x155 -x160 -x180 -x197 -x143 x139 -x174 -x148 -x138 x199 -x108 -x132 -x145 -x175 -x115 -x137 -x107 -x162 -x179 -x191 -x112 x119 -x128 -x188 -x193 -x198 -x104 -x195 -x149 -x189 -x182 -x153 -x183 -x106 -x109 -x131 -x151 -x105 -x200 -x190 -x187 -x110 -x172 x136 -x168 -x178 -x134 -x124 -x120 -x184 -x117 -x127 -x185 -x154 -x167 x192 -x111 -x129 -x181 -x146 -x157 -x130 -x122 -x161 -x152 -x135 -x144 -x156 -x113 -x171 -x121 x163 -x158 -x164 -x166 
1800.05/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.40	c   99  2160600    198  2186559   157283 20148532 152005   1200 1800.06
1800.05/1800.40	c Objective: -15
1800.05/1800.40	s SATISFIABLE
1800.05/1800.40	c Total time: 1800.06 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-3737474-1338720952/watcher-3737474-1338720952 -o /tmp/evaluation-result-3737474-1338720952/solver-3737474-1338720952 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737474-1338720952.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 18967
/proc/meminfo: memFree=29737544/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 338221049 4583424 156 33554432000 134512640 135840783 4292855152 4292854492 5768536 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 1119 156 134 325 0 39 0

[startup+0.0448609 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 18967
/proc/meminfo: memFree=29737544/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=5908 CPUtime=0.03 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 812 0 0 0 3 0 0 0 20 0 1 0 338221049 6049792 739 33554432000 134512640 135840783 4292855152 4292822012 9233456 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 1477 739 343 325 0 413 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5908

[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 18967
/proc/meminfo: memFree=29737544/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=5908 CPUtime=0.09 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 812 0 0 0 9 0 0 0 20 0 1 0 338221049 6049792 739 33554432000 134512640 135840783 4292855152 4292822012 9233456 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 1477 739 343 325 0 413 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5908

[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 18967
/proc/meminfo: memFree=29737544/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=5908 CPUtime=0.29 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 812 0 0 0 29 0 0 0 20 0 1 0 338221049 6049792 739 33554432000 134512640 135840783 4292855152 4292822012 9233456 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 1477 739 343 325 0 413 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5908

[startup+0.700181 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 18967
/proc/meminfo: memFree=29737544/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=7928 CPUtime=0.68 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 1380 0 0 0 68 0 0 0 20 0 1 0 338221049 8118272 1261 33554432000 134512640 135840783 4292855152 4292852544 6329639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 1982 1261 349 325 0 918 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7928

[startup+1.50105 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18968
/proc/meminfo: memFree=29730592/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=16288 CPUtime=1.48 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 3453 0 0 0 148 0 0 0 20 0 1 0 338221049 16678912 3334 33554432000 134512640 135840783 4292855152 4292852784 6329639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 4072 3334 349 325 0 3008 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16288

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18968
/proc/meminfo: memFree=29720052/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=28808 CPUtime=3.09 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 6603 0 0 0 308 1 0 0 20 0 1 0 338221049 29499392 6484 33554432000 134512640 135840783 4292855152 4292852784 6329639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 7202 6484 349 325 0 6138 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28808

[startup+6.30109 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18968
/proc/meminfo: memFree=29699648/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=45936 CPUtime=6.29 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 10881 0 0 0 627 2 0 0 20 0 1 0 338221049 47038464 10762 33554432000 134512640 135840783 4292855152 4292852112 6329639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 11484 10762 349 325 0 10420 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45936

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18968
/proc/meminfo: memFree=29670032/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=72784 CPUtime=12.69 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 17583 0 0 0 1265 4 0 0 20 0 1 0 338221049 74530816 17464 33554432000 134512640 135840783 4292855152 4292851744 6329639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 18196 17464 349 325 0 17132 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72784

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18968
/proc/meminfo: memFree=29631484/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=109652 CPUtime=25.48 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 26797 0 0 0 2542 6 0 0 20 0 1 0 338221049 112283648 26678 33554432000 134512640 135840783 4292855152 4292852784 6329639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 27413 26678 349 325 0 26349 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 109652

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19008
/proc/meminfo: memFree=30316348/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=167248 CPUtime=51.07 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 41220 0 0 0 5097 10 0 0 20 0 1 0 338221049 171261952 41093 33554432000 134512640 135840783 4292855152 4292852176 6329639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 41812 41093 349 325 0 40748 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 167248

[startup+102.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/177 19008
/proc/meminfo: memFree=30189740/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=180000 CPUtime=102.23 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 44539 0 0 0 10212 11 0 0 20 0 1 0 338221049 184320000 44281 33554432000 134512640 135840783 4292855152 4292854448 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 45000 44281 349 325 0 43936 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 180000

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 19008
/proc/meminfo: memFree=30056840/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=180000 CPUtime=162.19 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 44576 0 0 0 16208 11 0 0 20 0 1 0 338221049 184320000 44281 33554432000 134512640 135840783 4292855152 4292854512 134550744 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 45000 44281 349 325 0 43936 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 180000

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 19008
/proc/meminfo: memFree=29894676/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=180420 CPUtime=222.2 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 44751 0 0 0 22208 12 0 0 20 0 1 0 338221049 184750080 44358 33554432000 134512640 135840783 4292855152 4292854464 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 45105 44358 349 325 0 44041 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 180420

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 19011
/proc/meminfo: memFree=29703632/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=205272 CPUtime=282.18 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 51069 0 0 0 28204 14 0 0 20 0 1 0 338221049 210198528 50569 33554432000 134512640 135840783 4292855152 4292854576 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 51318 50569 349 325 0 50254 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 205272

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 19034
/proc/meminfo: memFree=29509844/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=205272 CPUtime=342.17 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 51069 0 0 0 34203 14 0 0 20 0 1 0 338221049 210198528 50569 33554432000 134512640 135840783 4292855152 4292854512 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 51318 50569 349 325 0 50254 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 205272

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 19035
/proc/meminfo: memFree=29291516/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=216536 CPUtime=402.16 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 54005 0 0 0 40201 15 0 0 20 0 1 0 338221049 221732864 53387 33554432000 134512640 135840783 4292855152 4292854464 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 54134 53387 349 325 0 53070 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 216536

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 19035
/proc/meminfo: memFree=29057688/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=250636 CPUtime=462.14 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 62669 0 0 0 46196 18 0 0 20 0 1 0 338221049 256651264 61922 33554432000 134512640 135840783 4292855152 4292854576 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 62659 61922 349 325 0 61595 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 250636

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 19035
/proc/meminfo: memFree=28936320/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=250636 CPUtime=522.13 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 62669 0 0 0 52195 18 0 0 20 0 1 0 338221049 256651264 61922 33554432000 134512640 135840783 4292855152 4292854512 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 62659 61922 349 325 0 61595 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 250636

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 19035
/proc/meminfo: memFree=28793996/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=250652 CPUtime=582.13 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 62673 0 0 0 58195 18 0 0 20 0 1 0 338221049 256667648 61926 33554432000 134512640 135840783 4292855152 4292854512 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 62663 61926 349 325 0 61599 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 250652

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 19039
/proc/meminfo: memFree=27966448/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=253328 CPUtime=882.09 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 63487 0 0 0 88190 19 0 0 20 0 1 0 338221049 259407872 62598 33554432000 134512640 135840783 4292855152 4292854576 134546114 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 63332 62598 349 325 0 62268 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 253328

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 19039
/proc/meminfo: memFree=27894068/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=253328 CPUtime=942.08 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 63487 0 0 0 94189 19 0 0 20 0 1 0 338221049 259407872 62598 33554432000 134512640 135840783 4292855152 4292854464 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 63332 62598 349 325 0 62268 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 253328

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 19040
/proc/meminfo: memFree=27817464/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=253328 CPUtime=1002.07 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 63487 0 0 0 100188 19 0 0 20 0 1 0 338221049 259407872 62598 33554432000 134512640 135840783 4292855152 4292854464 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 63332 62598 349 325 0 62268 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 253328

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 19040
/proc/meminfo: memFree=27740116/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=253328 CPUtime=1062.06 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 63487 0 0 0 106187 19 0 0 20 0 1 0 338221049 259407872 62598 33554432000 134512640 135840783 4292855152 4292854512 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 63332 62598 349 325 0 62268 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 253328

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 19040
/proc/meminfo: memFree=27643056/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=264284 CPUtime=1122.05 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 66381 0 0 0 112185 20 0 0 20 0 1 0 338221049 270626816 65350 33554432000 134512640 135840783 4292855152 4292854576 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 66071 65350 349 325 0 65007 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 264284

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 19040
/proc/meminfo: memFree=27546364/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=264284 CPUtime=1182.04 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 66381 0 0 0 118184 20 0 0 20 0 1 0 338221049 270626816 65350 33554432000 134512640 135840783 4292855152 4292854432 6332062 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 66071 65350 349 325 0 65007 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 264284

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/177 19040
/proc/meminfo: memFree=27419044/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=270884 CPUtime=1242.03 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 68012 0 0 0 124182 21 0 0 20 0 1 0 338221049 277385216 66981 33554432000 134512640 135840783 4292855152 4292854464 134551018 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 67721 66981 349 325 0 66657 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 270884

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 19041
/proc/meminfo: memFree=27308216/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=287252 CPUtime=1302.02 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 72258 0 0 0 130179 23 0 0 20 0 1 0 338221049 294146048 71085 33554432000 134512640 135840783 4292855152 4292854508 134520488 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 71813 71085 349 325 0 70749 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 287252

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 19041
/proc/meminfo: memFree=27152128/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=287252 CPUtime=1362.01 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 72258 0 0 0 136178 23 0 0 20 0 1 0 338221049 294146048 71085 33554432000 134512640 135840783 4292855152 4292854512 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 71813 71085 349 325 0 70749 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 287252

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 19041
/proc/meminfo: memFree=26959336/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=287252 CPUtime=1422.01 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 72258 0 0 0 142178 23 0 0 20 0 1 0 338221049 294146048 71085 33554432000 134512640 135840783 4292855152 4292854512 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 71813 71085 349 325 0 70749 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 287252

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/178 19044
/proc/meminfo: memFree=26863392/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=287252 CPUtime=1481.99 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 72258 0 0 0 148176 23 0 0 20 0 1 0 338221049 294146048 71085 33554432000 134512640 135840783 4292855152 4292854464 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 71813 71085 349 325 0 70749 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 287252

[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 19044
/proc/meminfo: memFree=26794612/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=290872 CPUtime=1541.99 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 73310 0 0 0 154176 23 0 0 20 0 1 0 338221049 297852928 71981 33554432000 134512640 135840783 4292855152 4292854576 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 72718 71981 349 325 0 71654 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 290872

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 19045
/proc/meminfo: memFree=26726936/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=290872 CPUtime=1601.97 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 73310 0 0 0 160174 23 0 0 20 0 1 0 338221049 297852928 71981 33554432000 134512640 135840783 4292855152 4292853212 134521208 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 72718 71981 349 325 0 71654 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 290872

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 19045
/proc/meminfo: memFree=26650332/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=290872 CPUtime=1661.96 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 73310 0 0 0 166173 23 0 0 20 0 1 0 338221049 297852928 71981 33554432000 134512640 135840783 4292855152 4292854464 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 72718 71981 349 325 0 71654 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 290872

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 19045
/proc/meminfo: memFree=26576828/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=290872 CPUtime=1721.95 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 73466 0 0 0 172172 23 0 0 20 0 1 0 338221049 297852928 71981 33554432000 134512640 135840783 4292855152 4292854512 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 72718 71981 349 325 0 71654 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 290872

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 19045
/proc/meminfo: memFree=26483112/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=290872 CPUtime=1781.94 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 73466 0 0 0 178171 23 0 0 20 0 1 0 338221049 297852928 71981 33554432000 134512640 135840783 4292855152 4292854464 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 72718 71981 349 325 0 71654 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 290872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 19045
/proc/meminfo: memFree=26455428/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=290872 CPUtime=1800.05 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 73466 0 0 0 179982 23 0 0 20 0 1 0 338221049 297852928 71981 33554432000 134512640 135840783 4292855152 4292854464 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 72718 71981 349 325 0 71654 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 290872

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

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 19045
/proc/meminfo: memFree=26455428/32873648 swapFree=6860/6860
[pid=18967] ppid=18965 vsize=290872 CPUtime=1800.05 cores=1,3,5,7
/proc/18967/stat : 18967 (bsolo3.0.17) R 18965 18967 18429 0 -1 4202496 73466 0 0 0 179982 23 0 0 20 0 1 0 338221049 297852928 71981 33554432000 134512640 135840783 4292855152 4292854464 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18967/statm: 72718 71981 349 325 0 71654 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 290872

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.82
CPU system time (s): 0.245962
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 291496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.245962
maximum resident set size= 288548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73469
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= 97
involuntary context switches= 1851

runsolver used 3.15252 second user time and 9.38157 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-03 12:55:52
IDJOB=3737474
IDBENCH=48245
IDSOLVER=2318
FILE ID=node124/3737474-1338720952
RUNJOBID= node124-1338713740-18446
PBS_JOBID= 14636741
Free space on /tmp= 70704 MiB

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

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

MD5SUM BENCH= 4ec3492215da9d1ca4e43111c42870de
RANDOM SEED=749175178

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29738056 kB
Buffers:          196136 kB
Cached:          1376656 kB
SwapCached:         8268 kB
Active:          1188400 kB
Inactive:        1179132 kB
Active(anon):     788728 kB
Inactive(anon):     8240 kB
Active(file):     399672 kB
Inactive(file):  1170892 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091596 kB
Dirty:              6612 kB
Writeback:             0 kB
AnonPages:        793592 kB
Mapped:            10368 kB
Shmem:                 0 kB
Slab:             629732 kB
SReclaimable:      74284 kB
SUnreclaim:       555448 kB
KernelStack:        1456 kB
PageTables:         5568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     909224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70696 MiB
End job on node124 at 2012-06-03 13:25:54