Trace number 3721562

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: minisat+ 1.14SAT (TO)27 1800.06 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_030_area_delay.opb
MD5SUM55bd571d186b9003e67d2301a4d2bce5
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1.21081
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables4666
Total number of constraints12693
Number of constraints which are clauses12693
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2273
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2273
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2273
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c Parsing PB file...
0.09/0.17	c Converting 12529 PB-constraints to clauses...
0.09/0.18	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.09/0.18	c   -- Detecting intervals from adjacent constraints: #########
0.09/0.18	c   -- Clauses(.)/Splits(s): .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.09/0.19	c ---[11565]---> BDD-cost:    1
0.09/0.19	c ---[10965]---> BDD-cost:    1
0.09/0.19	c ---[10660]---> BDD-cost:    1
0.09/0.19	c ---[10526]---> BDD-cost:    1
0.09/0.19	c ---[10477]---> BDD-cost:    1
0.09/0.19	c ---[10447]---> BDD-cost:    1
0.09/0.19	c ---[10430]---> BDD-cost:    1
0.09/0.19	c ---[10427]---> BDD-cost:    1
0.09/0.19	c ---[10425]---> BDD-cost:    1
0.09/0.19	c ==================================[MINISAT+]==================================
0.09/0.19	c | Conflicts | Original         | Learnt                           | Progress |
0.09/0.19	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.09/0.19	c ==============================================================================
0.09/0.19	c |         0 |   11935    29020 |    3978       0        0     nan |  0.000 % |
0.09/0.20	c ==============================================================================
0.09/0.20	c Found solution: 31
0.09/0.20	o 31
0.19/0.21	c ---[   0]---> Adder-cost: 4206   maxlim: 2078   bits: 12/12
1.89/1.91	c ==================================[MINISAT+]==================================
1.89/1.91	c | Conflicts | Original         | Learnt                           | Progress |
1.89/1.91	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.89/1.91	c ==============================================================================
1.89/1.91	c |         5 |   41292   133881 |   13764       5       73    14.6 |  0.000 % |
1.89/1.91	c |       105 |   41292   133881 |   15140     105      456     4.3 |  3.883 % |
1.89/1.93	c |       255 |   41276   133829 |   16654     253     1063     4.2 |  3.916 % |
1.89/1.96	c |       480 |   41276   133829 |   18319     478     1987     4.2 |  3.916 % |
1.99/2.02	c |       817 |   40996   132863 |   20151     774     3344     4.3 |  4.501 % |
1.99/2.07	c |      1325 |   40837   132324 |   22167    1248    10543     8.4 |  4.828 % |
2.10/2.17	c |      2084 |   40837   132324 |   24383    2007    24451    12.2 |  4.828 % |
2.20/2.26	c |      3223 |   40837   132324 |   26822    3146    64940    20.6 |  4.828 % |
2.39/2.46	c |      4933 |   40837   132324 |   29504    4856   157830    32.5 |  4.828 % |
2.79/2.80	c |      7498 |   40837   132324 |   32454    7421   361542    48.7 |  4.828 % |
3.30/3.34	c |     11342 |   40837   132324 |   35700   11265   711823    63.2 |  4.828 % |
4.39/4.42	c |     17108 |   40837   132324 |   39270   17031  1204126    70.7 |  4.828 % |
6.39/6.47	c |     25758 |   40837   132324 |   43197   25681  2183907    85.0 |  4.828 % |
10.49/10.51	c |     38733 |   40837   132324 |   47517   38656  4070217   105.3 |  4.828 % |
15.58/15.61	c |     58194 |   40837   132324 |   52268   25736  2313613    89.9 |  4.828 % |
25.39/25.46	c |     87388 |   40837   132324 |   57495   17706  2547755   143.9 |  4.828 % |
37.97/38.03	c |    131177 |   40837   132324 |   63245   20429  2695731   132.0 |  4.828 % |
56.45/56.54	c |    196863 |   40837   132324 |   69569   39452  4456810   113.0 |  4.828 % |
87.55/87.67	c |    295389 |   40837   132324 |   76526   28829  2636625    91.5 |  4.828 % |
130.94/131.06	c |    443179 |   40837   132324 |   84179   59885  5140566    85.8 |  4.828 % |
201.42/201.60	c ==============================================================================
201.42/201.60	c Found solution: 30
201.42/201.60	o 30
201.52/201.61	c ---[   0]---> Adder-cost: 0   maxlim: 2079   bits: 12/12
203.22/203.31	c ==================================[MINISAT+]==================================
203.22/203.31	c | Conflicts | Original         | Learnt                           | Progress |
203.22/203.31	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
203.22/203.31	c ==============================================================================
203.22/203.31	c |    610826 |   40509   131148 |   13503   34953  4455771   127.5 |  4.828 % |
203.32/203.43	c |    610927 |   40289   130388 |   14853    8813   758158    86.0 |  5.930 % |
203.32/203.45	c |    611077 |   40289   130388 |   16338    8963   763551    85.2 |  5.930 % |
203.32/203.48	c |    611303 |   40289   130388 |   17972    9189   788816    85.8 |  5.930 % |
203.42/203.52	c |    611640 |   40289   130388 |   19769    9526   818577    85.9 |  5.930 % |
203.42/203.59	c |    612147 |   40289   130388 |   21746   10033   863108    86.0 |  5.930 % |
203.52/203.68	c |    612909 |   40289   130388 |   23921   10795   943618    87.4 |  5.930 % |
203.72/203.83	c |    614050 |   40289   130388 |   26313   11936  1099355    92.1 |  5.930 % |
204.02/204.11	c |    615760 |   40289   130388 |   28944   13646  1282129    94.0 |  5.930 % |
204.42/204.51	c |    618325 |   40289   130388 |   31839   16211  1540613    95.0 |  5.930 % |
205.22/205.31	c |    622169 |   40289   130388 |   35023   20055  1929450    96.2 |  5.930 % |
206.42/206.56	c |    627935 |   40289   130388 |   38525   25821  2654819   102.8 |  5.930 % |
209.02/209.13	c |    636584 |   40289   130388 |   42378   34470  3598865   104.4 |  5.930 % |
212.81/212.92	c |    649558 |   40289   130388 |   46616   20505  1815534    88.5 |  5.930 % |
216.71/216.80	c ==============================================================================
216.71/216.80	c Found solution: 29
216.71/216.80	o 29
216.71/216.81	c ---[   0]---> Adder-cost: 0   maxlim: 2080   bits: 12/12
218.41/218.52	c ==================================[MINISAT+]==================================
218.41/218.52	c | Conflicts | Original         | Learnt                           | Progress |
218.41/218.52	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
218.41/218.52	c ==============================================================================
218.41/218.52	c |    664782 |   40290   130394 |   13430   35729  3564194    99.8 |  5.930 % |
218.51/218.63	c |    664882 |   40290   130394 |   14773    8593   607166    70.7 |  5.941 % |
218.51/218.66	c |    665033 |   40290   130394 |   16250    8744   610035    69.8 |  5.941 % |
218.51/218.69	c |    665259 |   40290   130394 |   17875    8970   623643    69.5 |  5.941 % |
218.61/218.73	c |    665597 |   40290   130394 |   19662    9308   653799    70.2 |  5.941 % |
218.61/218.79	c |    666104 |   40290   130394 |   21629    9815   693136    70.6 |  5.941 % |
218.82/218.90	c |    666867 |   40290   130394 |   23792   10578   770506    72.8 |  5.941 % |
218.91/219.04	c |    668010 |   40290   130394 |   26171   11721   870779    74.3 |  5.941 % |
219.11/219.29	c |    669718 |   40290   130394 |   28788   13429  1027472    76.5 |  5.941 % |
219.51/219.69	c |    672282 |   40290   130394 |   31667   15993  1318797    82.5 |  5.941 % |
220.31/220.44	c |    676131 |   40290   130394 |   34833   19842  1776361    89.5 |  5.941 % |
221.51/221.62	c |    681897 |   40290   130394 |   38317   25608  2514239    98.2 |  5.941 % |
224.01/224.10	c |    690551 |   40290   130394 |   42149   34262  3454212   100.8 |  5.941 % |
228.11/228.22	c |    703525 |   40290   130394 |   46364   20807  1989165    95.6 |  5.941 % |
232.51/232.60	c |    722987 |   40290   130394 |   51000   40269  4327539   107.5 |  5.941 % |
240.82/240.94	c |    752180 |   40290   130394 |   56100   38299  3969453   103.6 |  5.941 % |
255.31/255.43	c |    795971 |   40290   130394 |   61710   43916  4422908   100.7 |  5.941 % |
278.90/279.04	c |    861657 |   40290   130394 |   67881   26209  2384527    91.0 |  5.941 % |
287.60/287.73	c ==============================================================================
287.60/287.73	c Found solution: 28
287.60/287.73	o 28
287.60/287.74	c ---[   0]---> Adder-cost: 0   maxlim: 2081   bits: 12/12
289.30/289.46	c ==================================[MINISAT+]==================================
289.30/289.46	c | Conflicts | Original         | Learnt                           | Progress |
289.30/289.46	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
289.30/289.46	c ==============================================================================
289.30/289.46	c |    890939 |   40291   130399 |   13430   55491  5521882    99.5 |  5.941 % |
289.50/289.63	c |    891039 |   40291   130399 |   14773   10322   731423    70.9 |  5.951 % |
289.50/289.66	c |    891189 |   40291   130399 |   16250   10472   743594    71.0 |  5.951 % |
289.60/289.70	c |    891414 |   40291   130399 |   17875   10697   761359    71.2 |  5.951 % |
289.60/289.76	c |    891751 |   40291   130399 |   19662   11034   790053    71.6 |  5.951 % |
289.70/289.85	c |    892259 |   40291   130399 |   21629   11542   841092    72.9 |  5.951 % |
289.90/290.00	c |    893018 |   40291   130399 |   23792   12301   910498    74.0 |  5.951 % |
290.10/290.22	c |    894159 |   40291   130399 |   26171   13442   998646    74.3 |  5.951 % |
290.40/290.55	c |    895867 |   40291   130399 |   28788   15150  1154998    76.2 |  5.951 % |
291.00/291.19	c |    898429 |   40291   130399 |   31667   17712  1399855    79.0 |  5.951 % |
291.90/292.07	c |    902273 |   40291   130399 |   34833   21556  1826033    84.7 |  5.951 % |
293.60/293.78	c |    908042 |   40291   130399 |   38317   27325  2464240    90.2 |  5.951 % |
296.10/296.21	c |    916692 |   40291   130399 |   42149   35975  3431042    95.4 |  5.951 % |
299.80/299.95	c |    929668 |   40291   130399 |   46364   24131  2235895    92.7 |  5.951 % |
306.50/306.63	c |    949130 |   40291   130399 |   51000   43593  4339483    99.5 |  5.951 % |
315.99/316.13	c |    978322 |   40291   130399 |   56100   39818  3915151    98.3 |  5.951 % |
329.19/329.36	c |   1022115 |   40291   130399 |   61710   46846  4962098   105.9 |  5.951 % |
350.18/350.31	c |   1087801 |   40291   130399 |   67881   29829  2474224    82.9 |  5.951 % |
366.58/366.72	c ==============================================================================
366.58/366.72	c Found solution: 27
366.58/366.72	o 27
366.58/366.74	c ---[   0]---> Adder-cost: 0   maxlim: 2082   bits: 12/12
368.29/368.44	c ==================================[MINISAT+]==================================
368.29/368.44	c | Conflicts | Original         | Learnt                           | Progress |
368.29/368.44	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
368.29/368.44	c ==============================================================================
368.29/368.44	c |   1139830 |   40292   130405 |   13430   33240  3074803    92.5 |  5.951 % |
368.39/368.53	c |   1139932 |   40292   130405 |   14773    8412   556706    66.2 |  5.962 % |
368.39/368.55	c |   1140086 |   40292   130405 |   16250    8566   568622    66.4 |  5.962 % |
368.39/368.58	c |   1140313 |   40292   130405 |   17875    8793   591736    67.3 |  5.962 % |
368.48/368.62	c |   1140651 |   40292   130405 |   19662    9131   624833    68.4 |  5.962 % |
368.48/368.68	c |   1141160 |   40292   130405 |   21629    9640   672828    69.8 |  5.962 % |
368.58/368.76	c |   1141919 |   40292   130405 |   23792   10399   740900    71.2 |  5.962 % |
368.78/368.93	c |   1143058 |   40292   130405 |   26171   11538   846463    73.4 |  5.962 % |
368.98/369.18	c |   1144766 |   40292   130405 |   28788   13246  1028761    77.7 |  5.962 % |
369.39/369.59	c |   1147328 |   40292   130405 |   31667   15808  1286044    81.4 |  5.962 % |
370.18/370.33	c |   1151173 |   40292   130405 |   34833   19653  1741502    88.6 |  5.962 % |
371.28/371.43	c |   1156940 |   40292   130405 |   38317   25420  2375801    93.5 |  5.962 % |
373.48/373.60	c |   1165592 |   40292   130405 |   42149   34072  3295722    96.7 |  5.962 % |
376.78/376.92	c |   1178567 |   40292   130405 |   46364   19641  1721116    87.6 |  5.962 % |
381.28/381.43	c |   1198029 |   40292   130405 |   51000   39103  3727449    95.3 |  5.962 % |
389.88/390.04	c |   1227223 |   40292   130405 |   56100   32318  2904189    89.9 |  5.962 % |
401.48/401.64	c |   1271012 |   40292   130405 |   61710   35425  3355213    94.7 |  5.962 % |
420.87/421.00	c |   1336700 |   40292   130405 |   67881   54471  6068435   111.4 |  5.962 % |
453.37/453.51	c |   1435229 |   40292   130405 |   74669   51813  5115779    98.7 |  5.962 % |
503.76/503.92	c |   1583018 |   40292   130405 |   82136   31378  2848790    90.8 |  5.962 % |
571.94/572.12	c |   1804703 |   40292   130405 |   90350   74030  4492503    60.7 |  5.962 % |
678.12/678.37	c |   2137228 |   40292   130405 |   99385   46457  3723659    80.2 |  5.962 % |
852.89/853.17	c |   2636018 |   40292   130405 |  109323   71034  6157809    86.7 |  5.962 % |
1175.04/1175.33	c |   3384201 |   40292   130405 |  120256   80906  8972145   110.9 |  5.962 % |
1605.97/1606.31	c |   4506479 |   40292   130405 |  132281   94951  8132934    85.7 |  5.962 % |
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED ***
1800.05/1800.40	s SATISFIABLE
1800.05/1800.40	v -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 x2447 -x2449 -x2451 -x2453 -x2455 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2764 -x2766 -x2768 -x2770 -x2772 x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4122 -x4124 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4142 -x4144 -x4146 x4148 -x4150 -x4152 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4178 -x4180 -x4182 -x4184 -x4186 x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4442 -x4444 -x4446 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4546 -x4548 -x4550 -x4552 -x4554 x4556 -x4558 -x4559 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 x4578 -x4579 -x4581 -x4583 -x4584 -x4586 x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4636 -x4638 -x4640 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 x4660 x4662 -x4664 x4665 x4666 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x1 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x2 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x3 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x4 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x5 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x6 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x7 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x8 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 x812 -x814 -x816 -x818 -x820 -x822 -x9 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x10 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x11 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x12 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x13 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x14 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x15 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x16 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x17 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x18 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x19 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x20 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x21 -x1325 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x22 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x23 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1387 -x1389 -x1391 -x1393 -x1395 -x24 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x25 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x26 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x27 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 x28 x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x29 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x30 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x31 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x32 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x33 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x34 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x35 -x1668 -x1670 -x1672 -x36 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x37 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x38 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x39 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x40 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x41 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x42 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x43 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x44 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 x45 -x1925 -x1927 x1929 -x1931 -x1933 -x1935 -x1937 -x46 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 x1951 x47 -x1953 -x1955 -x1957 -x48 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x49 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x50 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x51 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x52 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x53 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x54 -x2137 -x2139 -x2142 -x2144 -x2146 -x2148 -x55 -x2150 -x2152 -x2154 -x2156 -x2159 -x2161 -x56 -x2163 -x2165 -x2167 -x57 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x58 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x59 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x60 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x61 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x62 -x2271 -x2273 -x2275 -x63 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x64 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x65 -x2305 -x2307 -x2309 -x66 -x2311 -x2313 -x2315 -x2317 -x2320 -x2322 -x67 -x2324 -x2326 -x2328 -x68 -x2330 -x2332 -x69 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x70 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 x2446 -x2448 -x2450 -x2452 -x2454 -x71 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x72 -x2487 -x2489 -x2491 -x2493 -x2495 -x2498 -x73 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x74 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x75 -x2592 -x2594 -x2596 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x76 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x77 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x78 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x79 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x80 -x2756 -x2758 -x2760 -x2762 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x81 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x82 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x83 -x2858 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 x2877 -x2879 -x2881 -x2883 -x84 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x85 -x2899 -x2901 -x2903 -x86 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x87 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x88 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x89 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x90 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x91 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x92 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x93 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x94 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x95 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x96 -x3151 -x3153 -x3155 -x97 -x3157 -x3159 -x3161 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3213 -x3215 -x98 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x99 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3267 -x3269 -x3271 -x3273 -x100 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x101 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x102 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x103 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x104 -x3347 -x3349 -x3351 -x3353 -x3355 -x3358 -x105 -x3360 -x3362 -x3364 -x106 -x3366 -x3368 -x3370 -x3372 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x107 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x108 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x109 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3464 -x110 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3487 -x3489 -x3491 -x111 -x3493 -x3495 -x112 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x113 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x114 -x3525 -x3527 -x3529 -x115 -x3531 -x3533 -x3535 -x3538 -x3540 -x3542 -x116 -x3544 -x3546 -x3548 -x117 -x3550 -x3552 -x118 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x119 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x120 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x121 -x3676 -x3678 -x3681 -x3683 -x3685 -x3687 -x122 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x123 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x124 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x125 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x126 -x3793 -x3795 -x3797 -x3799 -x3801 -x3804 -x127 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x128 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x129 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x130 -x3864 -x3866 -x3868 -x131 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x132 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x133 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x134 -x3944 -x3946 -x3948 -x3951 -x3953 -x3955 -x135 -x3957 -x3959 -x3961 -x3963 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x136 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x137 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x138 -x4013 -x4015 -x4017 -x139 -x4019 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4035 -x4037 -x4039 -x4041 -x4043 -x140 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 x4082 -x4084 -x4086 -x4088 -x141 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x142 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x143 -x4118 -x4120 -x144 -x4123 -x4126 -x4128 -x4130 -x4132 -x4134 -x145 -x4136 -x4138 -x4140 -x4143 -x4145 x4147 -x4149 -x4151 -x146 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x147 -x4168 -x4170 -x4172 -x148 -x4174 -x4176 -x149 -x4179 -x4181 -x4183 -x4185 x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x150 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x151 -x4241 -x4244 -x4246 -x4248 -x4250 -x4252 -x152 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x153 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4287 -x4289 -x4291 -x4293 -x4295 -x154 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x155 -x4311 -x4313 -x4315 -x4318 -x4320 -x4322 -x156 -x4324 -x4326 -x4328 -x157 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x158 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x159 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x160 -x4400 -x4402 -x4404 -x161 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x162 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x163 -x4434 -x4436 -x164 -x4438 -x4440 -x4443 -x4445 -x4448 -x165 -x4450 -x4452 -x4454 -x166 -x4456 -x4458 -x167 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4482 -x4484 -x4486 -x4488 -x4490 -x168 -x4492 -x4494 -x4496 -x4499 -x4501 -x4503 -x169 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x170 -x4519 -x4521 -x4523 -x4525 -x4527 -x4530 -x171 -x4532 -x4534 -x4536 -x172 -x4538 -x4540 -x4542 -x4544 -x4547 -x4549 -x173 -x4551 -x4553 x4555 -x4557 -x4561 -x4563 -x4565 -x4567 -x174 -x4569 -x4571 -x4573 -x4575 x4577 -x175 -x4580 -x4582 -x4585 x4587 -x4589 -x4591 -x4593 -x176 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x177 -x4609 -x4611 -x4613 -x178 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x179 -x4628 -x4630 -x180 -x4632 -x4634 -x181 -x4637 -x182 -x4639 -x4642 -x4644 -x4646 -x4648 -x183 -x4650 -x4652 -x4654 -x184 -x4656 -x4658 x185 x4661 -x4663 x186 x187

