Trace number 3719966

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: Pueblo 1.4SAT-358 1783.24 1783.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-manna81.opb
MD5SUM6fc83a536fe9a582c06bbccccc09c709
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-13164
Best CPU time to get the best result obtained on this benchmark75.4055
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -12220
Optimality of the best value was proved NO
Number of variables10713
Total number of constraints9151
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9151
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 10713
Biggest coefficient in the objective function 8
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 30411
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 30411
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.29/0.32	c starting to Solve
0.29/0.32	c #variables read: 10713 - #constraints read: 9152
0.39/0.44	o 0
0.49/0.56	o 8
0.59/0.68	o 10
0.79/0.80	o 11
0.99/1.08	o 12
1.19/1.20	o 13
1.29/1.32	o 14
1.39/1.44	o 15
1.49/1.57	o 16
1.89/1.93	o 18
1.99/2.05	o 19
2.29/2.35	o 20
2.39/2.48	o 21
2.59/2.60	o 22
2.69/2.72	o 23
2.79/2.84	o 24
3.09/3.14	o 25
3.39/3.47	o 26
3.99/4.04	o 27
4.09/4.17	o 28
5.19/5.27	o 29
5.79/5.84	o 30
6.39/6.48	o 31
7.78/7.87	o 32
8.38/8.47	o 33
8.98/9.07	o 34
9.58/9.67	o 35
10.99/11.05	o 36
11.29/11.35	o 37
12.29/12.37	o 38
13.29/13.39	o 39
13.88/13.93	o 40
14.19/14.30	o 41
15.68/15.72	o 42
16.68/16.70	o 43
17.88/17.92	o 44
18.18/18.28	o 45
18.78/18.82	o 46
20.28/20.36	o 47
21.48/21.54	o 48
23.38/23.44	o 49
24.58/24.64	o 50
26.68/26.71	o 51
27.48/27.52	o 52
28.77/28.87	o 53
29.77/29.89	o 54
32.37/32.40	o 55
34.57/34.67	o 56
36.47/36.53	o 57
39.27/39.34	o 58
41.68/41.75	o 59
44.67/44.75	o 60
45.97/46.01	o 61
47.97/48.01	o 62
48.47/48.55	o 63
49.27/49.39	o 64
50.58/50.69	o 65
52.87/52.97	o 66
58.57/58.62	o 67
62.67/62.74	o 68
64.67/64.70	o 69
65.77/65.84	o 70
66.67/66.79	o 71
68.97/69.03	o 72
74.17/74.20	o 73
77.17/77.23	o 74
77.27/77.35	o 75
77.87/77.91	o 76
80.77/80.87	o 77
84.97/85.02	o 78
85.07/85.14	o 79
85.57/85.68	o 80
86.97/87.04	o 81
90.37/90.49	o 82
93.48/93.56	o 83
96.78/96.84	o 84
97.27/97.33	o 85
98.47/98.58	o 86
98.87/98.94	o 87
105.96/106.07	o 88
108.56/108.68	o 89
113.36/113.45	o 90
116.36/116.44	o 91
117.86/117.94	o 92
118.46/118.53	o 93
119.77/119.82	o 94
133.76/133.80	o 95
138.76/138.87	o 96
145.26/145.33	o 97
156.36/156.40	o 98
163.76/163.84	o 99
172.67/172.77	o 100
178.16/178.27	o 101
185.66/185.72	o 102
192.46/192.55	o 103
196.15/196.26	o 104
202.55/202.66	o 105
205.75/205.84	o 106
210.25/210.31	o 107
217.24/217.36	o 108
220.65/220.76	o 109
226.75/226.84	o 110
232.35/232.43	o 111
235.95/236.08	o 112
239.65/239.74	o 113
244.55/244.65	o 114
249.55/249.62	o 115
253.95/254.04	o 116
258.14/258.21	o 117
261.54/261.64	o 118
268.45/268.52	o 119
274.24/274.34	o 120
280.14/280.21	o 121
284.85/284.93	o 122
292.74/292.83	o 123
295.85/295.95	o 124
319.43/319.58	o 125
333.23/333.32	o 126
353.33/353.42	o 127
361.23/361.32	o 128
367.13/367.23	o 129
379.92/380.03	o 130
384.12/384.26	o 131
391.83/391.96	o 132
396.53/396.64	o 133
406.22/406.34	o 134
410.52/410.68	o 135
417.12/417.25	o 136
439.52/439.67	o 137
445.61/445.72	o 138
452.51/452.63	o 139
462.62/462.74	o 140
471.91/472.07	o 141
477.11/477.30	o 142
483.71/483.84	o 143
491.31/491.42	o 144
499.21/499.35	o 145
511.50/511.69	o 146
518.01/518.16	o 147
524.80/524.94	o 148
532.21/532.33	o 149
540.01/540.18	o 150
548.50/548.65	o 151
551.20/551.30	o 152
557.90/558.08	o 153
562.89/563.09	o 154
571.30/571.47	o 155
579.09/579.28	o 156
588.10/588.24	o 157
595.69/595.87	o 158
603.39/603.53	o 159
609.59/609.76	o 160
626.59/626.71	o 161
631.69/631.81	o 162
634.09/634.20	o 163
638.79/638.91	o 164
641.79/641.95	o 165
647.59/647.70	o 166
654.69/654.80	o 167
657.69/657.81	o 168
660.68/660.82	o 169
666.28/666.40	o 170
669.69/669.88	o 171
674.38/674.58	o 172
677.39/677.53	o 173
682.89/683.09	o 174
686.19/686.34	o 175
689.18/689.30	o 176
692.48/692.65	o 177
698.18/698.35	o 178
704.88/705.07	o 179
708.38/708.52	o 180
715.38/715.59	o 181
722.18/722.30	o 182
730.07/730.21	o 183
734.07/734.24	o 184
741.77/741.99	o 185
749.27/749.48	o 186
759.17/759.32	o 187
766.57/766.74	o 188
771.67/771.86	o 189
779.87/780.00	o 190
788.07/788.24	o 191
798.56/798.74	o 192
805.26/805.47	o 193
819.56/819.77	o 194
822.46/822.68	o 195
828.07/828.23	o 196
837.56/837.75	o 197
843.66/843.82	o 198
854.05/854.22	o 199
858.75/858.91	o 200
863.65/863.83	o 201
870.15/870.37	o 202
878.55/878.70	o 203
882.85/883.09	o 204
888.45/888.62	o 205
896.15/896.33	o 206
901.05/901.23	o 207
906.15/906.32	o 208
912.24/912.40	o 209
921.55/921.77	o 210
926.84/927.09	o 211
935.95/936.12	o 212
944.24/944.47	o 213
952.84/953.03	o 214
957.64/957.86	o 215
961.64/961.87	o 216
966.74/966.95	o 217
975.23/975.48	o 218
980.53/980.78	o 219
985.44/985.69	o 220
991.94/992.18	o 221
995.93/996.18	o 222
1001.23/1001.46	o 223
1005.63/1005.89	o 224
1012.23/1012.45	o 225
1017.13/1017.40	o 226
1025.82/1026.09	o 227
1030.82/1031.04	o 228
1038.23/1038.40	o 229
1041.12/1041.39	o 230
1048.02/1048.22	o 231
1054.73/1054.98	o 232
1058.03/1058.21	o 233
1064.82/1065.05	o 234
1067.32/1067.50	o 235
1071.92/1072.13	o 236
1077.62/1077.88	o 237
1080.92/1081.14	o 238
1084.52/1084.79	o 239
1087.62/1087.83	o 240
1092.71/1092.93	o 241
1102.11/1102.30	o 242
1109.01/1109.25	o 243
1115.61/1115.87	o 244
1118.52/1118.79	o 245
1121.31/1121.53	o 246
1129.31/1129.50	o 247
1138.01/1138.29	o 248
1142.10/1142.38	o 249
1152.41/1152.62	o 250
1159.31/1159.50	o 251
1169.21/1169.46	o 252
1176.20/1176.45	o 253
1179.30/1179.53	o 254
1182.70/1182.91	o 255
1191.20/1191.45	o 256
1199.00/1199.25	o 257
1206.10/1206.32	o 258
1218.20/1218.42	o 259
1221.00/1221.28	o 260
1223.40/1223.69	o 261
1232.20/1232.40	o 262
1236.40/1236.60	o 263
1242.80/1243.02	o 264
1251.29/1251.54	o 265
1261.09/1261.39	o 266
1267.69/1267.99	o 267
1271.99/1272.21	o 268
1280.88/1281.12	o 269
1286.08/1286.36	o 270
1292.39/1292.63	o 271
1295.89/1296.12	o 272
1303.79/1304.02	o 273
1310.29/1310.56	o 274
1320.49/1320.74	o 275
1328.68/1328.97	o 276
1335.78/1336.08	o 277
1342.28/1342.50	o 278
1347.68/1347.97	o 279
1353.78/1354.04	o 280
1360.27/1360.59	o 281
1363.08/1363.36	o 282
1368.48/1368.78	o 283
1375.98/1376.22	o 284
1384.08/1384.39	o 285
1387.88/1388.13	o 286
1391.68/1391.93	o 287
1398.88/1399.11	o 288
1405.97/1406.26	o 289
1409.07/1409.33	o 290
1412.97/1413.26	o 291
1418.57/1418.86	o 292
1422.27/1422.56	o 293
1430.27/1430.58	o 294
1433.37/1433.66	o 295
1438.97/1439.27	o 296
1442.16/1442.43	o 297
1447.46/1447.75	o 298
1452.96/1453.22	o 299
1457.36/1457.67	o 300
1461.46/1461.76	o 301
1467.46/1467.77	o 302
1471.36/1471.68	o 303
1480.55/1480.85	o 304
1491.56/1491.81	o 305
1496.16/1496.48	o 306
1500.45/1500.76	o 307
1512.26/1512.57	o 308
1518.65/1518.93	o 309
1525.46/1525.71	o 310
1528.95/1529.22	o 311
1533.05/1533.32	o 312
1537.74/1538.09	o 313
1541.85/1542.12	o 314
1547.54/1547.88	o 315
1553.74/1554.00	o 316
1562.14/1562.40	o 317
1566.35/1566.69	o 318
1573.35/1573.65	o 319
1577.34/1577.66	o 320
1582.24/1582.57	o 321
1585.64/1585.90	o 322
1590.94/1591.28	o 323
1594.14/1594.47	o 324
1599.64/1599.94	o 325
1602.94/1603.26	o 326
1606.54/1606.85	o 327
1612.14/1612.48	o 328
1616.74/1617.08	o 329
1623.54/1623.81	o 330
1628.74/1629.07	o 331
1634.84/1635.12	o 332
1639.93/1640.25	o 333
1650.33/1650.62	o 334
1662.03/1662.32	o 335
1671.83/1672.11	o 336
1677.32/1677.64	o 337
1682.12/1682.43	o 338
1685.22/1685.58	o 339
1691.53/1691.86	o 340
1694.93/1695.22	o 341
1699.82/1700.13	o 342
1709.32/1709.62	o 343
1712.12/1712.41	o 344
1727.22/1727.52	o 345
1732.12/1732.44	o 346
1735.32/1735.69	o 347
1740.02/1740.34	o 348
1745.01/1745.34	o 349
1751.61/1751.98	o 350
1758.81/1759.18	o 351
1760.83/1761.10	o 352
1763.32/1763.69	o 353
1766.62/1766.97	o 354
1768.52/1768.80	o 355
1773.92/1774.21	o 356
1777.22/1777.54	o 357
1782.01/1782.38	o 358
1783.11/1783.49	c total time              : 1783.2 s
1783.11/1783.49	s SATISFIABLE
1783.11/1783.49	v -x1 -x2 -x3 -x4 -x3625 -x3626 -x3627 -x3628 -x7170 -x7171 -x7172 -x7173 -x8549 -x8550 -x8551 -x8908 -x8909 -x8910 -x9261 -x9262 -x9263 -x9636 -x9637 -x9638 -x9994 -x9995 -x9996 -x9997 -x10361 -x10362 -x10363 -x10364 -x5 -x6 -x7 -x8 -x371 -x372 -x373 -x374 -x727 -x728 -x729 -x730 -x1084 -x1085 -x1086 -x1460 -x1461 -x1462 -x1833 -x1834 -x1835 -x1836 -x2194 -x2195 -x2196 -x2197 -x2546 -x2547 -x2548 -x2549 -x2895 -x2896 -x2897 -x2898 -x3261 -x3262 -x3263 -x3264 -x3629 -x3630 -x3631 -x3632 -x3977 -x3978 -x3979 -x4317 -x4318 -x4319 -x4320 -x4675 -x4676 -x4677 -x4678 -x5049 -x5050 -x5051 -x5052 -x5401 -x5402 -x5403 -x5756 -x5757 -x5758 -x5759 -x6106 -x6107 -x6108 -x6109 -x6461 -x6462 -x6463 -x6808 -x6809 -x6810 -x6811 -x7174 -x7175 -x7176 -x7177 -x7533 -x7534 -x7535 -x7536 -x7882 -x7883 -x7884 -x7885 -x8241 -x8242 -x8243 -x8338 -x8339 -x8340 -x8341 -x8377 -x8378 -x8379 -x8413 -x8414 -x8415 -x8447 -x8448 -x8449 -x8450 -x8482 -x8483 -x8484 -x8485 -x8516 -x8517 -x8518 -x8519 -x8552 -x8553 -x8554 -x8555 -x8585 -x8586 -x8587 -x8588 -x8620 -x8621 -x8622 -x8651 -x8652 -x8653 -x8654 -x8691 -x8692 -x8693 -x8726 -x8727 -x8728 -x8766 -x8767 -x8768 -x8769 -x8804 -x8805 -x8806 -x8807 -x8836 -x8837 -x8838 -x8839 -x8871 -x8872 -x8873 -x8911 -x8912 -x8913 -x8914 -x8947 -x8948 -x8949 -x8985 -x8986 -x8987 -x8988 -x9020 -x9021 -x9022 -x9023 -x9053 -x9054 -x9055 -x9089 -x9090 -x9091 -x9123 -x9124 -x9125 -x9158 -x9159 -x9160 -x9161 -x9195 -x9196 -x9197 -x9198 -x9227 -x9228 -x9229 -x9230 -x9264 -x9265 -x9266 -x9303 -x9304 -x9305 -x9341 -x9342 -x9343 -x9381 -x9382 -x9383 -x9414 -x9415 -x9416 -x9454 -x9455 -x9456 -x9457 -x9490 -x9491 -x9492 -x9528 -x9529 -x9530 -x9531 -x9566 -x9567 -x9568 -x9569 -x9600 -x9601 -x9602 -x9603 -x9639 -x9640 -x9641 -x9676 -x9677 -x9678 -x9679 -x9713 -x9714 -x9715 -x9716 -x9747 -x9748 -x9749 -x9782 -x9783 -x9784 -x9819 -x9820 -x9821 -x9822 -x9855 -x9856 -x9857 -x9858 -x9890 -x9891 -x9892 -x9893 -x9926 -x9927 -x9928 -x9929 -x9961 -x9962 -x9963 -x9998 -x9999 -x10000 -x10001 -x10033 -x10034 -x10035 -x10069 -x10070 -x10071 -x10103 -x10104 -x10105 -x10137 -x10138 -x10139 -x10171 -x10172 -x10173 -x10211 -x10212 -x10213 -x10251 -x10252 -x10253 -x10285 -x10286 -x10287 -x10322 -x10323 -x10324 -x10365 -x10366 -x10367 x10397 -x10398 -x10399 x10436 -x10437 -x10438 x10470 -x10471 -x10472 -x10473 x10508 -x10509 -x10510 -x10511 x10544 -x10545 -x10546 x10580 -x10581 -x10582 x10614 -x10615 -x10616 x10646 -x10647 -x10648 x10680 -x10681 -x10682 x9 -x10 -x11 x44 -x45 -x46 x78 -x79 -x80 -x117 -x118 -x119 -x120 -x154 -x155 -x156 -x157 -x190 -x191 -x192 -x193 -x229 -x230 -x231 -x262 -x263 -x264 -x297 -x298 -x299 -x331 -x332 -x333 x375 -x376 -x377 x414 -x415 -x416 -x450 -x451 -x452 -x486 -x487 -x520 -x521 -x522 -x552 -x553 -x554 -x586 -x587 -x588 -x621 -x622 -x623 x656 -x657 -x658 x691 -x692 -x693 -x731 -x732 -x766 -x767 -x768 -x769 -x804 -x805 -x806 -x807 -x842 -x843 -x844 -x845 -x879 -x880 -x881 -x915 -x916 -x917 -x947 -x948 -x949 x982 -x983 -x984 -x985 x1015 -x1016 -x1017 -x1018 x1049 -x1050 -x1051 x1087 -x1088 -x1089 -x1090 x1123 -x1124 -x1125 -x1126 x1159 -x1160 -x1161 -x1162 x1196 -x1197 -x1198 x1233 -x1234 -x1235 x1271 -x1272 -x1273 x1310 -x1311 -x1312 x1347 -x1348 -x1349 x1384 -x1385 -x1386 -x1387 x1424 -x1425 -x1426 -x1463 -x1464 -x1465 -x1499 -x1500 -x1501 -x1532 -x1533 -x1534 -x1535 -x1571 -x1572 -x1573 -x1574 -x1607 -x1608 -x1609 -x1610 -x1646 -x1647 -x1648 -x1683 -x1684 -x1685 -x1720 -x1721 -x1722 -x1723 -x1761 -x1762 -x1763 -x1795 -x1796 -x1797 -x1837 -x1838 -x1839 -x1873 -x1874 -x1909 -x1910 -x1911 -x1946 -x1947 -x1981 -x1982 -x2013 -x2014 -x2045 -x2046 -x2081 -x2082 -x2083 -x2116 -x2117 -x2118 -x2157 -x2158 -x2159 -x2160 -x2198 -x2199 -x2200 -x2201 -x2234 -x2235 -x2236 -x2237 -x2273 -x2274 -x2275 -x2276 -x2308 -x2309 -x2310 x2344 -x2345 x2374 -x2375 -x2376 -x2409 -x2410 -x2411 -x2412 -x2445 -x2446 -x2447 -x2481 -x2482 -x2483 -x2484 x2514 -x2515 -x2516 x2550 -x2551 -x2552 -x2585 -x2586 -x2617 -x2618 -x2619 -x2620 -x2655 -x2656 -x2657 -x2685 -x2686 -x2687 -x2688 -x2721 -x2753 -x2754 -x2755 -x2791 -x2792 -x2823 -x2824 -x2825 -x2826 -x2859 -x2860 -x2861 -x2862 -x2899 -x2900 -x2901 -x2937 -x2938 -x2939 -x2969 -x2970 -x2971 -x3005 -x3006 -x3007 -x3042 -x3043 -x3044 -x3078 -x3079 -x3080 -x3081 -x3115 -x3116 -x3117 -x3151 -x3152 -x3153 -x3188 -x3189 -x3190 -x3225 -x3226 -x3227 -x3265 -x3266 -x3267 -x3268 -x3299 -x3300 -x3301 -x3302 -x3336 -x3337 -x3338 -x3370 -x3371 -x3372 -x3411 -x3412 -x3413 -x3443 -x3444 -x3445 -x3446 x3479 -x3480 -x3481 -x3514 -x3515 -x3516 -x3549 -x3550 -x3551 -x3552 -x3587 -x3588 -x3589 -x3633 -x3634 -x3635 -x3665 -x3666 -x3667 -x3704 -x3705 -x3706 -x3707 -x3740 -x3741 -x3742 -x3743 -x3773 -x3774 -x3775 -x3776 -x3807 -x3808 -x3809 x3845 -x3846 -x3847 x3877 -x3878 -x3879 -x3880 x3913 -x3914 -x3915 -x3916 x3943 -x3944 -x3945 -x3980 -x3981 -x3982 -x4012 -x4013 -x4014 -x4045 -x4046 -x4047 -x4077 -x4078 -x4079 x4111 -x4112 -x4113 -x4149 -x4150 -x4151 -x4182 -x4183 -x4184 -x4217 -x4218 -x4219 x4250 -x4251 -x4252 x4284 -x4285 -x4286 x4321 -x4322 -x4323 x4360 -x4361 -x4362 -x4396 -x4397 -x4398 -x4432 -x4433 -x4434 -x4465 -x4466 -x4467 -x4468 -x4500 -x4501 -x4532 -x4533 -x4565 -x4566 -x4567 -x4601 -x4602 -x4603 -x4640 -x4641 -x4642 -x4679 -x4680 -x4681 -x4711 -x4712 -x4713 -x4714 -x4749 -x4750 -x4751 -x4752 -x4788 -x4789 -x4790 -x4791 -x4827 -x4828 -x4829 -x4830 -x4864 -x4865 -x4866 -x4901 -x4902 -x4903 -x4904 -x4940 -x4941 -x4942 -x4977 -x4978 -x4979 -x4980 -x5013 -x5014 -x5015 -x5016 -x5053 -x5054 -x5055 -x5056 -x5089 -x5090 -x5091 -x5122 -x5123 -x5124 -x5153 -x5154 -x5155 -x5188 -x5189 -x5190 -x5225 -x5226 -x5227 -x5259 -x5260 -x5261 -x5262 -x5295 -x5296 -x5297 -x5332 -x5333 -x5334 -x5365 -x5366 -x5367 -x5404 -x5405 -x5406 -x5439 -x5440 -x5441 -x5475 -x5476 -x5477 -x5478 -x5510 -x5511 -x5512 -x5513 -x5549 -x5550 -x5551 -x5552 -x5584 -x5585 -x5586 -x5621 -x5622 -x5623 -x5654 -x5655 -x5656 -x5687 -x5688 -x5689 -x5722 -x5723 -x5760 -x5761 -x5762 -x5763 -x5792 -x5793 -x5794 -x5831 -x5832 -x5833 -x5867 -x5868 -x5869 -x5901 -x5902 -x5903 -x5937 -x5938 -x5939 -x5940 -x5973 -x5974 -x5975 -x5976 -x6005 -x6006 -x6007 -x6008 -x6042 -x6043 -x6044 -x6045 -x6073 -x6074 -x6075 -x6076 -x6110 -x6111 -x6112 -x6113 -x6146 -x6147 -x6148 -x6149 -x6179 -x6180 -x6181 -x6215 -x6216 -x6217 -x6218 -x6246 -x6247 -x6248 -x6249 -x6281 -x6282 -x6283 -x6284 -x6319 -x6320 -x6321 -x6322 -x6357 -x6358 -x6359 -x6394 -x6395 -x6396 -x6428 -x6429 -x6430 -x6464 -x6465 -x6466 -x6497 -x6498 -x6499 -x6532 -x6533 -x6534 -x6566 -x6567 -x6568 -x6569 -x6604 -x6605 -x6606 -x6607 -x6640 -x6641 -x6642 -x6672 -x6673 -x6674 -x6706 -x6707 -x6708 -x6740 -x6741 -x6742 -x6773 -x6774 -x6775 -x6812 -x6813 -x6814 -x6845 -x6846 -x6847 -x6878 -x6879 -x6880 -x6917 -x6918 -x6919 -x6954 -x6955 -x6956 -x6984 -x6985 -x6986 -x7022 -x7023 -x7024 -x7064 -x7065 -x7066 -x7100 -x7101 -x7102 -x7132 -x7133 -x7134 -x7178 -x7179 -x7180 -x7218 -x7219 -x7220 x7253 -x7254 x7287 -x7288 -x7289 x7322 -x7323 x7356 -x7357 x7394 -x7395 x7427 -x7428 -x7429 -x7464 -x7465 -x7466 -x7502 -x7503 -x7504 -x7537 -x7538 -x7539 -x7572 -x7573 -x7574 -x7604 -x7605 -x7606 -x7639 -x7640 -x7641 -x7672 -x7673 -x7674 -x7706 -x7707 -x7708 -x7739 -x7740 -x7741 -x7774 -x7775 -x7776 x7809 -x7810 -x7811 x7846 -x7847 -x7848 -x7849 -x7886 -x7887 -x7888 -x7889 -x7922 -x7923 -x7924 -x7957 -x7958 -x7959 x7989 -x7990 -x7991 x8022 -x8023 -x8024 x8060 -x8061 -x8062 -x8063 x8099 -x8100 -x8101 -x8102 x8133 -x8134 -x8135 x8170 -x8171 x8205 -x8206 -x8207 -x8244 -x8245 -x8246 -x8278 -x8279 -x8312 -x8313 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 x8367 -x8368 -x8369 x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 x8532 -x8533 -x8534 x8535 -x8536 -x8537 x8538 -x8539 -x8540 x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 x8564 -x8565 x8566 -x8567 -x8568 x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 x8724 -x8725 x8729 -x8730 -x8731 x8732 -x8733 -x8734 -x8735 x8736 -x8737 -x8738 -x8739 x8740 -x8741 -x8742 -x8743 x8744 -x8745 -x8746 -x8747 x8748 -x8749 -x8750 x8751 -x8752 -x8753 -x8754 x8755 -x8756 -x8757 -x8758 x8759 -x8760 -x8761 -x8762 x8763 -x8764 -x8765 x8770 -x8771 -x8772 x8773 -x8774 -x8775 x8776 -x8777 -x8778 x8779 -x8780 -x8781 x8782 -x8783 -x8784 x8785 -x8786 -x8787 x8788 -x8789 -x8790 -x8791 x8792 -x8793 -x8794 -x8795 x8796 -x8797 -x8798 -x8799 x8800 -x8801 -x8802 -x8803 x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 x8847 -x8848 -x8849 x8850 -x8851 -x8852 x8853 -x8854 -x8855 x8856 -x8857 -x8858 x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 x8901 -x8902 -x8903 -x8904 x8905 -x8906 -x8907 x8915 -x8916 -x8917 x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 x8962 -x8963 -x8964 -x8965 x8966 -x8967 -x8968 -x8969 x8970 -x8971 -x8972 -x8973 x8974 -x8975 -x8976 -x8977 x8978 -x8979 -x8980 x8981 -x8982 -x8983 -x8984 x8989 -x8990 -x8991 x8992 -x8993 -x8994 x8995 -x8996 -x8997 x8998 -x8999 -x9000 x9001 -x9002 -x9003 x9004 -x9005 -x9006 x9007 -x9008 -x9009 x9010 -x9011 -x9012 x9013 -x9014 -x9015 x9016 -x9017 -x9018 -x9019 x9024 -x9025 -x9026 x9027 -x9028 -x9029 -x9030 x9031 -x9032 -x9033 x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 x10593 -x10594 -x10595 x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 x133 -x134 -x135 x136 -x137 x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 x187 -x188 -x189 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 x4927 -x4928 -x4929 x4930 -x4931 -x4932 x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4943 -x4944 -x4945 -x4946 x4947 -x4948 -x4949 -x4950 -x4951 -x4952 x4953 -x4954 -x4955 x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 x4964 -x4965 -x4966 -x4967 x4968 -x4969 -x4970 x4971 -x4972 -x4973 x4974 -x4975 -x4976 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6608 -x6609 -x6610 x6611 -x6612 -x6613 x6614 -x6615 -x6616 x6617 -x6618 -x6619 -x6620 x6621 -x6622 -x6623 -x6624 x6625 -x6626 -x6627 x6628 -x6629 -x6630 x6631 -x6632 -x6633 x6634 -x6635 -x6636 x6637 -x6638 -x6639 x6643 -x6644 -x6645 x6646 -x6647 -x6648 x6649 -x6650 -x6651 x6652 -x6653 -x6654 x6655 -x6656 -x6657 x6658 -x6659 -x6660 x6661 -x6662 x6663 -x6664 -x6665 x6666 -x6667 -x6668 x6669 -x6670 -x6671 x6675 -x6676 -x6677 x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 x6720 -x6721 -x6722 -x6723 x6724 -x6725 -x6726 x6727 -x6728 -x6729 x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 x6767 -x6768 -x6769 x6770 -x6771 -x6772 x6776 -x6777 -x6778 x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 x6826 -x6827 -x6828 x6829 -x6830 -x6831 -x6832 x6833 -x6834 -x6835 x6836 -x6837 -x6838 x6839 -x6840 -x6841 x6842 -x6843 -x6844 x6848 -x6849 -x6850 x6851 -x6852 -x6853 -x6854 x6855 -x6856 -x6857 -x6858 x6859 -x6860 -x6861 -x6862 -x6863 -x6864 x6865 -x6866 -x6867 x6868 -x6869 -x6870 x6871 x6872 -x6873 -x6874 x6875 -x6876 -x6877 x6881 -x6882 -x6883 -x6884 x6885 -x6886 -x6887 -x6888 x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 x7033 -x7034 -x7035 -x7036 x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 x7053 -x7054 -x7055 -x7056 x7057 -x7058 -x7059 -x7060 x7061 -x7062 -x7063 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 x7210 -x7211 -x7212 -x7213 x7214 -x7215 -x7216 -x7217 x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 x7267 -x7268 -x7269 x7270 -x7271 -x7272 -x7273 x7274 -x7275 -x7276 x7277 -x7278 -x7279 -x7280 x7281 -x7282 -x7283 x7284 -x7285 -x7286 x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 x7302 -x7303 -x7304 x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 x7318 -x7319 -x7320 -x7321 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 x7335 -x7336 -x7337 x7338 x7339 -x7340 -x7341 x7342 -x7343 -x7344 -x7345 x7346 -x7347 -x7348 -x7349 x7350 -x7351 -x7352 x7353 -x7354 -x7355 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 x7615 -x7616 -x7617 x7618 -x7619 -x7620 x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7642 -x7643 -x7644 x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 x7654 -x7655 -x7656 x7657 -x7658 -x7659 -x7660 x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 x7777 -x7778 -x7779 x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 x7875 -x7876 -x7877 x7878 -x7879 -x7880 -x7881 x7890 -x7891 -x7892 -x7893 x7894 -x7895 -x7896 x7897 -x7898 -x7899 x7900 -x7901 -x7902 x7903 -x7904 -x7905 x7906 -x7907 -x7908 -x7909 x7910 -x7911 -x7912 x7913 -x7914 -x7915 x7916 -x7917 -x7918 x7919 -x7920 -x7921 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 x7944 -x7945 x7946 -x7947 -x7948 x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 x7973 -x7974 -x7975 x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 x8000 -x8001 x8002 -x8003 -x8004 -x8005 x8006 -x8007 -x8008 x8009 -x8010 -x8011 x8012 -x8013 x8014 -x8015 x8016 -x8017 -x8018 x8019 -x8020 -x8021 x8025 -x8026 -x8027 x8028 -x8029 -x8030 x8031 -x8032 -x8033 x8034 -x8035 -x8036 x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8247 -x8248 x8249 x8250 x8251 -x8252 x8253 x8254 x8255 -x8256 x8257 x8258 -x8259 x8260 x8261 -x8262 -x8263 x8264 -x8265 x8266 x8267 -x8268 x8269 x8270 x8271 -x8272 x8273 x8274 -x8275 -x8276 x8277 -x8280 x8281 x8282 x8283 x8284 -x8285 -x8286 -x8287 x8288 x8289 x8290 -x8291 x8292 -x8293 x8294 -x8295 -x8296 x8297 x8298 x8299 -x8300 x8301 x8302 -x8303 x8304 -x8305 -x8306 x8307 x8308 -x8309 x8310 -x8311 x8314 -x8315 x8316 -x8317 x8318 x8319 -x8320 

