| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.01 | 2520.01 |
| Name | SuperSolutions/SuperSolutions-Queens-s1/ SuperQueens-12.xml |
| MD5SUM | 94ecf309347a79215709974b71377e2d |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 3725 |
| Number of domains | 1 |
| Minimum domain size | 50 |
| Maximum domain size | 50 |
| Distribution of domain sizes | [{"size":50,"count":100}] |
| Minimum variable degree | 50 |
| Maximum variable degree | 99 |
| Distribution of variable degrees | [{"degree":50,"count":50},{"degree":99,"count":50}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":3725}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 3725 |
| Distribution of constraint types | [{"type":"intension","count":3725}] |
| Optimization problem | NO |
| Type of objective |
4.00/4.08 c intension x[0] != x[1] using generic constraint 4.00/4.08 c intension x[2] != x[3] using generic constraint 4.00/4.08 c intension x[4] != x[5] using generic constraint 4.00/4.08 c intension x[6] != x[7] using generic constraint 4.00/4.08 c intension x[8] != x[9] using generic constraint 4.00/4.08 c intension x[10] != x[11] using generic constraint 4.00/4.08 c intension x[12] != x[13] using generic constraint 4.00/4.08 c intension x[14] != x[15] using generic constraint 4.00/4.09 c intension x[16] != x[17] using generic constraint 4.00/4.09 c intension x[18] != x[19] using generic constraint 4.00/4.09 c intension x[20] != x[21] using generic constraint 4.00/4.09 c intension x[22] != x[23] using generic constraint 4.00/4.09 c intension x[24] != x[25] using generic constraint 4.00/4.09 c intension x[26] != x[27] using generic constraint 4.00/4.09 c intension x[28] != x[29] using generic constraint 4.00/4.09 c intension x[30] != x[31] using generic constraint 4.00/4.09 c intension x[32] != x[33] using generic constraint 4.00/4.09 c intension x[34] != x[35] using generic constraint 4.00/4.10 c intension x[36] != x[37] using generic constraint 4.00/4.10 c intension x[38] != x[39] using generic constraint 4.00/4.10 c intension x[40] != x[41] using generic constraint 4.00/4.10 c intension x[42] != x[43] using generic constraint 4.00/4.10 c intension x[44] != x[45] using generic constraint 4.00/4.10 c intension x[46] != x[47] using generic constraint 4.00/4.10 c intension x[48] != x[49] using generic constraint 4.00/4.10 c intension x[50] != x[51] using generic constraint 4.00/4.10 c intension x[52] != x[53] using generic constraint 4.10/4.10 c intension x[54] != x[55] using generic constraint 4.10/4.11 c intension x[56] != x[57] using generic constraint 4.10/4.11 c intension x[58] != x[59] using generic constraint 4.10/4.11 c intension x[60] != x[61] using generic constraint 4.10/4.11 c intension x[62] != x[63] using generic constraint 4.10/4.11 c intension x[64] != x[65] using generic constraint 4.10/4.11 c intension x[66] != x[67] using generic constraint 4.10/4.11 c intension x[68] != x[69] using generic constraint 4.10/4.11 c intension x[70] != x[71] using generic constraint 4.10/4.11 c intension x[72] != x[73] using generic constraint 4.10/4.11 c intension x[74] != x[75] using generic constraint 4.10/4.12 c intension x[76] != x[77] using generic constraint 4.10/4.12 c intension x[78] != x[79] using generic constraint 4.10/4.12 c intension x[80] != x[81] using generic constraint 4.10/4.12 c intension x[82] != x[83] using generic constraint 4.10/4.12 c intension x[84] != x[85] using generic constraint 4.10/4.12 c intension x[86] != x[87] using generic constraint 4.10/4.12 c intension x[88] != x[89] using generic constraint 4.10/4.12 c intension x[90] != x[91] using generic constraint 4.10/4.12 c intension x[92] != x[93] using generic constraint 4.10/4.12 c intension x[94] != x[95] using generic constraint 4.10/4.13 c intension x[96] != x[97] using generic constraint 4.10/4.13 c intension x[98] != x[99] using generic constraint 4.10/4.14 c SAT : Variables: 5000 -- Clauses: 122600 4.10/4.19 c root propagations : 0 4.10/4.19 c restarts enabled, print stats at every restarts 4.10/4.19 c 4.10/4.19 c 4.10/4.19 c 4.10/4.19 c This is cosoco 1.12 -- 4.10/4.19 c 4.10/4.19 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266447-1502591024.xml 4.10/4.19 c ========================================[ Problem Statistics ]=========================================== 4.10/4.19 c | 4.10/4.19 c | Parse time : 4.12 s 4.10/4.19 c | 4.10/4.19 c | Variables: 100 4.10/4.19 c | Domain Sizes: 50..50 4.10/4.19 c | 4.10/4.19 c | Constraints: 3725 4.10/4.19 c | Arity: 2..2 -- Binary: 3725 4.10/4.19 c | 4.10/4.19 c | Types: 4.10/4.19 c | (X != Y): 50 4.10/4.19 c | Intension: 3675 4.10/4.19 c | 4.10/4.19 c ========================================================================================================= 4.10/4.19 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.59/4.63 c 10 58 155139 7242 0 4 36 38 33 5.00/5.07 c 20 118 296258 13133 0 7 41 44 38 5.49/5.50 c 30 183 437489 20398 0 13 36 41 35 5.89/5.92 c 40 239 569734 25757 0 15 36 39 34 6.29/6.33 c 50 292 698694 31272 0 18 36 39 34 6.69/6.75 c 60 344 831957 37771 0 21 31 37 29 7.10/7.17 c 70 396 961854 43492 0 23 36 39 33 7.48/7.59 c 80 451 1095620 49600 0 24 37 41 35 7.99/8.01 c 90 506 1235734 56006 0 27 39 40 35 8.38/8.43 c 100 558 1365990 61872 0 31 36 39 34 8.78/8.82 c 101 596 1481293 65849 0 32 38 38 19 9.18/9.24 c 110 649 1622086 71843 0 36 36 38 33 9.58/9.66 c 120 702 1760322 77763 0 41 36 38 33 9.99/10.09 c 130 768 1909911 84603 0 43 39 45 38 10.48/10.52 c 140 817 2045812 90627 0 47 33 36 31 10.88/10.96 c 150 872 2192659 96885 0 50 34 35 31 11.28/11.38 c 160 938 2334651 103373 0 52 35 41 34 11.78/11.81 c 170 997 2481970 109793 0 57 38 40 35 12.18/12.23 c 180 1055 2626098 115591 0 60 39 42 36 12.58/12.67 c 190 1118 2779469 122453 0 63 36 39 34 12.99/13.09 c 200 1171 2914624 128355 0 65 35 40 34 13.48/13.53 c 210 1234 3068755 134867 0 69 37 42 35 13.88/13.93 c 211 1274 3187021 138959 0 70 40 40 20 14.28/14.33 c 220 1344 3327333 144668 0 75 39 44 37 14.68/14.76 c 230 1411 3468632 150936 0 77 35 44 35 15.09/15.16 c 240 1465 3603878 156413 0 80 37 39 34 15.48/15.58 c 250 1517 3733943 162032 0 84 35 38 32 15.88/15.99 c 260 1571 3872091 167896 0 87 37 40 35 16.38/16.43 c 270 1632 4024372 174594 0 90 40 42 37 16.78/16.84 c 280 1688 4162273 180650 0 95 37 38 34 17.18/17.28 c 290 1764 4317474 187616 0 101 36 43 34 17.68/17.71 c 300 1824 4459166 193245 0 106 43 45 39 18.09/18.12 c 310 1879 4597871 199496 0 109 36 38 33 18.48/18.54 c 320 1935 4735717 205124 0 112 39 42 36 18.88/18.97 c 330 1995 4885411 211824 0 115 39 41 35 19.28/19.37 c 332 2033 4998280 215959 0 117 37 37 24 19.68/19.78 c 340 2083 5130864 221721 0 119 35 37 32 20.09/20.19 c 350 2137 5265861 227755 0 122 35 41 35 20.58/20.61 c 360 2192 5406660 233801 0 128 36 38 33 20.99/21.04 c 370 2255 5555708 241199 0 129 34 40 33 21.38/21.46 c 380 2316 5697459 247446 0 132 40 41 37 21.78/21.87 c 390 2367 5828322 252811 0 134 35 37 32 22.18/22.29 c 400 2426 5976605 258942 0 138 37 39 34 22.58/22.69 c 410 2475 6107385 264635 0 141 36 39 33 23.09/23.12 c 420 2535 6253979 270627 0 144 37 41 35 23.49/23.54 c 430 2594 6394759 276778 0 146 37 40 34 23.88/23.97 c 440 2653 6536710 282652 0 150 38 40 35 24.28/24.37 c 450 2706 6667904 288138 0 156 37 39 34 24.68/24.79 c 460 2766 6816176 294584 0 158 38 41 36 25.18/25.20 c 465 2812 6944777 299610 0 160 37 39 31 25.58/25.61 c 470 2861 7076520 304537 0 162 38 40 32 25.99/26.03 c 480 2917 7216852 310498 0 166 36 39 34 26.38/26.45 c 490 2974 7359572 316563 0 168 39 41 36 26.78/26.87 c 500 3037 7503404 322540 0 170 42 44 39 27.18/27.29 c 510 3092 7645082 328131 0 173 37 39 34 27.68/27.70 c 520 3147 7777548 333575 0 174 37 39 34 28.09/28.15 c 530 3211 7932349 340657 0 178 35 41 34 28.48/28.57 c 540 3270 8073882 346825 0 179 36 38 34 28.88/29.00 c 550 3333 8215460 352999 0 184 35 43 34 29.38/29.42 c 560 3392 8357619 359377 0 187 34 40 33 29.78/29.85 c 570 3447 8500183 365300 0 189 35 39 33 30.18/30.28 c 580 3507 8641973 371349 0 192 37 42 36 30.68/30.72 c 590 3565 8789217 377934 0 195 35 38 33 31.09/31.14 c 600 3622 8926553 383521 0 199 35 37 32 31.48/31.57 c 610 3678 9074939 390313 0 205 36 38 33 31.88/31.98 c 611 3715 9191400 394413 0 206 37 37 18 32.38/32.40 c 620 3775 9338471 400939 0 211 40 41 36 32.78/32.82 c 630 3836 9476290 406588 0 218 38 43 36 33.18/33.27 c 640 3894 9617753 413503 0 221 34 39 32 33.58/33.69 c 650 3946 9751983 420192 0 224 33 36 30 34.09/34.11 c 660 4004 9889540 425850 0 228 38 40 35 34.48/34.53 c 670 4060 10027538 431564 0 231 35 39 33 34.88/34.95 c 680 4119 10169777 438016 0 235 36 41 34 35.28/35.37 c 690 4174 10306599 443739 0 240 37 39 35 35.68/35.79 c 700 4236 10446762 450513 0 244 37 41 35 36.18/36.20 c 710 4286 10573970 455959 0 247 35 37 32 36.58/36.62 c 720 4338 10706933 461676 0 250 36 38 33 36.99/37.04 c 730 4394 10847610 467378 0 253 35 39 33 37.38/37.47 c 740 4450 10992231 473629 0 257 37 39 34 37.88/37.90 c 750 4512 11140765 480929 0 258 36 40 34 38.28/38.31 c 760 4566 11271429 486949 0 262 33 38 31 38.68/38.75 c 770 4625 11413768 492982 0 265 34 38 32 39.09/39.15 c 771 4661 11524872 496948 0 266 36 36 18 39.48/39.57 c 780 4712 11661764 503251 0 270 34 37 32 39.88/40.00 c 790 4777 11805030 510034 0 272 39 42 36 40.38/40.41 c 800 4832 11937434 515439 0 276 37 40 34 40.78/40.84 c 810 4894 12080354 521849 0 281 38 41 35 41.18/41.27 c 820 4954 12225062 528188 0 283 36 40 34 41.58/41.69 c 830 5005 12359224 533781 0 285 36 37 32 42.09/42.11 c 840 5064 12503219 539711 0 290 39 42 36 42.48/42.53 c 850 5126 12650990 545954 0 292 37 41 35 42.88/42.95 c 860 5181 12783641 551187 0 293 36 39 34 43.28/43.38 c 870 5249 12925647 557513 0 295 37 43 35 43.78/43.80 c 880 5303 13057308 563161 0 300 39 42 36 44.18/44.22 c 890 5363 13196697 569094 0 302 36 40 34 44.58/44.64 c 900 5414 13331353 574625 0 305 36 36 32 44.99/45.05 c 910 5472 13471556 580842 0 310 37 39 34 45.38/45.48 c 920 5537 13616364 587092 0 312 35 42 34 45.88/45.90 c 930 5592 13756376 592766 0 314 39 41 36 46.28/46.33 c 940 5648 13901712 598708 0 319 38 40 35 46.68/46.74 c 947 5693 14028158 603686 0 322 36 37 31 47.09/47.14 c 950 5733 14145514 607949 0 325 36 38 27 47.48/47.57 c 960 5792 14278826 613576 0 327 36 41 34 47.89/47.99 c 970 5856 14425806 620044 0 331 39 42 36 48.39/48.43 c 980 5921 14573011 626518 0 335 36 44 35 48.79/48.86 c 990 5978 14719041 632880 0 339 38 40 35 49.19/49.28 c 1000 6035 14857146 638718 0 342 37 39 34 49.69/49.70 c 1010 6093 14997437 644446 0 344 37 40 35 50.10/50.12 c 1020 6149 15140661 650220 0 347 37 38 34 50.49/50.54 c 1030 6209 15288260 656242 0 350 39 41 36 50.89/50.97 c 1040 6269 15432896 662024 0 353 37 42 36 51.29/51.40 c 1050 6324 15574162 668039 0 356 39 40 35 51.79/51.82 c 1060 6393 15721025 675031 0 360 36 41 34 52.19/52.24 c 1070 6447 15860366 680966 0 364 36 39 34 52.59/52.67 c 1080 6506 16006943 687046 0 366 37 39 35 53.00/53.10 c 1090 6570 16158412 693118 0 369 39 42 36 53.49/53.52 c 1100 6626 16298133 698815 0 372 35 37 33 53.89/53.95 c 1110 6686 16450973 705537 0 375 39 41 36 54.29/54.38 c 1120 6745 16595116 711483 0 379 35 39 33 54.79/54.80 c 1130 6799 16726194 717012 0 382 37 39 34 55.19/55.21 c 1140 6851 16858581 722746 0 384 35 38 33 55.59/55.60 c 1141 6887 16969926 726767 0 385 36 36 18 56.00/56.02 c 1150 6942 17110808 732575 0 389 36 39 33 56.39/56.44 c 1160 7000 17250629 739012 0 390 37 41 35 56.79/56.87 c 1170 7056 17388133 745081 0 395 37 39 34 57.19/57.29 c 1180 7109 17526491 751161 0 397 36 37 33 57.69/57.71 c 1190 7172 17671080 757297 0 400 38 41 36 58.10/58.13 c 1200 7229 17813844 763084 0 404 37 38 34 58.49/58.55 c 1210 7282 17950515 768704 0 407 37 40 34 58.89/58.98 c 1220 7340 18098006 774828 0 411 38 41 36 59.39/59.40 c 1230 7398 18237423 780939 0 412 36 40 34 59.79/59.83 c 1240 7466 18388826 787585 0 415 38 43 36 60.19/60.27 c 1250 7522 18533286 793650 0 418 36 39 34 60.59/60.68 c 1260 7571 18663232 799049 0 424 34 36 31 61.00/61.10 c 1270 7634 18805396 804824 0 427 38 43 36 61.49/61.52 c 1280 7688 18941555 810692 0 430 35 37 32 61.89/61.93 c 1290 7744 19077593 816884 0 433 37 38 33 62.29/62.36 c 1300 7802 19221821 823249 0 437 36 39 34 62.69/62.78 c 1310 7860 19366818 829799 0 440 35 38 33 63.19/63.20 c 1320 7926 19514014 836192 0 442 40 43 37 63.59/63.63 c 1330 7980 19652117 841621 0 445 38 39 35 64.00/64.06 c 1340 8037 19801114 847767 0 449 37 38 33 64.39/64.48 c 1350 8105 19943561 854159 0 453 39 47 38 64.79/64.88 c 1352 8148 20063024 858390 0 454 42 42 28 65.19/65.28 c 1360 8198 20186789 863352 0 459 37 38 33 65.69/65.73 c 1370 8269 20346323 870003 0 462 37 40 34 66.10/66.15 c 1380 8325 20486695 875980 0 466 34 39 33 66.49/66.58 c 1390 8380 20624652 881724 0 468 36 38 34 66.89/67.00 c 1400 8436 20765367 887807 0 472 35 38 33 67.39/67.42 c 1410 8490 20898359 893413 0 479 37 39 34 67.79/67.85 c 1420 8541 21032949 898917 0 481 36 37 32 68.18/68.26 c 1430 8598 21168897 904579 0 483 37 40 34 68.58/68.69 c 1440 8649 21301822 910160 0 486 35 37 32 69.09/69.11 c 1450 8703 21436153 915558 0 489 37 39 33 69.48/69.54 c 1460 8760 21579938 921472 0 492 37 40 34 69.88/69.98 c 1470 8817 21723878 927789 0 495 39 40 35 70.38/70.41 c 1480 8870 21862282 933649 0 497 37 39 34 70.78/70.85 c 1490 8926 22010586 940131 0 500 36 38 33 71.18/71.27 c 1500 8991 22152105 946615 0 501 36 42 35 71.58/71.69 c 1510 9048 22292802 953054 0 507 33 38 32 72.09/72.11 c 1520 9101 22424022 958747 0 512 35 39 33 72.48/72.55 c 1530 9161 22570963 964815 0 513 40 42 37 72.88/72.99 c 1540 9231 22727433 972038 0 516 38 42 36 73.38/73.42 c 1550 9282 22859505 977907 0 521 35 38 32 73.78/73.83 c 1560 9332 22990360 983618 0 524 35 37 32 74.18/74.25 c 1570 9391 23130738 989369 0 526 38 40 35 74.58/74.69 c 1580 9451 23272867 996251 0 531 35 40 33 75.09/75.12 c 1585 9512 23410913 1001827 0 534 38 44 34 75.48/75.52 c 1590 9555 23529637 1006735 0 539 33 38 29 75.88/75.94 c 1600 9607 23667678 1012387 0 541 35 38 32 76.28/76.37 c 1610 9665 23809392 1018776 0 546 34 38 32 76.78/76.80 c 1620 9722 23954484 1025071 0 549 34 37 32 77.18/77.23 c 1630 9779 24097185 1030973 0 552 36 38 34 77.58/77.66 c 1640 9842 24246194 1037589 0 557 40 42 37 77.99/78.08 c 1650 9896 24386170 1043756 0 561 35 39 33 78.48/78.50 c 1660 9957 24528899 1050368 0 562 38 43 36 78.88/78.95 c 1670 10026 24682078 1057118 0 564 39 41 36 79.28/79.38 c 1680 10085 24828813 1063108 0 567 40 42 37 79.68/79.79 c 1690 10140 24964313 1069080 0 572 36 38 33 80.18/80.22 c 1700 10211 25117099 1075258 0 577 39 43 37 80.58/80.66 c 1710 10265 25261888 1081444 0 579 36 37 33 80.99/81.09 c 1720 10329 25405926 1088083 0 584 36 42 35 81.48/81.53 c 1730 10383 25548356 1094254 0 587 34 36 31 81.88/81.95 c 1740 10444 25687302 1100734 0 590 36 39 33 82.28/82.38 c 1750 10512 25835062 1106947 0 594 36 42 35 82.78/82.81 c 1760 10575 25983603 1113515 0 596 35 38 33 83.18/83.23 c 1770 10632 26131573 1120071 0 602 35 37 33 83.58/83.66 c 1780 10692 26278320 1126270 0 604 40 44 37 83.99/84.08 c 1790 10745 26412457 1132623 0 607 34 38 32 84.48/84.50 c 1800 10822 26560588 1139023 0 611 40 46 39 84.88/84.93 c 1810 10882 26703964 1144956 0 612 36 40 34 85.28/85.37 c 1820 10941 26853225 1150936 0 615 38 39 35 85.68/85.79 c 1830 10998 27000447 1157123 0 620 37 40 35 86.18/86.22 c 1840 11051 27138255 1163171 0 624 34 36 32 86.58/86.62 c 1841 11088 27252907 1167248 0 625 37 37 18 86.99/87.04 c 1850 11144 27394829 1172959 0 628 40 42 37 87.38/87.46 c 1860 11197 27533254 1178581 0 632 34 36 32 87.78/87.87 c 1870 11251 27665477 1184700 0 635 35 38 32 88.18/88.29 c 1880 11308 27805532 1191318 0 639 36 41 34 88.68/88.72 c 1890 11369 27954446 1197513 0 642 36 40 34 89.09/89.15 c 1900 11429 28103042 1203681 0 645 40 41 36 89.48/89.59 c 1910 11493 28253114 1210355 0 649 39 42 36 89.99/90.01 c 1920 11546 28386546 1216440 0 651 34 36 32 90.38/90.42 c 1930 11600 28520227 1222033 0 654 34 38 32 90.78/90.85 c 1940 11660 28669658 1228588 0 659 37 41 35 91.18/91.29 c 1950 11719 28817880 1234914 0 663 38 40 35 91.68/91.70 c 1960 11773 28953134 1240615 0 668 36 39 34 92.09/92.12 c 1970 11827 29089252 1246613 0 670 33 35 31 92.48/92.55 c 1980 11884 29232908 1252531 0 672 37 39 34 92.88/92.96 c 1990 11941 29370336 1258234 0 675 39 42 36 93.38/93.40 c 2000 12007 29526934 1264481 0 679 39 43 37 93.78/93.82 c 2010 12059 29660318 1270009 0 682 36 37 33 94.18/94.25 c 2020 12123 29813101 1276226 0 686 40 43 37 94.58/94.68 c 2030 12179 29959577 1282383 0 690 37 39 34 94.99/95.11 c 2040 12233 30097550 1288405 0 692 36 39 34 95.48/95.53 c 2050 12294 30244021 1294668 0 694 39 41 36 95.88/95.96 c 2060 12354 30385388 1300743 0 696 38 42 35 96.28/96.37 c 2070 12407 30521472 1306548 0 699 35 38 32 96.68/96.79 c 2080 12468 30667789 1312761 0 702 39 41 36 97.18/97.21 c 2090 12521 30797113 1318476 0 707 34 36 31 97.58/97.62 c 2100 12576 30934375 1324466 0 710 37 39 34 97.99/98.04 c 2110 12632 31075943 1330787 0 715 36 39 33 98.38/98.46 c 2120 12690 31209703 1336181 0 719 36 40 34 98.78/98.86 c 2122 12730 31330585 1340432 0 721 37 39 25 99.18/99.28 c 2130 12790 31466616 1345713 0 724 37 44 36 99.68/99.71 c 2140 12845 31607689 1351463 0 729 35 37 33 100.09/100.13 c 2150 12900 31747567 1357169 0 731 35 37 32 100.48/100.56 c 2160 12966 31900221 1363895 0 735 41 45 38 100.88/100.98 c 2170 13017 32036430 1369540 0 740 35 37 32 101.38/101.40 c 2180 13069 32169934 1375832 0 742 37 38 33 101.78/101.82 c 2190 13125 32304966 1381818 0 748 34 38 32 102.18/102.25 c 2200 13190 32455530 1388299 0 750 37 40 34 102.58/102.69 c 2210 13247 32599180 1394182 0 752 38 40 35 103.09/103.11 c 2220 13301 32738290 1400695 0 754 33 36 32 103.48/103.54 c 2230 13358 32879360 1406407 0 757 37 40 35 103.88/103.99 c 2240 13420 33031821 1412993 0 761 37 41 35 104.38/104.42 c 2250 13475 33171633 1418711 0 766 35 38 33 104.78/104.86 c 2260 13542 33320594 1425279 0 768 37 42 35 105.18/105.29 c 2270 13604 33466105 1431480 0 772 34 40 33 105.68/105.72 c 2280 13657 33605181 1436985 0 775 37 38 33 106.09/106.14 c 2290 13708 33738527 1443177 0 776 34 36 32 106.48/106.55 c 2300 13761 33874176 1448712 0 781 36 38 34 106.88/106.98 c 2310 13824 34022004 1455491 0 783 36 40 35 107.38/107.42 c 2320 13887 34169491 1462287 0 787 36 40 34 107.78/107.84 c 2330 13944 34308517 1467860 0 793 36 40 34 108.18/108.26 c 2340 14009 34453575 1474079 0 796 38 42 36 108.58/108.67 c 2350 14063 34584062 1479405 0 799 36 38 34 108.99/109.09 c 2360 14118 34721056 1485153 0 802 36 38 33 109.48/109.52 c 2370 14169 34854447 1490640 0 806 36 37 33 109.88/109.94 c 2380 14222 34993132 1496748 0 809 35 37 32 110.28/110.37 c 2390 14281 35134662 1502757 0 815 35 39 33 110.69/110.78 c 2400 14339 35272805 1508689 0 817 38 42 36 111.19/111.20 c 2410 14393 35410494 1514622 0 818 36 38 33 111.59/111.62 c 2420 14446 35542724 1520103 0 822 36 38 33 112.00/112.03 c 2430 14497 35675315 1525899 0 823 38 39 34 112.39/112.43 c 2431 14534 35791526 1529965 0 824 37 37 18 112.79/112.85 c 2440 14583 35923782 1535229 0 826 36 38 33 113.19/113.28 c 2450 14646 36069733 1541704 0 829 39 41 36 113.59/113.69 c 2460 14703 36207016 1547536 0 834 35 39 33 114.10/114.12 c 2470 14760 36347817 1553367 0 837 37 39 34 114.49/114.53 c 2480 14810 36482555 1558868 0 842 35 37 32 114.89/114.96 c 2490 14867 36621460 1564657 0 846 36 39 33 115.29/115.38 c 2500 14925 36758624 1570430 0 850 36 40 34 115.69/115.79 c 2510 14979 36893559 1575919 0 856 39 41 36 116.19/116.22 c 2520 15038 37035816 1581537 0 861 38 40 35 116.58/116.66 c 2530 15099 37178805 1588097 0 864 37 42 35 116.99/117.08 c 2540 15153 37312088 1594061 0 867 35 39 33 117.48/117.52 c 2550 15210 37453738 1600418 0 872 33 37 32 117.88/117.95 c 2560 15274 37599208 1606729 0 876 37 42 35 118.28/118.37 c 2570 15334 37742628 1612542 0 882 37 41 35 118.78/118.81 c 2580 15397 37899899 1619589 0 888 37 40 34 119.18/119.25 c 2590 15457 38048205 1626133 0 892 35 40 33 119.58/119.68 c 2600 15515 38192385 1632565 0 895 38 40 35 119.99/120.10 c 2610 15571 38328185 1637953 0 898 37 38 34 120.48/120.51 c 2620 15625 38458809 1643450 0 899 34 37 32 120.88/120.93 c 2630 15677 38593983 1649275 0 901 37 38 33 121.28/121.35 c 2640 15729 38728384 1654867 0 904 36 38 33 121.68/121.78 c 2650 15786 38872544 1661408 0 907 35 37 33 122.18/122.21 c 2660 15840 39015924 1667444 0 910 37 38 33 122.58/122.63 c 2670 15901 39153135 1673134 0 915 39 42 37 122.99/123.07 c 2680 15965 39305509 1679805 0 917 35 39 34 123.38/123.49 c 2690 16029 39444754 1685621 0 921 41 45 38 123.88/123.92 c 2700 16086 39578905 1691198 0 924 37 40 34 124.28/124.34 c 2710 16148 39722474 1697414 0 925 40 43 37 124.68/124.77 c 2720 16217 39870860 1703977 0 929 35 43 35 125.18/125.21 c 2730 16283 40017832 1710313 0 933 36 41 34 125.58/125.62 c 2740 16336 40153567 1715805 0 935 38 39 34 125.99/126.06 c 2750 16395 40298023 1721722 0 940 39 40 36 126.38/126.47 c 2760 16452 40436814 1727526 0 943 38 41 35 126.88/126.90 c 2770 16512 40581844 1733872 0 948 38 41 35 127.28/127.30 c 2771 16552 40699841 1738043 0 949 40 40 20 127.68/127.71 c 2780 16615 40841602 1743796 0 950 39 42 37 128.09/128.14 c 2790 16679 40985483 1750290 0 952 34 40 33 128.48/128.56 c 2800 16734 41123870 1756130 0 953 37 39 34 128.88/128.98 c 2810 16793 41267494 1762006 0 955 36 39 34 129.38/129.41 c 2820 16848 41403684 1767985 0 960 34 37 32 129.78/129.83 c 2830 16905 41545363 1774135 0 963 37 40 34 130.18/130.25 c 2840 16963 41682242 1780245 0 969 36 40 33 130.58/130.69 c 2850 17026 41828953 1786521 0 972 36 40 34 131.09/131.11 c 2860 17083 41966828 1793093 0 976 34 39 32 131.48/131.55 c 2870 17144 42117986 1800114 0 980 37 39 34 131.88/131.98 c 2880 17200 42258994 1806178 0 984 36 38 33 132.38/132.40 c 2890 17253 42394816 1812203 0 992 34 36 31 132.78/132.82 c 2900 17307 42533431 1818120 0 994 37 38 33 133.18/133.25 c 2910 17364 42678110 1824178 0 998 37 38 34 133.58/133.69 c 2920 17428 42824783 1831038 0 1001 36 39 33 134.09/134.12 c 2930 17487 42967854 1837248 0 1003 36 41 35 134.48/134.54 c 2940 17540 43102164 1843347 0 1006 36 38 33 134.88/134.96 c 2950 17602 43243604 1849422 0 1009 39 43 37 135.38/135.41 c 2960 17662 43393588 1856027 0 1013 35 38 33 135.78/135.83 c 2970 17719 43531184 1861719 0 1016 37 39 34 136.18/136.26 c 2980 17780 43679198 1868125 0 1022 39 41 36 136.58/136.68 c 2990 17834 43813334 1873999 0 1027 37 41 34 137.09/137.14 c 3000 17903 43974187 1880920 0 1029 40 45 38 137.48/137.56 c 3010 17957 44108034 1886398 0 1034 36 39 34 137.88/137.98 c 3020 18015 44249165 1892466 0 1040 37 40 34 138.38/138.40 c 3030 18090 44388611 1898358 0 1042 34 45 36 138.78/138.82 c 3040 18153 44531429 1904700 0 1044 37 40 34 139.18/139.25 c 3050 18213 44676257 1910466 0 1046 37 40 35 139.58/139.67 c 3060 18269 44816459 1916085 0 1050 36 38 33 139.99/140.09 c 3070 18338 44963441 1922793 0 1051 42 48 41 140.48/140.53 c 3080 18402 45111020 1929094 0 1054 39 41 36 140.88/140.95 c 3090 18455 45250981 1935290 0 1055 37 38 34 141.28/141.39 c 3100 18523 45401247 1941882 0 1057 39 45 37 141.78/141.82 c 3110 18582 45548532 1948271 0 1058 36 41 34 142.18/142.24 c 3120 18635 45685939 1953816 0 1063 35 37 32 142.58/142.67 c 3130 18693 45830290 1959935 0 1066 37 39 34 142.99/143.09 c 3140 18753 45976738 1966887 0 1067 38 42 35 143.38/143.49 c 3142 18792 46095774 1971215 0 1069 37 37 24 143.88/143.90 c 3150 18847 46225561 1976475 0 1071 36 40 33 144.28/144.34 c 3160 18914 46377374 1982911 0 1073 38 42 36 144.68/144.77 c 3170 18971 46519932 1989565 0 1075 35 39 33 145.09/145.19 c 3180 19030 46666253 1995416 0 1079 38 40 35 145.58/145.60 c 3190 19081 46793756 2000593 0 1080 36 38 33 145.99/146.04 c 3200 19143 46940246 2007011 0 1083 36 43 35 146.38/146.47 c 3210 19198 47083342 2012782 0 1086 37 38 33 146.78/146.89 c 3220 19268 47230056 2019521 0 1088 35 43 36 147.28/147.32 c 3230 19327 47368827 2026197 0 1090 38 42 36 147.68/147.73 c 3240 19383 47508464 2031991 0 1093 37 39 34 148.09/148.15 c 3250 19438 47641352 2037714 0 1095 35 39 33 148.48/148.58 c 3260 19493 47781178 2043829 0 1097 37 39 34 148.88/149.00 c 3270 19554 47922664 2049918 0 1100 40 43 37 149.38/149.41 c 3280 19616 48060900 2056182 0 1105 34 38 33 149.78/149.84 c 3290 19670 48196924 2061795 0 1110 35 37 32 150.18/150.26 c 3300 19725 48334370 2068334 0 1114 36 39 34 150.68/150.70 c 3310 19786 48477006 2074581 0 1115 38 41 35 151.09/151.13 c 3320 19843 48621359 2080918 0 1120 36 39 34 151.48/151.56 c 3330 19900 48763637 2087227 0 1121 37 40 35 151.88/151.99 c 3340 19957 48899093 2092902 0 1124 37 41 34 152.38/152.41 c 3350 20012 49033162 2099190 0 1128 34 36 32 152.78/152.83 c 3360 20071 49174304 2105212 0 1130 38 42 35 153.18/153.26 c 3370 20127 49315678 2110821 0 1132 38 40 35 153.58/153.68 c 3380 20188 49463487 2117468 0 1135 37 39 34 154.09/154.12 c 3390 20251 49610190 2123851 0 1136 41 43 37 154.48/154.55 c 3400 20307 49751432 2129578 0 1138 35 38 33 154.88/154.96 c 3410 20362 49887165 2135864 0 1139 34 36 31 155.28/155.39 c 3420 20425 50034050 2142134 0 1141 35 40 34 155.78/155.81 c 3430 20480 50173471 2148275 0 1144 37 38 34 156.18/156.22 c 3440 20542 50314991 2154113 0 1148 36 42 35 156.58/156.65 c 3450 20600 50458409 2160538 0 1154 35 38 32 156.99/157.07 c 3460 20660 50597221 2166479 0 1156 36 40 34 157.38/157.49 c 3470 20711 50730120 2172274 0 1160 34 36 32 157.88/157.91 c 3480 20761 50864067 2178199 0 1164 34 35 31 158.28/158.32 c 3490 20813 50997077 2184139 0 1168 34 37 32 158.68/158.74 c 3500 20867 51134096 2189861 0 1172 35 37 32 159.09/159.16 c 3510 20924 51270531 2195504 0 1174 34 37 32 159.48/159.58 c 3520 20992 51410005 2201359 0 1180 35 43 36 159.99/160.01 c 3530 21051 51555809 2207419 0 1185 38 42 36 160.38/160.43 c 3540 21106 51693893 2213482 0 1188 34 39 32 160.78/160.87 c 3550 21171 51847331 2220470 0 1191 38 41 35 161.18/161.28 c 3551 21208 51963996 2224631 0 1192 37 37 18 161.58/161.69 c 3560 21260 52098508 2230442 0 1197 36 37 33 162.09/162.11 c 3570 21311 52234871 2236459 0 1200 34 36 31 162.48/162.54 c 3580 21369 52377183 2242537 0 1202 37 42 35 162.88/162.96 c 3590 21423 52512485 2247988 0 1205 38 40 35 163.28/163.38 c 3600 21481 52649665 2254106 0 1206 36 40 34 163.78/163.81 c 3610 21535 52786527 2259972 0 1209 36 39 33 164.18/164.23 c 3620 21596 52931915 2266074 0 1212 40 42 37 164.58/164.66 c 3630 21651 53072659 2271804 0 1215 36 41 34 164.99/165.08 c 3640 21702 53208796 2277559 0 1219 35 37 33 165.48/165.50 c 3650 21757 53349847 2283121 0 1222 38 38 34 165.88/165.93 c 3660 21815 53494393 2289304 0 1226 35 39 33 166.28/166.34 c 3670 21870 53631096 2294898 0 1229 37 39 34 166.68/166.76 c 3680 21925 53770062 2300905 0 1232 38 40 35 167.09/167.19 c 3690 21983 53914898 2307045 0 1235 36 39 34 167.58/167.62 c 3700 22040 54061460 2313302 0 1238 35 37 33 167.99/168.05 c 3710 22101 54203988 2319277 0 1242 37 40 35 168.38/168.47 c 3720 22160 54345866 2325376 0 1246 35 37 32 168.78/168.89 c 3730 22213 54483146 2330689 0 1250 39 40 36 169.28/169.31 c 3740 22270 54621765 2336721 0 1252 35 39 33 169.68/169.73 c 3750 22323 54760809 2342656 0 1254 36 38 34 170.09/170.15 c 3760 22383 54905658 2348717 0 1258 37 40 35 170.48/170.58 c 3770 22435 55045565 2355290 0 1261 34 36 31 170.88/171.00 c 3780 22491 55179657 2360763 0 1264 38 40 35 171.38/171.42 c 3790 22552 55321659 2366807 0 1266 37 40 35 171.78/171.84 c 3800 22608 55457487 2373176 0 1269 36 38 33 172.18/172.28 c 3810 22670 55611560 2379623 0 1274 36 40 35 172.68/172.71 c 3820 22730 55759491 2385718 0 1278 39 41 36 173.09/173.13 c 3830 22785 55898420 2392099 0 1281 35 37 32 173.48/173.56 c 3840 22842 56043478 2398261 0 1283 38 40 34 173.88/173.98 c 3850 22899 56183915 2403816 0 1286 35 39 33 174.38/174.42 c 3860 22966 56335326 2410089 0 1289 40 44 38 174.78/174.86 c 3870 23027 56483448 2416340 0 1292 40 42 37 175.18/175.29 c 3880 23083 56624599 2422704 0 1294 36 38 33 175.68/175.72 c 3890 23144 56770461 2428958 0 1298 35 40 33 176.10/176.15 c 3900 23203 56913716 2435334 0 1301 37 40 35 176.59/176.60 c 3910 23270 57069493 2441471 0 1305 39 42 36 177.00/177.02 c 3920 23324 57209314 2447375 0 1308 36 38 33 177.39/177.45 c 3930 23388 57354265 2453982 0 1311 39 41 36 177.79/177.89 c 3940 23449 57498648 2460704 0 1314 34 42 32 178.29/178.33 c 3950 23512 57644168 2467996 0 1315 35 40 34 178.69/178.76 c 3960 23571 57783522 2474075 0 1322 37 45 36 179.10/179.20 c 3970 23634 57930276 2481462 0 1327 35 38 33 179.59/179.62 c 3980 23692 58070543 2488285 0 1330 34 43 33 180.00/180.07 c 3990 23762 58231065 2495567 0 1334 36 44 35 180.49/180.50 c 4000 23818 58371089 2502190 0 1335 35 38 33 180.79/180.90 c 4001 23853 58482326 2506123 0 1336 35 35 17 181.29/181.33 c 4010 23914 58634104 2513528 0 1340 36 37 32 181.69/181.75 c 4020 23971 58773120 2519570 0 1345 35 38 32 182.10/182.18 c 4030 24026 58911827 2525752 0 1348 35 37 33 182.59/182.60 c 4040 24089 59055679 2531648 0 1354 41 43 38 183.00/183.02 c 4050 24143 59193585 2537521 0 1357 36 38 33 183.39/183.45 c 4060 24210 59345339 2543783 0 1360 39 42 37 183.79/183.88 c 4070 24260 59480245 2549970 0 1362 35 35 31 184.19/184.29 c 4080 24313 59610940 2555537 0 1369 36 40 34 184.69/184.72 c 4090 24378 59757303 2561833 0 1373 37 40 35 185.09/185.14 c 4100 24431 59892866 2567939 0 1378 34 37 32 185.49/185.57 c 4110 24488 60034798 2574114 0 1381 37 39 34 185.89/185.99 c 4120 24550 60181081 2580147 0 1383 36 38 34 186.39/186.41 c 4130 24604 60317806 2586035 0 1385 37 39 34 186.79/186.83 c 4140 24656 60455049 2591668 0 1389 38 39 34 187.19/187.25 c 4150 24711 60592235 2597635 0 1391 35 39 33 187.59/187.69 c 4160 24776 60738477 2604273 0 1396 35 40 34 188.09/188.12 c 4170 24833 60881102 2611485 0 1401 34 38 33 188.49/188.55 c 4180 24897 61027568 2618125 0 1403 39 42 36 188.89/188.97 c 4190 24949 61165453 2624039 0 1404 36 37 33 189.29/189.39 c 4200 25009 61310717 2629905 0 1410 41 43 38 189.79/189.81 c 4210 25063 61448547 2635815 0 1412 36 38 33 190.19/190.23 c 4220 25115 61583038 2641623 0 1416 36 37 33 190.59/190.65 c 4230 25167 61719306 2647226 0 1421 35 37 33 190.99/191.08 c 4240 25227 61867337 2654899 0 1423 35 40 33 191.49/191.50 c 4250 25280 62003827 2660700 0 1428 35 37 32 191.89/191.93 c 4260 25338 62148276 2666992 0 1430 37 40 34 192.29/192.35 c 4270 25395 62288296 2672748 0 1434 36 38 33 192.69/192.78 c 4280 25454 62433401 2679265 0 1437 34 38 32 193.19/193.20 c 4290 25508 62573004 2685584 0 1439 35 37 32 193.59/193.62 c 4300 25565 62710977 2691249 0 1442 37 40 34 193.99/194.04 c 4310 25621 62849955 2697001 0 1445 37 40 34 194.39/194.45 c 4320 25677 62989704 2702742 0 1448 36 39 33 194.79/194.89 c 4330 25737 63138946 2709037 0 1451 36 39 34 195.29/195.31 c 4340 25793 63281621 2715074 0 1457 35 39 33 195.69/195.74 c 4350 25851 63425361 2721192 0 1460 36 39 34 196.09/196.15 c 4360 25914 63560997 2727210 0 1462 35 41 34 196.48/196.58 c 4370 25974 63703330 2734062 0 1465 35 42 34 196.99/197.02 c 4380 26032 63847444 2740409 0 1470 37 40 35 197.38/197.44 c 4390 26095 63998967 2746918 0 1472 37 42 35 197.78/197.87 c 4400 26149 64136758 2753015 0 1475 35 37 32 198.28/198.31 c 4410 26234 64289724 2759898 0 1479 36 48 40 198.68/198.75 c 4420 26297 64434461 2766146 0 1480 38 41 36 199.09/199.18 c 4430 26352 64574585 2771825 0 1481 39 40 35 199.58/199.60 c 4440 26409 64717692 2777532 0 1486 37 39 34 199.99/200.02 c 4450 26461 64852703 2783284 0 1491 35 37 33 200.38/200.45 c 4460 26525 64999290 2789731 0 1493 39 42 36 200.78/200.87 c 4470 26585 65143580 2796164 0 1496 37 39 34 201.28/201.31 c 4480 26657 65299794 2802891 0 1499 39 45 37 201.68/201.75 c 4490 26720 65458726 2809670 0 1505 36 39 34 202.09/202.16 c 4493 26762 65583370 2814298 0 1507 39 39 29 202.48/202.57 c 4500 26814 65714241 2819461 0 1508 39 42 35 202.88/202.99 c 4510 26868 65851319 2825039 0 1511 37 38 34 203.38/203.41 c 4520 26924 65987303 2830754 0 1515 35 39 33 203.78/203.83 c 4530 26986 66132222 2837022 0 1521 36 39 34 204.18/204.26 c 4540 27047 66277034 2843482 0 1524 38 41 35 204.58/204.69 c 4550 27105 66421937 2849189 0 1529 36 38 33 205.09/205.11 c 4560 27166 66563934 2855383 0 1534 40 42 37 205.48/205.54 c 4570 27231 66719717 2862344 0 1537 39 41 35 205.88/205.98 c 4580 27310 66875410 2869702 0 1540 40 43 37 206.38/206.41 c 4590 27362 67014029 2876035 0 1542 34 35 31 206.78/206.84 c 4600 27429 67169430 2883059 0 1545 37 40 34 207.18/207.28 c 4610 27486 67314349 2889087 0 1546 39 41 36 207.68/207.70 c 4620 27536 67445113 2894920 0 1554 35 37 32 208.09/208.13 c 4630 27596 67591895 2902061 0 1557 38 40 35 208.48/208.56 c 4640 27665 67736868 2908636 0 1559 37 46 37 208.88/208.98 c 4650 27721 67875863 2914478 0 1562 37 39 34 209.38/209.41 c 4660 27788 68024001 2920672 0 1565 41 47 39 209.78/209.83 c 4670 27845 68166005 2926480 0 1568 38 40 35 210.18/210.26 c 4680 27901 68304916 2932730 0 1572 36 40 34 210.68/210.70 c 4690 27963 68445367 2938772 0 1574 40 42 37 211.09/211.12 c 4700 28024 68584061 2944797 0 1575 41 43 38 211.48/211.56 c 4710 28087 68730749 2951368 0 1578 36 41 34 211.88/211.99 c 4720 28148 68871958 2957444 0 1584 36 39 34 212.38/212.40 c 4730 28205 69009654 2962760 0 1589 39 42 36 212.78/212.84 c 4740 28262 69155337 2968399 0 1592 38 41 35 213.18/213.26 c 4750 28317 69293241 2974191 0 1594 37 39 34 213.58/213.69 c 4760 28390 69447845 2980747 0 1597 39 44 37 214.09/214.14 c 4770 28466 69600273 2988018 0 1602 37 45 36 214.48/214.58 c 4780 28528 69751434 2994797 0 1604 36 38 33 214.88/215.00 c 4790 28586 69894254 3000751 0 1608 36 38 33 215.38/215.43 c 4800 28641 70037539 3006721 0 1610 36 38 33 215.78/215.85 c 4810 28703 70186483 3013100 0 1615 35 39 33 216.18/216.29 c 4820 28769 70335261 3020246 0 1617 36 42 35 216.68/216.72 c 4830 28823 70475723 3025651 0 1621 37 39 35 217.09/217.15 c 4840 28882 70626864 3031903 0 1625 41 41 37 217.48/217.57 c 4850 28939 70765619 3037617 0 1627 36 40 34 217.99/218.01 c 4860 29000 70914250 3043852 0 1629 37 40 35 218.38/218.44 c 4870 29066 71067646 3050507 0 1633 39 42 37 218.78/218.85 c 4880 29135 71205707 3056389 0 1639 37 44 35 219.18/219.28 c 4890 29195 71346306 3062166 0 1642 37 42 35 219.68/219.70 c 4900 29250 71482757 3067963 0 1645 34 37 32 220.09/220.13 c 4910 29312 71625952 3074647 0 1647 34 38 32 220.48/220.56 c 4920 29369 71768150 3081086 0 1650 34 40 32 220.88/220.97 c 4930 29423 71902010 3087052 0 1656 36 38 33 221.38/221.40 c 4940 29478 72040683 3092708 0 1660 35 37 32 221.78/221.83 c 4950 29532 72177388 3098164 0 1662 36 40 34 222.18/222.25 c 4960 29592 72321083 3104067 0 1666 40 43 37 222.58/222.66 c 4970 29654 72460856 3109937 0 1669 40 44 37 222.99/223.09 c 4980 29710 72601093 3115838 0 1674 34 38 32 223.48/223.52 c 4990 29768 72743838 3121492 0 1678 37 40 35 223.99/224.03 c 5035 29913 72994116 3135002 0 1684 37 43 39 226.28/226.36 c 5631 31246 75010995 3277783 0 1691 33 39 35 228.38/228.48 c 6286 32728 77109968 3422624 0 1701 34 41 37 231.88/232.00 c 7006 34397 79707969 3615688 0 1703 31 38 33 234.99/235.03 c 7798 37036 82761627 3826608 0 1716 34 48 41 238.38/238.45 c 8669 39148 85798619 4019188 0 1726 34 41 36 242.79/242.82 c 9627 41708 89357414 4322704 0 1734 32 43 37 247.79/247.90 c 10680 44156 93103652 4650544 0 1742 31 40 35 252.00/252.02 c 11838 46986 96943774 4919768 0 1751 32 43 37 255.89/255.94 c 13111 50339 101391852 5215431 0 1760 38 46 41 261.38/261.41 c 14511 53757 106368259 5559388 0 1773 32 40 36 266.58/266.66 c 16051 57251 111573908 5954960 0 1783 33 40 36 273.99/274.02 c 17745 61998 118250830 6492684 0 1797 31 43 36 280.78/280.80 c 19608 66305 124498248 6948533 0 1808 32 39 35 286.78/286.89 c 21657 71158 131538537 7434141 0 1818 34 43 38 296.78/296.82 c 23910 77428 140063279 8073767 0 1831 30 43 36 305.48/305.58 c 26388 83572 148901259 8676563 0 1850 33 40 36 312.78/312.83 c 29113 90795 157834197 9278741 0 1865 34 44 38 324.78/324.84 c 32110 98381 169047990 10190109 0 1878 33 45 37 340.78/340.86 c 35406 106095 181253326 11152420 0 1892 29 37 32 352.18/352.25 c 39031 115283 193711644 12023619 0 1900 32 43 36 364.38/364.48 c 43018 125085 207277347 13004111 0 1917 33 42 37 382.99/383.10 c 47403 135957 223332684 14346104 0 1925 30 41 35 396.09/396.17 c 52226 147574 238988973 15420221 0 1935 32 42 37 411.38/411.40 c 57531 161163 256929253 16733337 0 1951 34 45 38 436.88/436.92 c 63366 174700 276974747 18194432 0 1965 29 40 33 458.88/458.95 c 69784 191170 300063373 19862838 0 1979 31 41 35 491.88/491.98 c 76843 208880 326252178 22125864 0 1998 29 43 34 520.99/521.06 c 84607 230362 355006971 24337163 0 2011 32 44 36 554.78/554.82 c 93147 253997 387473556 26625992 0 2032 33 47 38 587.09/587.16 c 102541 279532 420725911 29003634 0 2046 33 47 37 631.28/631.32 c 112874 308252 460338773 32349731 0 2064 32 47 37 679.68/679.78 c 124240 334267 500461884 35701591 0 2075 30 39 34 718.28/718.37 c 136742 371471 545464844 38777511 0 2086 32 49 40 762.99/763.03 c 150494 403784 591911290 41951532 0 2101 33 42 37 812.48/812.58 c 165621 440061 644682888 45968331 0 2116 32 44 37 860.48/860.51 c 182260 477622 699398891 49898051 0 2123 32 42 37 918.28/918.31 c 200562 521874 763222938 54327626 0 2143 32 42 36 988.38/988.40 c 220694 571905 835490278 59465530 0 2160 32 44 37 1071.08/1071.16 c 242839 625179 912418898 64781568 0 2189 30 42 34 1159.09/1159.18 c 267198 683638 997991330 71015621 0 2203 31 42 36 1259.78/1259.85 c 293992 746328 1092954466 78545813 0 2219 31 42 36 1371.10/1371.15 c 323465 821843 1199263336 86532018 0 2232 31 44 35 1505.18/1505.25 c 355885 900909 1318191267 95322507 0 2245 30 42 36 1638.78/1638.82 c 391547 981343 1436011364 103627229 0 2269 31 41 35 1840.18/1840.25 c 430775 1085323 1593223023 117668486 0 2275 29 48 35 2002.48/2002.60 c 473925 1225497 1761782926 130607944 0 2286 31 50 40 2131.09/2131.16 c 521390 1353565 1925173478 141562765 0 2302 33 48 39 2308.48/2308.52 c 573601 1484783 2112494207 154710687 0 2312 31 46 37 2519.99/2520.01 2519.99/2520.01 c *** INTERRUPTED *** 2519.99/2520.01 c restarts : 566 2519.99/2520.01 c conflicts : 618208 (245 /sec) 2519.99/2520.01 c decisions : 1602358 (636 /sec) 2519.99/2520.01 c propagations : 167189550 (66347 /sec) 2519.99/2520.01 c root propagations : 0 2519.99/2520.01 c filter calls : 2279615192 (904639 /sec) 2519.99/2520.01 c useless filter calls : 2138494107 (93 %) 2519.99/2520.01 c 2519.99/2520.01 c clauses : 124912 2519.99/2520.01 c SAT propagations : 0 2519.99/2520.01 c SAT conflicts : 0 (0 learnts) 2519.99/2520.01 c Memory used : 61.10 MB 2519.99/2520.01 c CPU time : 2519.92 s 2519.99/2520.01 2519.99/2520.01 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 (13801 MiB free)
memory of node 1: 16384 MiB (14860 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266447-1502591024/watcher-4266447-1502591024 -o /tmp/evaluation-result-4266447-1502591024/solver-4266447-1502591024 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502567255-24253 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266447-1502591024.xml
running on 4 cores: 1,3,5,7
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=27124, runsolver pid=27121
[startup+0.100638 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27125
/proc/meminfo: memFree=29347588/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=27908 memory=4356 CPUtime=0.1 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 1255 0 0 0 10 0 0 0 20 0 1 0 92190607 28577792 1089 33554432000 4194304 5972588 140732695036224 140732695028528 140175523875813 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 6977 1089 787 435 0 340 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27908 KiB
Current children cumulated memory: 4356 KiB
[startup+0.209597 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27125
/proc/meminfo: memFree=29347588/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=28272 memory=4720 CPUtime=0.21 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 1357 0 0 0 21 0 0 0 20 0 1 0 92190607 28950528 1180 33554432000 4194304 5972588 140732695036224 140732695028528 140175523875813 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 7068 1180 787 435 0 431 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28272 KiB
Current children cumulated memory: 4720 KiB
[startup+0.308979 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27125
/proc/meminfo: memFree=29347216/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=28644 memory=5088 CPUtime=0.31 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 1450 0 0 0 31 0 0 0 20 0 1 0 92190607 29331456 1272 33554432000 4194304 5972588 140732695036224 140732695028528 5211123 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 7161 1272 787 435 0 524 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28644 KiB
Current children cumulated memory: 5088 KiB
[startup+0.70028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27125
/proc/meminfo: memFree=29346100/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=30100 memory=6548 CPUtime=0.69 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 1811 0 0 0 69 0 0 0 20 0 1 0 92190607 30822400 1637 33554432000 4194304 5972588 140732695036224 140732695030024 140175523875813 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 7525 1637 787 435 0 888 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30100 KiB
Current children cumulated memory: 6548 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27125
/proc/meminfo: memFree=29344256/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=33116 memory=9568 CPUtime=1.49 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 2566 0 0 0 149 0 0 0 20 0 1 0 92190607 33910784 2392 33554432000 4194304 5972588 140732695036224 140732695030024 140175523875813 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 8279 2392 787 435 0 1642 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33116 KiB
Current children cumulated memory: 9568 KiB
[startup+3.10938 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27125
/proc/meminfo: memFree=29337060/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=39176 memory=15624 CPUtime=3.09 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 4185 0 0 0 309 0 0 0 20 0 1 0 92190607 40116224 3906 33554432000 4194304 5972588 140732695036224 140732695030024 140175523875813 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 9794 3906 787 435 0 3157 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39176 KiB
Current children cumulated memory: 15624 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27125
/proc/meminfo: memFree=29315456/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62192 memory=36520 CPUtime=6.29 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 12897 0 0 0 627 2 0 0 20 0 1 0 92190607 63684608 9130 33554432000 4194304 5972588 140732695036224 140732695033528 4965342 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15548 9130 833 435 0 8911 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 62192 KiB
Current children cumulated memory: 36520 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27125
/proc/meminfo: memFree=29315324/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62192 memory=36716 CPUtime=12.68 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 20215 0 0 0 1266 2 0 0 20 0 1 0 92190607 63684608 9179 33554432000 4194304 5972588 140732695036224 140732695033528 5070934 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15548 9179 833 435 0 8911 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 62192 KiB
Current children cumulated memory: 36716 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27125
/proc/meminfo: memFree=29315208/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62192 memory=36748 CPUtime=25.48 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 34798 0 0 0 2545 3 0 0 20 0 1 0 92190607 63684608 9187 33554432000 4194304 5972588 140732695036224 140732695033528 4965365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15548 9187 833 435 0 8911 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 62192 KiB
Current children cumulated memory: 36748 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27132
/proc/meminfo: memFree=29315072/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62432 memory=36772 CPUtime=51.1 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 42376 0 0 0 5106 4 0 0 20 0 1 0 92190607 63930368 9193 33554432000 4194304 5972588 140732695036224 140732695033528 4965365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15608 9193 833 435 0 8971 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 62432 KiB
Current children cumulated memory: 36772 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27133
/proc/meminfo: memFree=29315456/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=36796 CPUtime=102.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 49851 0 0 0 10224 4 0 0 20 0 1 0 92190607 64061440 9199 33554432000 4194304 5972588 140732695036224 140732695033528 4909657 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9199 833 435 0 9003 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36796 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27134
/proc/meminfo: memFree=29315272/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=36796 CPUtime=162.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 57328 0 0 0 16223 5 0 0 20 0 1 0 92190607 64061440 9199 33554432000 4194304 5972588 140732695036224 140732695033528 5070923 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9199 833 435 0 9003 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36796 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27135
/proc/meminfo: memFree=29315016/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=36800 CPUtime=222.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 64787 0 0 0 22222 6 0 0 20 0 1 0 92190607 64061440 9200 33554432000 4194304 5972588 140732695036224 140732695033528 5071280 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9200 833 435 0 9003 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36800 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27136
/proc/meminfo: memFree=29315004/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=36860 CPUtime=282.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 72234 0 0 0 28221 7 0 0 20 0 1 0 92190607 64061440 9215 33554432000 4194304 5972588 140732695036224 140732695033528 4966114 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9215 833 435 0 9003 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36860 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27137
/proc/meminfo: memFree=29315248/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=36864 CPUtime=342.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 73276 0 0 0 34221 7 0 0 20 0 1 0 92190607 64061440 9216 33554432000 4194304 5972588 140732695036224 140732695033528 4965342 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9216 833 435 0 9003 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36864 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27138
/proc/meminfo: memFree=29314868/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=36868 CPUtime=402.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 74292 0 0 0 40221 7 0 0 20 0 1 0 92190607 64061440 9217 33554432000 4194304 5972588 140732695036224 140732695033528 5328722 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9217 833 435 0 9003 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36868 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27200
/proc/meminfo: memFree=29767860/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=36868 CPUtime=462.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 75354 0 0 0 46221 7 0 0 20 0 1 0 92190607 64061440 9217 33554432000 4194304 5972588 140732695036224 140732695033528 4965342 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9217 833 435 0 9003 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36868 KiB
################
# More data... #
################
/proc/27124/statm: 15640 9220 833 435 0 9003 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36880 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27240
/proc/meminfo: memFree=29764596/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=36880 CPUtime=1782.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 97463 0 0 0 178220 8 0 0 20 0 1 0 92190607 64061440 9220 33554432000 4194304 5972588 140732695036224 140732695033528 4965681 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9220 833 435 0 9003 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36880 KiB
[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 27248
/proc/meminfo: memFree=29763572/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=36880 CPUtime=1842.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 98477 0 0 0 184220 8 0 0 20 0 1 0 92190607 64061440 9220 33554432000 4194304 5972588 140732695036224 140732695033528 4966031 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9220 833 435 0 9003 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36880 KiB
[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 27249
/proc/meminfo: memFree=29764156/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=36880 CPUtime=1902.29 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 99448 0 0 0 190221 8 0 0 20 0 1 0 92190607 64061440 9220 33554432000 4194304 5972588 140732695036224 140732695033528 5070704 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9220 833 435 0 9003 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36880 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 27250
/proc/meminfo: memFree=29764624/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=36880 CPUtime=1962.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 100413 0 0 0 196220 8 0 0 20 0 1 0 92190607 64061440 9220 33554432000 4194304 5972588 140732695036224 140732695033528 5071296 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9220 833 435 0 9003 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36880 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 27251
/proc/meminfo: memFree=29764516/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=36880 CPUtime=2022.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 101444 0 0 0 202220 8 0 0 20 0 1 0 92190607 64061440 9220 33554432000 4194304 5972588 140732695036224 140732695033528 4965365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9220 833 435 0 9003 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36880 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 27252
/proc/meminfo: memFree=29764764/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=36880 CPUtime=2082.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 102389 0 0 0 208220 8 0 0 20 0 1 0 92190607 64061440 9220 33554432000 4194304 5972588 140732695036224 140732695033528 5070820 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9220 833 435 0 9003 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 36880 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 27253
/proc/meminfo: memFree=29762800/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=38928 CPUtime=2142.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 103420 0 0 0 214220 8 0 0 20 0 1 0 92190607 64061440 9732 33554432000 4194304 5972588 140732695036224 140732695033528 4965428 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9732 833 435 0 9003 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 38928 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27254
/proc/meminfo: memFree=29762924/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=38928 CPUtime=2202.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 104365 0 0 0 220220 8 0 0 20 0 1 0 92190607 64061440 9732 33554432000 4194304 5972588 140732695036224 140732695033528 5053090 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9732 833 435 0 9003 0
Current children cumulated CPU time: 2202.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 38928 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27255
/proc/meminfo: memFree=29762936/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=38928 CPUtime=2262.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 105301 0 0 0 226220 8 0 0 20 0 1 0 92190607 64061440 9732 33554432000 4194304 5972588 140732695036224 140732695033528 5070704 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9732 833 435 0 9003 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 38928 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27256
/proc/meminfo: memFree=29762664/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=38928 CPUtime=2322.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 106356 0 0 0 232220 8 0 0 20 0 1 0 92190607 64061440 9732 33554432000 4194304 5972588 140732695036224 140732695033528 4966027 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9732 833 435 0 9003 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 38928 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27257
/proc/meminfo: memFree=29762780/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=38928 CPUtime=2382.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 107354 0 0 0 238220 8 0 0 20 0 1 0 92190607 64061440 9732 33554432000 4194304 5972588 140732695036224 140732695033528 5328641 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9732 833 435 0 9003 0
Current children cumulated CPU time: 2382.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 38928 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27265
/proc/meminfo: memFree=29760776/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=38928 CPUtime=2442.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 108389 0 0 0 244220 8 0 0 20 0 1 0 92190607 64061440 9732 33554432000 4194304 5972588 140732695036224 140732695033528 4909702 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9732 833 435 0 9003 0
Current children cumulated CPU time: 2442.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 38928 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27266
/proc/meminfo: memFree=29761392/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=38928 CPUtime=2502.28 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 109409 0 0 0 250220 8 0 0 20 0 1 0 92190607 64061440 9732 33554432000 4194304 5972588 140732695036224 140732695033528 4965428 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9732 833 435 0 9003 0
Current children cumulated CPU time: 2502.28 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 38928 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27266
/proc/meminfo: memFree=29761524/32770624 swapFree=67108860/67108860
[pid=27124] ppid=27121 vsize=62560 memory=38928 CPUtime=2519.99 cores=1,3,5,7
/proc/27124/stat : 27124 (cosoco) R 27121 27124 24168 0 -1 4202496 110406 0 0 0 251991 8 0 0 20 0 1 0 92190607 64061440 9732 33554432000 4194304 5972588 140732695036224 140732695033528 5071289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29519872 140732695045306 140732695045406 140732695045406 140732695048142 0
/proc/27124/statm: 15640 9732 833 435 0 9003 0
Current children cumulated CPU time: 2519.99 s
Current children cumulated vsize: 62560 KiB
Current children cumulated memory: 38928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27124 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.92 s, system=0.09 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): 2520.01
CPU user time (s): 2519.92
CPU system time (s): 0.09
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 62560
Max. memory (cumulated for all children) (KiB): 38928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.92
system time used= 0.09
maximum resident set size= 39004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110458
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= 22
involuntary context switches= 713
# summary of solver processes directly reported to runsolver:
# pid: 27124
# total CPU time (s): 2520.01
# total CPU user time (s): 2519.92
# total CPU system time (s): 0.09
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.42791 second user time and 19.8932 second system time
The end
Begin job on node103 at 2017-08-13 04:09:25 IDJOB=4266447 IDBENCH=138400 IDSOLVER=2655 FILE ID=node103/4266447-1502591024 RUNJOBID= node103-1502567255-24253 PBS_JOBID= 20628288 Free space on /tmp= 61792 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-12.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266447-1502591024/watcher-4266447-1502591024 -o /tmp/evaluation-result-4266447-1502591024/solver-4266447-1502591024 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502567255-24253 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266447-1502591024.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 94ecf309347a79215709974b71377e2d RANDOM SEED=1985314384 node103.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.56 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 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.56 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.56 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: 29349164 kB MemAvailable: 31516032 kB Buffers: 129968 kB Cached: 2332072 kB SwapCached: 0 kB Active: 981996 kB Inactive: 2016340 kB Active(anon): 538624 kB Inactive(anon): 25212 kB Active(file): 443372 kB Inactive(file): 1991128 kB Unevictable: 6344 kB Mlocked: 6344 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2364 kB Writeback: 0 kB AnonPages: 541848 kB Mapped: 44788 kB Shmem: 25228 kB Slab: 121772 kB SReclaimable: 96408 kB SUnreclaim: 25364 kB KernelStack: 3312 kB PageTables: 6128 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 899168 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 473088 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= 61788 MiB End job on node103 at 2017-08-13 04:51:26