Verifier Data 

OK	27

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-3721562-1338557906/watcher-3721562-1338557906 -o /tmp/evaluation-result-3721562-1338557906/solver-3721562-1338557906 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721562-1338557906.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.98 2.01 2.00 3/176 19622
/proc/meminfo: memFree=31927012/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=1568 CPUtime=0 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 265 0 0 0 0 0 0 0 20 0 1 0 321917583 1605632 223 33554432000 134512640 135395479 4290786144 4290784976 134618678 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 392 223 74 216 0 174 0

[startup+0.0601499 s]
/proc/loadavg: 1.98 2.01 2.00 3/176 19622
/proc/meminfo: memFree=31927012/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=2760 CPUtime=0.05 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 525 0 0 0 5 0 0 0 20 0 1 0 321917583 2826240 483 33554432000 134512640 135395479 4290786144 4290784444 135007481 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 690 483 74 216 0 472 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2760

[startup+0.100213 s]
/proc/loadavg: 1.98 2.01 2.00 3/176 19622
/proc/meminfo: memFree=31927012/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=3472 CPUtime=0.09 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 704 0 0 0 9 0 0 0 20 0 1 0 321917583 3555328 662 33554432000 134512640 135395479 4290786144 4290784688 134808947 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 868 662 74 216 0 650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3472

