Trace number 3721571

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: minisat+ 1.14SAT (TO)26 1800.09 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_009_area_delay.opb
MD5SUM2aa6eb5ee09e1484657dfe3626167241
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.238963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6148
Total number of constraints19000
Number of constraints which are clauses19000
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 constraint127
Number of terms in the objective function 2987
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 2987
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 2987
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c Parsing PB file...
0.19/0.25	c Converting 18513 PB-constraints to clauses...
0.19/0.25	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.19/0.25	c   -- Detecting intervals from adjacent constraints: #########
0.19/0.25	c   -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.19/0.27	c ---[17160]---> BDD-cost:    1
0.19/0.27	c ---[16546]---> BDD-cost:    1
0.19/0.27	c ---[16311]---> BDD-cost:    1
0.19/0.27	c ---[15857]---> BDD-cost:    1
0.19/0.27	c ---[15718]---> BDD-cost:    1
0.19/0.27	c ---[15667]---> BDD-cost:    1
0.19/0.27	c ---[15650]---> BDD-cost:    1
0.19/0.27	c ---[15647]---> BDD-cost:    1
0.19/0.27	c ---[15645]---> BDD-cost:    1
0.19/0.27	c ==================================[MINISAT+]==================================
0.19/0.27	c | Conflicts | Original         | Learnt                           | Progress |
0.19/0.27	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.19/0.27	c ==============================================================================
0.19/0.27	c |         0 |   16216    39245 |    5405       0        0     nan |  0.000 % |
0.19/0.28	c ==============================================================================
0.19/0.28	c Found solution: 29
0.19/0.28	o 29
0.19/0.29	c ---[   0]---> Adder-cost: 4990   maxlim: 2471   bits: 12/12
2.49/2.54	c ==================================[MINISAT+]==================================
2.49/2.54	c | Conflicts | Original         | Learnt                           | Progress |
2.49/2.54	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.49/2.54	c ==============================================================================
2.49/2.54	c |        11 |   50373   162268 |   16791      10      164    16.4 |  0.000 % |
2.49/2.57	c |       111 |   50097   161295 |   18470      58      342     5.9 |  9.347 % |
2.59/2.60	c |       261 |   49971   160871 |   20317     191      792     4.1 |  9.562 % |
2.59/2.64	c |       486 |   49971   160871 |   22348     416     1586     3.8 |  9.562 % |
2.69/2.72	c |       823 |   49886   160572 |   24583     734     2839     3.9 |  9.679 % |
2.79/2.83	c |      1329 |   49795   160277 |   27042    1224     5298     4.3 |  9.840 % |
2.89/2.94	c |      2088 |   49769   160187 |   29746    1978    20160    10.2 |  9.876 % |
3.09/3.10	c |      3227 |   49769   160187 |   32720    3117    82542    26.5 |  9.876 % |
3.20/3.29	c |      4935 |   49769   160187 |   35992    4825   248905    51.6 |  9.876 % |
3.59/3.62	c |      7497 |   49769   160187 |   39592    7387   460989    62.4 |  9.876 % |
4.19/4.22	c |     11343 |   49695   159931 |   43551   11221   835073    74.4 |  9.993 % |
5.29/5.36	c |     17109 |   49695   159931 |   47906   16987  1495803    88.1 |  9.993 % |
7.18/7.25	c |     25760 |   49672   159852 |   52697   25634  2547074    99.4 | 10.029 % |
10.59/10.65	c |     38734 |   49598   159596 |   57967   38597  4193570   108.7 | 10.145 % |
17.19/17.22	c |     58196 |   49589   159565 |   63763   58053  6769066   116.6 | 10.154 % |
20.68/20.70	c ==============================================================================
20.68/20.70	c Found solution: 28
20.68/20.70	o 28
20.68/20.72	c ---[   0]---> Adder-cost: 0   maxlim: 2472   bits: 12/12
22.99/23.00	c ==================================[MINISAT+]==================================
22.99/23.00	c | Conflicts | Original         | Learnt                           | Progress |
22.99/23.00	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
22.99/23.00	c ==============================================================================
22.99/23.00	c |     66982 |   49600   159607 |   16533   19282  1853321    96.1 | 10.154 % |
22.99/23.04	c |     67082 |   49600   159607 |   18186    9741   814624    83.6 | 10.160 % |
22.99/23.06	c |     67236 |   49600   159607 |   20004    9895   829382    83.8 | 10.160 % |
23.09/23.11	c |     67461 |   49600   159607 |   22005   10120   848639    83.9 | 10.160 % |
23.09/23.15	c |     67799 |   49600   159607 |   24205   10458   888823    85.0 | 10.160 % |
23.18/23.23	c |     68312 |   49600   159607 |   26626   10971   936516    85.4 | 10.160 % |
23.28/23.34	c |     69071 |   49600   159607 |   29289   11730   995031    84.8 | 10.160 % |
23.38/23.48	c |     70210 |   49600   159607 |   32218   12869  1084128    84.2 | 10.160 % |
23.78/23.80	c |     71921 |   49600   159607 |   35439   14580  1245470    85.4 | 10.160 % |
24.19/24.27	c |     74484 |   49600   159607 |   38983   17143  1524383    88.9 | 10.160 % |
24.88/24.94	c |     78331 |   49600   159607 |   42882   20990  1932488    92.1 | 10.160 % |
26.18/26.25	c |     84099 |   49600   159607 |   47170   26758  2501370    93.5 | 10.160 % |
28.38/28.49	c |     92749 |   49600   159607 |   51887   35408  3232376    91.3 | 10.160 % |
31.79/31.84	c |    105729 |   49600   159607 |   57076   48388  4382844    90.6 | 10.160 % |
37.29/37.38	c |    125192 |   49600   159607 |   62784   25289  1777430    70.3 | 10.160 % |
44.58/44.64	c |    154384 |   49600   159607 |   69062   54481  4061460    74.5 | 10.160 % |
58.68/58.75	c |    198175 |   49600   159607 |   75968   43501  3664688    84.2 | 10.160 % |
76.18/76.29	c ==============================================================================
76.18/76.29	c Found solution: 27
76.18/76.29	o 27
76.28/76.31	c ---[   0]---> Adder-cost: 0   maxlim: 2473   bits: 12/12
78.58/78.60	c ==================================[MINISAT+]==================================
78.58/78.60	c | Conflicts | Original         | Learnt                           | Progress |
78.58/78.60	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
78.58/78.60	c ==============================================================================
78.58/78.60	c |    246573 |   49601   159614 |   16533   31506  2565941    81.4 | 10.160 % |
78.68/78.76	c |    246673 |   49601   159614 |   18186   15853  1122045    70.8 | 10.168 % |
78.68/78.79	c |    246823 |   49601   159614 |   20004   16003  1123065    70.2 | 10.168 % |
78.78/78.84	c |    247048 |   49601   159614 |   22005   16228  1128125    69.5 | 10.168 % |
78.88/78.90	c |    247385 |   49601   159614 |   24205   16565  1147132    69.3 | 10.168 % |
78.88/78.97	c |    247891 |   49601   159614 |   26626   17071  1173974    68.8 | 10.168 % |
78.97/79.08	c |    248653 |   49345   158726 |   29289   17797  1224749    68.8 | 10.562 % |
79.18/79.26	c |    249794 |   49322   158647 |   32218   18930  1295546    68.4 | 10.598 % |
79.47/79.53	c |    251502 |   49322   158647 |   35439   20638  1423108    69.0 | 10.598 % |
79.97/80.02	c |    254067 |   49322   158647 |   38983   23203  1649235    71.1 | 10.598 % |
80.87/80.97	c |    257918 |   49322   158647 |   42882   27054  1989013    73.5 | 10.598 % |
82.57/82.60	c |    263685 |   49322   158647 |   47170   32821  2485543    75.7 | 10.598 % |
85.47/85.58	c |    272339 |   49322   158647 |   51887   41475  3137437    75.6 | 10.598 % |
89.57/89.61	c |    285315 |   49322   158647 |   57076   15813  1041992    65.9 | 10.598 % |
93.77/93.85	c |    304776 |   49322   158647 |   62784   35274  2815019    79.8 | 10.598 % |
103.67/103.76	c |    333968 |   49322   158647 |   69062   64466  5116381    79.4 | 10.598 % |
118.57/118.64	c |    377760 |   49322   158647 |   75968   55174  4233987    76.7 | 10.598 % |
143.56/143.65	c |    443445 |   49322   158647 |   83565   62677  4526095    72.2 | 10.598 % |
176.25/176.34	c |    541971 |   49322   158647 |   91922   27999  1760027    62.9 | 10.598 % |
223.73/223.83	c |    689764 |   49322   158647 |  101114   27345  1761658    64.4 | 10.598 % |
292.62/292.75	c |    911450 |   49322   158647 |  111225   82311  5940912    72.2 | 10.598 % |
349.62/349.80	c ==============================================================================
349.62/349.80	c Found solution: 26
349.62/349.80	o 26
349.72/349.81	c ---[   0]---> Adder-cost: 0   maxlim: 2474   bits: 12/12
351.92/352.07	c ==================================[MINISAT+]==================================
351.92/352.07	c | Conflicts | Original         | Learnt                           | Progress |
351.92/352.07	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
351.92/352.07	c ==============================================================================
351.92/352.07	c |   1055993 |   49325   158661 |   16441   35595  2586008    72.7 | 10.598 % |
352.11/352.21	c |   1056093 |   49325   158661 |   18085   15723  1021755    65.0 | 10.606 % |
352.11/352.24	c |   1056244 |   49325   158661 |   19893   15874  1023913    64.5 | 10.606 % |
352.11/352.28	c |   1056471 |   49325   158661 |   21882   16101  1036202    64.4 | 10.606 % |
352.21/352.33	c |   1056810 |   49325   158661 |   24071   16440  1055898    64.2 | 10.606 % |
352.21/352.39	c |   1057318 |   49325   158661 |   26478   16948  1098089    64.8 | 10.606 % |
352.31/352.49	c |   1058078 |   49325   158661 |   29126   17708  1154671    65.2 | 10.606 % |
352.51/352.68	c |   1059217 |   49325   158661 |   32038   18847  1239115    65.7 | 10.606 % |
352.81/352.94	c |   1060925 |   49325   158661 |   35242   20555  1367235    66.5 | 10.606 % |
353.21/353.35	c |   1063488 |   49325   158661 |   38767   23118  1547858    67.0 | 10.606 % |
354.02/354.12	c |   1067333 |   49325   158661 |   42643   26963  1843627    68.4 | 10.606 % |
355.31/355.49	c |   1073099 |   49325   158661 |   46908   32729  2297629    70.2 | 10.606 % |
358.11/358.23	c |   1081750 |   49325   158661 |   51598   41380  2994039    72.4 | 10.606 % |
362.11/362.22	c |   1094724 |   49325   158661 |   56758   17116  1084339    63.4 | 10.606 % |
366.51/366.66	c |   1114187 |   49325   158661 |   62434   36579  2424342    66.3 | 10.606 % |
375.61/375.77	c |   1143384 |   49325   158661 |   68678   20726  1185020    57.2 | 10.606 % |
387.60/387.74	c |   1187174 |   49325   158661 |   75545   64516  4381492    67.9 | 10.606 % |
407.80/407.90	c |   1252860 |   49325   158661 |   83100   70795  4958514    70.0 | 10.606 % |
440.19/440.30	c |   1351387 |   49325   158661 |   91410   38927  2513840    64.6 | 10.606 % |
488.68/488.84	c |   1499177 |   49325   158661 |  100551   40903  2472095    60.4 | 10.606 % |
566.87/567.08	c |   1720861 |   49325   158661 |  110606   92082  6635577    72.1 | 10.606 % |
696.35/696.56	c |   2053388 |   49325   158661 |  121667   54098  4062976    75.1 | 10.606 % |
909.72/909.99	c |   2552180 |   49325   158661 |  133834   38844  3023651    77.8 | 10.606 % |
1243.66/1243.95	c |   3300362 |   49325   158661 |  147217   94444  7838474    83.0 | 10.606 % |
1779.77/1780.13	c |   4422636 |   49325   158661 |  161939   47333  4491173    94.9 | 10.606 % |
1800.07/1800.40	c 
1800.07/1800.40	c *** TERMINATED ***
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	v -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 -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 -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 -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 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -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 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -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 -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 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -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 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -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 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -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 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -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 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -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 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -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 -x2390 -x2392 -x2394 -x2396 -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 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -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 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -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 -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 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -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 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -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 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -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 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -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 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -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 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -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 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -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 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 x5586 -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 -x5704 -x5706 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 x5872 -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 x5904 -x5906 -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010 x6012 -x6014 -x6016 -x6018 x6020 -x6022 -x6024 x6026 x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 -x6046 -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -x6082 -x6084 -x6086 x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 x6142 -x6144 x6146 x6148 -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 -x1 -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 -x2 -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 -x3 -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 -x4 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -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 -x5 -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 -x946 -x6 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x7 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x8 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x9 -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 -x10 -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 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x11 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x12 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x13 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x14 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x15 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x16 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x17 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -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 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x18 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x19 -x1732 -x1734 -x1736 -x1738 -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 -x20 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x21 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x22 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x23 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x24 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x25 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x26 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x27 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x28 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x29 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x30 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x31 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x32 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x33 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x34 -x2196 -x2198 -x2200 -x35 -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 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x36 -x2327 -x2329 -x2331 -x2333 -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 -x37 -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 -x38 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x39 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x40 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x41 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x42 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x43 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x44 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x45 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x46 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 x2809 -x2811 -x47 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x48 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x49 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x50 -x2855 -x2857 -x2859 -x51 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x52 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x53 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x54 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x55 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x56 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x57 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x58 -x3053 -x3055 -x3057 -x59 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x60 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x61 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x62 -x3131 -x3133 -x3135 -x63 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x64 -x3151 -x3153 -x3155 -x65 -x3157 -x3159 -x3161 -x66 -x3163 -x3165 -x3167 -x67 -x3169 -x68 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x69 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x70 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x71 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x72 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x73 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x74 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -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 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3623 -x3625 -x3627 -x3629 -x75 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x76 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x77 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x78 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x79 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x80 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x81 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x82 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x83 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x84 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x85 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x86 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x87 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x88 -x3987 -x3989 -x3991 -x89 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x90 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x91 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x92 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x93 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x94 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x95 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x96 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x97 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 x4264 -x4266 -x4268 -x4270 -x4272 -x98 -x4274 -x4276 -x4278 -x99 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x100 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x101 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x102 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x103 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x104 -x4366 -x4368 -x4370 -x105 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x106 -x4386 -x4388 x4390 -x4392 -x4394 -x107 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x108 -x4410 -x4412 -x4414 -x109 -x4416 -x4418 -x4420 -x110 -x4422 -x111 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x112 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x113 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x114 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 x4574 x115 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x116 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x117 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 x4638 -x4640 -x4642 -x4644 -x4646 -x118 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x119 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x120 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x121 -x4706 -x4708 -x4710 -x122 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x123 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x124 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x125 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x126 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x127 -x4798 -x4800 -x4802 -x128 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x129 -x4818 -x4820 -x4822 -x130 -x4824 -x4826 -x4828 -x131 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x132 -x4844 -x4846 -x4848 -x133 -x4850 -x4852 -x4854 -x134 -x4856 -x135 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x136 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x137 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x138 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x139 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x140 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x141 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x142 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x143 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x144 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x145 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x146 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x147 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 x148 -x5442 -x5444 -x5446 -x5448 -x5450 x5452 -x5454 -x149 -x5456 -x5458 -x5460 -x150 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x151 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x152 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 x5585 -x5587 -x5589 -x5591 -x5593 -x153 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x154 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x155 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x156 -x5651 -x5653 -x5655 -x157 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x158 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x159 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x160 -x5715 -x5717 -x161 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x162 -x5733 -x5735 x5737 -x5739 -x5741 -x5743 -x163 -x5745 -x164 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5795 -x5797 -x5799 -x165 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x166 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 x167 -x5861 -x5863 -x5865 -x5867 -x5869 x5871 -x5873 -x168 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x169 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x170 -x5933 -x5935 -x5937 -x171 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x172 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x173 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x174 -x5997 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 x6011 -x6013 -x6015 -x6017 x6019 -x6021 -x6023 x6025 x6027 x175 -x6029 -x176 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x177 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x178 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 x179 -x6085 x6087 -x6089 -x180 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x181 -x6105 -x6107 -x182 -x6109 -x6111 -x6113 -x183 -x6115 -x184 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x185 -x6129 -x6131 -x6133 -x186 -x6135 -x6137 -x6139 -x187 x6141 -x6143 x6145 x188 x6147 x189 x190

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 31724
/proc/meminfo: memFree=27545144/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=1796 CPUtime=0 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 288 0 0 0 0 0 0 0 20 0 1 0 321923198 1839104 246 33554432000 134512640 135395479 4291201184 4291200104 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 449 246 74 216 0 231 0