Verifier Data

OK	-358

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-3719966-1338506030/watcher-3719966-1338506030 -o /tmp/evaluation-result-3719966-1338506030/solver-3719966-1338506030 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719966-1338506030.opb 

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

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


[startup+0 s]
/proc/loadavg: 0.34 0.08 0.02 4/176 19850
/proc/meminfo: memFree=29676968/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=3236 CPUtime=0 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 337 0 0 0 0 0 0 0 20 0 1 0 316728496 3313664 274 33554432000 134512640 134579096 4288085632 4287953028 10023690 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19850/statm: 809 274 213 17 0 115 0

[startup+0.0295039 s]
/proc/loadavg: 0.34 0.08 0.02 4/176 19850
/proc/meminfo: memFree=29676968/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=4300 CPUtime=0.02 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 621 0 0 0 2 0 0 0 20 0 1 0 316728496 4403200 558 33554432000 134512640 134579096 4288085632 4287953056 134546737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19850/statm: 1075 558 219 17 0 381 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4300

[startup+0.100213 s]
/proc/loadavg: 0.34 0.08 0.02 4/176 19850
/proc/meminfo: memFree=29676968/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=5500 CPUtime=0.09 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 927 0 0 0 9 0 0 0 20 0 1 0 316728496 5632000 864 33554432000 134512640 134579096 4288085632 4287953040 134546916 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19850/statm: 1375 864 219 17 0 681 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5500

