Trace number 3723788

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
PB12: minisatp 1.0-2-g022594cSAT (TO)26 1800.08 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

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.02	c Converting 12529 PB-constraints to clauses...
0.00/0.02	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.00/0.02	c   -- Detecting intervals from adjacent constraints: #########
0.00/0.02	c   -- Clauses(.)/Splits(s): .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.03	c ---[11565]---> BDD-cost:    1
0.00/0.03	c ---[10965]---> BDD-cost:    1
0.00/0.03	c ---[10660]---> BDD-cost:    1
0.00/0.03	c ---[10526]---> BDD-cost:    1
0.00/0.03	c ---[10477]---> BDD-cost:    1
0.00/0.03	c ---[10447]---> BDD-cost:    1
0.00/0.03	c ---[10430]---> BDD-cost:    1
0.00/0.03	c ---[10427]---> BDD-cost:    1
0.00/0.03	c ---[10425]---> BDD-cost:    1
0.00/0.03	c ==================================[MINISAT+]==================================
0.00/0.03	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.03	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.03	c ==============================================================================
0.00/0.03	c |         0 |   11935    29020 |    3978       0        0    -nan |  0.000 % |
0.00/0.03	c ==============================================================================
0.00/0.03	c Found solution: 31
0.00/0.03	c ---[   0]---> Adder-cost: 4206   maxlim: 2078   bits: 12/12
0.00/0.10	c ==================================[MINISAT+]==================================
0.00/0.10	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.10	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.10	c ==============================================================================
0.00/0.10	c |         5 |   41292   133881 |   13764       5       73    14.6 |  0.000 % |
0.00/0.10	c |       105 |   41292   133881 |   15140     105      456     4.3 |  3.883 % |
0.00/0.11	c |       255 |   41276   133829 |   16654     253     1063     4.2 |  3.916 % |
0.00/0.13	c |       480 |   41276   133829 |   18319     478     1987     4.2 |  3.916 % |
0.00/0.16	c |       817 |   40996   132863 |   20151     774     3344     4.3 |  4.501 % |
0.00/0.19	c |      1325 |   40837   132324 |   22167    1248    10543     8.4 |  4.828 % |
0.00/0.25	c |      2084 |   40837   132324 |   24383    2007    24451    12.2 |  4.828 % |
0.00/0.31	c |      3223 |   40837   132324 |   26822    3146    64940    20.6 |  4.828 % |
0.00/0.44	c |      4933 |   40837   132324 |   29504    4856   157830    32.5 |  4.828 % |
0.00/0.68	c |      7498 |   40837   132324 |   32454    7421   361542    48.7 |  4.828 % |
0.00/1.08	c |     11342 |   40837   132324 |   35700   11265   711823    63.2 |  4.828 % |
1.78/1.87	c |     17108 |   40837   132324 |   39270   17031  1204126    70.7 |  4.828 % |
3.39/3.45	c |     25758 |   40837   132324 |   43197   25681  2183907    85.0 |  4.828 % |
6.69/6.72	c |     38735 |   40837   132324 |   47517   38658  4073162   105.4 |  4.828 % |
10.78/10.81	c |     58197 |   40837   132324 |   52268   24843  2469594    99.4 |  4.828 % |
17.08/17.19	c |     87393 |   40837   132324 |   57495   19589  1707802    87.2 |  4.828 % |
26.97/27.09	c |    131183 |   40837   132324 |   63245   20369  2468817   121.2 |  4.828 % |
39.87/39.90	c |    196868 |   40837   132324 |   69569   38725  3824571    98.8 |  4.828 % |
48.86/48.94	c ==============================================================================
48.86/48.94	c Found solution: 29
48.86/48.94	c ---[   0]---> Adder-cost: 0   maxlim: 2080   bits: 12/12
48.86/48.99	c ==================================[MINISAT+]==================================
48.86/48.99	c | Conflicts | Original         | Learnt                           | Progress |
48.86/48.99	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
48.86/48.99	c ==============================================================================
48.86/48.99	c |    244226 |   40605   131486 |   13535   32601  3221819    98.8 |  4.828 % |
48.96/49.07	c |    244327 |   40605   131486 |   14888    8252   505157    61.2 |  5.311 % |
48.96/49.08	c |    244477 |   40605   131486 |   16377    8402   507027    60.3 |  5.311 % |
49.06/49.10	c |    244707 |   40605   131486 |   18015    8632   516357    59.8 |  5.311 % |
49.06/49.14	c |    245045 |   40605   131486 |   19816    8970   534901    59.6 |  5.311 % |
49.06/49.18	c |    245553 |   40605   131486 |   21798    9478   571065    60.3 |  5.311 % |
49.16/49.25	c |    246313 |   40605   131486 |   23978   10238   619925    60.6 |  5.311 % |
49.26/49.36	c |    247452 |   40605   131486 |   26375   11377   695487    61.1 |  5.311 % |
49.47/49.52	c |    249160 |   40605   131486 |   29013   13085   812586    62.1 |  5.311 % |
49.76/49.82	c |    251723 |   40605   131486 |   31914   15648  1016519    65.0 |  5.311 % |
50.26/50.37	c |    255567 |   40605   131486 |   35106   19492  1298692    66.6 |  5.311 % |
51.16/51.23	c |    261333 |   40605   131486 |   38616   25258  1806011    71.5 |  5.311 % |
53.06/53.12	c |    269985 |   40605   131486 |   42478   33910  2457324    72.5 |  5.311 % |
55.56/55.60	c |    282959 |   40605   131486 |   46726   20250  1443163    71.3 |  5.311 % |
58.96/59.07	c |    302420 |   40605   131486 |   51399   39711  2947846    74.2 |  5.311 % |
64.56/64.68	c |    331614 |   40605   131486 |   56539   31634  2145344    67.8 |  5.311 % |
74.46/74.58	c |    375403 |   40605   131486 |   62192   36199  2572547    71.1 |  5.311 % |
86.96/87.04	c |    441091 |   40605   131486 |   68412   55342  4323283    78.1 |  5.311 % |
107.55/107.67	c |    539618 |   40605   131486 |   75253   47190  2994778    63.5 |  5.311 % |
141.44/141.50	c |    687408 |   40605   131486 |   82778   76373  5147113    67.4 |  5.311 % |
188.83/188.93	c |    909092 |   40605   131486 |   91056   36897  2361930    64.0 |  5.311 % |
262.93/263.04	c |   1241620 |   40605   131486 |  100162   80375  4694202    58.4 |  5.311 % |
278.72/278.81	c ==============================================================================
278.72/278.81	c Found solution: 28
278.72/278.81	c ---[   0]---> Adder-cost: 0   maxlim: 2081   bits: 12/12
278.72/278.87	c ==================================[MINISAT+]==================================
278.72/278.87	c | Conflicts | Original         | Learnt                           | Progress |
278.72/278.87	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
278.72/278.87	c ==============================================================================
278.72/278.87	c |   1319040 |   40606   131491 |   13535   74677  5049941    67.6 |  5.311 % |
279.22/279.40	c |   1319140 |   40606   131491 |   14888    9042   458514    50.7 |  5.321 % |
279.32/279.42	c |   1319290 |   40375   130688 |   16377    9163   459345    50.1 |  5.782 % |
279.32/279.45	c |   1319516 |   40375   130688 |   18015    9389   461625    49.2 |  5.782 % |
279.32/279.48	c |   1319853 |   40375   130688 |   19816    9726   480174    49.4 |  5.782 % |
279.42/279.52	c |   1320359 |   40375   130688 |   21798   10232   513519    50.2 |  5.782 % |
279.52/279.60	c |   1321121 |   40375   130688 |   23978   10994   559696    50.9 |  5.782 % |
279.62/279.71	c |   1322260 |   40375   130688 |   26375   12133   635075    52.3 |  5.782 % |
279.72/279.86	c |   1323970 |   40375   130688 |   29013   13843   790770    57.1 |  5.782 % |
280.02/280.10	c |   1326532 |   40291   130400 |   31914   16382   985967    60.2 |  5.951 % |
280.42/280.52	c |   1330386 |   40291   130400 |   35106   20236  1326612    65.6 |  5.951 % |
281.02/281.19	c |   1336154 |   40291   130400 |   38616   26004  1977781    76.1 |  5.951 % |
282.41/282.54	c |   1344804 |   40291   130400 |   42478   34654  3064700    88.4 |  5.951 % |
284.71/284.83	c |   1357778 |   40291   130400 |   46726   19555  1825164    93.3 |  5.951 % |
288.01/288.19	c |   1377240 |   40291   130400 |   51399   39017  3663084    93.9 |  5.951 % |
293.91/294.02	c |   1406435 |   40291   130400 |   56539   33041  2828462    85.6 |  5.951 % |
303.21/303.30	c |   1450225 |   40291   130400 |   62192   37561  3139894    83.6 |  5.951 % |
315.11/315.22	c |   1515909 |   40291   130400 |   68412   57758  4535786    78.5 |  5.951 % |
333.32/333.42	c |   1614440 |   40291   130400 |   75253   58418  4870954    83.4 |  5.951 % |
369.90/370.03	c |   1762229 |   40291   130400 |   82778   32097  2181512    68.0 |  5.951 % |
418.89/419.05	c |   1983916 |   40291   130400 |   91056   56533  4102704    72.6 |  5.951 % |
504.49/504.65	c |   2316443 |   40291   130400 |  100162   23844  1397984    58.6 |  5.951 % |
528.18/528.31	c ==============================================================================
528.18/528.31	c Found solution: 27
528.18/528.31	c ---[   0]---> Adder-cost: 0   maxlim: 2082   bits: 12/12
528.18/528.36	c ==================================[MINISAT+]==================================
528.18/528.36	c | Conflicts | Original         | Learnt                           | Progress |
528.18/528.36	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
528.18/528.36	c ==============================================================================
528.18/528.36	c |   2409292 |   40292   130406 |   13430   36672  2271948    62.0 |  5.951 % |
528.28/528.46	c |   2409393 |   40292   130406 |   14773    9269   471666    50.9 |  5.962 % |
528.28/528.47	c |   2409543 |   40292   130406 |   16250    9419   474434    50.4 |  5.962 % |
528.28/528.49	c |   2409768 |   40292   130406 |   17875    9644   488170    50.6 |  5.962 % |
528.38/528.52	c |   2410106 |   40292   130406 |   19662    9982   511736    51.3 |  5.962 % |
528.38/528.57	c |   2410615 |   40292   130406 |   21629   10491   546592    52.1 |  5.962 % |
528.48/528.64	c |   2411374 |   40292   130406 |   23792   11250   601236    53.4 |  5.962 % |
528.58/528.75	c |   2412513 |   40292   130406 |   26171   12389   680319    54.9 |  5.962 % |
528.78/528.94	c |   2414221 |   40292   130406 |   28788   14097   801295    56.8 |  5.962 % |
529.09/529.26	c |   2416783 |   40292   130406 |   31667   16659   985454    59.2 |  5.962 % |
529.58/529.75	c |   2420632 |   40292   130406 |   34833   20508  1284126    62.6 |  5.962 % |
530.48/530.67	c |   2426398 |   40292   130406 |   38317   26274  1726491    65.7 |  5.962 % |
532.08/532.25	c |   2435047 |   40292   130406 |   42149   34923  2391426    68.5 |  5.962 % |
534.68/534.87	c |   2448022 |   40292   130406 |   46364   21566  1379844    64.0 |  5.962 % |
538.38/538.50	c |   2467484 |   40292   130406 |   51000   41028  2750498    67.0 |  5.962 % |
543.58/543.73	c |   2496678 |   40292   130406 |   56100   34445  2290658    66.5 |  5.962 % |
551.78/551.93	c |   2540469 |   40292   130406 |   61710   38826  2581673    66.5 |  5.962 % |
565.28/565.48	c |   2606157 |   40292   130406 |   67881   58421  3755770    64.3 |  5.962 % |
585.07/585.22	c |   2704683 |   40292   130406 |   74669   55548  3679906    66.2 |  5.962 % |
613.56/613.73	c |   2852473 |   40292   130406 |   82136   30181  2003890    66.4 |  5.962 % |
656.96/657.10	c |   3074158 |   40292   130406 |   90350   59036  4935809    83.6 |  5.962 % |
722.55/722.72	c |   3406683 |   40292   130406 |   99385   30513  2237257    73.3 |  5.962 % |
809.23/809.43	c ==============================================================================
809.23/809.43	c Found solution: 26
809.23/809.43	c ---[   0]---> Adder-cost: 0   maxlim: 2083   bits: 12/12
809.23/809.49	c ==================================[MINISAT+]==================================
809.23/809.49	c | Conflicts | Original         | Learnt                           | Progress |
809.23/809.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
809.23/809.49	c ==============================================================================
809.23/809.49	c |   3823956 |   40293   130410 |   13431   45199  3772671    83.5 |  5.962 % |
809.33/809.58	c |   3824057 |   40293   130410 |   14774    7929   444782    56.1 |  5.972 % |
809.33/809.59	c |   3824207 |   40293   130410 |   16251    8079   451051    55.8 |  5.972 % |
809.43/809.61	c |   3824432 |   40293   130410 |   17876    8304   465627    56.1 |  5.972 % |
809.43/809.64	c |   3824770 |   40293   130410 |   19664    8642   486012    56.2 |  5.972 % |
809.43/809.67	c |   3825277 |   40293   130410 |   21630    9149   523833    57.3 |  5.972 % |
809.53/809.74	c |   3826036 |   40293   130410 |   23793    9908   573288    57.9 |  5.972 % |
809.63/809.84	c |   3827175 |   40293   130410 |   26173   11047   652077    59.0 |  5.972 % |
809.83/810.01	c |   3828887 |   40293   130410 |   28790   12759   784718    61.5 |  5.972 % |
810.03/810.24	c |   3831450 |   40293   130410 |   31669   15322  1020442    66.6 |  5.972 % |
810.42/810.66	c |   3835295 |   40293   130410 |   34836   19167  1383385    72.2 |  5.972 % |
811.02/811.26	c |   3841061 |   40293   130410 |   38320   24933  1876077    75.2 |  5.972 % |
812.32/812.54	c |   3849711 |   40293   130410 |   42152   33583  2632472    78.4 |  5.972 % |
814.22/814.41	c |   3862685 |   40293   130410 |   46367   18569  1495108    80.5 |  5.972 % |
817.23/817.43	c |   3882149 |   40293   130410 |   51004   38033  3346107    88.0 |  5.972 % |
822.02/822.21	c |   3911341 |   40293   130410 |   56104   31160  3047716    97.8 |  5.972 % |
830.72/830.96	c |   3955130 |   40293   130410 |   61715   36788  3414452    92.8 |  5.972 % |
841.52/841.73	c |   4020814 |   40293   130410 |   67886   56088  4096782    73.0 |  5.972 % |
857.82/858.10	c |   4119341 |   40293   130410 |   74675   53628  2913631    54.3 |  5.972 % |
886.52/886.71	c |   4267130 |   40293   130410 |   82142   33513  1551780    46.3 |  5.972 % |
931.01/931.26	c |   4488817 |   40293   130410 |   90357   70186  4544263    64.7 |  5.972 % |
994.40/994.61	c |   4821344 |   40293   130410 |   99392   42850  2636525    61.5 |  5.972 % |
1100.38/1100.65	c |   5320132 |   40293   130410 |  109332   64343  4912491    76.3 |  5.972 % |
1283.35/1283.69	c |   6068318 |   40293   130410 |  120265  102318  7848149    76.7 |  5.972 % |
1550.31/1550.64	c |   7190593 |   40293   130410 |  132291  118119 10160655    86.0 |  5.972 % |
1800.08/1800.40	c 
1800.08/1800.40	c *** TERMINATED ***
1800.08/1800.40	s SATISFIABLE
1800.08/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	26

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 1.99 1.94 3/177 23024
/proc/meminfo: memFree=26883096/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0

