Trace number 3735002

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)23 1800.02 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
MD5SUM474916db0f2f0be5831d97827cee8e55
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark1790.84
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint75
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6214
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-3735002-1338702712.opb
0.00/0.00	c File size is 10386 bytes.
0.00/0.00	c Highest Coefficient sum: 6214
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 172 Constr: 14 0/0/14 Lit: 1060 Watch. Lit: 314
0.00/0.00	c Obj. Vars: 112 (65.1163 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    172       14     1060   75      316    2120      0      0 0.00
0.00/0.00	c Switching off LPR mode.
0.00/0.01	o 907	0.002
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    172       15     1172   78      731    2344      1      0 0.00
0.00/0.01	o 805	0.006
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       65    172       81     5873   72      936    2344     67  10833 0.01
0.00/0.01	o 794	0.009
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      114    172      131     9467   72     1114    2344    117  12666 0.01
0.00/0.02	o 656	0.013
0.01/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.02	c      192    172      210    13823   65     1347    2344    196  14769 0.01
0.01/0.02	o 650	0.015
0.01/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.02	c      208    172      227    14676   64     1471    2344    213  13866 0.01
0.01/0.02	o 648	0.017
0.01/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.03	c      235    172      255    16950   66     1585    2344    241  13823 0.02
0.01/0.03	o 646	0.022
0.01/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.04	c      291    172      312    20947   67     1814    2344    298  13227 0.02
0.01/0.04	c      391    172      412    26649   64     2015    2579    398  12612 0.03
0.01/0.04	o 507	0.041
0.01/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.06	c      490    172      512    34251   66     2257    2344    498  11951 0.04
0.01/0.06	c      592    172      614    40291   65     2508    2579    600  12333 0.05
0.01/0.06	o 481	0.057
0.01/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.06	c      712    172      735    47155   64     2730    2344    721  12491 0.06
0.01/0.06	o 455	0.057
0.01/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.06	c      715    172      739    47465   64     2763    2344    725  12543 0.06
0.01/0.06	o 454	0.061
0.01/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.09	c      768    172      793    50583   63     3039    2344    779  12590 0.06
0.01/0.09	c      868    172      893    56512   63     3261    2579    879  12579 0.07
0.01/0.09	o 450	0.085
0.01/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.09	c     1068    172     1094    66494   60     3708    2344   1080  12564 0.09
0.01/0.09	o 448	0.086
0.01/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.09	c     1088    172     1115    67791   60     3852    2344   1101  12505 0.09
0.01/0.09	o 446	0.089
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c     1109    172     1137    69216   60     3980    2344   1123  12460 0.09
0.09/0.10	o 440	0.098
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c     1204    172     1233    74225   60     4238    2344   1219  12285 0.10
0.09/0.11	o 439	0.102
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c     1235    172     1265    75908   60     4422    2344   1251  12107 0.10
0.09/0.14	c     1336    172     1366    82207   60     4680    2579   1352  11617 0.12
0.09/0.14	o 396	0.133
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c     1506    172     1537    92002   59     5009    2344   1523  11323 0.13
0.09/0.15	c     1606    172     1637    96233   58     5362    2579   1623  11390 0.14
0.09/0.15	o 394	0.15
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c     1676    172     1708   100649   58     5491    2344   1694  11173 0.15
0.09/0.16	o 393	0.157
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c     1753    172     1786   104369   58     5599    2344   1772  11165 0.16
0.19/0.20	c     1854    172     1887   110013   58     5927    2579   1873  11101 0.17
0.19/0.20	c     2104    172     2137   126254   59     6453    2837   2123  10734 0.20
0.19/0.20	o 374	0.201
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c     2151    172     2185   128193   58     6546    2344   2171  10701 0.20
0.19/0.21	o 324	0.206
0.49/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.50	c     2207    172     2242   130559   58     6677    2344   2228  10661 0.21
0.49/0.50	c     2307    172     2342   135099   57     7109    2579   2328  10680 0.22
0.49/0.50	c     2558    172     2593   146043   56     7526    2837   2579  10702 0.24
0.49/0.50	c     3033    172     1614    79867   49     3930    3121   1600  10755 0.28
0.49/0.50	c     3846    172     2427   122507   50     5554    3434   2413  10988 0.35
0.49/0.50	c     5167    172     1967   101840   51     4650    3778   1953  10764 0.48
0.49/0.50	o 319	0.499
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c     5371    172     2172   111684   51     5154    2344   2158  10763 0.50
0.49/0.54	c     5471    172     2272   116897   51     5352    2579   2258  10790 0.51
0.49/0.54	o 301	0.532
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c     5720    172     2522   132424   52     5959    2344   2508  10751 0.53
0.49/0.54	o 221	0.539
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c     5776    172     1244    65221   52     3305    2344   1230  10716 0.54
0.49/0.58	c     5876    172     1344    70414   52     3495    2579   1330  10742 0.55
0.49/0.58	c     6126    172     1594    82072   51     4008    2837   1580  10880 0.56
0.49/0.58	o 220	0.578
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     6322    172     1791    93262   52     4509    2344   1777  10937 0.58
0.59/0.65	c     6422    172     1891    97361   51     4698    2579   1877  10977 0.58
0.59/0.65	c     6672    172     2141   106685   49     5198    2837   2127  11064 0.60
0.59/0.65	c     7147    172     2616   126814   48     6166    3121   2602  11149 0.64
0.59/0.65	o 215	0.643
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     7159    172     2629   127486   48     6302    2344   2615  11133 0.64
0.59/0.65	o 213	0.648
0.79/0.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.89	c     7192    172     1221    56107   45     3272    2344   1207  11098 0.65
0.79/0.89	c     7292    172     1321    60842   46     3476    2579   1307  11115 0.66
0.79/0.89	c     7543    172     1572    72827   46     3975    2837   1558  11191 0.67
0.79/0.89	c     8018    172     2047    95315   46     4900    3121   2033  11182 0.72
0.79/0.89	c     8831    172     2860   132007   46     6547    3434   2846  11307 0.78
0.79/0.89	o 211	0.89
0.89/0.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.91	c     9849    172     2071   106770   51     4967    2344   2057  11066 0.89
0.89/0.91	c     9949    172     2171   110461   50     5171    2579   2157  11079 0.90
0.89/0.91	o 205	0.912
35.78/35.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.78/35.88	c    10062    172     2285   117591   51     5503    2344   2271  11032 0.91
35.78/35.88	c    10162    172     1187    66150   55     3072    2579   1173  11021 0.92
35.78/35.88	c    10413    172     1438    75967   52     3580    2837   1424  11101 0.94
35.78/35.88	c    10888    172     1913    98486   51     4532    3121   1899  11155 0.98
35.78/35.88	c    11702    172     2727   134384   49     6140    3434   2713  11176 1.05
35.78/35.88	c    13022    172     2289    98799   43     5288    3778   2275  11323 1.15
35.78/35.88	c    15103    172     2417   103316   42     5552    4156   2403  11304 1.34
35.78/35.88	c    18326    172     3508   158159   45     7732    4572   3494  11039 1.66
35.78/35.88	c    23262    172     3771   163913   43     8241    5030   3757  10719 2.17
35.78/35.88	c    30768    172     3565   163585   45     7820    5534   3551  10398 2.96
35.78/35.88	c    42129    172     3641   182452   50     7985    6088   3627   9651 4.37
35.78/35.88	c    59273    172     5304   231105   43    11302    6697   5290   9405 6.30
35.78/35.88	c    85092    172     3911   198224   50     8492    7367   3897   8705 9.78
35.78/35.88	c   123924    172     5348   245136   45    11390    8104   5334   8429 14.70
35.78/35.88	c   182276    172     6154   266416   43    13016    8915   6140   8036 22.68
35.78/35.88	o 200	35.865
38.58/38.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.58/38.63	c   262471    172     5132   250854   48    11092    2344   5118   7318 35.87
38.58/38.63	c   262571    172     1287    67337   52     3269    2579   1273   7318 35.88
38.58/38.63	c   262821    172     1537    76070   49     3766    2837   1523   7322 35.89
38.58/38.63	c   263296    172     2012    95763   47     4726    3121   1998   7330 35.92
38.58/38.63	c   264109    172     2825   135272   47     6341    3434   2811   7340 35.98
38.58/38.63	c   265429    172     2375   107508   45     5420    3778   2361   7354 36.09
38.58/38.63	c   267510    172     2514   102802   40     5715    4156   2500   7377 36.26
38.58/38.63	c   270734    172     3611   149920   41     7893    4572   3597   7408 36.55
38.58/38.63	c   275670    172     3850   173366   45     8381    5030   3836   7452 36.99
38.58/38.63	c   283176    172     3649   157835   43     7996    5534   3635   7513 37.69
38.58/38.63	o 196	38.621
38.68/38.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.68/38.70	c   291802    172     3825   178114   46     8476    2344   3811   7555 38.62
38.68/38.70	c   291902    172     1287    59194   45     3281    2579   1273   7555 38.63
38.68/38.70	c   292152    172     1537    69606   45     3783    2837   1523   7559 38.65
38.68/38.70	c   292628    172     2013    90270   44     4722    3121   1999   7564 38.69
38.68/38.70	o 186	38.694
38.68/38.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.68/38.71	c   292732    172     2118    94961   44     5048    2344   2104   7565 38.69
38.68/38.71	o 184	38.698
38.68/38.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.68/38.71	c   292789    172     2176    98222   45     5290    2344   2162   7565 38.70
38.68/38.71	o 175	38.703
38.68/38.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.68/38.72	c   292837    172     2225   100606   45     5476    2344   2211   7566 38.70
38.68/38.72	o 173	38.711
38.68/38.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.68/38.72	c   292931    172     2320   104816   45     5782    2344   2306   7567 38.71
38.68/38.72	o 171	38.712
38.68/38.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.68/38.73	c   292949    172     2339   106135   45     5931    2344   2325   7567 38.71
38.68/38.73	o 169	38.717
38.68/38.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.68/38.75	c   292994    172     1187    53587   45     3081    2344   1173   7567 38.72
38.68/38.75	c   293095    172     1288    56925   44     3266    2579   1274   7569 38.72
38.68/38.75	c   293345    172     1538    70237   45     3793    2837   1524   7572 38.74
38.68/38.75	o 167	38.742
47.88/47.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.88/47.90	c   293371    172     1565    71613   45     3954    2344   1551   7572 38.74
47.88/47.90	c   293472    172     1666    75136   45     4146    2579   1652   7573 38.75
47.88/47.90	c   293722    172     1916    94390   49     4656    2837   1902   7575 38.77
47.88/47.90	c   294199    172     2393   114894   48     5595    3121   2379   7582 38.80
47.88/47.90	c   295012    172     1591    80565   50     3874    3434   1577   7589 38.87
47.88/47.90	c   296332    172     2911   137428   47     6539    3778   2897   7602 38.98
47.88/47.90	c   298414    172     3054   138129   45     6823    4156   3040   7620 39.16
47.88/47.90	c   301637    172     4145   172260   41     8963    4572   4131   7650 39.42
47.88/47.90	c   306573    172     4394   192914   43     9475    5030   4380   7675 39.94
47.88/47.90	c   314080    172     4131   201340   48     8943    5534   4117   7703 40.77
47.88/47.90	c   325441    172     4220   196191   46     9112    6088   4206   7723 42.14
47.88/47.90	c   342586    172     5874   277246   47    12471    6697   5860   7731 44.31
47.88/47.90	c   368405    172     4485   172895   38     9671    7367   4471   7705 47.81
47.88/47.90	o 164	47.884
47.88/47.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.88/47.97	c   369014    172     5095   202737   39    11016    2344   5081   7706 47.88
47.88/47.97	c   369115    172     1288    59056   45     3289    2579   1274   7705 47.90
47.88/47.97	c   369367    172     1540    69095   44     3786    2837   1526   7708 47.92
47.88/47.97	o 162	47.954
47.97/48.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.97/48.00	c   369838    172     2012    91382   45     4843    2344   1998   7712 47.95
47.97/48.00	c   369938    172     2112    94893   44     5018    2579   2098   7713 47.96
47.97/48.00	c   370188    172     2362   104122   44     5517    2837   2348   7716 47.98
47.97/48.00	o 160	47.984
47.97/48.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.97/48.00	c   370345    172     2520   110407   43     5966    2344   2506   7718 47.98
47.97/48.00	o 158	47.989
47.97/48.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.97/48.04	c   370378    172     1221    53201   43     3273    2344   1207   7717 47.99
47.97/48.04	c   370478    172     1321    56637   42     3445    2579   1307   7719 47.99
47.97/48.04	c   370728    172     1571    67410   42     3957    2837   1557   7722 48.01
47.97/48.04	o 156	48.023
48.07/48.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.07/48.16	c   370921    172     1765    76291   43     4467    2344   1751   7723 48.02
48.07/48.16	c   371021    172     1865    80358   43     4646    2579   1851   7724 48.03
48.07/48.16	c   371273    172     2117    95013   44     5169    2837   2103   7726 48.05
48.07/48.16	c   371748    172     2592   123189   47     6114    3121   2578   7729 48.09
48.07/48.16	o 120	48.147
48.38/48.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.38/48.46	c   372365    172     1576    87053   55     3858    2344   1562   7733 48.15
48.38/48.46	c   372465    168     1676    90756   54     4044    2579   1662   7734 48.16
48.38/48.46	c   372715    165     1926   100185   52     4562    2837   1912   7736 48.17
48.38/48.46	c   373190    164     2401   119017   49     5489    3121   2387   7740 48.21
48.38/48.46	c   374004    161     1640    69534   42     3988    3434   1626   7745 48.29
48.38/48.46	c   375324    158     2960   129866   43     6626    3778   2946   7758 48.38
48.38/48.46	o 119	48.449
49.57/49.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.57/49.61	c   376238    158     1918    85726   44     4522    2316   1904   7764 48.45
49.57/49.61	c   376338    158     2018    90666   44     4725    2548   2004   7765 48.46
49.57/49.61	c   376588    158     2268   103459   45     5225    2803   2254   7767 48.48
49.57/49.61	c   377063    158     2743   126201   46     6172    3084   2729   7771 48.52
49.57/49.61	c   377879    158     1966    90910   46     4622    3393   1952   7777 48.59
49.57/49.61	c   379199    158     3286   142950   43     7254    3733   3272   7786 48.70
49.57/49.61	c   381280    158     3453   136785   39     7588    4107   3439   7800 48.88
49.57/49.61	c   384503    158     2475   102085   41     5637    4518   2461   7817 49.19
49.57/49.61	o 112	49.599
49.57/49.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.57/49.62	c   389010    158     2368   107293   45     5518    2316   2354   7843 49.60
49.57/49.62	o 109	49.608
49.87/49.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.87/49.99	c   389109    158     1287    56612   43     3352    2316   1273   7843 49.61
49.87/49.99	c   389210    158     1388    62069   44     3557    2548   1374   7844 49.62
49.87/49.99	c   389460    158     1638    72378   44     4054    2803   1624   7846 49.63
49.87/49.99	c   389936    158     2114    91878   43     5010    3084   2100   7851 49.67
49.87/49.99	c   390749    158     2927   124304   42     6623    3393   2913   7858 49.72
49.87/49.99	c   392069    158     2498   100170   40     5675    3733   2484   7869 49.82
49.87/49.99	o 108	49.973
49.97/50.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.97/50.01	c   393538    158     2047    92824   45     4888    2316   2033   7875 49.97
49.97/50.01	c   393638    158     2147    97615   45     5079    2548   2133   7875 49.98
49.97/50.01	o 105	49.994
49.97/50.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.97/50.01	c   393824    158     2334   104945   44     5536    2316   2320   7877 49.99
49.97/50.01	o 103	49.995
49.97/50.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.97/50.01	c   393826    158     2337   105119   44     5629    2316   2323   7877 49.99
49.97/50.01	o 101	50
50.67/50.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.67/50.78	c   393901    158     1187    56877   47     3058    2316   1173   7877 50.00
50.67/50.78	c   394002    158     1288    62377   48     3261    2548   1274   7878 50.01
50.67/50.78	c   394252    158     1538    81171   52     3762    2803   1524   7879 50.03
50.67/50.78	c   394728    158     2014   101428   50     4711    3084   2000   7884 50.06
50.67/50.78	c   395541    158     2827   145744   51     6337    3393   2813   7889 50.14
50.67/50.78	c   396861    158     2400   113002   47     5477    3733   2386   7896 50.26
50.67/50.78	c   398942    158     2548   105640   41     5782    4107   2534   7910 50.44
50.67/50.78	c   402165    158     3659   148582   40     8003    4518   3645   7933 50.70
50.67/50.78	o 99	50.769
52.27/52.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
52.27/52.39	c   403082    158     2288    97314   42     5259    2316   2274   7938 50.77
52.27/52.39	c   403182    158     1187    50167   42     3062    2548   1173   7938 50.78
52.27/52.39	c   403432    158     1437    60799   42     3561    2803   1423   7941 50.80
52.27/52.39	c   403909    158     1914    80908   42     4516    3084   1900   7946 50.83
52.27/52.39	c   404722    158     2727   116427   42     6119    3393   2713   7952 50.89
52.27/52.39	c   406042    158     2287    95818   41     5263    3733   2273   7962 50.99
52.27/52.39	c   408124    158     2447   103318   42     5573    4107   2433   7976 51.17
52.27/52.39	c   411348    158     3563   141611   39     7815    4518   3549   8002 51.40
52.27/52.39	c   416284    158     3898   155806   39     8478    4970   3884   8029 51.84
52.27/52.39	o 95	52.374
65.47/65.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.47/65.57	c   422262    158     4816   200069   41    10415    2316   4802   8062 52.37
65.47/65.57	c   422362    158     1287    54324   42     3262    2548   1273   8062 52.39
65.47/65.57	c   422612    158     1537    63977   41     3757    2803   1523   8064 52.41
65.47/65.57	c   423087    158     2012    81851   40     4701    3084   1998   8068 52.44
65.47/65.57	c   423900    158     2825   112445   39     6339    3393   2811   8075 52.49
65.47/65.57	c   425220    158     2394    93592   39     5461    3733   2380   8083 52.60
65.47/65.57	c   427301    158     2570   101773   39     5825    4107   2556   8099 52.76
65.47/65.57	c   430524    158     3693   143563   38     8063    4518   3679   8124 52.99
65.47/65.57	c   435460    158     4033   154843   38     8745    4970   4019   8160 53.36
65.47/65.57	c   442966    158     3945   150977   38     8581    5468   3931   8207 53.97
65.47/65.57	c   454327    158     4198   162538   38     9078    6015   4184   8260 55.00
65.47/65.57	c   471471    158     3060   127323   41     6792    6617   3046   8312 56.72
65.47/65.57	c   497291    158     5432   217178   39    11546    7279   5418   8395 59.23
65.47/65.57	c   536123    158     3732   146107   39     8144    8007   3718   8430 63.59
65.47/65.57	o 93	65.559
65.57/65.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.57/65.60	c   554113    158     5513   227231   41    11810    2316   5499   8452 65.56
65.57/65.60	c   554214    158     1288    59922   46     3258    2548   1274   8451 65.57
65.57/65.60	o 91	65.583
65.57/65.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.57/65.60	c   554363    158     1438    67869   47     3648    2316   1424   8452 65.58
65.57/65.60	o 89	65.589
65.67/65.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.67/65.79	c   554414    158     1490    71354   47     3856    2316   1476   8452 65.59
65.67/65.79	c   554515    158     1591    76353   47     4061    2548   1577   8453 65.60
65.67/65.79	c   554766    158     1842    84877   46     4567    2803   1828   8454 65.62
65.67/65.79	c   555241    158     2317   101777   43     5501    3084   2303   8457 65.65
65.67/65.79	c   556054    158     1571    57193   36     3827    3393   1557   8462 65.71
65.67/65.79	o 81	65.773
65.67/65.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.67/65.79	c   557091    158     2609    95227   36     6000    2316   2595   8469 65.77
65.67/65.79	o 75	65.777
65.67/65.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.67/65.79	c   557093    158     1190    42993   36     3161    2316   1176   8469 65.78
65.67/65.79	o 73	65.778
83.27/83.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
83.27/83.32	c   557100    158     1198    43612   36     3271    2316   1184   8469 65.78
83.27/83.32	c   557200    158     1298    50593   38     3476    2548   1284   8470 65.78
83.27/83.32	c   557450    158     1548    59202   38     3963    2803   1534   8472 65.80
83.27/83.32	c   557925    158     2023    77322   38     4934    3084   2009   8475 65.83
83.27/83.32	c   558738    158     2836   111182   39     6533    3393   2822   8479 65.90
83.27/83.32	c   560058    158     2420    94204   38     5518    3733   2406   8486 66.00
83.27/83.32	c   562139    158     2590    96354   37     5858    4107   2576   8499 66.14
83.27/83.32	c   565362    158     3710   139861   37     8086    4518   3696   8517 66.37
83.27/83.32	c   570298    158     4045   151138   37     8764    4970   4031   8540 66.77
83.27/83.32	c   577804    158     3958   158389   40     8589    5468   3944   8571 67.41
83.27/83.32	c   589166    158     4197   176171   41     9060    6015   4183   8616 68.38
83.27/83.32	c   606311    158     3037   122644   40     6753    6617   3023   8668 69.95
83.27/83.32	c   632130    158     5429   214719   39    11533    7279   5415   8738 72.34
83.27/83.32	c   670962    158     3738   153722   41     8148    8007   3724   8789 76.34
83.27/83.32	c   729314    158     5444   227375   41    11569    8808   5430   8830 82.59
83.27/83.32	o 72	83.3
83.27/83.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
83.27/83.35	c   736236    158     7911   298061   37    16606    2316   7897   8838 83.30
83.27/83.35	o 70	83.329
88.37/88.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
88.37/88.45	c   736249    158     1201    42137   35     3188    2316   1187   8835 83.33
88.37/88.45	c   736350    158     1302    46246   35     3378    2548   1288   8836 83.33
88.37/88.45	c   736600    158     1552    54430   35     3882    2803   1538   8837 83.35
88.37/88.45	c   737075    158     2027    71408   35     4831    3084   2013   8840 83.38
88.37/88.45	c   737888    158     2840   102508   36     6460    3393   2826   8843 83.44
88.37/88.45	c   739208    158     2421    92453   38     5525    3733   2407   8848 83.54
88.37/88.45	c   741289    158     2596    95905   36     5876    4107   2582   8857 83.69
88.37/88.45	c   744513    158     3712   134953   36     8113    4518   3698   8870 83.93
88.37/88.45	c   749449    158     4045   159043   39     8778    4970   4031   8885 84.34
88.37/88.45	c   756955    158     3944   158386   40     8567    5468   3930   8906 84.98
88.37/88.45	c   768316    158     4172   159105   38     9020    6015   4158   8940 85.93
88.37/88.45	c   785460    158     6041   247780   41    12756    6617   6027   8971 87.55
88.37/88.45	o 68	88.434
88.37/88.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
88.37/88.47	c   794535    158     5071   206143   40    10930    2316   5057   8984 88.43
88.37/88.47	o 66	88.448
88.37/88.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
88.37/88.47	c   794571    158     1224    51672   42     3235    2316   1210   8983 88.45
88.37/88.47	o 64	88.453
88.37/88.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
88.37/88.48	c   794637    158     1291    56763   43     3464    2316   1277   8983 88.45
88.37/88.48	o 56	88.456
88.57/88.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
88.57/88.60	c   794678    154     1333    58392   43     3638    2308   1319   8983 88.46
88.57/88.60	c   794778    152     1433    64437   44     3835    2539   1419   8984 88.47
88.57/88.60	c   795028    145     1683    74965   44     4325    2793   1669   8984 88.49
88.57/88.60	c   795503    145     2158    97589   45     5276    3073   2144   8985 88.53
88.57/88.60	o 52	88.578
89.27/89.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
89.27/89.33	c   796068    145     2724   129458   47     6503    2290   2710   8987 88.58
89.27/89.33	c   796170    145     1289    67397   52     3249    2520   1275   8987 88.59
89.27/89.33	c   796420    144     1539    81872   53     3740    2773   1525   8988 88.61
89.27/89.33	c   796896    144     2015   103184   51     4700    3051   2001   8989 88.65
89.27/89.33	c   797709    144     2828   140448   49     6326    3357   2814   8990 88.72
89.27/89.33	c   799029    144     2419   110495   45     5505    3693   2405   8992 88.85
89.27/89.33	c   801110    144     2609   118476   45     5882    4063   2595   8991 89.10
89.27/89.33	o 45	89.313
89.27/89.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
89.27/89.34	c   802944    144     2367   107850   45     5488    2288   2353   8990 89.31
89.27/89.34	o 43	89.319
89.27/89.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
89.27/89.34	c   802980    144     1224    54486   44     3199    2288   1210   8990 89.32
89.27/89.34	o 41	89.321
89.47/89.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
89.47/89.57	c   803003    144     1248    56076   44     3328    2288   1234   8990 89.32
89.47/89.57	c   803104    144     1349    60985   45     3525    2517   1335   8990 89.33
89.47/89.57	c   803354    144     1599    71860   44     4022    2769   1585   8991 89.35
89.47/89.57	c   803829    144     2074    92988   44     4976    3046   2060   8992 89.39
89.47/89.57	c   804642    144     2887   129107   44     6600    3351   2873   8993 89.47
89.47/89.57	o 37	89.552
248.24/248.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
248.24/248.38	c   805478    144     2000    90090   45     4749    2288   1986   8994 89.55
248.24/248.38	c   805578    144     2100    95110   45     4944    2517   2086   8994 89.56
248.24/248.38	c   805829    144     2351   106482   45     5443    2769   2337   8995 89.58
248.24/248.38	c   806304    144     1428    66014   46     3519    3046   1414   8996 89.63
248.24/248.38	c   807117    144     2241   102190   45     5144    3351   2227   8998 89.70
248.24/248.38	c   808438    144     1836    82297   44     4341    3687   1822   8999 89.83
248.24/248.38	c   810519    144     2043    88298   43     4750    4056   2029   9000 90.05
248.24/248.38	c   813742    144     3198   146011   45     7041    4462   3184   9001 90.40
248.24/248.38	c   818678    144     3570   159301   44     7805    4909   3556   8998 90.98
248.24/248.38	c   826184    144     3584   163901   45     7830    5400   3570   8988 91.92
248.24/248.38	c   837546    144     3956   176116   44     8571    5941   3942   8975 93.31
248.24/248.38	c   854690    144     3028   137184   45     6727    6536   3014   8954 95.45
248.24/248.38	c   880509    144     5678   254533   44    11992    7190   5664   8903 98.89
248.24/248.38	c   919341    144     4488   198443   44     9629    7910   4474   8782 104.67
248.24/248.38	c   977693    144     6864   307915   44    14369    8702   6850   8629 113.30
248.24/248.38	c  1065325    144     6595   293297   44    13786    9573   6581   8379 127.14
248.24/248.38	c  1196877    144     7832   324394   41    16284   10531   7818   8303 144.15
248.24/248.38	c  1394309    144     9022   403420   44    18695   11585   9008   7988 174.53
248.24/248.38	c  1690563    144     7707   346131   44    16089   12744   7693   7260 232.84
248.24/248.38	o 36	248.334
248.34/248.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
248.34/248.42	c  1768735    144     8880   410399   46    18513    2288   8866   7122 248.33
248.34/248.42	o 34	248.378
248.34/248.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
248.34/248.43	c  1768751    144     1204    53746   44     3163    2288   1190   7121 248.38
248.34/248.43	o 32	248.382
248.34/248.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
248.34/248.43	c  1768786    144     1240    55452   44     3318    2288   1226   7121 248.38
248.34/248.43	o 30	248.382
250.04/250.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
250.04/250.18	c  1768788    144     1243    55691   44     3406    2288   1229   7121 248.38
250.04/250.18	c  1768888    133     1343    59549   44     3585    2517   1329   7121 248.39
250.04/250.18	c  1769138    132     1593    71495   44     4081    2769   1579   7121 248.41
250.04/250.18	c  1769613    131     2068    93839   45     5027    3046   2054   7122 248.46
250.04/250.18	c  1770427    130     2882   134186   46     6650    3351   2868   7123 248.55
250.04/250.18	c  1771747    130     2474   119205   48     5591    3687   2460   7124 248.69
250.04/250.18	c  1773828    130     2672   132190   49     5991    4056   2658   7125 248.95
250.04/250.18	c  1777051    130     3815   187449   49     8282    4462   3801   7127 249.33
250.04/250.18	c  1781987    130     4200   212860   50     9044    4909   4186   7128 249.97
250.04/250.18	o 27	250.137
250.04/250.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
250.04/250.19	c  1783109    130     2814   142954   50     6348    2260   2800   7128 250.14
250.04/250.19	o 25	250.149
250.04/250.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
250.04/250.19	c  1783193    130     1272    63354   49     3249    2260   1258   7128 250.15
250.04/250.19	o 23	250.15
1800.01/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.30	c  1783214    130     1294    64744   50     3360    2260   1280   7128 250.15
1800.01/1800.30	c  1783314    130     1394    70097   50     3561    2487   1380   7128 250.16
1800.01/1800.30	c  1783564    130     1644    82272   50     4048    2736   1630   7129 250.18
1800.01/1800.30	c  1784039    130     2119   105579   49     4995    3010   2105   7129 250.24
1800.01/1800.30	c  1784852    130     2932   145735   49     6633    3312   2918   7129 250.34
1800.01/1800.30	c  1786172    130     2554   125452   49     5745    3644   2540   7130 250.48
1800.01/1800.30	c  1788253    130     2761   131704   47     6154    4009   2747   7132 250.71
1800.01/1800.30	c  1791476    130     3932   185755   47     8496    4410   3918   7135 251.07
1800.01/1800.30	c  1796412    130     4366   206224   47     9359    4852   4352   7139 251.63
1800.01/1800.30	c  1803918    130     4464   218734   48     9551    5338   4450   7144 252.50
1800.01/1800.30	c  1815279    130     4956   239474   48    10522    5872   4942   7149 253.91
1800.01/1800.30	c  1832423    130     4232   209729   49     9091    6460   4218   7153 256.16
1800.01/1800.30	c  1858242    130     3863   183816   47     8361    7107   3849   7146 260.03
1800.01/1800.30	c  1897074    130     6705   328405   48    14033    7818   6691   7136 265.84
1800.01/1800.30	c  1955427    130     5763   290772   50    12155    8600   5749   7096 275.55
1800.01/1800.30	c  2043059    130     6545   331768   50    13705    9461   6531   7014 291.26
1800.01/1800.30	c  2174611    130     9223   439174   47    19062   10408   9209   6866 316.68
1800.01/1800.30	c  2372043    130     7327   357885   48    15264   11449   7313   6639 357.27
1800.01/1800.30	c  2668295    130     9478   468426   49    19581   12594   9464   6315 422.48
1800.01/1800.30	c  3112777    130    10274   512471   49    21183   13854  10260   5863 530.91
1800.01/1800.30	c  3779604    130     7980   386962   48    16585   15240   7966   5438 694.91
1800.01/1800.30	c  4779949    130    12298   597181   48    25225   16765  12284   4939 967.79
1800.01/1800.30	c  6280571    130    13538   660171   48    27702   18442  13524   4508 1393.04
1800.01/1800.30	c Caught signal: 15
1800.01/1800.30	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 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 x130 x131 -x132 x133 x134 -x135 x136 -x137 x138 x139 -x140 x141 x142 x143 x144 x145 -x146 -x147 x148 x149 -x150 -x151 x152 x153 x154 x155 -x156 -x157 x158 x159 -x160 -x161 x162 x163 x164 x165 -x166 x167 -x168 -x169 -x170 -x171 x172 
1800.01/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.30	c  286  7652110  36704  7714880    14273   693448  14259   4251 1800.02
1800.01/1800.30	c Objective: 23
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	c Total time: 1800.02 s

Verifier Data 

OK	23

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-3735002-1338702712/watcher-3735002-1338702712 -o /tmp/evaluation-result-3735002-1338702712/solver-3735002-1338702712 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3735002-1338702712.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.99 1.99 1.99 3/176 14545
/proc/meminfo: memFree=27188016/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 336395262 4583424 155 33554432000 134512640 135840783 4294177472 4294176812 2516312 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14545/statm: 1119 155 133 325 0 39 0

[startup+0.022773 s]
/proc/loadavg: 1.99 1.99 1.99 3/176 14545
/proc/meminfo: memFree=27188016/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=4820 CPUtime=0.01 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 531 0 0 0 1 0 0 0 20 0 1 0 336395262 4935680 465 33554432000 134512640 135840783 4294177472 4294176832 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14545/statm: 1205 465 348 325 0 141 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4820

[startup+0.100201 s]
/proc/loadavg: 1.99 1.99 1.99 3/176 14545
/proc/meminfo: memFree=27188016/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=5724 CPUtime=0.09 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 745 0 0 0 9 0 0 0 20 0 1 0 336395262 5861376 679 33554432000 134512640 135840783 4294177472 4294176832 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14545/statm: 1431 679 348 325 0 367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5724

[startup+0.300179 s]
/proc/loadavg: 1.99 1.99 1.99 3/176 14545
/proc/meminfo: memFree=27188016/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=7032 CPUtime=0.29 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 1076 0 0 0 29 0 0 0 20 0 1 0 336395262 7200768 1010 33554432000 134512640 135840783 4294177472 4294176832 134551093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14545/statm: 1758 1010 348 325 0 694 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7032

[startup+0.700177 s]
/proc/loadavg: 1.99 1.99 1.99 3/176 14545
/proc/meminfo: memFree=27188016/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=7292 CPUtime=0.69 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 1153 0 0 0 69 0 0 0 20 0 1 0 336395262 7467008 1087 33554432000 134512640 135840783 4294177472 4294176768 134572665 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14545/statm: 1823 1087 348 325 0 759 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7292

[startup+1.50018 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14546
/proc/meminfo: memFree=27185140/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=7292 CPUtime=1.49 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 1153 0 0 0 149 0 0 0 20 0 1 0 336395262 7467008 1087 33554432000 134512640 135840783 4294177472 4294176832 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14545/statm: 1823 1087 348 325 0 759 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7292

[startup+3.10022 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14546
/proc/meminfo: memFree=27184404/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=8336 CPUtime=3.09 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 1396 0 0 0 309 0 0 0 20 0 1 0 336395262 8536064 1330 33554432000 134512640 135840783 4294177472 4294176768 134572684 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 2084 1330 348 325 0 1020 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8336

[startup+6.30022 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14546
/proc/meminfo: memFree=27183040/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=9236 CPUtime=6.28 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 1624 0 0 0 628 0 0 0 20 0 1 0 336395262 9457664 1558 33554432000 134512640 135840783 4294177472 4294176832 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 2309 1558 348 325 0 1245 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9236

[startup+12.7002 s]
/proc/loadavg: 2.07 2.01 2.00 3/177 14546
/proc/meminfo: memFree=27181472/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=10008 CPUtime=12.68 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 1823 0 0 0 1268 0 0 0 20 0 1 0 336395262 10248192 1755 33554432000 134512640 135840783 4294177472 4294176784 134551200 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 2502 1755 348 325 0 1438 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10008

[startup+25.5002 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 14546
/proc/meminfo: memFree=27180052/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=11400 CPUtime=25.48 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 2170 0 0 0 2548 0 0 0 20 0 1 0 336395262 11673600 2101 33554432000 134512640 135840783 4294177472 4294176576 134573224 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 2850 2101 348 325 0 1786 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11400

[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14546
/proc/meminfo: memFree=27179432/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=11724 CPUtime=51.07 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 2285 0 0 0 5107 0 0 0 20 0 1 0 336395262 12005376 2205 33554432000 134512640 135840783 4294177472 4294176832 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 2931 2205 348 325 0 1867 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11724

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14546
/proc/meminfo: memFree=27179068/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=11724 CPUtime=102.27 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 2285 0 0 0 10227 0 0 0 20 0 1 0 336395262 12005376 2205 33554432000 134512640 135840783 4294177472 4294176000 2702079 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 2931 2205 348 325 0 1867 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 11724

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14547
/proc/meminfo: memFree=27178944/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=11824 CPUtime=162.26 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 2289 0 0 0 16226 0 0 0 20 0 1 0 336395262 12107776 2209 33554432000 134512640 135840783 4294177472 4294176832 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 2956 2209 348 325 0 1892 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 11824

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14547
/proc/meminfo: memFree=27178012/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=13092 CPUtime=222.25 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 2610 0 0 0 22225 0 0 0 20 0 1 0 336395262 13406208 2539 33554432000 134512640 135840783 4294177472 4294176832 134550910 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 3273 2539 348 325 0 2209 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 13092

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14547
/proc/meminfo: memFree=27177024/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=13680 CPUtime=282.24 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 2808 0 0 0 28224 0 0 0 20 0 1 0 336395262 14008320 2694 33554432000 134512640 135840783 4294177472 4294176784 134551321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 3420 2694 348 325 0 2356 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 13680

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14547
/proc/meminfo: memFree=27176900/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=13680 CPUtime=342.23 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 2808 0 0 0 34223 0 0 0 20 0 1 0 336395262 14008320 2694 33554432000 134512640 135840783 4294177472 4294176832 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 3420 2694 348 325 0 2356 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 13680

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14547
/proc/meminfo: memFree=27176900/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=13680 CPUtime=402.22 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 2808 0 0 0 40222 0 0 0 20 0 1 0 336395262 14008320 2694 33554432000 134512640 135840783 4294177472 4294176832 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 3420 2694 348 325 0 2356 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 13680

[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 14547
/proc/meminfo: memFree=27176536/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=14268 CPUtime=462.21 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 2955 0 0 0 46221 0 0 0 20 0 1 0 336395262 14610432 2841 33554432000 134512640 135840783 4294177472 4294176832 134550738 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 3567 2841 348 325 0 2503 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 14268

[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 14551
/proc/meminfo: memFree=27176352/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=14248 CPUtime=522.2 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 2956 0 0 0 52220 0 0 0 20 0 1 0 336395262 14589952 2836 33554432000 134512640 135840783 4294177472 4294176752 3079822 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 3562 2836 348 325 0 2498 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 14248

[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 14574
/proc/meminfo: memFree=27175604/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=15148 CPUtime=582.2 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 3181 0 0 0 58219 1 0 0 20 0 1 0 336395262 15511552 3059 33554432000 134512640 135840783 4294177472 4294176752 3079852 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 3787 3059 348 325 0 2723 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 15148

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14614
/proc/meminfo: memFree=27134612/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=16220 CPUtime=882.15 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 3442 0 0 0 88214 1 0 0 20 0 1 0 336395262 16609280 3319 33554432000 134512640 135840783 4294177472 4294176776 10094758 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4055 3319 348 325 0 2991 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 16220

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14614
/proc/meminfo: memFree=27113328/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=16168 CPUtime=942.14 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 3442 0 0 0 94213 1 0 0 20 0 1 0 336395262 16556032 3315 33554432000 134512640 135840783 4294177472 4294176780 10064999 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4042 3315 348 325 0 2978 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 16168

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14614
/proc/meminfo: memFree=27094940/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=17228 CPUtime=1002.13 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 3697 0 0 0 100212 1 0 0 20 0 1 0 336395262 17641472 3570 33554432000 134512640 135840783 4294177472 4294176896 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4307 3570 348 325 0 3243 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 17228

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14614
/proc/meminfo: memFree=27080472/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=17236 CPUtime=1062.12 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 3711 0 0 0 106211 1 0 0 20 0 1 0 336395262 17649664 3583 33554432000 134512640 135840783 4294177472 4294176780 134520568 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4309 3583 348 325 0 3245 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 17236

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14618
/proc/meminfo: memFree=27066248/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=17324 CPUtime=1122.11 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 3734 0 0 0 112210 1 0 0 20 0 1 0 336395262 17739776 3605 33554432000 134512640 135840783 4294177472 4294176832 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4331 3605 348 325 0 3267 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 17324

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14618
/proc/meminfo: memFree=27045296/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=17384 CPUtime=1182.1 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 3744 0 0 0 118209 1 0 0 20 0 1 0 336395262 17801216 3615 33554432000 134512640 135840783 4294177472 4294176796 10064999 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4346 3615 348 325 0 3282 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 17384

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14618
/proc/meminfo: memFree=27023056/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=17460 CPUtime=1242.09 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 3760 0 0 0 124208 1 0 0 20 0 1 0 336395262 17879040 3631 33554432000 134512640 135840783 4294177472 4294176832 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4365 3631 348 325 0 3301 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 17460

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14618
/proc/meminfo: memFree=27003176/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=17440 CPUtime=1302.09 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 3760 0 0 0 130208 1 0 0 20 0 1 0 336395262 17858560 3631 33554432000 134512640 135840783 4294177472 4294176896 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4360 3631 348 325 0 3296 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 17440

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 14618
/proc/meminfo: memFree=26991072/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=17432 CPUtime=1362.08 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 3760 0 0 0 136207 1 0 0 20 0 1 0 336395262 17850368 3631 33554432000 134512640 135840783 4294177472 4294176768 134572643 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4358 3631 348 325 0 3294 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 17432

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14619
/proc/meminfo: memFree=26977040/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=18332 CPUtime=1422.07 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 3974 0 0 0 142206 1 0 0 20 0 1 0 336395262 18771968 3844 33554432000 134512640 135840783 4294177472 4294176832 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4583 3844 348 325 0 3519 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 18332

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14619
/proc/meminfo: memFree=26966848/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=18580 CPUtime=1482.06 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 4043 0 0 0 148205 1 0 0 20 0 1 0 336395262 19025920 3913 33554432000 134512640 135840783 4294177472 4294176660 3072056 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4645 3913 348 325 0 3581 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 18580

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14619
/proc/meminfo: memFree=26955564/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=18568 CPUtime=1542.05 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 4043 0 0 0 154204 1 0 0 20 0 1 0 336395262 19013632 3913 33554432000 134512640 135840783 4294177472 4294176784 134550832 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4642 3913 348 325 0 3578 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 18568

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14619
/proc/meminfo: memFree=26943136/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=18636 CPUtime=1602.04 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 4056 0 0 0 160203 1 0 0 20 0 1 0 336395262 19083264 3926 33554432000 134512640 135840783 4294177472 4294176832 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4659 3926 348 325 0 3595 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 18636

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14619
/proc/meminfo: memFree=26930028/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=18564 CPUtime=1662.03 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 4086 0 0 0 166202 1 0 0 20 0 1 0 336395262 19009536 3915 33554432000 134512640 135840783 4294177472 4294176832 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4641 3915 348 325 0 3577 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 18564

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14623
/proc/meminfo: memFree=26917540/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=18612 CPUtime=1722.02 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 4096 0 0 0 172201 1 0 0 20 0 1 0 336395262 19058688 3924 33554432000 134512640 135840783 4294177472 4294176832 134551285 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4653 3924 348 325 0 3589 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 18612

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14623
/proc/meminfo: memFree=26905024/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=18612 CPUtime=1782.01 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 4096 0 0 0 178200 1 0 0 20 0 1 0 336395262 19058688 3924 33554432000 134512640 135840783 4294177472 4294176784 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4653 3924 348 325 0 3589 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 18612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14623
/proc/meminfo: memFree=26900684/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=18612 CPUtime=1800.01 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 4096 0 0 0 180000 1 0 0 20 0 1 0 336395262 19058688 3924 33554432000 134512640 135840783 4294177472 4294176784 134551018 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4653 3924 348 325 0 3589 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 18612

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14623
/proc/meminfo: memFree=26900684/32873648 swapFree=7368/7368
[pid=14545] ppid=14543 vsize=18612 CPUtime=1800.01 cores=0,2,4,6
/proc/14545/stat : 14545 (bsolo3.0.17) R 14543 14545 10459 0 -1 4202496 4096 0 0 0 180000 1 0 0 20 0 1 0 336395262 19058688 3924 33554432000 134512640 135840783 4294177472 4294176784 134551018 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/14545/statm: 4653 3924 348 325 0 3589 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 18612

Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1800.01
CPU system time (s): 0.015997
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 18744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.015997
maximum resident set size= 15784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4100
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= 20
involuntary context switches= 2207

runsolver used 3.06053 second user time and 8.5747 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 07:51:52
IDJOB=3735002
IDBENCH=2932
IDSOLVER=2318
FILE ID=node149/3735002-1338702712
RUNJOBID= node149-1338678596-10475
PBS_JOBID= 14636664
Free space on /tmp= 71048 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735002-1338702712/watcher-3735002-1338702712 -o /tmp/evaluation-result-3735002-1338702712/solver-3735002-1338702712 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3735002-1338702712.opb            

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

MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55
RANDOM SEED=1493721983

node149.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
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	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27188280 kB
Buffers:          721276 kB
Cached:          4048412 kB
SwapCached:         2468 kB
Active:          1929608 kB
Inactive:        2865824 kB
Active(anon):       8748 kB
Inactive(anon):     9368 kB
Active(file):    1920860 kB
Inactive(file):  2856456 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:              6620 kB
Writeback:             0 kB
AnonPages:         21516 kB
Mapped:            15652 kB
Shmem:                96 kB
Slab:             752540 kB
SReclaimable:     196692 kB
SUnreclaim:       555848 kB
KernelStack:        1464 kB
PageTables:         4080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     130484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71036 MiB
End job on node149 at 2012-06-03 08:21:54