[startup+0.300186 s]
/proc/loadavg: 0.34 0.08 0.02 4/176 19850
/proc/meminfo: memFree=29676968/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=9852 CPUtime=0.29 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 1953 0 0 0 29 0 0 0 20 0 1 0 316728496 10088448 1859 33554432000 134512640 134579096 4288085632 4288084592 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19850/statm: 2463 1859 226 17 0 1769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9852

[startup+0.700176 s]
/proc/loadavg: 0.34 0.08 0.02 4/176 19850
/proc/meminfo: memFree=29676968/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=10300 CPUtime=0.69 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 2032 0 0 0 69 0 0 0 20 0 1 0 316728496 10547200 1938 33554432000 134512640 134579096 4288085632 4288084576 134530518 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19850/statm: 2575 1938 228 17 0 1881 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10300

[startup+1.50018 s]
/proc/loadavg: 0.34 0.08 0.02 3/177 19851
/proc/meminfo: memFree=29670164/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=10700 CPUtime=1.49 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 2195 0 0 0 149 0 0 0 20 0 1 0 316728496 10956800 2068 33554432000 134512640 134579096 4288085632 4288084576 134530518 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19850/statm: 2675 2068 228 17 0 1981 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10700

[startup+3.10012 s]
/proc/loadavg: 0.34 0.08 0.02 3/177 19851
/proc/meminfo: memFree=29669296/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=11504 CPUtime=3.09 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 2459 0 0 0 309 0 0 0 20 0 1 0 316728496 11780096 2270 33554432000 134512640 134579096 4288085632 4288084576 134530535 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19850/statm: 2876 2270 228 17 0 2182 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11504

