Trace number 3734894

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: bsolo 3.1OPT1 146.285 146.307

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_2.opb
MD5SUM031b0f629913e7cd5c934f00ec1a1885
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark11.1943
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint44
Maximum length of a constraint46
Number of terms in the objective function 64
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 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 808
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2934
Number of bits of the biggest sum of numbers12
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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3734894-1338717467.opb
0.00/0.00	c File size is 3562 bytes.
0.00/0.00	c Highest Coefficient sum: 2934
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 94 Constr: 8 0/0/8 Lit: 362 Watch. Lit: 102
0.00/0.00	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.00	c Pre-processing Time: 0 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        8      362   45      108     724      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 863
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        9      426   47      299     852      1 -2147483648 0.00
0.00/0.00	o 851
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        5     94       16      762   47      377     852      8 -2147483648 0.00
0.00/0.00	o 183
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       12     94       24     1108   46      433     852     16  12000 0.00
0.00/0.00	o 138
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       23     94       36     1354   37      491     852     28  11500 0.00
0.00/0.00	o 132
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       26     94       40     1495   37      555     852     32  13000 0.00
0.00/0.00	o 130
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       28     94       43     1634   38      614     852     35  14000 0.00
0.00/0.00	o 123
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       34     94       50     1901   38      681     852     42  11333 0.00
0.00/0.00	o 121
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       43     93       61     2203   36      775     850     53  10750 0.00
0.00/0.00	o 120
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       57     92       77     2647   34      879     848     69  11400 0.01
0.00/0.00	o 118
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       76     92       97     3213   33      979     848     89  10857 0.01
0.00/0.01	o 107
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      174     90      196     5185   26     1233     844    188  10235 0.02
0.00/0.01	o 91
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      177     90      200     5397   26     1300     844    192  10411 0.02
0.00/0.01	o 79
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      179     90      203     5504   27     1358     844    195   9944 0.02
0.00/0.02	o 75
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      182     90      207     5683   27     1423     844    199  10111 0.02
0.00/0.02	o 73
0.05/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.09	c      192     90      218     6083   27     1507     844    210  10105 0.02
0.05/0.09	c      292     90      320     7827   24     1714     929    312  10814 0.03
0.05/0.09	c      542     90      574    12246   21     2220    1022    566  11061 0.05
0.05/0.09	o 70
0.05/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.09	c     1003     90      524     9340   17     1332     844    516  10784 0.09
0.05/0.09	o 68
0.05/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.09	c     1010     90      532     9531   17     1406     844    524  10744 0.09
0.05/0.09	o 66
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1016     90      539     9849   18     1478     844    531  10808 0.09
0.19/0.29	c     1116     90      643    11860   18     1690     929    635  10834 0.10
0.19/0.29	c     1366     90      899    17137   19     2192    1022    891  10841 0.13
0.19/0.29	c     1843     88      849    16727   19     1965    1125    841  10653 0.17
0.19/0.29	c     2657     87     1090    20700   18     2458    1238   1082  10757 0.25
0.19/0.29	o 61
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     3138     87      941    18354   19     2218     838    933  10637 0.29
0.19/0.29	o 59
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     3147     84      445     8853   19     1223     832    437  10631 0.30
0.29/0.30	o 58
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     3172     83      471     9476   20     1321     830    463  10608 0.30
0.29/0.30	o 56
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c     3252     82      552    11205   20     1533     828    544  10592 0.31
0.29/0.31	o 45
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c     3287     81      589    12039   20     1657     826    581  10603 0.31
0.29/0.31	o 37
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c     3292     81      595    12256   20     1719     826    587  10585 0.31
0.29/0.31	o 27
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c     3345     81      649    13496   20     1874     826    641  10585 0.32
0.29/0.37	c     3445     74      749    15591   20     2069     909    741  10535 0.33
0.29/0.37	c     3696     71      531    11271   21     1321    1000    523  10440 0.35
0.29/0.37	o 25
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c     3878     71      715    15664   21     1729     806    707  10452 0.37
0.29/0.37	o 18
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c     3905     71      743    16334   21     1823     806    735  10441 0.37
0.39/0.46	c     4006     71      435     9421   21     1119     887    427  10432 0.38
0.39/0.46	c     4256     71      685    14384   20     1620     976    677  10482 0.41
0.39/0.46	c     4731     71      659    12829   19     1563    1074    651  10466 0.45
0.39/0.46	o 5
4.09/4.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.19	c     4822     71      751    14679   19     1789     806    743  10459 0.46
4.09/4.19	c     4922     59      447     8648   19     1121     887    439  10450 0.47
4.09/4.19	c     5172     56      702    13735   19     1622     976    694  10490 0.49
4.09/4.19	c     5648     54      680    13381   19     1581    1074    672  10498 0.54
4.09/4.19	c     6461     54      945    18593   19     2110    1182    937  10574 0.61
4.09/4.19	c     7781     54     1051    21283   20     2320    1301   1043  10572 0.74
4.09/4.19	c     9862     54     1156    23567   20     2531    1432   1148  10558 0.93
4.09/4.19	c    13085     54     1467    30802   20     3155    1576   1459  10476 1.25
4.09/4.19	c    18021     54     1577    33196   21     3372    1734   1569  10368 1.74
4.09/4.19	c    25527     54     1120    23459   20     2459    1908   1112  10121 2.52
4.09/4.19	c    36889     54     1809    37797   20     3839    2099   1801   9943 3.71
4.09/4.19	o 4
13.49/13.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.49/13.58	c    41333     54     1992    42113   21     4228     772   1984   9862 4.19
13.49/13.58	c    41433     50      535    10725   20     1264     850    527   9860 4.20
13.49/13.58	c    41683     50      785    15970   20     1763     936    777   9870 4.22
13.49/13.58	c    42160     49      786    15852   20     1765    1030    778   9885 4.26
13.49/13.58	c    42974     47     1072    21892   20     2333    1134   1064   9908 4.34
13.49/13.58	c    44296     47      657    13208   20     1503    1248    649   9934 4.46
13.49/13.58	c    46378     47      828    16683   20     1848    1373    820   9969 4.65
13.49/13.58	c    49602     47     1267    25704   20     2727    1511   1259   9996 4.96
13.49/13.58	c    54539     47      812    16187   19     1817    1663    804  10042 5.43
13.49/13.58	c    62045     47     1559    32299   20     3308    1830   1551  10018 6.19
13.49/13.58	c    73406     46     1760    36678   20     3708    2014   1752   9945 7.38
13.49/13.58	c    90551     46     1497    29412   19     3180    2216   1489   9793 9.25
13.49/13.58	c   116371     46     1441    29829   20     3068    2438   1433   9655 12.05
13.49/13.58	o 3
46.78/46.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.78/46.89	c   129846     46     1317    25995   19     2836     756   1309   9563 13.58
46.78/46.89	c   129947     46      536    10206   19     1251     832    528   9564 13.59
46.78/46.89	c   130198     46      787    15456   19     1755     916    779   9569 13.61
46.78/46.89	c   130674     46      795    15696   19     1773    1008    787   9575 13.65
46.78/46.89	c   131487     46      579    10639   18     1335    1109    571   9584 13.72
46.78/46.89	c   132808     46      772    14818   19     1723    1220    764   9602 13.83
46.78/46.89	c   134890     46      988    18863   19     2148    1343    980   9630 14.01
46.78/46.89	c   138113     46      802    15407   19     1783    1478    794   9652 14.31
46.78/46.89	c   143051     46     1218    24000   19     2615    1626   1210   9690 14.76
46.78/46.89	c   150560     46     1266    25414   20     2709    1789   1258   9724 15.48
46.78/46.89	c   161922     46     1701    33897   19     3580    1968   1693   9732 16.64
46.78/46.89	c   179068     46     1841    37276   20     3863    2165   1833   9728 18.41
46.78/46.89	c   204889     46     1292    26235   20     2766    2382   1284   9693 21.14
46.78/46.89	c   243722     46     1508    31227   20     3222    2621   1500   9574 25.45
46.78/46.89	c   302075     46     1474    30182   20     3128    2884   1466   9407 32.11
46.78/46.89	c   389708     46     1601    33004   20     3383    3173   1593   9093 42.86
46.78/46.89	o 2
63.38/63.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.38/63.46	c   422467     46     2297    46592   20     4790     756   2289   9011 46.88
63.38/63.46	c   422568     45      536    10301   19     1249     832    528   9011 46.89
63.38/63.46	c   422818     44      786    15333   19     1749     916    778   9012 46.91
63.38/63.46	c   423293     44      792    15271   19     1761    1008    784   9014 46.95
63.38/63.46	c   424106     44      575    10969   19     1327    1109    567   9018 47.03
63.38/63.46	c   425426     44      769    14247   18     1713    1220    761   9025 47.14
63.38/63.46	c   427507     44      989    19003   19     2152    1343    981   9033 47.33
63.38/63.46	c   430731     44      809    15943   19     1794    1478    801   9043 47.63
63.38/63.46	c   435667     44     1216    23527   19     2606    1626   1208   9060 48.08
63.38/63.46	c   443173     42     1253    25008   19     2677    1789   1245   9076 48.82
63.38/63.46	c   454534     42     1678    33258   19     3530    1968   1670   9097 49.96
63.38/63.46	c   471679     41     1810    36795   20     3790    2165   1802   9124 51.69
63.38/63.46	c   497499     40     1282    25576   19     2733    2382   1274   9143 54.41
63.38/63.46	c   536332     40     1496    30075   20     3164    2621   1488   9127 58.76
63.38/63.46	o 1
146.27/146.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
146.27/146.30	c   576334     40     1731    35024   20     3639     744   1723   9082 63.45
146.27/146.30	c   576434     40      535    10197   19     1232     819    527   9082 63.46
146.27/146.30	c   576684     40      785    15305   19     1731     901    777   9084 63.48
146.27/146.30	c   577160     40      801    15366   19     1765     992    793   9085 63.52
146.27/146.30	c   577973     30      584    11068   18     1330    1092    576   9088 63.59
146.27/146.30	c   579293     30      772    14334   18     1703    1202    764   9092 63.71
146.27/146.30	c   581374     30      982    19372   19     2124    1323    974   9099 63.89
146.27/146.30	c   584597     30      803    15520   19     1767    1456    795   9107 64.19
146.27/146.30	c   589533     30     1234    24739   20     2627    1602   1226   9117 64.66
146.27/146.30	c   597039     30     1326    24979   18     2810    1763   1318   9129 65.40
146.27/146.30	c   608400     30      947    18788   19     2055    1940    939   9143 66.54
146.27/146.30	c   625544     30     1194    23294   19     2548    2135   1186   9157 68.31
146.27/146.30	c   651364     30     1923    37184   19     4004    2349   1915   9171 71.02
146.27/146.30	c   690200     30     2420    49034   20     5000    2584   2412   9170 75.26
146.27/146.30	c   748552     30     1524    29427   19     3209    2843   1516   9137 81.92
146.27/146.30	c   836186     30     2454    48659   19     5067    3128   2446   9025 92.65
146.27/146.30	c   967738     30     2237    45260   20     4633    3441   2229   8835 109.52
146.27/146.30	c  1165172     28     2792    51716   18     5742    3786   2784   8580 135.79
146.27/146.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 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 -x69 
146.27/146.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
146.27/146.30	c  110  1239544   2668  1244680     2538    34987   2530   8473 146.28
146.27/146.30	c Objective: 1
146.27/146.30	s OPTIMUM FOUND
146.27/146.30	c Total time: 146.283 s

