Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-sat 1.12 | ? (TO) | 2519.71 | 2520.01 |
Name | LatinSquare/LatinSquare-m1-gp/ qwh-o30-h375-12.xml |
MD5SUM | cda15f5e5f696f8ee91ea98989c7670b |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 39.8115 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 900 |
Number of constraints | 2 |
Number of domains | 1 |
Minimum domain size | 30 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":30,"count":900}] |
Minimum variable degree | 1 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":1,"count":375},{"degree":2,"count":525}] |
Minimum constraint arity | 525 |
Maximum constraint arity | 900 |
Distribution of constraint arities | [{"arity":525,"count":1},{"arity":900,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.15 c SAT : Variables: 27000 -- Clauses: 392400 0.00/0.17 c root propagations : 4626 0.00/0.17 c restarts enabled, print stats at every restarts 0.00/0.17 c 0.00/0.17 c 0.00/0.17 c 0.00/0.17 c This is cosoco 1.12 -- 0.00/0.17 c 0.00/0.17 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266127-1502591446.xml 0.00/0.17 c ========================================[ Problem Statistics ]=========================================== 0.00/0.17 c | 0.00/0.17 c | Parse time : 0.04 s 0.00/0.17 c | 0.00/0.17 c | Variables: 900 0.00/0.17 c | Domain Sizes: 30..30 0.00/0.17 c | 0.00/0.17 c | Constraints: 585 0.00/0.17 c | Arity: 1..30 -- Unary: 525 0.00/0.17 c | 0.00/0.17 c | Types: 0.00/0.17 c | All Different: 60 0.00/0.17 c | Unary: 525 0.00/0.17 c | 0.00/0.17 c ========================================================================================================= 0.00/0.17 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.19 c 10 687 7042 10879 890 9 564 677 592 0.00/0.20 c 20 1345 10159 16460 890 17 545 643 524 0.10/0.21 c 30 1941 12592 19801 890 24 570 582 525 0.10/0.23 c 40 2571 15781 25155 890 32 567 612 542 0.10/0.24 c 50 3144 17888 27261 890 36 542 551 497 0.10/0.25 c 60 3756 20329 30422 890 45 554 592 523 0.10/0.26 c 70 4350 22700 33961 890 52 540 573 509 0.10/0.27 c 80 4915 24673 36306 890 57 432 551 488 0.10/0.28 c 90 5380 26528 39350 890 65 434 448 402 0.10/0.29 c 100 5860 28488 42429 890 68 434 456 407 0.10/0.29 c 101 6177 29542 43125 890 69 317 317 158 0.10/0.30 c 110 6654 31320 45662 890 74 320 456 393 0.10/0.31 c 120 7128 33123 48382 890 77 334 459 405 0.10/0.31 c 130 7503 34689 50862 890 82 330 339 305 0.20/0.32 c 140 7863 36332 53969 890 86 331 341 305 0.20/0.33 c 150 8215 37893 57038 890 89 332 335 303 0.20/0.33 c 160 8562 39347 59579 890 94 280 334 298 0.20/0.34 c 170 8981 41172 62423 890 98 213 372 264 0.20/0.35 c 180 9378 42811 65059 890 103 282 373 290 0.20/0.36 c 190 9766 44513 68202 890 106 301 371 294 0.20/0.36 c 200 10084 45886 70801 890 110 266 304 272 0.20/0.37 c 210 10436 47360 73376 890 115 230 303 257 0.20/0.37 c 211 10668 48138 74008 890 116 232 232 116 0.20/0.38 c 220 10905 49080 75346 890 118 217 221 196 0.20/0.39 c 230 11264 50661 78087 890 122 217 330 268 0.20/0.39 c 240 11579 51964 80427 890 127 284 294 262 0.20/0.40 c 250 11883 53397 83457 890 130 283 287 258 0.20/0.41 c 260 12259 55006 86476 890 132 248 287 243 0.30/0.42 c 270 12805 57507 90884 890 137 357 398 346 0.30/0.42 c 280 13145 58989 93673 890 140 282 298 260 0.30/0.43 c 290 13478 60423 96319 890 142 285 288 259 0.30/0.44 c 300 13786 61729 98683 890 145 270 288 248 0.30/0.44 c 310 14118 63178 101215 890 148 205 297 246 0.30/0.45 c 320 14422 64572 104230 890 151 273 277 249 0.30/0.47 c 330 15079 69126 114960 890 158 236 600 476 0.30/0.48 c 332 15375 70229 116175 890 159 292 294 195 0.30/0.48 c 340 15710 71571 118364 890 162 269 291 250 0.30/0.49 conflict 44lvl : 377 bt377-16379:0(725)X1660558 0.30/0.50 c 350 16253 73927 122139 890 165 419 435 388 0.30/0.50 c 360 16566 75271 124666 890 169 292 296 266 0.30/0.51 c 370 16927 76666 126901 890 172 291 293 265 0.40/0.52 c 380 17283 78137 129214 890 179 181 313 246 0.40/0.52 c 390 17634 79686 131895 890 184 251 326 265 0.40/0.53 c 400 17976 81146 134499 890 185 294 297 268 0.40/0.54 c 410 18347 82807 137382 890 192 300 323 288 0.40/0.54 c 420 18650 84198 140014 890 194 279 284 255 0.40/0.56 c 430 19182 86700 144593 890 200 454 491 428 0.40/0.56 c 440 19505 88044 146945 890 204 296 299 269 0.40/0.57 c 450 19848 89494 149366 890 208 316 319 288 0.40/0.58 c 460 20197 90895 151824 890 210 301 309 279 0.40/0.58 c 465 20505 92014 153031 890 213 291 301 247 0.40/0.59 c 470 21015 94091 155944 890 217 485 498 408 0.40/0.60 c 480 21387 95628 158633 890 219 284 305 271 0.40/0.60 c 490 21723 96934 160898 890 222 294 298 269 0.49/0.61 conflict 41lvl : 386 bt385-14746:0(731)X1662427 0.49/0.62 c 500 22316 99999 166690 890 231 450 574 491 0.49/0.62 c 510 22653 101357 169072 890 237 311 318 285 0.49/0.63 c 520 23080 102962 171797 890 240 313 315 285 0.49/0.65 c 530 23706 105966 177319 890 248 475 617 525 0.49/0.65 c 540 24101 107514 179940 890 250 293 318 279 0.49/0.67 c 550 24727 110569 185728 890 257 433 615 528 0.49/0.68 c 560 25085 112052 188519 890 259 315 325 292 0.49/0.68 c 570 25429 113408 191086 890 261 316 317 287 0.49/0.69 c 580 25790 114893 193797 890 266 303 318 283 0.58/0.71 c 590 26474 118880 203580 890 273 597 631 558 0.58/0.72 c 600 26864 120506 206497 890 279 313 334 296 0.58/0.72 c 610 27281 122179 209524 890 282 314 334 300 0.58/0.73 c 611 27600 123289 210432 890 283 319 319 159 0.58/0.74 c 620 27973 124803 213008 890 287 312 337 291 0.58/0.75 c 630 28655 128083 219021 890 297 596 673 569 0.58/0.76 c 640 29005 129495 221380 890 301 323 328 296 0.58/0.77 c 650 29693 132846 227920 890 310 460 677 556 0.58/0.78 c 660 30061 134367 230602 890 315 329 339 306 0.58/0.79 c 670 30433 135917 233546 890 319 334 339 306 0.68/0.80 c 680 31045 138643 237603 890 325 286 580 335 0.68/0.81 c 690 31391 139996 239717 890 330 297 333 277 0.68/0.82 c 700 31946 142269 243161 890 335 374 435 381 0.68/0.83 c 710 32293 143742 245923 890 341 299 329 290 0.68/0.84 c 720 32953 147267 253397 890 344 563 641 571 0.68/0.85 c 730 33307 148730 255976 890 350 300 339 298 0.68/0.87 c 740 33945 151732 261490 890 356 302 624 371 0.68/0.87 c 750 34324 153269 264063 890 362 303 341 299 0.68/0.88 c 760 34710 155005 267653 890 366 315 344 303 0.68/0.89 c 770 35081 156558 270549 890 374 291 339 297 0.68/0.89 c 771 35408 157667 271358 890 375 327 327 163 0.78/0.91 c 780 36105 161208 278523 890 381 462 670 560 0.78/0.92 c 790 36467 162665 281069 890 383 340 344 309 0.78/0.94 c 800 37174 166238 288777 890 388 556 673 590 0.78/0.95 c 810 37655 168078 291552 890 391 312 352 308 0.78/0.96 c 820 38404 171900 299572 890 395 647 695 611 0.78/0.97 c 830 38886 173731 302323 890 398 325 362 318 0.78/0.99 c 840 39620 177445 310122 890 399 648 677 605 0.78/1.00 c 850 40078 179239 313055 890 401 336 376 326 0.89/1.02 c 860 40783 182387 318890 890 405 419 433 389 0.89/1.02 c 870 41211 184080 321727 890 407 336 375 320 0.89/1.03 c 880 41729 186288 325455 890 410 394 441 380 0.89/1.04 c 890 42140 187999 328362 890 412 340 364 322 0.89/1.05 c 900 42699 190398 332354 890 414 394 424 376 0.89/1.06 c 910 43106 192126 335825 890 416 340 362 319 0.89/1.07 c 920 43505 193721 338453 890 419 339 359 317 0.89/1.08 c 930 43976 195808 341746 890 424 336 447 348 0.89/1.09 c 940 44612 198613 345942 890 432 336 623 430 0.89/1.10 c 947 44984 200121 347985 890 436 342 357 304 0.99/1.11 c 950 45365 201502 349464 890 438 349 365 269 0.99/1.11 c 960 45805 203338 352642 890 442 343 365 322 0.99/1.13 c 970 46475 206496 357919 890 450 472 653 556 0.99/1.14 c 980 46875 208236 361261 890 452 357 364 329 0.99/1.15 c 990 47537 211400 366462 890 462 599 653 570 0.99/1.16 c 1000 47960 213121 369466 890 464 366 375 337 0.99/1.17 c 1010 48520 215577 373928 890 467 390 436 384 0.99/1.18 c 1020 48950 217297 376757 890 472 354 375 332 1.08/1.20 c 1030 49618 220688 383394 890 476 635 642 580 1.08/1.21 c 1040 50053 222343 385717 890 480 348 371 332 1.08/1.21 c 1050 50453 223889 388000 890 483 348 370 325 1.08/1.23 c 1060 51018 226221 391389 890 489 206 437 360 1.08/1.24 c 1070 51695 229246 396462 890 497 351 663 459 1.08/1.26 c 1080 52368 233317 406154 890 507 404 657 513 1.08/1.28 c 1090 53015 236537 412122 890 513 358 634 446 1.08/1.29 c 1100 53695 239946 418484 890 520 348 651 463 1.18/1.31 c 1110 54358 243193 424536 890 528 414 626 494 1.18/1.33 c 1120 55015 246853 433036 890 538 418 639 527 1.18/1.35 c 1130 55688 250882 442929 890 544 422 647 532 1.18/1.38 c 1140 56448 255994 457438 890 548 575 659 581 1.18/1.39 c 1141 57026 258416 460526 890 549 578 578 289 1.28/1.41 c 1150 57713 262079 468009 890 557 566 665 572 1.28/1.42 c 1160 58424 265920 476205 890 563 627 653 583 1.28/1.44 c 1170 59116 269283 482409 890 569 604 629 566 1.28/1.46 c 1180 59816 273339 491343 890 571 610 632 566 1.28/1.48 c 1190 60456 276581 497128 890 578 596 617 549 1.38/1.50 c 1200 61091 280449 506806 890 582 573 591 526 1.38/1.51 c 1210 61705 283779 513563 890 589 573 597 531 1.38/1.54 c 1220 62459 288068 523066 890 596 516 703 556 1.38/1.56 c 1230 63087 291792 531318 890 601 553 602 537 1.38/1.58 c 1240 63720 296040 541840 890 604 557 593 532 1.48/1.60 c 1250 64367 300107 552404 890 607 561 595 535 1.48/1.61 c 1260 65051 303422 558237 890 612 560 656 550 1.48/1.63 c 1270 65771 307376 567035 890 617 659 696 619 1.48/1.65 c 1280 66407 310486 572966 890 627 562 618 546 1.48/1.67 c 1290 67138 314515 581599 890 633 504 635 541 1.48/1.68 c 1300 67604 316309 583826 890 641 434 451 403 1.48/1.69 c 1310 68069 318122 585921 890 646 433 447 399 1.58/1.70 c 1320 68533 319948 588492 890 649 430 444 396 1.58/1.71 c 1330 69081 322167 591403 890 653 431 526 421 1.58/1.72 c 1340 69772 325424 597199 890 659 454 640 530 1.58/1.73 c 1350 70248 327357 599998 890 664 432 447 400 1.58/1.74 c 1352 70775 329314 601879 890 666 526 526 350 1.58/1.75 c 1360 71431 332299 606679 890 670 491 634 529 1.58/1.77 c 1370 72019 335058 611544 890 673 530 568 504 1.58/1.78 c 1380 72690 338541 618499 890 675 636 642 581 1.68/1.80 c 1390 73264 341089 622686 890 681 529 547 491 1.68/1.81 c 1400 73948 344688 630012 890 686 637 653 590 1.68/1.83 c 1410 74559 347709 635431 890 691 531 583 509 1.68/1.84 c 1420 75228 350812 640640 890 697 625 655 587 1.68/1.86 c 1430 75789 353216 644171 890 701 544 546 495 1.68/1.87 c 1440 76506 356696 650978 890 708 608 687 606 1.68/1.89 c 1450 77067 359102 654499 890 710 548 548 498 1.78/1.90 c 1460 77775 362484 661008 890 719 637 681 603 1.78/1.91 c 1470 78337 364870 664482 890 721 549 549 499 1.78/1.93 c 1480 79044 368213 670940 890 723 656 671 602 1.78/1.94 c 1490 79612 370641 674527 890 725 550 551 500 1.78/1.96 c 1500 80319 374075 681248 890 732 612 681 599 1.78/1.97 c 1510 80889 376526 684872 890 736 553 555 503 1.78/1.99 c 1520 81585 379919 691427 890 741 660 679 603 1.78/2.00 c 1530 82100 381745 693559 890 747 463 491 442 1.78/2.00 c 1540 82615 383688 696215 890 751 463 486 438 1.89/2.02 c 1550 83268 387067 702467 890 757 611 627 561 1.89/2.03 c 1560 83819 389199 705651 890 758 486 489 443 1.89/2.04 c 1570 84376 391344 708663 890 763 463 488 434 1.89/2.05 c 1580 84925 393516 711766 890 768 472 493 440 1.89/2.06 c 1585 85462 395354 713590 890 772 472 491 405 1.89/2.07 c 1590 85948 397057 715255 890 774 450 481 395 1.89/2.08 c 1600 86521 399157 718037 890 777 450 480 430 1.89/2.09 c 1610 87162 401549 720866 890 781 282 523 419 1.89/2.10 c 1620 87716 403749 724092 890 783 447 526 443 2.00/2.12 c 1630 88375 407001 730149 890 788 481 634 542 2.00/2.13 c 1640 88946 409325 733694 890 789 511 534 476 2.00/2.15 c 1650 89644 413510 744177 890 793 625 646 580 2.00/2.16 c 1660 90130 415462 746943 890 799 447 462 412 2.00/2.17 c 1670 90629 417526 750053 890 803 455 463 417 2.00/2.18 c 1680 91282 420388 754532 890 809 500 640 551 2.00/2.19 c 1690 91776 422541 757856 890 813 455 463 416 2.09/2.20 c 1700 92280 424539 760642 890 815 452 473 414 2.09/2.22 c 1710 92971 428223 768210 890 816 616 646 577 2.09/2.23 c 1720 93473 430317 771376 890 821 461 469 423 2.09/2.24 c 1730 93969 432411 774412 890 823 461 468 422 2.09/2.25 c 1740 94527 435151 779985 890 829 463 507 453 2.09/2.26 c 1750 95053 437071 782315 890 835 462 496 437 2.09/2.27 c 1760 95563 439174 785510 890 839 466 474 429 2.09/2.28 c 1770 96119 441547 789405 890 846 464 496 447 2.09/2.29 c 1780 96611 443481 792030 890 847 467 470 426 2.19/2.30 c 1790 97149 445564 794750 890 851 464 497 446 2.19/2.31 c 1800 97639 447574 797345 890 856 437 452 407 2.19/2.32 c 1810 98168 449773 800573 890 860 459 493 424 2.19/2.33 c 1820 98815 452524 804387 890 866 424 625 420 2.19/2.35 c 1830 99466 455534 809543 890 875 567 640 562 2.19/2.37 c 1840 100134 459167 816977 890 880 557 637 561 2.19/2.38 c 1841 100694 461237 818923 890 881 560 560 280 2.29/2.40 c 1850 101383 464860 826940 890 887 505 681 565 2.29/2.41 c 1860 102030 467839 831891 890 896 566 638 563 2.29/2.43 c 1870 102708 471432 839366 890 904 563 652 570 2.29/2.45 c 1880 103386 474867 846025 890 911 566 636 561 2.29/2.46 c 1890 104024 477821 851403 890 917 566 622 547 2.29/2.48 c 1900 104694 481380 859246 890 925 567 632 558 2.39/2.50 c 1910 105395 485122 866664 890 930 567 659 567 2.39/2.51 c 1920 106067 488179 871882 890 939 617 658 583 2.39/2.53 c 1930 106743 491725 879060 890 945 577 651 571 2.39/2.55 c 1940 107430 494914 884838 890 955 576 678 580 2.39/2.56 c 1950 108109 498302 891031 890 963 595 649 564 2.39/2.58 c 1960 108794 501590 896592 890 971 591 672 576 2.49/2.60 c 1970 109496 505150 903935 890 980 531 688 575 2.49/2.62 c 1980 110181 508596 910309 890 986 576 653 574 2.49/2.63 c 1990 110866 511967 916670 890 995 564 654 546 2.49/2.65 c 2000 111591 516051 926224 890 999 588 666 586 2.49/2.67 c 2010 112217 519930 934831 890 1005 605 614 556 2.49/2.69 c 2020 112884 523315 941105 890 1014 578 651 557 2.59/2.71 c 2030 113563 526554 946843 890 1020 581 662 586 2.59/2.72 c 2040 114240 529871 952714 890 1029 611 664 589 2.59/2.74 c 2050 114922 533178 958909 890 1034 608 659 586 2.59/2.75 c 2060 115605 536396 964668 890 1038 582 667 591 2.59/2.77 c 2070 116300 539924 971414 890 1044 580 657 572 2.59/2.79 c 2080 117019 543857 979790 890 1049 577 698 604 2.69/2.81 c 2090 117719 547362 986992 890 1054 652 676 609 2.69/2.83 c 2100 118419 551022 993721 890 1059 629 645 580 2.69/2.84 c 2110 119071 554176 999504 890 1065 615 633 570 2.69/2.86 c 2120 119740 557057 1003953 890 1072 592 655 581 2.69/2.87 c 2122 120353 559656 1007216 890 1074 581 612 397 2.69/2.89 c 2130 121039 562929 1013702 890 1079 621 674 589 2.79/2.91 c 2140 121723 566590 1020522 890 1081 630 648 579 2.79/2.92 c 2150 122393 569768 1025980 890 1091 572 656 556 2.79/2.93 c 2160 122961 572197 1029521 890 1099 524 544 486 2.79/2.94 c 2170 123519 574193 1031660 890 1104 502 536 471 2.79/2.95 c 2180 124077 576591 1035177 890 1112 515 534 477 2.79/2.96 c 2190 124639 578664 1037773 890 1116 534 538 487 2.79/2.97 c 2200 125162 580594 1039891 890 1120 485 494 445 2.79/2.99 c 2210 125848 584114 1046837 890 1128 550 656 562 2.90/3.00 c 2220 126489 587140 1052254 890 1132 559 617 548 2.90/3.02 c 2230 127197 590473 1057682 890 1136 636 668 598 2.90/3.04 c 2240 127881 593803 1063254 890 1138 584 658 586 2.90/3.05 c 2250 128535 596986 1069173 890 1144 595 640 574 2.90/3.07 c 2260 129233 600352 1075030 890 1150 621 678 603 2.90/3.09 c 2270 129894 603566 1080382 890 1152 635 647 585 3.00/3.10 c 2280 130601 607357 1088932 890 1157 613 669 593 3.00/3.12 c 2290 131289 610641 1095217 890 1162 635 665 599 3.00/3.14 c 2300 132021 614350 1103096 890 1171 624 698 610 3.00/3.16 c 2310 132716 618118 1110739 890 1176 609 645 574 3.00/3.18 c 2320 133429 621651 1118237 890 1179 628 671 592 3.00/3.19 c 2330 134111 624848 1123557 890 1181 635 659 587 3.09/3.21 c 2340 134755 627657 1127604 890 1187 586 626 558 3.09/3.22 c 2350 135428 630668 1132655 890 1192 551 656 583 3.09/3.24 c 2360 136099 633849 1137783 890 1197 628 652 584 3.09/3.25 c 2370 136804 637440 1144728 890 1202 566 624 551 3.09/3.27 c 2380 137459 640564 1149886 890 1212 568 640 552 3.09/3.29 c 2390 138130 643853 1156184 890 1213 638 652 585 3.19/3.30 c 2400 138707 646098 1159287 890 1217 532 541 488 3.19/3.31 c 2410 139276 648267 1162123 890 1225 536 552 497 3.19/3.32 c 2420 139942 651267 1166752 890 1232 517 638 518 3.19/3.34 c 2430 140614 654460 1172297 890 1241 579 651 553 3.19/3.35 c 2431 141200 656626 1174313 890 1242 586 586 293 3.19/3.36 c 2440 141862 659773 1180159 890 1246 578 600 531 3.19/3.37 c 2450 142440 662014 1183240 890 1250 533 542 489 3.19/3.39 c 2460 143034 664505 1187114 890 1257 540 581 508 3.29/3.40 c 2470 143612 666776 1190252 890 1261 533 542 489 3.29/3.41 c 2480 144204 669154 1193621 890 1266 541 570 510 3.29/3.42 c 2490 144776 671391 1196567 890 1270 528 549 492 3.29/3.43 c 2500 145353 673634 1199654 890 1274 532 541 488 3.29/3.44 c 2510 145968 676329 1204149 890 1282 531 602 516 3.29/3.45 c 2520 146558 678751 1207542 890 1287 528 557 488 3.29/3.47 c 2530 147160 681362 1211612 890 1291 515 591 529 3.29/3.48 c 2540 147759 684046 1215930 890 1295 526 558 485 3.29/3.49 c 2550 148350 686519 1219600 890 1300 528 565 492 3.39/3.50 c 2560 148940 689146 1223787 890 1304 522 556 480 3.39/3.52 c 2570 149527 691584 1227493 890 1310 521 572 506 3.39/3.53 c 2580 150132 694196 1231913 890 1313 585 586 532 3.39/3.54 c 2590 150744 696866 1236671 890 1318 520 589 514 3.39/3.55 c 2600 151289 698877 1239648 890 1321 526 528 478 3.39/3.56 c 2610 151853 700984 1242756 890 1327 520 548 491 3.39/3.57 c 2620 152453 703494 1246653 890 1333 504 587 525 3.39/3.58 c 2630 153065 706044 1250928 890 1339 521 590 500 3.39/3.59 c 2640 153610 708227 1254215 890 1343 522 530 480 3.49/3.61 c 2650 154316 711608 1260881 890 1351 583 691 605 3.49/3.62 c 2660 154857 713743 1264102 890 1355 520 526 476 3.49/3.64 c 2670 155593 717627 1272594 890 1360 631 698 615 3.49/3.65 c 2680 156134 719777 1276026 890 1364 520 526 476 3.49/3.67 c 2690 156876 723726 1284557 890 1368 658 709 630 3.49/3.68 c 2700 157418 725857 1287698 890 1372 519 526 476 3.59/3.70 c 2710 158137 730295 1298986 890 1377 650 689 616 3.59/3.71 c 2720 158697 732468 1302247 890 1382 522 544 480 3.59/3.72 c 2730 159237 734569 1305251 890 1386 519 527 477 3.59/3.73 c 2740 159799 736871 1308452 890 1392 526 537 486 3.59/3.74 c 2750 160370 739089 1311738 890 1400 515 552 492 3.59/3.75 c 2760 160931 741211 1314553 890 1406 516 545 488 3.59/3.76 c 2770 161497 743428 1317972 890 1408 524 540 487 3.59/3.77 c 2771 162023 745151 1319027 890 1409 526 526 263 3.59/3.79 c 2780 162730 748607 1325129 890 1411 661 694 619 3.69/3.80 c 2790 163280 750705 1328313 890 1414 524 528 477 3.69/3.82 c 2800 163988 754179 1334624 890 1417 661 694 624 3.69/3.83 c 2810 164550 756470 1337807 890 1422 525 537 485 3.69/3.84 c 2820 165110 758751 1341528 890 1427 517 541 476 3.69/3.85 c 2830 165675 761158 1345043 890 1435 522 541 483 3.69/3.86 c 2840 166231 763194 1347526 890 1440 504 534 466 3.69/3.87 c 2850 166788 765293 1350576 890 1449 513 538 481 3.69/3.88 c 2860 167329 767297 1353515 890 1450 518 522 472 3.69/3.89 c 2870 167875 769245 1356174 890 1452 522 524 475 3.79/3.90 c 2880 168458 771656 1359742 890 1454 537 544 492 3.79/3.91 c 2890 169013 774090 1363632 890 1457 516 537 473 3.79/3.92 c 2900 169547 776204 1366798 890 1460 512 520 470 3.79/3.93 c 2910 170128 778615 1370363 890 1462 534 542 490 3.79/3.94 c 2920 170692 780806 1373322 890 1466 506 543 484 3.79/3.95 c 2930 171233 782836 1376303 890 1470 515 520 470 3.79/3.96 c 2940 171790 784915 1379153 890 1475 514 534 475 3.79/3.97 c 2950 172362 787193 1382594 890 1479 515 526 473 3.79/3.98 c 2960 172906 789197 1385371 890 1483 504 527 475 3.79/3.99 c 2970 173471 791406 1388323 890 1487 506 526 466 3.79/4.00 c 2980 174064 793937 1392266 890 1492 524 549 489 3.90/4.01 c 2990 174624 796115 1395278 890 1497 520 523 474 3.90/4.03 c 3000 175269 799019 1399930 890 1503 505 622 550 3.90/4.04 c 3010 175911 802101 1405193 890 1511 505 628 555 3.90/4.06 c 3020 176565 804995 1409880 890 1515 506 637 557 3.90/4.07 c 3030 177242 808193 1415325 890 1522 509 663 570 3.90/4.09 c 3040 177936 811598 1421979 890 1529 507 669 574 3.90/4.10 c 3050 178612 814692 1427265 890 1538 509 652 566 4.00/4.12 c 3060 179275 817688 1432188 890 1546 510 640 555 4.00/4.13 c 3070 179813 819856 1434922 890 1549 509 513 464 4.00/4.14 c 3080 180377 821954 1437637 890 1556 497 542 480 4.00/4.15 c 3090 180942 824135 1440602 890 1561 525 528 479 4.00/4.16 c 3100 181507 826422 1443887 890 1567 503 544 466 4.00/4.17 c 3110 182070 828621 1447112 890 1569 513 521 470 4.00/4.19 c 3120 182713 831473 1451438 890 1578 505 632 557 4.09/4.20 c 3130 183384 834520 1456412 890 1586 506 649 572 4.09/4.22 c 3140 184058 837528 1461199 890 1592 508 640 567 4.09/4.23 c 3142 184693 840234 1464703 890 1594 632 633 421 4.09/4.24 c 3150 185364 843167 1469179 890 1601 507 647 553 4.09/4.26 c 3160 186039 846233 1473844 890 1609 508 663 577 4.09/4.27 c 3170 186712 849283 1478757 890 1615 509 643 565 4.09/4.29 c 3180 187408 852623 1484726 890 1617 630 644 574 4.19/4.30 c 3190 188000 855159 1488955 890 1623 505 566 491 4.19/4.31 c 3200 188582 857461 1492374 890 1629 544 555 499 4.19/4.32 c 3210 189162 859842 1496002 890 1637 506 560 490 4.19/4.34 c 3220 189920 863109 1500672 890 1642 482 640 477 4.19/4.35 c 3230 190475 865432 1504417 890 1646 515 523 470 4.19/4.37 c 3240 191054 868382 1510002 890 1653 509 547 486 4.19/4.38 c 3250 191594 870648 1513626 890 1656 517 519 470 4.19/4.39 c 3260 192285 873829 1519712 890 1662 503 649 569 4.29/4.41 c 3270 192872 876691 1524870 890 1668 509 560 498 4.29/4.42 c 3280 193452 879028 1528474 890 1672 541 557 499 4.29/4.43 c 3290 194060 881769 1533677 890 1676 540 574 510 4.29/4.44 c 3300 194616 883922 1536611 890 1679 520 541 488 4.29/4.45 c 3310 195187 886311 1540145 890 1683 512 523 470 4.29/4.46 c 3320 195766 888666 1543651 890 1691 501 559 485 4.29/4.47 c 3330 196341 890980 1547271 890 1695 503 550 487 4.29/4.49 c 3340 196978 893700 1551243 890 1698 605 617 556 4.39/4.50 c 3350 197648 896889 1556509 890 1708 634 652 587 4.39/4.51 conflict 20lvl : 510 bt509-11875:0(457)X1772550 4.39/4.51 c 3360 198212 899276 1560110 890 1712 510 525 471 4.39/4.53 c 3370 198881 902529 1565869 890 1721 502 649 571 4.39/4.55 c 3380 199580 905982 1572954 890 1728 503 681 589 4.39/4.56 c 3390 200237 908964 1577553 890 1733 506 631 555 4.39/4.58 c 3400 200921 912554 1584441 890 1736 633 657 584 4.49/4.60 c 3410 201606 915664 1589234 890 1740 564 661 587 4.49/4.61 c 3420 202296 919153 1596000 890 1747 634 672 594 4.49/4.63 c 3430 202962 922091 1600616 890 1755 520 648 556 4.49/4.64 c 3440 203544 924371 1604078 890 1757 539 549 493 4.49/4.66 c 3450 204256 927960 1611040 890 1765 625 683 590 4.49/4.68 c 3460 205006 932226 1620920 890 1769 561 714 591 4.49/4.69 c 3470 205684 935416 1626228 890 1779 547 666 571 4.59/4.71 c 3480 206365 939276 1634733 890 1786 625 649 581 4.59/4.73 c 3490 207025 942462 1640443 890 1793 626 647 582 4.59/4.75 c 3500 207691 945981 1647432 890 1801 619 652 583 4.59/4.76 c 3510 208391 949373 1653240 890 1809 616 688 601 4.59/4.78 c 3520 209109 952931 1660388 890 1818 617 701 609 4.69/4.80 c 3530 209819 956359 1666518 890 1826 617 691 608 4.69/4.82 c 3540 210495 959978 1674502 890 1829 636 660 586 4.69/4.83 c 3550 211070 962590 1678969 890 1834 514 558 495 4.69/4.84 c 3551 211588 964339 1680096 890 1835 518 518 259 4.69/4.86 c 3560 212287 967786 1686181 890 1843 615 677 596 4.69/4.87 c 3570 212867 970248 1690126 890 1849 515 564 497 4.69/4.88 c 3580 213449 972634 1694001 890 1854 544 554 499 4.69/4.89 c 3590 214021 974903 1697156 890 1859 508 549 471 4.79/4.90 c 3600 214606 977707 1702478 890 1865 510 558 493 4.79/4.92 c 3610 215202 980370 1707071 890 1872 512 563 500 4.79/4.93 c 3620 215792 983282 1712648 890 1877 510 552 491 4.79/4.94 c 3630 216357 985475 1715703 890 1881 520 529 477 4.79/4.96 c 3640 217033 988801 1721379 890 1890 536 654 557 4.79/4.97 c 3650 217614 991551 1726343 890 1895 511 559 495 4.79/4.99 c 3660 218206 994517 1732089 890 1901 509 555 493 4.79/5.00 c 3670 218805 997417 1737715 890 1905 542 552 496 4.89/5.02 c 3680 219522 1001157 1745372 890 1912 620 690 602 4.89/5.03 c 3690 220108 1003806 1750147 890 1919 513 560 493 4.89/5.05 c 3700 220702 1006690 1755663 890 1925 526 556 496 4.89/5.06 c 3710 221266 1009056 1759212 890 1932 515 529 473 4.89/5.07 c 3720 221841 1011305 1762375 890 1938 513 554 495 4.89/5.08 c 3730 222490 1014245 1767452 890 1942 568 590 525 4.89/5.09 c 3740 223068 1016561 1770947 890 1949 540 565 503 4.99/5.11 c 3750 223712 1019478 1775680 890 1951 577 591 535 4.99/5.12 c 3760 224278 1021658 1779031 890 1957 515 544 488 4.99/5.13 c 3770 224842 1023835 1781968 890 1960 530 533 483 4.99/5.14 c 3780 225418 1026163 1785512 890 1967 512 556 492 4.99/5.15 c 3790 225984 1028364 1788553 890 1971 522 526 476 4.99/5.16 c 3800 226656 1031363 1793293 890 1979 539 658 567 4.99/5.18 c 3810 227280 1034412 1798028 890 1981 514 611 545 5.08/5.20 c 3820 227964 1037721 1803924 890 1986 514 653 571 5.08/5.21 c 3830 228597 1040519 1807696 890 1992 609 619 561 5.08/5.23 c 3840 229313 1044187 1815730 890 1997 647 688 617 5.08/5.24 c 3850 229974 1047615 1821822 890 2002 592 637 571 5.08/5.26 c 3860 230633 1050499 1825963 890 2006 600 619 558 5.08/5.27 c 3870 231308 1053755 1831232 890 2011 599 646 572 5.08/5.29 c 3880 231944 1056816 1836018 890 2016 612 620 560 5.18/5.31 c 3890 232597 1059971 1841178 890 2023 609 634 560 5.18/5.32 c 3900 233292 1063408 1847939 890 2029 628 645 577 5.18/5.34 c 3910 233968 1066700 1854038 890 2037 615 653 579 5.18/5.35 c 3920 234601 1069572 1858064 890 2044 550 616 548 5.18/5.37 c 3930 235232 1072406 1861943 890 2049 597 619 558 5.18/5.39 c 3940 235887 1076159 1869114 890 2051 618 630 566 5.28/5.40 c 3950 236552 1079241 1874576 890 2055 609 645 581 5.28/5.42 c 3960 237210 1082611 1880948 890 2063 604 642 567 5.28/5.43 c 3970 237784 1085005 1884610 890 2068 544 558 503 5.28/5.45 c 3980 238477 1088659 1891521 890 2075 516 665 580 5.28/5.46 c 3990 239049 1091040 1895155 890 2080 543 557 502 5.28/5.48 c 4000 239756 1094737 1901786 890 2085 626 666 590 5.28/5.48 c 4001 240273 1096395 1902640 890 2086 517 517 258 5.38/5.50 c 4010 240981 1099919 1908967 890 2093 633 690 605 5.38/5.52 c 4020 241570 1102516 1913615 890 2099 518 566 495 5.38/5.53 c 4030 242165 1105264 1918852 890 2103 536 564 499 5.38/5.54 c 4040 242737 1107636 1922473 890 2108 543 557 502 5.38/5.56 c 4050 243416 1110856 1927794 890 2113 640 648 585 5.38/5.57 c 4060 243991 1113086 1930864 890 2118 514 558 498 5.38/5.58 c 4070 244562 1115174 1933410 890 2120 539 548 494 5.38/5.59 c 4080 245150 1117384 1936257 890 2125 540 560 497 5.48/5.60 c 4090 245761 1120188 1941007 890 2127 582 590 533 5.48/5.61 c 4100 246318 1122235 1943476 890 2134 513 541 487 5.48/5.62 c 4110 246885 1124335 1946155 890 2138 537 548 493 5.48/5.63 c 4120 247506 1127082 1950567 890 2140 580 590 533 5.48/5.64 c 4130 248081 1129324 1953592 890 2144 540 558 497 5.48/5.66 c 4140 248796 1132928 1960383 890 2150 636 696 610 5.48/5.67 c 4150 249371 1135099 1963065 890 2153 540 546 494 5.48/5.68 c 4160 249947 1137328 1966061 890 2157 539 557 497 5.58/5.70 c 4170 250664 1141075 1973167 890 2159 511 697 595 5.58/5.71 c 4180 251241 1143307 1976083 890 2163 544 560 502 5.58/5.72 c 4190 251821 1145565 1979054 890 2166 544 560 504 5.58/5.74 c 4200 252579 1149660 1987634 890 2174 673 708 626 5.58/5.75 c 4210 253153 1151707 1990054 890 2178 537 537 488 5.58/5.76 c 4220 253764 1154532 1994748 890 2181 581 589 533 5.58/5.77 c 4230 254334 1156662 1997725 890 2185 540 546 494 5.58/5.79 c 4240 254941 1159413 2002233 890 2188 577 586 527 5.68/5.80 c 4250 255507 1161465 2005018 890 2192 538 538 489 5.68/5.81 c 4260 256065 1163474 2007496 890 2196 535 536 486 5.68/5.82 c 4270 256638 1165631 2010246 890 2200 537 543 492 5.68/5.83 c 4280 257200 1167842 2013271 890 2204 528 530 481 5.68/5.84 c 4290 257766 1170024 2016212 890 2208 511 547 489 5.68/5.85 c 4300 258338 1172516 2020081 890 2214 508 547 472 5.68/5.86 c 4310 258923 1174891 2023413 890 2221 514 559 484 5.68/5.87 c 4320 259482 1177153 2026568 890 2224 519 526 475 5.68/5.88 c 4330 260053 1179619 2030432 890 2230 508 546 471 5.68/5.89 c 4340 260624 1181857 2033610 890 2233 511 559 499 5.78/5.90 c 4350 261183 1184097 2036750 890 2236 516 522 473 5.78/5.91 c 4360 261762 1186375 2039758 890 2240 510 545 475 5.78/5.92 c 4370 262320 1188638 2043078 890 2244 519 522 473 5.78/5.94 c 4380 262904 1191037 2046541 890 2251 509 568 493 5.78/5.95 c 4390 263504 1193741 2051254 890 2259 513 572 496 5.78/5.96 c 4400 264087 1196055 2054717 890 2261 547 551 499 5.78/5.97 c 4410 264645 1198337 2058068 890 2265 519 522 473 5.78/5.98 c 4420 265296 1201136 2062175 890 2271 512 626 550 5.78/6.00 c 4430 265960 1204128 2066613 890 2275 613 626 563 5.89/6.01 c 4440 266646 1207393 2072143 890 2284 514 672 578 5.89/6.03 c 4450 267335 1210918 2079627 890 2287 613 664 593 5.89/6.05 c 4460 268089 1214803 2087801 890 2289 664 691 621 5.89/6.07 c 4470 268745 1218150 2094267 890 2293 595 626 563 5.89/6.09 c 4480 269496 1222196 2103349 890 2300 655 700 614 5.89/6.10 c 4490 270164 1225271 2108153 890 2303 616 633 564 5.99/6.12 c 4493 270809 1227883 2111412 890 2306 599 643 463 5.99/6.13 c 4500 271457 1231000 2117007 890 2311 627 642 557 5.99/6.15 c 4510 272138 1234080 2122259 890 2321 596 672 574 5.99/6.16 c 4520 272807 1237098 2127097 890 2327 600 633 565 5.99/6.18 c 4530 273462 1240507 2133262 890 2331 607 626 564 5.99/6.19 c 4540 274126 1243683 2139405 890 2336 638 647 585 6.08/6.21 c 4550 274812 1247144 2146077 890 2344 615 648 580 6.08/6.23 c 4560 275507 1250360 2151587 890 2346 602 680 607 6.08/6.25 c 4570 276213 1254601 2161774 890 2350 620 683 610 6.08/6.27 c 4580 276922 1258813 2172327 890 2354 565 639 568 6.08/6.29 c 4590 277598 1261958 2177493 890 2361 603 649 575 6.18/6.30 c 4600 278242 1264888 2182190 890 2363 609 616 557 6.18/6.32 c 4610 278945 1268460 2188999 890 2366 624 672 601 6.18/6.34 c 4620 279669 1272158 2196546 890 2375 620 692 609 6.18/6.36 c 4630 280362 1275863 2204186 890 2383 604 663 586 6.18/6.37 c 4640 281058 1279308 2210170 890 2389 622 657 585 6.18/6.39 c 4650 281754 1282914 2216892 890 2393 622 646 579 6.28/6.41 c 4660 282446 1286440 2222894 890 2399 624 634 574 6.28/6.42 c 4670 283119 1289675 2228627 890 2403 609 638 564 6.28/6.44 c 4680 283779 1293232 2235147 890 2408 623 637 576 6.28/6.46 c 4690 284448 1296631 2242183 890 2412 630 651 587 6.28/6.48 c 4700 285108 1300157 2248553 890 2417 623 641 579 6.38/6.50 c 4710 285796 1303916 2256999 890 2419 638 658 591 6.38/6.51 c 4720 286445 1307470 2263490 890 2423 612 630 563 6.38/6.53 c 4730 287078 1310443 2267795 890 2428 558 619 552 6.38/6.55 c 4740 287764 1313931 2275042 890 2431 651 658 595 6.38/6.56 c 4750 288445 1317253 2280230 890 2437 611 658 583 6.38/6.58 c 4760 289126 1320518 2286441 890 2441 652 658 595 6.38/6.59 c 4770 289794 1323547 2291305 890 2447 599 622 559 6.48/6.61 c 4780 290509 1327243 2298438 890 2452 655 678 609 6.48/6.63 c 4790 291251 1331354 2308071 890 2457 569 712 621 6.48/6.66 c 4800 291971 1335781 2319813 890 2460 647 690 613 6.48/6.68 c 4810 292691 1339957 2330289 890 2463 655 693 619 6.58/6.70 c 4820 293368 1344546 2343032 890 2465 568 666 593 6.58/6.72 c 4830 294022 1347812 2348303 890 2469 605 632 569 6.58/6.73 c 4840 294674 1351209 2354326 890 2474 605 629 563 6.58/6.75 c 4850 295319 1354659 2360566 890 2477 604 623 561 6.58/6.77 c 4860 295973 1358125 2366788 890 2481 605 626 562 6.58/6.79 c 4870 296666 1361701 2374462 890 2485 617 669 594 6.68/6.80 c 4880 297350 1365034 2380242 890 2491 608 659 569 6.68/6.82 c 4890 297997 1368176 2385245 890 2494 607 624 562 6.68/6.83 c 4900 298646 1371217 2389647 890 2498 619 628 567 6.68/6.85 c 4910 299381 1374893 2397208 890 2504 651 674 602 6.68/6.87 c 4920 300022 1377952 2402041 890 2509 603 616 556 6.68/6.88 c 4930 300674 1381034 2406906 890 2514 603 627 558 6.78/6.90 c 4940 301315 1384064 2411635 890 2519 603 616 556 6.78/6.91 c 4950 301964 1386852 2415611 890 2524 610 630 564 6.78/6.93 c 4960 302633 1390118 2421246 890 2532 607 635 563 6.78/6.94 c 4970 303305 1393209 2426291 890 2539 603 633 565 6.78/6.96 c 4980 303965 1396540 2432011 890 2545 613 629 566 6.78/6.97 c 4990 304659 1400049 2438694 890 2552 597 657 568 6.78/7.00 c 5035 305522 1405334 2453385 890 2561 600 692 658 7.08/7.29 c 5631 308698 1456766 2690032 890 2575 594 695 666 7.68/7.81 c 6286 313482 1546132 3148386 890 2584 629 746 717 7.99/8.17 c 7006 317258 1609120 3423585 890 2599 542 677 644 8.38/8.59 c 7798 321898 1682713 3783723 890 2617 540 728 685 8.89/9.01 c 8669 325730 1758391 4147808 890 2642 552 698 675 9.58/9.75 c 9627 331163 1883750 4849949 890 2650 539 708 674 10.08/10.21 c 10680 337373 1964245 5160924 890 2679 543 673 640 10.58/10.77 c 11838 342769 2064142 5598560 890 2694 545 664 629 11.78/11.92 c 13111 350264 2263853 6473550 890 2719 546 676 644 12.28/12.42 c 14511 358072 2354530 6825690 890 2756 543 703 640 13.18/13.39 c 16051 365280 2522936 7676208 890 2772 543 666 645 14.08/14.20 c 17745 376245 2665661 8431745 890 2827 544 709 674 14.98/15.12 c 19608 387548 2825368 9235314 890 2874 544 692 643 15.68/15.86 c 21657 399431 2957107 9886001 890 2906 550 693 636 16.48/16.69 c 23910 410568 3101974 10651027 890 2939 546 659 591 17.28/17.41 c 26388 419942 3228039 11275953 890 2967 543 584 565 18.07/18.24 c 29113 432274 3375384 11935280 890 2995 534 623 561 19.07/19.25 c 32110 447358 3550713 12850846 890 3029 535 655 594 20.77/21.00 c 35406 466397 3855323 14487814 890 3065 522 678 632 22.07/22.21 c 39031 485720 4071702 15244194 890 3081 496 561 514 24.47/24.67 c 43018 508974 4505685 17292004 890 3103 608 727 688 26.17/26.35 c 47403 533773 4807105 18739565 890 3132 524 639 584 28.27/28.42 c 52226 558622 5171750 20520293 890 3161 514 655 608 30.07/30.23 c 57531 589316 5490613 22008584 890 3196 513 617 578 33.88/34.02 c 63366 627407 6165317 25173676 890 3208 624 730 690 33.88/34.02 conflict 20lvl : 545 bt544-11876:0(465)X1896312 37.47/37.62 c 69784 655199 6801216 28435031 890 3230 545 748 706 41.47/41.69 c 76843 696196 7518741 31790942 890 3246 550 714 677 44.67/44.80 c 84607 733182 8071064 34568725 890 3283 550 699 652 48.37/48.54 c 93147 775594 8731994 37879605 890 3314 585 683 649 52.67/52.88 c 102541 820651 9506521 41603713 890 3331 561 710 656 60.47/60.62 c 112874 871153 10856434 48342197 890 3363 548 694 658 66.17/66.39 c 124240 926655 11870920 53348837 890 3392 552 715 658 72.27/72.41 c 136742 983833 12920011 58484988 890 3437 561 698 655 79.06/79.20 c 150494 1057539 14120075 64491953 890 3456 568 704 663 86.46/86.65 c 165621 1124474 15434815 70752289 890 3516 559 703 660 93.26/93.43 c 182260 1219272 16650408 75990878 890 3542 563 710 658 102.76/102.93 c 200562 1313488 18325141 84633751 890 3576 560 714 659 112.87/113.01 c 220694 1404706 20092143 93867468 890 3616 556 716 677 125.16/125.30 c 242839 1506535 22248691 104712003 890 3643 550 705 661 139.46/139.68 c 267198 1628552 24797628 116247000 890 3677 556 704 661 152.46/152.67 c 293992 1779898 27095298 127813508 890 3718 551 719 661 169.36/169.58 c 323465 1918644 30059149 142879620 890 3757 556 722 676 184.87/185.04 c 355885 2116492 32826950 155910158 890 3777 561 733 681 201.76/201.90 c 391547 2292853 35782055 171169355 890 3816 547 719 656 224.96/225.16 c 430775 2524055 39918962 189859001 890 3835 549 700 629 252.26/252.49 c 473925 2837433 44695741 214675823 890 3888 550 731 662 276.35/276.59 c 521390 3104047 48919341 236102537 890 3921 544 713 649 301.35/301.59 c 573601 3417296 53295307 257293768 890 3953 545 728 644 327.74/327.98 c 631033 3783516 57986403 277304222 890 3971 546 729 637 363.24/363.42 c 694208 4178999 64269768 305263386 890 4009 543 711 643 390.63/390.89 c 763700 4673702 69216214 323889273 890 4036 542 717 627 426.94/427.19 c 840141 5012406 75624867 355604451 890 4067 550 699 640 476.13/476.33 c 924226 5535067 84342899 394791413 890 4089 549 711 670 518.52/518.70 c 1016719 5988090 91808889 431307395 890 4149 549 711 657 575.32/575.58 c 1118461 6488331 101824247 478246429 890 4193 549 731 675 639.51/639.78 c 1230377 7104867 113219103 530387100 890 4222 549 724 673 705.41/705.69 c 1353484 7710635 124833987 583229995 890 4265 549 715 655 768.20/768.41 c 1488901 8419773 135984742 635367657 890 4306 558 721 656 828.10/828.31 c 1637859 9027421 146534373 688502849 890 4335 562 710 650 916.40/916.68 c 1801712 9907055 162030111 764473534 890 4359 544 742 674 1001.20/1001.48 c 1981950 10670441 176951498 839473262 890 4392 568 719 670 1107.19/1107.49 c 2180211 11567257 195578544 931619855 890 4421 569 713 660 1223.38/1223.61 c 2398298 12561090 215997679 1034093406 890 4461 573 711 652 1359.97/1360.28 c 2638193 13652657 239782995 1160328351 890 4490 562 733 672 1484.56/1484.83 c 2902077 14728815 261636865 1271407820 890 4538 590 702 647 1637.55/1637.83 c 3192349 16006690 288445046 1410296604 890 4559 580 723 672 1828.34/1828.66 c 3511648 17461965 322061898 1575424012 890 4596 570 716 663 2027.63/2027.98 c 3862876 19120031 356780163 1761802327 890 4633 582 709 658 2203.51/2203.82 c 4249226 20795965 387554374 1915210039 890 4686 544 714 665 2446.49/2446.84 c 4674211 22770579 430274978 2127204964 890 4709 566 712 663 2519.69/2520.00 2519.69/2520.00 c *** INTERRUPTED *** 2519.69/2520.00 c restarts : 588 2519.69/2520.00 c conflicts : 4799027 (1905 /sec) 2519.69/2520.00 c decisions : 23339177 (9263 /sec) 2519.69/2520.00 c propagations : 2188887702 (868724 /sec) 2519.69/2520.00 c root propagations : 4626 2519.69/2520.00 c filter calls : 443177754 (175888 /sec) 2519.69/2520.00 c useless filter calls : 123853899 (27 %) 2519.69/2520.00 c 2519.69/2520.00 c clauses : 398909 2519.69/2520.00 c SAT propagations : 950436 2519.69/2520.00 c SAT conflicts : 0 (4 learnts) 2519.69/2520.00 c Memory used : 57.35 MB 2519.69/2520.00 c CPU time : 2519.66 s 2519.69/2520.00 2519.69/2520.00 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15057 MiB free) memory of node 1: 16384 MiB (15261 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266127-1502591446/watcher-4266127-1502591446 -o /tmp/evaluation-result-4266127-1502591446/solver-4266127-1502591446 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7148 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266127-1502591446.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=13518, runsolver pid=13515 [startup+0.100154 s]* /proc/loadavg: 1.99 2.04 2.05 2/185 13519 /proc/meminfo: memFree=31046768/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=26916 memory=1944 CPUtime=0 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4194304 623 0 0 0 0 0 0 0 20 0 1 0 158797366 27561984 486 18446744073709551615 4194304 5972588 140727696503840 140727696500488 139846351398624 0 0 1 0 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 6729 486 438 435 0 60 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 26916 KiB Current children cumulated memory: 1944 KiB [startup+0.209372 s]* /proc/loadavg: 1.99 2.04 2.05 3/185 13519 /proc/meminfo: memFree=31022184/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=53524 memory=28792 CPUtime=0.1 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 6875 0 0 0 10 0 0 0 20 0 1 0 158797366 54808576 7198 18446744073709551615 4194304 5972588 140727696503840 140727696500488 4972622 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 13381 7198 781 435 0 6744 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 53524 KiB Current children cumulated memory: 28792 KiB [startup+0.309563 s]* /proc/loadavg: 1.99 2.04 2.05 3/185 13519 /proc/meminfo: memFree=31021812/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=53656 memory=29056 CPUtime=0.2 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 6923 0 0 0 20 0 0 0 20 0 1 0 158797366 54943744 7264 18446744073709551615 4194304 5972588 140727696503840 140727696500488 4971618 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 13414 7264 781 435 0 6777 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 53656 KiB Current children cumulated memory: 29056 KiB [startup+0.70023 s] /proc/loadavg: 1.99 2.04 2.05 3/185 13519 /proc/meminfo: memFree=31021812/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=53920 memory=29056 CPUtime=0.58 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 6979 0 0 0 58 0 0 0 20 0 1 0 158797366 55214080 7264 18446744073709551615 4194304 5972588 140727696503840 140727696500488 4978123 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 13480 7264 781 435 0 6843 0 Current children cumulated CPU time: 0.58 s Current children cumulated vsize: 53920 KiB Current children cumulated memory: 29056 KiB [startup+1.50024 s] /proc/loadavg: 1.99 2.04 2.05 3/185 13519 /proc/meminfo: memFree=31021440/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=54184 memory=29584 CPUtime=1.38 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 7079 0 0 0 138 0 0 0 20 0 1 0 158797366 55484416 7396 18446744073709551615 4194304 5972588 140727696503840 140727696500488 4975792 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 13546 7396 786 435 0 6909 0 Current children cumulated CPU time: 1.38 s Current children cumulated vsize: 54184 KiB Current children cumulated memory: 29584 KiB [startup+3.10906 s] /proc/loadavg: 1.99 2.04 2.05 3/185 13519 /proc/meminfo: memFree=31020556/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=54184 memory=29948 CPUtime=3 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 10747 0 0 0 299 1 0 0 20 0 1 0 158797366 55484416 7487 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4970781 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 13546 7487 786 435 0 6909 0 Current children cumulated CPU time: 3 s Current children cumulated vsize: 54184 KiB Current children cumulated memory: 29948 KiB [startup+6.30023 s] /proc/loadavg: 1.99 2.04 2.05 3/185 13519 /proc/meminfo: memFree=31020472/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=30272 CPUtime=6.18 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 14854 0 0 0 617 1 0 0 20 0 1 0 158797366 60129280 7568 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4975114 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7568 786 435 0 8043 0 Current children cumulated CPU time: 6.18 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 30272 KiB [startup+12.7002 s] /proc/loadavg: 1.99 2.04 2.05 3/185 13519 /proc/meminfo: memFree=31018612/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=30520 CPUtime=12.58 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 19159 0 0 0 1257 1 0 0 20 0 1 0 158797366 60129280 7630 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4977707 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7630 786 435 0 8043 0 Current children cumulated CPU time: 12.58 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 30520 KiB [startup+25.5002 s] /proc/loadavg: 1.99 2.04 2.05 3/185 13520 /proc/meminfo: memFree=31018840/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=30648 CPUtime=25.37 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 23206 0 0 0 2536 1 0 0 20 0 1 0 158797366 60129280 7662 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4972751 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7662 786 435 0 8043 0 Current children cumulated CPU time: 25.37 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 30648 KiB [startup+51.1091 s] /proc/loadavg: 1.93 2.02 2.04 3/184 13520 /proc/meminfo: memFree=31020252/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=30712 CPUtime=50.98 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 24713 0 0 0 5097 1 0 0 20 0 1 0 158797366 60129280 7678 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4971589 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7678 786 435 0 8043 0 Current children cumulated CPU time: 50.98 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 30712 KiB [startup+102.3 s] /proc/loadavg: 1.97 2.02 2.04 3/184 13522 /proc/meminfo: memFree=31020036/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=30804 CPUtime=102.16 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 26149 0 0 0 10215 1 0 0 20 0 1 0 158797366 60129280 7701 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4978576 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7701 786 435 0 8043 0 Current children cumulated CPU time: 102.16 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 30804 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.01 2.04 3/184 13524 /proc/meminfo: memFree=31017468/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=30876 CPUtime=162.16 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 27581 0 0 0 16215 1 0 0 20 0 1 0 158797366 60129280 7719 18446744073709551615 4194304 5972588 140727696503840 140727696501144 5323813 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7719 786 435 0 8043 0 Current children cumulated CPU time: 162.16 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 30876 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 13540 /proc/meminfo: memFree=31012664/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=30912 CPUtime=222.15 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 28968 0 0 0 22214 1 0 0 20 0 1 0 158797366 60129280 7728 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4978058 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7728 786 435 0 8043 0 Current children cumulated CPU time: 222.15 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 30912 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/189 13544 /proc/meminfo: memFree=31013036/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=30952 CPUtime=282.15 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 30445 0 0 0 28213 2 0 0 20 0 1 0 158797366 60129280 7738 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4978114 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7738 786 435 0 8043 0 Current children cumulated CPU time: 282.15 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 30952 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/186 13546 /proc/meminfo: memFree=31015408/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=30968 CPUtime=342.14 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 31925 0 0 0 34212 2 0 0 20 0 1 0 158797366 60129280 7742 18446744073709551615 4194304 5972588 140727696503840 140727696501144 5323844 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7742 786 435 0 8043 0 Current children cumulated CPU time: 342.14 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 30968 KiB [startup+402.3 s] /proc/loadavg: 1.95 2.00 2.04 3/186 13548 /proc/meminfo: memFree=31015256/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=30984 CPUtime=402.13 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 33401 0 0 0 40211 2 0 0 20 0 1 0 158797366 60129280 7746 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4972751 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7746 786 435 0 8043 0 Current children cumulated CPU time: 402.13 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 30984 KiB [startup+462.3 s] /proc/loadavg: 1.98 2.00 2.04 3/186 13550 /proc/meminfo: memFree=31015720/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31004 CPUtime=462.13 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 34775 0 0 0 46211 2 0 0 20 0 1 0 158797366 60129280 7751 18446744073709551615 4194304 5972588 140727696503840 140727696501144 5094098 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7751 786 435 0 8043 0 Current children cumulated CPU time: 462.13 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31004 KiB ################ # More data... # ################ /proc/13518/statm: 14680 7799 786 435 0 8043 0 Current children cumulated CPU time: 1722.04 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31196 KiB [startup+1782.3 s] /proc/loadavg: 1.99 2.00 2.04 3/185 13627 /proc/meminfo: memFree=31014616/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31196 CPUtime=1782.04 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 60820 0 0 0 178201 3 0 0 20 0 1 0 158797366 60129280 7799 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4975600 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7799 786 435 0 8043 0 Current children cumulated CPU time: 1782.04 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31196 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.00 2.04 3/185 13629 /proc/meminfo: memFree=31014836/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31208 CPUtime=1842.03 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 62165 0 0 0 184200 3 0 0 20 0 1 0 158797366 60129280 7802 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4979170 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7802 786 435 0 8043 0 Current children cumulated CPU time: 1842.03 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31208 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.00 2.04 3/185 13631 /proc/meminfo: memFree=31014364/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31820 CPUtime=1902.04 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 62962 0 0 0 190200 4 0 0 20 0 1 0 158797366 60129280 7955 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4977734 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7955 786 435 0 8043 0 Current children cumulated CPU time: 1902.04 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31820 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.00 2.04 3/185 13633 /proc/meminfo: memFree=31014336/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31820 CPUtime=1962.04 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 63761 0 0 0 196200 4 0 0 20 0 1 0 158797366 60129280 7955 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4971618 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7955 786 435 0 8043 0 Current children cumulated CPU time: 1962.04 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31820 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.00 2.04 3/189 13650 /proc/meminfo: memFree=31010368/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31820 CPUtime=2022.03 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 64560 0 0 0 202199 4 0 0 20 0 1 0 158797366 60129280 7955 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4975415 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7955 786 435 0 8043 0 Current children cumulated CPU time: 2022.03 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31820 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.00 2.04 3/189 13653 /proc/meminfo: memFree=31010312/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31820 CPUtime=2082.02 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 65815 0 0 0 208198 4 0 0 20 0 1 0 158797366 60129280 7955 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4977701 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7955 786 435 0 8043 0 Current children cumulated CPU time: 2082.02 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31820 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.00 2.04 3/186 13655 /proc/meminfo: memFree=31013808/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31820 CPUtime=2142.01 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 66676 0 0 0 214197 4 0 0 20 0 1 0 158797366 60129280 7955 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4979111 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7955 786 435 0 8043 0 Current children cumulated CPU time: 2142.01 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31820 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.00 2.04 3/186 13657 /proc/meminfo: memFree=31014184/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31820 CPUtime=2202.01 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 67506 0 0 0 220197 4 0 0 20 0 1 0 158797366 60129280 7955 18446744073709551615 4194304 5972588 140727696503840 140727696501144 5099616 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7955 786 435 0 8043 0 Current children cumulated CPU time: 2202.01 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31820 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.00 2.04 3/186 13659 /proc/meminfo: memFree=31014356/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31820 CPUtime=2262 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 68674 0 0 0 226196 4 0 0 20 0 1 0 158797366 60129280 7955 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4979155 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7955 786 435 0 8043 0 Current children cumulated CPU time: 2262 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31820 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.00 2.04 3/186 13663 /proc/meminfo: memFree=31014236/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31820 CPUtime=2322 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 69511 0 0 0 232196 4 0 0 20 0 1 0 158797366 60129280 7955 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4972447 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7955 786 435 0 8043 0 Current children cumulated CPU time: 2322 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31820 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.00 2.04 3/185 13665 /proc/meminfo: memFree=31014444/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31820 CPUtime=2382 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 70410 0 0 0 238196 4 0 0 20 0 1 0 158797366 60129280 7955 18446744073709551615 4194304 5972588 140727696503840 140727696501144 5322414 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7955 786 435 0 8043 0 Current children cumulated CPU time: 2382 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31820 KiB [startup+2442.3 s] /proc/loadavg: 1.92 1.98 2.03 3/185 13667 /proc/meminfo: memFree=31014616/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31820 CPUtime=2441.99 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 71261 0 0 0 244195 4 0 0 20 0 1 0 158797366 60129280 7955 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4979175 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7955 786 435 0 8043 0 Current children cumulated CPU time: 2441.99 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31820 KiB [startup+2502.3 s] /proc/loadavg: 1.97 1.99 2.03 3/185 13670 /proc/meminfo: memFree=31014340/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31820 CPUtime=2501.99 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 72395 0 0 0 250195 4 0 0 20 0 1 0 158797366 60129280 7955 18446744073709551615 4194304 5972588 140727696503840 140727696501144 5322976 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7955 786 435 0 8043 0 Current children cumulated CPU time: 2501.99 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31820 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.13 2.02 2.04 4/185 13731 /proc/meminfo: memFree=31010468/32770624 swapFree=67108860/67108860 [pid=13518] ppid=13515 vsize=58720 memory=31820 CPUtime=2519.69 cores=0,2,4,6 /proc/13518/stat : 13518 (cosoco) R 13515 13518 7084 0 -1 4202496 73202 0 0 0 251965 4 0 0 20 0 1 0 158797366 60129280 7955 18446744073709551615 4194304 5972588 140727696503840 140727696501144 4978768 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 19050496 140727696507332 140727696507432 140727696507432 140727696510926 0 /proc/13518/statm: 14680 7955 786 435 0 8043 0 Current children cumulated CPU time: 2519.69 s Current children cumulated vsize: 58720 KiB Current children cumulated memory: 31820 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 13518 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.66 s, system=0.047996 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2519.71 CPU user time (s): 2519.66 CPU system time (s): 0.047996 CPU usage (%): 99.9879 Max. virtual memory (cumulated for all children) (KiB): 58720 Max. memory (cumulated for all children) (KiB): 31820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.66 system time used= 0.047996 maximum resident set size= 31896 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73256 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= 14 involuntary context switches= 4029 # summary of solver processes directly reported to runsolver: # pid: 13518 # total CPU time (s): 2519.71 # total CPU user time (s): 2519.66 # total CPU system time (s): 0.047996 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.2586 second user time and 17.1091 second system time The end
Begin job on node132 at 2017-08-13 04:16:21 IDJOB=4266127 IDBENCH=138966 IDSOLVER=2655 FILE ID=node132/4266127-1502591446 RUNJOBID= node132-1502565147-7148 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-12.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266127-1502591446/watcher-4266127-1502591446 -o /tmp/evaluation-result-4266127-1502591446/solver-4266127-1502591446 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7148 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266127-1502591446.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cda15f5e5f696f8ee91ea98989c7670b RANDOM SEED=192781850 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31046976 kB MemAvailable: 31940404 kB Buffers: 312524 kB Cached: 889372 kB SwapCached: 0 kB Active: 753168 kB Inactive: 533356 kB Active(anon): 85240 kB Inactive(anon): 49012 kB Active(file): 667928 kB Inactive(file): 484344 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2544 kB Writeback: 0 kB AnonPages: 84468 kB Mapped: 65040 kB Shmem: 49852 kB Slab: 140968 kB SReclaimable: 113984 kB SUnreclaim: 26984 kB KernelStack: 3328 kB PageTables: 5460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 381168 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 62028 MiB End job on node132 at 2017-08-13 04:58:21