[startup+6.30018 s]
/proc/loadavg: 0.47 0.11 0.04 3/174 19876
/proc/meminfo: memFree=29669372/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=14380 CPUtime=6.29 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 3386 0 0 0 629 0 0 0 20 0 1 0 316728496 14725120 2988 33554432000 134512640 134579096 4288085632 4288084448 134519085 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19850/statm: 3595 2988 228 17 0 2901 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14380

[startup+12.7001 s]
/proc/loadavg: 0.59 0.14 0.05 3/177 19899
/proc/meminfo: memFree=29561580/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=20260 CPUtime=12.69 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 5302 0 0 0 1268 1 0 0 20 0 1 0 316728496 20746240 4425 33554432000 134512640 134579096 4288085632 4288084288 134524544 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19850/statm: 5065 4425 228 17 0 4371 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20260

[startup+25.5002 s]
/proc/loadavg: 0.91 0.23 0.08 3/177 19899
/proc/meminfo: memFree=29547512/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=23448 CPUtime=25.48 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 8269 0 0 0 2547 1 0 0 20 0 1 0 316728496 24010752 5238 33554432000 134512640 134579096 4288085632 4288084288 134522726 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 5862 5238 228 17 0 5168 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23448

[startup+51.1002 s]
/proc/loadavg: 1.28 0.37 0.13 3/177 19899
/proc/meminfo: memFree=29530708/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=30084 CPUtime=51.07 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 10579 0 0 0 5106 1 0 0 20 0 1 0 316728496 30806016 6912 33554432000 134512640 134579096 4288085632 4288084288 134524568 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 7521 6912 228 17 0 6827 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30084

