| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.08 | 2400.21 |
| Name | MagicHexagon/MagicHexagon-m1-s1/ MagicHexagon-08-0081.xml |
| MD5SUM | e46647acbda97830867cbaf6bce42852 |
| 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 | 225 |
| Number of constraints | 52 |
| Number of domains | 1 |
| Minimum domain size | 169 |
| Maximum domain size | 169 |
| Distribution of domain sizes | [{"size":169,"count":169}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 9 |
| Distribution of variable degrees | [{"degree":0,"count":56},{"degree":4,"count":163},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 169 |
| Distribution of constraint arities | [{"arity":2,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":3},{"arity":169,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 6 |
| Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":45}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.01 c intension x[0][0]<x[0][7] using generic constraint 0.00/0.01 c intension x[0][0]<x[7][14] using generic constraint 0.00/0.01 c intension x[0][0]<x[14][7] using generic constraint 0.00/0.01 c intension x[0][0]<x[14][0] using generic constraint 0.00/0.01 c intension x[0][0]<x[7][0] using generic constraint 0.00/0.01 c intension x[0][7]<x[7][0] using generic constraint 0.19/0.29 c SAT : Variables: 38025 -- Clauses: 3194325 0.19/0.29 c root propagations : 1521 0.19/0.29 c restarts enabled, print stats at every restarts 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c This is cosoco 1.0 -- 0.19/0.29 c 0.19/0.29 c ========================================[ Problem Statistics ]=========================================== 0.19/0.29 c | 0.19/0.29 c | Parse time : 0.24 s 0.19/0.29 c | 0.19/0.29 c | Variables: 225 0.19/0.29 c | Domain Sizes: 169..169 0.19/0.29 c | 0.19/0.29 c | Constraints: 52 0.19/0.29 c | Arity: 2..169 -- Binary: 6 0.19/0.29 c | 0.19/0.29 c | Types: 0.19/0.29 c | (X - Y < k): 6 0.19/0.29 c | All Different: 1 0.19/0.29 c | Sum: 45 0.19/0.29 c | 0.19/0.29 c ========================================================================================================= 0.19/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.19/0.29 c remove useless variable x[0][8] 0.19/0.29 c remove useless variable x[0][9] 0.19/0.29 c remove useless variable x[0][10] 0.19/0.29 c remove useless variable x[0][11] 0.19/0.29 c remove useless variable x[0][12] 0.19/0.29 c remove useless variable x[0][13] 0.19/0.29 c remove useless variable x[0][14] 0.19/0.29 c remove useless variable x[1][9] 0.19/0.29 c remove useless variable x[1][10] 0.19/0.29 c remove useless variable x[1][11] 0.19/0.29 c remove useless variable x[1][12] 0.19/0.29 c remove useless variable x[1][13] 0.19/0.29 c remove useless variable x[1][14] 0.19/0.29 c remove useless variable x[2][10] 0.19/0.29 c remove useless variable x[2][11] 0.19/0.29 c remove useless variable x[2][12] 0.19/0.29 c remove useless variable x[2][13] 0.19/0.29 c remove useless variable x[2][14] 0.19/0.29 c remove useless variable x[3][11] 0.19/0.29 c remove useless variable x[3][12] 0.19/0.29 c remove useless variable x[3][13] 0.19/0.29 c remove useless variable x[3][14] 0.19/0.29 c remove useless variable x[4][12] 0.19/0.29 c remove useless variable x[4][13] 0.19/0.29 c remove useless variable x[4][14] 0.19/0.29 c remove useless variable x[5][13] 0.19/0.29 c remove useless variable x[5][14] 0.19/0.29 c remove useless variable x[6][14] 0.19/0.29 c remove useless variable x[8][14] 0.19/0.29 c remove useless variable x[9][13] 0.19/0.29 c remove useless variable x[9][14] 0.19/0.29 c remove useless variable x[10][12] 0.19/0.29 c remove useless variable x[10][13] 0.19/0.29 c remove useless variable x[10][14] 0.19/0.29 c remove useless variable x[11][11] 0.19/0.29 c remove useless variable x[11][12] 0.19/0.29 c remove useless variable x[11][13] 0.19/0.29 c remove useless variable x[11][14] 0.19/0.29 c remove useless variable x[12][10] 0.19/0.29 c remove useless variable x[12][11] 0.19/0.29 c remove useless variable x[12][12] 0.19/0.29 c remove useless variable x[12][13] 0.19/0.29 c remove useless variable x[12][14] 0.19/0.29 c remove useless variable x[13][9] 0.19/0.29 c remove useless variable x[13][10] 0.19/0.29 c remove useless variable x[13][11] 0.19/0.29 c remove useless variable x[13][12] 0.19/0.29 c remove useless variable x[13][13] 0.19/0.29 c remove useless variable x[13][14] 0.19/0.29 c remove useless variable x[14][8] 0.19/0.29 c remove useless variable x[14][9] 0.19/0.29 c remove useless variable x[14][10] 0.19/0.29 c remove useless variable x[14][11] 0.19/0.29 c remove useless variable x[14][12] 0.19/0.29 c remove useless variable x[14][13] 0.19/0.29 c remove useless variable x[14][14] 0.19/0.30 c 10 10 403 19077 42 9 1 1 0 0.29/0.30 c 20 22 689 29368 42 18 1 3 1 0.29/0.30 c 30 32 799 45203 42 27 1 1 0 0.29/0.30 c 40 42 909 59738 42 36 1 1 0 0.29/0.30 c 50 52 1019 72973 42 45 1 1 0 0.29/0.30 c 60 62 1129 84908 42 54 1 1 0 0.29/0.30 c 70 72 1239 95543 42 63 1 1 0 0.29/0.31 c 80 83 1532 117442 42 72 1 2 1 0.29/0.31 c 90 94 1767 125029 42 82 2 2 1 0.29/0.31 c 100 105 2165 130240 42 92 2 2 1 0.29/0.31 c 101 107 2277 136595 42 93 2 2 1 0.29/0.31 c 110 120 2538 141256 42 102 4 5 3 0.29/0.32 c 120 131 2722 155520 42 111 1 2 1 0.29/0.32 c 130 147 3045 160414 42 120 5 6 4 0.29/0.32 c 140 159 3316 168691 42 122 2 2 1 0.29/0.33 c 150 176 3650 173005 42 132 5 6 4 0.29/0.33 c 160 187 3834 187169 42 141 1 2 1 0.29/0.33 c 170 204 4187 193396 42 150 5 6 4 0.29/0.34 c 180 215 4374 207470 42 159 1 2 1 0.29/0.34 c 190 232 4711 211729 42 163 4 6 4 0.29/0.34 c 200 244 4985 219968 42 165 2 2 1 0.29/0.34 c 210 259 5264 224545 42 171 4 5 4 0.29/0.35 c 211 261 5317 225832 42 172 2 2 1 0.29/0.35 c 220 276 5614 231647 42 180 5 6 4 0.29/0.35 c 230 289 5978 242692 42 183 2 3 1 0.29/0.36 c 240 306 6272 246025 42 192 5 6 5 0.29/0.36 c 250 317 6459 259989 42 201 1 2 1 0.29/0.36 c 260 334 6787 266197 42 206 5 6 5 0.29/0.36 c 270 346 7061 274414 42 208 2 2 1 0.29/0.37 c 280 362 7362 280214 42 215 5 6 5 0.29/0.37 c 290 376 7821 290946 42 216 2 3 2 0.29/0.38 c 300 393 8156 297205 42 225 5 6 4 0.29/0.38 c 310 406 8520 308211 42 227 2 3 1 0.29/0.38 c 320 423 8821 312613 42 232 6 6 5 0.29/0.39 c 330 436 9247 322149 42 232 2 3 2 0.29/0.39 c 332 439 9347 323577 42 234 2 2 1 0.29/0.39 c 340 449 9645 333551 42 241 2 2 1 0.29/0.39 c 350 467 9991 339312 42 249 4 6 4 0.39/0.40 c 360 480 10388 350261 42 251 2 3 1 0.39/0.40 c 370 492 10697 360213 42 261 2 3 2 0.39/0.40 c 380 502 10807 375470 42 270 1 1 0 0.39/0.40 c 390 512 10917 389425 42 279 1 1 0 0.39/0.41 c 400 522 11027 402080 42 288 1 1 0 0.39/0.41 c 410 532 11137 413435 42 297 1 1 0 0.39/0.41 c 420 542 11247 423490 42 306 1 1 0 0.39/0.41 c 430 553 11519 432628 42 315 1 2 1 0.39/0.41 c 440 567 11852 439367 42 320 3 4 3 0.39/0.41 c 450 579 12115 443019 42 330 2 3 2 0.39/0.42 c 460 592 12393 447208 42 336 3 3 2 0.39/0.42 c 465 600 12639 451097 42 340 3 3 2 0.39/0.42 c 470 611 13052 461487 42 341 4 4 3 0.39/0.43 c 480 624 13356 470368 42 345 2 4 2 0.39/0.43 c 490 636 13695 474811 42 351 2 3 2 0.39/0.43 c 500 650 14012 481389 42 357 4 4 3 0.39/0.43 c 510 662 14287 489434 42 359 2 2 1 0.39/0.44 c 520 676 14628 493811 42 361 3 4 3 0.39/0.44 c 530 690 15034 505718 42 363 2 4 2 0.39/0.44 c 540 704 15338 509895 42 370 3 4 3 0.39/0.45 c 550 718 15727 519729 42 379 3 4 3 0.39/0.45 c 560 733 16064 526366 42 383 4 5 4 0.39/0.46 c 570 749 16586 544223 42 383 2 4 2 0.39/0.46 c 580 760 16840 548988 42 393 2 2 1 0.39/0.46 c 590 775 17176 553721 42 401 3 4 3 0.39/0.47 c 600 791 17672 563114 42 410 2 4 2 0.39/0.47 c 610 805 17969 569608 42 420 4 5 4 0.39/0.47 c 611 806 17978 570392 42 420 1 1 0 0.39/0.47 c 620 816 18155 582783 42 428 1 2 1 0.39/0.47 c 630 832 18543 589335 42 431 4 5 3 0.39/0.48 c 640 846 19004 596194 42 434 2 4 3 0.39/0.48 c 650 865 19515 607152 42 437 4 5 4 0.39/0.49 c 660 879 19905 612236 42 446 2 4 2 0.39/0.49 c 670 893 20177 618757 42 456 4 5 4 0.39/0.49 c 680 909 20760 630078 42 463 4 4 3 0.49/0.50 c 690 925 21157 638704 42 466 2 5 3 0.49/0.50 c 700 937 21496 643247 42 472 2 3 2 0.49/0.50 c 710 950 21767 648141 42 477 2 3 2 0.49/0.51 c 720 966 22028 652555 42 485 5 6 4 0.49/0.51 c 730 980 22469 661351 42 493 2 4 2 0.49/0.51 c 740 994 22810 665731 42 495 3 4 3 0.49/0.52 c 750 1011 23397 676544 42 500 2 4 3 0.49/0.52 c 760 1024 23674 683134 42 505 3 4 3 0.49/0.52 c 770 1041 23996 691472 42 507 5 6 5 0.49/0.53 c 771 1045 24185 695502 42 508 4 4 2 0.49/0.53 c 780 1059 24435 701209 42 514 5 6 4 0.49/0.53 c 790 1075 24998 709231 42 521 4 4 3 0.49/0.54 c 800 1089 25275 711826 42 526 3 4 3 0.49/0.54 c 810 1105 25558 717790 42 532 5 6 5 0.49/0.54 c 820 1117 25844 728063 42 534 2 2 1 0.49/0.55 c 830 1131 26147 732219 42 541 3 4 3 0.49/0.55 c 840 1149 26806 743362 42 545 4 4 3 0.49/0.55 c 850 1163 27097 749880 42 550 4 4 3 0.49/0.56 c 860 1177 27537 754860 42 553 2 4 3 0.49/0.56 c 870 1192 27900 759594 42 561 3 4 3 0.49/0.56 c 880 1206 28296 764723 42 568 2 4 2 0.49/0.57 c 890 1222 28705 771262 42 571 4 5 3 0.49/0.57 c 900 1235 29085 778733 42 580 2 4 2 0.49/0.57 c 910 1252 29363 783982 42 584 5 7 5 0.49/0.58 c 920 1268 29950 795546 42 585 2 4 3 0.49/0.58 c 930 1283 30313 800266 42 589 3 5 3 0.49/0.59 c 940 1294 30499 813256 42 598 1 2 1 0.49/0.59 c 947 1305 30848 819521 42 602 3 4 3 0.49/0.59 c 950 1309 30940 820973 42 605 2 2 1 0.49/0.59 c 960 1325 31349 827491 42 608 4 5 3 0.59/0.60 c 970 1339 31835 840288 42 614 2 4 2 0.59/0.60 c 980 1356 32116 844207 42 619 5 7 5 0.59/0.60 c 990 1370 32521 851258 42 628 2 4 2 0.59/0.61 c 1000 1385 32777 853850 42 631 4 5 4 0.59/0.61 c 1010 1398 33166 861224 42 641 2 4 2 0.59/0.61 c 1020 1413 33523 869663 42 650 3 4 3 0.59/0.62 c 1030 1428 34071 878137 42 658 4 4 3 0.59/0.62 c 1040 1443 34377 884641 42 663 4 5 4 0.59/0.62 c 1050 1457 34783 896484 42 665 2 4 2 0.59/0.63 c 1060 1472 35187 903668 42 666 4 5 4 0.59/0.63 c 1070 1484 35473 913911 42 668 2 2 1 0.59/0.64 c 1080 1499 35861 919969 42 675 2 4 2 0.59/0.64 c 1090 1516 36467 930744 42 679 4 4 3 0.59/0.64 c 1100 1531 36813 939157 42 687 3 4 3 0.59/0.65 c 1110 1545 37338 947799 42 696 4 4 3 0.59/0.65 c 1120 1560 37650 954347 42 699 4 5 4 0.59/0.66 c 1130 1574 38161 963018 42 704 4 4 3 0.59/0.66 c 1140 1588 38420 967232 42 705 4 5 4 0.59/0.66 c 1141 1592 38604 970768 42 706 4 4 2 0.59/0.66 c 1150 1606 39146 977534 42 711 4 4 3 0.59/0.67 c 1160 1620 39409 984042 42 721 3 5 3 0.59/0.67 c 1170 1634 39849 991696 42 725 2 4 2 0.59/0.67 c 1180 1650 40228 997659 42 730 4 5 3 0.59/0.68 c 1190 1666 40724 1007019 42 739 2 4 2 0.59/0.68 c 1200 1681 41041 1013647 42 740 5 5 4 0.59/0.68 c 1210 1697 41318 1019202 42 747 5 6 5 0.59/0.69 c 1220 1711 41730 1026990 42 755 2 4 2 0.59/0.69 c 1230 1729 42030 1033199 42 763 6 7 5 0.69/0.70 c 1240 1747 42686 1044326 42 767 4 4 3 0.69/0.70 c 1250 1761 42912 1046225 42 777 4 5 3 0.69/0.70 c 1260 1775 43352 1051171 42 780 2 4 3 0.69/0.71 c 1270 1791 43735 1057667 42 787 4 5 4 0.69/0.71 c 1280 1805 44140 1064709 42 796 2 4 2 0.69/0.71 c 1290 1821 44468 1069363 42 802 4 5 4 0.69/0.72 c 1300 1837 45065 1083140 42 809 2 4 3 0.69/0.72 c 1310 1854 45439 1091085 42 812 4 5 4 0.69/0.73 c 1320 1867 45828 1098456 42 822 2 4 2 0.69/0.73 c 1330 1881 46096 1104972 42 832 4 5 4 0.69/0.73 c 1340 1895 46535 1113619 42 839 2 4 2 0.69/0.74 c 1350 1911 46926 1120403 42 843 5 5 4 0.69/0.74 c 1352 1916 47122 1124174 42 845 2 4 2 0.69/0.74 c 1360 1929 47394 1130613 42 853 5 5 4 0.69/0.74 c 1370 1945 47991 1141869 42 861 4 4 3 0.69/0.75 c 1380 1961 48334 1149852 42 871 4 5 3 0.69/0.75 c 1390 1978 48940 1160623 42 875 4 4 3 0.69/0.76 c 1400 1993 49194 1162791 42 882 5 5 4 0.69/0.76 c 1410 2007 49634 1171638 42 891 2 4 2 0.69/0.77 c 1420 2026 50199 1182114 42 899 3 5 3 0.69/0.77 c 1430 2043 50798 1195648 42 902 2 4 3 0.69/0.77 c 1440 2061 51107 1200570 42 911 5 7 5 0.69/0.78 c 1450 2076 51617 1205721 42 919 4 4 3 0.69/0.78 c 1460 2093 51967 1211555 42 929 4 5 3 0.69/0.79 c 1470 2110 52553 1222417 42 934 2 4 3 0.69/0.79 c 1480 2125 52800 1225196 42 936 5 5 4 0.69/0.79 c 1490 2139 53206 1237024 42 938 2 4 2 0.79/0.80 c 1500 2155 53520 1241453 42 944 5 5 4 0.79/0.83 c 1510 2169 53918 1246682 42 952 2 4 2 0.79/0.83 c 1520 2186 54373 1253151 42 956 2 5 3 0.79/0.83 c 1530 2198 54712 1257783 42 962 2 3 2 0.79/0.83 c 1540 2213 55056 1265427 42 965 2 5 3 0.79/0.83 c 1550 2227 55403 1269800 42 967 3 4 3 0.79/0.83 c 1560 2244 55973 1283949 42 970 2 4 2 0.79/0.83 c 1570 2258 56277 1288074 42 977 3 4 3 0.79/0.83 c 1580 2273 56846 1294979 42 987 4 4 3 0.79/0.83 c 1585 2280 57007 1298193 42 992 2 3 2 0.79/0.83 c 1590 2286 57151 1299849 42 997 2 2 1 0.79/0.83 c 1600 2301 57514 1304577 42 1005 3 4 3 0.79/0.84 c 1610 2317 58110 1318382 42 1012 2 4 3 0.79/0.84 c 1620 2330 58341 1322881 42 1019 3 3 2 0.79/0.84 c 1630 2346 58901 1330892 42 1025 4 4 3 0.79/0.85 c 1640 2360 59145 1334474 42 1031 3 4 3 0.79/0.85 c 1650 2374 59544 1342447 42 1040 2 4 2 0.79/0.86 c 1660 2390 59953 1348957 42 1043 4 5 3 0.79/0.86 c 1670 2405 60471 1361651 42 1049 2 4 3 0.79/0.86 c 1680 2419 60679 1364792 42 1055 4 4 3 0.79/0.87 c 1690 2434 61244 1373203 42 1064 4 4 3 0.79/0.87 c 1700 2449 61566 1381605 42 1074 3 4 3 0.79/0.87 c 1710 2467 62190 1393150 42 1079 2 4 3 0.79/0.88 c 1720 2482 62507 1399714 42 1085 4 5 4 0.79/0.88 c 1730 2496 62957 1408312 42 1091 2 4 2 0.79/0.89 c 1740 2511 63319 1413026 42 1095 3 5 3 0.79/0.89 c 1750 2526 63810 1423786 42 1100 2 4 2 0.79/0.89 c 1760 2541 64207 1430112 42 1104 3 4 3 0.89/0.90 c 1770 2555 64614 1435147 42 1110 2 4 2 0.89/0.90 c 1780 2570 64937 1439423 42 1115 4 5 3 0.89/0.90 c 1790 2588 65581 1450209 42 1118 4 4 3 0.89/0.91 c 1800 2603 65864 1453996 42 1123 4 5 4 0.89/0.91 c 1810 2617 66406 1464090 42 1124 4 4 3 0.89/0.91 c 1820 2632 66662 1466664 42 1130 4 5 4 0.89/0.92 c 1830 2645 67096 1473089 42 1130 4 4 3 0.89/0.92 c 1840 2656 67312 1475616 42 1140 2 2 1 0.89/0.92 c 1841 2661 67531 1479511 42 1141 5 5 2 0.89/0.92 c 1850 2674 67966 1484278 42 1148 4 4 3 0.89/0.93 c 1860 2689 68334 1494003 42 1156 3 4 3 0.89/0.93 c 1870 2706 68916 1500077 42 1160 4 4 3 0.89/0.94 c 1880 2721 69210 1506543 42 1166 4 5 4 0.89/0.94 c 1890 2737 69753 1514568 42 1171 4 4 3 0.89/0.94 c 1900 2753 70091 1522449 42 1180 4 5 3 0.89/0.95 c 1910 2767 70532 1525339 42 1183 4 4 3 0.89/0.95 c 1920 2782 70806 1527891 42 1189 4 5 4 0.89/0.95 c 1930 2796 71224 1532882 42 1194 2 4 2 0.89/0.96 c 1940 2812 71661 1540035 42 1195 4 5 4 0.89/0.96 c 1950 2826 72114 1550098 42 1203 2 4 2 0.89/0.96 c 1960 2842 72484 1559009 42 1207 3 5 4 0.89/0.97 c 1970 2856 72948 1569038 42 1215 2 4 2 0.89/0.97 c 1980 2870 73219 1575535 42 1225 4 5 4 0.89/0.98 c 1990 2886 73826 1586841 42 1231 4 4 3 0.89/0.98 c 2000 2902 74132 1593311 42 1238 5 6 4 0.89/0.98 c 2010 2917 74577 1599466 42 1247 2 4 2 0.89/0.98 c 2020 2933 74911 1606133 42 1254 4 6 4 0.89/0.99 c 2030 2952 75403 1611590 42 1261 4 8 5 0.89/0.99 c 2040 2970 76028 1623039 42 1266 4 4 3 0.99/1.00 c 2050 2985 76288 1627592 42 1272 4 5 4 0.99/1.00 c 2060 2999 76799 1636246 42 1277 4 4 3 0.99/1.00 c 2070 3014 77104 1642484 42 1285 4 5 3 0.99/1.01 c 2080 3030 77711 1653772 42 1292 4 4 3 0.99/1.01 c 2090 3045 77961 1655919 42 1298 5 5 4 0.99/1.01 c 2100 3060 78530 1662762 42 1304 4 4 3 0.99/1.02 c 2110 3077 78906 1670541 42 1314 4 5 3 0.99/1.02 c 2120 3091 79431 1679169 42 1322 4 4 3 0.99/1.02 c 2122 3097 79624 1685330 42 1324 5 5 3 0.99/1.03 c 2130 3110 80139 1692084 42 1331 4 4 3 0.99/1.03 c 2140 3126 80443 1698620 42 1334 5 6 5 0.99/1.04 c 2150 3140 80968 1707257 42 1341 4 4 3 0.99/1.04 c 2160 3155 81274 1713799 42 1342 5 6 5 0.99/1.04 c 2170 3172 81557 1719362 42 1345 6 6 5 0.99/1.05 c 2180 3186 81978 1727082 42 1351 2 4 2 0.99/1.05 c 2190 3200 82353 1733088 42 1358 3 4 3 0.99/1.05 c 2200 3217 82912 1742032 42 1365 2 4 2 0.99/1.06 c 2210 3231 83143 1745244 42 1375 4 5 3 0.99/1.06 c 2220 3248 83739 1755670 42 1378 4 4 3 0.99/1.06 c 2230 3264 84008 1758498 42 1382 5 6 4 0.99/1.07 c 2240 3282 84652 1769307 42 1386 4 4 3 0.99/1.07 c 2250 3298 84955 1772689 42 1389 4 6 4 0.99/1.08 c 2260 3314 85522 1785980 42 1390 4 4 3 0.99/1.08 c 2270 3330 85922 1792262 42 1397 4 5 4 0.99/1.08 c 2280 3344 86373 1797128 42 1404 4 4 3 0.99/1.08 c 2290 3358 86616 1800269 42 1414 4 5 4 0.99/1.09 c 2300 3372 87078 1805055 42 1423 4 4 3 0.99/1.09 c 2310 3389 87437 1810951 42 1425 4 5 4 0.99/1.10 c 2320 3406 88019 1817121 42 1431 4 4 3 0.99/1.10 c 2330 3420 88261 1821603 42 1441 4 5 3 0.99/1.10 c 2340 3435 88743 1829253 42 1445 4 4 3 0.99/1.10 c 2350 3451 89009 1832512 42 1454 5 6 4 1.09/1.11 c 2360 3466 89537 1837620 42 1463 4 4 3 1.09/1.11 c 2370 3483 89822 1841778 42 1473 5 6 4 1.09/1.11 c 2380 3497 90255 1849439 42 1478 2 4 2 1.09/1.12 c 2390 3514 90679 1855936 42 1486 4 5 4 1.09/1.12 c 2400 3531 91299 1864978 42 1489 4 4 3 1.09/1.13 c 2410 3547 91646 1869609 42 1496 4 5 4 1.09/1.13 c 2420 3561 92087 1872548 42 1501 4 4 3 1.09/1.13 c 2430 3577 92401 1877480 42 1509 4 6 4 1.09/1.13 c 2431 3581 92573 1878647 42 1510 4 4 2 1.09/1.14 c 2440 3595 92827 1882049 42 1515 4 5 4 1.09/1.14 c 2450 3608 93245 1884883 42 1516 4 4 3 1.09/1.14 c 2460 3623 93567 1889483 42 1519 3 5 4 1.09/1.15 c 2470 3642 94026 1894757 42 1522 4 8 6 1.09/1.15 c 2480 3652 94229 1927148 42 1531 1 1 0 1.09/1.15 c 2490 3668 94553 1932050 42 1539 6 6 5 1.09/1.16 c 2500 3683 95020 1940882 42 1546 2 4 2 1.09/1.16 c 2510 3699 95420 1947184 42 1552 4 5 4 1.09/1.16 c 2520 3716 95921 1952856 42 1559 4 8 5 1.09/1.16 c 2530 3726 96111 1982311 42 1568 1 1 0 1.09/1.17 c 2540 3742 96457 1993932 42 1575 1 6 5 1.09/1.17 c 2550 3757 97023 2000783 42 1583 4 4 3 1.09/1.17 c 2560 3772 97295 2004230 42 1591 5 5 4 1.09/1.18 c 2570 3786 97700 2011949 42 1598 2 4 2 1.09/1.18 c 2580 3802 98032 2015356 42 1601 4 5 4 1.09/1.19 c 2590 3824 98525 2020510 42 1605 8 8 7 1.09/1.19 c 2600 3846 99024 2025678 42 1608 8 8 7 1.09/1.19 c 2610 3862 99569 2036064 42 1610 4 4 3 1.09/1.20 c 2620 3879 99823 2039687 42 1613 6 7 5 1.09/1.20 c 2630 3901 100349 2044874 42 1615 8 8 7 1.09/1.20 c 2640 3911 100545 2077145 42 1624 1 1 0 1.19/1.21 c 2650 3929 100987 2087543 42 1634 5 6 4 1.19/1.21 c 2660 3943 101421 2090404 42 1644 4 4 3 1.19/1.21 c 2670 3960 101810 2099419 42 1654 4 5 3 1.19/1.22 c 2680 3979 102440 2108979 42 1664 4 8 4 1.19/1.22 c 2690 3998 102900 2114355 42 1667 4 8 6 1.19/1.23 c 2700 4014 103206 2118561 42 1669 6 6 5 1.19/1.23 c 2710 4037 103710 2123707 42 1673 8 8 7 1.19/1.23 c 2720 4061 104252 2128877 42 1676 8 8 7 1.19/1.24 c 2730 4082 104880 2137940 42 1685 4 8 5 1.19/1.24 c 2740 4101 105418 2143156 42 1692 4 8 6 1.19/1.25 c 2750 4124 106167 2152059 42 1697 4 8 6 1.19/1.25 c 2760 4149 106883 2157763 42 1700 8 8 7 1.19/1.26 c 2770 4172 107394 2162908 42 1704 8 8 7 1.19/1.26 c 2771 4180 107731 2167578 42 1705 8 8 4 1.19/1.27 c 2780 4200 108429 2180663 42 1705 2 8 6 1.19/1.27 c 2790 4211 108642 2183297 42 1715 2 2 1 1.19/1.27 c 2800 4226 109111 2189514 42 1721 2 5 3 1.19/1.27 c 2810 4241 109367 2192270 42 1723 5 5 4 1.19/1.28 c 2820 4263 109979 2197760 42 1725 8 8 7 1.19/1.28 c 2830 4279 110290 2202815 42 1729 6 6 5 1.19/1.29 c 2840 4300 110927 2211876 42 1738 4 8 5 1.19/1.29 c 2850 4319 111599 2224829 42 1741 4 5 3 1.19/1.30 c 2860 4334 111856 2228439 42 1745 5 5 4 1.29/1.30 c 2870 4351 112501 2240559 42 1748 4 4 3 1.29/1.30 c 2880 4366 112870 2247694 42 1753 2 5 3 1.29/1.31 c 2890 4381 113259 2253184 42 1760 4 5 3 1.29/1.31 c 2900 4398 113829 2262048 42 1767 2 4 3 1.29/1.32 c 2910 4411 114075 2266667 42 1772 2 3 2 1.29/1.32 c 2920 4425 114526 2271498 42 1779 4 4 3 1.29/1.32 c 2930 4439 114769 2275078 42 1782 3 4 3 1.29/1.32 c 2940 4453 115254 2283195 42 1789 4 4 3 1.29/1.33 c 2950 4467 115477 2287570 42 1795 3 4 3 1.29/1.33 c 2960 4484 116059 2293547 42 1800 4 4 3 1.29/1.33 c 2970 4499 116385 2301885 42 1806 3 4 3 1.29/1.34 c 2980 4517 117104 2312171 42 1809 4 4 3 1.29/1.34 c 2990 4532 117405 2318624 42 1815 4 5 4 1.29/1.35 c 3000 4552 118109 2333060 42 1819 2 8 4 1.29/1.36 c 3010 4569 118620 2341490 42 1821 4 5 4 1.29/1.36 c 3020 4583 119125 2346210 42 1831 4 4 3 1.29/1.36 c 3030 4599 119461 2352736 42 1839 4 5 4 1.29/1.37 c 3040 4613 120004 2360822 42 1847 4 4 3 1.29/1.37 c 3050 4629 120324 2365583 42 1850 4 5 4 1.29/1.37 c 3060 4647 120957 2374644 42 1858 4 8 4 1.29/1.38 c 3070 4664 121553 2385039 42 1862 4 4 3 1.29/1.38 c 3080 4679 121837 2388615 42 1864 4 5 4 1.29/1.39 c 3090 4702 122595 2397514 42 1869 4 8 6 1.29/1.39 c 3100 4724 123099 2402657 42 1873 8 8 7 1.29/1.39 c 3110 4738 123550 2407487 42 1880 4 4 3 1.39/1.40 c 3120 4752 123814 2411454 42 1881 4 5 4 1.39/1.40 c 3130 4767 124128 2415493 42 1889 4 5 4 1.39/1.40 c 3140 4781 124585 2422671 42 1896 2 4 2 1.39/1.40 c 3142 4788 124740 2425105 42 1898 6 6 4 1.39/1.41 c 3150 4808 125234 2430221 42 1902 8 8 7 1.39/1.41 c 3160 4827 125935 2439354 42 1906 4 4 3 1.39/1.42 c 3170 4841 126205 2445915 42 1916 3 5 3 1.39/1.42 c 3180 4855 126646 2448741 42 1918 4 4 3 1.39/1.42 c 3190 4871 127001 2455416 42 1920 4 5 4 1.39/1.43 c 3200 4890 127511 2460947 42 1927 4 8 5 1.39/1.43 c 3210 4910 128137 2469880 42 1933 4 8 5 1.39/1.43 c 3220 4924 128397 2474436 42 1939 4 5 4 1.39/1.44 c 3230 4946 128895 2479572 42 1944 8 8 7 1.39/1.44 c 3240 4965 129438 2484740 42 1951 4 8 6 1.39/1.44 c 3250 4988 129945 2489883 42 1955 8 8 7 1.39/1.45 c 3260 5010 130555 2495316 42 1959 8 8 7 1.39/1.45 c 3270 5035 131284 2500931 42 1962 8 8 7 1.39/1.46 c 3280 5056 131995 2513391 42 1966 2 8 4 1.39/1.46 c 3290 5073 132348 2517999 42 1976 4 6 4 1.39/1.47 c 3300 5088 132881 2526463 42 1981 3 4 3 1.39/1.47 c 3310 5103 133179 2531282 42 1986 4 5 4 1.39/1.48 c 3320 5120 133791 2541925 42 1988 4 4 3 1.39/1.48 c 3330 5135 134112 2549366 42 1990 4 5 4 1.39/1.49 c 3340 5156 134778 2555965 42 1994 4 8 6 1.39/1.49 c 3350 5170 135035 2560323 42 2004 4 5 4 1.39/1.49 c 3360 5184 135492 2567500 42 2011 2 4 2 1.49/1.50 c 3370 5206 136062 2581784 42 2016 3 7 4 1.49/1.50 c 3380 5226 136665 2590743 42 2021 4 8 5 1.49/1.51 c 3390 5241 136956 2597207 42 2027 4 5 4 1.49/1.51 c 3400 5255 137430 2602412 42 2029 4 4 3 1.49/1.51 c 3410 5271 137735 2608829 42 2033 5 6 4 1.49/1.52 c 3420 5292 138365 2617887 42 2042 4 8 5 1.49/1.52 c 3430 5310 138910 2624546 42 2052 4 8 4 1.49/1.53 c 3440 5325 139443 2633009 42 2057 3 4 3 1.49/1.53 c 3450 5341 139781 2639640 42 2061 4 6 4 1.49/1.53 c 3460 5355 140261 2644815 42 2063 4 4 3 1.49/1.53 c 3470 5370 140509 2647921 42 2073 4 6 4 1.49/1.54 c 3480 5393 141260 2656819 42 2078 4 8 6 1.49/1.54 c 3490 5417 141798 2661985 42 2081 8 8 7 1.49/1.55 c 3500 5436 142329 2667217 42 2082 5 8 6 1.49/1.55 c 3510 5453 142615 2669879 42 2090 5 6 4 1.49/1.55 c 3520 5472 143168 2675040 42 2097 5 8 6 1.49/1.56 c 3530 5495 143675 2680181 42 2101 8 8 7 1.49/1.56 c 3540 5517 144278 2685613 42 2105 8 8 7 1.49/1.57 c 3550 5538 144908 2694670 42 2114 4 8 5 1.49/1.57 c 3551 5546 145303 2700432 42 2115 8 8 4 1.49/1.57 c 3560 5562 145662 2706078 42 2122 5 7 5 1.49/1.58 c 3570 5584 146431 2720550 42 2125 2 8 4 1.49/1.59 c 3580 5602 146945 2729518 42 2126 5 6 4 1.49/1.59 c 3590 5616 147488 2737533 42 2136 4 4 3 1.49/1.59 c 3600 5632 147814 2743039 42 2144 4 6 4 1.59/1.60 c 3610 5655 148565 2751936 42 2149 4 8 6 1.59/1.60 c 3620 5674 149116 2757144 42 2156 5 8 6 1.59/1.61 c 3630 5696 149719 2762575 42 2160 8 8 7 1.59/1.62 c 3640 5716 150476 2778229 42 2167 2 8 2 1.59/1.62 c 3650 5731 150863 2784502 42 2173 4 5 4 1.59/1.62 c 3660 5746 151419 2791193 42 2175 4 4 3 1.59/1.63 c 3670 5761 151680 2794457 42 2181 5 5 4 1.59/1.63 c 3680 5775 152110 2800492 42 2190 2 4 2 1.59/1.63 c 3690 5791 152436 2806747 42 2199 4 5 3 1.59/1.64 c 3700 5813 153204 2821124 42 2201 2 8 4 1.59/1.64 c 3710 5829 153530 2825331 42 2207 5 6 4 1.59/1.65 c 3720 5847 154167 2834384 42 2217 4 8 4 1.59/1.65 c 3730 5866 154862 2847116 42 2221 4 5 3 1.59/1.66 c 3740 5881 155140 2850365 42 2222 5 5 4 1.59/1.66 c 3750 5897 155523 2855655 42 2227 3 6 4 1.59/1.67 c 3760 5916 156041 2861140 42 2234 4 8 5 1.59/1.67 c 3770 5932 156556 2870579 42 2241 2 4 3 1.59/1.67 c 3780 5949 157165 2881218 42 2243 4 4 3 1.59/1.68 c 3790 5963 157421 2887733 42 2253 4 5 3 1.59/1.68 c 3800 5977 157892 2892935 42 2255 4 4 3 1.59/1.68 c 3810 5993 158199 2899395 42 2260 5 6 4 1.59/1.69 c 3820 6010 158810 2909062 42 2264 4 4 3 1.59/1.69 c 3830 6026 159122 2915588 42 2268 5 6 5 1.59/1.69 c 3840 6039 159532 2921744 42 2277 2 4 2 1.69/1.70 c 3850 6055 159860 2926444 42 2284 5 6 5 1.69/1.70 c 3860 6069 160337 2931616 42 2286 4 4 3 1.69/1.70 c 3870 6085 160632 2937997 42 2293 5 6 5 1.69/1.71 c 3880 6107 161141 2943134 42 2298 8 8 7 1.69/1.71 c 3890 6122 161671 2951594 42 2303 3 4 3 1.69/1.71 c 3900 6139 162029 2958304 42 2312 4 6 4 1.69/1.72 c 3910 6156 162638 2968943 42 2314 4 4 3 1.69/1.72 c 3920 6171 162897 2972199 42 2321 5 5 4 1.69/1.73 c 3930 6189 163547 2984879 42 2324 4 5 3 1.69/1.73 c 3940 6207 163952 2991640 42 2327 4 6 5 1.69/1.74 c 3950 6222 164505 2998330 42 2329 4 4 3 1.69/1.74 c 3960 6238 164785 3002120 42 2335 5 6 5 1.69/1.74 c 3970 6252 165256 3007322 42 2337 4 4 3 1.69/1.75 c 3980 6268 165567 3011711 42 2341 4 6 4 1.69/1.75 c 3990 6291 166085 3016853 42 2345 8 8 7 1.69/1.75 c 4000 6305 166562 3022025 42 2347 4 4 3 1.69/1.75 c 4001 6309 166696 3023534 42 2348 4 4 2 1.69/1.76 c 4010 6329 167326 3032491 42 2356 4 8 5 1.69/1.76 c 4020 6345 167889 3042141 42 2359 4 4 3 1.69/1.77 c 4030 6361 168194 3046469 42 2366 5 6 4 1.69/1.77 c 4040 6380 168712 3051954 42 2373 4 8 5 1.69/1.77 c 4050 6399 169262 3057115 42 2380 4 8 6 1.69/1.78 c 4060 6421 169771 3062252 42 2385 8 8 7 1.69/1.78 c 4070 6446 170508 3067858 42 2389 8 8 7 1.69/1.79 c 4080 6469 171026 3073000 42 2393 8 8 7 1.69/1.79 c 4090 6483 171511 3081111 42 2400 4 4 3 1.69/1.79 c 4100 6498 171772 3084400 42 2406 4 5 4 1.79/1.80 c 4110 6513 172325 3091090 42 2408 4 4 3 1.79/1.80 c 4120 6529 172594 3093741 42 2412 5 6 4 1.79/1.80 c 4130 6543 173079 3101852 42 2419 4 4 3 1.79/1.81 c 4140 6559 173393 3106336 42 2422 4 6 4 1.79/1.81 c 4150 6576 174056 3115401 42 2427 4 4 3 1.79/1.81 c 4160 6590 174291 3117581 42 2433 4 5 4 1.79/1.82 c 4170 6604 174831 3125580 42 2443 4 4 3 1.79/1.82 c 4180 6619 175092 3129022 42 2448 5 5 4 1.79/1.82 c 4190 6639 175731 3135705 42 2453 4 8 5 1.79/1.83 c 4200 6655 176075 3141384 42 2461 4 5 3 1.79/1.83 c 4210 6676 176713 3150381 42 2470 4 8 5 1.79/1.84 c 4220 6695 177231 3155866 42 2477 4 8 5 1.79/1.84 c 4230 6714 177781 3161027 42 2484 4 8 6 1.79/1.84 c 4240 6736 178290 3166164 42 2489 8 8 7 1.79/1.85 c 4250 6761 179027 3171768 42 2494 8 8 7 1.79/1.85 c 4260 6779 179621 3180811 42 2504 4 8 4 1.79/1.86 c 4270 6802 180139 3185953 42 2508 8 8 7 1.79/1.86 c 4280 6822 180795 3192694 42 2514 4 8 5 1.79/1.87 c 4290 6837 181049 3197258 42 2520 4 5 4 1.79/1.87 c 4300 6856 181519 3202450 42 2523 4 8 6 1.79/1.87 c 4310 6873 181853 3206732 42 2525 6 7 6 1.79/1.88 c 4320 6890 182544 3218567 42 2528 4 4 3 1.79/1.88 c 4330 6907 182880 3224539 42 2537 5 6 5 1.79/1.89 c 4340 6928 183518 3233536 42 2546 4 8 5 1.79/1.89 c 4350 6950 184031 3238666 42 2549 8 8 7 1.79/1.89 c 4360 6972 184554 3243836 42 2552 4 8 6 1.89/1.90 c 4370 6991 185104 3248997 42 2559 4 8 6 1.89/1.90 c 4380 7013 185620 3254121 42 2563 8 8 7 1.89/1.91 c 4390 7038 186357 3259725 42 2568 8 8 7 1.89/1.91 c 4400 7058 186987 3268627 42 2574 4 8 5 1.89/1.91 c 4410 7074 187266 3271459 42 2576 5 6 5 1.89/1.92 c 4420 7087 187725 3276616 42 2577 4 4 3 1.89/1.92 c 4430 7103 188125 3282482 42 2583 4 5 4 1.89/1.92 c 4440 7120 188627 3288074 42 2590 4 8 5 1.89/1.93 c 4450 7136 188931 3292703 42 2600 6 7 5 1.89/1.93 c 4460 7156 189587 3299444 42 2606 4 8 5 1.89/1.93 c 4470 7171 189833 3302560 42 2616 5 6 4 1.89/1.94 c 4480 7193 190356 3307730 42 2619 4 8 6 1.89/1.94 c 4490 7212 190909 3312923 42 2626 4 8 6 1.89/1.94 c 4493 7222 191269 3317838 42 2627 8 8 6 1.89/1.95 c 4500 7236 191604 3322583 42 2632 5 7 5 1.89/1.95 c 4510 7256 192218 3331471 42 2637 4 8 5 1.89/1.96 c 4520 7272 192539 3336116 42 2645 4 6 4 1.89/1.96 c 4530 7296 193084 3341281 42 2648 8 8 7 1.89/1.96 c 4540 7315 193637 3346474 42 2655 4 8 6 1.89/1.97 c 4550 7338 194148 3351618 42 2659 8 8 7 1.89/1.97 c 4560 7361 194666 3356736 42 2663 8 8 7 1.89/1.98 c 4570 7386 195405 3362470 42 2666 8 8 7 1.89/1.98 c 4580 7407 196046 3371459 42 2675 4 8 5 1.89/1.99 c 4590 7428 196677 3380456 42 2684 4 8 5 1.89/1.99 c 4600 7450 197425 3390098 42 2687 4 8 6 1.98/2.00 c 4610 7465 197699 3394651 42 2693 4 5 4 1.98/2.00 c 4620 7487 198199 3399793 42 2697 8 8 7 1.98/2.00 c 4630 7506 198742 3404956 42 2704 4 8 6 1.98/2.01 c 4640 7529 199253 3410100 42 2708 8 8 7 1.98/2.01 c 4650 7547 199811 3414661 42 2715 4 8 5 1.98/2.02 c 4660 7568 200442 3423660 42 2724 4 8 5 1.98/2.02 c 4670 7593 201172 3429266 42 2729 8 8 7 1.98/2.03 c 4680 7612 201715 3434429 42 2736 4 8 6 1.98/2.03 c 4690 7635 202516 3444244 42 2739 4 8 5 1.98/2.04 c 4700 7651 202796 3448191 42 2743 5 6 5 1.98/2.04 c 4710 7676 203536 3453925 42 2746 8 8 7 1.98/2.04 c 4720 7690 204055 3459123 42 2748 4 4 3 1.98/2.05 c 4730 7705 204341 3463742 42 2749 5 6 5 1.98/2.05 c 4740 7722 204710 3471684 42 2756 5 6 5 1.98/2.06 c 4750 7744 205458 3481326 42 2759 4 8 6 1.98/2.06 c 4760 7758 205710 3485823 42 2769 4 5 3 1.98/2.07 c 4770 7776 206268 3490384 42 2776 4 8 5 1.98/2.07 c 4780 7796 206939 3495533 42 2778 8 8 7 1.98/2.07 c 4790 7813 207265 3499141 42 2786 6 7 5 1.98/2.08 c 4800 7833 207936 3504290 42 2788 8 8 7 1.98/2.08 c 4810 7850 208268 3508727 42 2796 6 7 5 1.98/2.09 c 4820 7875 208998 3514333 42 2801 8 8 7 1.98/2.09 c 4830 7897 209590 3518906 42 2804 8 8 7 2.08/2.10 c 4840 7916 210140 3524371 42 2811 4 8 5 2.08/2.10 c 4850 7936 210761 3528929 42 2813 8 8 7 2.08/2.11 c 4860 7954 211156 3536273 42 2820 5 7 5 2.08/2.11 c 4870 7975 211800 3542012 42 2824 8 8 7 2.08/2.11 c 4880 7994 212357 3547205 42 2831 4 8 6 2.08/2.12 c 4890 8015 213015 3553001 42 2833 8 8 7 2.08/2.12 c 4900 8031 213356 3560111 42 2839 5 6 5 2.08/2.13 c 4910 8053 213894 3565222 42 2844 8 8 7 2.08/2.13 c 4920 8073 214484 3570688 42 2847 8 8 7 2.08/2.14 c 4930 8098 215227 3576418 42 2852 8 8 7 2.08/2.14 c 4940 8119 215954 3581893 42 2854 8 8 7 2.08/2.15 c 4950 8136 216279 3585565 42 2862 6 7 5 2.08/2.15 c 4960 8158 216871 3590138 42 2865 8 8 7 2.08/2.16 c 4970 8181 217672 3599953 42 2868 4 8 5 2.08/2.16 c 4980 8197 217946 3602108 42 2876 5 6 4 2.08/2.17 c 4990 8217 218567 3606666 42 2878 8 8 7 2.08/2.18 c 5035 8275 219398 3621528 42 2890 5 7 6 2.29/2.32 c 5631 9103 237659 3768700 42 2934 2 8 6 2.38/2.49 c 6286 9987 252602 3956722 42 2968 2 8 6 2.58/2.68 c 7006 10959 268749 4167383 42 2995 2 8 6 2.78/2.87 c 7798 12172 292819 4266274 42 3011 2 9 7 2.98/3.06 c 8669 13220 306509 4514582 42 3036 2 7 4 3.18/3.30 c 9627 14658 335328 4670725 42 3058 2 9 7 3.48/3.55 c 10680 16312 367859 4786533 42 3077 2 9 7 3.78/3.81 c 11838 17695 385814 5147311 42 3111 3 8 6 3.98/4.09 c 13111 19574 420095 5340396 42 3131 2 9 7 4.39/4.40 c 14511 21591 457530 5557995 42 3155 2 8 7 4.68/4.76 c 16051 23973 503497 5751205 42 3177 2 9 7 5.18/5.22 c 17745 26504 555535 6054700 42 3189 3 9 7 5.68/5.71 c 19608 29239 609964 6425769 42 3210 2 9 7 6.18/6.27 c 21657 31850 647996 7124591 42 3247 2 8 6 6.78/6.83 c 23910 35203 713383 7516442 42 3269 2 9 7 7.28/7.32 c 26388 39044 784167 7738161 42 3282 3 9 7 7.88/7.98 c 29113 42912 861545 8315298 42 3300 2 9 7 8.58/8.67 c 32110 47105 936341 8854988 42 3330 2 9 7 9.48/9.50 c 35406 52238 1039282 9409751 42 3352 3 9 7 10.58/10.61 c 39031 57498 1150428 10783118 42 3370 3 9 7 11.38/11.42 c 43018 63422 1257422 11212160 42 3381 3 9 7 12.68/12.70 c 47403 69934 1390315 12917589 42 3395 3 9 7 13.69/13.79 c 52226 76756 1513263 13728411 42 3414 2 9 7 14.89/14.93 c 57531 84578 1654818 14440684 42 3443 2 9 7 16.60/16.61 c 63366 93000 1825561 16235099 42 3469 2 9 7 17.99/18.05 c 69784 102386 1998134 17201336 42 3501 2 9 7 19.69/19.74 c 76843 110867 2108351 19665429 42 3543 3 8 6 22.10/22.14 c 84607 122388 2354905 22732501 42 3560 3 9 7 23.99/24.09 c 93147 135074 2592922 23993041 42 3578 2 9 7 26.89/26.92 c 102541 149067 2889004 27593912 42 3583 3 9 7 29.29/29.38 c 112874 163367 3148316 30034232 42 3620 2 9 7 32.59/32.68 c 124240 180022 3493808 33812775 42 3645 2 9 7 35.99/36.03 c 136742 197897 3840555 37846690 42 3673 2 9 7 39.19/39.26 c 150494 216990 4187409 40562949 42 3705 2 9 7 43.69/43.78 c 165621 239199 4644769 44976123 42 3732 3 9 8 47.79/47.82 c 182260 259161 4901238 51334296 42 3785 3 8 6 52.79/52.85 c 200562 285362 5415722 56051352 42 3816 2 9 8 57.98/58.08 c 220694 313901 5963238 60833067 42 3848 2 9 8 64.08/64.16 c 242839 345746 6583049 66877176 42 3861 3 10 8 70.28/70.30 c 267198 380318 7217137 72349753 42 3886 2 10 8 77.68/77.77 c 293992 418986 7993201 80403343 42 3910 2 9 7 85.89/85.94 c 323465 462732 8853372 87933930 42 3954 2 10 8 94.48/94.53 c 355885 509453 9740070 95735631 42 3984 2 10 8 104.08/104.14 c 391547 552884 10318312 110753758 42 4015 3 9 6 114.58/114.61 c 430775 610449 11420028 120462114 42 4051 2 10 8 126.38/126.41 c 473925 674314 12653687 132512088 42 4092 2 10 8 140.78/140.87 c 521390 732902 13443082 156632060 42 4153 3 9 7 155.57/155.61 c 573601 811700 14999334 170660406 42 4188 2 10 8 171.47/171.50 c 631033 897494 16677934 185677183 42 4201 2 10 8 190.28/190.35 c 694208 998538 18770693 201821083 42 4248 2 10 8 203.97/204.03 c 763700 1087004 19974975 224462243 42 4427 2 26 22 217.97/218.09 c 840141 1179286 21072220 251256352 42 4582 1 26 23 244.28/244.34 c 924226 1283973 22514723 293338697 42 4644 1 9 7 262.07/262.12 c 1016719 1400044 24046962 324316134 42 4850 2 26 23 285.27/285.39 c 1118461 1546852 26728903 341989816 42 4895 1 10 8 311.06/311.14 c 1230377 1706886 29618516 362022793 42 4939 1 10 8 339.76/339.88 c 1353484 1881249 32721152 386557427 42 5050 1 26 8 368.16/368.26 c 1488901 2046288 34752522 441135651 42 5226 1 26 21 420.96/421.07 c 1637859 2235388 37481135 525994629 42 5297 1 9 7 452.36/452.44 c 1801712 2433892 39844835 590862289 42 5369 14 26 25 538.45/538.51 c 1981950 2687236 44817491 751407848 42 5469 2 23 21 609.75/609.85 c 2180211 2940847 48480654 863548190 42 5571 1 11 7 663.74/663.82 c 2398298 3210929 52031360 967106877 42 5701 2 26 20 724.04/724.19 c 2638193 3549090 58289636 1026725306 42 5751 1 10 8 812.74/812.82 c 2902077 3919720 65124470 1140807524 42 5804 2 10 7 953.33/953.40 c 3192349 4329277 73206315 1398082007 42 5915 13 23 22 1066.82/1066.94 c 3511648 4741884 79175064 1576970828 42 5976 1 12 8 1117.54/1117.67 c 3862876 5186100 85525705 1632364665 42 6134 2 26 21 1303.12/1303.20 c 4249226 5736548 96457260 1954697490 42 6260 2 23 17 1447.01/1447.12 c 4674211 6283451 104252380 2213108115 42 6349 1 12 9 1580.30/1580.42 c 5141694 6883793 113083575 2469668048 42 6492 1 26 15 1729.90/1730.00 c 5655925 7544528 123348835 2734743176 42 6632 2 12 10 1989.08/1989.27 c 6221579 8344679 139706206 3077163985 42 6819 2 23 20 2132.07/2132.24 c 6843798 9112354 150321083 3333909355 42 6933 1 12 10
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242200-1500655403/watcher-4242200-1500655403 -o /tmp/evaluation-result-4242200-1500655403/solver-4242200-1500655403 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500648176-9863 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242200-1500655403.xml pid=10688 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.09 2.04 1.99 2/242 10691 /proc/meminfo: memFree=32043792/32770624 swapFree=5952/188036 [pid=10691] ppid=10688 vsize=27512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 1121 0 0 0 0 0 0 0 20 0 1 0 810017 28172288 939 33554432000 4194304 5970956 140723986625488 140723986619864 5193504 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 6878 939 736 434 0 242 0 [startup+0.100183 s] /proc/loadavg: 2.09 2.04 1.99 2/242 10691 /proc/meminfo: memFree=32043792/32770624 swapFree=5952/188036 [pid=10691] ppid=10688 vsize=56800 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 6556 0 0 0 8 1 0 0 20 0 1 0 810017 58163200 7900 33554432000 4194304 5970956 140723986625488 140723986622312 5279833 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 14200 7900 786 434 0 7564 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 56800 [startup+0.200405 s] /proc/loadavg: 2.09 2.04 1.99 2/242 10691 /proc/meminfo: memFree=32043792/32770624 swapFree=5952/188036 [pid=10691] ppid=10688 vsize=102288 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 14116 0 0 0 16 3 0 0 20 0 1 0 810017 104742912 19062 33554432000 4194304 5970956 140723986625488 140723986622312 5279679 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 25572 19062 786 434 0 18936 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 102288 [startup+0.300351 s] /proc/loadavg: 2.09 2.04 1.99 2/242 10691 /proc/meminfo: memFree=32043792/32770624 swapFree=5952/188036 [pid=10691] ppid=10688 vsize=188112 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 22349 0 0 0 24 5 0 0 20 0 1 0 810017 192626688 32407 33554432000 4194304 5970956 140723986625488 140723986622904 139863877172320 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47028 32407 800 434 0 40392 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 188112 [startup+0.700203 s] /proc/loadavg: 2.09 2.04 1.99 2/242 10691 /proc/meminfo: memFree=32043792/32770624 swapFree=5952/188036 [pid=10691] ppid=10688 vsize=188112 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 22376 0 0 0 64 5 0 0 20 0 1 0 810017 192626688 32407 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47028 32407 800 434 0 40392 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 188112 [startup+1.50019 s] /proc/loadavg: 2.09 2.04 1.99 3/243 10692 /proc/meminfo: memFree=31917260/32770624 swapFree=5952/188012 [pid=10691] ppid=10688 vsize=188112 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 22378 0 0 0 144 5 0 0 20 0 1 0 810017 192626688 32407 33554432000 4194304 5970956 140723986625488 140723986622824 5039204 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47028 32407 800 434 0 40392 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 188112 [startup+3.10021 s] /proc/loadavg: 2.08 2.04 1.99 3/243 10692 /proc/meminfo: memFree=31916268/32770624 swapFree=5952/188012 [pid=10691] ppid=10688 vsize=188244 CPUtime=3.08 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 23571 0 0 0 303 5 0 0 20 0 1 0 810017 192761856 32448 33554432000 4194304 5970956 140723986625488 140723986622824 4976687 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32448 802 434 0 40425 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 188244 [startup+6.3002 s] /proc/loadavg: 2.08 2.04 1.99 3/243 10692 /proc/meminfo: memFree=31916728/32770624 swapFree=5952/188012 [pid=10691] ppid=10688 vsize=188244 CPUtime=6.28 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 24854 0 0 0 623 5 0 0 20 0 1 0 810017 192761856 32448 33554432000 4194304 5970956 140723986625488 140723986622824 5250394 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32448 802 434 0 40425 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 188244 [startup+12.7002 s] /proc/loadavg: 2.15 2.06 2.00 3/243 10692 /proc/meminfo: memFree=31916404/32770624 swapFree=5952/188012 [pid=10691] ppid=10688 vsize=188244 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 26040 0 0 0 1263 5 0 0 20 0 1 0 810017 192761856 32450 33554432000 4194304 5970956 140723986625488 140723986622824 4974299 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32450 802 434 0 40425 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 188244 [startup+25.5002 s] /proc/loadavg: 2.20 2.07 2.00 3/243 10692 /proc/meminfo: memFree=31916492/32770624 swapFree=5952/188036 [pid=10691] ppid=10688 vsize=188244 CPUtime=25.49 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 28364 0 0 0 2543 6 0 0 20 0 1 0 810017 192761856 32451 33554432000 4194304 5970956 140723986625488 140723986622824 5039183 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32451 802 434 0 40425 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 188244 [startup+51.1003 s] /proc/loadavg: 2.13 2.07 2.00 3/243 10692 /proc/meminfo: memFree=31916376/32770624 swapFree=5952/188084 [pid=10691] ppid=10688 vsize=188244 CPUtime=51.08 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 29672 0 0 0 5102 6 0 0 20 0 1 0 810017 192761856 32455 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32455 802 434 0 40425 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 188244 [startup+102.3 s] /proc/loadavg: 2.05 2.06 2.00 3/243 10693 /proc/meminfo: memFree=31915320/32770624 swapFree=5952/188172 [pid=10691] ppid=10688 vsize=188244 CPUtime=102.28 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 30761 0 0 0 10222 6 0 0 20 0 1 0 810017 192761856 32465 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32465 802 434 0 40425 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 188244 [startup+162.3 s] /proc/loadavg: 2.02 2.04 2.00 3/243 10694 /proc/meminfo: memFree=31915096/32770624 swapFree=5952/188228 [pid=10691] ppid=10688 vsize=188244 CPUtime=162.27 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 31616 0 0 0 16221 6 0 0 20 0 1 0 810017 192761856 32466 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32466 802 434 0 40425 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 188244 [startup+222.307 s] /proc/loadavg: 2.01 2.04 2.00 3/243 10695 /proc/meminfo: memFree=31915316/32770624 swapFree=5952/188292 [pid=10691] ppid=10688 vsize=188244 CPUtime=222.28 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 32519 0 0 0 22222 6 0 0 20 0 1 0 810017 192761856 32475 33554432000 4194304 5970956 140723986625488 140723986622824 5098908 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32475 802 434 0 40425 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 188244 [startup+282.3 s] /proc/loadavg: 2.00 2.03 2.00 3/243 10696 /proc/meminfo: memFree=31915044/32770624 swapFree=5952/188344 [pid=10691] ppid=10688 vsize=188244 CPUtime=282.27 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 33419 0 0 0 28221 6 0 0 20 0 1 0 810017 192761856 32475 33554432000 4194304 5970956 140723986625488 140723986622824 4970936 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32475 802 434 0 40425 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 188244 [startup+342.3 s] /proc/loadavg: 2.10 2.06 2.01 3/243 10697 /proc/meminfo: memFree=31915192/32770624 swapFree=5952/188388 [pid=10691] ppid=10688 vsize=188244 CPUtime=342.26 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 34335 0 0 0 34220 6 0 0 20 0 1 0 810017 192761856 32479 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32479 802 434 0 40425 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 188244 [startup+402.3 s] /proc/loadavg: 2.12 2.06 2.02 3/243 10705 /proc/meminfo: memFree=31915268/32770624 swapFree=5952/188468 [pid=10691] ppid=10688 vsize=188244 CPUtime=402.26 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 35118 0 0 0 40220 6 0 0 20 0 1 0 810017 192761856 32484 33554432000 4194304 5970956 140723986625488 140723986622824 4977769 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32484 802 434 0 40425 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 188244 [startup+462.3 s] /proc/loadavg: 2.15 2.08 2.03 3/243 10706 /proc/meminfo: memFree=31915328/32770624 swapFree=5952/188528 [pid=10691] ppid=10688 vsize=188244 CPUtime=462.26 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 36007 0 0 0 46220 6 0 0 20 0 1 0 810017 192761856 32485 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32485 802 434 0 40425 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 188244 [startup+522.3 s] /proc/loadavg: 2.12 2.08 2.04 3/243 10707 /proc/meminfo: memFree=31915364/32770624 swapFree=5952/188568 [pid=10691] ppid=10688 vsize=188244 CPUtime=522.25 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 36632 0 0 0 52219 6 0 0 20 0 1 0 810017 192761856 32485 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32485 802 434 0 40425 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 188244 [startup+582.3 s] /proc/loadavg: 2.04 2.07 2.04 3/243 10708 /proc/meminfo: memFree=31915408/32770624 swapFree=5952/188612 [pid=10691] ppid=10688 vsize=188244 CPUtime=582.25 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 37409 0 0 0 58219 6 0 0 20 0 1 0 810017 192761856 32487 33554432000 4194304 5970956 140723986625488 140723986622824 4974400 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47061 32487 802 434 0 40425 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 188244 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.02 2.08 2.07 3/243 11022 /proc/meminfo: memFree=31096252/32770624 swapFree=5952/192092 [pid=10691] ppid=10688 vsize=188544 CPUtime=1482.21 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 48385 0 0 0 148214 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 4978392 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 1482.21 Current children cumulated vsize (KiB) 188544 [startup+1542.31 s] /proc/loadavg: 2.01 2.06 2.06 3/243 11023 /proc/meminfo: memFree=31097164/32770624 swapFree=5952/192124 [pid=10691] ppid=10688 vsize=188544 CPUtime=1542.21 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 49356 0 0 0 154214 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 1542.21 Current children cumulated vsize (KiB) 188544 [startup+1602.3 s] /proc/loadavg: 2.00 2.05 2.06 3/243 11031 /proc/meminfo: memFree=31095968/32770624 swapFree=5952/192172 [pid=10691] ppid=10688 vsize=188544 CPUtime=1602.2 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 50231 0 0 0 160213 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 1602.2 Current children cumulated vsize (KiB) 188544 [startup+1662.3 s] /proc/loadavg: 2.00 2.04 2.05 3/243 11032 /proc/meminfo: memFree=31097976/32770624 swapFree=5952/192216 [pid=10691] ppid=10688 vsize=188544 CPUtime=1662.2 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 51028 0 0 0 166213 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 1662.2 Current children cumulated vsize (KiB) 188544 [startup+1722.3 s] /proc/loadavg: 2.00 2.04 2.05 3/243 11033 /proc/meminfo: memFree=31095980/32770624 swapFree=5952/192248 [pid=10691] ppid=10688 vsize=188544 CPUtime=1722.2 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 51798 0 0 0 172213 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 1722.2 Current children cumulated vsize (KiB) 188544 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.05 3/243 11034 /proc/meminfo: memFree=31096908/32770624 swapFree=5952/192284 [pid=10691] ppid=10688 vsize=188544 CPUtime=1782.19 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 52819 0 0 0 178212 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 4970604 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 1782.19 Current children cumulated vsize (KiB) 188544 [startup+1842.3 s] /proc/loadavg: 2.00 2.03 2.05 3/243 11035 /proc/meminfo: memFree=31097796/32770624 swapFree=5952/192316 [pid=10691] ppid=10688 vsize=188544 CPUtime=1842.19 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 53454 0 0 0 184212 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 4974403 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 1842.19 Current children cumulated vsize (KiB) 188544 [startup+1902.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 11036 /proc/meminfo: memFree=31098436/32770624 swapFree=5952/192356 [pid=10691] ppid=10688 vsize=188544 CPUtime=1902.19 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 54105 0 0 0 190212 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 1902.19 Current children cumulated vsize (KiB) 188544 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11037 /proc/meminfo: memFree=31097300/32770624 swapFree=5952/192396 [pid=10691] ppid=10688 vsize=188544 CPUtime=1962.18 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 54735 0 0 0 196211 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 4974188 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 1962.18 Current children cumulated vsize (KiB) 188544 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11038 /proc/meminfo: memFree=31097548/32770624 swapFree=5952/192432 [pid=10691] ppid=10688 vsize=188544 CPUtime=2022.18 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 55624 0 0 0 202211 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 2022.18 Current children cumulated vsize (KiB) 188544 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11039 /proc/meminfo: memFree=31097812/32770624 swapFree=5952/192472 [pid=10691] ppid=10688 vsize=188544 CPUtime=2082.18 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 56394 0 0 0 208211 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 5322288 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 2082.18 Current children cumulated vsize (KiB) 188544 [startup+2142.3 s] /proc/loadavg: 2.05 2.03 2.05 3/243 11040 /proc/meminfo: memFree=31098068/32770624 swapFree=5952/192508 [pid=10691] ppid=10688 vsize=188544 CPUtime=2142.17 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 57273 0 0 0 214210 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 2142.17 Current children cumulated vsize (KiB) 188544 [startup+2202.31 s] /proc/loadavg: 2.02 2.02 2.05 3/243 11048 /proc/meminfo: memFree=31097924/32770624 swapFree=5952/192556 [pid=10691] ppid=10688 vsize=188544 CPUtime=2202.18 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 57899 0 0 0 220211 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 4974228 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 2202.18 Current children cumulated vsize (KiB) 188544 [startup+2262.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 11049 /proc/meminfo: memFree=31097892/32770624 swapFree=5952/192600 [pid=10691] ppid=10688 vsize=188544 CPUtime=2262.17 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 58525 0 0 0 226210 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 4974228 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 2262.17 Current children cumulated vsize (KiB) 188544 [startup+2322.3 s] /proc/loadavg: 2.05 2.03 2.05 3/243 11050 /proc/meminfo: memFree=31097940/32770624 swapFree=5952/192632 [pid=10691] ppid=10688 vsize=188544 CPUtime=2322.16 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 59171 0 0 0 232209 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 2322.16 Current children cumulated vsize (KiB) 188544 [startup+2382.3 s] /proc/loadavg: 2.02 2.02 2.05 3/243 11051 /proc/meminfo: memFree=31098364/32770624 swapFree=5952/192668 [pid=10691] ppid=10688 vsize=188544 CPUtime=2382.16 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 59801 0 0 0 238209 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 4974240 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 2382.16 Current children cumulated vsize (KiB) 188544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.01 2.02 2.05 3/243 11051 /proc/meminfo: memFree=31098868/32770624 swapFree=5952/192676 [pid=10691] ppid=10688 vsize=188544 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15 /proc/10691/stat : 10691 (cosoco) R 10688 10691 9830 0 -1 4202496 60429 0 0 0 240000 7 0 0 20 0 1 0 810017 193069056 32601 33554432000 4194304 5970956 140723986625488 140723986622824 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 22241280 140723986629820 140723986629955 140723986629955 140723986632654 0 /proc/10691/statm: 47136 32601 802 434 0 40500 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 188544 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 10691 sig 9 ??? kill -10691 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.21 CPU time (s): 2400.08 CPU user time (s): 2400 CPU system time (s): 0.081996 CPU usage (%): 99.9948 Max. virtual memory (cumulated for all children) (KiB): 188544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400 system time used= 0.081996 maximum resident set size= 130448 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60458 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= 17 involuntary context switches= 120664 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.02628 second user time and 10.6345 second system time The end
Begin job on node106 at 2017-07-21 18:43:23 IDJOB=4242200 IDBENCH=133547 IDSOLVER=2621 FILE ID=node106/4242200-1500655403 RUNJOBID= node106-1500648176-9863 PBS_JOBID= 20623308 Free space on /tmp= 61960 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-08-0081.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242200-1500655403/watcher-4242200-1500655403 -o /tmp/evaluation-result-4242200-1500655403/solver-4242200-1500655403 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500648176-9863 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242200-1500655403.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= e46647acbda97830867cbaf6bce42852 RANDOM SEED=1962193420 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.15 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.15 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.15 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.15 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 : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32044180 kB MemAvailable: 32030756 kB Buffers: 31708 kB Cached: 265092 kB SwapCached: 0 kB Active: 156372 kB Inactive: 196584 kB Active(anon): 59184 kB Inactive(anon): 8548 kB Active(file): 97188 kB Inactive(file): 188036 kB Unevictable: 5952 kB Mlocked: 5952 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2648 kB Writeback: 4 kB AnonPages: 61520 kB Mapped: 31076 kB Shmem: 8852 kB Slab: 65944 kB SReclaimable: 34376 kB SUnreclaim: 31568 kB KernelStack: 4288 kB PageTables: 4764 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332320 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61956 MiB End job on node106 at 2017-07-21 19:23:24