Trace number 3723772

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB12: minisatp 1.0-2-g022594cSAT (TO)32 1800.04 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
MD5SUM525408a019e1cf8f47f95fb4bdf20c0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark9.00163
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables5256
Total number of constraints15614
Number of constraints which are clauses15614
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2531
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 2531
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 2531
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.02	c Converting 15392 PB-constraints to clauses...
0.00/0.02	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.00/0.02	c   -- Detecting intervals from adjacent constraints: #########
0.00/0.02	c   -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.04	c ---[14716]---> BDD-cost:    1
0.00/0.04	c ---[13866]---> BDD-cost:    1
0.00/0.04	c ---[13509]---> BDD-cost:    1
0.00/0.04	c ---[13267]---> BDD-cost:    1
0.00/0.04	c ---[13160]---> BDD-cost:    1
0.00/0.04	c ---[13130]---> BDD-cost:    1
0.00/0.04	c ---[13113]---> BDD-cost:    1
0.00/0.04	c ---[13108]---> BDD-cost:    1
0.00/0.04	c ---[13106]---> BDD-cost:    1
0.00/0.04	c ==================================[MINISAT+]==================================
0.00/0.04	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.04	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |   14409    35424 |    4803       0        0    -nan |  0.000 % |
0.00/0.04	c ==============================================================================
0.00/0.04	c Found solution: 36
0.00/0.04	c ---[   0]---> Adder-cost: 4610   maxlim: 2273   bits: 12/12
0.00/0.11	c ==================================[MINISAT+]==================================
0.00/0.11	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.11	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.11	c ==============================================================================
0.00/0.11	c |        11 |   45840   148823 |   15280      10      112    11.2 |  0.000 % |
0.00/0.12	c |       111 |   45840   148823 |   16808     110     1078     9.8 |  4.707 % |
0.00/0.13	c |       261 |   45805   148702 |   18488     250     1721     6.9 |  4.758 % |
0.00/0.15	c |       487 |   45649   148165 |   20337     444     2503     5.6 |  5.011 % |
0.00/0.19	c |       824 |   45605   148017 |   22371     775     3923     5.1 |  5.092 % |
0.00/0.23	c |      1332 |   45557   147855 |   24608    1274    10016     7.9 |  5.173 % |
0.00/0.30	c |      2091 |   45340   147106 |   27069    2001    27119    13.6 |  5.568 % |
0.00/0.41	c |      3230 |   45340   147106 |   29776    3140    87521    27.9 |  5.568 % |
0.00/0.54	c |      4939 |   45340   147106 |   32754    4849   229437    47.3 |  5.568 % |
0.00/0.79	c |      7503 |   45340   147106 |   36029    7413   511287    69.0 |  5.568 % |
1.20/1.22	c |     11347 |   45340   147106 |   39632   11257  1040754    92.5 |  5.568 % |
1.79/1.85	c |     17115 |   45340   147106 |   43595   17025  1785531   104.9 |  5.568 % |
3.29/3.32	c |     25764 |   45340   147106 |   47955   25674  3243640   126.3 |  5.568 % |
6.39/6.42	c |     38738 |   45340   147106 |   52750   38648  5478840   141.8 |  5.568 % |
10.58/10.69	c |     58201 |   45340   147106 |   58025   20462  2508703   122.6 |  5.568 % |
18.09/18.14	c |     87394 |   45340   147106 |   63828   49655  7863906   158.4 |  5.568 % |
30.48/30.53	c |    131183 |   45340   147106 |   70211   44760  6014064   134.4 |  5.568 % |
50.17/50.27	c ==============================================================================
50.17/50.27	c Found solution: 35
50.17/50.27	c ---[   0]---> Adder-cost: 0   maxlim: 2274   bits: 12/12
50.27/50.34	c ==================================[MINISAT+]==================================
50.27/50.34	c | Conflicts | Original         | Learnt                           | Progress |
50.27/50.34	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
50.27/50.34	c ==============================================================================
50.27/50.34	c |    195441 |   45347   147138 |   15115   54195  7325369   135.2 |  5.568 % |
50.47/50.50	c |    195541 |   45347   147138 |   16626    8986   668052    74.3 |  5.577 % |
50.47/50.51	c |    195691 |   45347   147138 |   18289    9136   669732    73.3 |  5.577 % |
50.47/50.53	c |    195919 |   45347   147138 |   20118    9364   675348    72.1 |  5.577 % |
50.47/50.56	c |    196257 |   45347   147138 |   22129    9702   707206    72.9 |  5.577 % |
50.58/50.61	c |    196763 |   45347   147138 |   24342   10208   752247    73.7 |  5.577 % |
50.68/50.71	c |    197527 |   45347   147138 |   26777   10972   860566    78.4 |  5.577 % |
50.77/50.84	c |    198666 |   45347   147138 |   29454   12111  1015195    83.8 |  5.577 % |
50.97/51.08	c |    200374 |   45347   147138 |   32400   13819  1228727    88.9 |  5.577 % |
51.37/51.47	c |    202937 |   45347   147138 |   35640   16382  1729536   105.6 |  5.577 % |
51.97/52.09	c |    206782 |   45347   147138 |   39204   20227  2443937   120.8 |  5.577 % |
53.07/53.18	c |    212549 |   45347   147138 |   43124   25994  3195628   122.9 |  5.577 % |
55.37/55.44	c |    221200 |   45347   147138 |   47437   34645  4330148   125.0 |  5.577 % |
59.48/59.51	c |    234174 |   45347   147138 |   52181   47619  6120467   128.5 |  5.577 % |
64.67/64.78	c |    253637 |   45347   147138 |   57399   30591  3606070   117.9 |  5.577 % |
73.47/73.58	c |    282829 |   45347   147138 |   63139   17975  1932588   107.5 |  5.577 % |
86.57/86.63	c |    326620 |   45347   147138 |   69453   61766  9440373   152.8 |  5.577 % |
105.68/105.74	c |    392305 |   45347   147138 |   76398   22729  3130345   137.7 |  5.577 % |
133.07/133.14	c |    490833 |   45347   147138 |   84038   63882  7907408   123.8 |  5.577 % |
170.63/170.75	c |    638622 |   45347   147138 |   92441   76789 10582688   137.8 |  5.577 % |
230.31/230.46	c |    860308 |   45347   147138 |  101686   75210 10141336   134.8 |  5.577 % |
337.89/338.00	c |   1192833 |   45347   147138 |  111854   72673 10365063   142.6 |  5.577 % |
508.75/508.94	c ==============================================================================
508.75/508.94	c Found solution: 34
508.75/508.94	c ---[   0]---> Adder-cost: 0   maxlim: 2275   bits: 12/12
508.85/509.02	c ==================================[MINISAT+]==================================
508.85/509.02	c | Conflicts | Original         | Learnt                           | Progress |
508.85/509.02	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
508.85/509.02	c ==============================================================================
508.85/509.02	c |   1627816 |   45348   147146 |   15116   42418  7675578   181.0 |  5.577 % |
508.95/509.14	c |   1627916 |   45348   147146 |   16627    7956   979706   123.1 |  5.586 % |
508.95/509.16	c |   1628066 |   45348   147146 |   18290    8106   980733   121.0 |  5.586 % |
508.95/509.19	c |   1628291 |   45348   147146 |   20119    8331   981937   117.9 |  5.586 % |
509.05/509.23	c |   1628628 |   45348   147146 |   22131    8668   987415   113.9 |  5.586 % |
509.05/509.27	c |   1629134 |   45348   147146 |   24344    9174  1015233   110.7 |  5.586 % |
509.15/509.34	c |   1629894 |   45348   147146 |   26778    9934  1078905   108.6 |  5.586 % |
509.25/509.43	c |   1631036 |   45348   147146 |   29456   11076  1197092   108.1 |  5.586 % |
509.35/509.59	c |   1632745 |   45348   147146 |   32402   12785  1413688   110.6 |  5.586 % |
509.65/509.85	c |   1635311 |   45348   147146 |   35642   15351  1745236   113.7 |  5.586 % |
510.15/510.37	c |   1639156 |   45348   147146 |   39207   19196  2312766   120.5 |  5.586 % |
511.05/511.22	c |   1644923 |   45348   147146 |   43127   24963  3072944   123.1 |  5.586 % |
512.65/512.88	c |   1653573 |   45348   147146 |   47440   33613  4483150   133.4 |  5.586 % |
515.05/515.23	c |   1666547 |   45348   147146 |   52184   46587  6669203   143.2 |  5.586 % |
518.35/518.54	c |   1686008 |   45348   147146 |   57402   28726  3979423   138.5 |  5.586 % |
524.15/524.39	c |   1715201 |   45348   147146 |   63143   57919  7750561   133.8 |  5.586 % |
531.94/532.17	c |   1758991 |   45348   147146 |   69457   56370  8577228   152.2 |  5.586 % |
546.55/546.76	c |   1824676 |   45348   147146 |   76403   67606 10507993   155.4 |  5.586 % |
571.24/571.40	c |   1923203 |   45342   147126 |   84043   48074  5262626   109.5 |  5.597 % |
604.73/604.98	c |   2070993 |   45342   147126 |   92448   60312  8622889   143.0 |  5.597 % |
664.12/664.32	c |   2292676 |   45342   147126 |  101692   56806  6931394   122.0 |  5.597 % |
695.51/695.74	c ==============================================================================
695.51/695.74	c Found solution: 33
695.51/695.74	c ---[   0]---> Adder-cost: 0   maxlim: 2276   bits: 12/12
695.61/695.82	c ==================================[MINISAT+]==================================
695.61/695.82	c | Conflicts | Original         | Learnt                           | Progress |
695.61/695.82	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
695.61/695.82	c ==============================================================================
695.61/695.82	c |   2383824 |   45347   147152 |   15115   68300  8059296   118.0 |  5.597 % |
695.91/696.16	c |   2383924 |   45347   147152 |   16626   10735   744057    69.3 |  5.606 % |
695.91/696.19	c |   2384075 |   45347   147152 |   18289   10886   744926    68.4 |  5.606 % |
696.01/696.21	c |   2384300 |   45347   147152 |   20118   11111   746673    67.2 |  5.606 % |
696.01/696.25	c |   2384637 |   45347   147152 |   22129   11448   758473    66.3 |  5.606 % |
696.01/696.29	c |   2385143 |   45347   147152 |   24342   11954   796452    66.6 |  5.606 % |
696.12/696.34	c |   2385902 |   45347   147152 |   26777   12713   869725    68.4 |  5.606 % |
696.22/696.45	c |   2387041 |   45347   147152 |   29454   13852  1015532    73.3 |  5.606 % |
696.41/696.62	c |   2388749 |   45347   147152 |   32400   15560  1234420    79.3 |  5.606 % |
696.71/696.93	c |   2391311 |   45347   147152 |   35640   18122  1584138    87.4 |  5.606 % |
697.22/697.48	c |   2395156 |   45347   147152 |   39204   21967  2124752    96.7 |  5.606 % |
698.21/698.41	c |   2400927 |   45347   147152 |   43124   27738  2889100   104.2 |  5.606 % |
700.01/700.24	c |   2409576 |   45347   147152 |   47437   36387  4084040   112.2 |  5.606 % |
703.51/703.76	c |   2422550 |   45347   147152 |   52181   16868  1691233   100.3 |  5.606 % |
707.01/707.25	c |   2442014 |   45347   147152 |   57399   36332  4308182   118.6 |  5.606 % |
714.01/714.20	c |   2471206 |   45347   147152 |   63139   23861  2842436   119.1 |  5.606 % |
724.81/725.01	c |   2514996 |   45347   147152 |   69453   21333  2570705   120.5 |  5.606 % |
739.70/739.96	c |   2580680 |   45347   147152 |   76398   35530  5453638   153.5 |  5.606 % |
769.30/769.55	c |   2679207 |   45347   147152 |   84038   74453 10782694   144.8 |  5.606 % |
815.39/815.67	c |   2826996 |   45347   147152 |   92441   23861  2900748   121.6 |  5.606 % |
884.89/885.10	c |   3048686 |   45347   147152 |  101686   24994  3220487   128.9 |  5.606 % |
981.87/982.14	c |   3381214 |   45347   147152 |  111854   26818  3649826   136.1 |  5.606 % |
1131.94/1132.28	c |   3880002 |   45347   147152 |  123040   68769  9555951   139.0 |  5.606 % |
1442.67/1443.06	c |   4628187 |   45347   147152 |  135344   92475 15097205   163.3 |  5.606 % |
1516.67/1517.08	c ==============================================================================
1516.67/1517.08	c Found solution: 32
1516.67/1517.08	c ---[   0]---> Adder-cost: 0   maxlim: 2277   bits: 12/12
1516.76/1517.15	c ==================================[MINISAT+]==================================
1516.76/1517.15	c | Conflicts | Original         | Learnt                           | Progress |
1516.76/1517.15	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1516.76/1517.15	c ==============================================================================
1516.76/1517.15	c |   4807408 |   45348   147161 |   15116   40164  5307862   132.2 |  5.606 % |
1516.86/1517.26	c |   4807508 |   45348   147161 |   16627   10002   809423    80.9 |  5.616 % |
1516.86/1517.28	c |   4807658 |   45348   147161 |   18290   10152   810849    79.9 |  5.616 % |
1516.96/1517.31	c |   4807883 |   45348   147161 |   20119   10377   814881    78.5 |  5.616 % |
1516.96/1517.32	c |   4808221 |   45348   147161 |   22131   10715   824078    76.9 |  5.616 % |
1516.96/1517.37	c |   4808733 |   45348   147161 |   24344   11227   888821    79.2 |  5.616 % |
1517.06/1517.45	c |   4809492 |   45348   147161 |   26778   11986   971208    81.0 |  5.616 % |
1517.16/1517.54	c |   4810632 |   45348   147161 |   29456   13126  1080840    82.3 |  5.616 % |
1517.36/1517.74	c |   4812342 |   45348   147161 |   32402   14836  1384543    93.3 |  5.616 % |
1517.67/1518.02	c |   4814905 |   45348   147161 |   35642   17399  1798960   103.4 |  5.616 % |
1518.16/1518.54	c |   4818749 |   45348   147161 |   39207   21243  2392365   112.6 |  5.616 % |
1519.06/1519.42	c |   4824516 |   45348   147161 |   43127   27010  3369657   124.8 |  5.616 % |
1520.76/1521.13	c |   4833168 |   45348   147161 |   47440   35662  4870673   136.6 |  5.616 % |
1523.66/1524.08	c |   4846142 |   45348   147161 |   52184   48636  7483568   153.9 |  5.616 % |
1527.86/1528.29	c |   4865605 |   45348   147161 |   57402   30639  4646725   151.7 |  5.616 % |
1534.76/1535.13	c |   4894798 |   45348   147161 |   63143   17743  1764061    99.4 |  5.616 % |
1544.76/1545.13	c |   4938593 |   45348   147161 |   69457   61538  7327608   119.1 |  5.616 % |
1564.35/1564.70	c |   5004279 |   45348   147161 |   76403   23433  2209020    94.3 |  5.616 % |
1588.16/1588.51	c |   5102806 |   45348   147161 |   84043   60911  5891757    96.7 |  5.616 % |
1632.15/1632.55	c |   5250597 |   45348   147161 |   92448   74005  8914149   120.5 |  5.616 % |
1684.94/1685.38	c |   5472282 |   45348   147161 |  101692   65834  7737995   117.5 |  5.616 % |
1785.62/1786.02	c |   5804807 |   45348   147161 |  111862   59447  7739965   130.2 |  5.616 % |
1800.02/1800.40	c 
1800.02/1800.40	c *** TERMINATED ***
1800.02/1800.40	s SATISFIABLE
1800.02/1800.40	v -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 -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 -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 -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 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 x1032 -x1034 -x1036 -x1038 -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 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -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 -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 -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 -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 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -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 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -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 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -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 -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 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -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 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -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 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -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 -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 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -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 -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 -x1 -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 -x2 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x3 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x4 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x5 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x6 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x7 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x8 -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 -x9 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x10 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x11 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x12 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x13 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x14 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x15 -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 -x16 -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 -x17 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x18 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x19 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x20 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x21 -x1109 -x1111 -x1113 -x22 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x23 -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 -x24 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x25 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x26 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x27 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x28 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x29 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x30 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x31 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x32 -x1397 -x1399 -x1401 -x33 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x34 -x1417 -x1419 -x1421 -x35 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x36 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x37 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x38 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x39 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x40 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x41 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x42 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x43 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x44 -x1661 -x1663 -x1665 -x45 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x46 -x1681 -x1683 -x1685 -x47 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x48 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x49 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x50 -x1745 -x1747 -x1749 -x51 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 x1767 -x1769 -x52 -x1771 -x1773 -x1775 -x53 -x1777 x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x54 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x55 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x56 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x57 -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 -x58 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x59 -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 -x60 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x61 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x62 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x63 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x64 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x65 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x66 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 x2411 -x2413 -x2415 -x2417 -x67 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x68 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x69 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 x2475 x70 -x2477 -x2479 -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 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x71 -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 -x72 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x73 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x74 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x75 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x76 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x77 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x78 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x79 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x80 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x81 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x82 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x83 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x84 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x85 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x86 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x87 -x3255 -x3257 -x3259 -x88 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x89 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x90 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x91 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x92 -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 -x93 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x94 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x95 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x96 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x97 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x98 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 x3589 x99 -x3591 -x3593 -x3595 -x100 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 x3625 x101 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x102 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x103 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x104 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x105 -x3699 -x3701 -x106 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x107 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x108 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x109 -x3761 -x3763 -x3765 -x110 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x111 -x3781 -x3783 -x3785 -x112 -x3787 -x3789 -x3791 -x113 -x3793 -x114 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x115 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x116 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x117 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x118 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x119 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x120 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x121 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x122 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x123 -x4031 -x4033 -x4035 -x124 -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 -x125 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x126 -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 -x127 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x128 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x129 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x130 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x131 -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 -x132 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x133 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x134 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x135 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x136 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x137 -x4475 -x4477 -x4479 -x138 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x139 -x4495 -x4497 -x4499 -x140 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x141 -x4515 -x4517 -x4519 -x142 -x4521 -x4523 x4525 x143 -x4527 -x144 -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 -x145 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x146 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x147 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x148 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x149 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x150 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x151 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 x152 -x4751 -x4753 -x4755 -x4757 -x4759 x4761 -x4763 -x153 -x4765 -x4767 -x4769 -x154 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x155 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x156 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x157 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x158 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x159 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 x160 x4899 -x4901 -x4903 -x161 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x162 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x163 -x4933 -x4935 -x164 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 x165 x4951 -x4953 -x4955 x166 -x4957 x4959 -x4961 -x167 -x4963 -x168 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 x4999 -x5001 -x5003 -x5005 -x5007 -x169 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x170 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x171 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x172 -x5067 -x5069 -x5071 -x173 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 x174 -x5103 -x5105 x5107 -x5109 -x5111 -x5113 -x5115 -x175 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x176 -x5131 -x5133 -x5135 -x177 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x178 -x5151 -x5153 -x5155 -x179 -x5157 -x5159 -x5161 -x180 x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x181 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x182 -x5193 -x5195 -x5197 -x183 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x184 -x5213 -x5215 -x185 -x5217 -x5219 x5221 x186 -x5223 -x187 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x188 -x5237 -x5239 -x5241 -x189 -x5243 -x5245 x5247 x190 -x5249 -x191 -x5251 -x5253 -x192 x5255 x193 x194