[startup+0.076054 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 31724
/proc/meminfo: memFree=27545144/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=3424 CPUtime=0.07 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 678 0 0 0 7 0 0 0 20 0 1 0 321923198 3506176 636 33554432000 134512640 135395479 4291201184 4291200016 134618678 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 856 636 74 216 0 638 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3424

[startup+0.10026 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 31724
/proc/meminfo: memFree=27545144/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=3852 CPUtime=0.09 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 792 0 0 0 9 0 0 0 20 0 1 0 321923198 3944448 750 33554432000 134512640 135395479 4291201184 4291200016 134618678 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 963 751 74 216 0 745 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3852

[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 31724
/proc/meminfo: memFree=27545144/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=8188 CPUtime=0.29 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 1927 0 0 0 28 1 0 0 20 0 1 0 321923198 8384512 1848 33554432000 134512640 135395479 4291201184 4290576364 135005899 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 2049 1850 104 216 0 1831 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8188

[startup+0.700227 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 31724
/proc/meminfo: memFree=27545144/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=8360 CPUtime=0.69 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 1970 0 0 0 68 1 0 0 20 0 1 0 321923198 8560640 1891 33554432000 134512640 135395479 4291201184 4291060340 135005317 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 2090 1891 104 216 0 1872 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8360

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31725
/proc/meminfo: memFree=27537812/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=8360 CPUtime=1.49 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 1981 0 0 0 148 1 0 0 20 0 1 0 321923198 8560640 1902 33554432000 134512640 135395479 4291201184 4290836048 134530472 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 2090 1902 104 216 0 1872 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8360

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31725
/proc/meminfo: memFree=27537556/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=15300 CPUtime=3.09 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 3948 0 0 0 308 1 0 0 20 0 1 0 321923198 15667200 3536 33554432000 134512640 135395479 4291201184 4291199084 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 3825 3536 123 216 0 3607 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15300

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31725
/proc/meminfo: memFree=27524936/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=23864 CPUtime=6.29 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 6091 0 0 0 628 1 0 0 20 0 1 0 321923198 24436736 5679 33554432000 134512640 135395479 4291201184 4291199536 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 5966 5679 123 216 0 5748 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23864

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31728
/proc/meminfo: memFree=27509852/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=37776 CPUtime=12.69 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 9541 0 0 0 1267 2 0 0 20 0 1 0 321923198 38682624 9129 33554432000 134512640 135395479 4291201184 4291198904 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 9444 9129 123 216 0 9226 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37776

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31728
/proc/meminfo: memFree=27495580/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=50772 CPUtime=25.48 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 12626 0 0 0 2545 3 0 0 20 0 1 0 321923198 51990528 12387 33554432000 134512640 135395479 4291201184 4291199504 134573001 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 12693 12387 123 216 0 12475 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50772

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31728
/proc/meminfo: memFree=27495584/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=50772 CPUtime=51.08 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 12632 0 0 0 5105 3 0 0 20 0 1 0 321923198 51990528 12393 33554432000 134512640 135395479 4291201184 4291199536 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 12693 12393 123 216 0 12475 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50772

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31728
/proc/meminfo: memFree=27495096/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=51372 CPUtime=102.28 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 12769 0 0 0 10225 3 0 0 20 0 1 0 321923198 52604928 12522 33554432000 134512640 135395479 4291201184 4291199536 134580923 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 12843 12522 123 216 0 12625 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 51372

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31728
/proc/meminfo: memFree=27493604/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=53084 CPUtime=162.26 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 13201 0 0 0 16223 3 0 0 20 0 1 0 321923198 54358016 12954 33554432000 134512640 135395479 4291201184 4291199536 134580809 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 13271 12954 123 216 0 13053 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 53084

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31728
/proc/meminfo: memFree=27487932/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=59408 CPUtime=222.23 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 14626 0 0 0 22219 4 0 0 20 0 1 0 321923198 60833792 14442 33554432000 134512640 135395479 4291201184 4291199440 134568472 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 14852 14442 123 216 0 14634 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 59408

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31728
/proc/meminfo: memFree=27486568/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=61108 CPUtime=282.23 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 15008 0 0 0 28218 5 0 0 20 0 1 0 321923198 62574592 14816 33554432000 134512640 135395479 4291201184 4291199152 134578111 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 15277 14816 123 216 0 15059 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 61108

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 31729
/proc/meminfo: memFree=27481116/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=66424 CPUtime=342.21 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 16325 0 0 0 34216 5 0 0 20 0 1 0 321923198 68018176 16133 33554432000 134512640 135395479 4291201184 4291199536 134580923 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 16606 16133 123 216 0 16388 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 66424

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/177 31729
/proc/meminfo: memFree=27479004/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=67296 CPUtime=402.2 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 16553 0 0 0 40215 5 0 0 20 0 1 0 321923198 68911104 16445 33554432000 134512640 135395479 4291201184 4291199152 134576837 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 16824 16445 123 216 0 16606 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 67296

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/177 31729
/proc/meminfo: memFree=27479056/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=67952 CPUtime=462.19 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 16690 0 0 0 46214 5 0 0 20 0 1 0 321923198 69582848 16582 33554432000 134512640 135395479 4291201184 4291199056 134574149 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 16988 16582 123 216 0 16770 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 67952

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 31729
/proc/meminfo: memFree=27478188/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=69332 CPUtime=522.18 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 16943 0 0 0 52213 5 0 0 20 0 1 0 321923198 70995968 16835 33554432000 134512640 135395479 4291201184 4291199536 134580947 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 17333 16835 123 216 0 17115 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 69332

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 31729
/proc/meminfo: memFree=27475708/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=71560 CPUtime=582.17 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 17498 0 0 0 58211 6 0 0 20 0 1 0 321923198 73277440 17390 33554432000 134512640 135395479 4291201184 4291199536 134580973 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 17890 17390 123 216 0 17672 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 71560

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.10 2.03 1.96 3/177 31784
/proc/meminfo: memFree=27732684/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=82824 CPUtime=822.13 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 20179 0 0 0 82206 7 0 0 20 0 1 0 321923198 84811776 20145 33554432000 134512640 135395479 4291201184 4291199440 134568540 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 20706 20145 123 216 0 20488 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 82824

[startup+882.3 s]
/proc/loadavg: 1.99 2.01 1.95 3/177 31834
/proc/meminfo: memFree=27731452/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=84796 CPUtime=882.12 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 20610 0 0 0 88204 8 0 0 20 0 1 0 321923198 86831104 20576 33554432000 134512640 135395479 4291201184 4291199536 134580959 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 21199 20576 123 216 0 20981 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 84796

[startup+942.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 31879
/proc/meminfo: memFree=27725672/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=85120 CPUtime=942.11 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 20711 0 0 0 94203 8 0 0 20 0 1 0 321923198 87162880 20718 33554432000 134512640 135395479 4291201184 4291199536 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 21280 20718 123 216 0 21062 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 85120

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 31885
/proc/meminfo: memFree=27587360/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=88480 CPUtime=1002.1 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 21524 0 0 0 100202 8 0 0 20 0 1 0 321923198 90603520 21541 33554432000 134512640 135395479 4291201184 4291199536 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 22120 21541 123 216 0 21902 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 88480

[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 31885
/proc/meminfo: memFree=27580676/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=89332 CPUtime=1062.09 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 21695 0 0 0 106201 8 0 0 20 0 1 0 321923198 91475968 21712 33554432000 134512640 135395479 4291201184 4291199488 134580414 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 22333 21712 123 216 0 22115 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 89332

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 31885
/proc/meminfo: memFree=27579748/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=89788 CPUtime=1122.09 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 21762 0 0 0 112200 9 0 0 20 0 1 0 321923198 91942912 21787 33554432000 134512640 135395479 4291201184 4291199536 134580744 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 22447 21787 123 216 0 22229 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 89788

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 31885
/proc/meminfo: memFree=27578596/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=90524 CPUtime=1182.08 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 21937 0 0 0 118199 9 0 0 20 0 1 0 321923198 92696576 21962 33554432000 134512640 135395479 4291201184 4291199536 134580840 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 22631 21962 123 216 0 22413 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 90524

[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 31889
/proc/meminfo: memFree=27573936/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=94436 CPUtime=1242.06 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 22817 0 0 0 124197 9 0 0 20 0 1 0 321923198 96702464 22845 33554432000 134512640 135395479 4291201184 4291199232 134583973 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 23609 22845 123 216 0 23391 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 94436

[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 31912
/proc/meminfo: memFree=27565656/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=101924 CPUtime=1302.07 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 24611 0 0 0 130196 11 0 0 20 0 1 0 321923198 104370176 24639 33554432000 134512640 135395479 4291201184 4291199536 134580943 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 25481 24639 123 216 0 25263 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 101924

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 31912
/proc/meminfo: memFree=27563600/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=102496 CPUtime=1362.04 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 24765 0 0 0 136193 11 0 0 20 0 1 0 321923198 104955904 24821 33554432000 134512640 135395479 4291201184 4291199536 134581014 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 25624 24821 123 216 0 25406 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 102496

[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 31912
/proc/meminfo: memFree=27538616/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=127864 CPUtime=1422.04 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 31055 0 0 0 142190 14 0 0 20 0 1 0 321923198 130932736 31111 33554432000 134512640 135395479 4291201184 4291199536 134580959 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 31966 31111 123 216 0 31748 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 127864

[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 31912
/proc/meminfo: memFree=27537252/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=128696 CPUtime=1482.02 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 31222 0 0 0 148188 14 0 0 20 0 1 0 321923198 131784704 31278 33554432000 134512640 135395479 4291201184 4291199536 134580945 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 32174 31278 123 216 0 31956 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 128696

[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 31913
/proc/meminfo: memFree=27536188/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=129268 CPUtime=1542 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 31364 0 0 0 154186 14 0 0 20 0 1 0 321923198 132370432 31426 33554432000 134512640 135395479 4291201184 4291199488 134580288 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 32317 31426 123 216 0 32099 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 129268

[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 31913
/proc/meminfo: memFree=27535260/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=129268 CPUtime=1601.99 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 31364 0 0 0 160185 14 0 0 20 0 1 0 321923198 132370432 31426 33554432000 134512640 135395479 4291201184 4291199536 134581488 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 32317 31426 123 216 0 32099 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 129268

[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 31913
/proc/meminfo: memFree=27534764/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=129468 CPUtime=1661.98 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 31416 0 0 0 166184 14 0 0 20 0 1 0 321923198 132575232 31478 33554432000 134512640 135395479 4291201184 4291199536 134580801 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 32367 31478 123 216 0 32149 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 129468

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 31913
/proc/meminfo: memFree=27534764/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=129468 CPUtime=1721.97 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 31416 0 0 0 172183 14 0 0 20 0 1 0 321923198 132575232 31478 33554432000 134512640 135395479 4291201184 4291199536 134581488 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 32367 31478 123 216 0 32149 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 129468

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 31913
/proc/meminfo: memFree=27534144/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=129468 CPUtime=1781.97 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 31419 0 0 0 178183 14 0 0 20 0 1 0 321923198 132575232 31481 33554432000 134512640 135395479 4291201184 4291199536 134581047 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 32367 31481 123 216 0 32149 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 129468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 31913
/proc/meminfo: memFree=27533896/32873648 swapFree=7368/7368
[pid=31724] ppid=31722 vsize=129468 CPUtime=1800.07 cores=1,3,5,7
/proc/31724/stat : 31724 (minisat+) R 31722 31724 31158 0 -1 4202496 31419 0 0 0 179993 14 0 0 20 0 1 0 321923198 132575232 31481 33554432000 134512640 135395479 4291201184 4291199536 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/31724/statm: 32367 31481 123 216 0 32149 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 129468

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

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.94
CPU system time (s): 0.151976
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 129468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.151976
maximum resident set size= 125932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31421
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= 53
involuntary context switches= 1933

runsolver used 2.96255 second user time and 9.93149 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-01 15:39:51
IDJOB=3721571
IDBENCH=24991
IDSOLVER=2306
FILE ID=node149/3721571-1338557991
RUNJOBID= node149-1338552555-31175
PBS_JOBID= 14635835
Free space on /tmp= 71324 MiB

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

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

MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241
RANDOM SEED=1420722120

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27545424 kB
Buffers:          665928 kB
Cached:          3519448 kB
SwapCached:         2468 kB
Active:          1787508 kB
Inactive:        2688852 kB
Active(anon):     273744 kB
Inactive(anon):     9368 kB
Active(file):    1513764 kB
Inactive(file):  2679484 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:              2780 kB
Writeback:             0 kB
AnonPages:        285344 kB
Mapped:            14732 kB
Shmem:                96 kB
Slab:             714372 kB
SReclaimable:     158556 kB
SUnreclaim:       555816 kB
KernelStack:        1472 kB
PageTables:         4616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     396428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721571-1338557991.opb

Free space on /tmp at the end= 71316 MiB
End job on node149 at 2012-06-01 16:09:53