[startup+102.306 s]
/proc/loadavg: 1.68 0.62 0.22 3/177 19899
/proc/meminfo: memFree=29365596/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=42160 CPUtime=102.27 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 14614 0 0 0 10225 2 0 0 20 0 1 0 316728496 43171840 9893 33554432000 134512640 134579096 4288085632 4288084288 134524561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 10540 9893 228 17 0 9846 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42160

[startup+162.3 s]
/proc/loadavg: 1.95 0.89 0.34 3/177 19899
/proc/meminfo: memFree=29152964/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=64848 CPUtime=162.25 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 21597 0 0 0 16222 3 0 0 20 0 1 0 316728496 66404352 15627 33554432000 134512640 134579096 4288085632 4288084288 134522726 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 16212 15627 228 17 0 15518 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 64848

[startup+222.3 s]
/proc/loadavg: 1.98 1.09 0.44 3/177 19900
/proc/meminfo: memFree=28941960/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=93756 CPUtime=222.25 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 29559 0 0 0 22220 5 0 0 20 0 1 0 316728496 96006144 22809 33554432000 134512640 134579096 4288085632 4288084288 134522688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 23439 22809 228 17 0 22745 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 93756

[startup+282.3 s]
/proc/loadavg: 2.05 1.27 0.54 3/177 19900
/proc/meminfo: memFree=28754128/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=116292 CPUtime=282.24 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 36110 0 0 0 28218 6 0 0 20 0 1 0 316728496 119083008 28474 33554432000 134512640 134579096 4288085632 4288084288 134522726 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 29073 28474 228 17 0 28379 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 116292