Verifier Data 

OK	32

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-3723772-1338574358/watcher-3723772-1338574358 -o /tmp/evaluation-result-3723772-1338574358/solver-3723772-1338574358 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723772-1338574358.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.93 2/179 19912
/proc/meminfo: memFree=28271256/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0

[startup+0.101805 s]
/proc/loadavg: 2.00 2.00 1.93 2/179 19912
/proc/meminfo: memFree=28271256/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200349 s]
/proc/loadavg: 2.00 2.00 1.93 2/179 19912
/proc/meminfo: memFree=28271256/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300304 s]
/proc/loadavg: 2.00 2.00 1.93 2/179 19912
/proc/meminfo: memFree=28271256/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700221 s]
/proc/loadavg: 2.00 2.00 1.93 2/179 19912
/proc/meminfo: memFree=28271256/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 19917
/proc/meminfo: memFree=28251624/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=22540 CPUtime=1.49 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 5351 0 0 0 148 1 0 0 20 0 1 0 323561105 23080960 5265 33554432000 4194304 5276501 140733679035248 140733679032840 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 5635 5265 149 265 0 5367 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31688

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 19917
/proc/meminfo: memFree=28244052/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=30552 CPUtime=3.09 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 7365 0 0 0 308 1 0 0 20 0 1 0 323561105 31285248 7279 33554432000 4194304 5276501 140733679035248 140733679033432 4692187 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 7638 7279 149 265 0 7370 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39700

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 19917
/proc/meminfo: memFree=28227544/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=40852 CPUtime=6.29 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 9929 0 0 0 627 2 0 0 20 0 1 0 323561105 41832448 9843 33554432000 4194304 5276501 140733679035248 140733679033240 4399992 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 10213 9843 149 265 0 9945 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50000

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 19917
/proc/meminfo: memFree=28208340/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=51480 CPUtime=12.68 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 12594 0 0 0 1265 3 0 0 20 0 1 0 323561105 52715520 12508 33554432000 4194304 5276501 140733679035248 140733679033496 4399958 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 12870 12508 149 265 0 12602 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60628

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 19917
/proc/meminfo: memFree=28196048/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=64272 CPUtime=25.48 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 15677 0 0 0 2544 4 0 0 20 0 1 0 323561105 65814528 15591 33554432000 4194304 5276501 140733679035248 140733679033432 4399854 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 16068 15591 149 265 0 15800 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73420

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 19917
/proc/meminfo: memFree=28182812/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=65960 CPUtime=51.07 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 16179 0 0 0 5103 4 0 0 20 0 1 0 323561105 67543040 16056 33554432000 4194304 5276501 140733679035248 140733679033496 4399866 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 16490 16056 149 265 0 16222 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 75108

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 19917
/proc/meminfo: memFree=28143868/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=77344 CPUtime=102.28 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 18940 0 0 0 10222 6 0 0 20 0 1 0 323561105 79200256 18817 33554432000 4194304 5276501 140733679035248 140733679033432 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 19336 18817 149 265 0 19068 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 86492

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/181 19918
/proc/meminfo: memFree=28129284/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=91464 CPUtime=162.24 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 22287 0 0 0 16217 7 0 0 20 0 1 0 323561105 93659136 22173 33554432000 4194304 5276501 140733679035248 140733679033432 4399804 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 22866 22173 149 265 0 22598 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 100612

