Trace number 3739354

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.1Wrong Opt.33 329.696 329.813

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_0_errors.opb
MD5SUMa240e4a37082dfb03371e204a64a9828
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.044992
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

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-3739354-1338742681.opb
0.00/0.00	c File size is 307008 bytes.
0.01/0.02	c Highest Coefficient sum: 182
0.01/0.02	c Parsing was ok!!
0.01/0.02	c Total parsing time: 0.024 s
0.01/0.02	c Var: 2990 Constr: 5666 2775/485/2406 Lit: 37628 Watch. Lit: 24414
0.01/0.02	c Obj. Vars: 182 (6.08696 % of total variables)
0.09/0.15	c Pre-processing Time: 0.155 s
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   2273     4294    29154    6    18751   56096      0      0 0.15
0.09/0.15	c Switching off lower bounding mode.
0.29/0.39	c      102   2273     4410    31250    7    19005   61706    116    548 0.19
0.29/0.39	c      252   2273     4600    43177    9    19451   67877    306   1100 0.23
0.29/0.39	c      478   2273     4887    56418   11    20212   74665    593   1631 0.29
0.29/0.39	o 60
0.59/0.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.63	c      731   2273     5227    74340   14    21338   57096    933   1874 0.39
0.59/0.63	c      831   2273     5354    79882   14    21723   62806   1060   1892 0.44
0.59/0.63	c     1081   2273     5671    98214   17    22539   69087   1377   1926 0.56
0.59/0.63	o 57
0.79/0.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.82	c     1266   2273     5910   110242   18    23362   57096   1616   1990 0.64
0.79/0.82	c     1366   2273     6045   119546   19    23751   62806   1751   2035 0.67
0.79/0.82	c     1617   2273     6356   140581   22    24677   69087   2062   2130 0.76
0.79/0.82	o 49
1.00/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.02	c     1801   2273     6591   157539   23    25422   57096   2297   2199 0.82
1.00/1.02	c     1901   2273     6710   161949   24    25729   62806   2416   2249 0.84
1.00/1.02	c     2151   2273     7029   180987   25    26563   69087   2735   2283 0.94
1.00/1.02	o 46
4.99/5.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.99/5.06	c     2313   2273     7227   196855   27    27176   57096   2933   2269 1.02
4.99/5.06	c     2414   2273     7354   208874   28    27514   62806   3060   2249 1.07
4.99/5.06	c     2666   2273     7670   233595   30    28405   69087   3376   2210 1.21
4.99/5.06	c     3142   2238     8299   262978   31    29994   75996   4005   2258 1.39
4.99/5.06	c     3958   2238     9394   355416   37    32594   83596   5100   2219 1.78
4.99/5.06	c     5279   2238    11064   536633   48    36541   91956   6770   2020 2.61
4.99/5.06	c     7363   2238    13721   849457   61    42870  101152   9427   1626 4.53
4.99/5.06	o 45
7.70/7.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.70/7.78	c     7916   2238    14442   944713   65    44665   57096  10148   1562 5.07
7.70/7.78	c     8016   2238    14565   961304   66    44920   62806  10271   1553 5.16
7.70/7.78	c     8266   2238    14895   996397   66    45771   69087  10601   1545 5.35
7.70/7.78	c     8741   2238    15526  1055782   68    47275   75996  11232   1521 5.74
7.70/7.78	c     9554   2238    16529  1158018   70    49915   83596  12235   1507 6.34
7.70/7.78	c    10874   2238    18190  1295773   71    54047   91956  13896   1437 7.57
7.70/7.78	o 44
11.00/11.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.00/11.06	c    11214   2238    18586  1319886   71    55094   57096  14292   1440 7.78
11.00/11.06	c    11314   2238    18708  1327115   70    55390   62806  14414   1438 7.87
11.00/11.06	c    11564   2238    19013  1356688   71    56150   69087  14719   1426 8.10
11.00/11.06	c    12040   2238    19630  1421689   72    57549   75996  15336   1416 8.50
11.00/11.06	c    12854   2238    20660  1500259   72    59963   83596  16366   1384 9.29
11.00/11.06	c    14175   2238    22270  1615963   72    63973   91956  17976   1375 10.30
11.00/11.06	o 43
13.49/13.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.49/13.50	c    14998   2238    23317  1707285   73    66829   57096  19023   1355 11.06
13.49/13.50	c    15098   2238    23441  1713524   73    67278   62806  19147   1355 11.14
13.49/13.50	c    15351   2238    23753  1735355   73    68269   69087  19459   1344 11.42
13.49/13.50	c    15826   2238    24328  1769078   72    69936   75996  20034   1310 12.07
13.49/13.50	c    16639   2238    25338  1838775   72    72880   83596  21044   1253 13.28
13.49/13.50	o 41
25.99/26.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.99/26.01	c    16773   2238    25509  1852081   72    73531   57096  21215   1242 13.50
25.99/26.01	c    16874   2238    25638  1866595   72    73899   62806  21344   1237 13.64
25.99/26.01	c    17124   2238    25937  1894880   73    74612   69087  21643   1235 13.86
25.99/26.01	c    17599   2238    26544  1957618   73    76328   75996  22250   1216 14.46
25.99/26.01	c    18412   2238    27587  2089788   75    79077   83596  23293   1185 15.53
25.99/26.01	c    19732   2238    29181  2303606   78    83084   91956  24887   1164 16.94
25.99/26.01	c    21813   2179    31796  2702338   84    89732  101152  27502   1087 20.07
25.99/26.01	c    25037   2179    35684  3171432   88    99788  111268  31390    985 25.40
25.99/26.01	o 35
94.04/94.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
94.04/94.11	c    25297   2179    35991  3190853   88   100656   57096  31697    972 26.01
94.04/94.11	c    25397   2179    36113  3200233   88   100998   62806  31819    967 26.24
94.04/94.11	c    25647   2179    36428  3230687   88   101764   69087  32134    957 26.79
94.04/94.11	c    26123   2179    36972  3267570   88   102997   75996  32678    955 27.33
94.04/94.11	c    26936   2179    37930  3363570   88   105296   83596  33636    937 28.74
94.04/94.11	c    28258   2179    39461  3465772   87   108840   91956  35167    910 31.02
94.04/94.11	c    30339   2179    41990  3720826   88   114714  101152  37696    871 34.81
94.04/94.11	c    33562   2120    45848  4097948   89   123716  111268  41554    831 40.36
94.04/94.11	c    38502   2120    51862  4656541   89   138385  122395  47568    794 48.46
94.04/94.11	c    46011   2119    60794  5611469   92   159403  134635  56500    690 66.61
94.04/94.11	o 34
124.14/124.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
124.14/124.24	c    56486   2033    73235  6770140   92   188880   57096  68941    600 94.07
124.14/124.24	c    56587   2033    19921  1415535   71    54811   62806  15627    597 94.73
124.14/124.24	c    56837   2033    20234  1439737   71    55624   69087  15940    598 94.92
124.14/124.24	c    57313   2033    20831  1484858   71    57185   75996  16537    601 95.28
124.14/124.24	c    58128   2024    21833  1561710   71    59724   83596  17539    605 95.93
124.14/124.24	c    59448   2024    23484  1747968   74    63772   91956  19190    611 97.26
124.14/124.24	c    61529   2001    26040  2014156   77    69597  101152  21746    616 99.74
124.14/124.24	c    64752   1999    29994  2405218   80    78379  111268  25700    623 103.81
124.14/124.24	c    69689   1948    36086  3052241   84    92077  122395  31792    628 110.85
124.14/124.24	c    77196   1945    44802  3812974   85   112581  134635  40508    635 121.40
124.14/124.24	o 33
329.67/329.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
329.67/329.81	c    78703   1940    46568  3956763   84   116987   57096  42274    633 124.19
329.67/329.81	c    78804   1940    46686  3965276   84   117242   62806  42392    633 124.41
329.67/329.81	c    79054   1940    46988  3988498   84   117922   69087  42694    633 124.79
329.67/329.81	c    79529   1940    47548  4031550   84   119244   75996  43254    633 125.47
329.67/329.81	c    80343   1905    48512  4123257   84   121421   83596  44218    632 127.09
329.67/329.81	c    81664   1849    50049  4259519   85   124843   91956  45755    632 129.19
329.67/329.81	c    83747   1845    52441  4465222   85   130117  101152  48147    626 133.75
329.67/329.81	c    86971   1799    56185  4817287   85   138776  111268  51891    618 140.61
329.67/329.81	c    91907   1799    61707  5316307   86   151040  122395  57413    616 149.03
329.67/329.81	c    99413   1778    70383  6133054   87   170492  134635  66089    597 166.27
329.67/329.81	c   110775   1742    83376  7283396   87   199977  148099  79082    573 193.23
329.67/329.81	c   127919   1666   102351  8694404   84   242861  162909  98057    540 236.78
329.67/329.81	c   153739   1549   130646 10973949   83   304943  179200 126352    468 328.19
329.67/329.81	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 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 x216 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x222 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x226 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 x231 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 x234 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x239 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x242 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x247 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x250 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 -x696 -x255 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x257 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x261 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x263 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x266 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x268 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x270 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x272 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x273 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 x275 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x276 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x278 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x279 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x281 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x282 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x284 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x285 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x287 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x288 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x290 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x291 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x293 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x294 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x296 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x297 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x299 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x300 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x302 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x303 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x305 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x306 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x308 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x309 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x311 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x312 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x314 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x315 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x317 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x318 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x320 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x321 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x323 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x324 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x326 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x327 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x329 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x330 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x332 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x333 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x335 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x336 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 -x1303 -x1304 x338 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x339 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x341 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x342 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x344 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x345 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x347 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x348 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x350 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x351 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x353 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x354 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 x356 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x357 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x359 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x360 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x362 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x363 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x365 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x366 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x368 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x369 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x371 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x372 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x374 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x375 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x377 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x378 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x380 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x381 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x383 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x384 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x386 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x387 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 -x1712 -x389 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 x390 x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x392 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x393 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x395 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x396 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 x1784 x398 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x399 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x401 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x402 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x404 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x405 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 x407 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x408 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x410 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x411 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 x413 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x414 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x416 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x417 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x419 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x420 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x422 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x424 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x426 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 x428 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x430 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x432 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x434 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x435 -x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x436 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x437 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 x2216 x438 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240 x439 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 x440 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x441 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x442 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x443 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x444 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x445 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x446 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x447 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 x448 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 x449 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x450 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x451 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x452 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x453 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x454 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x455 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x456 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x457 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x458 -x2697 x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x459 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x460 x2745 -x2746 -x462 -x2747 -x2748 -x463 -x2749 -x2750 -x464 -x2751 -x2752 -x465 -x2753 -x2754 x466 -x2755 x2756 -x467 -x2757 -x2758 -x468 -x2759 -x2760 -x469 -x2761 -x2762 -x470 -x2763 -x2764 -x471 -x2765 -x2766 x472 x2767 -x2768 -x473 -x2769 -x2770 -x474 -x2771 -x2772 -x475 -x2773 -x2774 -x476 -x2775 -x2776 x477 -x2777 x2778 x478 x2779 -x2780 -x479 -x2781 -x2782 -x480 -x2783 -x2784 -x481 -x2785 -x2786 -x482 -x2787 -x2788 x483 -x2789 x2790 -x484 -x2791 -x2792 -x485 -x2793 -x2794 x486 x2795 -x2796 -x487 -x2797 -x2798 x488 -x2799 x2800 x489 x2801 -x2802 -x490 -x2803 -x2804 -x491 -x2805 -x2806 -x492 -x2807 -x2808 x493 -x2809 x2810 -x494 -x2811 -x2812 x495 x2813 -x2814 x496 -x2815 x2816 x497 x2817 -x2818 -x498 -x2819 -x2820 -x499 -x2821 -x2822 -x500 -x2823 -x2824 x501 -x2825 x2826 x502 x2827 -x2828 -x503 -x2829 -x2830 -x504 -x2831 -x2832 -x505 -x2833 -x2834 -x506 -x2835 -x2836 -x507 -x2837 -x2838 -x508 -x2839 -x2840 x509 -x2841 x2842 -x510 -x2843 -x2844 -x511 -x2845 -x2846 -x512 -x2847 -x2848 x513 x2849 -x2850 -x514 -x2851 -x2852 x515 -x2853 x2854 x516 x2855 -x2856 x517 -x2857 x2858 x518 x2859 -x2860 -x519 -x2861 -x2862 x520 -x2863 x2864 x521 x2865 -x2866 x522 -x2867 x2868 x523 x2869 -x2870 x524 -x2871 x2872 -x525 -x2873 -x2874 x526 x2875 -x2876 -x527 -x2877 -x2878 x528 -x2879 x2880 -x529 -x2881 -x2882 x530 x2883 -x2884 -x531 -x2885 -x2886 -x532 -x2887 -x2888 -x533 -x2889 -x2890 -x534 -x2891 -x2892 -x535 -x2893 -x2894 -x536 -x2895 -x2896 -x537 -x2897 -x2898 x538 -x2899 x2900 -x539 -x2901 -x2902 -x540 -x2903 -x2904 x541 x2905 -x2906 x542 -x2907 x2908 x543 x2909 -x2910 -x544 -x2911 -x2912 x545 -x2913 x2914 x546 x2915 -x2916 x547 -x2917 x2918 -x548 -x2919 -x2920 x549 x2921 -x2922 -x550 -x2923 -x2924 -x551 -x2925 -x2926 x552 -x2927 x2928 x553 x2929 -x2930 x554 -x2931 x2932 x555 x2933 -x2934 -x556 -x2935 -x2936 -x557 -x2937 -x2938 -x558 -x2939 -x2940 -x559 -x2941 -x2942 x560 -x2943 x2944 -x561 -x2945 -x2946 -x562 -x2947 -x2948 x563 x2949 -x2950 x564 -x2951 x2952 -x565 -x2953 -x2954 -x566 -x2955 -x2956 -x567 -x2957 -x2958 x568 x2959 -x2960 x569 -x2961 x2962 -x570 -x2963 -x2964 -x571 -x2965 -x2966 x572 x2967 -x2968 -x573 -x2969 -x2970 x574 -x2971 x2972 x575 x2973 -x2974 -x576 -x2975 -x2976 -x577 -x2977 -x2978 x578 -x2979 x2980 -x579 -x2981 -x2982 x580 x2983 -x2984 x581 -x2985 x2986 x582 x2987 -x2988 -x583 -x2989 -x2990 -x584 x461 -x224 -x325 -x322 -x319 -x316 x313 x310 -x307 -x304 -x301 x298 -x295 x292 -x289 -x286 x283 x280 -x277 -x274 -x271 -x267 -x262 -x256 x248 x240 x232 x223 x433 x431 -x429 x427 -x425 -x423 -x421 x418 -x415 x412 x409 x406 -x403 -x400 x397 -x394 -x391 x388 x385 -x382 x379 x376 x373 x370 -x367 x364 -x361 -x358 x355 -x352 -x349 x346 x343 -x217 x340 -x251 x337 -x243 x334 -x235 -x331 x227 x328 -x218 -x258 x252 x244 x236 -x228 -x219 -x249 -x241 -x233 x225 -x264 -x259 -x253 -x245 -x237 x229 x220 x269 x265 x260 x254 -x246 -x238 -x230 -x221 
329.67/329.81	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
329.67/329.81	c   77   154155  42198   249093   131076 10994301 126782    467 329.69
329.67/329.81	c Objective: 33
329.67/329.81	s OPTIMUM FOUND
329.67/329.81	c Total time: 329.694 s