[startup+342.3 s]
/proc/loadavg: 2.02 1.40 0.63 3/177 19900
/proc/meminfo: memFree=28557496/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=144140 CPUtime=342.23 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 43923 0 0 0 34217 6 0 0 20 0 1 0 316728496 147599360 35390 33554432000 134512640 134579096 4288085632 4288084288 134522742 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 36035 35390 228 17 0 35341 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 144140

[startup+402.3 s]
/proc/loadavg: 2.04 1.52 0.71 3/178 19903
/proc/meminfo: memFree=28392984/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=166736 CPUtime=402.22 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 50312 0 0 0 40214 8 0 0 20 0 1 0 316728496 170737664 41026 33554432000 134512640 134579096 4288085632 4288084464 134517872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 41684 41026 228 17 0 40990 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 166736

[startup+462.3 s]
/proc/loadavg: 2.01 1.60 0.79 3/177 19903
/proc/meminfo: memFree=28219668/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=196780 CPUtime=462.22 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 57979 0 0 0 46212 10 0 0 20 0 1 0 316728496 201502720 48517 33554432000 134512640 134579096 4288085632 4288084288 134522742 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 49195 48517 228 17 0 48501 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 196780

[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.86 3/177 19904
/proc/meminfo: memFree=28054788/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=220584 CPUtime=522.2 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 64399 0 0 0 52210 10 0 0 20 0 1 0 316728496 225878016 54475 33554432000 134512640 134579096 4288085632 4288084448 134519125 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 55146 54475 228 17 0 54452 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 220584

[startup+582.3 s]
/proc/loadavg: 2.00 1.73 0.93 3/177 19904
/proc/meminfo: memFree=27851836/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=254904 CPUtime=582.2 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 73071 0 0 0 58207 13 0 0 20 0 1 0 316728496 261021696 63022 33554432000 134512640 134579096 4288085632 4288084464 134517899 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 63726 63022 228 17 0 63032 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 254904

[startup+642.3 s]

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

/proc/meminfo: memFree=27108176/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=282000 CPUtime=822.16 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 80286 0 0 0 82202 14 0 0 20 0 1 0 316728496 288768000 69820 33554432000 134512640 134579096 4288085632 4288084464 134517903 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 70500 69820 228 17 0 69806 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 282000

[startup+882.3 s]
/proc/loadavg: 2.01 1.91 1.22 3/177 19907
/proc/meminfo: memFree=26931956/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=282000 CPUtime=882.15 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 80295 0 0 0 88201 14 0 0 20 0 1 0 316728496 288768000 69829 33554432000 134512640 134579096 4288085632 4288084288 134522742 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 70500 69829 228 17 0 69806 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 282000

[startup+942.3 s]
/proc/loadavg: 2.00 1.92 1.27 3/177 19907
/proc/meminfo: memFree=26780704/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=282000 CPUtime=942.14 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 80303 0 0 0 94200 14 0 0 20 0 1 0 316728496 288768000 69837 33554432000 134512640 134579096 4288085632 4288084464 134517908 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 70500 69837 228 17 0 69806 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 282000

[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.31 3/178 19910
/proc/meminfo: memFree=26627880/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=282000 CPUtime=1002.13 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 80311 0 0 0 100199 14 0 0 20 0 1 0 316728496 288768000 69845 33554432000 134512640 134579096 4288085632 4288084288 134523606 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 70500 69845 228 17 0 69806 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 282000

[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.35 3/177 19910
/proc/meminfo: memFree=26477380/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=295168 CPUtime=1062.12 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 84043 0 0 0 106197 15 0 0 20 0 1 0 316728496 302252032 73147 33554432000 134512640 134579096 4288085632 4288084288 134522688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 73792 73147 228 17 0 73098 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 295168

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.39 3/176 19910
/proc/meminfo: memFree=26316704/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=310912 CPUtime=1122.11 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 88600 0 0 0 112196 15 0 0 20 0 1 0 316728496 318373888 77073 33554432000 134512640 134579096 4288085632 4288084448 134519088 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 77728 77073 228 17 0 77034 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 310912

[startup+1182.3 s]
/proc/loadavg: 2.04 1.97 1.43 3/177 19911
/proc/meminfo: memFree=26150448/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=328788 CPUtime=1182.1 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 93778 0 0 0 118194 16 0 0 20 0 1 0 316728496 336678912 81521 33554432000 134512640 134579096 4288085632 4288084464 134517893 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 82197 81521 228 17 0 81503 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 328788

[startup+1242.3 s]
/proc/loadavg: 2.01 1.97 1.46 3/177 19911
/proc/meminfo: memFree=25959528/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=347084 CPUtime=1242.09 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 98895 0 0 0 124192 17 0 0 20 0 1 0 316728496 355414016 86079 33554432000 134512640 134579096 4288085632 4288084288 134524544 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 86771 86079 228 17 0 86077 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 347084

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/177 19911
/proc/meminfo: memFree=25773936/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=363536 CPUtime=1302.09 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 103459 0 0 0 130191 18 0 0 20 0 1 0 316728496 372260864 90209 33554432000 134512640 134579096 4288085632 4288084288 134524561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 90884 90209 228 17 0 90190 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 363536

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/177 19911
/proc/meminfo: memFree=25601604/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=382036 CPUtime=1362.07 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 108164 0 0 0 136189 18 0 0 20 0 1 0 316728496 391204864 94821 33554432000 134512640 134579096 4288085632 4288084464 134517896 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 95509 94821 228 17 0 94815 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 382036

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.55 3/177 19911
/proc/meminfo: memFree=25418980/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=400444 CPUtime=1422.08 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 112981 0 0 0 142189 19 0 0 20 0 1 0 316728496 410054656 99403 33554432000 134512640 134579096 4288085632 4288084288 134524561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 100111 99403 228 17 0 99417 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 400444

[startup+1482.3 s]
/proc/loadavg: 2.04 1.99 1.58 3/177 19912
/proc/meminfo: memFree=25239332/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=422716 CPUtime=1482.05 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 118961 0 0 0 148186 19 0 0 20 0 1 0 316728496 432861184 104903 33554432000 134512640 134579096 4288085632 4288084288 134522742 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 105679 104903 228 17 0 104985 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 422716

[startup+1542.3 s]
/proc/loadavg: 2.01 1.99 1.60 3/177 19912
/proc/meminfo: memFree=25041084/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=450412 CPUtime=1542.04 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 126298 0 0 0 154184 20 0 0 20 0 1 0 316728496 461221888 111849 33554432000 134512640 134579096 4288085632 4288084288 134522427 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 112603 111849 228 17 0 111909 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 450412

[startup+1602.3 s]
/proc/loadavg: 3.46 2.39 1.76 2/179 19916
/proc/meminfo: memFree=16191780/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=472228 CPUtime=1602.04 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 132439 0 0 0 160182 22 0 0 20 0 1 0 316728496 483561472 117293 33554432000 134512640 134579096 4288085632 4288084480 134528256 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 118057 117293 228 17 0 117363 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 472228

[startup+1662.3 s]
/proc/loadavg: 4.47 2.87 1.97 2/178 19916
/proc/meminfo: memFree=16187280/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=505028 CPUtime=1662.03 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 141012 0 0 0 166179 24 0 0 20 0 1 0 316728496 517148672 125483 33554432000 134512640 134579096 4288085632 4288084576 134531557 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 126257 125483 228 17 0 125563 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 505028

[startup+1722.3 s]
/proc/loadavg: 3.62 2.97 2.06 3/178 20109
/proc/meminfo: memFree=29123760/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=531936 CPUtime=1722.02 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 148466 0 0 0 172177 25 0 0 20 0 1 0 316728496 544702464 132225 33554432000 134512640 134579096 4288085632 4288084288 134522733 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 132984 132225 228 17 0 132290 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 531936

[startup+1782.3 s]
/proc/loadavg: 2.64 2.81 2.06 3/177 20542
/proc/meminfo: memFree=29098448/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=556864 CPUtime=1782.01 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 155315 0 0 0 178174 27 0 0 20 0 1 0 316728496 570228736 138404 33554432000 134512640 134579096 4288085632 4288084576 134530535 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 139216 138404 228 17 0 138522 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 556864

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

[startup+1783.11 s]
/proc/loadavg: 2.64 2.81 2.06 3/177 20542
/proc/meminfo: memFree=29098448/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=556864 CPUtime=1782.81 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202496 155315 0 0 0 178254 27 0 0 20 0 1 0 316728496 570228736 138404 33554432000 134512640 134579096 4288085632 4288084288 134522726 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 139216 138404 228 17 0 138522 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 556864

[startup+1783.5 s]
/proc/loadavg: 2.64 2.81 2.06 3/177 20542
/proc/meminfo: memFree=29098448/32873648 swapFree=7116/7116
[pid=19850] ppid=19848 vsize=0 CPUtime=1783.21 cores=0,2,4,6
/proc/19850/stat : 19850 (Pueblo) R 19848 19850 19648 0 -1 4202500 155320 0 0 0 178293 28 0 0 20 0 1 0 316728496 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19850/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1783.21
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.52
CPU time (s): 1783.24
CPU user time (s): 1782.94
CPU system time (s): 0.304953
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 556864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.94
system time used= 0.304953
maximum resident set size= 553636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155320
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= 13
involuntary context switches= 1877

runsolver used 3.15652 second user time and 7.98778 second system time

The end

Launcher Data

Begin job on node123 at 2012-06-01 01:13:50
IDJOB=3719966
IDBENCH=1869
IDSOLVER=2305
FILE ID=node123/3719966-1338506030
RUNJOBID= node123-1338506003-19664
PBS_JOBID= 14635768
Free space on /tmp= 71316 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3719966-1338506030/watcher-3719966-1338506030 -o /tmp/evaluation-result-3719966-1338506030/solver-3719966-1338506030 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3719966-1338506030.opb

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

MD5SUM BENCH= 6fc83a536fe9a582c06bbccccc09c709
RANDOM SEED=2045290528

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29677256 kB
Buffers:          396692 kB
Cached:          1941000 kB
SwapCached:         2224 kB
Active:           706452 kB
Inactive:        1641912 kB
Active(anon):       5936 kB
Inactive(anon):     5460 kB
Active(file):     700516 kB
Inactive(file):  1636452 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100300 kB
Dirty:              5072 kB
Writeback:             8 kB
AnonPages:         14492 kB
Mapped:            11148 kB
Shmem:                 0 kB
Slab:             712568 kB
SReclaimable:     156636 kB
SUnreclaim:       555932 kB
KernelStack:        1448 kB
PageTables:         3896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     127212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3719966-1338506030.opb

Free space on /tmp at the end= 71312 MiB
End job on node123 at 2012-06-01 01:43:34