Trace number 3741580

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)53 1800.11 1800.47

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-bley_xl1.opb
MD5SUM7eabf0872983506c1de1d05f0c0b2928
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark19.912
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5831
Total number of constraints175474
Number of constraints which are clauses4772
Number of constraints which are cardinality constraints (but not clauses)3992
Number of constraints which are nor clauses,nor cardinality constraints166710
Minimum length of a constraint1
Maximum length of a constraint92
Number of terms in the objective function 126
Biggest coefficient in the objective function 200
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4851
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1000000
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 1187328
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3741580-1338760339.opb
0.00/0.00	c File size is 9085764 bytes.
0.68/0.79	c Highest Coefficient sum: 1.18733e+06
0.68/0.79	c Parsing was ok!!
0.68/0.79	c Total parsing time: 0.79 s
0.79/0.85	c Var: 5831 Constr: 177762 5354/116907/55501 Lit: 880417 Watch. Lit: 701059
0.79/0.85	c Obj. Vars: 126 (2.16086 % of total variables)
2.09/2.12	c Pre-processing Time: 2.118 s
2.09/2.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.12	c        0   2179    46075   225979    4   178645  297773      0      0 2.12
2.09/2.12	c Switching off LPR mode.
2.09/2.14	o 1308	2.14
2.09/2.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.16	c       24   2177    46100   226237    4   181254  298025     25     11 2.14
2.09/2.16	o 1134	2.155
2.09/2.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.17	c       35   2139    46112   226470    4   181280  298025     37     16 2.16
2.09/2.17	o 1123	2.169
2.09/2.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.18	c       51   2124    46129   226693    4   181409  298025     54     23 2.17
2.09/2.18	o 896	2.18
2.09/2.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.19	c       64   2124    46143   226918    4   181625  298025     68     29 2.18
2.09/2.19	o 894	2.19
2.19/2.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.20	c       78   2115    46158   227178    4   181651  298025     83     35 2.19
2.19/2.20	o 890	2.201
2.19/2.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.21	c       88   2114    46169   227360    4   181903  298025     94     39 2.20
2.19/2.21	o 719	2.209
2.19/2.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.22	c       89   2114    46171   227504    4   181964  298025     96     40 2.21
2.19/2.22	o 718	2.219
2.19/2.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.23	c       94   2114    46177   227707    4   182037  298025    102     42 2.22
2.19/2.23	o 505	2.229
2.19/2.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.24	c      101   2078    46185   227866    4   182219  298025    110     45 2.23
2.19/2.24	o 498	2.238
2.19/2.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.25	c      103   2078    46188   228001    4   182294  298025    113     45 2.24
2.19/2.25	o 496	2.246
2.19/2.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.27	c      129   2078    46215   228878    4   182292  298025    140     57 2.25
2.19/2.27	o 338	2.266
2.19/2.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.28	c      150   2077    46237   229191    4   182607  298025    162     66 2.27
2.19/2.28	o 309	2.278
2.19/2.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.29	c      161   2077    46249   229427    4   182729  298025    174     70 2.28
2.19/2.29	o 290	2.291
2.28/2.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.31	c      169   2077    46258   229631    4   182585  298025    183     73 2.29
2.28/2.31	o 285	2.307
2.28/2.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.32	c      185   2077    46275   229938    4   182777  298025    200     80 2.31
2.28/2.32	o 282	2.316
2.28/2.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.35	c      194   2077    46285   230330    4   182832  298025    210     83 2.32
2.28/2.35	c      294   2077    46385   234332    5   183098  327828    310    125 2.34
2.28/2.35	o 135	2.349
2.28/2.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.36	c      311   2077    46403   234836    5   183120  298025    328    132 2.35
2.28/2.36	o 121	2.361
2.28/2.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.38	c      325   2077    46418   235041    5   183235  298025    343    137 2.36
2.28/2.38	o 120	2.376
2.28/2.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.39	c      346   2076    46440   235444    5   183373  298025    365    145 2.38
2.28/2.39	o 98	2.386
2.38/2.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.38/2.40	c      350   2076    46445   235653    5   183534  298025    370    146 2.39
2.38/2.40	o 96	2.4
2.38/2.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.38/2.44	c      362   2075    46458   235929    5   183647  298023    383    150 2.40
2.38/2.44	c      462   2054    46558   238957    5   183692  327826    483    190 2.42
2.38/2.44	o 94	2.437
2.38/2.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.38/2.45	c      500   2053    46597   240249    5   183900  298021    522    205 2.44
2.38/2.45	o 87	2.448
2.38/2.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.38/2.48	c      503   2053    46601   240503    5   184192  298021    526    205 2.45
2.38/2.48	c      603   2052    46701   245679    5   184627  327824    626    244 2.47
2.38/2.48	o 85	2.477
2.38/2.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.38/2.49	c      614   2052    46713   245876    5   184512  298019    638    247 2.48
2.38/2.49	o 81	2.486
2.78/2.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.78/2.80	c      618   2052    46718   246042    5   184661  298019    643    248 2.49
2.78/2.80	c      718   2052    46818   249077    5   184855  327821    743    286 2.51
2.78/2.80	c      969   2052    47069   261472    5   185197  360604    994    379 2.56
2.78/2.80	c     1445   2052    47545   276208    5   186334  396665   1470    547 2.64
2.78/2.80	o 80	2.794
3.19/3.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.24	c     2113   2052    48214   302729    6   188175  298019   2139    755 2.80
3.19/3.24	c     2214   2034    48315   306233    6   187943  327821   2240    781 2.83
3.19/3.24	c     2466   2034    48567   314845    6   188333  360604   2492    858 2.87
3.19/3.24	c     2942   2034    49043   330058    6   189374  396665   2968    981 3.00
3.19/3.24	c     3756   2030    49857   354406    7   191054  436332   3782   1182 3.18
3.19/3.24	o 79	3.233
3.38/3.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.38/3.42	c     4004   2029    50106   364309    7   191660  298013   4031   1237 3.23
3.38/3.42	c     4104   2029    50206   367146    7   192077  327815   4131   1253 3.27
3.38/3.42	c     4354   2028    50456   373649    7   192340  360597   4381   1301 3.35
3.38/3.42	o 78	3.422
3.78/3.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.78/3.82	c     4607   2028    50710   385278    7   192774  298011   4635   1345 3.42
3.78/3.82	c     4708   2027    50811   388830    7   193144  327813   4736   1365 3.45
3.78/3.82	c     4961   2027    51064   398858    7   193541  360595   4989   1411 3.52
3.78/3.82	c     5436   2027    51539   419018    8   194550  396655   5464   1485 3.66
3.78/3.82	o 76	3.816
5.39/5.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.39/5.42	c     6010   2027    52114   445665    8   195940  298009   6039   1573 3.82
5.39/5.42	c     6110   2027    52214   450507    8   195897  327810   6139   1584 3.86
5.39/5.42	c     6362   2027    52466   462196    8   196298  360592   6391   1622 3.92
5.39/5.42	c     6837   2027    52941   481309    9   197126  396652   6866   1694 4.03
5.39/5.42	c     7651   2027    53755   526763    9   199377  436318   7680   1711 4.47
5.39/5.42	c     8971   2027    55075   591754   10   201762  479950   9000   1843 4.87
5.39/5.42	o 75	5.413
5.88/5.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.88/5.99	c    10967   2027    57072   692602   12   205815  298009  10997   2025 5.42
5.88/5.99	c    11067   2027    57172   698426   12   206135  327810  11097   2025 5.46
5.88/5.99	c    11318   2027    57423   708954   12   206421  360592  11348   2037 5.55
5.88/5.99	c    11794   1887    57899   727632   12   207614  396652  11824   2079 5.67
5.88/5.99	c    12608   1887    58713   750533   12   209147  436318  12638   2133 5.91
5.88/5.99	o 74	5.992
7.78/7.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.78/7.80	c    12726   1887    58832   755121   12   209583  298009  12757   2122 6.00
7.78/7.80	c    12828   1887    58934   758477   12   209785  327810  12859   2117 6.06
7.78/7.80	c    13078   1883    59184   767509   12   210121  360592  13109   2120 6.17
7.78/7.80	c    13553   1883    59659   784383   13   210900  396652  13584   2151 6.30
7.78/7.80	c    14366   1883    60472   818425   13   212587  436318  14397   2203 6.52
7.78/7.80	c    15687   1883    61793   860910   13   215212  479950  15718   2289 6.85
7.78/7.80	o 73	7.797
8.28/8.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.28/8.34	c    17065   1883    63172   915636   14   218528  298009  17097   2187 7.80
8.28/8.34	c    17165   1883    63272   918572   14   218508  327810  17197   2182 7.86
8.28/8.34	c    17415   1882    63522   925570   14   219038  360592  17447   2185 7.97
8.28/8.34	c    17890   1882    63997   941922   14   220030  396652  17922   2200 8.13
8.28/8.34	o 72	8.335
13.88/13.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.88/13.98	c    18410   1882    64518   959155   14   220998  298007  18443   2207 8.34
13.88/13.98	c    18510   1882    64618   961921   14   221097  327808  18543   2207 8.38
13.88/13.98	c    18762   1882    64870   969860   14   221669  360589  18795   2209 8.49
13.88/13.98	c    19237   1882    65345   984612   15   222767  396648  19270   2220 8.66
13.88/13.98	c    20051   1882    66159  1007332   15   224722  436313  20084   2234 8.97
13.88/13.98	c    21371   1882    67479  1042538   15   227018  479945  21404   2266 9.43
13.88/13.98	c    23452   1882    69560  1114497   16   231161  527940  23485   2241 10.46
13.88/13.98	c    26675   1882    72783  1221565   16   237604  580735  26708   2321 11.49
13.88/13.98	c    31613   1882    77721  1369268   17   247735  638809  31646   2334 13.54
13.88/13.98	o 71	13.971
22.98/23.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.98/23.01	c    32347   1882    78456  1391519   17   249162  298007  32381   2314 13.97
22.98/23.01	c    32449   1882    78558  1395373   17   249172  327808  32483   2311 14.04
22.98/23.01	c    32700   1882    78809  1404488   17   249654  360589  32734   2306 14.18
22.98/23.01	c    33175   1882    79284  1426906   17   250774  396648  33209   2302 14.41
22.98/23.01	c    33988   1882    80097  1460204   18   252371  436313  34022   2300 14.77
22.98/23.01	c    35309   1882    81418  1514276   18   255025  479945  35343   2282 15.47
22.98/23.01	c    37390   1882    83499  1585067   18   259300  527940  37424   2274 16.44
22.98/23.01	c    40615   1882    86724  1703743   19   265620  580735  40649   2247 18.07
22.98/23.01	c    45551   1882    91660  1882100   20   275464  638809  45585   2218 20.53
22.98/23.01	o 70	23.005
25.48/25.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.48/25.53	c    49514   1882    95624  2048245   21   284138  298007  49549   2152 23.01
25.48/25.53	c    49616   1882    95726  2052690   21   283727  327808  49651   2150 23.07
25.48/25.53	c    49866   1882    95976  2064432   21   284393  360589  49901   2144 23.25
25.48/25.53	c    50341   1882    96451  2082323   21   285501  396648  50376   2144 23.48
25.48/25.53	c    51154   1882    97264  2101236   21   286830  436313  51189   2142 23.88
25.48/25.53	c    52474   1882    98584  2168805   21   289729  479945  52509   2124 24.70
25.48/25.53	o 69	25.527
44.98/45.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
44.98/45.02	c    53983   1882   100094  2225953   22   293190  298007  54019   2114 25.53
44.98/45.02	c    54083   1882   100194  2229826   22   292802  327808  54119   2112 25.60
44.98/45.02	c    54333   1882   100444  2242929   22   293360  360589  54369   2108 25.77
44.98/45.02	c    54808   1882   100919  2261089   22   294103  396648  54844   2096 26.14
44.98/45.02	c    55621   1882   101732  2297358   22   296114  436313  55657   2073 26.83
44.98/45.02	c    56941   1882   103052  2352378   22   298776  479945  56977   2077 27.41
44.98/45.02	c    59022   1881   105133  2421330   23   302717  527940  59058   2068 28.53
44.98/45.02	c    62247   1881   108358  2514090   23   309270  580735  62283   2013 30.91
44.98/45.02	c    67186   1870   113297  2687052   23   319233  638809  67222   2006 33.48
44.98/45.02	c    74692   1870   120803  3070118   25   334303  702690  74728   1835 40.69
44.98/45.02	o 68	45.009
55.58/55.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
55.58/55.66	c    80468   1870   126580  3253848   25   345620  298005  80505   1787 45.01
55.58/55.66	c    80568   1870   126680  3259570   25   345946  327806  80605   1783 45.19
55.58/55.66	c    80821   1870   126933  3267660   25   346205  360587  80858   1779 45.41
55.58/55.66	c    81296   1870   127408  3283403   25   347210  396646  81333   1775 45.78
55.58/55.66	c    82109   1870   128221  3307277   25   348891  436311  82146   1765 46.51
55.58/55.66	c    83430   1870   129542  3340972   25   351739  479943  83467   1731 48.20
55.58/55.66	c    85511   1870   131623  3405447   25   356348  527938  85548   1732 49.37
55.58/55.66	c    88734   1861   134846  3513395   26   362127  580732  88771   1695 52.34
55.58/55.66	o 67	55.648
160.66/160.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
160.66/160.70	c    92372   1861   138485  3657070   26   369395  298005  92410   1659 55.65
160.66/160.70	c    92473   1861   138586  3660350   26   369865  327806  92511   1657 55.80
160.66/160.70	c    92723   1861   138836  3666623   26   370165  360587  92761   1653 56.08
160.66/160.70	c    93198   1861   139311  3688544   26   371135  396646  93236   1644 56.66
160.66/160.70	c    94011   1861   140124  3717737   26   373008  436311  94049   1634 57.52
160.66/160.70	c    95332   1861   141445  3763497   26   375390  479943  95370   1616 58.96
160.66/160.70	c    97413   1861   143526  3820167   26   379544  527938  97451   1609 60.53
160.66/160.70	c   100636   1861   146749  3916442   26   386116  580732 100674   1578 63.75
160.66/160.70	c   105572   1861   151685  4040424   26   395886  638806 105610   1564 67.47
160.66/160.70	c   113079   1860   159192  4279291   26   410975  702687 113117   1515 74.64
160.66/160.70	c   124442   1860   170555  4680518   27   433649  772956 124480   1451 85.73
160.66/160.70	c   141587   1860   187700  5164469   27   467787  850252 141625   1340 105.66
160.66/160.70	c   167407   1858   213520  5930577   27   519893  935278 167445   1172 142.79
160.66/160.70	o 66	160.661
170.75/170.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
170.75/170.80	c   180553   1857   226667  6356371   28   545865  298005 180592   1123 160.66
170.75/170.80	c   180653   1857   226767  6359366   28   546173  327806 180692   1123 160.82
170.75/170.80	c   180904   1857   227018  6370196   28   546776  360587 180943   1121 161.32
170.75/170.80	c   181380   1857   227494  6389305   28   547480  396646 181419   1118 162.14
170.75/170.80	c   182193   1857   228307  6416370   28   549192  436311 182232   1117 163.07
170.75/170.80	c   183514   1857   229628  6449558   28   551776  479943 183553   1111 165.06
170.75/170.80	c   185596   1857   231710  6515521   28   556169  527938 185635   1106 167.78
170.75/170.80	o 65	170.753
212.01/212.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
212.01/212.16	c   186951   1857   233066  6586933   28   559027  298005 186991   1094 170.75
212.01/212.16	c   187051   1857   233166  6589564   28   559198  327806 187091   1093 171.04
212.01/212.16	c   187302   1857   233417  6597371   28   559833  360587 187342   1091 171.56
212.01/212.16	c   187777   1857   233892  6609653   28   560577  396646 187817   1089 172.37
212.01/212.16	c   188590   1857   234705  6632311   28   562163  436311 188630   1083 174.07
212.01/212.16	c   189911   1857   236026  6672673   28   564887  479943 189951   1077 176.18
212.01/212.16	c   191992   1857   238107  6732462   28   569137  527938 192032   1062 180.67
212.01/212.16	c   195215   1857   241330  6827405   28   575670  580732 195255   1050 185.75
212.01/212.16	c   200153   1857   246268  6954046   28   585785  638806 200193   1033 193.60
212.01/212.16	c   207659   1857   253774  7190397   28   600520  702687 207699   1012 205.12
212.01/212.16	o 64	212.076
264.09/264.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
264.09/264.25	c   211615   1857   257731  7363006   28   608484  298005 211656    997 212.08
264.09/264.25	c   211716   1857   257832  7368253   28   608504  327806 211757    996 212.41
264.09/264.25	c   211966   1857   258082  7375136   28   608928  360587 212007    995 212.97
264.09/264.25	c   212441   1857   258557  7395040   28   609918  396646 212482    993 213.79
264.09/264.25	c   213254   1857   259370  7429147   28   611946  436311 213295    988 215.77
264.09/264.25	c   214575   1857   260691  7475910   28   614209  479943 214616    987 217.19
264.09/264.25	c   216657   1857   262773  7559204   28   618339  527938 216698    977 221.70
264.09/264.25	c   219881   1857   265997  7669001   28   624782  580732 219922    971 226.23
264.09/264.25	c   224819   1857   270935  7873222   29   634610  638806 224860    960 234.15
264.09/264.25	c   232325   1853   278441  8104672   29   649671  702687 232366    927 250.59
264.09/264.25	o 63	264.155
352.78/352.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
352.78/352.93	c   238934   1853   285051  8298406   29   663126  298003 238976    904 264.16
352.78/352.93	c   239034   1853   285151  8302041   29   663428  327804 239076    904 264.38
352.78/352.93	c   239284   1853   285401  8309669   29   664053  360585 239326    902 265.11
352.78/352.93	c   239759   1853   285876  8334424   29   664744  396644 239801    899 266.49
352.78/352.93	c   240572   1853   286689  8382988   29   666772  436309 240614    897 268.13
352.78/352.93	c   241892   1853   288009  8445278   29   668947  479940 241934    893 270.79
352.78/352.93	c   243974   1853   290091  8500937   29   673463  527935 244016    888 274.46
352.78/352.93	c   247197   1853   293314  8592456   29   679855  580729 247239    879 281.20
352.78/352.93	c   252135   1852   298252  8736368   29   689885  638802 252177    862 292.30
352.78/352.93	c   259641   1852   305758  8991817   29   704558  702683 259683    834 311.30
352.78/352.93	c   271002   1852   317119  9501450   29   727252  772952 271044    825 328.29
352.78/352.93	o 62	352.818
459.76/459.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
459.76/459.99	c   283947   1852   330065 10072733   30   753369  298003 283990    804 352.82
459.76/459.99	c   284048   1852   330166 10077767   30   753553  327804 284091    804 353.22
459.76/459.99	c   284300   1852   330418 10086967   30   753848  360585 284343    803 353.85
459.76/459.99	c   284775   1852   330893 10098994   30   755098  396644 284818    802 354.93
459.76/459.99	c   285588   1852   331706 10118925   30   756860  436309 285631    797 357.91
459.76/459.99	c   286908   1852   333026 10155019   30   759567  479940 286951    795 360.80
459.76/459.99	c   288989   1852   335107 10218350   30   763668  527935 289032    790 365.45
459.76/459.99	c   292212   1852   338330 10317199   30   770160  580729 292255    784 372.40
459.76/459.99	c   297148   1852   343266 10470508   30   780087  638802 297191    775 383.12
459.76/459.99	c   304654   1851   350772 10794668   30   795046  702683 304697    758 401.80
459.76/459.99	c   316015   1851   362133 11198957   30   817525  772952 316058    747 423.01
459.76/459.99	o 61	459.86
503.75/503.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
503.75/503.94	c   329728   1851   375847 11623927   30   844873  298003 329772    717 459.86
503.75/503.94	c   329828   1851    60295   654535   10   209794  327804  14220    655 503.16
503.75/503.94	c   330079   1851    60546   665202   10   210365  360585  14471    655 503.24
503.75/503.94	c   330554   1851    61021   681565   11   211184  396644  14946    656 503.31
503.75/503.94	c   331368   1851    61835   709510   11   213214  436309  15760    658 503.55
503.75/503.94	o 60	503.805
618.53/618.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
618.53/618.71	c   332395   1851    62863   750691   11   215225  298003  16788    659 503.81
618.53/618.71	c   332495   1850    62963   755365   11   215406  327804  16888    659 503.83
618.53/618.71	c   332746   1850    63214   761834   12   215866  360585  17139    660 503.88
618.53/618.71	c   333222   1850    63690   778793   12   216688  396644  17615    661 504.01
618.53/618.71	c   334036   1850    64504   794280   12   218713  436309  18429    662 504.20
618.53/618.71	c   335356   1850    65824   823964   12   221443  479940  19749    664 504.79
618.53/618.71	c   337438   1850    67906   874438   12   225558  527935  21831    667 505.28
618.53/618.71	c   340661   1849    71129   946900   13   231766  580729  25054    673 505.94
618.53/618.71	c   345597   1849    76065  1071052   14   241619  638802  29990    681 507.44
618.53/618.71	c   353105   1849    83573  1368029   16   256547  702683  37498    691 510.51
618.53/618.71	c   364466   1849    94934  1654117   17   279282  772952  48859    709 513.98
618.53/618.71	c   381610   1849   112078  2046537   18   313665  850248  66003    730 522.66
618.53/618.71	c   407430   1849   137898  2616930   18   365136  935273  91823    758 537.44
618.53/618.71	c   446264   1847   176732  3836347   21   442630  500000 130657    763 584.30
618.53/618.71	o 59	618.561
739.03/739.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
739.03/739.28	c   473118   1844   203587  4595164   22   496681  298001 157512    764 618.56
739.03/739.28	c   473219   1844   203688  4599030   22   497164  327802 157613    764 618.82
739.03/739.28	c   473469   1844   203938  4607876   22   497474  360583 157863    764 619.31
739.03/739.28	c   473947   1844   204416  4622144   22   498455  396642 158341    764 619.70
739.03/739.28	c   474760   1844   205229  4656028   22   500545  436307 159154    764 621.09
739.03/739.28	c   476081   1844   206550  4710259   22   502973  479938 160475    763 623.48
739.03/739.28	c   478162   1844   208631  4807181   23   506895  527932 162556    762 627.22
739.03/739.28	c   481385   1843   211854  4939706   23   513311  580726 165779    760 632.64
739.03/739.28	c   486322   1843   216791  5113251   23   523072  638799 170716    758 640.74
739.03/739.28	c   493829   1843   224298  5380088   23   538563  702679 178223    752 655.84
739.03/739.28	c   505190   1843   235659  5785170   24   560877  772947 189584    749 673.99
739.03/739.28	c   522334   1841   252803  6357989   25   595442  850242 206728    741 704.70
739.03/739.28	o 58	739.111
774.61/774.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
774.61/774.82	c   538521   1841   268991  7149383   26   627681  298001 222916    728 739.11
774.61/774.82	c   538622   1841   269092  7152293   26   627905  327802 223017    728 739.50
774.61/774.82	c   538874   1840   269344  7160397   26   628308  360583 223269    728 740.12
774.61/774.82	c   539349   1840   269819  7173318   26   629198  396642 223744    727 741.26
774.61/774.82	c   540162   1840   270632  7198653   26   631277  436307 224557    726 743.91
774.61/774.82	c   541483   1840   271953  7237927   26   633761  479938 225878    723 748.74
774.61/774.82	c   543564   1840   274034  7295614   26   637857  527932 227959    720 754.61
774.61/774.82	c   546788   1840   277258  7362698   26   644551  580726 231183    715 764.45
774.61/774.82	c   551724   1840   282194  7531018   26   654157  638799 236119    712 774.13
774.61/774.82	o 57	774.642
939.69/939.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
939.69/939.91	c   551850   1840   282321  7536240   26   654500  297999 236246    712 774.64
939.69/939.91	c   551952   1840   282423  7539128   26   654482  327799 236348    712 775.05
939.69/939.91	c   552203   1840   282674  7545591   26   655132  360579 236599    711 775.92
939.69/939.91	c   552678   1840   283149  7557659   26   655887  396637 237074    711 777.10
939.69/939.91	c   553491   1840   283962  7606631   26   657716  436301 237887    709 779.99
939.69/939.91	c   554813   1840   285284  7644672   26   660308  479932 239209    707 784.35
939.69/939.91	c   556895   1840   287366  7735460   26   664452  527926 241291    704 790.02
939.69/939.91	c   560118   1839   290589  7816458   26   671006  580719 244514    698 802.41
939.69/939.91	c   565054   1838   295525  7964072   26   680951  638791 249450    692 815.65
939.69/939.91	c   572560   1838   303031  8164302   26   695944  702671 256956    687 832.41
939.69/939.91	c   583921   1835   314392  8579311   27   718509  772939 268317    675 864.07
939.69/939.91	c   601067   1833   331538  9062355   27   752752  850233 285463    662 907.94
939.69/939.91	o 56	939.708
1007.78/1008.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1007.78/1008.07	c   612078   1833   342550  9436323   27   774789  297999 296475    651 939.71
1007.78/1008.07	c   612178   1833   342650  9438305   27   775280  327799 296575    650 940.40
1007.78/1008.07	c   612428   1832   342900  9450609   27   775639  360579 296825    650 941.60
1007.78/1008.07	c   612903   1832   343375  9461665   27   776529  396637 297300    649 943.50
1007.78/1008.07	c   613716   1832   344188  9513419   27   778194  436301 298113    647 948.19
1007.78/1008.07	c   615036   1832   345508  9542944   27   780815  479932 299433    645 952.67
1007.78/1008.07	c   617117   1832   347589  9612448   27   785216  527926 301514    640 963.23
1007.78/1008.07	c   620340   1832   350812  9696089   27   791415  580719 304737    635 975.55
1007.78/1008.07	c   625277   1832   355749  9851020   27   801649  638791 309674    630 991.20
1007.78/1008.07	o 55	1007.86
1167.05/1167.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1167.05/1167.30	c   629670   1832   360143 10022045   27   810623  297997 314068    624 1007.86
1167.05/1167.30	c   629770   1832    60506   673684   11   210176  327797  14431    602 1045.26
1167.05/1167.30	c   630021   1832    60757   680747   11   210683  360577  14682    602 1045.32
1167.05/1167.30	c   630496   1832    61232   695110   11   212389  396635  15157    603 1045.50
1167.05/1167.30	c   631309   1832    62045   717672   11   213839  436299  15970    603 1045.76
1167.05/1167.30	c   632631   1832    63367   744863   11   216059  479929  17292    604 1045.94
1167.05/1167.30	c   634712   1832    65448   801697   12   220436  527922  19373    606 1046.50
1167.05/1167.30	c   637937   1832    68673   894713   13   226967  580715  22598    609 1047.28
1167.05/1167.30	c   642873   1830    73609  1038236   14   236750  638787  27534    613 1048.48
1167.05/1167.30	c   650379   1830    81115  1271041   15   252157  702666  35040    619 1050.28
1167.05/1167.30	c   661740   1830    92476  1678250   18   274427  772933  46401    627 1054.65
1167.05/1167.30	c   678886   1830   109622  2131177   19   308670  850227  63547    639 1061.36
1167.05/1167.30	c   704706   1830   135442  2759197   20   360135  935250  89367    656 1073.42
1167.05/1167.30	c   743538   1830   174274  3700124   21   438195  500000 128199    672 1105.78
1167.05/1167.30	o 54	1167.06
1740.64/1741.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1740.64/1741.08	c   786530   1827   217267  4839742   22   523909  297997 171192    673 1167.07
1740.64/1741.08	c   786630   1827   217367  4843986   22   524197  327797 171292    673 1167.36
1740.64/1741.08	c   786881   1827   217618  4853523   22   524644  360577 171543    673 1168.13
1740.64/1741.08	c   787356   1827   218093  4869865   22   525643  396635 172018    673 1169.26
1740.64/1741.08	c   788169   1827   218906  4901441   22   527243  436299 172831    673 1171.04
1740.64/1741.08	c   789489   1827   220226  4947689   22   529918  479929 174151    672 1173.24
1740.64/1741.08	c   791570   1827   222307  5007501   22   533936  527922 176232    673 1176.17
1740.64/1741.08	c   794793   1827   225530  5093416   22   540378  580715 179455    673 1180.80
1740.64/1741.08	c   799730   1827   230467  5239329   22   550411  638787 184392    673 1186.86
1740.64/1741.08	c   807236   1827   237973  5394756   22   565332  702666 191898    674 1196.78
1740.64/1741.08	c   818597   1826   249334  5638492   22   588174  772933 203259    674 1214.09
1740.64/1741.08	c   835741   1825   266478  6002795   22   622391  850227 220403    676 1235.89
1740.64/1741.08	c   861564   1825   292301  6553579   22   674307  935250 246226    667 1290.37
1740.64/1741.08	c   900396   1824   331133  7537672   22   752037  500000 285058    641 1402.56
1740.64/1741.08	c   958748   1820   389485  9514470   24   868232  550001 343410    597 1603.85
1740.64/1741.08	o 53	1740.74
1800.04/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.40	c   994859   1820   425597 10720965   25   940670  297995 379522    571 1740.74
1800.04/1800.40	c Caught signal: 15
1800.04/1800.40	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -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 -x217 x218 x219 -x220 -x221 x222 -x223 -x224 x225 x226 -x227 -x228 x229 -x230 x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 x265 -x266 -x267 -x268 -x269 -x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 x280 -x281 -x282 x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 x1290 x1291 x1292 x1293 -x1294 x1295 x1296 -x1297 x1298 x1299 -x1300 x1301 x1302 -x1303 x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 x1424 -x1425 x1426 -x1427 x1428 -x1429 x1430 -x1431 -x1432 x1433 -x1434 x1435 -x1436 -x1437 x1438 -x1439 x1440 -x1441 -x1442 -x1443 x1444 -x1445 x1446 -x1447 -x1448 x1449 -x1450 x1451 -x1452 -x1453 -x1454 x1455 -x1456 x1457 -x1458 -x1459 x1460 -x1461 x1462 -x1463 -x1464 -x1465 x1466 -x1467 x1468 -x1469 -x1470 x1471 -x1472 x1473 -x1474 -x1475 -x1476 x1477 -x1478 x1479 -x1480 -x1481 x1482 -x1483 x1484 -x1485 -x1486 -x1487 x1488 x1489 -x1490 -x1491 x1492 x1493 -x1494 -x1495 -x1496 x1497 x1498 -x1499 -x1500 -x1501 x1502 x1503 -x1504 -x1505 -x1506 -x1507 x1508 x1509 -x1510 -x1511 -x1512 x1513 x1514 -x1515 -x1516 -x1517 -x1518 x1519 x1520 -x1521 -x1522 -x1523 x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 x1535 -x1536 x1537 -x1538 x1539 -x1540 x1541 -x1542 -x1543 x1544 -x1545 x1546 -x1547 -x1548 x1549 -x1550 x1551 -x1552 -x1553 -x1554 x1555 -x1556 x1557 -x1558 -x1559 x1560 -x1561 x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 x1582 -x1583 x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 x1595 -x1596 -x1597 -x1598 x1599 x1600 -x1601 -x1602 x1603 x1604 -x1605 -x1606 -x1607 x1608 x1609 -x1610 -x1611 -x1612 x1613 x1614 -x1615 -x1616 -x1617 -x1618 x1619 x1620 -x1621 -x1622 -x1623 x1624 x1625 -x1626 -x1627 -x1628 -x1629 x1630 x1631 -x1632 -x1633 -x1634 x1635 x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 x2418 -x2419 -x2420 -x2421 x2422 -x2423 x2424 -x2425 -x2426 -x2427 x2428 -x2429 x2430 -x2431 -x2432 x2433 -x2434 x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 -x2637 -x2638 x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 x2668 -x2669 -x2670 -x2671 x2672 -x2673 x2674 -x2675 -x2676 -x2677 x2678 -x2679 x2680 -x2681 -x2682 x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 x2734 -x2735 -x2736 x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 x2760 -x2761 x2762 -x2763 -x2764 x2765 -x2766 x2767 -x2768 -x2769 x2770 -x2771 x2772 -x2773 x2774 -x2775 x2776 -x2777 x2778 -x2779 x2780 -x2781 -x2782 x2783 -x2784 x2785 -x2786 -x2787 x2788 -x2789 x2790 -x2791 -x2792 x2793 -x2794 x2795 -x2796 -x2797 x2798 x2799 -x2800 -x2801 -x2802 x2803 x2804 -x2805 -x2806 -x2807 x2808 x2809 -x2810 -x2811 x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 -x3043 x3044 -x3045 x3046 -x3047 -x3048 x3049 -x3050 x3051 -x3052 x3053 -x3054 x3055 -x3056 x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3233 -x3234 x3235 -x3236 -x3237 -x3238 x3239 -x3240 -x3241 x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 x3304 -x3305 -x3306 x3307 -x3308 -x3309 -x3310 x3311 -x3312 -x3313 x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 -x3338 -x3339 -x3340 x3341 -x3342 -x3343 -x3344 -x3345 -x3346 x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 x3359 -x3360 -x3361 -x3362 -x3363 -x3364 x3365 -x3366 -x3367 -x3368 -x3369 -x3370 x3371 -x3372 -x3373 -x3374 -x3375 -x3376 x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 -x3403 x3404 x3405 -x3406 -x3407 -x3408 x3409 x3410 -x3411 -x3412 -x3413 x3414 -x3415 x3416 -x3417 -x3418 x3419 -x3420 x3421 -x3422 -x3423 x3424 -x3425 x3426 -x3427 -x3428 -x3429 x3430 -x3431 x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3532 -x3533 x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 x3620 -x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 x3676 -x3677 x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 x3754 x3755 x3756 -x3757 x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 x3790 x3791 -x3792 -x3793 x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 x3826 x3827 x3828 -x3829 x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 x3856 x3857 x3858 x3859 x3860 -x3861 x3862 x3863 -x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 x4068 x4069 -x4070 x4071 x4072 x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 x4252 -x4253 x4254 x4255 x4256 x4257 -x4258 x4259 x4260 -x4261 x4262 x4263 -x4264 x4265 x4266 -x4267 x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 x4417 -x4418 x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 x4489 -x4490 x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 x4553 -x4554 x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 x4603 -x4604 -x4605 x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 -x4648 -x4649 -x4650 -x4651 -x4652 x4653 -x4654 -x4655 -x4656 -x4657 -x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 x4665 -x4666 -x4667 -x4668 -x4669 -x4670 x4671 -x4672 -x4673 -x4674 -x4675 x4676 -x4677 -x4678 -x4679 -x4680 x4681 x4682 -x4683 x4684 -x4685 -x4686 x4687 -x4688 x4689 -x4690 -x4691 x4692 -x4693 -x4694 -x4695 x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 x4785 -x4786 x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 x4817 -x4818 x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 x4835 -x4836 -x4837 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 x4857 -x4858 x4859 -x4860 -x4861 -x4862 -x4863 -x4864 x4865 -x4866 x4867 -x4868 x4869 -x4870 x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 x4914 x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 x4951 x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 x4982 x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 x5010 x5011 -x5012 -x5013 x5014 -x5015 x5016 -x5017 x5018 -x5019 x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 x5038 x5039 -x5040 -x5041 x5042 -x5043 x5044 -x5045 x5046 -x5047 x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 x5064 x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 x5084 x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 x5102 x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 x5450 -x5451 -x5452 -x5453 x5454 -x5455 -x5456 -x5457 x5458 -x5459 -x5460 x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 x5508 -x5509 -x5510 x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 x5540 -x5541 -x5542 -x5543 x5544 -x5545 -x5546 -x5547 x5548 -x5549 -x5550 x5551 -x5552 -x5553 -x5554 x5555 -x5556 -x5557 x5558 -x5559 -x5560 x5561 -x5562 -x5563 -x5564 x5565 -x5566 -x5567 x5568 -x5569 -x5570 x5571 -x5572 -x5573 x5574 -x5575 -x5576 -x5577 -x5578 x5579 -x5580 -x5581 -x5582 -x5583 x5584 x5585 -x5586 -x5587 -x5588 x5589 x5590 -x5591 -x5592 -x5593 x5594 x5595 -x5596 -x5597 x5598 x5599 -x5600 -x5601 x5602 -x5603 x5604 -x5605 x5606 -x5607 x5608 -x5609 x5610 -x5611 x5612 -x5613 -x5614 x5615 -x5616 x5617 -x5618 -x5619 x5620 x5621 -x5622 -x5623 -x5624 x5625 x5626 -x5627 -x5628 -x5629 x5630 x5631 -x5632 -x5633 x5634 x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 x5676 x5677 x5678 x5679 x5680 x5681 -x5682 x5683 x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 x5758 x5759 -x5760 -x5761 -x5762 -x5763 x5764 -x5765 x5766 -x5767 -x5768 x5769 -x5770 x5771 -x5772 x5773 -x5774 x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 x5824 x5825 x5826 x5827 x5828 -x5829 x5830 -x5831 
1800.04/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.40	c  259   994859 353315  1819889   189581  3947869 143506    552 1800.05
1800.04/1800.40	c Objective: 53
1800.04/1800.40	s SATISFIABLE
1800.04/1800.40	c Total time: 1800.05 s