[startup+222.307 s]
/proc/loadavg: 2.01 2.01 1.94 3/181 19918
/proc/meminfo: memFree=28117404/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=102412 CPUtime=222.22 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 24794 0 0 0 22214 8 0 0 20 0 1 0 323561105 104869888 25144 33554432000 4194304 5276501 140733679035248 140733679033432 4399850 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 25603 25144 149 265 0 25335 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 111560

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 19918
/proc/meminfo: memFree=28096756/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=123540 CPUtime=282.2 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 29800 0 0 0 28211 9 0 0 20 0 1 0 323561105 126504960 30150 33554432000 4194304 5276501 140733679035248 140733679033432 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 30885 30150 149 265 0 30617 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 132688

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/181 19918
/proc/meminfo: memFree=28089440/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=129392 CPUtime=342.19 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 31069 0 0 0 34209 10 0 0 20 0 1 0 323561105 132497408 31419 33554432000 4194304 5276501 140733679035248 140733679033432 4400441 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 32348 31419 149 265 0 32080 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 138540

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/181 19918
/proc/meminfo: memFree=28074216/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=169232 CPUtime=1122.04 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 40484 0 0 0 112190 14 0 0 20 0 1 0 323561105 173293568 41487 33554432000 4194304 5276501 140733679035248 140733679033432 4390373 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 42308 41487 150 265 0 42040 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 178380

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 19927
/proc/meminfo: memFree=27986288/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=186456 CPUtime=1182.03 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 44798 0 0 0 118187 16 0 0 20 0 1 0 323561105 190930944 45801 33554432000 4194304 5276501 140733679035248 140733679033240 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 46614 45801 150 265 0 46346 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 195604

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 19927
/proc/meminfo: memFree=27956652/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=208940 CPUtime=1242.02 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 50300 0 0 0 124184 18 0 0 20 0 1 0 323561105 213954560 51303 33554432000 4194304 5276501 140733679035248 140733679033672 4399942 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 52235 51303 150 265 0 51967 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 218088

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 19927
/proc/meminfo: memFree=27951988/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=210288 CPUtime=1302.01 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 50570 0 0 0 130183 18 0 0 20 0 1 0 323561105 215334912 51573 33554432000 4194304 5276501 140733679035248 140733679033432 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 52572 51573 150 265 0 52304 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 219436

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 19928
/proc/meminfo: memFree=27945848/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=214728 CPUtime=1362.01 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 51603 0 0 0 136182 19 0 0 20 0 1 0 323561105 219881472 52649 33554432000 4194304 5276501 140733679035248 140733679033480 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 53682 52649 150 265 0 53414 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 223876

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 19928
/proc/meminfo: memFree=27938864/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=216300 CPUtime=1421.98 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 51941 0 0 0 142179 19 0 0 20 0 1 0 323561105 221491200 53117 33554432000 4194304 5276501 140733679035248 140733679033432 4394737 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 54075 53117 150 265 0 53807 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 225448

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 19928
/proc/meminfo: memFree=27927580/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=216940 CPUtime=1481.97 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 52103 0 0 0 148178 19 0 0 20 0 1 0 323561105 222146560 53279 33554432000 4194304 5276501 140733679035248 140733679033496 4399860 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 54235 53279 150 265 0 53967 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 226088

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 19928
/proc/meminfo: memFree=27922548/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=218812 CPUtime=1541.96 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 52508 0 0 0 154177 19 0 0 20 0 1 0 323561105 224063488 53684 33554432000 4194304 5276501 140733679035248 140733679033496 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 54703 53684 150 265 0 54435 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 227960

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 19928
/proc/meminfo: memFree=27919436/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=218812 CPUtime=1601.95 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 52508 0 0 0 160176 19 0 0 20 0 1 0 323561105 224063488 53684 33554432000 4194304 5276501 140733679035248 140733679033496 4400008 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 54703 53684 150 265 0 54435 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 227960

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/182 19932
/proc/meminfo: memFree=27918188/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=218812 CPUtime=1661.94 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 52508 0 0 0 166175 19 0 0 20 0 1 0 323561105 224063488 53684 33554432000 4194304 5276501 140733679035248 140733679033496 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 54703 53684 150 265 0 54435 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 227960

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/181 19932
/proc/meminfo: memFree=27917016/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=218812 CPUtime=1721.93 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 52516 0 0 0 172174 19 0 0 20 0 1 0 323561105 224063488 53755 33554432000 4194304 5276501 140733679035248 140733679033496 4399807 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 54703 53755 150 265 0 54435 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 227960

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 20059
/proc/meminfo: memFree=27879036/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=218812 CPUtime=1781.92 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 52525 0 0 0 178173 19 0 0 20 0 1 0 323561105 224063488 53764 33554432000 4194304 5276501 140733679035248 140733679033496 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 54703 53764 150 265 0 54435 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 227960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 20059
/proc/meminfo: memFree=27873704/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=218812 CPUtime=1800.02 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 52525 0 0 0 179983 19 0 0 20 0 1 0 323561105 224063488 53764 33554432000 4194304 5276501 140733679035248 140733679033496 4628880 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 54703 53764 150 265 0 54435 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 227960

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 20059
/proc/meminfo: memFree=27873704/32873844 swapFree=7112/7112
[pid=19912] ppid=19910 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19912/stat : 19912 (minisat+_script) S 19910 19912 17266 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323561105 9367552 277 33554432000 4194304 5064252 140735302002992 140735302001904 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19912/statm: 2287 277 236 213 0 72 0
[pid=19916] ppid=19912 vsize=218812 CPUtime=1800.02 cores=1,3,5,7
/proc/19916/stat : 19916 (minisat+_64-bit) R 19912 19912 17266 0 -1 4202496 52525 0 0 0 179983 19 0 0 20 0 1 0 323561105 224063488 53764 33554432000 4194304 5276501 140733679035248 140733679033496 4628880 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19916/statm: 54703 53764 150 265 0 54435 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 227960

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.84
CPU system time (s): 0.200969
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 227960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.200969
maximum resident set size= 215060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53473
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= 107
involuntary context switches= 1851

runsolver used 3.61945 second user time and 7.8828 second system time

The end

Launcher Data 

Begin job on node132 at 2012-06-01 20:12:38
IDJOB=3723772
IDBENCH=24999
IDSOLVER=2307
FILE ID=node132/3723772-1338574358
RUNJOBID= node132-1338570668-19025
PBS_JOBID= 14635852
Free space on /tmp= 71212 MiB

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

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

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=1708855979

node132.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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.66
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.832
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	: 5332.55
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28271256 kB
Buffers:          571304 kB
Cached:          2958276 kB
SwapCached:         2292 kB
Active:          1654468 kB
Inactive:        2036624 kB
Active(anon):     153924 kB
Inactive(anon):     7120 kB
Active(file):    1500544 kB
Inactive(file):  2029504 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67102708 kB
Dirty:              2732 kB
Writeback:             0 kB
AnonPages:        164252 kB
Mapped:            11596 kB
Shmem:                 8 kB
Slab:             772656 kB
SReclaimable:     214224 kB
SUnreclaim:       558432 kB
KernelStack:        1496 kB
PageTables:         4468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     276800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71208 MiB
End job on node132 at 2012-06-01 20:42:38