[startup+0.300185 s]
/proc/loadavg: 1.98 2.01 2.00 3/176 19622
/proc/meminfo: memFree=31927012/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=6236 CPUtime=0.28 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 1423 0 0 0 28 0 0 0 20 0 1 0 321917583 6385664 1381 33554432000 134512640 135395479 4290786144 4290400828 134808936 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 1559 1381 104 216 0 1341 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6236

[startup+0.700178 s]
/proc/loadavg: 1.98 2.01 2.00 3/176 19622
/proc/meminfo: memFree=31927012/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=6236 CPUtime=0.68 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 1423 0 0 0 68 0 0 0 20 0 1 0 321917583 6385664 1381 33554432000 134512640 135395479 4290786144 4290538964 135003881 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 1559 1381 104 216 0 1341 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6236

[startup+1.50018 s]
/proc/loadavg: 1.98 2.01 2.00 3/177 19623
/proc/meminfo: memFree=31921832/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=6600 CPUtime=1.48 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 1511 0 0 0 148 0 0 0 20 0 1 0 321917583 6758400 1471 33554432000 134512640 135395479 4290786144 4290773600 134838342 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 1650 1471 104 216 0 1432 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6600

[startup+3.10018 s]
/proc/loadavg: 1.98 2.01 2.00 3/177 19623
/proc/meminfo: memFree=31915888/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=15468 CPUtime=3.09 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 3885 0 0 0 308 1 0 0 20 0 1 0 321917583 15839232 3508 33554432000 134512640 135395479 4290786144 4290784112 134576512 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 3867 3508 123 216 0 3649 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15468