[startup+0.103161 s]
/proc/loadavg: 2.00 1.99 1.94 3/177 23024
/proc/meminfo: memFree=26883096/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200255 s]
/proc/loadavg: 2.00 1.99 1.94 3/177 23024
/proc/meminfo: memFree=26883096/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300203 s]
/proc/loadavg: 2.00 1.99 1.94 3/177 23024
/proc/meminfo: memFree=26883096/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700186 s]
/proc/loadavg: 2.00 1.99 1.94 3/177 23024
/proc/meminfo: memFree=26883096/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50022 s]
/proc/loadavg: 2.00 1.99 1.94 3/179 23029
/proc/meminfo: memFree=26865712/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=20116 CPUtime=1.48 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 4705 0 0 0 148 0 0 0 20 0 1 0 323539194 20598784 4624 33554432000 4194304 5276501 140737306209984 140737306208168 4399854 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/23028/statm: 5029 4624 149 265 0 4761 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29264

[startup+3.10023 s]
/proc/loadavg: 2.00 1.99 1.94 3/179 23029
/proc/meminfo: memFree=26862116/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=24960 CPUtime=3.09 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 5914 0 0 0 308 1 0 0 20 0 1 0 323539194 25559040 5833 33554432000 4194304 5276501 140737306209984 140737306208168 4399816 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/23028/statm: 6240 5833 149 265 0 5972 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34108