Verifier Data

OK	1

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-3734894-1338717467/watcher-3734894-1338717467 -o /tmp/evaluation-result-3734894-1338717467/solver-3734894-1338717467 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734894-1338717467.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.91 3/176 30798
/proc/meminfo: memFree=31604148/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=26412 CPUtime=0 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 337875265 27045888 249 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 6603 249 196 641 0 5959 0

[startup+0.057521 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30798
/proc/meminfo: memFree=31604148/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=18724 CPUtime=0.05 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 353 0 0 0 5 0 0 0 20 0 1 0 337875265 19173376 305 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4681 305 197 641 0 4037 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18724

[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30798
/proc/meminfo: memFree=31604148/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=18980 CPUtime=0.09 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 388 0 0 0 9 0 0 0 20 0 1 0 337875265 19435520 340 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4745 340 197 641 0 4101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18980

[startup+0.300208 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30798
/proc/meminfo: memFree=31604148/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=18980 CPUtime=0.29 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 402 0 0 0 29 0 0 0 20 0 1 0 337875265 19435520 354 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4745 354 197 641 0 4101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18980

[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30798
/proc/meminfo: memFree=31604148/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=18980 CPUtime=0.69 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 403 0 0 0 69 0 0 0 20 0 1 0 337875265 19435520 355 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4745 355 197 641 0 4101 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18980

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30799
/proc/meminfo: memFree=31603132/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19108 CPUtime=1.49 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 449 0 0 0 148 1 0 0 20 0 1 0 337875265 19566592 401 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4777 401 197 641 0 4133 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19108

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30799
/proc/meminfo: memFree=31602636/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19236 CPUtime=3.09 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 479 0 0 0 308 1 0 0 20 0 1 0 337875265 19697664 431 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4809 431 197 641 0 4165 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19236

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30799
/proc/meminfo: memFree=31602504/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19368 CPUtime=6.29 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 498 0 0 0 626 3 0 0 20 0 1 0 337875265 19832832 450 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4842 450 197 641 0 4198 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19368

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30799
/proc/meminfo: memFree=31602188/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19496 CPUtime=12.69 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 529 0 0 0 1262 7 0 0 20 0 1 0 337875265 19963904 481 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4874 481 197 641 0 4230 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19496

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30799
/proc/meminfo: memFree=31602576/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19496 CPUtime=25.48 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 529 0 0 0 2536 12 0 0 20 0 1 0 337875265 19963904 481 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4874 481 197 641 0 4230 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19496

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30799
/proc/meminfo: memFree=31602576/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19744 CPUtime=51.09 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 602 0 0 0 5086 23 0 0 20 0 1 0 337875265 20217856 554 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4936 554 197 641 0 4292 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19744

[startup+102.306 s]
/proc/loadavg: 2.04 2.01 1.92 3/177 30799
/proc/meminfo: memFree=31602080/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19744 CPUtime=102.28 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 602 0 0 0 10180 48 0 0 20 0 1 0 337875265 20217856 554 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4936 554 197 641 0 4292 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 19744

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

[startup+127.9 s]
/proc/loadavg: 2.03 2.01 1.92 3/177 30799
/proc/meminfo: memFree=31601832/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19872 CPUtime=127.87 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 625 0 0 0 12728 59 0 0 20 0 1 0 337875265 20348928 577 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4968 577 197 641 0 4324 0
Current children cumulated CPU time (s) 127.87
Current children cumulated vsize (KiB) 19872

[startup+134.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 30800
/proc/meminfo: memFree=31602072/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19872 CPUtime=134.27 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 625 0 0 0 13365 62 0 0 20 0 1 0 337875265 20348928 577 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4968 577 197 641 0 4324 0
Current children cumulated CPU time (s) 134.27
Current children cumulated vsize (KiB) 19872

[startup+140.7 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 30802
/proc/meminfo: memFree=31602196/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19872 CPUtime=140.67 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 631 0 0 0 14002 65 0 0 20 0 1 0 337875265 20348928 583 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4968 583 197 641 0 4324 0
Current children cumulated CPU time (s) 140.67
Current children cumulated vsize (KiB) 19872

[startup+143.9 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 30802
/proc/meminfo: memFree=31602196/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19872 CPUtime=143.87 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 631 0 0 0 14321 66 0 0 20 0 1 0 337875265 20348928 583 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4968 583 197 641 0 4324 0
Current children cumulated CPU time (s) 143.87
Current children cumulated vsize (KiB) 19872

[startup+145.5 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 30802
/proc/meminfo: memFree=31602196/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19872 CPUtime=145.47 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 631 0 0 0 14481 66 0 0 20 0 1 0 337875265 20348928 583 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4968 583 197 641 0 4324 0
Current children cumulated CPU time (s) 145.47
Current children cumulated vsize (KiB) 19872

[startup+145.9 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 30802
/proc/meminfo: memFree=31602196/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19872 CPUtime=145.86 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 631 0 0 0 14520 66 0 0 20 0 1 0 337875265 20348928 583 33554432000 134512640 137136520 4286906928 4286906044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4968 583 197 641 0 4324 0
Current children cumulated CPU time (s) 145.86
Current children cumulated vsize (KiB) 19872

[startup+146.306 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 30802
/proc/meminfo: memFree=31602196/32873844 swapFree=7116/7116
[pid=30798] ppid=30796 vsize=19872 CPUtime=146.27 cores=1,3,5,7
/proc/30798/stat : 30798 (bsolo) R 30796 30798 30350 0 -1 4202496 631 0 0 0 14561 66 0 0 20 0 1 0 337875265 20348928 583 33554432000 134512640 137136520 4286906928 4286905848 135982486 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30798/statm: 4968 583 197 641 0 4324 0
Current children cumulated CPU time (s) 146.27
Current children cumulated vsize (KiB) 19872

Child status: 0
Real time (s): 146.307
CPU time (s): 146.285
CPU user time (s): 145.616
CPU system time (s): 0.668898
CPU usage (%): 99.9849
Max. virtual memory (cumulated for all children) (KiB): 19872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 145.616
system time used= 0.668898
maximum resident set size= 2336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 633
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= 1
involuntary context switches= 152

runsolver used 0.19097 second user time and 0.614906 second system time

The end

Launcher Data

Begin job on node103 at 2012-06-03 11:57:47
IDJOB=3734894
IDBENCH=2916
IDSOLVER=2320
FILE ID=node103/3734894-1338717467
RUNJOBID= node103-1338713869-30367
PBS_JOBID= 14636745
Free space on /tmp= 71124 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734894-1338717467/watcher-3734894-1338717467 -o /tmp/evaluation-result-3734894-1338717467/solver-3734894-1338717467 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3734894-1338717467.opb

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

MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885
RANDOM SEED=1183424838

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31604684 kB
Buffers:          166732 kB
Cached:           326656 kB
SwapCached:         5648 kB
Active:           151392 kB
Inactive:         358808 kB
Active(anon):      14448 kB
Inactive(anon):     4740 kB
Active(file):     136944 kB
Inactive(file):   354068 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096352 kB
Dirty:              3904 kB
Writeback:             0 kB
AnonPages:         35336 kB
Mapped:             9616 kB
Shmem:                 0 kB
Slab:             622708 kB
SReclaimable:      63444 kB
SUnreclaim:       559264 kB
KernelStack:        1472 kB
PageTables:         4068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     141204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3734894-1338717467.opb

Free space on /tmp at the end= 71120 MiB
End job on node103 at 2012-06-03 12:00:13