[startup+6.30019 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 19623
/proc/meminfo: memFree=31907704/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=22404 CPUtime=6.29 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 5611 0 0 0 628 1 0 0 20 0 1 0 321917583 22941696 5234 33554432000 134512640 135395479 4290786144 4290784496 134580947 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 5601 5234 123 216 0 5383 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22404

[startup+12.7002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 19623
/proc/meminfo: memFree=31895204/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=34112 CPUtime=12.68 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 8542 0 0 0 1266 2 0 0 20 0 1 0 321917583 34930688 8165 33554432000 134512640 135395479 4290786144 4290784496 134581436 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 8528 8165 123 216 0 8310 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34112

[startup+25.5002 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 19623
/proc/meminfo: memFree=31884304/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=44256 CPUtime=25.49 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 11056 0 0 0 2546 3 0 0 20 0 1 0 321917583 45318144 10701 33554432000 134512640 135395479 4290786144 4290784016 134574491 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 11064 10701 123 216 0 10846 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44256

[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19623
/proc/meminfo: memFree=31876088/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=52000 CPUtime=51.05 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 13011 0 0 0 5102 3 0 0 20 0 1 0 321917583 53248000 12645 33554432000 134512640 135395479 4290786144 4290784496 134580959 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 13000 12645 123 216 0 12782 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 52000

[startup+102.306 s]
/proc/loadavg: 2.12 2.04 2.01 3/178 19626
/proc/meminfo: memFree=31873948/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=52288 CPUtime=102.25 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 13083 0 0 0 10222 3 0 0 20 0 1 0 321917583 53542912 12717 33554432000 134512640 135395479 4290786144 4290784496 134580786 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 13072 12717 123 216 0 12854 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 52288

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 19626
/proc/meminfo: memFree=31862124/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=65188 CPUtime=162.23 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 16258 0 0 0 16218 5 0 0 20 0 1 0 321917583 66752512 15925 33554432000 134512640 135395479 4290786144 4290784496 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 16297 15925 123 216 0 16079 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 65188

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 19626
/proc/meminfo: memFree=31852500/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=73480 CPUtime=222.21 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 18336 0 0 0 22215 6 0 0 20 0 1 0 321917583 75243520 18032 33554432000 134512640 135395479 4290786144 4290784496 134580768 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 18370 18032 123 216 0 18152 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 73480

[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 19678
/proc/meminfo: memFree=31822988/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=73480 CPUtime=282.2 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 18336 0 0 0 28214 6 0 0 20 0 1 0 321917583 75243520 18032 33554432000 134512640 135395479 4290786144 4290784016 134574138 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 18370 18032 123 216 0 18152 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 73480

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19678
/proc/meminfo: memFree=31805592/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=73480 CPUtime=342.18 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 18336 0 0 0 34212 6 0 0 20 0 1 0 321917583 75243520 18032 33554432000 134512640 135395479 4290786144 4290784496 134581480 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 18370 18032 123 216 0 18152 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 73480

[startup+402.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 19678
/proc/meminfo: memFree=31805460/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=73480 CPUtime=402.18 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 18336 0 0 0 40212 6 0 0 20 0 1 0 321917583 75243520 18032 33554432000 134512640 135395479 4290786144 4290784192 134584326 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 18370 18032 123 216 0 18152 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 73480

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 19678
/proc/meminfo: memFree=31802360/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=73480 CPUtime=462.16 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 18336 0 0 0 46210 6 0 0 20 0 1 0 321917583 75243520 18032 33554432000 134512640 135395479 4290786144 4290784496 134580938 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 18370 18032 123 216 0 18152 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 73480

[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 19678
/proc/meminfo: memFree=31790448/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=73480 CPUtime=522.16 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 18336 0 0 0 52210 6 0 0 20 0 1 0 321917583 75243520 18032 33554432000 134512640 135395479 4290786144 4290784112 134576754 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 18370 18032 123 216 0 18152 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 73480

[startup+582.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 19679
/proc/meminfo: memFree=31785668/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=73480 CPUtime=582.14 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 18342 0 0 0 58208 6 0 0 20 0 1 0 321917583 75243520 18038 33554432000 134512640 135395479 4290786144 4290784496 134580973 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19622/statm: 18370 18038 123 216 0 18152 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 73480

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19682
/proc/meminfo: memFree=31771764/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=82568 CPUtime=822.1 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 20449 0 0 0 82203 7 0 0 20 0 1 0 321917583 84549632 20188 33554432000 134512640 135395479 4290786144 4290784496 134580941 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 20642 20188 123 216 0 20424 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 82568

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19683
/proc/meminfo: memFree=31771080/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=83252 CPUtime=882.09 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 20607 0 0 0 88202 7 0 0 20 0 1 0 321917583 85250048 20360 33554432000 134512640 135395479 4290786144 4290784016 134575244 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 20813 20360 123 216 0 20595 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 83252

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19683
/proc/meminfo: memFree=31765996/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=89108 CPUtime=942.08 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 22011 0 0 0 94200 8 0 0 20 0 1 0 321917583 91246592 21764 33554432000 134512640 135395479 4290786144 4290784496 134580915 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 22277 21764 123 216 0 22059 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 89108

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 19683
/proc/meminfo: memFree=31758736/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=91812 CPUtime=1002.06 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 22679 0 0 0 100198 8 0 0 20 0 1 0 321917583 94015488 22478 33554432000 134512640 135395479 4290786144 4290783864 135006212 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 22953 22478 123 216 0 22735 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 91812

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19683
/proc/meminfo: memFree=31755444/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=92928 CPUtime=1062.05 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 22875 0 0 0 106197 8 0 0 20 0 1 0 321917583 95158272 22674 33554432000 134512640 135395479 4290786144 4290784496 134580825 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 23232 22674 123 216 0 23014 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 92928

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 19683
/proc/meminfo: memFree=31742856/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=101140 CPUtime=1122.05 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 24911 0 0 0 112196 9 0 0 20 0 1 0 321917583 103567360 24734 33554432000 134512640 135395479 4290786144 4290784460 134580250 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 25285 24734 123 216 0 25067 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 101140

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19684
/proc/meminfo: memFree=31738324/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=103128 CPUtime=1182.04 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 25309 0 0 0 118195 9 0 0 20 0 1 0 321917583 105603072 25132 33554432000 134512640 135395479 4290786144 4290784016 134574480 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 25782 25132 123 216 0 25564 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 103128

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19684
/proc/meminfo: memFree=31737572/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=103980 CPUtime=1242.03 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 25495 0 0 0 124194 9 0 0 20 0 1 0 321917583 106475520 25330 33554432000 134512640 135395479 4290786144 4290784496 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 25995 25330 123 216 0 25777 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 103980

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19687
/proc/meminfo: memFree=31736928/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=104224 CPUtime=1302.02 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 25555 0 0 0 130193 9 0 0 20 0 1 0 321917583 106725376 25390 33554432000 134512640 135395479 4290786144 4290784496 134581116 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 26056 25390 123 216 0 25838 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 104224

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19710
/proc/meminfo: memFree=31730416/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=104224 CPUtime=1362.01 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 25555 0 0 0 136192 9 0 0 20 0 1 0 321917583 106725376 25390 33554432000 134512640 135395479 4290786144 4290784496 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 26056 25390 123 216 0 25838 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 104224

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19710
/proc/meminfo: memFree=31727272/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=104224 CPUtime=1422 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 25557 0 0 0 142191 9 0 0 20 0 1 0 321917583 106725376 25392 33554432000 134512640 135395479 4290786144 4290784496 134581451 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 26056 25392 123 216 0 25838 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 104224

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19711
/proc/meminfo: memFree=31718716/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=104224 CPUtime=1481.99 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 25566 0 0 0 148190 9 0 0 20 0 1 0 321917583 106725376 25401 33554432000 134512640 135395479 4290786144 4290784496 134580890 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 26056 25401 123 216 0 25838 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 104224

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19711
/proc/meminfo: memFree=31716600/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=104224 CPUtime=1541.98 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 25572 0 0 0 154189 9 0 0 20 0 1 0 321917583 106725376 25407 33554432000 134512640 135395479 4290786144 4290784496 134580923 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 26056 25407 123 216 0 25838 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 104224

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 19711
/proc/meminfo: memFree=31712632/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=104224 CPUtime=1601.97 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 25572 0 0 0 160188 9 0 0 20 0 1 0 321917583 106725376 25407 33554432000 134512640 135395479 4290786144 4290784112 134576991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 26056 25407 123 216 0 25838 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 104224

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19711
/proc/meminfo: memFree=31711948/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=104224 CPUtime=1661.96 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 25587 0 0 0 166187 9 0 0 20 0 1 0 321917583 106725376 25422 33554432000 134512640 135395479 4290786144 4290784496 134580938 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 26056 25422 123 216 0 25838 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 104224

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 19711
/proc/meminfo: memFree=31712004/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=104224 CPUtime=1721.95 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 25588 0 0 0 172186 9 0 0 20 0 1 0 321917583 106725376 25423 33554432000 134512640 135395479 4290786144 4290784496 134580959 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 26056 25423 123 216 0 25838 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 104224

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 19712
/proc/meminfo: memFree=31711880/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=104224 CPUtime=1781.94 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 25588 0 0 0 178185 9 0 0 20 0 1 0 321917583 106725376 25423 33554432000 134512640 135395479 4290786144 4290784496 134581426 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 26056 25423 123 216 0 25838 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 104224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19712
/proc/meminfo: memFree=31712004/32873844 swapFree=7116/7116
[pid=19622] ppid=19620 vsize=104304 CPUtime=1800.05 cores=0,2,4,6
/proc/19622/stat : 19622 (minisat+) R 19620 19622 19055 0 -1 4202496 25608 0 0 0 179995 10 0 0 20 0 1 0 321917583 106807296 25443 33554432000 134512640 135395479 4290786144 4290784496 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 26076 25443 123 216 0 25858 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 104304

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

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.96
CPU system time (s): 0.101984
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 104304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.101984
maximum resident set size= 101780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25610
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= 45
involuntary context switches= 2388

runsolver used 3.22151 second user time and 8.76367 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-01 15:38:26
IDJOB=3721562
IDBENCH=24982
IDSOLVER=2306
FILE ID=node111/3721562-1338557906
RUNJOBID= node111-1338552573-19071
PBS_JOBID= 14635873
Free space on /tmp= 67396 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721562-1338557906/watcher-3721562-1338557906 -o /tmp/evaluation-result-3721562-1338557906/solver-3721562-1338557906 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721562-1338557906.opb            

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

MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5
RANDOM SEED=250662970

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31926920 kB
Buffers:           75908 kB
Cached:            90288 kB
SwapCached:         1296 kB
Active:            72976 kB
Inactive:         114928 kB
Active(anon):      23172 kB
Inactive(anon):     1056 kB
Active(file):      49804 kB
Inactive(file):   113872 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100040 kB
Dirty:              2704 kB
Writeback:             0 kB
AnonPages:         27648 kB
Mapped:             9180 kB
Shmem:                 0 kB
Slab:             619888 kB
SReclaimable:      62196 kB
SUnreclaim:       557692 kB
KernelStack:        1448 kB
PageTables:         3880 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     143016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721562-1338557906.opb

Free space on /tmp at the end= 67392 MiB
End job on node111 at 2012-06-01 16:08:29