Verifier Data 

OK	53

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-3741580-1338760339/watcher-3741580-1338760339 -o /tmp/evaluation-result-3741580-1338760339/solver-3741580-1338760339 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741580-1338760339.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.05 2.00 2.00 3/176 10202
/proc/meminfo: memFree=30941680/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 342162507 2723840 47 33554432000 134512640 135840783 4292315952 4292313988 1590212 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10202/statm: 665 47 37 325 0 32 0

[startup+0.0125891 s]
/proc/loadavg: 2.05 2.00 2.00 3/176 10202
/proc/meminfo: memFree=30941680/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=13840 CPUtime=0 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 342162507 14172160 480 33554432000 134512640 135840783 4292315952 4292314592 4961575 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10202/statm: 3460 481 335 325 0 177 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13840

[startup+0.10021 s]
/proc/loadavg: 2.05 2.00 2.00 3/176 10202
/proc/meminfo: memFree=30941680/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=16696 CPUtime=0.09 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 1503 0 0 0 9 0 0 0 20 0 1 0 342162507 17096704 1439 33554432000 134512640 135840783 4292315952 4292314672 4961575 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10202/statm: 4174 1440 578 325 0 891 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16696

[startup+0.300184 s]
/proc/loadavg: 2.05 2.00 2.00 3/176 10202
/proc/meminfo: memFree=30941680/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=22812 CPUtime=0.28 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 3601 0 0 0 28 0 0 0 20 0 1 0 342162507 23359488 3537 33554432000 134512640 135840783 4292315952 4292315152 134527110 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10202/statm: 5703 3537 1148 325 0 2420 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22812

