Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2 (fixed) | OPT | 6114 | 83.7293 | 83.7265 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand4a23d9.cudf.paranoid.opb |
MD5SUM | 818b79ae869509d5a8ea99635b1eadb4 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6114 |
Best CPU time to get the best result obtained on this benchmark | 0.182971 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 5473 |
Total number of constraints | 24028 |
Number of constraints which are clauses | 23757 |
Number of constraints which are cardinality constraints (but not clauses) | 271 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 553 |
Number of terms in the objective function | 2043 |
Biggest coefficient in the objective function | 1494 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 824686 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1494 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 824686 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 6.00/6.07 o 514553 6.00/6.07 o 513059 6.00/6.07 o 511565 6.00/6.07 o 505588 6.00/6.07 o 504095 6.00/6.07 o 502601 6.00/6.07 o 501106 6.00/6.07 o 499612 6.00/6.07 o 498118 6.00/6.07 o 496624 6.00/6.07 o 495130 6.00/6.07 o 493637 6.00/6.07 o 492143 6.00/6.07 o 490649 6.00/6.07 o 489155 6.00/6.07 o 487661 6.00/6.07 o 486167 6.00/6.07 o 484673 6.00/6.07 o 483179 6.00/6.07 o 481696 6.00/6.07 o 480202 6.00/6.07 o 478707 6.00/6.07 o 477213 6.00/6.07 o 475719 6.00/6.07 o 474225 6.00/6.07 o 471237 6.00/6.07 o 469743 6.00/6.07 o 468249 6.00/6.07 o 466755 6.00/6.07 o 465261 6.00/6.07 o 463766 6.00/6.07 o 462272 6.00/6.07 o 460778 6.00/6.07 o 459284 6.00/6.07 o 457790 6.00/6.07 o 456296 6.00/6.07 o 454802 6.00/6.07 o 454801 6.00/6.07 o 453307 6.00/6.07 o 451813 6.00/6.07 o 450319 6.00/6.07 o 448825 6.00/6.07 o 444343 6.00/6.07 o 442849 6.00/6.07 o 441355 6.00/6.07 o 439861 6.00/6.07 o 438367 6.00/6.07 o 436873 6.00/6.07 o 435379 6.00/6.07 o 433885 6.00/6.07 o 432391 6.00/6.07 o 430897 6.00/6.07 o 429403 6.00/6.07 o 427909 6.00/6.07 o 426415 6.00/6.07 o 424921 6.00/6.07 o 412964 6.00/6.07 o 411470 6.00/6.07 o 411469 6.00/6.07 o 409975 6.00/6.07 o 409974 6.00/6.07 o 408479 6.00/6.07 o 406985 6.00/6.07 o 405491 6.00/6.07 o 403997 6.00/6.07 o 402503 6.00/6.07 o 401008 6.00/6.07 o 398019 6.00/6.07 o 396525 6.00/6.07 o 395031 6.00/6.07 o 393537 6.00/6.07 o 393536 6.00/6.07 o 393535 6.00/6.07 o 393534 6.00/6.07 o 393533 6.00/6.07 o 392040 6.00/6.07 o 392039 6.00/6.07 o 390545 6.00/6.07 o 389053 6.00/6.07 o 387559 6.00/6.07 o 386065 6.00/6.07 o 384571 6.00/6.07 o 384570 6.00/6.07 o 384569 6.00/6.07 o 383075 6.00/6.07 o 383074 6.00/6.07 o 383073 6.00/6.07 o 383072 6.00/6.07 o 383071 6.00/6.07 o 381577 6.00/6.07 o 381576 6.00/6.07 o 381575 6.00/6.07 o 381574 6.00/6.07 o 381573 6.00/6.07 o 381572 6.00/6.07 o 381571 6.00/6.07 o 381570 6.00/6.07 o 381569 6.00/6.07 o 381568 6.00/6.07 o 381567 6.00/6.07 o 381566 6.00/6.07 o 378592 6.00/6.07 o 375603 6.00/6.07 o 374109 6.00/6.07 o 374108 6.00/6.07 o 372615 6.00/6.07 o 372614 6.00/6.07 o 372613 6.00/6.07 o 372612 6.00/6.07 o 372611 6.00/6.07 o 371116 6.00/6.07 o 369625 6.00/6.07 o 369624 6.00/6.07 o 368129 6.00/6.07 o 368128 6.00/6.07 o 366634 6.00/6.07 o 366633 6.00/6.07 o 366632 6.00/6.07 o 365137 6.00/6.07 o 363642 6.00/6.07 o 360657 6.00/6.07 o 360656 6.00/6.07 o 360655 6.00/6.07 o 360654 6.00/6.07 o 359160 6.00/6.07 o 359159 6.00/6.07 o 357665 6.00/6.07 o 357664 6.00/6.07 o 356169 6.00/6.07 o 354675 6.00/6.07 o 354674 6.00/6.07 o 353179 6.00/6.07 o 353178 6.00/6.07 o 353177 6.00/6.07 o 353176 6.00/6.07 o 351681 6.00/6.07 o 350188 6.00/6.07 o 350187 6.00/6.07 o 350186 6.00/6.07 o 348691 6.00/6.07 o 348690 6.00/6.07 o 348689 6.00/6.07 o 347197 6.00/6.07 o 345702 6.00/6.07 o 344207 6.00/6.07 o 342712 6.00/6.07 o 341217 6.00/6.07 o 341216 6.00/6.07 o 339722 6.00/6.07 o 339721 6.00/6.07 o 338227 6.00/6.07 o 336732 6.00/6.07 o 335237 6.00/6.07 o 333741 6.00/6.07 o 332255 6.00/6.07 o 330760 6.00/6.07 o 329266 6.00/6.07 o 329265 6.00/6.07 o 327771 6.00/6.07 o 326277 6.00/6.07 o 326276 6.00/6.07 o 324781 6.00/6.07 o 323287 6.00/6.07 o 323286 6.00/6.07 o 321796 6.00/6.07 o 320302 6.00/6.07 o 320301 6.00/6.07 o 320300 6.00/6.07 o 320299 6.00/6.07 o 318806 6.00/6.07 o 317312 6.00/6.07 o 317311 6.00/6.07 o 315816 6.00/6.07 o 314321 6.00/6.07 o 314320 6.00/6.07 o 314319 6.00/6.07 o 312822 6.00/6.07 o 312821 6.00/6.07 o 312820 6.00/6.07 o 311326 6.00/6.07 o 309833 6.00/6.07 o 308345 6.00/6.07 o 308344 6.00/6.07 o 306851 6.00/6.07 o 305357 6.00/6.07 o 305356 6.00/6.07 o 305355 6.00/6.07 o 303861 6.00/6.07 o 303860 6.00/6.07 o 303855 6.00/6.07 o 303854 6.00/6.07 o 303853 6.00/6.07 o 302359 6.00/6.07 o 302358 6.00/6.07 o 300863 6.00/6.07 o 299375 6.00/6.07 o 299374 6.00/6.07 o 299373 6.00/6.07 o 299372 6.00/6.07 o 299370 6.00/6.07 o 299369 6.00/6.07 o 297880 6.00/6.07 o 297879 6.00/6.07 o 297878 6.00/6.07 o 297877 6.00/6.07 o 296386 6.00/6.07 o 296385 6.00/6.07 o 296384 6.00/6.07 o 294890 6.00/6.07 o 293396 6.00/6.07 o 293395 6.00/6.07 o 293393 6.00/6.07 o 293392 6.00/6.07 o 291896 6.00/6.07 o 291895 6.00/6.07 o 291894 6.00/6.07 o 290401 6.00/6.07 o 290400 6.00/6.07 o 288906 6.00/6.07 o 287413 6.00/6.07 o 287412 6.00/6.07 o 287411 6.00/6.07 o 287410 6.00/6.07 o 287409 6.00/6.07 o 285915 6.00/6.07 o 285914 6.00/6.07 o 284419 6.00/6.07 o 282927 6.00/6.07 o 282926 6.00/6.07 o 282925 6.00/6.07 o 282924 6.00/6.07 o 281430 6.00/6.07 o 281429 6.00/6.07 o 279934 6.00/6.07 o 279933 6.00/6.07 o 278439 6.00/6.07 o 278438 6.00/6.07 o 276944 6.00/6.07 o 276943 6.00/6.07 o 275449 6.00/6.07 o 275448 6.00/6.07 o 273954 6.00/6.07 o 273953 6.00/6.07 o 272459 6.00/6.07 o 270964 6.00/6.07 o 270963 6.00/6.07 o 269469 6.00/6.07 o 269468 6.00/6.07 o 267974 6.00/6.07 o 267973 6.00/6.07 o 266478 6.00/6.07 o 264990 6.00/6.07 o 264987 6.00/6.07 o 264986 6.00/6.07 o 264985 6.00/6.07 o 264984 6.00/6.07 o 264983 6.00/6.07 o 264982 6.00/6.07 o 264981 6.00/6.07 o 263486 6.00/6.07 o 261995 6.00/6.07 o 261994 6.00/6.07 o 261993 6.00/6.07 o 261992 6.00/6.07 o 260498 6.00/6.07 o 259010 6.00/6.07 o 259009 6.00/6.07 o 259008 6.00/6.07 o 259007 6.00/6.07 o 259006 6.00/6.07 o 259005 6.00/6.07 o 259004 6.00/6.07 o 259003 6.00/6.07 o 257510 6.00/6.07 o 256015 6.00/6.07 o 254521 6.00/6.07 o 254520 6.00/6.07 o 254519 6.00/6.07 o 253028 6.00/6.07 o 253027 6.00/6.07 o 253026 6.00/6.07 o 253025 6.00/6.07 o 251531 6.00/6.07 o 251530 6.00/6.07 o 250041 6.00/6.07 o 250040 6.00/6.07 o 250039 6.00/6.07 o 250038 6.00/6.07 o 250037 6.00/6.07 o 250036 6.00/6.07 o 250035 6.00/6.07 o 248543 6.00/6.07 o 248542 6.00/6.07 o 248541 6.00/6.07 o 247047 6.00/6.07 o 247046 6.00/6.07 o 245552 6.00/6.07 o 245551 6.00/6.07 o 245550 6.00/6.07 o 245549 6.00/6.07 o 245548 6.00/6.07 o 245547 6.00/6.07 o 244053 6.00/6.07 o 244052 6.00/6.07 o 242558 6.00/6.07 o 242557 6.00/6.07 o 241063 6.00/6.07 o 241062 6.00/6.07 o 239579 6.00/6.07 o 239578 6.00/6.07 o 239577 6.00/6.07 o 239576 6.00/6.07 o 239575 6.00/6.07 o 239574 6.00/6.07 o 239573 6.00/6.07 o 238078 6.00/6.07 o 238077 6.00/6.07 o 238076 6.00/6.07 o 236596 6.00/6.07 o 236593 6.00/6.07 o 236592 6.00/6.07 o 236591 6.00/6.07 o 236590 6.00/6.07 o 236589 6.00/6.07 o 236587 6.00/6.07 o 236586 6.00/6.07 o 236585 6.00/6.07 o 235096 6.00/6.07 o 235095 6.00/6.07 o 235094 6.00/6.07 o 235093 6.00/6.07 o 235092 6.00/6.07 o 235091 6.00/6.07 o 235090 6.00/6.07 o 235089 6.00/6.07 o 233596 6.00/6.07 o 233595 6.00/6.07 o 233594 6.00/6.07 o 232101 6.00/6.07 o 232100 6.00/6.07 o 230606 6.00/6.07 o 230605 6.00/6.07 o 229118 6.00/6.07 o 226129 6.00/6.07 o 226128 6.00/6.07 o 224636 6.00/6.07 o 224635 6.00/6.07 o 223140 6.00/6.07 o 221649 6.00/6.07 o 221648 6.00/6.07 o 221647 6.00/6.07 o 221646 6.00/6.07 o 220158 6.00/6.07 o 220157 6.00/6.07 o 220156 6.00/6.07 o 220155 6.00/6.07 o 220154 6.00/6.07 o 220153 6.00/6.07 o 220152 6.00/6.07 o 218658 6.00/6.07 o 217164 6.00/6.07 o 217163 6.00/6.07 o 217161 6.00/6.07 o 217160 6.00/6.07 o 217159 6.00/6.07 o 217158 6.00/6.07 o 217157 6.00/6.07 o 217156 6.00/6.07 o 215661 6.00/6.07 o 215660 6.00/6.07 o 214166 6.00/6.07 o 214165 6.00/6.07 o 214164 6.00/6.07 o 214163 6.00/6.07 o 212669 6.00/6.07 o 212668 6.00/6.07 o 211185 6.00/6.07 o 211184 6.00/6.07 o 211183 6.00/6.07 o 211182 6.00/6.07 o 211181 6.00/6.07 o 211180 6.00/6.07 o 211177 6.00/6.07 o 211176 6.00/6.07 o 211175 6.00/6.07 o 209681 6.00/6.07 o 209680 6.00/6.07 o 209679 6.00/6.07 o 209678 6.00/6.07 o 208185 6.00/6.07 o 208184 6.00/6.07 o 208183 6.00/6.07 o 208182 6.00/6.07 o 206688 6.00/6.07 o 206687 6.00/6.07 o 206686 6.00/6.07 o 206685 6.00/6.07 o 205191 6.00/6.07 o 205190 6.00/6.07 o 203697 6.00/6.07 o 203696 6.00/6.07 o 203695 6.00/6.07 o 202203 6.00/6.07 o 202202 6.00/6.07 o 202201 6.00/6.07 o 200715 6.00/6.07 o 200713 6.00/6.07 o 200712 6.00/6.07 o 200711 6.00/6.07 o 200710 6.00/6.07 o 200709 6.00/6.07 o 200708 6.00/6.07 o 200707 6.00/6.07 o 199215 6.00/6.07 o 199214 6.00/6.07 o 199213 6.00/6.07 o 199212 6.00/6.07 o 199211 6.00/6.07 o 197720 6.00/6.07 o 197719 6.00/6.07 o 197716 6.00/6.07 o 197715 6.00/6.07 o 196226 6.00/6.07 o 196225 6.00/6.07 o 196224 6.00/6.07 o 196223 6.00/6.07 o 196222 6.00/6.07 o 196220 6.00/6.07 o 196219 6.00/6.07 o 196217 6.00/6.07 o 194723 6.00/6.07 o 193229 6.00/6.07 o 193228 6.00/6.07 o 193227 6.00/6.07 o 193226 6.00/6.07 o 193225 6.00/6.07 o 193224 6.00/6.07 o 191735 6.00/6.07 o 191734 6.00/6.07 o 191733 6.00/6.07 o 191732 6.00/6.07 o 191731 6.00/6.07 o 191730 6.00/6.07 o 190236 6.00/6.07 o 190235 6.00/6.07 o 188744 6.00/6.07 o 188743 6.00/6.07 o 188742 6.00/6.07 o 187249 6.00/6.07 o 187248 6.00/6.07 o 187247 6.00/6.07 o 185754 6.00/6.07 o 184260 6.00/6.07 o 184259 6.00/6.07 o 184258 6.00/6.07 o 184257 50.69/50.72 o 184256 50.69/50.72 o 182761 50.69/50.72 o 181267 50.69/50.72 o 181266 50.69/50.72 o 179775 50.69/50.72 o 179774 50.69/50.72 o 178280 50.69/50.72 o 178279 50.69/50.72 o 176786 50.69/50.72 o 176785 50.69/50.72 o 176784 50.69/50.72 o 175291 50.69/50.72 o 175290 50.69/50.72 o 175289 50.69/50.72 o 175288 50.69/50.72 o 175287 50.69/50.72 o 175286 50.69/50.72 o 173806 50.69/50.72 o 172327 50.69/50.72 o 172326 50.69/50.72 o 172325 50.69/50.72 o 172324 50.69/50.72 o 169334 50.69/50.72 o 167847 50.69/50.72 o 167846 50.69/50.72 o 167845 50.69/50.72 o 167844 50.69/50.72 o 167842 50.69/50.72 o 167841 50.69/50.72 o 167840 50.69/50.72 o 167839 50.69/50.72 o 166347 50.69/50.72 o 166346 50.69/50.72 o 166345 50.69/50.72 o 166344 50.69/50.72 o 164857 50.69/50.72 o 164856 50.69/50.72 o 164855 50.69/50.72 o 164854 50.69/50.72 o 164853 50.69/50.72 o 164852 50.69/50.72 o 164851 50.69/50.72 o 164850 50.69/50.72 o 164849 50.69/50.72 o 163355 50.69/50.72 o 163354 50.69/50.72 o 161863 50.69/50.72 o 161862 50.69/50.72 o 161861 50.69/50.72 o 160367 50.69/50.72 o 160366 50.69/50.72 o 160365 50.69/50.72 o 158870 50.69/50.72 o 157377 50.69/50.72 o 157376 50.69/50.72 o 155887 50.69/50.72 o 155886 50.69/50.72 o 155885 50.69/50.72 o 155884 50.69/50.72 o 155883 50.69/50.72 o 154389 50.69/50.72 o 154388 50.69/50.72 o 152900 50.69/50.72 o 152898 50.69/50.72 o 152897 50.69/50.72 o 152896 50.69/50.72 o 152895 50.69/50.72 o 152894 50.69/50.72 o 152893 50.69/50.72 o 151408 50.69/50.72 o 151407 50.69/50.72 o 151406 50.69/50.72 o 151405 50.69/50.72 o 151404 50.69/50.72 o 151403 50.69/50.72 o 149914 50.69/50.72 o 149913 50.69/50.72 o 149912 50.69/50.72 o 149911 50.69/50.72 o 149910 50.69/50.72 o 149909 50.69/50.72 o 148417 50.69/50.72 o 148416 50.69/50.72 o 148415 50.69/50.72 o 148414 50.69/50.72 o 148413 50.69/50.72 o 146919 50.69/50.72 o 146918 50.69/50.72 o 145425 50.69/50.72 o 145424 50.69/50.72 o 145423 50.69/50.72 o 143932 50.69/50.72 o 143931 50.69/50.72 o 143930 50.69/50.72 o 143929 50.69/50.72 o 143928 50.69/50.72 o 142434 50.69/50.72 o 142433 50.69/50.72 o 140939 50.69/50.72 o 139446 50.69/50.72 o 139445 50.69/50.72 o 139444 50.69/50.72 o 139443 50.69/50.72 o 139442 50.69/50.72 o 137947 50.69/50.72 o 136454 50.69/50.72 o 136453 50.69/50.72 o 136452 50.69/50.72 o 136451 50.69/50.72 o 134968 50.69/50.72 o 134967 50.69/50.72 o 134966 50.69/50.72 o 134965 50.69/50.72 o 134964 50.69/50.72 o 134963 50.69/50.72 o 134962 50.69/50.72 o 134961 50.69/50.72 o 134960 50.69/50.72 o 134959 50.69/50.72 o 134958 50.69/50.72 o 134957 50.69/50.72 o 131972 50.69/50.72 o 131971 50.69/50.72 o 131970 50.69/50.72 o 130476 50.69/50.72 o 130475 50.69/50.72 o 128987 50.69/50.72 o 128986 50.69/50.72 o 128985 50.69/50.72 o 128984 50.69/50.72 o 128983 50.69/50.72 o 127491 50.69/50.72 o 127490 50.69/50.72 o 127489 50.69/50.72 o 127488 50.69/50.72 o 125994 50.69/50.72 o 125993 50.69/50.72 o 125992 50.69/50.72 o 124503 50.69/50.72 o 124502 50.69/50.72 o 124501 50.69/50.72 o 124500 50.69/50.72 o 124499 50.69/50.72 o 124498 50.69/50.72 o 124497 50.69/50.72 o 124496 50.69/50.72 o 123005 50.69/50.72 o 123004 50.69/50.72 o 123003 50.69/50.72 o 123002 50.69/50.72 o 123001 50.69/50.72 o 123000 50.69/50.72 o 122999 50.69/50.72 o 122998 50.69/50.72 o 121506 50.69/50.72 o 121505 50.69/50.72 o 121504 50.69/50.72 o 121503 50.69/50.72 o 120010 50.69/50.72 o 120009 50.69/50.72 o 120008 50.69/50.72 o 120007 50.69/50.72 o 120006 50.69/50.72 o 118532 50.69/50.72 o 118531 50.69/50.72 o 118530 50.69/50.72 o 118529 50.69/50.72 o 118528 50.69/50.72 o 118527 50.69/50.72 o 118526 50.69/50.72 o 118525 50.69/50.72 o 117034 50.69/50.72 o 117033 50.69/50.72 o 117032 50.69/50.72 o 117031 50.69/50.72 o 117030 50.69/50.72 o 115538 50.69/50.72 o 115537 50.69/50.72 o 115536 50.69/50.72 o 114045 50.69/50.72 o 114044 50.69/50.72 o 114043 50.69/50.72 o 114042 50.69/50.72 o 112550 50.69/50.72 o 112549 50.69/50.72 o 112548 50.69/50.72 o 112547 50.69/50.72 o 112546 50.69/50.72 o 112545 50.69/50.72 o 112544 50.69/50.72 o 112543 50.69/50.72 o 112542 50.69/50.72 o 111056 50.69/50.72 o 111055 50.69/50.72 o 111054 50.69/50.72 o 111053 50.69/50.72 o 111052 50.69/50.72 o 111051 50.69/50.72 o 111050 50.69/50.72 o 111049 50.69/50.72 o 111048 50.69/50.72 o 111047 50.69/50.72 o 111046 50.69/50.72 o 109558 50.69/50.72 o 109557 50.69/50.72 o 109556 50.69/50.72 o 109555 50.69/50.72 o 109554 50.69/50.72 o 109553 50.69/50.72 o 109552 50.69/50.72 o 109551 50.69/50.72 o 109550 50.69/50.72 o 105071 50.69/50.72 o 105070 50.69/50.72 o 103580 50.69/50.72 o 103579 50.69/50.72 o 103578 50.69/50.72 o 103577 50.69/50.72 o 103576 50.69/50.72 o 102085 50.69/50.72 o 102084 50.69/50.72 o 102083 50.69/50.72 o 102082 50.69/50.72 o 97601 50.69/50.72 o 96117 50.69/50.72 o 96116 50.69/50.72 o 96115 50.69/50.72 o 96114 50.69/50.72 o 96113 50.69/50.72 o 96112 50.69/50.72 o 96111 50.69/50.72 o 96110 50.69/50.72 o 96109 50.69/50.72 o 96108 50.69/50.72 o 96107 50.69/50.72 o 96106 50.69/50.72 o 96105 50.69/50.72 o 94612 50.69/50.72 o 94611 50.69/50.72 o 94610 50.69/50.72 o 94609 50.69/50.72 o 93116 50.69/50.72 o 93115 50.69/50.72 o 93114 50.69/50.72 o 90132 50.69/50.72 o 90131 50.69/50.72 o 90130 50.69/50.72 o 90129 50.69/50.72 o 90128 50.69/50.72 o 90127 50.69/50.72 o 88634 50.69/50.72 o 88633 50.69/50.72 o 88632 50.69/50.72 o 88631 50.69/50.72 o 88630 50.69/50.72 o 87137 50.69/50.72 o 87136 50.69/50.72 o 87135 50.69/50.72 o 87134 50.69/50.72 o 87133 50.69/50.72 o 87132 50.69/50.72 o 87131 50.69/50.72 o 85640 50.69/50.72 o 85639 50.69/50.72 o 85638 50.69/50.72 o 84150 50.69/50.72 o 84149 50.69/50.72 o 84148 50.69/50.72 o 84147 50.69/50.72 o 84146 50.69/50.72 o 84145 50.69/50.72 o 84144 50.69/50.72 o 82653 50.69/50.72 o 82652 50.69/50.72 o 82651 50.69/50.72 o 82650 50.69/50.72 o 82649 50.69/50.72 o 81180 50.69/50.72 o 81179 50.69/50.72 o 81178 50.69/50.72 o 79686 50.69/50.72 o 79685 50.69/50.72 o 79684 50.69/50.72 o 79683 50.69/50.72 o 79682 50.69/50.72 o 79681 50.69/50.72 o 79680 50.69/50.72 o 79679 50.69/50.72 o 78191 50.69/50.72 o 76701 50.69/50.72 o 76700 50.69/50.72 o 76699 50.69/50.72 o 76698 50.69/50.72 o 76697 50.69/50.72 o 76696 50.69/50.72 o 76695 50.69/50.72 o 76694 50.69/50.72 o 76693 50.69/50.72 o 76692 50.69/50.72 o 76691 50.69/50.72 o 76690 50.69/50.72 o 76689 50.69/50.72 o 76688 50.69/50.72 o 76687 50.69/50.72 o 75205 50.69/50.72 o 75204 50.69/50.72 o 75203 50.69/50.72 o 75202 50.69/50.72 o 75201 50.69/50.72 o 75200 50.69/50.72 o 75199 50.69/50.72 o 75198 50.69/50.72 o 75197 50.69/50.72 o 75196 50.69/50.72 o 75195 50.69/50.72 o 75194 50.69/50.72 o 75193 50.69/50.72 o 73701 50.69/50.72 o 73700 50.69/50.72 o 73699 50.69/50.72 o 73698 50.69/50.72 o 73697 50.69/50.72 o 73696 50.69/50.72 o 72205 50.69/50.72 o 72204 50.69/50.72 o 72203 50.69/50.72 o 72202 50.69/50.72 o 70711 50.69/50.72 o 70710 50.69/50.72 o 70709 50.69/50.72 o 70708 50.69/50.72 o 70707 50.69/50.72 o 69219 50.69/50.72 o 69218 50.69/50.72 o 69217 50.69/50.72 o 69216 50.69/50.72 o 69215 50.69/50.72 o 69214 50.69/50.72 o 67725 50.69/50.72 o 67724 50.69/50.72 o 67723 50.69/50.72 o 67722 50.69/50.72 o 67721 50.69/50.72 o 57264 50.69/50.72 o 54281 50.69/50.72 o 54280 50.69/50.72 o 54279 50.69/50.72 o 54278 50.69/50.72 o 54277 50.69/50.72 o 54276 50.69/50.72 o 52789 50.69/50.72 o 52788 50.69/50.72 o 52787 50.69/50.72 o 52786 50.69/50.72 o 52785 50.69/50.72 o 52784 50.69/50.72 o 52783 50.69/50.72 o 52782 50.69/50.72 o 51297 50.69/50.72 o 51296 50.69/50.72 o 51295 50.69/50.72 o 51294 50.69/50.72 o 51293 50.69/50.72 o 51292 50.69/50.72 o 51291 50.69/50.72 o 51287 50.69/50.72 o 51286 50.69/50.72 o 51285 50.69/50.72 o 51284 50.69/50.72 o 49796 50.69/50.72 o 49795 50.69/50.72 o 49794 50.69/50.72 o 49793 50.69/50.72 o 49792 50.69/50.72 o 48307 50.69/50.72 o 48306 50.69/50.72 o 48305 50.69/50.72 o 48304 50.69/50.72 o 48303 50.69/50.72 o 48302 50.69/50.72 o 48301 50.69/50.72 o 48300 50.69/50.72 o 48299 50.69/50.72 o 48298 50.69/50.72 o 48297 50.69/50.72 o 48296 50.69/50.72 o 48295 50.69/50.72 o 48294 50.69/50.72 o 48293 50.69/50.72 o 48292 50.69/50.72 o 48291 50.69/50.72 o 48290 50.69/50.72 o 48289 50.69/50.72 o 48288 50.69/50.72 o 48287 50.69/50.72 o 48286 50.69/50.72 o 48285 50.69/50.72 o 48284 50.69/50.72 o 48283 50.69/50.72 o 48282 50.69/50.72 o 48281 50.69/50.72 o 48280 50.69/50.72 o 48278 50.69/50.72 o 48277 50.69/50.72 o 48276 50.69/50.72 o 48275 50.69/50.72 o 48274 50.69/50.72 o 48273 50.69/50.72 o 48272 50.69/50.72 o 46779 50.69/50.72 o 46778 50.69/50.72 o 46777 50.69/50.72 o 46776 50.69/50.72 o 46775 50.69/50.72 o 46774 50.69/50.72 o 46773 50.69/50.72 o 46772 50.69/50.72 o 45301 50.69/50.72 o 45300 50.69/50.72 o 45299 50.69/50.72 o 45298 50.69/50.72 o 45297 50.69/50.72 o 45296 50.69/50.72 o 45295 50.69/50.72 o 45294 50.69/50.72 o 45293 50.69/50.72 o 45292 50.69/50.72 o 45291 50.69/50.72 o 45290 50.69/50.72 o 45289 50.69/50.72 o 45288 50.69/50.72 o 45287 50.69/50.72 o 45286 50.69/50.72 o 45285 50.69/50.72 o 45284 50.69/50.72 o 45283 50.69/50.72 o 45282 50.69/50.72 o 45281 50.69/50.72 o 45280 50.69/50.72 o 45279 50.69/50.72 o 45278 50.69/50.72 o 45277 50.69/50.72 o 45276 50.69/50.72 o 45275 50.69/50.72 o 45274 50.69/50.72 o 45273 50.69/50.72 o 45272 50.69/50.72 o 45271 50.69/50.72 o 43778 50.69/50.72 o 43777 50.69/50.72 o 43776 50.69/50.72 o 42297 50.69/50.72 o 42296 50.69/50.72 o 42295 50.69/50.72 o 42294 50.69/50.72 o 42293 50.69/50.72 o 42292 50.69/50.72 o 42291 50.69/50.72 o 42290 50.69/50.72 o 42289 50.69/50.72 o 42288 50.69/50.72 o 42287 50.69/50.72 o 42286 50.69/50.72 o 42285 50.69/50.72 o 42284 50.69/50.72 o 42283 50.69/50.72 o 42282 50.69/50.72 o 42281 50.69/50.72 o 42280 50.69/50.72 o 40789 50.69/50.72 o 40788 50.69/50.72 o 40787 50.69/50.72 o 40786 50.69/50.72 o 40785 50.69/50.72 o 40784 50.69/50.72 o 40783 50.69/50.72 o 40782 50.69/50.72 o 40781 50.69/50.72 o 40780 50.69/50.72 o 40779 50.69/50.72 o 39285 50.69/50.72 o 39284 50.69/50.72 o 39283 50.69/50.72 o 39282 83.60/83.60 o 39281 83.60/83.60 o 39280 83.60/83.60 o 39279 83.60/83.60 o 39278 83.60/83.60 o 39277 83.60/83.60 o 39276 83.60/83.60 o 39275 83.60/83.60 o 37790 83.60/83.60 o 37789 83.60/83.60 o 37788 83.60/83.60 o 37787 83.60/83.60 o 37786 83.60/83.60 o 37785 83.60/83.60 o 37784 83.60/83.60 o 37783 83.60/83.60 o 36316 83.60/83.60 o 36315 83.60/83.60 o 36314 83.60/83.60 o 36313 83.60/83.60 o 36312 83.60/83.60 o 36311 83.60/83.60 o 36310 83.60/83.60 o 36309 83.60/83.60 o 36308 83.60/83.60 o 36307 83.60/83.60 o 36306 83.60/83.60 o 36305 83.60/83.60 o 36304 83.60/83.60 o 36303 83.60/83.60 o 36302 83.60/83.60 o 36301 83.60/83.60 o 36300 83.60/83.60 o 36299 83.60/83.60 o 36298 83.60/83.60 o 36297 83.60/83.60 o 36296 83.60/83.60 o 36295 83.60/83.60 o 36294 83.60/83.60 o 36293 83.60/83.60 o 36292 83.60/83.60 o 36291 83.60/83.60 o 36290 83.60/83.60 o 36289 83.60/83.60 o 36288 83.60/83.60 o 36287 83.60/83.60 o 36286 83.60/83.60 o 36285 83.60/83.60 o 36284 83.60/83.60 o 36283 83.60/83.60 o 36282 83.60/83.60 o 36281 83.60/83.60 o 36280 83.60/83.60 o 36279 83.60/83.60 o 36278 83.60/83.60 o 34787 83.60/83.60 o 34786 83.60/83.60 o 34785 83.60/83.60 o 34784 83.60/83.60 o 34783 83.60/83.60 o 34782 83.60/83.60 o 34781 83.60/83.60 o 34780 83.60/83.60 o 34779 83.60/83.60 o 34778 83.60/83.60 o 33288 83.60/83.60 o 33287 83.60/83.60 o 33286 83.60/83.60 o 33285 83.60/83.60 o 33284 83.60/83.60 o 33283 83.60/83.60 o 31790 83.60/83.60 o 31789 83.60/83.60 o 31788 83.60/83.60 o 31787 83.60/83.60 o 31786 83.60/83.60 o 31785 83.60/83.60 o 31784 83.60/83.60 o 30291 83.60/83.60 o 30290 83.60/83.60 o 30289 83.60/83.60 o 30288 83.60/83.60 o 30287 83.60/83.60 o 30286 83.60/83.60 o 30285 83.60/83.60 o 30284 83.60/83.60 o 30283 83.60/83.60 o 30282 83.60/83.60 o 30281 83.60/83.60 o 30280 83.60/83.60 o 28804 83.60/83.60 o 28803 83.60/83.60 o 28802 83.60/83.60 o 28801 83.60/83.60 o 28800 83.60/83.60 o 28799 83.60/83.60 o 28798 83.60/83.60 o 28797 83.60/83.60 o 28796 83.60/83.60 o 28795 83.60/83.60 o 28794 83.60/83.60 o 28793 83.60/83.60 o 28792 83.60/83.60 o 28791 83.60/83.60 o 28790 83.60/83.60 o 28789 83.60/83.60 o 28788 83.60/83.60 o 28787 83.60/83.60 o 28786 83.60/83.60 o 28785 83.60/83.60 o 27305 83.60/83.60 o 27304 83.60/83.60 o 27303 83.60/83.60 o 27302 83.60/83.60 o 27301 83.60/83.60 o 27300 83.60/83.60 o 27299 83.60/83.60 o 27298 83.60/83.60 o 27297 83.60/83.60 o 27296 83.60/83.60 o 27295 83.60/83.60 o 27294 83.60/83.60 o 25810 83.60/83.60 o 25809 83.60/83.60 o 25808 83.60/83.60 o 25807 83.60/83.60 o 25806 83.60/83.60 o 25805 83.60/83.60 o 25804 83.60/83.60 o 25803 83.60/83.60 o 25802 83.60/83.60 o 24322 83.60/83.60 o 24320 83.60/83.60 o 24319 83.60/83.60 o 24318 83.60/83.60 o 24317 83.60/83.60 o 24316 83.60/83.60 o 24315 83.60/83.60 o 24314 83.60/83.60 o 24313 83.60/83.60 o 24312 83.60/83.60 o 24311 83.60/83.60 o 24310 83.60/83.60 o 24309 83.60/83.60 o 24308 83.60/83.60 o 24307 83.60/83.60 o 24306 83.60/83.60 o 24305 83.60/83.60 o 24304 83.60/83.60 o 24303 83.60/83.60 o 24301 83.60/83.60 o 24300 83.60/83.60 o 24299 83.60/83.60 o 22805 83.60/83.60 o 22804 83.60/83.60 o 22803 83.60/83.60 o 22802 83.60/83.60 o 22801 83.60/83.60 o 22800 83.60/83.60 o 22799 83.60/83.60 o 22798 83.60/83.60 o 22796 83.60/83.60 o 22795 83.60/83.60 o 22794 83.60/83.60 o 22793 83.60/83.60 o 21322 83.60/83.60 o 21321 83.60/83.60 o 21320 83.60/83.60 o 21319 83.60/83.60 o 21318 83.60/83.60 o 21317 83.60/83.60 o 21316 83.60/83.60 o 21315 83.60/83.60 o 21314 83.60/83.60 o 21313 83.60/83.60 o 21312 83.60/83.60 o 21311 83.60/83.60 o 21310 83.60/83.60 o 21309 83.60/83.60 o 21308 83.60/83.60 o 21307 83.60/83.60 o 21306 83.60/83.60 o 21305 83.60/83.60 o 21304 83.60/83.60 o 21303 83.60/83.60 o 21302 83.60/83.60 o 21301 83.60/83.60 o 21300 83.60/83.60 o 21299 83.60/83.60 o 19810 83.60/83.60 o 19808 83.60/83.60 o 19807 83.60/83.60 o 19806 83.60/83.60 o 19805 83.60/83.60 o 19803 83.60/83.60 o 19802 83.60/83.60 o 19801 83.60/83.60 o 19800 83.60/83.60 o 19799 83.60/83.60 o 19798 83.60/83.60 o 19797 83.60/83.60 o 19796 83.60/83.60 o 19795 83.60/83.60 o 19794 83.60/83.60 o 19793 83.60/83.60 o 19792 83.60/83.60 o 19791 83.60/83.60 o 19790 83.60/83.60 o 19789 83.60/83.60 o 19788 83.60/83.60 o 19787 83.60/83.60 o 19786 83.60/83.60 o 19785 83.60/83.60 o 19784 83.60/83.60 o 19783 83.60/83.60 o 19782 83.60/83.60 o 19781 83.60/83.60 o 19780 83.60/83.60 o 19779 83.60/83.60 o 19775 83.60/83.60 o 19774 83.60/83.60 o 19773 83.60/83.60 o 19772 83.60/83.60 o 19771 83.60/83.60 o 19770 83.60/83.60 o 19769 83.60/83.60 o 18294 83.60/83.60 o 18293 83.60/83.60 o 18292 83.60/83.60 o 18291 83.60/83.60 o 18290 83.60/83.60 o 18289 83.60/83.60 o 18288 83.60/83.60 o 18287 83.60/83.60 o 18286 83.60/83.60 o 18285 83.60/83.60 o 18284 83.60/83.60 o 18283 83.60/83.60 o 18282 83.60/83.60 o 18281 83.60/83.60 o 18280 83.60/83.60 o 18279 83.60/83.60 o 18278 83.60/83.60 o 18277 83.60/83.60 o 18276 83.60/83.60 o 18275 83.60/83.60 o 18274 83.60/83.60 o 18273 83.60/83.60 o 18272 83.60/83.60 o 18271 83.60/83.60 o 18270 83.60/83.60 o 18269 83.60/83.60 o 18268 83.60/83.60 o 18267 83.60/83.60 o 18266 83.60/83.60 o 18265 83.60/83.60 o 18264 83.60/83.60 o 18263 83.60/83.60 o 18262 83.60/83.60 o 18261 83.60/83.60 o 16772 83.60/83.60 o 16771 83.60/83.60 o 16770 83.60/83.60 o 16769 83.60/83.60 o 16768 83.60/83.60 o 16767 83.60/83.60 o 16766 83.60/83.60 o 15280 83.60/83.60 o 15279 83.60/83.60 o 15278 83.60/83.60 o 15277 83.60/83.60 o 15276 83.60/83.60 o 15275 83.60/83.60 o 15274 83.60/83.60 o 15273 83.60/83.60 o 15272 83.60/83.60 o 15271 83.60/83.60 o 15270 83.60/83.60 o 15269 83.60/83.60 o 15268 83.60/83.60 o 15267 83.60/83.60 o 15266 83.60/83.60 o 15265 83.60/83.60 o 15264 83.60/83.60 o 15263 83.60/83.60 o 15262 83.60/83.60 o 15261 83.60/83.60 o 13774 83.60/83.60 o 13773 83.60/83.60 o 13771 83.60/83.60 o 13770 83.60/83.60 o 13769 83.60/83.60 o 13768 83.60/83.60 o 13767 83.60/83.60 o 13766 83.60/83.60 o 13765 83.60/83.60 o 13764 83.60/83.60 o 13763 83.60/83.60 o 13762 83.60/83.60 o 13761 83.60/83.60 o 12297 83.60/83.60 o 12296 83.60/83.60 o 12295 83.60/83.60 o 12294 83.60/83.60 o 12293 83.60/83.60 o 12292 83.60/83.60 o 12291 83.60/83.60 o 12290 83.60/83.60 o 12289 83.60/83.60 o 12288 83.60/83.60 o 12287 83.60/83.60 o 12286 83.60/83.60 o 12285 83.60/83.60 o 12284 83.60/83.60 o 12283 83.60/83.60 o 12282 83.60/83.60 o 12281 83.60/83.60 o 12280 83.60/83.60 o 12279 83.60/83.60 o 12278 83.60/83.60 o 12277 83.60/83.60 o 10793 83.60/83.60 o 10792 83.60/83.60 o 10791 83.60/83.60 o 10790 83.60/83.60 o 10789 83.60/83.60 o 10788 83.60/83.60 o 10787 83.60/83.60 o 10786 83.60/83.60 o 10785 83.60/83.60 o 10784 83.60/83.60 o 10783 83.60/83.60 o 10782 83.60/83.60 o 10781 83.60/83.60 o 10780 83.60/83.60 o 10779 83.60/83.60 o 10778 83.60/83.60 o 10777 83.60/83.60 o 10776 83.60/83.60 o 10775 83.60/83.60 o 10774 83.60/83.60 o 10773 83.60/83.60 o 10772 83.60/83.60 o 10771 83.60/83.60 o 10770 83.60/83.60 o 10769 83.60/83.60 o 10768 83.60/83.60 o 10767 83.60/83.60 o 10766 83.60/83.60 o 10765 83.60/83.60 o 10764 83.60/83.60 o 10763 83.60/83.60 o 10762 83.60/83.60 o 10761 83.60/83.60 o 10760 83.60/83.60 o 10759 83.60/83.60 o 10758 83.60/83.60 o 10757 83.60/83.60 o 10756 83.60/83.60 o 10755 83.60/83.60 o 10754 83.60/83.60 o 10753 83.60/83.60 o 10752 83.60/83.60 o 10751 83.60/83.60 o 10750 83.60/83.60 o 10749 83.60/83.60 o 10748 83.60/83.60 o 10747 83.60/83.60 o 10746 83.60/83.60 o 10745 83.60/83.60 o 10744 83.60/83.60 o 10743 83.60/83.60 o 10742 83.60/83.60 o 10741 83.60/83.60 o 10740 83.60/83.60 o 10739 83.60/83.60 o 10738 83.60/83.60 o 10737 83.60/83.60 o 10736 83.60/83.60 o 10735 83.60/83.60 o 10734 83.60/83.60 o 10733 83.60/83.60 o 10732 83.60/83.60 o 10731 83.60/83.60 o 10730 83.60/83.60 o 10729 83.60/83.60 o 10727 83.60/83.60 o 10726 83.60/83.60 o 10725 83.60/83.60 o 10724 83.60/83.60 o 10723 83.60/83.60 o 10721 83.60/83.60 o 10719 83.60/83.60 o 10718 83.60/83.60 o 10717 83.60/83.60 o 10716 83.60/83.60 o 10715 83.60/83.60 o 10714 83.60/83.60 o 10713 83.60/83.60 o 10712 83.60/83.60 o 10711 83.60/83.60 o 10710 83.60/83.60 o 10709 83.60/83.60 o 10706 83.60/83.60 o 10705 83.60/83.60 o 10704 83.60/83.60 o 10703 83.60/83.60 o 10701 83.60/83.60 o 10700 83.60/83.60 o 10699 83.60/83.60 o 10698 83.60/83.60 o 10697 83.60/83.60 o 10696 83.60/83.60 o 10695 83.60/83.60 o 10694 83.60/83.60 o 10693 83.60/83.60 o 10692 83.60/83.60 o 10691 83.60/83.60 o 10690 83.60/83.60 o 10689 83.60/83.60 o 10688 83.60/83.60 o 10687 83.60/83.60 o 10686 83.60/83.60 o 10685 83.60/83.60 o 10684 83.60/83.60 o 10683 83.60/83.60 o 10681 83.60/83.60 o 10680 83.60/83.60 o 10679 83.60/83.60 o 10678 83.60/83.60 o 10677 83.60/83.60 o 10676 83.60/83.60 o 10675 83.60/83.60 o 10674 83.60/83.60 o 10673 83.60/83.60 o 10672 83.60/83.60 o 10671 83.60/83.60 o 10670 83.60/83.60 o 10669 83.60/83.60 o 10668 83.60/83.60 o 10667 83.60/83.60 o 10666 83.60/83.60 o 10665 83.60/83.60 o 10664 83.60/83.60 o 10663 83.60/83.60 o 10662 83.60/83.60 o 10661 83.60/83.60 o 10660 83.60/83.60 o 10659 83.60/83.60 o 10658 83.60/83.60 o 10657 83.60/83.60 o 10656 83.60/83.60 o 10655 83.60/83.60 o 10654 83.60/83.60 o 10653 83.60/83.60 o 10652 83.60/83.60 o 10651 83.60/83.60 o 10650 83.60/83.60 o 10649 83.60/83.60 o 10648 83.60/83.60 o 10647 83.60/83.60 o 10646 83.60/83.60 o 10645 83.60/83.60 o 9158 83.60/83.60 o 9157 83.60/83.60 o 9156 83.60/83.60 o 9155 83.60/83.60 o 7683 83.60/83.60 o 7682 83.60/83.60 o 7681 83.60/83.60 o 7680 83.60/83.60 o 7679 83.60/83.60 o 7678 83.60/83.60 o 7677 83.60/83.60 o 7676 83.60/83.60 o 7675 83.60/83.60 o 7674 83.60/83.60 o 7673 83.60/83.60 o 7672 83.60/83.60 o 7671 83.60/83.60 o 7670 83.60/83.60 o 7669 83.60/83.60 o 7668 83.60/83.60 o 7667 83.60/83.60 o 7666 83.60/83.60 o 7665 83.60/83.60 o 7664 83.60/83.60 o 7663 83.60/83.60 o 7662 83.60/83.60 o 6172 83.60/83.60 o 6171 83.60/83.60 o 6170 83.60/83.60 o 6169 83.60/83.60 o 6168 83.60/83.60 o 6167 83.60/83.60 o 6166 83.60/83.60 o 6165 83.60/83.60 o 6164 83.60/83.60 o 6163 83.60/83.60 o 6162 83.60/83.60 o 6161 83.60/83.60 o 6160 83.60/83.60 o 6159 83.60/83.60 o 6158 83.60/83.60 o 6157 83.60/83.60 o 6155 83.60/83.60 o 6154 83.60/83.60 o 6149 83.60/83.60 o 6147 83.60/83.60 o 6146 83.60/83.60 o 6145 83.60/83.60 o 6143 83.60/83.60 o 6142 83.60/83.60 o 6141 83.60/83.60 o 6140 83.60/83.60 o 6139 83.60/83.60 o 6138 83.60/83.60 o 6136 83.60/83.60 o 6134 83.60/83.60 o 6133 83.69/83.72 o 6132 83.69/83.72 o 6131 83.69/83.72 o 6129 83.69/83.72 o 6128 83.69/83.72 o 6127 83.69/83.72 o 6126 83.69/83.72 o 6125 83.69/83.72 o 6123 83.69/83.72 o 6120 83.69/83.72 o 6119 83.69/83.72 o 6118 83.69/83.72 o 6117 83.69/83.72 o 6116 83.69/83.72 o 6115 83.69/83.72 o 6114 83.69/83.72 s OPTIMUM FOUND 83.69/83.72 v x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 x10 -x11 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 x44 -x45 x46 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 -x78 -x79 -x80 -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 -x117 x118 -x119 -x120 -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 -x154 -x155 -x156 x157 -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 -x190 -x191 -x192 -x193 -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 -x229 -x230 -x231 -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 -x262 -x263 -x264 -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 -x297 -x298 -x299 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 -x331 -x332 -x333 -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 -x371 -x372 -x373 -x374 -x375 -x376 x377 -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 -x414 -x415 -x416 -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 -x450 -x451 -x452 -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 x486 -x487 -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 -x520 -x521 x522 -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 -x552 x553 -x554 -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 -x586 -x587 -x588 -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 x621 -x622 x623 -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 -x656 -x657 -x658 -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 -x691 -x692 -x693 -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 -x727 x728 x729 -x730 x731 -x732 -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 x766 -x767 x768 x769 -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 -x804 -x805 -x806 -x807 -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 x842 -x843 x844 -x845 -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 x879 -x880 -x881 -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 -x915 -x916 -x917 -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 -x947 -x948 -x949 -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 -x982 -x983 -x984 x985 -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 -x1015 -x1016 -x1017 -x1018 -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 -x1049 -x1050 -x1051 -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 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -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 -x1123 -x1124 -x1125 -x1126 -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 -x1159 -x1160 -x1161 -x1162 -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 x1196 x1197 -x1198 -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 -x1233 -x1234 -x1235 -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 -x1271 x1272 -x1273 -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 -x1310 x1311 -x1312 -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 x1347 x1348 -x1349 -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 x1384 -x1385 -x1386 -x1387 -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 -x1424 -x1425 -x1426 -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 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -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 x1499 -x1500 -x1501 -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 x1532 -x1533 -x1534 x1535 -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 -x1571 -x1572 -x1573 -x1574 -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 -x1607 -x1608 -x1609 -x1610 -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 -x1646 -x1647 -x1648 -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 x1683 -x1684 -x1685 -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 -x1720 x1721 -x1722 x1723 -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 -x1761 -x1762 -x1763 -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 x1795 -x1796 x1797 -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 -x1833 x1834 x1835 -x1836 -x1837 x1838 -x1839 -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 -x1873 -x1874 -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 -x1909 -x1910 x1911 -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 -x1946 -x1947 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 -x1981 x1982 -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 -x2013 -x2014 -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 -x2045 x2046 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 -x2081 -x2082 -x2083 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 x2116 -x2117 -x2118 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 -x2157 -x2158 -x2159 -x2160 -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 x2194 -x2195 -x2196 x2197 -x2198 x2199 x2200 -x2201 -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 -x2234 -x2235 -x2236 -x2237 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 -x2273 -x2274 -x2275 -x2276 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 -x2308 -x2309 -x2310 -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 x2344 -x2345 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 -x2374 x2375 -x2376 -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 x2409 -x2410 x2411 -x2412 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 -x2445 -x2446 -x2447 -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 x2481 -x2482 x2483 -x2484 -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 -x2514 -x2515 -x2516 -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 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 x2552 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 -x2585 -x2586 -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 -x2617 -x2618 -x2619 -x2620 -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 -x2655 -x2656 -x2657 -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 -x2685 -x2686 x2687 -x2688 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 x2721 -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 -x2753 x2754 -x2755 -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 -x2791 x2792 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 -x2823 -x2824 -x2825 -x2826 -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 -x2859 x2860 -x2861 x2862 -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 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -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 -x2937 -x2938 -x2939 -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 -x2969 -x2970 -x2971 -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 -x3005 -x3006 -x3007 -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 -x3042 -x3043 -x3044 -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 -x3078 -x3079 -x3080 -x3081 -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 -x3115 -x3116 -x3117 -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 -x3151 -x3152 -x3153 -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 -x3188 -x3189 -x3190 -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 -x3225 -x3226 -x3227 -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 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -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 -x3299 -x3300 -x3301 -x3302 -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 -x3336 -x3337 -x3338 -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 -x3370 -x3371 -x3372 -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 -x3411 -x3412 -x3413 -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 -x3443 -x3444 -x3445 -x3446 -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 -x3479 -x3480 -x3481 -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 -x3514 -x3515 -x3516 -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 -x3549 -x3550 -x3551 -x3552 -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 -x3587 -x3588 -x3589 -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 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -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 -x3665 -x3666 -x3667 -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 -x3704 -x3705 -x3706 -x3707 -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 -x3740 -x3741 -x3742 -x3743 -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 -x3773 -x3774 -x3775 -x3776 -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 -x3807 -x3808 -x3809 -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 -x3845 -x3846 -x3847 -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 -x3877 -x3878 -x3879 -x3880 -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 -x3913 -x3914 -x3915 -x3916 -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 -x3943 -x3944 -x3945 -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 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 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 -x4012 -x4013 -x4014 -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 -x4045 -x4046 -x4047 -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 -x4077 -x4078 -x4079 -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 -x4111 -x4112 -x4113 -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 -x4149 -x4150 -x4151 -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 -x4182 -x4183 -x4184 -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 -x4217 -x4218 x4219 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 -x4250 -x4251 x4252 -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 -x4284 -x4285 -x4286 -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 -x4317 -x4318 -x4319 x4320 x4321 -x4322 -x4323 -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 -x4360 -x4361 -x4362 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 -x4396 -x4397 -x4398 -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 -x4432 -x4433 -x4434 -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 -x4465 -x4466 x4467 -x4468 -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 -x4500 -x4501 -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 -x4532 -x4533 -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 -x4565 x4566 x4567 -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 -x4601 -x4602 -x4603 -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 -x4640 -x4641 -x4642 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 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -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 -x4711 -x4712 -x4713 -x4714 -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 -x4749 -x4750 -x4751 -x4752 -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 -x4788 -x4789 -x4790 -x4791 -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 -x4827 -x4828 -x4829 -x4830 -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 -x4864 -x4865 -x4866 -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 -x4901 -x4902 -x4903 -x4904 -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 -x4940 -x4941 -x4942 -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 -x4977 -x4978 -x4979 -x4980 -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 -x5013 -x5014 -x5015 -x5016 -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 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -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 x5089 x5090 -x5091 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 -x5122 -x5123 -x5124 -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 -x5153 -x5154 -x5155 -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 -x5188 -x5189 -x5190 -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 -x5225 -x5226 -x5227 -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 -x5259 -x5260 -x5261 x5262 -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 -x5295 -x5296 -x5297 -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 -x5332 -x5333 x5334 -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 -x5365 -x5366 -x5367 -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 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -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 -x5439 -x5440 x5441 -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
OK 6114
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) 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-3491425-1307786660/watcher-3491425-1307786660 -o /tmp/evaluation-result-3491425-1307786660/solver-3491425-1307786660 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491425-1307786660.opb --verbosity=0 --format=opb --randomseed=843174294 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.97 1.91 2/177 21091 /proc/meminfo: memFree=31472880/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=7872 CPUtime=0 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 496 0 0 0 0 0 0 0 25 0 1 0 871081584 8060928 448 33554432000 4194304 6720400 140736224412528 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 1968 448 232 617 0 1342 0 [startup+0.019285 s] /proc/loadavg: 1.99 1.97 1.91 2/177 21091 /proc/meminfo: memFree=31472880/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=9012 CPUtime=0.01 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 767 0 0 0 1 0 0 0 25 0 1 0 871081584 9228288 719 33554432000 4194304 6720400 140736224412528 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 2253 719 232 617 0 1627 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9012 [startup+0.100267 s] /proc/loadavg: 1.99 1.97 1.91 2/177 21091 /proc/meminfo: memFree=31472880/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=14780 CPUtime=0.09 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 2209 0 0 0 9 0 0 0 25 0 1 0 871081584 15134720 2161 33554432000 4194304 6720400 140736224412528 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 3695 2162 232 617 0 3069 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14780 [startup+0.300233 s] /proc/loadavg: 1.99 1.97 1.91 2/177 21091 /proc/meminfo: memFree=31472880/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=45136 CPUtime=0.29 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 9844 0 0 0 28 1 0 0 25 0 1 0 871081584 46219264 9664 33554432000 4194304 6720400 140736224412528 18446744073709551615 4803111 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 11284 9664 255 617 0 10658 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 45136 [startup+0.701159 s] /proc/loadavg: 1.99 1.97 1.91 2/177 21091 /proc/meminfo: memFree=31472880/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=45140 CPUtime=0.69 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 9901 0 0 0 68 1 0 0 25 0 1 0 871081584 46223360 9719 33554432000 4194304 6720400 140736224412528 18446744073709551615 4820082 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 11285 9719 265 617 0 10659 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 45140 [startup+1.50103 s] /proc/loadavg: 1.99 1.97 1.91 3/178 21092 /proc/meminfo: memFree=31434580/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=46320 CPUtime=1.49 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 10273 0 0 0 148 1 0 0 25 0 1 0 871081584 47431680 10091 33554432000 4194304 6720400 140736224412528 18446744073709551615 4820016 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 11580 10091 265 617 0 10954 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46320 [startup+3.1007 s] /proc/loadavg: 1.99 1.97 1.91 3/178 21092 /proc/meminfo: memFree=31432472/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=49412 CPUtime=3.09 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 11293 0 0 0 308 1 0 0 25 0 1 0 871081584 50597888 11109 33554432000 4194304 6720400 140736224412528 18446744073709551615 4211564 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 12353 11109 265 617 0 11727 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49412 [startup+6.30108 s] /proc/loadavg: 1.99 1.97 1.91 3/178 21092 /proc/meminfo: memFree=31414980/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=71996 CPUtime=6.29 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 20896 0 0 0 626 3 0 0 25 0 1 0 871081584 73723904 16515 33554432000 4194304 6720400 140736224412528 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 17999 16515 265 617 0 17373 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 71996 [startup+12.7008 s] /proc/loadavg: 1.99 1.97 1.91 3/178 21092 /proc/meminfo: memFree=31407956/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=80852 CPUtime=12.69 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 33836 0 0 0 1264 5 0 0 25 0 1 0 871081584 82792448 19010 33554432000 4194304 6720400 140736224412528 18446744073709551615 4616636 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 20213 19011 265 617 0 19587 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 80852 [startup+25.5003 s] /proc/loadavg: 1.99 1.97 1.91 3/178 21093 /proc/meminfo: memFree=31381172/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=118340 CPUtime=25.49 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 43322 0 0 0 2543 6 0 0 25 0 1 0 871081584 121180160 23456 33554432000 4194304 6720400 140736224412528 18446744073709551615 4415857 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 29585 23456 265 617 0 28959 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 118340 [startup+51.1012 s] /proc/loadavg: 1.99 1.97 1.91 3/178 21093 /proc/meminfo: memFree=31372308/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=106848 CPUtime=51.1 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 68182 0 0 0 5101 9 0 0 25 0 1 0 871081584 109412352 25174 33554432000 4194304 6720400 140736224412528 18446744073709551615 4811645 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 26712 25174 266 617 0 26086 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 106848 Solver just ended. Dumping a history of the last processes samples [startup+63.9006 s] /proc/loadavg: 1.99 1.97 1.91 3/178 21094 /proc/meminfo: memFree=31381232/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=113796 CPUtime=63.89 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 74269 0 0 0 6379 10 0 0 25 0 1 0 871081584 116527104 22937 33554432000 4194304 6720400 140736224412528 18446744073709551615 4812845 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 28449 22937 266 617 0 27823 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 113796 [startup+76.7011 s] /proc/loadavg: 1.99 1.97 1.91 3/178 21094 /proc/meminfo: memFree=31374660/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=113796 CPUtime=76.69 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 75948 0 0 0 7659 10 0 0 25 0 1 0 871081584 116527104 24612 33554432000 4194304 6720400 140736224412528 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 28449 24612 266 617 0 27823 0 Current children cumulated CPU time (s) 76.69 Current children cumulated vsize (KiB) 113796 [startup+79.9005 s] /proc/loadavg: 1.99 1.97 1.91 3/178 21094 /proc/meminfo: memFree=31374528/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=113796 CPUtime=79.89 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 75948 0 0 0 7979 10 0 0 25 0 1 0 871081584 116527104 24612 33554432000 4194304 6720400 140736224412528 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 28449 24612 266 617 0 27823 0 Current children cumulated CPU time (s) 79.89 Current children cumulated vsize (KiB) 113796 [startup+81.5011 s] /proc/loadavg: 1.99 1.97 1.91 3/178 21094 /proc/meminfo: memFree=31374644/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=113796 CPUtime=81.49 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 75948 0 0 0 8139 10 0 0 25 0 1 0 871081584 116527104 24612 33554432000 4194304 6720400 140736224412528 18446744073709551615 4717731 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 28449 24612 266 617 0 27823 0 Current children cumulated CPU time (s) 81.49 Current children cumulated vsize (KiB) 113796 [startup+83.1008 s] /proc/loadavg: 1.99 1.97 1.91 3/178 21094 /proc/meminfo: memFree=31374644/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=113796 CPUtime=83.09 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 75948 0 0 0 8299 10 0 0 25 0 1 0 871081584 116527104 24612 33554432000 4194304 6720400 140736224412528 18446744073709551615 4812086 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 28449 24612 266 617 0 27823 0 Current children cumulated CPU time (s) 83.09 Current children cumulated vsize (KiB) 113796 [startup+83.5007 s] /proc/loadavg: 1.99 1.97 1.91 3/178 21094 /proc/meminfo: memFree=31374520/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=113796 CPUtime=83.5 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 75948 0 0 0 8340 10 0 0 25 0 1 0 871081584 116527104 24612 33554432000 4194304 6720400 140736224412528 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 28449 24612 266 617 0 27823 0 Current children cumulated CPU time (s) 83.5 Current children cumulated vsize (KiB) 113796 [startup+83.7007 s] /proc/loadavg: 1.99 1.97 1.91 3/178 21094 /proc/meminfo: memFree=31374520/32951124 swapFree=67055520/67111528 [pid=21091] ppid=21089 vsize=113796 CPUtime=83.69 cores=0,2,4,6 /proc/21091/stat : 21091 (minisatid) R 21089 21091 20704 0 -1 4202496 75948 0 0 0 8359 10 0 0 25 0 1 0 871081584 116527104 24612 33554432000 4194304 6720400 140736224412528 18446744073709551615 4616738 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/21091/statm: 28449 24612 266 617 0 27823 0 Current children cumulated CPU time (s) 83.69 Current children cumulated vsize (KiB) 113796 Child status: 10 Real time (s): 83.7265 CPU time (s): 83.7293 CPU user time (s): 83.6173 CPU system time (s): 0.111982 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 167952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 83.6173 system time used= 0.111982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75953 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= 4 involuntary context switches= 193 runsolver used 0.115982 second user time and 0.274958 second system time The end
Begin job on node143 at 2011-06-11 12:04:20 IDJOB=3491425 IDBENCH=72104 IDSOLVER=1980 FILE ID=node143/3491425-1307786660 RUNJOBID= node143-1307783023-20722 PBS_JOBID= 13550882 Free space on /tmp= 74084 MiB SOLVER NAME= MinisatID 2.5.2 (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand4a23d9.cudf.paranoid.opb COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3491425-1307786660/watcher-3491425-1307786660 -o /tmp/evaluation-result-3491425-1307786660/solver-3491425-1307786660 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491425-1307786660.opb --verbosity=0 --format=opb --randomseed=843174294 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 818b79ae869509d5a8ea99635b1eadb4 RANDOM SEED=843174294 node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31439952 kB Buffers: 125728 kB Cached: 1061076 kB SwapCached: 8636 kB Active: 461208 kB Inactive: 894296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31439952 kB SwapTotal: 67111528 kB SwapFree: 67055520 kB Dirty: 7320 kB Writeback: 0 kB AnonPages: 167200 kB Mapped: 14092 kB Slab: 91196 kB PageTables: 4756 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 392208 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74080 MiB End job on node143 at 2011-06-11 12:05:44