Verifier Data 

OK	33

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-3739354-1338742681/watcher-3739354-1338742681 -o /tmp/evaluation-result-3739354-1338742681/solver-3739354-1338742681 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3739354-1338742681.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18656
/proc/meminfo: memFree=29008972/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=11360 CPUtime=0 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 340392899 11632640 313 33554432000 134512640 137136520 4289694688 4289692888 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 2840 313 184 641 0 2121 0

[startup+0.01447 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18656
/proc/meminfo: memFree=29008972/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=11632 CPUtime=0.01 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 453 0 0 0 1 0 0 0 20 0 1 0 340392899 11911168 407 33554432000 134512640 137136520 4289694688 4289692888 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 2908 407 209 641 0 2189 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11632

[startup+0.100203 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18656
/proc/meminfo: memFree=29008972/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=12540 CPUtime=0.09 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 820 0 0 0 9 0 0 0 20 0 1 0 340392899 12840960 699 33554432000 134512640 137136520 4289694688 4289657032 136502333 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 3135 699 189 641 0 2491 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12540

[startup+0.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18656
/proc/meminfo: memFree=29008972/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=12764 CPUtime=0.29 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 871 0 0 0 29 0 0 0 20 0 1 0 340392899 13070336 745 33554432000 134512640 137136520 4289694688 4289693616 134544384 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 3191 745 198 641 0 2547 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12764

[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18656
/proc/meminfo: memFree=29008972/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=13768 CPUtime=0.69 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 1135 0 0 0 69 0 0 0 20 0 1 0 340392899 14098432 1009 33554432000 134512640 137136520 4289694688 4289693616 134543580 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 3442 1009 198 641 0 2798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13768

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18657
/proc/meminfo: memFree=29004500/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=16180 CPUtime=1.49 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 1726 0 0 0 148 1 0 0 20 0 1 0 340392899 16568320 1600 33554432000 134512640 137136520 4289694688 4289693616 134543948 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 4045 1600 198 641 0 3401 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16180

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18657
/proc/meminfo: memFree=29000532/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=20512 CPUtime=3.09 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 2825 0 0 0 308 1 0 0 20 0 1 0 340392899 21004288 2699 33554432000 134512640 137136520 4289694688 4289693616 134544419 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 5128 2699 198 641 0 4484 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20512

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18657
/proc/meminfo: memFree=28991232/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=28168 CPUtime=6.28 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 4734 0 0 0 626 2 0 0 20 0 1 0 340392899 28844032 4608 33554432000 134512640 137136520 4289694688 4289693616 134543837 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 7042 4608 198 641 0 6398 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28168

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18657
/proc/meminfo: memFree=28977360/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=37540 CPUtime=12.69 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 7082 0 0 0 1265 4 0 0 20 0 1 0 340392899 38440960 6956 33554432000 134512640 137136520 4289694688 4289693616 134543865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 9385 6956 198 641 0 8741 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37540

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18657
/proc/meminfo: memFree=28953420/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=56480 CPUtime=25.49 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 11819 0 0 0 2542 7 0 0 20 0 1 0 340392899 57835520 11693 33554432000 134512640 137136520 4289694688 4289693616 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 14120 11693 198 641 0 13476 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56480

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18657
/proc/meminfo: memFree=28917364/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=79072 CPUtime=51.07 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 17472 0 0 0 5095 12 0 0 20 0 1 0 340392899 80969728 17329 33554432000 134512640 137136520 4289694688 4289693616 134543834 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 19768 17329 198 641 0 19124 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 79072

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18657
/proc/meminfo: memFree=28868276/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=107052 CPUtime=102.25 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 24565 0 0 0 10206 19 0 0 20 0 1 0 340392899 109621248 24331 33554432000 134512640 137136520 4289694688 4289693328 134606774 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 26763 24331 198 641 0 26119 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 107052

[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 18660
/proc/meminfo: memFree=28845824/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=107052 CPUtime=162.23 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 24565 0 0 0 16200 23 0 0 20 0 1 0 340392899 109621248 24331 33554432000 134512640 137136520 4289694688 4289693792 134545039 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 26763 24331 198 641 0 26119 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 107052

[startup+222.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/180 18683
/proc/meminfo: memFree=28812268/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=129056 CPUtime=222.22 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 30053 0 0 0 22191 31 0 0 20 0 1 0 340392899 132153344 29819 33554432000 134512640 137136520 4289694688 4289693616 134543927 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 32264 29819 198 641 0 31620 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 129056

[startup+282.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/178 18683
/proc/meminfo: memFree=28779052/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=153004 CPUtime=282.21 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 36066 0 0 0 28183 38 0 0 20 0 1 0 340392899 156676096 35832 33554432000 134512640 137136520 4289694688 4289693616 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 38251 35832 198 641 0 37607 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 153004

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

[startup+307.1 s]
/proc/loadavg: 1.98 2.02 2.00 3/176 18787
/proc/meminfo: memFree=28975536/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=160388 CPUtime=306.98 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 37904 0 0 0 30659 39 0 0 20 0 1 0 340392899 164237312 37646 33554432000 134512640 137136520 4289694688 4289693616 134544157 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 40097 37646 198 641 0 39453 0
Current children cumulated CPU time (s) 306.98
Current children cumulated vsize (KiB) 160388

[startup+319.9 s]
/proc/loadavg: 2.07 2.04 2.01 3/179 18828
/proc/meminfo: memFree=28943080/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=164828 CPUtime=319.78 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 39033 0 0 0 31937 41 0 0 20 0 1 0 340392899 168783872 38767 33554432000 134512640 137136520 4289694688 4289693596 136293435 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 41207 38767 198 641 0 40563 0
Current children cumulated CPU time (s) 319.78
Current children cumulated vsize (KiB) 164828

[startup+326.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 18828
/proc/meminfo: memFree=28940616/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=167100 CPUtime=326.18 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 39615 0 0 0 32576 42 0 0 20 0 1 0 340392899 171110400 39346 33554432000 134512640 137136520 4289694688 4289693616 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 41775 39346 198 641 0 41131 0
Current children cumulated CPU time (s) 326.18
Current children cumulated vsize (KiB) 167100

[startup+327.9 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 18828
/proc/meminfo: memFree=28939932/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=167500 CPUtime=327.77 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 39724 0 0 0 32735 42 0 0 20 0 1 0 340392899 171520000 39455 33554432000 134512640 137136520 4289694688 4289693616 134544176 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 41875 39455 198 641 0 41231 0
Current children cumulated CPU time (s) 327.77
Current children cumulated vsize (KiB) 167500

[startup+328.7 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 18828
/proc/meminfo: memFree=28939932/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=167768 CPUtime=328.57 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 39775 0 0 0 32815 42 0 0 20 0 1 0 340392899 171794432 39506 33554432000 134512640 137136520 4289694688 4289693240 136502032 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 41942 39506 198 641 0 41298 0
Current children cumulated CPU time (s) 328.57
Current children cumulated vsize (KiB) 167768

[startup+329.5 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 18828
/proc/meminfo: memFree=28939560/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=167900 CPUtime=329.37 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 39810 0 0 0 32895 42 0 0 20 0 1 0 340392899 171929600 39541 33554432000 134512640 137136520 4289694688 4289693536 136501952 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 41975 39541 198 641 0 41331 0
Current children cumulated CPU time (s) 329.37
Current children cumulated vsize (KiB) 167900

[startup+329.7 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 18828
/proc/meminfo: memFree=28939560/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=167904 CPUtime=329.57 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 39825 0 0 0 32915 42 0 0 20 0 1 0 340392899 171933696 39556 33554432000 134512640 137136520 4289694688 4289693608 135982505 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 41976 39556 198 641 0 41332 0
Current children cumulated CPU time (s) 329.57
Current children cumulated vsize (KiB) 167904

[startup+329.8 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 18828
/proc/meminfo: memFree=28939560/32873844 swapFree=7620/7620
[pid=18656] ppid=18654 vsize=168036 CPUtime=329.67 cores=0,2,4,6
/proc/18656/stat : 18656 (bsolo) R 18654 18656 13121 0 -1 4202496 39830 0 0 0 32925 42 0 0 20 0 1 0 340392899 172068864 39561 33554432000 134512640 137136520 4289694688 4289693616 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18656/statm: 42009 39561 198 641 0 41365 0
Current children cumulated CPU time (s) 329.67
Current children cumulated vsize (KiB) 168036

Child status: 0
Real time (s): 329.813
CPU time (s): 329.696
CPU user time (s): 329.27
CPU system time (s): 0.425935
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (KiB): 168036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 329.27
system time used= 0.425935
maximum resident set size= 158248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39832
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= 76
involuntary context switches= 417

runsolver used 0.466929 second user time and 1.3398 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-03 18:58:01
IDJOB=3739354
IDBENCH=72486
IDSOLVER=2320
FILE ID=node135/3739354-1338742681
RUNJOBID= node135-1338712994-13137
PBS_JOBID= 14636721
Free space on /tmp= 70976 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_0_errors.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739354-1338742681/watcher-3739354-1338742681 -o /tmp/evaluation-result-3739354-1338742681/solver-3739354-1338742681 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3739354-1338742681.opb

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

MD5SUM BENCH= a240e4a37082dfb03371e204a64a9828
RANDOM SEED=777760837

node135.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.820
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	: 5333.64
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.820
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	: 5332.57
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.820
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	: 5332.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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29009764 kB
Buffers:          375388 kB
Cached:          2505616 kB
SwapCached:         1672 kB
Active:          1305916 kB
Inactive:        1709688 kB
Active(anon):     125032 kB
Inactive(anon):    12036 kB
Active(file):    1180884 kB
Inactive(file):  1697652 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              3944 kB
Writeback:             0 kB
AnonPages:        140428 kB
Mapped:            11312 kB
Shmem:               132 kB
Slab:             708528 kB
SReclaimable:     150204 kB
SUnreclaim:       558324 kB
KernelStack:        1464 kB
PageTables:         4208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     255992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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-3739354-1338742681.opb

Free space on /tmp at the end= 70968 MiB
End job on node135 at 2012-06-03 19:03:31