[startup+0.700181 s]
/proc/loadavg: 2.05 2.00 2.00 3/176 10202
/proc/meminfo: memFree=30941680/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=34780 CPUtime=0.68 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 7728 0 0 0 68 0 0 0 20 0 1 0 342162507 35614720 7664 33554432000 134512640 135840783 4292315952 4292314128 4818455 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10202/statm: 8695 7664 2274 325 0 5412 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 34780

[startup+1.50024 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 10203
/proc/meminfo: memFree=30900124/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=45980 CPUtime=1.48 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 13041 0 0 0 147 1 0 0 20 0 1 0 342162507 47083520 10758 33554432000 134512640 135840783 4292315952 4292244944 134546112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10202/statm: 11495 10758 344 325 0 10431 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 45980

[startup+3.10023 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 10203
/proc/meminfo: memFree=30899364/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=46044 CPUtime=3.08 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 13104 0 0 0 306 2 0 0 20 0 1 0 342162507 47149056 10788 33554432000 134512640 135840783 4292315952 4292315312 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10202/statm: 11511 10788 351 325 0 10447 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 46044

[startup+6.30022 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 10203
/proc/meminfo: memFree=30898744/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=46044 CPUtime=6.28 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 13104 0 0 0 626 2 0 0 20 0 1 0 342162507 47149056 10788 33554432000 134512640 135840783 4292315952 4292315312 134550872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10202/statm: 11511 10788 351 325 0 10447 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 46044

[startup+12.7003 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 10203
/proc/meminfo: memFree=30898620/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=46044 CPUtime=12.68 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 13104 0 0 0 1266 2 0 0 20 0 1 0 342162507 47149056 10788 33554432000 134512640 135840783 4292315952 4292315312 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 11511 10788 351 325 0 10447 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46044

[startup+25.5003 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 10204
/proc/meminfo: memFree=30897364/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=48000 CPUtime=25.48 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 13587 0 0 0 2545 3 0 0 20 0 1 0 342162507 49152000 11271 33554432000 134512640 135840783 4292315952 4292315088 4961575 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 12000 11271 351 325 0 10936 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48000

[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 10215
/proc/meminfo: memFree=30877484/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=67452 CPUtime=51.08 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 18439 0 0 0 5104 4 0 0 20 0 1 0 342162507 69070848 16123 33554432000 134512640 135840783 4292315952 4292315312 134551365 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 16863 16123 351 325 0 15799 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67452

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10215
/proc/meminfo: memFree=30850488/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=93612 CPUtime=102.27 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 24981 0 0 0 10220 7 0 0 20 0 1 0 342162507 95858688 22665 33554432000 134512640 135840783 4292315952 4292315312 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 23403 22665 351 325 0 22339 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 93612

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10215
/proc/meminfo: memFree=30814124/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=115596 CPUtime=162.25 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 30484 0 0 0 16215 10 0 0 20 0 1 0 342162507 118370304 28162 33554432000 134512640 135840783 4292315952 4292315312 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 28899 28162 351 325 0 27835 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 115596

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10215
/proc/meminfo: memFree=30552392/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=134540 CPUtime=222.2 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 35287 0 0 0 22207 13 0 0 20 0 1 0 342162507 137768960 32920 33554432000 134512640 135840783 4292315952 4292315312 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 33635 32921 351 325 0 32571 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 134540

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10215
/proc/meminfo: memFree=30117400/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=151348 CPUtime=282.18 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 39461 0 0 0 28203 15 0 0 20 0 1 0 342162507 154980352 37094 33554432000 134512640 135840783 4292315952 4292315312 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 37837 37094 351 325 0 36773 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 151348

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10216
/proc/meminfo: memFree=30007536/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=170664 CPUtime=342.18 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 44299 0 0 0 34200 18 0 0 20 0 1 0 342162507 174759936 41932 33554432000 134512640 135840783 4292315952 4292315312 134551326 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 42666 41932 351 325 0 41602 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 170664

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10216
/proc/meminfo: memFree=29962960/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=185824 CPUtime=402.17 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 48098 0 0 0 40196 21 0 0 20 0 1 0 342162507 190283776 45731 33554432000 134512640 135840783 4292315952 4292315312 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 46456 45731 351 325 0 45392 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 185824

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10219
/proc/meminfo: memFree=29897228/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=462.16 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 51787 0 0 0 46193 23 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315376 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 199288

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10219
/proc/meminfo: memFree=29832080/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=522.15 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 51787 0 0 0 52192 23 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315312 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 199288

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10242
/proc/meminfo: memFree=29789188/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=582.14 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 51787 0 0 0 58191 23 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315312 134551365 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 199288

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10243
/proc/meminfo: memFree=29658256/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=822.11 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 51787 0 0 0 82187 24 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315312 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 199288

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10243
/proc/meminfo: memFree=29630740/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=882.1 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 51787 0 0 0 88186 24 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315312 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 199288

[startup+942.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 10244
/proc/meminfo: memFree=29607348/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=942.09 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 51787 0 0 0 94185 24 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315312 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 199288

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10244
/proc/meminfo: memFree=29584916/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=1002.08 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 51787 0 0 0 100184 24 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315304 3881158 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 199288

[startup+1062.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 10247
/proc/meminfo: memFree=29573148/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=1062.07 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52094 0 0 0 106183 24 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315312 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 199288

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10247
/proc/meminfo: memFree=29566996/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=1122.06 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52094 0 0 0 112182 24 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315184 4586239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 199288

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10247
/proc/meminfo: memFree=29561156/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=1182.04 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52108 0 0 0 118180 24 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315312 134550899 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 199288

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10248
/proc/meminfo: memFree=29553604/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=1242.02 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52125 0 0 0 124178 24 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315312 134551009 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 199288

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10248
/proc/meminfo: memFree=29545172/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=1302.02 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52125 0 0 0 130178 24 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315312 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 199288

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10248
/proc/meminfo: memFree=29535128/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=1362 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52125 0 0 0 136176 24 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315312 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 199288

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10248
/proc/meminfo: memFree=29530416/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=1422 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52125 0 0 0 142176 24 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315312 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 199288

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10248
/proc/meminfo: memFree=29525952/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=1481.98 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52125 0 0 0 148174 24 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315312 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 199288

[startup+1542.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/176 10248
/proc/meminfo: memFree=29518396/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199288 CPUtime=1541.97 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52125 0 0 0 154173 24 0 0 20 0 1 0 342162507 204070912 49097 33554432000 134512640 135840783 4292315952 4292315312 134551433 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49822 49097 351 325 0 48758 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 199288

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10249
/proc/meminfo: memFree=29512808/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199336 CPUtime=1601.96 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52137 0 0 0 160172 24 0 0 20 0 1 0 342162507 204120064 49109 33554432000 134512640 135840783 4292315952 4292315312 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49834 49109 351 325 0 48770 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 199336

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 10252
/proc/meminfo: memFree=29502104/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199384 CPUtime=1661.95 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52149 0 0 0 166171 24 0 0 20 0 1 0 342162507 204169216 49121 33554432000 134512640 135840783 4292315952 4292315312 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49846 49121 351 325 0 48782 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 199384

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10252
/proc/meminfo: memFree=29493580/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199452 CPUtime=1721.94 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52166 0 0 0 172170 24 0 0 20 0 1 0 342162507 204238848 49138 33554432000 134512640 135840783 4292315952 4292315312 134550832 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49863 49138 351 325 0 48799 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 199452

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10329
/proc/meminfo: memFree=31010004/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199480 CPUtime=1781.93 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52544 0 0 0 178169 24 0 0 20 0 1 0 342162507 204267520 49145 33554432000 134512640 135840783 4292315952 4292315376 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49870 49145 351 325 0 48806 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 199480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10329
/proc/meminfo: memFree=31003308/32873844 swapFree=8656/8656
[pid=10202] ppid=10200 vsize=199480 CPUtime=1800.04 cores=0,2,4,6
/proc/10202/stat : 10202 (bsolo3.0.17) R 10200 10202 9396 0 -1 4202496 52544 0 0 0 179980 24 0 0 20 0 1 0 342162507 204267520 49145 33554432000 134512640 135840783 4292315952 4292315376 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10202/statm: 49870 49145 351 325 0 48806 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 199480

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

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

Child status: 15
Real time (s): 1800.47
CPU time (s): 1800.11
CPU user time (s): 1799.86
CPU system time (s): 0.247962
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 200964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.247962
maximum resident set size= 198064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52547
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= 106
involuntary context switches= 1964

runsolver used 3.54246 second user time and 8.71167 second system time

The end

Launcher Data 

Begin job on node102 at 2012-06-03 23:52:20
IDJOB=3741580
IDBENCH=89880
IDSOLVER=2318
FILE ID=node102/3741580-1338760339
RUNJOBID= node102-1338747648-9412
PBS_JOBID= 14636781
Free space on /tmp= 71112 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-bley_xl1.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741580-1338760339/watcher-3741580-1338760339 -o /tmp/evaluation-result-3741580-1338760339/solver-3741580-1338760339 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3741580-1338760339.opb            

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

MD5SUM BENCH= 7eabf0872983506c1de1d05f0c0b2928
RANDOM SEED=1888885199

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
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:        30941796 kB
Buffers:          199152 kB
Cached:           704448 kB
SwapCached:         5520 kB
Active:           559720 kB
Inactive:         608464 kB
Active(anon):     261292 kB
Inactive(anon):     5604 kB
Active(file):     298428 kB
Inactive(file):   602860 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67097276 kB
Dirty:             15564 kB
Writeback:             0 kB
AnonPages:        268396 kB
Mapped:            10340 kB
Shmem:                 0 kB
Slab:             620620 kB
SReclaimable:      61588 kB
SUnreclaim:       559032 kB
KernelStack:        1440 kB
PageTables:         4432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     384544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71152 MiB
End job on node102 at 2012-06-04 00:22:22