[startup+6.30025 s]
/proc/loadavg: 2.00 1.99 1.94 3/179 23029
/proc/meminfo: memFree=26851948/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=33936 CPUtime=6.28 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 8130 0 0 0 627 1 0 0 20 0 1 0 323539194 34750464 8049 33554432000 4194304 5276501 140737306209984 140737306207576 4399807 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/23028/statm: 8484 8049 149 265 0 8216 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 43084

[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.94 3/179 23029
/proc/meminfo: memFree=26843564/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=39960 CPUtime=12.68 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 9610 0 0 0 1266 2 0 0 20 0 1 0 323539194 40919040 9529 33554432000 4194304 5276501 140737306209984 140737306208232 4399918 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23028/statm: 9990 9529 149 265 0 9722 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49108

[startup+25.5004 s]
/proc/loadavg: 2.00 1.99 1.94 3/179 23029
/proc/meminfo: memFree=26833952/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=50188 CPUtime=25.47 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 12151 0 0 0 2545 2 0 0 20 0 1 0 323539194 51392512 12071 33554432000 4194304 5276501 140737306209984 140737306207976 4398210 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23028/statm: 12547 12071 149 265 0 12279 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 59336

[startup+51.1004 s]
/proc/loadavg: 2.00 1.99 1.94 3/179 23029
/proc/meminfo: memFree=26826288/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=55920 CPUtime=51.06 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 13593 0 0 0 5103 3 0 0 20 0 1 0 323539194 57262080 13504 33554432000 4194304 5276501 140737306209984 140737306208232 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 13980 13504 150 265 0 13712 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 65068

[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/180 23032
/proc/meminfo: memFree=26821000/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=59164 CPUtime=102.26 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 14328 0 0 0 10223 3 0 0 20 0 1 0 323539194 60583936 14333 33554432000 4194304 5276501 140737306209984 140737306208408 4390912 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 14791 14333 150 265 0 14523 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 68312

[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/179 23033
/proc/meminfo: memFree=26815300/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=64576 CPUtime=162.24 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 15499 0 0 0 16221 3 0 0 20 0 1 0 323539194 66125824 15561 33554432000 4194304 5276501 140737306209984 140737306208168 4400020 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 16144 15561 150 265 0 15876 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 73724

[startup+222.306 s]
/proc/loadavg: 2.00 1.99 1.94 3/179 23033
/proc/meminfo: memFree=26810152/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=70484 CPUtime=222.23 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 16743 0 0 0 22220 3 0 0 20 0 1 0 323539194 72175616 16858 33554432000 4194304 5276501 140737306209984 140737306208168 4397608 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 17621 16858 150 265 0 17353 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 79632

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/179 23033
/proc/meminfo: memFree=26806180/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=74304 CPUtime=282.21 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 17644 0 0 0 28218 3 0 0 20 0 1 0 323539194 76087296 17748 33554432000 4194304 5276501 140737306209984 140737306208232 4399904 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 18576 17748 151 265 0 18308 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 83452

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/179 23033
/proc/meminfo: memFree=26799724/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=81044 CPUtime=342.21 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 19051 0 0 0 34217 4 0 0 20 0 1 0 323539194 82989056 19378 33554432000 4194304 5276501 140737306209984 140737306208168 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 20261 19378 151 265 0 19993 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 90192

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/179 23033
/proc/meminfo: memFree=26796124/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/23028/statm: 31346 29557 152 265 0 31078 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 134532

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23501
/proc/meminfo: memFree=25951980/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=126568 CPUtime=1242.06 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 29362 0 0 0 124198 8 0 0 20 0 1 0 323539194 129605632 29817 33554432000 4194304 5276501 140737306209984 140737306208168 4399840 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 31642 29817 152 265 0 31374 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 135716

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/180 23504
/proc/meminfo: memFree=25904480/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=128892 CPUtime=1302.05 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 29897 0 0 0 130197 8 0 0 20 0 1 0 323539194 131985408 30352 33554432000 4194304 5276501 140737306209984 140737306208168 4399800 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 32223 30352 152 265 0 31955 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 138040

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 23505
/proc/meminfo: memFree=25853772/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=131084 CPUtime=1362.03 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 30330 0 0 0 136195 8 0 0 20 0 1 0 323539194 134230016 30785 33554432000 4194304 5276501 140737306209984 140737306208408 4399992 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 32771 30785 152 265 0 32503 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 140232

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23505
/proc/meminfo: memFree=25810248/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=135360 CPUtime=1422.04 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 31321 0 0 0 142195 9 0 0 20 0 1 0 323539194 138608640 31776 33554432000 4194304 5276501 140737306209984 140737306208168 4399850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 33840 31776 152 265 0 33572 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 144508

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23505
/proc/meminfo: memFree=25765516/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=137644 CPUtime=1482.02 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 31877 0 0 0 148193 9 0 0 20 0 1 0 323539194 140947456 32332 33554432000 4194304 5276501 140737306209984 140737306208168 4394785 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 34411 32332 152 265 0 34143 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 146792

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23505
/proc/meminfo: memFree=25724748/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=138932 CPUtime=1542.01 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 32136 0 0 0 154192 9 0 0 20 0 1 0 323539194 142266368 32591 33554432000 4194304 5276501 140737306209984 140737306208216 4399995 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 34733 32591 152 265 0 34465 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 148080

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23505
/proc/meminfo: memFree=25689188/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=144348 CPUtime=1602 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 33418 0 0 0 160191 9 0 0 20 0 1 0 323539194 147812352 33873 33554432000 4194304 5276501 140737306209984 140737306208216 4394769 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 36087 33873 152 265 0 35819 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 153496

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 23507
/proc/meminfo: memFree=25648908/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=146512 CPUtime=1662 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 33873 0 0 0 166190 10 0 0 20 0 1 0 323539194 150028288 34328 33554432000 4194304 5276501 140737306209984 140737306208216 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 36628 34328 152 265 0 36360 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 155660

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23507
/proc/meminfo: memFree=25608024/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=150676 CPUtime=1721.98 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 34884 0 0 0 172188 10 0 0 20 0 1 0 323539194 154292224 35339 33554432000 4194304 5276501 140737306209984 140737306208216 4395021 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 37669 35339 152 265 0 37401 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 159824

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 1.96 3/179 23507
/proc/meminfo: memFree=25571348/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=152288 CPUtime=1781.97 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 35223 0 0 0 178187 10 0 0 20 0 1 0 323539194 155942912 35678 33554432000 4194304 5276501 140737306209984 140737306208216 4399904 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 38072 35678 152 265 0 37804 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 161436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 1.96 3/179 23507
/proc/meminfo: memFree=25561732/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=152756 CPUtime=1800.08 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 35321 0 0 0 179998 10 0 0 20 0 1 0 323539194 156422144 35776 33554432000 4194304 5276501 140737306209984 140737306208216 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 38189 35776 152 265 0 37921 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 161904

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

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

[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 1.96 3/179 23507
/proc/meminfo: memFree=25561732/32873844 swapFree=7628/7628
[pid=23024] ppid=23022 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23024/stat : 23024 (minisat+_script) S 23022 23024 20790 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323539194 9367552 277 33554432000 4194304 5064252 140734374838544 140734374837456 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23024/statm: 2287 277 236 213 0 72 0
[pid=23028] ppid=23024 vsize=152756 CPUtime=1800.08 cores=0,2,4,6
/proc/23028/stat : 23028 (minisat+_64-bit) R 23024 23024 20790 0 -1 4202496 35321 0 0 0 179998 10 0 0 20 0 1 0 323539194 156422144 35776 33554432000 4194304 5276501 140737306209984 140737306208216 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/23028/statm: 38189 35776 152 265 0 37921 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 161904

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23024 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.98
CPU system time (s): 0.1
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 161904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 933
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= 10
involuntary context switches= 2

runsolver used 2.95055 second user time and 9.8535 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-01 20:09:08
IDJOB=3723788
IDBENCH=24982
IDSOLVER=2307
FILE ID=node145/3723788-1338574148
RUNJOBID= node145-1338570165-22546
PBS_JOBID= 14635839
Free space on /tmp= 70924 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723788-1338574148/watcher-3723788-1338574148 -o /tmp/evaluation-result-3723788-1338574148/solver-3723788-1338574148 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723788-1338574148.opb

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

MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5
RANDOM SEED=1557180467

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26883360 kB
Buffers:          417004 kB
Cached:          4690264 kB
SwapCached:            0 kB
Active:          1589148 kB
Inactive:        3550568 kB
Active(anon):      23412 kB
Inactive(anon):    10932 kB
Active(file):    1565736 kB
Inactive(file):  3539636 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2764 kB
Writeback:             0 kB
AnonPages:         39360 kB
Mapped:            14780 kB
Shmem:               200 kB
Slab:             713880 kB
SReclaimable:     155380 kB
SUnreclaim:       558500 kB
KernelStack:        1472 kB
PageTables:         3776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     146284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70916 MiB
End job on node145 at 2012-06-01 20:39:11